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-3482641-1307576482/watcher-3482641-1307576482 -o /tmp/evaluation-result-3482641-1307576482/solver-3482641-1307576482 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482641-1307576482.opb -seed 1746409190 -budget 1800
running on 4 cores: 0,2,4,6
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.80 0.61 0.22 2/476 5794
/proc/meminfo: memFree=23679624/32950928 swapFree=61858080/67111528
[pid=5794] ppid=5792 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/5794/stat : 5794 (python) R 5792 5794 5281 0 -1 4202496 861 0 0 0 0 0 0 0 25 0 1 0 869247910 16154624 742 33554432000 4194304 5683644 140736652109104 18446744073709551615 4553872 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/5794/statm: 3944 745 339 364 0 431 0
[startup+0.0400209 s]
/proc/loadavg: 1.80 0.61 0.22 2/476 5794
/proc/meminfo: memFree=23679624/32950928 swapFree=61858080/67111528
[pid=5794] ppid=5792 vsize=18888 CPUtime=0.02 cores=0,2,4,6
/proc/5794/stat : 5794 (python) S 5792 5794 5281 0 -1 4202496 1289 0 0 0 2 0 0 0 25 0 1 0 869247910 19341312 1141 33554432000 4194304 5683644 140736652109104 18446744073709551615 274473965568 0 2147483391 16781312 2 18446744071699215550 0 0 17 6 0 0 0
/proc/5794/statm: 4722 1141 421 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18888
[startup+0.100696 s]
/proc/loadavg: 1.80 0.61 0.22 2/476 5794
/proc/meminfo: memFree=23679624/32950928 swapFree=61858080/67111528
[pid=5794] ppid=5792 vsize=85360 CPUtime=0.05 cores=0,2,4,6
/proc/5794/stat : 5794 (python) D 5792 5794 5281 0 -1 4202496 2586 0 0 0 4 1 0 0 25 0 1 0 869247910 87408640 2310 33554432000 4194304 5683644 140736652109104 18446744073709551615 274473973303 0 0 16781312 2 18446744071562154983 0 0 17 6 0 0 0
/proc/5794/statm: 21340 2310 709 364 0 1557 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85360
[startup+0.300657 s]
/proc/loadavg: 1.80 0.61 0.22 2/476 5794
/proc/meminfo: memFree=23679624/32950928 swapFree=61858080/67111528
[pid=5794] ppid=5792 vsize=85360 CPUtime=0.05 cores=0,2,4,6
/proc/5794/stat : 5794 (python) D 5792 5794 5281 0 -1 4202496 2586 0 0 0 4 1 0 0 25 0 1 0 869247910 87408640 2310 33554432000 4194304 5683644 140736652109104 18446744073709551615 274473973303 0 0 16781312 2 18446744071562154983 0 0 17 6 0 0 0
/proc/5794/statm: 21340 2310 709 364 0 1557 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85360
[startup+0.70059 s]
/proc/loadavg: 1.80 0.61 0.22 2/476 5794
/proc/meminfo: memFree=23679624/32950928 swapFree=61858080/67111528
[pid=5794] ppid=5792 vsize=247960 CPUtime=0.32 cores=0,2,4,6
/proc/5794/stat : 5794 (python) R 5792 5794 5281 0 -1 4202496 8013 932 1 0 25 7 0 0 25 0 1 0 869247910 253911040 6146 33554432000 4194304 5683644 140736652109104 18446744073709551615 4522551 0 0 16781312 2 0 0 0 17 6 0 0 28
/proc/5794/statm: 61990 6146 1613 364 0 4994 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 247960
[startup+1.50045 s]
/proc/loadavg: 1.90 0.65 0.23 3/480 5802
/proc/meminfo: memFree=23650576/32950928 swapFree=61858080/67111528
[pid=5794] ppid=5792 vsize=293472 CPUtime=0.45 cores=0,2,4,6
/proc/5794/stat : 5794 (python) S 5792 5794 5281 0 -1 4202496 9711 932 1 0 36 9 0 0 25 0 2 0 869247910 300515328 7213 33554432000 4194304 5683644 140736652109104 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 28
/proc/5794/statm: 73368 7213 1870 364 0 8255 0
[pid=5800] ppid=5794 vsize=283228 CPUtime=0 cores=0,2,4,6
/proc/5800/stat : 5800 (python) S 5794 5794 5281 0 -1 4202560 703 0 0 0 0 0 0 0 25 0 1 0 869247994 290025472 5688 33554432000 4194304 5683644 140736652109104 18446744073709551615 274473987599 0 0 16781312 33554946 5951641979996569857 0 0 17 6 0 0 0
/proc/5800/statm: 70807 5688 349 364 0 5694 0
[pid=5802] ppid=5800 vsize=2256 CPUtime=0.66 cores=0,2,4,6
/proc/5802/stat : 5802 (clasp-1.3.7-x86) R 5800 5802 5802 0 -1 4202496 584 0 0 0 66 0 0 0 25 0 1 0 869247994 2310144 325 33554432000 134512640 136139019 4288711968 18446744073709551615 134877207 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/5802/statm: 564 325 184 398 0 164 0
[pid=5794/tid=5801] ppid=5792 vsize=293472 CPUtime=0 cores=0,2,4,6
/proc/5794/task/5801/stat : 5801 (python) S 5792 5794 5281 0 -1 4202560 29 932 0 0 0 0 0 0 25 0 2 0 869247994 300515328 7213 33554432000 4194304 5683644 140736652109104 18446744073709551615 274485791153 0 0 16781312 33554434 18446604444015719488 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 578956
[startup+3.10016 s]
/proc/loadavg: 1.90 0.65 0.23 3/480 5802
/proc/meminfo: memFree=23653124/32950928 swapFree=61858080/67111528
[pid=5794] ppid=5792 vsize=293472 CPUtime=0.45 cores=0,2,4,6
/proc/5794/stat : 5794 (python) S 5792 5794 5281 0 -1 4202496 9711 932 1 0 36 9 0 0 25 0 2 0 869247910 300515328 7213 33554432000 4194304 5683644 140736652109104 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 28
/proc/5794/statm: 73368 7213 1870 364 0 8255 0
[pid=5800] ppid=5794 vsize=283228 CPUtime=0 cores=0,2,4,6
/proc/5800/stat : 5800 (python) S 5794 5794 5281 0 -1 4202560 726 0 0 0 0 0 0 0 18 0 1 0 869247994 290025472 5691 33554432000 4194304 5683644 140736652109104 18446744073709551615 274473987599 0 0 16781312 33554946 4071254651553415425 0 0 17 6 0 0 0
/proc/5800/statm: 70807 5691 352 364 0 5694 0
[pid=5802] ppid=5800 vsize=2652 CPUtime=2.26 cores=0,2,4,6
/proc/5802/stat : 5802 (clasp-1.3.7-x86) R 5800 5802 5802 0 -1 4202496 668 0 0 0 226 0 0 0 25 0 1 0 869247994 2715648 409 33554432000 134512640 136139019 4288711968 18446744073709551615 134599038 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/5802/statm: 663 409 184 398 0 263 0
[pid=5794/tid=5801] ppid=5792 vsize=293472 CPUtime=0 cores=0,2,4,6
/proc/5794/task/5801/stat : 5801 (python) S 5792 5794 5281 0 -1 4202560 29 932 0 0 0 0 0 0 25 0 2 0 869247994 300515328 7213 33554432000 4194304 5683644 140736652109104 18446744073709551615 274485791153 0 0 16781312 33554434 18446604444015719488 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 579352
[startup+6.3006 s]
/proc/loadavg: 1.90 0.65 0.23 3/480 5802
/proc/meminfo: memFree=23652892/32950928 swapFree=61858080/67111528
[pid=5794] ppid=5792 vsize=293472 CPUtime=0.45 cores=0,2,4,6
/proc/5794/stat : 5794 (python) S 5792 5794 5281 0 -1 4202496 9711 932 1 0 36 9 0 0 25 0 2 0 869247910 300515328 7213 33554432000 4194304 5683644 140736652109104 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 28
/proc/5794/statm: 73368 7213 1870 364 0 8255 0
[pid=5800] ppid=5794 vsize=283228 CPUtime=0.01 cores=0,2,4,6
/proc/5800/stat : 5800 (python) S 5794 5794 5281 0 -1 4202560 885 0 0 0 1 0 0 0 18 0 1 0 869247994 290025472 5714 33554432000 4194304 5683644 140736652109104 18446744073709551615 274473987599 0 0 16781312 33554946 5951635932682617089 0 0 17 6 0 0 0
/proc/5800/statm: 70807 5714 375 364 0 5694 0
[pid=5802] ppid=5800 vsize=2916 CPUtime=5.46 cores=0,2,4,6
/proc/5802/stat : 5802 (clasp-1.3.7-x86) R 5800 5802 5802 0 -1 4202496 741 0 0 0 546 0 0 0 25 0 1 0 869247994 2985984 482 33554432000 134512640 136139019 4288711968 18446744073709551615 134883817 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/5802/statm: 729 482 184 398 0 329 0
[pid=5794/tid=5801] ppid=5792 vsize=293472 CPUtime=0 cores=0,2,4,6
/proc/5794/task/5801/stat : 5801 (python) S 5792 5794 5281 0 -1 4202560 29 932 0 0 0 0 0 0 25 0 2 0 869247994 300515328 7213 33554432000 4194304 5683644 140736652109104 18446744073709551615 274485791153 0 0 16781312 33554434 18446604444015719488 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 579616
[startup+12.7005 s]
/proc/loadavg: 2.06 0.73 0.26 3/480 5837
/proc/meminfo: memFree=23594520/32950928 swapFree=61858080/67111528
[pid=5794] ppid=5792 vsize=293472 CPUtime=0.45 cores=0,2,4,6
/proc/5794/stat : 5794 (python) S 5792 5794 5281 0 -1 4202496 9711 932 1 0 36 9 0 0 25 0 2 0 869247910 300515328 7213 33554432000 4194304 5683644 140736652109104 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 28
/proc/5794/statm: 73368 7213 1870 364 0 8255 0
[pid=5800] ppid=5794 vsize=283228 CPUtime=0.03 cores=0,2,4,6
/proc/5800/stat : 5800 (python) S 5794 5794 5281 0 -1 4202560 893 0 0 0 1 2 0 0 18 0 1 0 869247994 290025472 5715 33554432000 4194304 5683644 140736652109104 18446744073709551615 274473987599 0 0 16781312 33554946 72556772316949377 0 0 17 6 0 0 0
/proc/5800/statm: 70807 5715 376 364 0 5694 0
[pid=5802] ppid=5800 vsize=3312 CPUtime=11.86 cores=0,2,4,6
/proc/5802/stat : 5802 (clasp-1.3.7-x86) R 5800 5802 5802 0 -1 4202496 838 0 0 0 1186 0 0 0 25 0 1 0 869247994 3391488 579 33554432000 134512640 136139019 4288711968 18446744073709551615 134598389 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/5802/statm: 828 579 184 398 0 428 0
[pid=5794/tid=5801] ppid=5792 vsize=293472 CPUtime=0 cores=0,2,4,6
/proc/5794/task/5801/stat : 5801 (python) S 5792 5794 5281 0 -1 4202560 29 932 0 0 0 0 0 0 25 0 2 0 869247994 300515328 7213 33554432000 4194304 5683644 140736652109104 18446744073709551615 274485791153 0 0 16781312 33554434 18446604444015719488 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 580012
[startup+25.5003 s]
/proc/loadavg: 2.05 0.77 0.28 3/480 5837
/proc/meminfo: memFree=23573956/32950928 swapFree=61858080/67111528
[pid=5794] ppid=5792 vsize=293472 CPUtime=0.45 cores=0,2,4,6
/proc/5794/stat : 5794 (python) S 5792 5794 5281 0 -1 4202496 9711 932 1 0 36 9 0 0 25 0 2 0 869247910 300515328 7213 33554432000 4194304 5683644 140736652109104 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 28
/proc/5794/statm: 73368 7213 1870 364 0 8255 0
[pid=5800] ppid=5794 vsize=283228 CPUtime=0.08 cores=0,2,4,6
/proc/5800/stat : 5800 (python) S 5794 5794 5281 0 -1 4202560 898 0 0 0 4 4 0 0 18 0 1 0 869247994 290025472 5715 33554432000 4194304 5683644 140736652109104 18446744073709551615 274473987599 0 0 16781312 33554946 72556772316949377 0 0 17 6 0 0 0
/proc/5800/statm: 70807 5715 376 364 0 5694 0
[pid=5802] ppid=5800 vsize=4132 CPUtime=24.66 cores=0,2,4,6
/proc/5802/stat : 5802 (clasp-1.3.7-x86) R 5800 5802 5802 0 -1 4202496 1025 0 0 0 2466 0 0 0 25 0 1 0 869247994 4231168 766 33554432000 134512640 136139019 4288711968 18446744073709551615 134876961 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/5802/statm: 1033 766 184 398 0 633 0
[pid=5794/tid=5801] ppid=5792 vsize=293472 CPUtime=0 cores=0,2,4,6
/proc/5794/task/5801/stat : 5801 (python) S 5792 5794 5281 0 -1 4202560 29 932 0 0 0 0 0 0 25 0 2 0 869247994 300515328 7213 33554432000 4194304 5683644 140736652109104 18446744073709551615 274485791153 0 0 16781312 33554434 18446604444015719488 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 580832
Solver just ended. Dumping a history of the last processes samples
[startup+28.7007 s]
/proc/loadavg: 2.05 0.79 0.29 3/480 5837
/proc/meminfo: memFree=23565648/32950928 swapFree=61858080/67111528
[pid=5794] ppid=5792 vsize=293472 CPUtime=0.45 cores=0,2,4,6
/proc/5794/stat : 5794 (python) S 5792 5794 5281 0 -1 4202496 9711 932 1 0 36 9 0 0 25 0 2 0 869247910 300515328 7213 33554432000 4194304 5683644 140736652109104 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 28
/proc/5794/statm: 73368 7213 1870 364 0 8255 0
[pid=5800] ppid=5794 vsize=283228 CPUtime=0.1 cores=0,2,4,6
/proc/5800/stat : 5800 (python) S 5794 5794 5281 0 -1 4202560 901 0 0 0 5 5 0 0 18 0 1 0 869247994 290025472 5715 33554432000 4194304 5683644 140736652109104 18446744073709551615 274473987599 0 0 16781312 33554946 72556772316949377 0 0 17 6 0 0 0
/proc/5800/statm: 70807 5715 376 364 0 5694 0
[pid=5802] ppid=5800 vsize=4272 CPUtime=27.86 cores=0,2,4,6
/proc/5802/stat : 5802 (clasp-1.3.7-x86) R 5800 5802 5802 0 -1 4202496 1056 0 0 0 2786 0 0 0 25 0 1 0 869247994 4374528 797 33554432000 134512640 136139019 4288711968 18446744073709551615 134883785 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/5802/statm: 1068 797 184 398 0 668 0
[pid=5794/tid=5801] ppid=5792 vsize=293472 CPUtime=0 cores=0,2,4,6
/proc/5794/task/5801/stat : 5801 (python) S 5792 5794 5281 0 -1 4202560 29 932 0 0 0 0 0 0 25 0 2 0 869247994 300515328 7213 33554432000 4194304 5683644 140736652109104 18446744073709551615 274485791153 0 0 16781312 33554434 18446604444015719488 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 28.41
Current children cumulated vsize (KiB) 580972
[startup+30.3005 s]
/proc/loadavg: 2.05 0.79 0.29 3/480 5837
/proc/meminfo: memFree=23565272/32950928 swapFree=61858080/67111528
[pid=5794] ppid=5792 vsize=293472 CPUtime=0.45 cores=0,2,4,6
/proc/5794/stat : 5794 (python) S 5792 5794 5281 0 -1 4202496 9711 932 1 0 36 9 0 0 25 0 2 0 869247910 300515328 7213 33554432000 4194304 5683644 140736652109104 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 28
/proc/5794/statm: 73368 7213 1870 364 0 8255 0
[pid=5800] ppid=5794 vsize=283228 CPUtime=0.1 cores=0,2,4,6
/proc/5800/stat : 5800 (python) S 5794 5794 5281 0 -1 4202560 901 0 0 0 5 5 0 0 18 0 1 0 869247994 290025472 5715 33554432000 4194304 5683644 140736652109104 18446744073709551615 274473987599 0 0 16781312 33554946 72556772316949377 0 0 17 6 0 0 0
/proc/5800/statm: 70807 5715 376 364 0 5694 0
[pid=5802] ppid=5800 vsize=4272 CPUtime=29.46 cores=0,2,4,6
/proc/5802/stat : 5802 (clasp-1.3.7-x86) R 5800 5802 5802 0 -1 4202496 1059 0 0 0 2946 0 0 0 25 0 1 0 869247994 4374528 800 33554432000 134512640 136139019 4288711968 18446744073709551615 134608239 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/5802/statm: 1068 800 184 398 0 668 0
[pid=5794/tid=5801] ppid=5792 vsize=293472 CPUtime=0 cores=0,2,4,6
/proc/5794/task/5801/stat : 5801 (python) S 5792 5794 5281 0 -1 4202560 29 932 0 0 0 0 0 0 25 0 2 0 869247994 300515328 7213 33554432000 4194304 5683644 140736652109104 18446744073709551615 274485791153 0 0 16781312 33554434 18446604444015719488 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 30.01
Current children cumulated vsize (KiB) 580972
[startup+31.1003 s]
/proc/loadavg: 2.04 0.81 0.30 3/480 5837
/proc/meminfo: memFree=23565520/32950928 swapFree=61858080/67111528
[pid=5794] ppid=5792 vsize=293472 CPUtime=0.45 cores=0,2,4,6
/proc/5794/stat : 5794 (python) S 5792 5794 5281 0 -1 4202496 9711 932 1 0 36 9 0 0 25 0 2 0 869247910 300515328 7213 33554432000 4194304 5683644 140736652109104 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 28
/proc/5794/statm: 73368 7213 1870 364 0 8255 0
[pid=5800] ppid=5794 vsize=283228 CPUtime=0.1 cores=0,2,4,6
/proc/5800/stat : 5800 (python) S 5794 5794 5281 0 -1 4202560 901 0 0 0 5 5 0 0 18 0 1 0 869247994 290025472 5715 33554432000 4194304 5683644 140736652109104 18446744073709551615 274473987599 0 0 16781312 33554946 72556772316949377 0 0 17 6 0 0 0
/proc/5800/statm: 70807 5715 376 364 0 5694 0
[pid=5802] ppid=5800 vsize=4272 CPUtime=30.26 cores=0,2,4,6
/proc/5802/stat : 5802 (clasp-1.3.7-x86) R 5800 5802 5802 0 -1 4202496 1065 0 0 0 3026 0 0 0 25 0 1 0 869247994 4374528 806 33554432000 134512640 136139019 4288711968 18446744073709551615 134632459 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/5802/statm: 1068 806 184 398 0 668 0
[pid=5794/tid=5801] ppid=5792 vsize=293472 CPUtime=0 cores=0,2,4,6
/proc/5794/task/5801/stat : 5801 (python) S 5792 5794 5281 0 -1 4202560 29 932 0 0 0 0 0 0 25 0 2 0 869247994 300515328 7213 33554432000 4194304 5683644 140736652109104 18446744073709551615 274485791153 0 0 16781312 33554434 18446604444015719488 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 30.81
Current children cumulated vsize (KiB) 580972
[startup+31.9172 s]
/proc/loadavg: 2.04 0.81 0.30 3/480 5838
/proc/meminfo: memFree=23565768/32950928 swapFree=61858080/67111528
[pid=5794] ppid=5792 vsize=293472 CPUtime=0.45 cores=0,2,4,6
/proc/5794/stat : 5794 (python) S 5792 5794 5281 0 -1 4202496 9711 932 1 0 36 9 0 0 25 0 2 0 869247910 300515328 7213 33554432000 4194304 5683644 140736652109104 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 28
/proc/5794/statm: 73368 7213 1870 364 0 8255 0
[pid=5800] ppid=5794 vsize=283228 CPUtime=0.1 cores=0,2,4,6
/proc/5800/stat : 5800 (python) S 5794 5794 5281 0 -1 4202560 901 0 0 0 5 5 0 0 18 0 1 0 869247994 290025472 5715 33554432000 4194304 5683644 140736652109104 18446744073709551615 274473987599 0 0 16781312 33554946 72556772316949377 0 0 17 6 0 0 0
/proc/5800/statm: 70807 5715 376 364 0 5694 0
[pid=5802] ppid=5800 vsize=4272 CPUtime=31.08 cores=0,2,4,6
/proc/5802/stat : 5802 (clasp-1.3.7-x86) R 5800 5802 5802 0 -1 4202496 1073 0 0 0 3108 0 0 0 25 0 1 0 869247994 4374528 814 33554432000 134512640 136139019 4288711968 18446744073709551615 134883821 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/5802/statm: 1068 814 184 398 0 668 0
[pid=5794/tid=5801] ppid=5792 vsize=293472 CPUtime=0 cores=0,2,4,6
/proc/5794/task/5801/stat : 5801 (python) S 5792 5794 5281 0 -1 4202560 29 932 0 0 0 0 0 0 25 0 2 0 869247994 300515328 7213 33554432000 4194304 5683644 140736652109104 18446744073709551615 274485791153 0 0 16781312 33554434 18446604444015719488 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 31.63
Current children cumulated vsize (KiB) 580972
[startup+32.1012 s]
/proc/loadavg: 2.04 0.81 0.30 3/480 5838
/proc/meminfo: memFree=23565768/32950928 swapFree=61858080/67111528
[pid=5794] ppid=5792 vsize=293472 CPUtime=0.45 cores=0,2,4,6
/proc/5794/stat : 5794 (python) S 5792 5794 5281 0 -1 4202496 9711 932 1 0 36 9 0 0 25 0 2 0 869247910 300515328 7213 33554432000 4194304 5683644 140736652109104 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 28
/proc/5794/statm: 73368 7213 1870 364 0 8255 0
[pid=5800] ppid=5794 vsize=283228 CPUtime=0.1 cores=0,2,4,6
/proc/5800/stat : 5800 (python) S 5794 5794 5281 0 -1 4202560 901 0 0 0 5 5 0 0 18 0 1 0 869247994 290025472 5715 33554432000 4194304 5683644 140736652109104 18446744073709551615 274473987599 0 0 16781312 33554946 72556772316949377 0 0 17 6 0 0 0
/proc/5800/statm: 70807 5715 376 364 0 5694 0
[pid=5802] ppid=5800 vsize=4272 CPUtime=31.26 cores=0,2,4,6
/proc/5802/stat : 5802 (clasp-1.3.7-x86) R 5800 5802 5802 0 -1 4202496 1073 0 0 0 3126 0 0 0 25 0 1 0 869247994 4374528 814 33554432000 134512640 136139019 4288711968 18446744073709551615 134876053 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/5802/statm: 1068 814 184 398 0 668 0
[pid=5794/tid=5801] ppid=5792 vsize=293472 CPUtime=0 cores=0,2,4,6
/proc/5794/task/5801/stat : 5801 (python) S 5792 5794 5281 0 -1 4202560 29 932 0 0 0 0 0 0 25 0 2 0 869247994 300515328 7213 33554432000 4194304 5683644 140736652109104 18446744073709551615 274485791153 0 0 16781312 33554434 18446604444015719488 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 31.81
Current children cumulated vsize (KiB) 580972
Child status: 0
Real time (s): 32.1687
CPU time (s): 31.9071
CPU user time (s): 31.7372
CPU system time (s): 0.169974
CPU usage (%): 99.187
Max. virtual memory (cumulated for all children) (KiB): 580972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.7372
system time used= 0.169974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17348
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1036
involuntary context switches= 89
runsolver used 0.144977 second user time and 0.344947 second system time
The end