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-3482326-1307576540/watcher-3482326-1307576540 -o /tmp/evaluation-result-3482326-1307576540/solver-3482326-1307576540 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482326-1307576540.opb -seed 391022151 -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: 1.84 0.60 0.21 2/276 29602
/proc/meminfo: memFree=31889316/32951124 swapFree=53958412/67111528
[pid=29602] ppid=29600 vsize=15772 CPUtime=0 cores=1,3,5,7
/proc/29602/stat : 29602 (python) R 29600 29602 28606 0 -1 4202496 901 0 0 0 0 0 0 0 17 0 1 0 869254865 16150528 781 33554432000 4194304 5683644 140737126869440 18446744073709551615 4586080 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/29602/statm: 3943 782 345 364 0 430 0
[startup+0.109805 s]
/proc/loadavg: 1.84 0.60 0.21 2/276 29602
/proc/meminfo: memFree=31889316/32951124 swapFree=53958412/67111528
[pid=29602] ppid=29600 vsize=96124 CPUtime=0.08 cores=1,3,5,7
/proc/29602/stat : 29602 (python) R 29600 29602 28606 0 -1 4202496 3170 935 1 0 6 2 0 0 18 0 1 0 869254865 98430976 2483 33554432000 4194304 5683644 140737126869440 18446744073709551615 5177524 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/29602/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.200808 s]
/proc/loadavg: 1.84 0.60 0.21 2/276 29602
/proc/meminfo: memFree=31889316/32951124 swapFree=53958412/67111528
[pid=29602] ppid=29600 vsize=123740 CPUtime=0.15 cores=1,3,5,7
/proc/29602/stat : 29602 (python) S 29600 29602 28606 0 -1 4202496 5358 935 1 0 11 4 0 0 17 0 1 0 869254865 126709760 3744 33554432000 4194304 5683644 140737126869440 18446744073709551615 222921775104 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/29602/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123740
[startup+0.302347 s]
/proc/loadavg: 1.84 0.60 0.21 2/276 29602
/proc/meminfo: memFree=31889316/32951124 swapFree=53958412/67111528
[pid=29602] ppid=29600 vsize=190664 CPUtime=0.23 cores=1,3,5,7
/proc/29602/stat : 29602 (python) S 29600 29602 28606 0 -1 4202496 6544 935 1 0 17 6 0 0 17 0 1 0 869254865 195239936 4837 33554432000 4194304 5683644 140737126869440 18446744073709551615 222921775104 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/29602/statm: 47666 4837 1400 364 0 3676 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 190664
[startup+0.704693 s]
/proc/loadavg: 1.84 0.60 0.21 2/276 29602
/proc/meminfo: memFree=31889316/32951124 swapFree=53958412/67111528
[pid=29602] ppid=29600 vsize=286892 CPUtime=0.61 cores=1,3,5,7
/proc/29602/stat : 29602 (python) R 29600 29602 28606 0 -1 4202496 10788 1386 1 0 37 15 8 1 17 0 1 0 869254865 293777408 7917 33554432000 4194304 5683644 140737126869440 18446744073709551615 47349433580229 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/29602/statm: 71723 7920 1782 364 0 6616 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 286892
[startup+1.50151 s]
/proc/loadavg: 1.84 0.60 0.21 2/297 29628
/proc/meminfo: memFree=31847552/32951124 swapFree=53958412/67111528
[pid=29602] ppid=29600 vsize=296744 CPUtime=0.83 cores=1,3,5,7
/proc/29602/stat : 29602 (python) S 29600 29602 28606 0 -1 4202496 12409 1386 1 0 59 15 8 1 20 0 2 0 869254865 303865856 8053 33554432000 4194304 5683644 140737126869440 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/29602/statm: 74186 8053 1871 364 0 9073 0
[pid=29609] ppid=29602 vsize=286500 CPUtime=0 cores=1,3,5,7
/proc/29609/stat : 29609 (python) S 29602 29602 28606 0 -1 4202560 740 0 0 0 0 0 0 0 18 0 1 0 869254958 293376000 6497 33554432000 4194304 5683644 140737126869440 18446744073709551615 222921797135 0 0 16781312 33554946 13420995140336451845 0 0 17 7 0 0 0
/proc/29609/statm: 71625 6497 319 364 0 6512 0
[pid=29611] ppid=29609 vsize=8540260 CPUtime=1.02 cores=1,3,5,7
/proc/29611/stat : 29611 (java) S 29609 29611 29611 0 -1 4202496 17977 0 1 0 99 3 0 0 20 0 18 0 869254958 8745226240 15033 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/29611/statm: 2135065 15033 2220 9 0 2125806 0
[pid=29611/tid=29612] ppid=29609 vsize=8540260 CPUtime=0.46 cores=1,3,5,7
/proc/29611/task/29612/stat : 29612 (java) R 29609 29611 29611 0 -1 4202560 7870 0 1 0 45 1 0 0 18 0 18 0 869254959 8745226240 15033 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 46912505185504 0 4 0 16800975 0 0 0 -1 7 0 0 7
[pid=29611/tid=29613] ppid=29609 vsize=8540260 CPUtime=0 cores=1,3,5,7
/proc/29611/task/29613/stat : 29613 (java) S 29609 29611 29611 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869254959 8745226240 15033 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=29611/tid=29614] ppid=29609 vsize=8540260 CPUtime=0 cores=1,3,5,7
/proc/29611/task/29614/stat : 29614 (java) S 29609 29611 29611 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869254959 8745226240 15033 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=29611/tid=29615] ppid=29609 vsize=8540260 CPUtime=0 cores=1,3,5,7
/proc/29611/task/29615/stat : 29615 (java) S 29609 29611 29611 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869254959 8745226240 15033 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=29611/tid=29616] ppid=29609 vsize=8540260 CPUtime=0 cores=1,3,5,7
/proc/29611/task/29616/stat : 29616 (java) S 29609 29611 29611 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869254959 8745226240 15033 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 3 0 0 0
[pid=29611/tid=29617] ppid=29609 vsize=8540260 CPUtime=0 cores=1,3,5,7
/proc/29611/task/29617/stat : 29617 (java) S 29609 29611 29611 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869254959 8745226240 15033 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 3 0 0 0
[pid=29611/tid=29618] ppid=29609 vsize=8540260 CPUtime=0 cores=1,3,5,7
/proc/29611/task/29618/stat : 29618 (java) S 29609 29611 29611 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869254959 8745226240 15033 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 3 0 0 0
[pid=29611/tid=29619] ppid=29609 vsize=8540260 CPUtime=0 cores=1,3,5,7
/proc/29611/task/29619/stat : 29619 (java) S 29609 29611 29611 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869254959 8745226240 15033 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 3 0 0 0
[pid=29611/tid=29620] ppid=29609 vsize=8540260 CPUtime=0 cores=1,3,5,7
/proc/29611/task/29620/stat : 29620 (java) S 29609 29611 29611 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869254959 8745226240 15033 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 3 0 0 0
[pid=29611/tid=29621] ppid=29609 vsize=8540260 CPUtime=0 cores=1,3,5,7
/proc/29611/task/29621/stat : 29621 (java) S 29609 29611 29611 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869254960 8745226240 15033 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 222933593600 0 0 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=29611/tid=29622] ppid=29609 vsize=8540260 CPUtime=0 cores=1,3,5,7
/proc/29611/task/29622/stat : 29622 (java) S 29609 29611 29611 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869254961 8745226240 15033 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=29611/tid=29623] ppid=29609 vsize=8540260 CPUtime=0 cores=1,3,5,7
/proc/29611/task/29623/stat : 29623 (java) S 29609 29611 29611 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869254961 8745226240 15033 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=29611/tid=29624] ppid=29609 vsize=8540260 CPUtime=0 cores=1,3,5,7
/proc/29611/task/29624/stat : 29624 (java) S 29609 29611 29611 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869254963 8745226240 15033 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 222933600689 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=29611/tid=29625] ppid=29609 vsize=8540260 CPUtime=0.27 cores=1,3,5,7
/proc/29611/task/29625/stat : 29625 (java) R 29609 29611 29611 0 -1 4202560 3507 0 0 0 27 0 0 0 18 0 18 0 869254963 8745226240 15038 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 47067338365388 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29611/tid=29626] ppid=29609 vsize=8540260 CPUtime=0.26 cores=1,3,5,7
/proc/29611/task/29626/stat : 29626 (java) R 29609 29611 29611 0 -1 4202560 5226 0 0 0 25 1 0 0 16 0 18 0 869254963 8745226240 15041 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 222921470942 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29611/tid=29627] ppid=29609 vsize=8540260 CPUtime=0 cores=1,3,5,7
/proc/29611/task/29627/stat : 29627 (java) S 29609 29611 29611 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869254963 8745226240 15041 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=29611/tid=29628] ppid=29609 vsize=8540260 CPUtime=0 cores=1,3,5,7
/proc/29611/task/29628/stat : 29628 (java) S 29609 29611 29611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869254963 8745226240 15041 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 222933593600 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=29602/tid=29610] ppid=29600 vsize=296744 CPUtime=0.09 cores=1,3,5,7
/proc/29602/task/29610/stat : 29610 (python) S 29600 29602 28606 0 -1 4202560 27 1386 0 0 0 0 8 1 20 0 2 0 869254958 303865856 8053 33554432000 4194304 5683644 140737126869440 18446744073709551615 222933600689 0 0 16781312 33554434 18446604471147869376 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 9123504
Solver just ended. Dumping a history of the last processes samples
[startup+1.50151 s]
/proc/loadavg: 1.84 0.60 0.21 2/297 29628
/proc/meminfo: memFree=31847552/32951124 swapFree=53958412/67111528
[pid=29602] ppid=29600 vsize=296744 CPUtime=0.83 cores=1,3,5,7
/proc/29602/stat : 29602 (python) S 29600 29602 28606 0 -1 4202496 12409 1386 1 0 59 15 8 1 20 0 2 0 869254865 303865856 8053 33554432000 4194304 5683644 140737126869440 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/29602/statm: 74186 8053 1871 364 0 9073 0
[pid=29609] ppid=29602 vsize=286500 CPUtime=0 cores=1,3,5,7
/proc/29609/stat : 29609 (python) S 29602 29602 28606 0 -1 4202560 740 0 0 0 0 0 0 0 18 0 1 0 869254958 293376000 6497 33554432000 4194304 5683644 140737126869440 18446744073709551615 222921797135 0 0 16781312 33554946 13420995140336451845 0 0 17 7 0 0 0
/proc/29609/statm: 71625 6497 319 364 0 6512 0
[pid=29611] ppid=29609 vsize=8540260 CPUtime=1.02 cores=1,3,5,7
/proc/29611/stat : 29611 (java) S 29609 29611 29611 0 -1 4202496 17977 0 1 0 99 3 0 0 20 0 18 0 869254958 8745226240 15033 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/29611/statm: 2135065 15033 2220 9 0 2125806 0
[pid=29611/tid=29612] ppid=29609 vsize=8540260 CPUtime=0.46 cores=1,3,5,7
/proc/29611/task/29612/stat : 29612 (java) R 29609 29611 29611 0 -1 4202560 7870 0 1 0 45 1 0 0 18 0 18 0 869254959 8745226240 15033 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 46912505185504 0 4 0 16800975 0 0 0 -1 7 0 0 7
[pid=29611/tid=29613] ppid=29609 vsize=8540260 CPUtime=0 cores=1,3,5,7
/proc/29611/task/29613/stat : 29613 (java) S 29609 29611 29611 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869254959 8745226240 15033 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=29611/tid=29614] ppid=29609 vsize=8540260 CPUtime=0 cores=1,3,5,7
/proc/29611/task/29614/stat : 29614 (java) S 29609 29611 29611 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869254959 8745226240 15033 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=29611/tid=29615] ppid=29609 vsize=8540260 CPUtime=0 cores=1,3,5,7
/proc/29611/task/29615/stat : 29615 (java) S 29609 29611 29611 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869254959 8745226240 15033 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=29611/tid=29616] ppid=29609 vsize=8540260 CPUtime=0 cores=1,3,5,7
/proc/29611/task/29616/stat : 29616 (java) S 29609 29611 29611 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869254959 8745226240 15033 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 3 0 0 0
[pid=29611/tid=29617] ppid=29609 vsize=8540260 CPUtime=0 cores=1,3,5,7
/proc/29611/task/29617/stat : 29617 (java) S 29609 29611 29611 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869254959 8745226240 15033 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 3 0 0 0
[pid=29611/tid=29618] ppid=29609 vsize=8540260 CPUtime=0 cores=1,3,5,7
/proc/29611/task/29618/stat : 29618 (java) S 29609 29611 29611 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869254959 8745226240 15033 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 3 0 0 0
[pid=29611/tid=29619] ppid=29609 vsize=8540260 CPUtime=0 cores=1,3,5,7
/proc/29611/task/29619/stat : 29619 (java) S 29609 29611 29611 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869254959 8745226240 15033 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 3 0 0 0
[pid=29611/tid=29620] ppid=29609 vsize=8540260 CPUtime=0 cores=1,3,5,7
/proc/29611/task/29620/stat : 29620 (java) S 29609 29611 29611 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869254959 8745226240 15033 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 3 0 0 0
[pid=29611/tid=29621] ppid=29609 vsize=8540260 CPUtime=0 cores=1,3,5,7
/proc/29611/task/29621/stat : 29621 (java) S 29609 29611 29611 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869254960 8745226240 15033 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 222933593600 0 0 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=29611/tid=29622] ppid=29609 vsize=8540260 CPUtime=0 cores=1,3,5,7
/proc/29611/task/29622/stat : 29622 (java) S 29609 29611 29611 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869254961 8745226240 15033 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=29611/tid=29623] ppid=29609 vsize=8540260 CPUtime=0 cores=1,3,5,7
/proc/29611/task/29623/stat : 29623 (java) S 29609 29611 29611 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869254961 8745226240 15033 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=29611/tid=29624] ppid=29609 vsize=8540260 CPUtime=0 cores=1,3,5,7
/proc/29611/task/29624/stat : 29624 (java) S 29609 29611 29611 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869254963 8745226240 15033 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 222933600689 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=29611/tid=29625] ppid=29609 vsize=8540260 CPUtime=0.27 cores=1,3,5,7
/proc/29611/task/29625/stat : 29625 (java) R 29609 29611 29611 0 -1 4202560 3507 0 0 0 27 0 0 0 18 0 18 0 869254963 8745226240 15038 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 47067338365388 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29611/tid=29626] ppid=29609 vsize=8540260 CPUtime=0.26 cores=1,3,5,7
/proc/29611/task/29626/stat : 29626 (java) R 29609 29611 29611 0 -1 4202560 5226 0 0 0 25 1 0 0 16 0 18 0 869254963 8745226240 15041 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 222921470942 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29611/tid=29627] ppid=29609 vsize=8540260 CPUtime=0 cores=1,3,5,7
/proc/29611/task/29627/stat : 29627 (java) S 29609 29611 29611 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869254963 8745226240 15041 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=29611/tid=29628] ppid=29609 vsize=8540260 CPUtime=0 cores=1,3,5,7
/proc/29611/task/29628/stat : 29628 (java) S 29609 29611 29611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869254963 8745226240 15041 33554432000 1073741824 1073778376 140735557371184 18446744073709551615 222933593600 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=29602/tid=29610] ppid=29600 vsize=296744 CPUtime=0.09 cores=1,3,5,7
/proc/29602/task/29610/stat : 29610 (python) S 29600 29602 28606 0 -1 4202560 27 1386 0 0 0 0 8 1 20 0 2 0 869254958 303865856 8053 33554432000 4194304 5683644 140737126869440 18446744073709551615 222933600689 0 0 16781312 33554434 18446604471147869376 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 9123504
Child status: 0
Real time (s): 1.70102
CPU time (s): 2.36964
CPU user time (s): 2.14267
CPU system time (s): 0.226965
CPU usage (%): 139.307
Max. virtual memory (cumulated for all children) (KiB): 9125368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.14267
system time used= 0.226965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40066
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7305
involuntary context switches= 108
runsolver used 0.006998 second user time and 0.014997 second system time
The end