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-3463783-1307185778/watcher-3463783-1307185778 -o /tmp/evaluation-result-3463783-1307185778/solver-3463783-1307185778 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463783-1307185778.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.01 2.00 3/515 18651
/proc/meminfo: memFree=23010628/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=14048 CPUtime=0 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 449 0 0 0 0 0 0 0 25 0 1 0 908808481 14385152 404 33554432000 134512640 137138936 4293376928 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 3512 405 193 642 0 2198 0
[startup+0.066075 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 18651
/proc/meminfo: memFree=23010628/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=17660 CPUtime=0.06 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 1548 0 0 0 6 0 0 0 25 0 1 0 908808481 18083840 1503 33554432000 134512640 137138936 4293376928 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 4415 1503 386 642 0 3101 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 17660
[startup+0.101062 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 18651
/proc/meminfo: memFree=23010628/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=19864 CPUtime=0.09 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 2213 0 0 0 9 0 0 0 25 0 1 0 908808481 20340736 2168 33554432000 134512640 137138936 4293376928 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 4966 2168 518 642 0 3652 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19864
[startup+0.301031 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 18651
/proc/meminfo: memFree=23010628/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=29484 CPUtime=0.29 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 5590 0 0 0 29 0 0 0 25 0 1 0 908808481 30191616 4835 33554432000 134512640 137138936 4293376928 18446744073709551615 134543519 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 7371 4835 184 642 0 6727 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29484
[startup+0.700945 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 18651
/proc/meminfo: memFree=23010628/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=29616 CPUtime=0.69 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 5601 0 0 0 69 0 0 0 25 0 1 0 908808481 30326784 4846 33554432000 134512640 137138936 4293376928 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 7404 4846 184 642 0 6760 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29616
[startup+1.5008 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 18652
/proc/meminfo: memFree=22991292/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=29616 CPUtime=1.48 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 5603 0 0 0 148 0 0 0 25 0 1 0 908808481 30326784 4848 33554432000 134512640 137138936 4293376928 18446744073709551615 136504280 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 7404 4848 184 642 0 6760 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 29616
[startup+3.10049 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 18652
/proc/meminfo: memFree=22990052/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=29616 CPUtime=3.09 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 5617 0 0 0 308 1 0 0 25 0 1 0 908808481 30326784 4862 33554432000 134512640 137138936 4293376928 18446744073709551615 136297620 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 7404 4862 184 642 0 6760 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29616
[startup+6.3009 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 18652
/proc/meminfo: memFree=22989196/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=29616 CPUtime=6.28 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 5789 0 0 0 624 4 0 0 25 0 1 0 908808481 30326784 4879 33554432000 134512640 137138936 4293376928 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 7404 4879 192 642 0 6760 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 29616
[startup+12.7007 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 18653
/proc/meminfo: memFree=22984732/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=34176 CPUtime=12.69 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 6910 0 0 0 1264 5 0 0 25 0 1 0 908808481 34996224 6000 33554432000 134512640 137138936 4293376928 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 8544 6000 192 642 0 7900 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34176
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 18653
/proc/meminfo: memFree=22964512/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=54108 CPUtime=25.48 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 11894 0 0 0 2541 7 0 0 25 0 1 0 908808481 55406592 10984 33554432000 134512640 137138936 4293376928 18446744073709551615 136506283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 13527 10984 192 642 0 12883 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 54108
[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 18654
/proc/meminfo: memFree=22929508/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=89140 CPUtime=51.09 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 20652 0 0 0 5099 10 0 0 25 0 1 0 908808481 91279360 19742 33554432000 134512640 137138936 4293376928 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 22285 19742 192 642 0 21641 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 89140
[startup+102.32 s]
/proc/loadavg: 2.09 2.03 2.01 3/516 18655
/proc/meminfo: memFree=22865628/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=151036 CPUtime=102.3 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 36129 0 0 0 10214 16 0 0 25 0 1 0 908808481 154660864 35219 33554432000 134512640 137138936 4293376928 18446744073709551615 134542378 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 37759 35219 192 642 0 37115 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 151036
[startup+162.3 s]
/proc/loadavg: 2.19 2.07 2.02 3/516 18657
/proc/meminfo: memFree=22800968/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=216328 CPUtime=162.29 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 52449 0 0 0 16207 22 0 0 25 0 1 0 908808481 221519872 51539 33554432000 134512640 137138936 4293376928 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 54082 51539 192 642 0 53438 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 216328
[startup+222.301 s]
/proc/loadavg: 2.12 2.07 2.02 3/516 18658
/proc/meminfo: memFree=22741024/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=276880 CPUtime=222.3 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 67588 0 0 0 22203 27 0 0 25 0 1 0 908808481 283525120 66678 33554432000 134512640 137138936 4293376928 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 69220 66678 192 642 0 68576 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 276880
[startup+282.301 s]
/proc/loadavg: 2.04 2.05 2.01 3/516 18660
/proc/meminfo: memFree=22685664/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=333296 CPUtime=282.3 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 81692 0 0 0 28198 32 0 0 25 0 1 0 908808481 341295104 80782 33554432000 134512640 137138936 4293376928 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 83324 80782 192 642 0 82680 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 333296
[startup+342.301 s]
/proc/loadavg: 2.01 2.04 2.01 3/516 18661
/proc/meminfo: memFree=22638132/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=380404 CPUtime=342.3 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 93469 0 0 0 34193 37 0 0 25 0 1 0 908808481 389533696 92559 33554432000 134512640 137138936 4293376928 18446744073709551615 134542369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 95101 92559 192 642 0 94457 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 380404
[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 18663
/proc/meminfo: memFree=22594552/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=423988 CPUtime=402.3 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 104365 0 0 0 40188 42 0 0 25 0 1 0 908808481 434163712 103455 33554432000 134512640 137138936 4293376928 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 105997 103455 192 642 0 105353 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 423988
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 18665
/proc/meminfo: memFree=22586944/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=429504 CPUtime=462.3 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 105982 0 0 0 46185 45 0 0 25 0 1 0 908808481 439812096 104858 33554432000 134512640 137138936 4293376928 18446744073709551615 134607574 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 107376 104858 192 642 0 106732 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 429504
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 18666
/proc/meminfo: memFree=22579816/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=429504 CPUtime=522.31 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 105982 0 0 0 52180 51 0 0 25 0 1 0 908808481 439812096 104858 33554432000 134512640 137138936 4293376928 18446744073709551615 136296998 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 107376 104858 192 642 0 106732 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 429504
[startup+582.301 s]
/proc/loadavg: 1.43 1.86 1.95 2/510 18686
/proc/meminfo: memFree=22676492/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=429504 CPUtime=582.31 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 105982 0 0 0 58175 56 0 0 25 0 1 0 908808481 439812096 104858 33554432000 134512640 137138936 4293376928 18446744073709551615 134542889 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 107376 104858 192 642 0 106732 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 429504
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=22664444/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=440996 CPUtime=1062.32 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 109086 0 0 0 106141 91 0 0 25 0 1 0 908808481 451579904 107707 33554432000 134512640 137138936 4293376928 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 110249 107707 192 642 0 109605 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 440996
[startup+1122.3 s]
/proc/loadavg: 1.00 1.14 1.52 2/510 18700
/proc/meminfo: memFree=22664368/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=440996 CPUtime=1122.33 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 109086 0 0 0 112137 96 0 0 25 0 1 0 908808481 451579904 107707 33554432000 134512640 137138936 4293376928 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 110249 107707 192 642 0 109605 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 440996
[startup+1182.3 s]
/proc/loadavg: 1.07 1.14 1.49 2/510 18702
/proc/meminfo: memFree=22665192/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=440996 CPUtime=1182.33 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 109086 0 0 0 118132 101 0 0 25 0 1 0 908808481 451579904 107707 33554432000 134512640 137138936 4293376928 18446744073709551615 136504089 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 110249 107707 192 642 0 109605 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 440996
[startup+1242.3 s]
/proc/loadavg: 1.06 1.12 1.46 2/510 18703
/proc/meminfo: memFree=22665136/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=440996 CPUtime=1242.33 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 109086 0 0 0 124128 105 0 0 25 0 1 0 908808481 451579904 107707 33554432000 134512640 137138936 4293376928 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 110249 107707 192 642 0 109605 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 440996
[startup+1302.3 s]
/proc/loadavg: 1.02 1.10 1.43 2/510 18705
/proc/meminfo: memFree=22664316/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=440996 CPUtime=1302.35 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 109086 0 0 0 130125 110 0 0 25 0 1 0 908808481 451579904 107707 33554432000 134512640 137138936 4293376928 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 110249 107707 192 642 0 109605 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 440996
[startup+1362.3 s]
/proc/loadavg: 1.00 1.08 1.40 2/510 18707
/proc/meminfo: memFree=22665720/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=440996 CPUtime=1362.33 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 109086 0 0 0 136118 115 0 0 25 0 1 0 908808481 451579904 107707 33554432000 134512640 137138936 4293376928 18446744073709551615 134542149 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 110249 107707 192 642 0 109605 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 440996
[startup+1422.32 s]
/proc/loadavg: 1.00 1.06 1.37 2/510 18708
/proc/meminfo: memFree=22665536/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=440996 CPUtime=1422.36 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 109086 0 0 0 142116 120 0 0 25 0 1 0 908808481 451579904 107707 33554432000 134512640 137138936 4293376928 18446744073709551615 134600455 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 110249 107707 192 642 0 109605 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 440996
[startup+1482.3 s]
/proc/loadavg: 1.00 1.05 1.35 2/510 18710
/proc/meminfo: memFree=22665464/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=440996 CPUtime=1482.34 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 109086 0 0 0 148110 124 0 0 25 0 1 0 908808481 451579904 107707 33554432000 134512640 137138936 4293376928 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 110249 107707 192 642 0 109605 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 440996
[startup+1542.3 s]
/proc/loadavg: 1.00 1.04 1.33 2/510 18711
/proc/meminfo: memFree=22665532/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=440996 CPUtime=1542.34 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 109086 0 0 0 154106 128 0 0 25 0 1 0 908808481 451579904 107707 33554432000 134512640 137138936 4293376928 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 110249 107707 192 642 0 109605 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 440996
[startup+1602.3 s]
/proc/loadavg: 1.00 1.03 1.30 2/510 18713
/proc/meminfo: memFree=22653428/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=454188 CPUtime=1602.34 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 112384 0 0 0 160102 132 0 0 25 0 1 0 908808481 465088512 111005 33554432000 134512640 137138936 4293376928 18446744073709551615 136504045 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 113547 111005 192 642 0 112903 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 454188
[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.28 2/510 18715
/proc/meminfo: memFree=22628452/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=478640 CPUtime=1662.35 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 118499 0 0 0 166099 136 0 0 25 0 1 0 908808481 490127360 117120 33554432000 134512640 137138936 4293376928 18446744073709551615 134542351 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 119660 117120 192 642 0 119016 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 478640
[startup+1722.3 s]
/proc/loadavg: 1.05 1.03 1.26 2/510 18716
/proc/meminfo: memFree=22604808/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=502672 CPUtime=1722.35 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 124507 0 0 0 172096 139 0 0 25 0 1 0 908808481 514736128 123128 33554432000 134512640 137138936 4293376928 18446744073709551615 134543102 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 125668 123128 192 642 0 125024 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 502672
[startup+1782.3 s]
/proc/loadavg: 1.06 1.04 1.25 2/510 18721
/proc/meminfo: memFree=22573264/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=532096 CPUtime=1782.35 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 131861 0 0 0 178091 144 0 0 25 0 1 0 908808481 544866304 130482 33554432000 134512640 137138936 4293376928 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 133024 130482 192 642 0 132380 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 532096
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.06 1.04 1.25 2/510 18721
/proc/meminfo: memFree=22572064/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=533588 CPUtime=1785.55 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 132236 0 0 0 178411 144 0 0 25 0 1 0 908808481 546394112 130857 33554432000 134512640 137138936 4293376928 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 133397 130857 192 642 0 132753 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 533588
[startup+1791.92 s]
/proc/loadavg: 1.05 1.03 1.25 2/510 18721
/proc/meminfo: memFree=22569696/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=537356 CPUtime=1791.97 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 133176 0 0 0 179052 145 0 0 25 0 1 0 908808481 550252544 131797 33554432000 134512640 137138936 4293376928 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 134339 131797 192 642 0 133695 0
Current children cumulated CPU time (s) 1791.97
Current children cumulated vsize (KiB) 537356
[startup+1795.1 s]
/proc/loadavg: 1.05 1.03 1.25 2/510 18721
/proc/meminfo: memFree=22567836/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=538936 CPUtime=1795.16 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 133571 0 0 0 179371 145 0 0 25 0 1 0 908808481 551870464 132192 33554432000 134512640 137138936 4293376928 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 134734 132192 192 642 0 134090 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 538936
[startup+1796.7 s]
/proc/loadavg: 1.05 1.03 1.25 2/510 18721
/proc/meminfo: memFree=22567216/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=539840 CPUtime=1796.75 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 133797 0 0 0 179530 145 0 0 25 0 1 0 908808481 552796160 132418 33554432000 134512640 137138936 4293376928 18446744073709551615 134575188 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 134960 132418 192 642 0 134316 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 539840
[startup+1797.5 s]
/proc/loadavg: 1.05 1.03 1.25 2/510 18721
/proc/meminfo: memFree=22565976/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=540480 CPUtime=1797.56 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 133957 0 0 0 179610 146 0 0 25 0 1 0 908808481 553451520 132578 33554432000 134512640 137138936 4293376928 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 135120 132578 192 642 0 134476 0
Current children cumulated CPU time (s) 1797.56
Current children cumulated vsize (KiB) 540480
[startup+1797.9 s]
/proc/loadavg: 1.05 1.03 1.25 2/510 18721
/proc/meminfo: memFree=22565976/32950928 swapFree=58671692/67111528
[pid=18651] ppid=18649 vsize=540720 CPUtime=1797.96 cores=1,3,5,7
/proc/18651/stat : 18651 (bsolo) R 18649 18651 16455 0 -1 4202496 134017 0 0 0 179650 146 0 0 25 0 1 0 908808481 553697280 132638 33554432000 134512640 137138936 4293376928 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18651/statm: 135180 132638 192 642 0 134536 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 540720
Child status: 0
Real time (s): 1797.98
CPU time (s): 1798.04
CPU user time (s): 1796.55
CPU system time (s): 1.48377
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 540720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.55
system time used= 1.48377
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134017
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= 3919
runsolver used 8.44572 second user time and 22.6146 second system time
The end