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-3463403-1307174991/watcher-3463403-1307174991 -o /tmp/evaluation-result-3463403-1307174991/solver-3463403-1307174991 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463403-1307174991.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: 1.37 1.10 1.29 2/400 9343
/proc/meminfo: memFree=30049156/32950904 swapFree=56615552/67111528
[pid=9343] ppid=9341 vsize=11328 CPUtime=0 cores=1,3,5,7
/proc/9343/stat : 9343 (bsolo) R 9341 9343 8078 0 -1 4202496 440 0 0 0 0 0 0 0 25 0 1 0 829098857 11599872 373 33554432000 134512640 137138936 4290253328 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9343/statm: 2832 373 185 642 0 2188 0
[startup+0.0938369 s]
/proc/loadavg: 1.37 1.10 1.29 2/400 9343
/proc/meminfo: memFree=30049156/32950904 swapFree=56615552/67111528
[pid=9343] ppid=9341 vsize=11572 CPUtime=0.09 cores=1,3,5,7
/proc/9343/stat : 9343 (bsolo) R 9341 9343 8078 0 -1 4202496 519 0 0 0 9 0 0 0 25 0 1 0 829098857 11849728 452 33554432000 134512640 137138936 4290253328 18446744073709551615 136295499 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9343/statm: 2893 452 192 642 0 2249 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11572
[startup+0.100839 s]
/proc/loadavg: 1.37 1.10 1.29 2/400 9343
/proc/meminfo: memFree=30049156/32950904 swapFree=56615552/67111528
[pid=9343] ppid=9341 vsize=11572 CPUtime=0.09 cores=1,3,5,7
/proc/9343/stat : 9343 (bsolo) R 9341 9343 8078 0 -1 4202496 525 0 0 0 9 0 0 0 25 0 1 0 829098857 11849728 458 33554432000 134512640 137138936 4290253328 18446744073709551615 134606666 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9343/statm: 2893 458 192 642 0 2249 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11572
[startup+0.300803 s]
/proc/loadavg: 1.37 1.10 1.29 2/400 9343
/proc/meminfo: memFree=30049156/32950904 swapFree=56615552/67111528
[pid=9343] ppid=9341 vsize=12308 CPUtime=0.29 cores=1,3,5,7
/proc/9343/stat : 9343 (bsolo) R 9341 9343 8078 0 -1 4202496 692 0 0 0 29 0 0 0 25 0 1 0 829098857 12603392 625 33554432000 134512640 137138936 4290253328 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9343/statm: 3077 625 192 642 0 2433 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12308
[startup+0.700729 s]
/proc/loadavg: 1.37 1.10 1.29 2/400 9343
/proc/meminfo: memFree=30049156/32950904 swapFree=56615552/67111528
[pid=9343] ppid=9341 vsize=13288 CPUtime=0.69 cores=1,3,5,7
/proc/9343/stat : 9343 (bsolo) R 9341 9343 8078 0 -1 4202496 935 0 0 0 69 0 0 0 25 0 1 0 829098857 13606912 868 33554432000 134512640 137138936 4290253328 18446744073709551615 134542155 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9343/statm: 3322 868 192 642 0 2678 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13288
[startup+1.50053 s]
/proc/loadavg: 1.37 1.10 1.29 3/401 9344
/proc/meminfo: memFree=30045304/32950904 swapFree=56615552/67111528
[pid=9343] ppid=9341 vsize=13664 CPUtime=1.49 cores=1,3,5,7
/proc/9343/stat : 9343 (bsolo) R 9341 9343 8078 0 -1 4202496 1033 0 0 0 149 0 0 0 25 0 1 0 829098857 13991936 966 33554432000 134512640 137138936 4290253328 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9343/statm: 3416 966 192 642 0 2772 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13664
[startup+3.1003 s]
/proc/loadavg: 1.37 1.10 1.29 3/401 9344
/proc/meminfo: memFree=30044064/32950904 swapFree=56615552/67111528
[pid=9343] ppid=9341 vsize=13788 CPUtime=3.09 cores=1,3,5,7
/proc/9343/stat : 9343 (bsolo) R 9341 9343 8078 0 -1 4202496 1078 0 0 0 308 1 0 0 25 0 1 0 829098857 14118912 1011 33554432000 134512640 137138936 4290253328 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9343/statm: 3447 1011 192 642 0 2803 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13788
[startup+6.30073 s]
/proc/loadavg: 1.42 1.12 1.30 3/401 9344
/proc/meminfo: memFree=30044060/32950904 swapFree=56615552/67111528
[pid=9343] ppid=9341 vsize=14280 CPUtime=6.29 cores=1,3,5,7
/proc/9343/stat : 9343 (bsolo) R 9341 9343 8078 0 -1 4202496 1212 0 0 0 627 2 0 0 25 0 1 0 829098857 14622720 1145 33554432000 134512640 137138936 4290253328 18446744073709551615 134575833 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9343/statm: 3570 1145 192 642 0 2926 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14280
[startup+12.7006 s]
/proc/loadavg: 1.46 1.13 1.30 3/401 9344
/proc/meminfo: memFree=30041812/32950904 swapFree=56615552/67111528
[pid=9343] ppid=9341 vsize=15132 CPUtime=12.69 cores=1,3,5,7
/proc/9343/stat : 9343 (bsolo) R 9341 9343 8078 0 -1 4202496 1409 0 0 0 1264 5 0 0 25 0 1 0 829098857 15495168 1342 33554432000 134512640 137138936 4290253328 18446744073709551615 134575204 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9343/statm: 3783 1342 192 642 0 3139 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15132
[startup+25.5003 s]
/proc/loadavg: 1.58 1.18 1.31 3/401 9345
/proc/meminfo: memFree=30040080/32950904 swapFree=56615552/67111528
[pid=9343] ppid=9341 vsize=16100 CPUtime=25.49 cores=1,3,5,7
/proc/9343/stat : 9343 (bsolo) R 9341 9343 8078 0 -1 4202496 1642 0 0 0 2540 9 0 0 25 0 1 0 829098857 16486400 1575 33554432000 134512640 137138936 4290253328 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9343/statm: 4025 1575 192 642 0 3381 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16100
[startup+51.1008 s]
/proc/loadavg: 1.78 1.26 1.33 3/401 9345
/proc/meminfo: memFree=30038244/32950904 swapFree=56615552/67111528
[pid=9343] ppid=9341 vsize=16596 CPUtime=51.09 cores=1,3,5,7
/proc/9343/stat : 9343 (bsolo) R 9341 9343 8078 0 -1 4202496 1786 0 0 0 5090 19 0 0 25 0 1 0 829098857 16994304 1719 33554432000 134512640 137138936 4290253328 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9343/statm: 4149 1719 192 642 0 3505 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 16596
[startup+102.315 s]
/proc/loadavg: 1.94 1.38 1.37 3/401 9347
/proc/meminfo: memFree=30036088/32950904 swapFree=56615552/67111528
[pid=9343] ppid=9341 vsize=17648 CPUtime=102.3 cores=1,3,5,7
/proc/9343/stat : 9343 (bsolo) R 9341 9343 8078 0 -1 4202496 2032 0 0 0 10197 33 0 0 25 0 1 0 829098857 18071552 1965 33554432000 134512640 137138936 4290253328 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9343/statm: 4412 1965 192 642 0 3768 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 17648
[startup+162.301 s]
/proc/loadavg: 1.98 1.49 1.41 3/401 9348
/proc/meminfo: memFree=30033688/32950904 swapFree=56615552/67111528
[pid=9343] ppid=9341 vsize=18688 CPUtime=162.29 cores=1,3,5,7
/proc/9343/stat : 9343 (bsolo) R 9341 9343 8078 0 -1 4202496 2299 0 0 0 16181 48 0 0 25 0 1 0 829098857 19136512 2232 33554432000 134512640 137138936 4290253328 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9343/statm: 4672 2232 192 642 0 4028 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 18688
[startup+222.3 s]
/proc/loadavg: 1.99 1.58 1.44 3/401 9350
/proc/meminfo: memFree=30035132/32950904 swapFree=56615552/67111528
[pid=9343] ppid=9341 vsize=19152 CPUtime=222.3 cores=1,3,5,7
/proc/9343/stat : 9343 (bsolo) R 9341 9343 8078 0 -1 4202496 2421 0 0 0 22166 64 0 0 25 0 1 0 829098857 19611648 2354 33554432000 134512640 137138936 4290253328 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9343/statm: 4788 2354 192 642 0 4144 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 19152
[startup+282.301 s]
/proc/loadavg: 1.99 1.66 1.47 3/401 9351
/proc/meminfo: memFree=30033624/32950904 swapFree=56615552/67111528
[pid=9343] ppid=9341 vsize=19740 CPUtime=282.3 cores=1,3,5,7
/proc/9343/stat : 9343 (bsolo) R 9341 9343 8078 0 -1 4202496 2556 0 0 0 28152 78 0 0 25 0 1 0 829098857 20213760 2489 33554432000 134512640 137138936 4290253328 18446744073709551615 134599780 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9343/statm: 4935 2489 192 642 0 4291 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 19740
[startup+342.301 s]
/proc/loadavg: 1.99 1.71 1.50 3/401 9353
/proc/meminfo: memFree=30033092/32950904 swapFree=56615552/67111528
[pid=9343] ppid=9341 vsize=20120 CPUtime=342.3 cores=1,3,5,7
/proc/9343/stat : 9343 (bsolo) R 9341 9343 8078 0 -1 4202496 2661 0 0 0 34137 93 0 0 25 0 1 0 829098857 20602880 2594 33554432000 134512640 137138936 4290253328 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9343/statm: 5030 2594 192 642 0 4386 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 20120
[startup+402.3 s]
/proc/loadavg: 1.99 1.76 1.53 3/401 9355
/proc/meminfo: memFree=30033040/32950904 swapFree=56615552/67111528
[pid=9343] ppid=9341 vsize=20120 CPUtime=402.3 cores=1,3,5,7
/proc/9343/stat : 9343 (bsolo) R 9341 9343 8078 0 -1 4202496 2661 0 0 0 40125 105 0 0 25 0 1 0 829098857 20602880 2594 33554432000 134512640 137138936 4290253328 18446744073709551615 136504116 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9343/statm: 5030 2594 192 642 0 4386 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 20120
[startup+462.301 s]
/proc/loadavg: 1.99 1.80 1.56 3/401 9356
/proc/meminfo: memFree=30033224/32950904 swapFree=56615552/67111528
[pid=9343] ppid=9341 vsize=20120 CPUtime=462.3 cores=1,3,5,7
/proc/9343/stat : 9343 (bsolo) R 9341 9343 8078 0 -1 4202496 2661 0 0 0 46110 120 0 0 25 0 1 0 829098857 20602880 2594 33554432000 134512640 137138936 4290253328 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9343/statm: 5030 2594 192 642 0 4386 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 20120
[startup+522.301 s]
/proc/loadavg: 1.99 1.84 1.58 3/401 9358
/proc/meminfo: memFree=30032432/32950904 swapFree=56615552/67111528
[pid=9343] ppid=9341 vsize=20720 CPUtime=522.31 cores=1,3,5,7
/proc/9343/stat : 9343 (bsolo) R 9341 9343 8078 0 -1 4202496 2817 0 0 0 52096 135 0 0 25 0 1 0 829098857 21217280 2750 33554432000 134512640 137138936 4290253328 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9343/statm: 5180 2750 192 642 0 4536 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 20720
[startup+582.3 s]
/proc/loadavg: 1.99 1.86 1.61 3/401 9359
/proc/meminfo: memFree=30032396/32950904 swapFree=56615552/67111528
[pid=9343] ppid=9341 vsize=20720 CPUtime=582.31 cores=1,3,5,7
/proc/9343/stat : 9343 (bsolo) R 9341 9343 8078 0 -1 4202496 2817 0 0 0 58082 149 0 0 25 0 1 0 829098857 21217280 2750 33554432000 134512640 137138936 4290253328 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9343/statm: 5180 2750 192 642 0 4536 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 20720
[startup+642.301 s]
/proc/loadavg: 2.08 1.91 1.64 3/401 9388
/proc/meminfo: memFree=29905636/32950904 swapFree=56615552/67111528
[pid=9343] ppid=9341 vsize=21016 CPUtime=642.31 cores=1,3,5,7
/proc/9343/stat : 9343 (bsolo) R 9341 9343 8078 0 -1 4202496 2895 0 0 0 64069 162 0 0 25 0 1 0 829098857 21520384 2828 33554432000 134512640 137138936 4290253328 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9343/statm: 5254 2828 192 642 0 4610 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 21016
[startup+702.301 s]
/proc/loadavg: 2.03 1.93 1.66 3/401 9390
/proc/meminfo: memFree=29847940/32950904 swapFree=56615552/67111528
[pid=9343] ppid=9341 vsize=21012 CPUtime=702.31 cores=1,3,5,7
/proc/9343/stat : 9343 (bsolo) R 9341 9343 8078 0 -1 4202496 2895 0 0 0 70056 175 0 0 25 0 1 0 829098857 21516288 2828 33554432000 134512640 137138936 4290253328 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9343/statm: 5253 2828 192 642 0 4609 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 21012
[startup+762.315 s]
/proc/loadavg: 2.14 1.97 1.69 3/401 9391
/proc/meminfo: memFree=29789236/32950904 swapFree=56615552/67111528
[pid=9343] ppid=9341 vsize=20944 CPUtime=762.32 cores=1,3,5,7
/proc/9343/stat : 9343 (bsolo) R 9341 9343 8078 0 -1 4202496 2895 0 0 0 76042 190 0 0 25 0 1 0 829098857 21446656 2811 33554432000 134512640 137138936 4290253328 18446744073709551615 134542375 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9343/statm: 5236 2811 192 642 0 4592 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 20944
[startup+822.3 s]
/proc/loadavg: 2.05 1.97 1.70 3/401 9393
/proc/meminfo: memFree=29749528/32950904 swapFree=56615552/67111528
[pid=9343] ppid=9341 vsize=22184 CPUtime=822.31 cores=1,3,5,7
/proc/9343/stat : 9343 (bsolo) R 9341 9343 8078 0 -1 4202496 3190 0 0 0 82026 205 0 0 25 0 1 0 829098857 22716416 3106 33554432000 134512640 137138936 4290253328 18446744073709551615 136504020 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9343/statm: 5546 3106 192 642 0 4902 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 22184
[startup+882.301 s]
/proc/loadavg: 2.02 1.97 1.72 3/401 9394
/proc/meminfo: memFree=29716748/32950904 swapFree=56615552/67111528
[pid=9343] ppid=9341 vsize=22172 CPUtime=882.31 cores=1,3,5,7
/proc/9343/stat : 9343 (bsolo) R 9341 9343 8078 0 -1 4202496 3190 0 0 0 88013 218 0 0 25 0 1 0 829098857 22704128 3106 33554432000 134512640 137138936 4290253328 18446744073709551615 135984544 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9343/statm: 5543 3106 192 642 0 4899 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 22172
Solver just ended. Dumping a history of the last processes samples
[startup+895.9 s]
/proc/loadavg: 2.01 1.97 1.72 3/401 9395
/proc/meminfo: memFree=29710420/32950904 swapFree=56615552/67111528
[pid=9343] ppid=9341 vsize=22172 CPUtime=895.91 cores=1,3,5,7
/proc/9343/stat : 9343 (bsolo) R 9341 9343 8078 0 -1 4202496 3190 0 0 0 89370 221 0 0 25 0 1 0 829098857 22704128 3106 33554432000 134512640 137138936 4290253328 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9343/statm: 5543 3106 192 642 0 4899 0
Current children cumulated CPU time (s) 895.91
Current children cumulated vsize (KiB) 22172
[startup+908.701 s]
/proc/loadavg: 2.01 1.97 1.73 3/401 9395
/proc/meminfo: memFree=29704080/32950904 swapFree=56615552/67111528
[pid=9343] ppid=9341 vsize=22168 CPUtime=908.72 cores=1,3,5,7
/proc/9343/stat : 9343 (bsolo) R 9341 9343 8078 0 -1 4202496 3190 0 0 0 90648 224 0 0 25 0 1 0 829098857 22700032 3106 33554432000 134512640 137138936 4290253328 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9343/statm: 5542 3106 192 642 0 4898 0
Current children cumulated CPU time (s) 908.72
Current children cumulated vsize (KiB) 22168
[startup+915.101 s]
/proc/loadavg: 2.01 1.97 1.73 3/401 9395
/proc/meminfo: memFree=29700980/32950904 swapFree=56615552/67111528
[pid=9343] ppid=9341 vsize=22168 CPUtime=915.12 cores=1,3,5,7
/proc/9343/stat : 9343 (bsolo) R 9341 9343 8078 0 -1 4202496 3190 0 0 0 91287 225 0 0 25 0 1 0 829098857 22700032 3106 33554432000 134512640 137138936 4290253328 18446744073709551615 134607604 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9343/statm: 5542 3106 192 642 0 4898 0
Current children cumulated CPU time (s) 915.12
Current children cumulated vsize (KiB) 22168
[startup+918.3 s]
/proc/loadavg: 2.01 1.97 1.73 3/401 9395
/proc/meminfo: memFree=29699492/32950904 swapFree=56615552/67111528
[pid=9343] ppid=9341 vsize=22168 CPUtime=918.31 cores=1,3,5,7
/proc/9343/stat : 9343 (bsolo) R 9341 9343 8078 0 -1 4202496 3190 0 0 0 91605 226 0 0 25 0 1 0 829098857 22700032 3106 33554432000 134512640 137138936 4290253328 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9343/statm: 5542 3106 192 642 0 4898 0
Current children cumulated CPU time (s) 918.31
Current children cumulated vsize (KiB) 22168
[startup+919.901 s]
/proc/loadavg: 2.01 1.97 1.73 3/401 9395
/proc/meminfo: memFree=29698376/32950904 swapFree=56615552/67111528
[pid=9343] ppid=9341 vsize=22168 CPUtime=919.91 cores=1,3,5,7
/proc/9343/stat : 9343 (bsolo) R 9341 9343 8078 0 -1 4202496 3190 0 0 0 91765 226 0 0 25 0 1 0 829098857 22700032 3106 33554432000 134512640 137138936 4290253328 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9343/statm: 5542 3106 192 642 0 4898 0
Current children cumulated CPU time (s) 919.91
Current children cumulated vsize (KiB) 22168
[startup+920.301 s]
/proc/loadavg: 2.01 1.97 1.73 3/401 9395
/proc/meminfo: memFree=29698376/32950904 swapFree=56615552/67111528
[pid=9343] ppid=9341 vsize=22168 CPUtime=920.31 cores=1,3,5,7
/proc/9343/stat : 9343 (bsolo) R 9341 9343 8078 0 -1 4202496 3190 0 0 0 91805 226 0 0 25 0 1 0 829098857 22700032 3106 33554432000 134512640 137138936 4290253328 18446744073709551615 134542442 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9343/statm: 5542 3106 192 642 0 4898 0
Current children cumulated CPU time (s) 920.31
Current children cumulated vsize (KiB) 22168
[startup+920.501 s]
/proc/loadavg: 2.01 1.97 1.73 3/401 9395
/proc/meminfo: memFree=29698376/32950904 swapFree=56615552/67111528
[pid=9343] ppid=9341 vsize=22168 CPUtime=920.51 cores=1,3,5,7
/proc/9343/stat : 9343 (bsolo) R 9341 9343 8078 0 -1 4202496 3190 0 0 0 91825 226 0 0 25 0 1 0 829098857 22700032 3106 33554432000 134512640 137138936 4290253328 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9343/statm: 5542 3106 192 642 0 4898 0
Current children cumulated CPU time (s) 920.51
Current children cumulated vsize (KiB) 22168
Child status: 0
Real time (s): 920.572
CPU time (s): 920.595
CPU user time (s): 918.325
CPU system time (s): 2.26965
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 22192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 918.325
system time used= 2.26965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3190
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= 4
involuntary context switches= 1347
runsolver used 3.31849 second user time and 8.39872 second system time
The end