runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3462649-1307181578/watcher-3462649-1307181578 -o /tmp/evaluation-result-3462649-1307181578/solver-3462649-1307181578 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462649-1307181578.opb
running on 4 cores: 1,3,5,7
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.16 2.08 2.02 3/498 19192
/proc/meminfo: memFree=28040164/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/19192/stat : 19192 (runsolver) R 19190 19192 16811 0 -1 4202560 41 0 0 0 0 0 0 0 25 0 1 0 829757406 12079104 50 33554432000 4194304 5432328 140737122858480 18446744073709551615 4881591 0 0 4096 24578 0 0 0 17 7 0 0 0
/proc/19192/statm: 2949 50 31 303 0 2643 0
[startup+0.08411 s]
/proc/loadavg: 2.16 2.08 2.02 3/498 19192
/proc/meminfo: memFree=28040164/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=11704 CPUtime=0.06 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 527 0 0 0 6 0 0 0 25 0 1 0 829757406 11984896 479 33554432000 134512640 137138936 4287144096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 2926 480 192 642 0 2282 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11704
[startup+0.101105 s]
/proc/loadavg: 2.16 2.08 2.02 3/498 19192
/proc/meminfo: memFree=28040164/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=11832 CPUtime=0.07 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 572 0 0 0 7 0 0 0 25 0 1 0 829757406 12115968 524 33554432000 134512640 137138936 4287144096 18446744073709551615 136511195 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 2958 524 192 642 0 2314 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11832
[startup+0.301084 s]
/proc/loadavg: 2.16 2.08 2.02 3/498 19192
/proc/meminfo: memFree=28040164/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=14136 CPUtime=0.27 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 1142 0 0 0 27 0 0 0 25 0 1 0 829757406 14475264 1094 33554432000 134512640 137138936 4287144096 18446744073709551615 136504268 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 3534 1094 192 642 0 2890 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 14136
[startup+0.701014 s]
/proc/loadavg: 2.16 2.08 2.02 3/498 19192
/proc/meminfo: memFree=28040164/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=17564 CPUtime=0.67 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 1987 0 0 0 66 1 0 0 25 0 1 0 829757406 17985536 1939 33554432000 134512640 137138936 4287144096 18446744073709551615 134606987 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 4391 1939 192 642 0 3747 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 17564
[startup+1.50088 s]
/proc/loadavg: 2.14 2.08 2.02 3/499 19193
/proc/meminfo: memFree=28027284/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=24616 CPUtime=1.47 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 3754 0 0 0 146 1 0 0 25 0 1 0 829757406 25206784 3706 33554432000 134512640 137138936 4287144096 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 6154 3706 192 642 0 5510 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 24616
[startup+3.10061 s]
/proc/loadavg: 2.14 2.08 2.02 3/499 19193
/proc/meminfo: memFree=28017984/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=29232 CPUtime=3.07 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 4921 0 0 0 305 2 0 0 25 0 1 0 829757406 29933568 4873 33554432000 134512640 137138936 4287144096 18446744073709551615 134602777 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 7308 4873 192 642 0 6664 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 29232
[startup+6.30109 s]
/proc/loadavg: 2.14 2.08 2.02 3/499 19193
/proc/meminfo: memFree=28010172/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=29448 CPUtime=6.28 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 4973 0 0 0 625 3 0 0 25 0 1 0 829757406 30154752 4925 33554432000 134512640 137138936 4287144096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 7362 4925 192 642 0 6718 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 29448
[startup+12.701 s]
/proc/loadavg: 2.20 2.09 2.02 3/499 19195
/proc/meminfo: memFree=27994236/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=34428 CPUtime=12.68 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 6232 0 0 0 1264 4 0 0 25 0 1 0 829757406 35254272 6184 33554432000 134512640 137138936 4287144096 18446744073709551615 134557381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 8607 6184 192 642 0 7963 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 34428
[startup+25.5008 s]
/proc/loadavg: 2.16 2.09 2.02 3/499 19195
/proc/meminfo: memFree=27987316/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=38108 CPUtime=25.47 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 7145 0 0 0 2542 5 0 0 25 0 1 0 829757406 39022592 7097 33554432000 134512640 137138936 4287144096 18446744073709551615 136521030 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 9527 7097 192 642 0 8883 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 38108
[startup+51.1005 s]
/proc/loadavg: 2.11 2.08 2.02 3/499 19195
/proc/meminfo: memFree=27985420/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=40444 CPUtime=51.07 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 7736 0 0 0 5099 8 0 0 25 0 1 0 829757406 41414656 7688 33554432000 134512640 137138936 4287144096 18446744073709551615 136511114 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 10111 7688 192 642 0 9467 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 40444
[startup+102.319 s]
/proc/loadavg: 2.04 2.06 2.02 3/499 19206
/proc/meminfo: memFree=27982296/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=42512 CPUtime=102.29 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 8252 0 0 0 10216 13 0 0 25 0 1 0 829757406 43532288 8204 33554432000 134512640 137138936 4287144096 18446744073709551615 136500210 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 10628 8204 192 642 0 9984 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 42512
[startup+162.301 s]
/proc/loadavg: 2.01 2.05 2.01 3/499 19208
/proc/meminfo: memFree=27974844/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=48772 CPUtime=162.28 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 9820 0 0 0 16208 20 0 0 25 0 1 0 829757406 49942528 9738 33554432000 134512640 137138936 4287144096 18446744073709551615 134542220 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 12193 9738 192 642 0 11549 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 48772
[startup+222.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/499 19208
/proc/meminfo: memFree=27974448/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=49604 CPUtime=222.27 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 10066 0 0 0 22202 25 0 0 25 0 1 0 829757406 50794496 9946 33554432000 134512640 137138936 4287144096 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 12401 9946 192 642 0 11757 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 49604
[startup+282.301 s]
/proc/loadavg: 2.07 2.06 2.01 3/499 19210
/proc/meminfo: memFree=27971828/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=53720 CPUtime=282.27 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 11097 0 0 0 28194 33 0 0 25 0 1 0 829757406 55009280 10977 33554432000 134512640 137138936 4287144096 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 13430 10977 192 642 0 12786 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 53720
[startup+342.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/499 19212
/proc/meminfo: memFree=27971192/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=53720 CPUtime=342.28 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 11097 0 0 0 34189 39 0 0 25 0 1 0 829757406 55009280 10977 33554432000 134512640 137138936 4287144096 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 13430 10977 192 642 0 12786 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 53720
[startup+402.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/499 19217
/proc/meminfo: memFree=27969528/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=55892 CPUtime=402.28 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 11679 0 0 0 40184 44 0 0 25 0 1 0 829757406 57233408 11518 33554432000 134512640 137138936 4287144096 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 13973 11518 192 642 0 13329 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 55892
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 19219
/proc/meminfo: memFree=27954060/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=63756 CPUtime=462.28 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 13690 0 0 0 46177 51 0 0 25 0 1 0 829757406 65286144 13484 33554432000 134512640 137138936 4287144096 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 15939 13484 192 642 0 15295 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 63756
[startup+522.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/499 19219
/proc/meminfo: memFree=27945244/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=72804 CPUtime=522.28 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 15952 0 0 0 52170 58 0 0 25 0 1 0 829757406 74551296 15746 33554432000 134512640 137138936 4287144096 18446744073709551615 134542161 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 18201 15746 192 642 0 17557 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 72804
[startup+582.301 s]
/proc/loadavg: 2.08 2.06 2.01 3/499 19221
/proc/meminfo: memFree=27945236/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=72804 CPUtime=582.28 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 15952 0 0 0 58164 64 0 0 25 0 1 0 829757406 74551296 15746 33554432000 134512640 137138936 4287144096 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 18201 15746 192 642 0 17557 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 72804
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=27902340/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=74100 CPUtime=1062.29 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 16402 0 0 0 106112 117 0 0 25 0 1 0 829757406 75878400 16102 33554432000 134512640 137138936 4287144096 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 18525 16102 192 642 0 17881 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 74100
[startup+1122.3 s]
/proc/loadavg: 2.18 2.07 2.01 3/499 19289
/proc/meminfo: memFree=28979520/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=74100 CPUtime=1122.29 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 16402 0 0 0 112105 124 0 0 25 0 1 0 829757406 75878400 16102 33554432000 134512640 137138936 4287144096 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 18525 16102 192 642 0 17881 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 74100
[startup+1182.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/499 19318
/proc/meminfo: memFree=28776508/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=74100 CPUtime=1182.29 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 16402 0 0 0 118098 131 0 0 25 0 1 0 829757406 75878400 16102 33554432000 134512640 137138936 4287144096 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 18525 16102 192 642 0 17881 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 74100
[startup+1242.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/499 19320
/proc/meminfo: memFree=28634520/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=74100 CPUtime=1242.29 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 16402 0 0 0 124093 136 0 0 25 0 1 0 829757406 75878400 16102 33554432000 134512640 137138936 4287144096 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 18525 16102 192 642 0 17881 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 74100
[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 19322
/proc/meminfo: memFree=28634632/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=74100 CPUtime=1302.31 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 16402 0 0 0 130089 142 0 0 25 0 1 0 829757406 75878400 16102 33554432000 134512640 137138936 4287144096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 18525 16102 192 642 0 17881 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 74100
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 19324
/proc/meminfo: memFree=28622352/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=74100 CPUtime=1362.29 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 16402 0 0 0 136082 147 0 0 25 0 1 0 829757406 75878400 16102 33554432000 134512640 137138936 4287144096 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 18525 16102 192 642 0 17881 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 74100
[startup+1422.32 s]
/proc/loadavg: 2.12 2.05 2.01 3/499 19324
/proc/meminfo: memFree=28611296/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=74100 CPUtime=1422.32 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 16402 0 0 0 142078 154 0 0 25 0 1 0 829757406 75878400 16102 33554432000 134512640 137138936 4287144096 18446744073709551615 134542478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 18525 16102 192 642 0 17881 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 74100
[startup+1482.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/499 19326
/proc/meminfo: memFree=28611536/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=74100 CPUtime=1482.3 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 16402 0 0 0 148072 158 0 0 25 0 1 0 829757406 75878400 16102 33554432000 134512640 137138936 4287144096 18446744073709551615 134542662 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 18525 16102 192 642 0 17881 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 74100
[startup+1542.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/499 19328
/proc/meminfo: memFree=28598628/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=74100 CPUtime=1542.3 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 16402 0 0 0 154067 163 0 0 25 0 1 0 829757406 75878400 16102 33554432000 134512640 137138936 4287144096 18446744073709551615 134542319 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 18525 16102 192 642 0 17881 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 74100
[startup+1602.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/499 19330
/proc/meminfo: memFree=28598496/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=74100 CPUtime=1602.3 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 16402 0 0 0 160061 169 0 0 25 0 1 0 829757406 75878400 16102 33554432000 134512640 137138936 4287144096 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 18525 16102 192 642 0 17881 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 74100
[startup+1662.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/499 19332
/proc/meminfo: memFree=28598368/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=74100 CPUtime=1662.3 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 16402 0 0 0 166055 175 0 0 25 0 1 0 829757406 75878400 16102 33554432000 134512640 137138936 4287144096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 18525 16102 192 642 0 17881 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 74100
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/499 19332
/proc/meminfo: memFree=28584100/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=74100 CPUtime=1722.3 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 16402 0 0 0 172050 180 0 0 25 0 1 0 829757406 75878400 16102 33554432000 134512640 137138936 4287144096 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 18525 16102 192 642 0 17881 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 74100
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 19334
/proc/meminfo: memFree=28582972/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=74100 CPUtime=1782.3 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 16402 0 0 0 178043 187 0 0 25 0 1 0 829757406 75878400 16102 33554432000 134512640 137138936 4287144096 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 18525 16102 192 642 0 17881 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 74100
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 19334
/proc/meminfo: memFree=28583964/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=74100 CPUtime=1785.51 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 16402 0 0 0 178363 188 0 0 25 0 1 0 829757406 75878400 16102 33554432000 134512640 137138936 4287144096 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 18525 16102 192 642 0 17881 0
Current children cumulated CPU time (s) 1785.51
Current children cumulated vsize (KiB) 74100
[startup+1791.92 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 19334
/proc/meminfo: memFree=28583092/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=74100 CPUtime=1791.92 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 16402 0 0 0 179004 188 0 0 25 0 1 0 829757406 75878400 16102 33554432000 134512640 137138936 4287144096 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 18525 16102 192 642 0 17881 0
Current children cumulated CPU time (s) 1791.92
Current children cumulated vsize (KiB) 74100
[startup+1795.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 19334
/proc/meminfo: memFree=28583340/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=74100 CPUtime=1795.11 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 16402 0 0 0 179323 188 0 0 25 0 1 0 829757406 75878400 16102 33554432000 134512640 137138936 4287144096 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 18525 16102 192 642 0 17881 0
Current children cumulated CPU time (s) 1795.11
Current children cumulated vsize (KiB) 74100
[startup+1796.7 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 19334
/proc/meminfo: memFree=28583464/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=74100 CPUtime=1796.71 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 16402 0 0 0 179482 189 0 0 25 0 1 0 829757406 75878400 16102 33554432000 134512640 137138936 4287144096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 18525 16102 192 642 0 17881 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 74100
[startup+1797.5 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 19334
/proc/meminfo: memFree=28583092/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=74100 CPUtime=1797.51 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 16402 0 0 0 179562 189 0 0 25 0 1 0 829757406 75878400 16102 33554432000 134512640 137138936 4287144096 18446744073709551615 136504129 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 18525 16102 192 642 0 17881 0
Current children cumulated CPU time (s) 1797.51
Current children cumulated vsize (KiB) 74100
[startup+1797.9 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 19334
/proc/meminfo: memFree=28583092/32951132 swapFree=57925096/67111528
[pid=19192] ppid=19190 vsize=74100 CPUtime=1797.91 cores=1,3,5,7
/proc/19192/stat : 19192 (bsolo) R 19190 19192 16811 0 -1 4202496 16402 0 0 0 179602 189 0 0 25 0 1 0 829757406 75878400 16102 33554432000 134512640 137138936 4287144096 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19192/statm: 18525 16102 192 642 0 17881 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 74100
Child status: 0
Real time (s): 1797.99
CPU time (s): 1798.01
CPU user time (s): 1796.11
CPU system time (s): 1.89471
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 74404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.11
system time used= 1.89471
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16403
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 3592
runsolver used 8.37373 second user time and 21.0468 second system time
The end