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-3739723-1338719234/watcher-3739723-1338719234 -o /tmp/evaluation-result-3739723-1338719234/solver-3739723-1338719234 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3739723-1338719234.opb -seed 1058897768 -budget 1800
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.10 2.06 2.06 3/226 7024
/proc/meminfo: memFree=27824796/32873648 swapFree=7628/7628
[pid=7024] ppid=7022 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/7024/stat : 7024 (python) R 7022 7024 3958 0 -1 4202496 672 0 0 0 0 0 0 0 20 0 1 0 338049495 15642624 560 33554432000 4194304 5683644 140735715089792 140735715057736 217410519952 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 3819 560 324 364 0 261 0
[startup+0.100159 s]
/proc/loadavg: 2.10 2.06 2.06 3/226 7024
/proc/meminfo: memFree=27824796/32873648 swapFree=7628/7628
[pid=7024] ppid=7022 vsize=21304 CPUtime=0.02 cores=1,3,5,7
/proc/7024/stat : 7024 (python) D 7022 7024 3958 0 -1 4202496 1411 0 0 0 2 0 0 0 20 0 1 0 338049495 21815296 1165 33554432000 4194304 5683644 140735715089792 140735715029784 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 5326 1165 437 364 0 728 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21304
[startup+0.200251 s]
/proc/loadavg: 2.10 2.06 2.06 3/226 7024
/proc/meminfo: memFree=27824796/32873648 swapFree=7628/7628
[pid=7024] ppid=7022 vsize=83948 CPUtime=0.06 cores=1,3,5,7
/proc/7024/stat : 7024 (python) D 7022 7024 3958 0 -1 4202496 2923 0 0 0 4 2 0 0 20 0 1 0 338049495 85962752 2442 33554432000 4194304 5683644 140735715089792 140735715021416 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/7024/statm: 20987 2442 744 364 0 1615 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 83948
[startup+0.300251 s]
/proc/loadavg: 2.10 2.06 2.06 3/226 7024
/proc/meminfo: memFree=27824796/32873648 swapFree=7628/7628
[pid=7024] ppid=7022 vsize=104284 CPUtime=0.12 cores=1,3,5,7
/proc/7024/stat : 7024 (python) D 7022 7024 3958 0 -1 4202496 4206 1009 1 0 9 3 0 0 20 0 1 0 338049495 106786816 2761 33554432000 4194304 5683644 140735715089792 140735714958152 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 1 0 0 0 0 0
/proc/7024/statm: 26071 2761 895 364 0 1730 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 104284
[startup+0.700185 s]
/proc/loadavg: 2.10 2.06 2.06 3/226 7024
/proc/meminfo: memFree=27824796/32873648 swapFree=7628/7628
[pid=7024] ppid=7022 vsize=166948 CPUtime=0.23 cores=1,3,5,7
/proc/7024/stat : 7024 (python) R 7022 7024 3958 0 -1 4202496 6561 1009 1 0 15 8 0 0 20 0 1 0 338049495 170954752 4352 33554432000 4194304 5683644 140735715089792 140735714994024 140618999958409 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/7024/statm: 41737 4352 1227 364 0 3290 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 166948
[startup+1.50013 s]
/proc/loadavg: 2.10 2.06 2.05 2/227 7029
/proc/meminfo: memFree=27805552/32873648 swapFree=7628/7628
[pid=7024] ppid=7022 vsize=267208 CPUtime=0.39 cores=1,3,5,7
/proc/7024/stat : 7024 (python) D 7022 7024 3958 0 -1 4202496 9487 1009 1 0 28 11 0 0 20 0 1 0 338049495 273620992 6685 33554432000 4194304 5683644 140735715089792 140735715025784 217410525031 0 0 16781312 2 18446744071580543392 0 0 17 1 0 0 0 0 0
/proc/7024/statm: 66802 6685 1733 364 0 5286 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 267208
[startup+3.10918 s]
/proc/loadavg: 2.10 2.06 2.05 3/227 7029
/proc/meminfo: memFree=27779016/32873648 swapFree=7628/7628
[pid=7024] ppid=7022 vsize=380728 CPUtime=1.88 cores=1,3,5,7
/proc/7024/stat : 7024 (python) S 7022 7024 3958 0 -1 4202496 19897 1009 1 0 175 13 0 0 20 0 2 0 338049495 389865472 13045 33554432000 4194304 5683644 140735715089792 140735715084624 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 45 0 0
/proc/7024/statm: 95182 13045 1902 364 0 30405 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 380728
heavy processes:
[startup+6.30036 s]
/proc/loadavg: 2.10 2.06 2.05 4/230 7032
/proc/meminfo: memFree=27769360/32873648 swapFree=7628/7628
[pid=7024] ppid=7022 vsize=380728 CPUtime=1.88 cores=1,3,5,7
/proc/7024/stat : 7024 (python) S 7022 7024 3958 0 -1 4202496 19897 1009 1 0 175 13 0 0 20 0 2 0 338049495 389865472 13045 33554432000 4194304 5683644 140735715089792 140735715084624 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 45 0 0
/proc/7024/statm: 95182 13045 1902 364 0 30405 0
[pid=7030] ppid=7024 vsize=304948 CPUtime=0 cores=1,3,5,7
/proc/7030/stat : 7030 (python) S 7024 7024 3958 0 -1 4202560 895 0 0 0 0 0 0 0 20 0 1 0 338049805 312266752 11499 33554432000 4194304 5683644 140735715089792 140735715080880 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/7030/statm: 76237 11499 362 364 0 11460 0
[pid=7032] ppid=7030 vsize=12096 CPUtime=3.19 cores=1,3,5,7
/proc/7032/stat : 7032 (clasp-1.3.7-x86) R 7030 7032 7032 0 -1 4202496 3808 0 0 0 319 0 0 0 20 0 1 0 338049805 12386304 2756 33554432000 134512640 136139019 4287094464 4287093440 134883081 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/7032/statm: 3024 2756 183 398 0 2624 0
[pid=7024/tid=7031] ppid=7022 vsize=380728 CPUtime=0 cores=1,3,5,7
/proc/7024/task/7031/stat : 7031 (python) S 7022 7024 3958 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 2 0 338049805 389865472 13045 33554432000 4194304 5683644 140735715089792 140618829328944 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 5.07
Current children cumulated vsize (KiB) 697772
[startup+12.7003 s]
/proc/loadavg: 2.08 2.06 2.05 3/230 7032
/proc/meminfo: memFree=27765624/32873648 swapFree=7628/7628
[pid=7024] ppid=7022 vsize=380728 CPUtime=1.88 cores=1,3,5,7
/proc/7024/stat : 7024 (python) S 7022 7024 3958 0 -1 4202496 19897 1009 1 0 175 13 0 0 20 0 2 0 338049495 389865472 13045 33554432000 4194304 5683644 140735715089792 140735715084624 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 45 0 0
/proc/7024/statm: 95182 13045 1902 364 0 30405 0
[pid=7030] ppid=7024 vsize=304948 CPUtime=0 cores=1,3,5,7
/proc/7030/stat : 7030 (python) S 7024 7024 3958 0 -1 4202560 901 0 0 0 0 0 0 0 20 0 1 0 338049805 312266752 11500 33554432000 4194304 5683644 140735715089792 140735715080880 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/7030/statm: 76237 11500 363 364 0 11460 0
[pid=7032] ppid=7030 vsize=15140 CPUtime=9.59 cores=1,3,5,7
/proc/7032/stat : 7032 (clasp-1.3.7-x86) R 7030 7032 7032 0 -1 4202496 4547 0 0 0 958 1 0 0 20 0 1 0 338049805 15503360 3495 33554432000 134512640 136139019 4287094464 4287093328 134608192 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/7032/statm: 3785 3495 183 398 0 3385 0
[pid=7024/tid=7031] ppid=7022 vsize=380728 CPUtime=0 cores=1,3,5,7
/proc/7024/task/7031/stat : 7031 (python) S 7022 7024 3958 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 2 0 338049805 389865472 13045 33554432000 4194304 5683644 140735715089792 140618829328944 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 11.47
Current children cumulated vsize (KiB) 700816
[startup+25.5002 s]
/proc/loadavg: 2.07 2.05 2.05 3/230 7032
/proc/meminfo: memFree=27765144/32873648 swapFree=7628/7628
[pid=7024] ppid=7022 vsize=380728 CPUtime=1.88 cores=1,3,5,7
/proc/7024/stat : 7024 (python) S 7022 7024 3958 0 -1 4202496 19897 1009 1 0 175 13 0 0 20 0 2 0 338049495 389865472 13045 33554432000 4194304 5683644 140735715089792 140735715084624 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 45 0 0
/proc/7024/statm: 95182 13045 1902 364 0 30405 0
[pid=7030] ppid=7024 vsize=304948 CPUtime=0.03 cores=1,3,5,7
/proc/7030/stat : 7030 (python) S 7024 7024 3958 0 -1 4202560 910 0 0 0 2 1 0 0 20 0 1 0 338049805 312266752 11500 33554432000 4194304 5683644 140735715089792 140735715080880 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/7030/statm: 76237 11500 363 364 0 11460 0
[pid=7032] ppid=7030 vsize=15972 CPUtime=22.4 cores=1,3,5,7
/proc/7032/stat : 7032 (clasp-1.3.7-x86) R 7030 7032 7032 0 -1 4202496 4775 0 0 0 2239 1 0 0 20 0 1 0 338049805 16355328 3723 33554432000 134512640 136139019 4287094464 4287093440 134883415 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/7032/statm: 3993 3723 183 398 0 3593 0
[pid=7024/tid=7031] ppid=7022 vsize=380728 CPUtime=0 cores=1,3,5,7
/proc/7024/task/7031/stat : 7031 (python) S 7022 7024 3958 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 2 0 338049805 389865472 13045 33554432000 4194304 5683644 140735715089792 140618829328944 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 24.31
Current children cumulated vsize (KiB) 701648
Solver just ended. Dumping a history of the last processes samples
[startup+25.8002 s]
/proc/loadavg: 2.07 2.05 2.05 3/230 7032
/proc/meminfo: memFree=27765144/32873648 swapFree=7628/7628
[pid=7024] ppid=7022 vsize=380728 CPUtime=1.88 cores=1,3,5,7
/proc/7024/stat : 7024 (python) S 7022 7024 3958 0 -1 4202496 19897 1009 1 0 175 13 0 0 20 0 2 0 338049495 389865472 13045 33554432000 4194304 5683644 140735715089792 140735715084624 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 45 0 0
/proc/7024/statm: 95182 13045 1902 364 0 30405 0
[pid=7030] ppid=7024 vsize=304948 CPUtime=0.03 cores=1,3,5,7
/proc/7030/stat : 7030 (python) S 7024 7024 3958 0 -1 4202560 910 0 0 0 2 1 0 0 20 0 1 0 338049805 312266752 11500 33554432000 4194304 5683644 140735715089792 140735715080880 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/7030/statm: 76237 11500 363 364 0 11460 0
[pid=7032] ppid=7030 vsize=15972 CPUtime=22.69 cores=1,3,5,7
/proc/7032/stat : 7032 (clasp-1.3.7-x86) R 7030 7032 7032 0 -1 4202496 4775 0 0 0 2268 1 0 0 20 0 1 0 338049805 16355328 3723 33554432000 134512640 136139019 4287094464 4287093440 134883415 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/7032/statm: 3993 3723 183 398 0 3593 0
[pid=7024/tid=7031] ppid=7022 vsize=380728 CPUtime=0 cores=1,3,5,7
/proc/7024/task/7031/stat : 7031 (python) S 7022 7024 3958 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 2 0 338049805 389865472 13045 33554432000 4194304 5683644 140735715089792 140618829328944 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 24.6
Current children cumulated vsize (KiB) 701648
[startup+32.2072 s]
/proc/loadavg: 2.14 2.07 2.06 3/230 7032
/proc/meminfo: memFree=27764840/32873648 swapFree=7628/7628
[pid=7024] ppid=7022 vsize=380728 CPUtime=1.88 cores=1,3,5,7
/proc/7024/stat : 7024 (python) S 7022 7024 3958 0 -1 4202496 19897 1009 1 0 175 13 0 0 20 0 2 0 338049495 389865472 13045 33554432000 4194304 5683644 140735715089792 140735715084624 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 45 0 0
/proc/7024/statm: 95182 13045 1902 364 0 30405 0
[pid=7030] ppid=7024 vsize=304948 CPUtime=0.05 cores=1,3,5,7
/proc/7030/stat : 7030 (python) S 7024 7024 3958 0 -1 4202560 916 0 0 0 3 2 0 0 20 0 1 0 338049805 312266752 11500 33554432000 4194304 5683644 140735715089792 140735715080880 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/7030/statm: 76237 11500 363 364 0 11460 0
[pid=7032] ppid=7030 vsize=16368 CPUtime=29.1 cores=1,3,5,7
/proc/7032/stat : 7032 (clasp-1.3.7-x86) R 7030 7032 7032 0 -1 4202496 4852 0 0 0 2909 1 0 0 20 0 1 0 338049805 16760832 3800 33554432000 134512640 136139019 4287094464 4287093388 134828711 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/7032/statm: 4092 3800 183 398 0 3692 0
[pid=7024/tid=7031] ppid=7022 vsize=380728 CPUtime=0 cores=1,3,5,7
/proc/7024/task/7031/stat : 7031 (python) S 7022 7024 3958 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 2 0 338049805 389865472 13045 33554432000 4194304 5683644 140735715089792 140618829328944 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 31.03
Current children cumulated vsize (KiB) 702044
[startup+33.8002 s]
/proc/loadavg: 2.14 2.07 2.06 3/230 7032
/proc/meminfo: memFree=27764840/32873648 swapFree=7628/7628
[pid=7024] ppid=7022 vsize=380728 CPUtime=1.88 cores=1,3,5,7
/proc/7024/stat : 7024 (python) S 7022 7024 3958 0 -1 4202496 19897 1009 1 0 175 13 0 0 20 0 2 0 338049495 389865472 13045 33554432000 4194304 5683644 140735715089792 140735715084624 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 45 0 0
/proc/7024/statm: 95182 13045 1902 364 0 30405 0
[pid=7030] ppid=7024 vsize=304948 CPUtime=0.05 cores=1,3,5,7
/proc/7030/stat : 7030 (python) S 7024 7024 3958 0 -1 4202560 916 0 0 0 3 2 0 0 20 0 1 0 338049805 312266752 11500 33554432000 4194304 5683644 140735715089792 140735715080880 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/7030/statm: 76237 11500 363 364 0 11460 0
[pid=7032] ppid=7030 vsize=16368 CPUtime=30.69 cores=1,3,5,7
/proc/7032/stat : 7032 (clasp-1.3.7-x86) R 7030 7032 7032 0 -1 4202496 4852 0 0 0 3068 1 0 0 20 0 1 0 338049805 16760832 3800 33554432000 134512640 136139019 4287094464 4287093444 134883821 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/7032/statm: 4092 3800 183 398 0 3692 0
[pid=7024/tid=7031] ppid=7022 vsize=380728 CPUtime=0 cores=1,3,5,7
/proc/7024/task/7031/stat : 7031 (python) S 7022 7024 3958 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 2 0 338049805 389865472 13045 33554432000 4194304 5683644 140735715089792 140618829328944 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 32.62
Current children cumulated vsize (KiB) 702044
[startup+34.6003 s]
/proc/loadavg: 2.14 2.07 2.06 3/230 7032
/proc/meminfo: memFree=27764840/32873648 swapFree=7628/7628
[pid=7024] ppid=7022 vsize=380728 CPUtime=1.88 cores=1,3,5,7
/proc/7024/stat : 7024 (python) S 7022 7024 3958 0 -1 4202496 19897 1009 1 0 175 13 0 0 20 0 2 0 338049495 389865472 13045 33554432000 4194304 5683644 140735715089792 140735715084624 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 45 0 0
/proc/7024/statm: 95182 13045 1902 364 0 30405 0
[pid=7030] ppid=7024 vsize=304948 CPUtime=0.05 cores=1,3,5,7
/proc/7030/stat : 7030 (python) S 7024 7024 3958 0 -1 4202560 919 0 0 0 3 2 0 0 20 0 1 0 338049805 312266752 11500 33554432000 4194304 5683644 140735715089792 140735715080880 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/7030/statm: 76237 11500 363 364 0 11460 0
[pid=7032] ppid=7030 vsize=16368 CPUtime=31.49 cores=1,3,5,7
/proc/7032/stat : 7032 (clasp-1.3.7-x86) R 7030 7032 7032 0 -1 4202496 4852 0 0 0 3148 1 0 0 20 0 1 0 338049805 16760832 3800 33554432000 134512640 136139019 4287094464 4287093440 134883360 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/7032/statm: 4092 3800 183 398 0 3692 0
[pid=7024/tid=7031] ppid=7022 vsize=380728 CPUtime=0 cores=1,3,5,7
/proc/7024/task/7031/stat : 7031 (python) S 7022 7024 3958 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 2 0 338049805 389865472 13045 33554432000 4194304 5683644 140735715089792 140618829328944 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 33.42
Current children cumulated vsize (KiB) 702044
[startup+35.0003 s]
/proc/loadavg: 2.14 2.07 2.06 3/230 7032
/proc/meminfo: memFree=27764840/32873648 swapFree=7628/7628
[pid=7024] ppid=7022 vsize=380728 CPUtime=1.88 cores=1,3,5,7
/proc/7024/stat : 7024 (python) S 7022 7024 3958 0 -1 4202496 19897 1009 1 0 175 13 0 0 20 0 2 0 338049495 389865472 13045 33554432000 4194304 5683644 140735715089792 140735715084624 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 45 0 0
/proc/7024/statm: 95182 13045 1902 364 0 30405 0
[pid=7030] ppid=7024 vsize=304948 CPUtime=0.05 cores=1,3,5,7
/proc/7030/stat : 7030 (python) S 7024 7024 3958 0 -1 4202560 919 0 0 0 3 2 0 0 20 0 1 0 338049805 312266752 11500 33554432000 4194304 5683644 140735715089792 140735715080880 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/7030/statm: 76237 11500 363 364 0 11460 0
[pid=7032] ppid=7030 vsize=16368 CPUtime=31.89 cores=1,3,5,7
/proc/7032/stat : 7032 (clasp-1.3.7-x86) R 7030 7032 7032 0 -1 4202496 4852 0 0 0 3188 1 0 0 20 0 1 0 338049805 16760832 3800 33554432000 134512640 136139019 4287094464 4287093440 134883094 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/7032/statm: 4092 3800 183 398 0 3692 0
[pid=7024/tid=7031] ppid=7022 vsize=380728 CPUtime=0 cores=1,3,5,7
/proc/7024/task/7031/stat : 7031 (python) S 7022 7024 3958 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 2 0 338049805 389865472 13045 33554432000 4194304 5683644 140735715089792 140618829328944 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 33.82
Current children cumulated vsize (KiB) 702044
[startup+35.2003 s]
/proc/loadavg: 2.14 2.07 2.06 3/230 7032
/proc/meminfo: memFree=27764840/32873648 swapFree=7628/7628
[pid=7024] ppid=7022 vsize=378672 CPUtime=34.04 cores=1,3,5,7
/proc/7024/stat : 7024 (python) R 7022 7024 3958 0 -1 4202496 22086 7091 1 0 175 14 3211 4 20 0 1 0 338049495 387760128 12535 33554432000 4194304 5683644 140735715089792 140735715086416 5116756 0 0 16781312 0 0 0 0 17 1 0 0 45 0 0
/proc/7024/statm: 94668 12535 1900 364 0 29897 0
Current children cumulated CPU time (s) 34.04
Current children cumulated vsize (KiB) 378672
Child status: 0
Real time (s): 35.2225
CPU time (s): 34.0748
CPU user time (s): 33.8878
CPU system time (s): 0.186971
CPU usage (%): 96.7416
Max. virtual memory (cumulated for all children) (KiB): 702044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.8878
system time used= 0.186971
maximum resident set size= 53716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33667
page faults= 1
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2091
involuntary context switches= 67
runsolver used 0.06499 second user time and 0.179972 second system time
The end