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-3482676-1307576508/watcher-3482676-1307576508 -o /tmp/evaluation-result-3482676-1307576508/solver-3482676-1307576508 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482676-1307576508.opb -seed 764459692 -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.05 0.76 0.27 3/498 32029
/proc/meminfo: memFree=26518380/32950928 swapFree=34421304/67111528
[pid=32029] ppid=32027 vsize=16244 CPUtime=0 cores=1,3,5,7
/proc/32029/stat : 32029 (python) R 32027 32029 31489 0 -1 4202496 1052 0 0 0 0 0 0 0 17 0 1 0 947881536 16633856 923 33554432000 4194304 5683644 140733833770208 18446744073709551615 251367546624 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32029/statm: 4061 923 381 364 0 548 0
[startup+0.09591 s]
/proc/loadavg: 2.05 0.76 0.27 3/498 32029
/proc/meminfo: memFree=26518380/32950928 swapFree=34421304/67111528
[pid=32029] ppid=32027 vsize=87828 CPUtime=0.06 cores=1,3,5,7
/proc/32029/stat : 32029 (python) R 32027 32029 31489 0 -1 4202496 2674 0 0 0 4 2 0 0 17 0 1 0 947881536 89935872 2389 33554432000 4194304 5683644 140733833770208 18446744073709551615 251362584341 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32029/statm: 21957 2394 722 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87828
[startup+0.100879 s]
/proc/loadavg: 2.05 0.76 0.27 3/498 32029
/proc/meminfo: memFree=26518380/32950928 swapFree=34421304/67111528
[pid=32029] ppid=32027 vsize=89924 CPUtime=0.06 cores=1,3,5,7
/proc/32029/stat : 32029 (python) R 32027 32029 31489 0 -1 4202496 2714 0 1 0 4 2 0 0 17 0 1 0 947881536 92082176 2425 33554432000 4194304 5683644 140733833770208 18446744073709551615 251367544832 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32029/statm: 22481 2425 750 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 89924
[startup+0.300829 s]
/proc/loadavg: 2.05 0.76 0.27 3/498 32029
/proc/meminfo: memFree=26518380/32950928 swapFree=34421304/67111528
[pid=32029] ppid=32027 vsize=137932 CPUtime=0.19 cores=1,3,5,7
/proc/32029/stat : 32029 (python) R 32027 32029 31489 0 -1 4202496 5663 928 1 0 14 5 0 0 17 0 1 0 947881536 141242368 4010 33554432000 4194304 5683644 140733833770208 18446744073709551615 4940555 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32029/statm: 34483 4010 1065 364 0 2958 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 137932
[startup+0.700791 s]
/proc/loadavg: 2.05 0.76 0.27 3/498 32029
/proc/meminfo: memFree=26518380/32950928 swapFree=34421304/67111528
[pid=32029] ppid=32027 vsize=293260 CPUtime=0.42 cores=1,3,5,7
/proc/32029/stat : 32029 (python) S 32027 32029 31489 0 -1 4202496 9643 928 1 0 33 9 0 0 18 0 2 0 947881536 300298240 7154 33554432000 4194304 5683644 140733833770208 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/32029/statm: 73315 7154 1870 364 0 8202 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 293260
Solver just ended. Dumping a history of the last processes samples
[startup+1.11966 s]
/proc/loadavg: 2.05 0.76 0.27 3/519 32054
/proc/meminfo: memFree=26440212/32950928 swapFree=34421304/67111528
[pid=32029] ppid=32027 vsize=293260 CPUtime=0.42 cores=1,3,5,7
/proc/32029/stat : 32029 (python) S 32027 32029 31489 0 -1 4202496 9643 928 1 0 33 9 0 0 18 0 2 0 947881536 300298240 7154 33554432000 4194304 5683644 140733833770208 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/32029/statm: 73315 7154 1870 364 0 8202 0
[pid=32035] ppid=32029 vsize=283016 CPUtime=0 cores=1,3,5,7
/proc/32035/stat : 32035 (python) S 32029 32029 31489 0 -1 4202560 748 0 0 0 0 0 0 0 15 0 1 0 947881597 289808384 5632 33554432000 4194304 5683644 140733833770208 18446744073709551615 251367566863 0 0 16781312 33554946 974420700985032704 0 0 17 5 0 0 0
/proc/32035/statm: 70754 5632 352 364 0 5641 0
[pid=32037] ppid=32035 vsize=8533452 CPUtime=0.24 cores=1,3,5,7
/proc/32037/stat : 32037 (java) S 32035 32037 32037 0 -1 4202496 5980 0 114 0 22 2 0 0 17 0 18 0 947881597 8738254848 5563 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 12
/proc/32037/statm: 2133363 5574 2161 9 0 2124104 0
[pid=32037/tid=32038] ppid=32035 vsize=8533452 CPUtime=0.16 cores=1,3,5,7
/proc/32037/task/32038/stat : 32038 (java) R 32035 32037 32037 0 -1 4202560 3656 0 57 0 15 1 0 0 18 0 18 0 947881611 8738254848 5574 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 47981375109971 0 4 0 16800975 0 0 0 -1 3 0 0 17
[pid=32037/tid=32039] ppid=32035 vsize=8533452 CPUtime=0 cores=1,3,5,7
/proc/32037/task/32039/stat : 32039 (java) S 32035 32037 32037 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 947881614 8738254848 5574 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 251379362713 0 4 0 16800975 18446604466272518208 0 0 -1 7 0 0 0
[pid=32037/tid=32040] ppid=32035 vsize=8533452 CPUtime=0 cores=1,3,5,7
/proc/32037/task/32040/stat : 32040 (java) S 32035 32037 32037 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 947881614 8738254848 5574 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 251379362713 0 4 0 16800975 18446604466272518208 0 0 -1 1 0 0 0
[pid=32037/tid=32041] ppid=32035 vsize=8533452 CPUtime=0 cores=1,3,5,7
/proc/32037/task/32041/stat : 32041 (java) S 32035 32037 32037 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 947881614 8738254848 5575 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 251379362713 0 4 0 16800975 18446604466272518208 0 0 -1 7 0 0 0
[pid=32037/tid=32042] ppid=32035 vsize=8533452 CPUtime=0 cores=1,3,5,7
/proc/32037/task/32042/stat : 32042 (java) S 32035 32037 32037 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 18 0 947881614 8738254848 5575 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 251379362713 0 4 0 16800975 18446604466272518208 0 0 -1 7 0 0 0
[pid=32037/tid=32043] ppid=32035 vsize=8533452 CPUtime=0 cores=1,3,5,7
/proc/32037/task/32043/stat : 32043 (java) S 32035 32037 32037 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 947881614 8738254848 5575 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 251379362713 0 4 0 16800975 18446604466272518208 0 0 -1 7 0 0 0
[pid=32037/tid=32044] ppid=32035 vsize=8533452 CPUtime=0 cores=1,3,5,7
/proc/32037/task/32044/stat : 32044 (java) S 32035 32037 32037 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 947881614 8738254848 5575 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 251379362713 0 4 0 16800975 18446604466272518208 0 0 -1 7 0 0 0
[pid=32037/tid=32045] ppid=32035 vsize=8533452 CPUtime=0 cores=1,3,5,7
/proc/32037/task/32045/stat : 32045 (java) S 32035 32037 32037 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 947881614 8738254848 5575 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 251379362713 0 4 0 16800975 18446604466272518208 0 0 -1 7 0 0 0
[pid=32037/tid=32046] ppid=32035 vsize=8533452 CPUtime=0 cores=1,3,5,7
/proc/32037/task/32046/stat : 32046 (java) S 32035 32037 32037 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 947881614 8738254848 5576 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 251379362713 0 4 0 16800975 18446604466272518208 0 0 -1 1 0 0 0
[pid=32037/tid=32047] ppid=32035 vsize=8533452 CPUtime=0 cores=1,3,5,7
/proc/32037/task/32047/stat : 32047 (java) S 32035 32037 32037 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 18 0 947881618 8738254848 5576 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 251379363328 0 0 0 16800975 18446604466272518208 0 0 -1 7 0 0 0
[pid=32037/tid=32048] ppid=32035 vsize=8533452 CPUtime=0 cores=1,3,5,7
/proc/32037/task/32048/stat : 32048 (java) S 32035 32037 32037 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 18 0 947881622 8738254848 5577 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 251379362713 0 4 0 16800975 18446604466272518208 0 0 -1 7 0 0 0
[pid=32037/tid=32049] ppid=32035 vsize=8533452 CPUtime=0 cores=1,3,5,7
/proc/32037/task/32049/stat : 32049 (java) S 32035 32037 32037 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 947881622 8738254848 5577 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 251379362713 0 4 0 16800975 18446604466272518208 0 0 -1 7 0 0 0
[pid=32037/tid=32050] ppid=32035 vsize=8533452 CPUtime=0 cores=1,3,5,7
/proc/32037/task/32050/stat : 32050 (java) S 32035 32037 32037 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 947881632 8738254848 5577 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 251379370417 0 4 0 16800975 18446604466272518208 0 0 -1 5 0 0 0
[pid=32037/tid=32051] ppid=32035 vsize=8533452 CPUtime=0.01 cores=1,3,5,7
/proc/32037/task/32051/stat : 32051 (java) R 32035 32037 32037 0 -1 4202560 36 0 0 0 1 0 0 0 20 0 18 0 947881632 8738254848 5577 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 251379362713 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32037/tid=32052] ppid=32035 vsize=8533452 CPUtime=0.05 cores=1,3,5,7
/proc/32037/task/32052/stat : 32052 (java) R 32035 32037 32037 0 -1 4202560 976 0 1 0 5 0 0 0 21 0 18 0 947881632 8738254848 5577 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 47981371462096 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32037/tid=32053] ppid=32035 vsize=8533452 CPUtime=0 cores=1,3,5,7
/proc/32037/task/32053/stat : 32053 (java) S 32035 32037 32037 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 947881632 8738254848 5577 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 251379362713 0 4 0 16800975 18446604466272518208 0 0 -1 7 0 0 0
[pid=32037/tid=32054] ppid=32035 vsize=8533452 CPUtime=0 cores=1,3,5,7
/proc/32037/task/32054/stat : 32054 (java) S 32035 32037 32037 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 947881632 8738254848 5577 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 251379363328 0 4 0 16800975 18446604466272518208 0 0 -1 5 0 0 0
[pid=32029/tid=32036] ppid=32027 vsize=293260 CPUtime=0 cores=1,3,5,7
/proc/32029/task/32036/stat : 32036 (python) S 32027 32029 31489 0 -1 4202560 25 928 0 0 0 0 0 0 18 0 2 0 947881597 300298240 7154 33554432000 4194304 5683644 140733833770208 18446744073709551615 251379370417 0 0 16781312 33554434 18446604460269814912 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 9109728
[startup+1.20165 s]
/proc/loadavg: 2.05 0.76 0.27 3/519 32054
/proc/meminfo: memFree=26440212/32950928 swapFree=34421304/67111528
[pid=32029] ppid=32027 vsize=293260 CPUtime=0.42 cores=1,3,5,7
/proc/32029/stat : 32029 (python) S 32027 32029 31489 0 -1 4202496 9643 928 1 0 33 9 0 0 18 0 2 0 947881536 300298240 7154 33554432000 4194304 5683644 140733833770208 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/32029/statm: 73315 7154 1870 364 0 8202 0
[pid=32035] ppid=32029 vsize=283016 CPUtime=0 cores=1,3,5,7
/proc/32035/stat : 32035 (python) S 32029 32029 31489 0 -1 4202560 748 0 0 0 0 0 0 0 15 0 1 0 947881597 289808384 5632 33554432000 4194304 5683644 140733833770208 18446744073709551615 251367566863 0 0 16781312 33554946 1305071610125877248 0 0 17 5 0 0 0
/proc/32035/statm: 70754 5632 352 364 0 5641 0
[pid=32037] ppid=32035 vsize=8536292 CPUtime=0.45 cores=1,3,5,7
/proc/32037/stat : 32037 (java) S 32035 32037 32037 0 -1 4202496 7795 0 114 0 43 2 0 0 17 0 19 0 947881597 8741163008 6506 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 12
/proc/32037/statm: 2134073 6506 2207 9 0 2124814 0
[pid=32037/tid=32038] ppid=32035 vsize=8536292 CPUtime=0.24 cores=1,3,5,7
/proc/32037/task/32038/stat : 32038 (java) R 32035 32037 32037 0 -1 4202560 3786 0 57 0 23 1 0 0 19 0 19 0 947881611 8741163008 6506 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 46912505166097 0 4 0 16800975 0 0 0 -1 3 0 0 17
[pid=32037/tid=32039] ppid=32035 vsize=8536292 CPUtime=0 cores=1,3,5,7
/proc/32037/task/32039/stat : 32039 (java) S 32035 32037 32037 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947881614 8741163008 6506 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 251379362713 0 4 0 16800975 18446604466272518208 0 0 -1 7 0 0 0
[pid=32037/tid=32040] ppid=32035 vsize=8536292 CPUtime=0 cores=1,3,5,7
/proc/32037/task/32040/stat : 32040 (java) S 32035 32037 32037 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947881614 8741163008 6506 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 251379362713 0 4 0 16800975 18446604466272518208 0 0 -1 1 0 0 0
[pid=32037/tid=32041] ppid=32035 vsize=8536292 CPUtime=0 cores=1,3,5,7
/proc/32037/task/32041/stat : 32041 (java) S 32035 32037 32037 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947881614 8741163008 6506 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 251379362713 0 4 0 16800975 18446604466272518208 0 0 -1 7 0 0 0
[pid=32037/tid=32042] ppid=32035 vsize=8536292 CPUtime=0 cores=1,3,5,7
/proc/32037/task/32042/stat : 32042 (java) S 32035 32037 32037 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 947881614 8741163008 6507 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 251379362713 0 4 0 16800975 18446604466272518208 0 0 -1 7 0 0 0
[pid=32037/tid=32043] ppid=32035 vsize=8536292 CPUtime=0 cores=1,3,5,7
/proc/32037/task/32043/stat : 32043 (java) S 32035 32037 32037 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947881614 8741163008 6507 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 251379362713 0 4 0 16800975 18446604466272518208 0 0 -1 7 0 0 0
[pid=32037/tid=32044] ppid=32035 vsize=8536292 CPUtime=0 cores=1,3,5,7
/proc/32037/task/32044/stat : 32044 (java) S 32035 32037 32037 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947881614 8741163008 6507 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 251379362713 0 4 0 16800975 18446604466272518208 0 0 -1 7 0 0 0
[pid=32037/tid=32045] ppid=32035 vsize=8536292 CPUtime=0 cores=1,3,5,7
/proc/32037/task/32045/stat : 32045 (java) S 32035 32037 32037 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947881614 8741163008 6507 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 251379362713 0 4 0 16800975 18446604466272518208 0 0 -1 7 0 0 0
[pid=32037/tid=32046] ppid=32035 vsize=8536292 CPUtime=0 cores=1,3,5,7
/proc/32037/task/32046/stat : 32046 (java) S 32035 32037 32037 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947881614 8741163008 6507 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 251379362713 0 4 0 16800975 18446604466272518208 0 0 -1 1 0 0 0
[pid=32037/tid=32047] ppid=32035 vsize=8536292 CPUtime=0 cores=1,3,5,7
/proc/32037/task/32047/stat : 32047 (java) S 32035 32037 32037 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 947881618 8741163008 6507 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 251379363328 0 0 0 16800975 18446604466272518208 0 0 -1 7 0 0 0
[pid=32037/tid=32048] ppid=32035 vsize=8536292 CPUtime=0 cores=1,3,5,7
/proc/32037/task/32048/stat : 32048 (java) S 32035 32037 32037 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 947881622 8741163008 6507 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 251379362713 0 4 0 16800975 18446604466272518208 0 0 -1 7 0 0 0
[pid=32037/tid=32049] ppid=32035 vsize=8536292 CPUtime=0 cores=1,3,5,7
/proc/32037/task/32049/stat : 32049 (java) S 32035 32037 32037 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 947881622 8741163008 6507 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 251379362713 0 4 0 16800975 18446604466272518208 0 0 -1 7 0 0 0
[pid=32037/tid=32050] ppid=32035 vsize=8536292 CPUtime=0 cores=1,3,5,7
/proc/32037/task/32050/stat : 32050 (java) S 32035 32037 32037 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 947881632 8741163008 6507 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 251379370417 0 4 0 16800975 18446604466272518208 0 0 -1 5 0 0 0
[pid=32037/tid=32051] ppid=32035 vsize=8536292 CPUtime=0.08 cores=1,3,5,7
/proc/32037/task/32051/stat : 32051 (java) R 32035 32037 32037 0 -1 4202560 1325 0 0 0 8 0 0 0 20 0 19 0 947881632 8741163008 6507 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 251367590247 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32037/tid=32052] ppid=32035 vsize=8536292 CPUtime=0.11 cores=1,3,5,7
/proc/32037/task/32052/stat : 32052 (java) S 32035 32037 32037 0 -1 4202560 1354 0 1 0 11 0 0 0 20 0 19 0 947881632 8741163008 6507 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 251379362713 0 4 0 16800975 18446604466272518208 0 0 -1 1 0 0 0
[pid=32037/tid=32053] ppid=32035 vsize=8536292 CPUtime=0 cores=1,3,5,7
/proc/32037/task/32053/stat : 32053 (java) S 32035 32037 32037 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947881632 8741163008 6507 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 251379362713 0 4 0 16800975 18446604466272518208 0 0 -1 7 0 0 0
[pid=32037/tid=32054] ppid=32035 vsize=8536292 CPUtime=0 cores=1,3,5,7
/proc/32037/task/32054/stat : 32054 (java) S 32035 32037 32037 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947881632 8741163008 6507 33554432000 1073741824 1073778376 140735927679456 18446744073709551615 251379363328 0 4 0 16800975 18446604466272518208 0 0 -1 7 0 0 0
[pid=32029/tid=32036] ppid=32027 vsize=293260 CPUtime=0 cores=1,3,5,7
/proc/32029/task/32036/stat : 32036 (python) S 32027 32029 31489 0 -1 4202560 25 928 0 0 0 0 0 0 18 0 2 0 947881597 300298240 7154 33554432000 4194304 5683644 140733833770208 18446744073709551615 251379370417 0 0 16781312 33554434 18446604460269814912 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 9112568
Child status: 0
Real time (s): 1.25277
CPU time (s): 0.958854
CPU user time (s): 0.814876
CPU system time (s): 0.143978
CPU usage (%): 76.5385
Max. virtual memory (cumulated for all children) (KiB): 9112568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.814876
system time used= 0.143978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24115
page faults= 115
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2267
involuntary context switches= 67
runsolver used 0.009998 second user time and 0.026995 second system time
The end