runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node72/watcher-457197-1178367267 -o ROOT/results/node72/solver-457197-1178367267 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/457197-1178367267/instance-457197-1178367267.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.77 0.95 0.90 3/77 24643
/proc/meminfo: memFree=1702896/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=19972 CPUtime=0
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 359 0 3 0 0 0 0 0 18 0 1 0 312765169 20451328 331 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2970094 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 4993 332 280 324 0 3956 0

[startup+0.0361781 s]
/proc/loadavg: 0.77 0.95 0.90 3/77 24643
/proc/meminfo: memFree=1702896/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=5856 CPUtime=0.02
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 743 0 3 0 2 0 0 0 18 0 1 0 312765169 5996544 715 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2971259 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 1464 715 306 324 0 427 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5856

[startup+0.101185 s]
/proc/loadavg: 0.77 0.95 0.90 3/77 24643
/proc/meminfo: memFree=1702896/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=9252 CPUtime=0.08
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 1659 0 3 0 8 0 0 0 18 0 1 0 312765169 9474048 1631 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546132 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 2346 1632 342 324 0 1309 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9252

[startup+0.301203 s]
/proc/loadavg: 0.77 0.95 0.90 3/77 24643
/proc/meminfo: memFree=1702896/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=21192 CPUtime=0.28
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 4709 0 3 0 27 1 0 0 19 0 1 0 312765169 21700608 4535 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 5298 4535 307 324 0 4367 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 21192

[startup+0.701238 s]
/proc/loadavg: 0.77 0.95 0.90 3/77 24643
/proc/meminfo: memFree=1702896/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=21192 CPUtime=0.68
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 4743 0 3 0 67 1 0 0 22 0 1 0 312765169 21700608 4569 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2969084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 5298 4569 307 324 0 4367 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21192

[startup+1.50131 s]
/proc/loadavg: 0.77 0.95 0.90 2/78 24644
/proc/meminfo: memFree=1685032/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=21324 CPUtime=1.48
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 4747 0 3 0 147 1 0 0 25 0 1 0 312765169 21835776 4573 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134583415 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 5331 4573 307 324 0 4400 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 21324

[startup+3.10146 s]
/proc/loadavg: 0.77 0.95 0.90 2/78 24644
/proc/meminfo: memFree=1684904/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=21324 CPUtime=3.08
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 4747 0 3 0 307 1 0 0 25 0 1 0 312765169 21835776 4573 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2977509 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 5331 4573 307 324 0 4400 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 21324

[startup+6.30275 s]
/proc/loadavg: 0.79 0.95 0.90 2/78 24644
/proc/meminfo: memFree=1684720/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=21324 CPUtime=6.28
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 4747 0 3 0 627 1 0 0 25 0 1 0 312765169 21835776 4573 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2965573 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 5331 4573 307 324 0 4400 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 21324

[startup+12.7013 s]
/proc/loadavg: 0.80 0.95 0.90 2/78 24644
/proc/meminfo: memFree=1684976/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=21324 CPUtime=12.67
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 4748 0 3 0 1266 1 0 0 25 0 1 0 312765169 21835776 4574 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 5331 4574 307 324 0 4400 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 21324

[startup+25.5015 s]
/proc/loadavg: 0.85 0.95 0.91 2/78 24644
/proc/meminfo: memFree=1685232/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=21324 CPUtime=25.48
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 4748 0 3 0 2546 2 0 0 25 0 1 0 312765169 21835776 4574 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 5331 4574 307 324 0 4400 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21324

[startup+51.1018 s]
/proc/loadavg: 1.04 0.99 0.92 2/78 24644
/proc/meminfo: memFree=1685296/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=21324 CPUtime=51.06
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 4748 0 3 0 5103 3 0 0 25 0 1 0 312765169 21835776 4574 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550897 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 5331 4574 307 324 0 4400 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 21324

[startup+102.306 s]
/proc/loadavg: 1.08 1.00 0.92 2/78 24644
/proc/meminfo: memFree=1685296/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=21324 CPUtime=102.25
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 4748 0 3 0 10220 5 0 0 25 0 1 0 312765169 21835776 4574 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134552167 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 5331 4574 307 324 0 4400 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 21324

[startup+162.302 s]
/proc/loadavg: 1.03 1.00 0.92 2/78 24644
/proc/meminfo: memFree=1685296/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=21324 CPUtime=162.23
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 4748 0 3 0 16215 8 0 0 25 0 1 0 312765169 21835776 4574 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2965656 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 5331 4574 307 324 0 4400 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 21324

[startup+222.301 s]
/proc/loadavg: 1.04 1.01 0.93 2/78 24644
/proc/meminfo: memFree=1594736/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=111784 CPUtime=222.21
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 27511 0 3 0 22197 24 0 0 25 0 1 0 312765169 114466816 27273 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 27946 27273 311 324 0 27015 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 111784

[startup+282.302 s]
/proc/loadavg: 1.01 1.01 0.93 3/78 24644
/proc/meminfo: memFree=1526704/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=179844 CPUtime=282.21
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 44525 0 3 0 28186 35 0 0 25 0 1 0 312765169 184160256 44287 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134571678 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 44961 44287 311 324 0 44030 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 179844

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 24644
/proc/meminfo: memFree=1476464/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=229660 CPUtime=342.19
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 56973 0 3 0 34175 44 0 0 25 0 1 0 312765169 235171840 56735 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 57415 56735 311 324 0 56484 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 229660

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 24644
/proc/meminfo: memFree=1427824/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=278492 CPUtime=402.18
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 69181 0 3 0 40165 53 0 0 25 0 1 0 312765169 285175808 68943 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 69623 68943 311 324 0 68692 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 278492

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 24644
/proc/meminfo: memFree=1382000/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=324316 CPUtime=462.16
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 80647 0 3 0 46156 60 0 0 25 0 1 0 312765169 332099584 80409 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 81079 80409 311 324 0 80148 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 324316

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 24644
/proc/meminfo: memFree=1323760/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=382896 CPUtime=522.14
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 95273 0 3 0 52144 70 0 0 25 0 1 0 312765169 392085504 95035 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 95724 95035 311 324 0 94793 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 382896

[startup+582.301 s]
/proc/loadavg: 1.05 1.01 0.93 2/78 24644
/proc/meminfo: memFree=1251824/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=454168 CPUtime=582.13
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 113100 0 3 0 58131 82 0 0 25 0 1 0 312765169 465068032 112862 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 113542 112862 311 324 0 112611 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 454168

[startup+642.302 s]
/proc/loadavg: 1.02 1.01 0.93 2/78 24644
/proc/meminfo: memFree=1195312/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=509992 CPUtime=642.12
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 127066 0 3 0 64121 91 0 0 25 0 1 0 312765169 522231808 126828 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 127498 126828 311 324 0 126567 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 509992


################
# More data... #
################

/proc/meminfo: memFree=1151536/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=554240 CPUtime=702.11
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 138116 0 3 0 70113 98 0 0 25 0 1 0 312765169 567541760 137878 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 138560 137878 311 324 0 137629 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 554240

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 24644
/proc/meminfo: memFree=1108016/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=597268 CPUtime=762.09
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 148874 0 3 0 76105 104 0 0 25 0 1 0 312765169 611602432 148636 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 149317 148636 311 324 0 148386 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 597268

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 24644
/proc/meminfo: memFree=1065072/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=640792 CPUtime=822.07
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 159754 0 3 0 82096 111 0 0 25 0 1 0 312765169 656171008 159516 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 160198 159516 311 324 0 159267 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 640792

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 24644
/proc/meminfo: memFree=1015984/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=689096 CPUtime=882.06
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 171851 0 3 0 88087 119 0 0 25 0 1 0 312765169 705634304 171613 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 172274 171613 311 324 0 171343 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 689096

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 24644
/proc/meminfo: memFree=971632/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=733736 CPUtime=942.04
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 182992 0 3 0 94079 125 0 0 25 0 1 0 312765169 751345664 182754 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 183434 182754 311 324 0 182503 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 733736

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 24644
/proc/meminfo: memFree=944304/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=760656 CPUtime=1002.03
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 189732 0 3 0 100073 130 0 0 25 0 1 0 312765169 778911744 189494 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 190164 189494 311 324 0 189233 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 760656

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 24644
/proc/meminfo: memFree=924784/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=780532 CPUtime=1062.01
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 194691 0 3 0 106068 133 0 0 25 0 1 0 312765169 799264768 194453 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 195133 194453 311 324 0 194202 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 780532

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 24644
/proc/meminfo: memFree=887280/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=817652 CPUtime=1122
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 203968 0 3 0 112061 139 0 0 25 0 1 0 312765169 837275648 203730 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 204413 203730 311 324 0 203482 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 817652

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 24644
/proc/meminfo: memFree=841264/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=863832 CPUtime=1181.99
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 215529 0 3 0 118053 146 0 0 25 0 1 0 312765169 884563968 215291 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 215958 215291 311 324 0 215027 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 863832

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 24646
/proc/meminfo: memFree=794416/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=910520 CPUtime=1241.97
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 227185 0 3 0 124044 153 0 0 25 0 1 0 312765169 932372480 226947 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 227630 226947 311 324 0 226699 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 910520

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 24646
/proc/meminfo: memFree=755248/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=949276 CPUtime=1301.96
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 236871 0 3 0 130037 159 0 0 25 0 1 0 312765169 972058624 236633 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551516 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 237319 236633 311 324 0 236388 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 949276

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 24646
/proc/meminfo: memFree=724592/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=980228 CPUtime=1361.94
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 244618 0 3 0 136030 164 0 0 25 0 1 0 312765169 1003753472 244380 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 245057 244380 311 324 0 244126 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 980228

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 24646
/proc/meminfo: memFree=692912/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=1011432 CPUtime=1421.93
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 252435 0 3 0 142024 169 0 0 25 0 1 0 312765169 1035706368 252197 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 252858 252197 311 324 0 251927 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1011432

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 24646
/proc/meminfo: memFree=648816/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=1055724 CPUtime=1481.91
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 263480 0 3 0 148014 177 0 0 25 0 1 0 312765169 1081061376 263242 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 263931 263242 311 324 0 263000 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1055724

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 24646
/proc/meminfo: memFree=592752/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=1111728 CPUtime=1541.9
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 277491 0 3 0 154003 187 0 0 25 0 1 0 312765169 1138409472 277253 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 277932 277253 311 324 0 277001 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1111728

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 24646
/proc/meminfo: memFree=537648/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=1167820 CPUtime=1601.88
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 291523 0 3 0 159992 196 0 0 25 0 1 0 312765169 1195847680 291285 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 291955 291285 311 324 0 291024 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1167820

Solver just ended. Dumping a history of the last processes samples

[startup+1603.1 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 24646
/proc/meminfo: memFree=536240/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=1168072 CPUtime=1602.68
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 291573 0 3 0 160072 196 0 0 25 0 1 0 312765169 1196105728 291335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 292018 291335 311 324 0 291087 0
Current children cumulated CPU time (s) 1602.68
Current children cumulated vsize (KiB) 1168072

[startup+1603.9 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 24646
/proc/meminfo: memFree=535728/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=1168572 CPUtime=1603.48
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194304 291711 0 3 0 160152 196 0 0 25 0 1 0 312765169 1196617728 291473 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 292143 291473 311 324 0 291212 0
Current children cumulated CPU time (s) 1603.48
Current children cumulated vsize (KiB) 1168572

[startup+1604.1 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 24646
/proc/meminfo: memFree=535728/2055920 swapFree=4157252/4192956
[pid=24643] ppid=24641 vsize=0 CPUtime=1603.68
/proc/24643/stat : 24643 (bsolo3.0.16) R 24641 24643 23250 0 -1 4194308 291743 0 3 0 160161 207 0 0 25 0 1 0 312765169 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24643/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1603.68
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1604.18
CPU time (s): 1603.77
CPU user time (s): 1601.62
CPU system time (s): 2.15467
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 1168572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1601.62
system time used= 2.15467
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 291743
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 3042

runsolver used 1.45078 second user time and 3.9444 second system time

The end