runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3708484-1338175112/watcher-3708484-1338175112 -o /tmp/evaluation-result-3708484-1338175112/solver-3708484-1338175112 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708484-1338175112.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.00 2.00 2.00 3/174 1001
/proc/meminfo: memFree=27809684/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=11152 CPUtime=0 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283636661 11419648 311 33554432000 134512640 137138936 4288069488 4288067704 136504147 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 2788 312 176 642 0 2123 0
[startup+0.0617071 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 1001
/proc/meminfo: memFree=27809684/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=14344 CPUtime=0.05 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 1247 0 0 0 5 0 0 0 20 0 1 0 283636661 14688256 1156 33554432000 134512640 137138936 4288069488 4288068240 134572956 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 3586 1156 192 642 0 2942 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14344
[startup+0.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 1001
/proc/meminfo: memFree=27809684/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=14720 CPUtime=0.09 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 1332 0 0 0 9 0 0 0 20 0 1 0 283636661 15073280 1241 33554432000 134512640 137138936 4288069488 4288067768 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 3680 1241 192 642 0 3036 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14720
[startup+0.300173 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 1001
/proc/meminfo: memFree=27809684/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=16480 CPUtime=0.29 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 1777 0 0 0 29 0 0 0 20 0 1 0 283636661 16875520 1686 33554432000 134512640 137138936 4288069488 4288067768 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 4120 1686 192 642 0 3476 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16480
[startup+0.70018 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 1001
/proc/meminfo: memFree=27809684/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=19904 CPUtime=0.69 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 2623 0 0 0 69 0 0 0 20 0 1 0 283636661 20381696 2532 33554432000 134512640 137138936 4288069488 4288067964 136700814 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 4976 2532 192 642 0 4332 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19904
[startup+1.50019 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1002
/proc/meminfo: memFree=27797136/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=26552 CPUtime=1.49 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 4288 0 0 0 148 1 0 0 20 0 1 0 283636661 27189248 4197 33554432000 134512640 137138936 4288069488 4288067768 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 6638 4197 192 642 0 5994 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26552
[startup+3.10019 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1002
/proc/meminfo: memFree=27787464/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=39400 CPUtime=3.09 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 7511 0 0 0 307 2 0 0 20 0 1 0 283636661 40345600 7420 33554432000 134512640 137138936 4288069488 4288067768 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 9850 7420 192 642 0 9206 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39400
[startup+6.30021 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1002
/proc/meminfo: memFree=27759440/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=64788 CPUtime=6.29 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 13846 0 0 0 625 4 0 0 20 0 1 0 283636661 66342912 13755 33554432000 134512640 137138936 4288069488 4288068604 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 16197 13755 192 642 0 15553 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 64788
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1002
/proc/meminfo: memFree=27746188/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=68040 CPUtime=12.69 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 14669 0 0 0 1263 6 0 0 20 0 1 0 283636661 69672960 14578 33554432000 134512640 137138936 4288069488 4288068416 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 17010 14578 192 642 0 16366 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 68040
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1002
/proc/meminfo: memFree=27735648/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=72408 CPUtime=25.48 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 15750 0 0 0 2541 7 0 0 20 0 1 0 283636661 74145792 15659 33554432000 134512640 137138936 4288069488 4288068416 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 18102 15659 192 642 0 17458 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 72408
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1002
/proc/meminfo: memFree=27718908/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=77760 CPUtime=51.09 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 17093 0 0 0 5097 12 0 0 20 0 1 0 283636661 79626240 17002 33554432000 134512640 137138936 4288069488 4288068416 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 19440 17002 192 642 0 18796 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 77760
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1005
/proc/meminfo: memFree=27688892/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=83692 CPUtime=102.28 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 18579 0 0 0 10210 18 0 0 20 0 1 0 283636661 85700608 18488 33554432000 134512640 137138936 4288069488 4288068604 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 20923 18488 192 642 0 20279 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 83692
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1006
/proc/meminfo: memFree=27665836/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=87456 CPUtime=162.27 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 19507 0 0 0 16202 25 0 0 20 0 1 0 283636661 89554944 19416 33554432000 134512640 137138936 4288069488 4288068604 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 21864 19416 192 642 0 21220 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 87456
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1006
/proc/meminfo: memFree=27645872/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=87624 CPUtime=222.26 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 19561 0 0 0 22195 31 0 0 20 0 1 0 283636661 89726976 19470 33554432000 134512640 137138936 4288069488 4288068416 134542286 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 21906 19470 192 642 0 21262 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 87624
[startup+282.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/175 1006
/proc/meminfo: memFree=27620204/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=91568 CPUtime=282.24 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 20550 0 0 0 28188 36 0 0 20 0 1 0 283636661 93765632 20459 33554432000 134512640 137138936 4288069488 4288067912 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 22892 20459 192 642 0 22248 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 91568
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 1006
/proc/meminfo: memFree=27596672/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=91612 CPUtime=342.24 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 20564 0 0 0 34182 42 0 0 20 0 1 0 283636661 93810688 20473 33554432000 134512640 137138936 4288069488 4288068016 134603166 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 22903 20473 192 642 0 22259 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 91612
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 1006
/proc/meminfo: memFree=27575884/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=91616 CPUtime=402.23 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 20586 0 0 0 40176 47 0 0 20 0 1 0 283636661 93814784 20469 33554432000 134512640 137138936 4288069488 4288068604 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 22904 20469 192 642 0 22260 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 91616
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 1007
/proc/meminfo: memFree=27548756/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=95784 CPUtime=462.22 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 21627 0 0 0 46168 54 0 0 20 0 1 0 283636661 98082816 21510 33554432000 134512640 137138936 4288069488 4288068416 134542525 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 23946 21510 192 642 0 23302 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 95784
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1008
/proc/meminfo: memFree=27527268/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=95692 CPUtime=522.21 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 21628 0 0 0 52163 58 0 0 20 0 1 0 283636661 97988608 21505 33554432000 134512640 137138936 4288069488 4288068604 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 23923 21505 192 642 0 23279 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 95692
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1008
/proc/meminfo: memFree=27504312/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=95688 CPUtime=582.17 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 21668 0 0 0 58153 64 0 0 20 0 1 0 283636661 97984512 21505 33554432000 134512640 137138936 4288069488 4288068604 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 23922 21505 192 642 0 23278 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 95688
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28033036/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=103436 CPUtime=1062.09 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 24375 0 0 0 106096 113 0 0 20 0 1 0 283636661 105918464 23442 33554432000 134512640 137138936 4288069488 4288068604 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 25859 23442 192 642 0 25215 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 103436
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1052
/proc/meminfo: memFree=28019052/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=103304 CPUtime=1122.08 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 24375 0 0 0 112088 120 0 0 20 0 1 0 283636661 105783296 23409 33554432000 134512640 137138936 4288069488 4288068004 134551170 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 25826 23409 192 642 0 25182 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 103304
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 1052
/proc/meminfo: memFree=28007052/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=103300 CPUtime=1182.07 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 24375 0 0 0 118081 126 0 0 20 0 1 0 283636661 105779200 23408 33554432000 134512640 137138936 4288069488 4288068004 134551690 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 25825 23408 192 642 0 25181 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 103300
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1052
/proc/meminfo: memFree=28009088/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=103288 CPUtime=1242.06 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 24375 0 0 0 124076 130 0 0 20 0 1 0 283636661 105766912 23405 33554432000 134512640 137138936 4288069488 4288068012 136521017 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 25822 23405 192 642 0 25178 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 103288
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1055
/proc/meminfo: memFree=27995688/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=103192 CPUtime=1302.06 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 24375 0 0 0 130070 136 0 0 20 0 1 0 283636661 105668608 23381 33554432000 134512640 137138936 4288069488 4288068232 135984569 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 25798 23381 192 642 0 25154 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 103192
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1055
/proc/meminfo: memFree=27995820/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=103024 CPUtime=1362.04 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 24375 0 0 0 136061 143 0 0 20 0 1 0 283636661 105496576 23339 33554432000 134512640 137138936 4288069488 4288068604 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 25756 23339 192 642 0 25112 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 103024
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1056
/proc/meminfo: memFree=27982180/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=102992 CPUtime=1422.04 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 24375 0 0 0 142056 148 0 0 20 0 1 0 283636661 105463808 23331 33554432000 134512640 137138936 4288069488 4288068384 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 25748 23331 192 642 0 25104 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 102992
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1056
/proc/meminfo: memFree=27982180/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=102992 CPUtime=1482.02 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 24375 0 0 0 148049 153 0 0 20 0 1 0 283636661 105463808 23331 33554432000 134512640 137138936 4288069488 4288068416 134542322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 25748 23331 192 642 0 25104 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 102992
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1056
/proc/meminfo: memFree=27981968/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=102992 CPUtime=1542.02 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 24375 0 0 0 154043 159 0 0 20 0 1 0 283636661 105463808 23331 33554432000 134512640 137138936 4288069488 4288068416 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 25748 23331 192 642 0 25104 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 102992
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1056
/proc/meminfo: memFree=27982092/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=102980 CPUtime=1602.01 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 24375 0 0 0 160035 166 0 0 20 0 1 0 283636661 105451520 23328 33554432000 134512640 137138936 4288069488 4288068604 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 25745 23328 192 642 0 25101 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 102980
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1056
/proc/meminfo: memFree=27982340/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=102916 CPUtime=1662 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 24375 0 0 0 166027 173 0 0 20 0 1 0 283636661 105385984 23312 33554432000 134512640 137138936 4288069488 4288068416 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 25729 23312 192 642 0 25085 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 102916
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1057
/proc/meminfo: memFree=27982340/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=102880 CPUtime=1721.99 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 24375 0 0 0 172019 180 0 0 20 0 1 0 283636661 105349120 23303 33554432000 134512640 137138936 4288069488 4288068192 136297742 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 25720 23303 192 642 0 25076 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 102880
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1057
/proc/meminfo: memFree=27965724/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=102880 CPUtime=1781.98 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 24375 0 0 0 178010 188 0 0 20 0 1 0 283636661 105349120 23303 33554432000 134512640 137138936 4288069488 4288067976 135984556 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 25720 23303 192 642 0 25076 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 102880
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1057
/proc/meminfo: memFree=27965848/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=102776 CPUtime=1791.58 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 24375 0 0 0 178970 188 0 0 20 0 1 0 283636661 105242624 23277 33554432000 134512640 137138936 4288069488 4288068604 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 25694 23277 192 642 0 25050 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 102776
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1057
/proc/meminfo: memFree=27965848/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=102776 CPUtime=1794.78 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 24375 0 0 0 179289 189 0 0 20 0 1 0 283636661 105242624 23277 33554432000 134512640 137138936 4288069488 4288063312 134603173 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 25694 23277 192 642 0 25050 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 102776
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1057
/proc/meminfo: memFree=27965848/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=102776 CPUtime=1796.38 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 24375 0 0 0 179449 189 0 0 20 0 1 0 283636661 105242624 23277 33554432000 134512640 137138936 4288069488 4288068416 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 25694 23277 192 642 0 25050 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 102776
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1057
/proc/meminfo: memFree=27965848/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=102776 CPUtime=1797.18 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 24375 0 0 0 179529 189 0 0 20 0 1 0 283636661 105242624 23277 33554432000 134512640 137138936 4288069488 4288068528 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 25694 23277 192 642 0 25050 0
Current children cumulated CPU time (s) 1797.18
Current children cumulated vsize (KiB) 102776
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1057
/proc/meminfo: memFree=27965848/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=102776 CPUtime=1797.58 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 24375 0 0 0 179569 189 0 0 20 0 1 0 283636661 105242624 23277 33554432000 134512640 137138936 4288069488 4288068416 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 25694 23277 192 642 0 25050 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (KiB) 102776
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1057
/proc/meminfo: memFree=27965848/32873852 swapFree=6848/6848
[pid=1001] ppid=999 vsize=102776 CPUtime=1797.98 cores=1,3,5,7
/proc/1001/stat : 1001 (bsolo) R 999 1001 31475 0 -1 4202496 24375 0 0 0 179609 189 0 0 20 0 1 0 283636661 105242624 23277 33554432000 134512640 137138936 4288069488 4288068416 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1001/statm: 25694 23277 192 642 0 25050 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 102776
Child status: 0
Real time (s): 1798.32
CPU time (s): 1798
CPU user time (s): 1796.11
CPU system time (s): 1.89571
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 106120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.11
system time used= 1.89571
maximum resident set size= 96404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24376
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= 48
involuntary context switches= 1852
runsolver used 6.33504 second user time and 17.4683 second system time
The end