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-3481839-1307576665/watcher-3481839-1307576665 -o /tmp/evaluation-result-3481839-1307576665/solver-3481839-1307576665 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481839-1307576665.opb -seed 285942607 -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: 2.11 1.29 0.54 2/582 19573
/proc/meminfo: memFree=27359140/32950928 swapFree=26914392/67111528
[pid=19573] ppid=19571 vsize=16240 CPUtime=0 cores=0,2,4,6
/proc/19573/stat : 19573 (python) R 19571 19573 19061 0 -1 4202496 1046 0 0 0 0 0 0 0 17 0 1 0 869263232 16629760 918 33554432000 4194304 5683644 140737175153520 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/19573/statm: 4060 918 381 364 0 547 0
[startup+0.118533 s]
/proc/loadavg: 2.11 1.29 0.54 2/582 19573
/proc/meminfo: memFree=27359140/32950928 swapFree=26914392/67111528
[pid=19573] ppid=19571 vsize=96128 CPUtime=0.08 cores=0,2,4,6
/proc/19573/stat : 19573 (python) S 19571 19573 19061 0 -1 4202496 3243 928 1 0 7 1 0 0 18 0 1 0 869263232 98435072 2483 33554432000 4194304 5683644 140737175153520 18446744073709551615 254500689920 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/19573/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96128
[startup+0.200962 s]
/proc/loadavg: 2.11 1.29 0.54 2/582 19573
/proc/meminfo: memFree=27359140/32950928 swapFree=26914392/67111528
[pid=19573] ppid=19571 vsize=123744 CPUtime=0.15 cores=0,2,4,6
/proc/19573/stat : 19573 (python) S 19571 19573 19061 0 -1 4202496 5356 928 1 0 11 4 0 0 17 0 1 0 869263232 126713856 3743 33554432000 4194304 5683644 140737175153520 18446744073709551615 254500687877 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/19573/statm: 30936 3743 987 364 0 2768 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123744
[startup+0.300902 s]
/proc/loadavg: 2.11 1.29 0.54 2/582 19573
/proc/meminfo: memFree=27359140/32950928 swapFree=26914392/67111528
[pid=19573] ppid=19571 vsize=170516 CPUtime=0.23 cores=0,2,4,6
/proc/19573/stat : 19573 (python) S 19571 19573 19061 0 -1 4202496 6017 928 1 0 16 7 0 0 17 0 1 0 869263232 174608384 4333 33554432000 4194304 5683644 140737175153520 18446744073709551615 254500689920 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/19573/statm: 42629 4333 1226 364 0 3328 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 170516
[startup+0.70204 s]
/proc/loadavg: 2.11 1.29 0.54 2/582 19573
/proc/meminfo: memFree=27359140/32950928 swapFree=26914392/67111528
[pid=19573] ppid=19571 vsize=262012 CPUtime=0.36 cores=0,2,4,6
/proc/19573/stat : 19573 (python) S 19571 19573 19061 0 -1 4202496 8387 928 1 0 27 9 0 0 17 0 1 0 869263232 268300288 6474 33554432000 4194304 5683644 140737175153520 18446744073709551615 254500689920 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 24
/proc/19573/statm: 65503 6474 1677 364 0 5219 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 262012
[startup+1.8604 s]
/proc/loadavg: 2.11 1.29 0.54 2/582 19573
/proc/meminfo: memFree=27359140/32950928 swapFree=26914392/67111528
[pid=19573] ppid=19571 vsize=297244 CPUtime=0.69 cores=0,2,4,6
/proc/19573/stat : 19573 (python) S 19571 19573 19061 0 -1 4202496 10937 928 1 0 59 10 0 0 19 0 2 0 869263232 304377856 8147 33554432000 4194304 5683644 140737175153520 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 24
/proc/19573/statm: 74311 8147 1870 364 0 9198 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 297244
[startup+3.10116 s]
/proc/loadavg: 2.35 1.35 0.56 3/604 19599
/proc/meminfo: memFree=27256420/32950928 swapFree=26914392/67111528
[pid=19573] ppid=19571 vsize=297244 CPUtime=0.69 cores=0,2,4,6
/proc/19573/stat : 19573 (python) S 19571 19573 19061 0 -1 4202496 10937 928 1 0 59 10 0 0 19 0 2 0 869263232 304377856 8147 33554432000 4194304 5683644 140737175153520 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 24
/proc/19573/statm: 74311 8147 1870 364 0 9198 0
[pid=19579] ppid=19573 vsize=287000 CPUtime=0 cores=0,2,4,6
/proc/19579/stat : 19579 (python) S 19573 19573 19061 0 -1 4202560 775 0 0 0 0 0 0 0 15 0 1 0 869263337 293888000 6625 33554432000 4194304 5683644 140737175153520 18446744073709551615 254500711951 0 0 16781312 33554946 2176035890504138752 0 0 17 6 0 0 0
/proc/19579/statm: 71750 6625 352 364 0 6637 0
[pid=19581] ppid=19579 vsize=8538080 CPUtime=3.07 cores=0,2,4,6
/proc/19581/stat : 19581 (java) S 19579 19581 19581 0 -1 4202496 29406 0 1 0 302 5 0 0 18 0 19 0 869263337 8742993920 23805 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/19581/statm: 2134520 23805 2234 9 0 2125261 0
[pid=19581/tid=19582] ppid=19579 vsize=8538080 CPUtime=1.85 cores=0,2,4,6
/proc/19581/task/19582/stat : 19582 (java) R 19579 19581 19581 0 -1 4202560 19726 0 1 0 182 3 0 0 19 0 19 0 869263355 8742993920 23805 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 46912506063129 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=19581/tid=19583] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19583/stat : 19583 (java) S 19579 19581 19581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869263356 8742993920 23805 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446604446402336896 0 0 -1 6 0 0 0
[pid=19581/tid=19584] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19584/stat : 19584 (java) S 19579 19581 19581 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869263356 8742993920 23805 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446604446402336896 0 0 -1 6 0 0 0
[pid=19581/tid=19585] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19585/stat : 19585 (java) S 19579 19581 19581 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869263356 8742993920 23805 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446604446402336896 0 0 -1 6 0 0 0
[pid=19581/tid=19586] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19586/stat : 19586 (java) S 19579 19581 19581 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869263356 8742993920 23805 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446604446402336896 0 0 -1 6 0 0 0
[pid=19581/tid=19587] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19587/stat : 19587 (java) S 19579 19581 19581 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869263356 8742993920 23805 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446604446402336896 0 0 -1 6 0 0 0
[pid=19581/tid=19588] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19588/stat : 19588 (java) S 19579 19581 19581 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869263356 8742993920 23805 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446604446402336896 0 0 -1 6 0 0 0
[pid=19581/tid=19589] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19589/stat : 19589 (java) S 19579 19581 19581 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869263356 8742993920 23805 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446604446402336896 0 0 -1 6 0 0 0
[pid=19581/tid=19590] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19590/stat : 19590 (java) S 19579 19581 19581 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869263356 8742993920 23805 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446604446402336896 0 0 -1 6 0 0 0
[pid=19581/tid=19591] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19591/stat : 19591 (java) S 19579 19581 19581 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 869263357 8742993920 23805 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512508416 0 0 0 16800975 18446604446402336896 0 0 -1 0 0 0 0
[pid=19581/tid=19592] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19592/stat : 19592 (java) S 19579 19581 19581 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 869263357 8742993920 23805 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446604446402336896 0 0 -1 6 0 0 0
[pid=19581/tid=19593] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19593/stat : 19593 (java) S 19579 19581 19581 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869263357 8742993920 23805 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446604446402336896 0 0 -1 6 0 0 0
[pid=19581/tid=19594] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19594/stat : 19594 (java) S 19579 19581 19581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869263359 8742993920 23805 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512515505 0 4 0 16800975 18446604446402336896 0 0 -1 6 0 0 0
[pid=19581/tid=19595] ppid=19579 vsize=8538080 CPUtime=0.55 cores=0,2,4,6
/proc/19581/task/19595/stat : 19595 (java) S 19579 19581 19581 0 -1 4202560 2567 0 0 0 54 1 0 0 15 0 19 0 869263359 8742993920 23805 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446604446402336896 0 0 -1 4 0 0 0
[pid=19581/tid=19596] ppid=19579 vsize=8538080 CPUtime=0.64 cores=0,2,4,6
/proc/19581/task/19596/stat : 19596 (java) S 19579 19581 19581 0 -1 4202560 5722 0 0 0 64 0 0 0 15 0 19 0 869263359 8742993920 23805 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446604446402336896 0 0 -1 0 0 0 0
[pid=19581/tid=19597] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19597/stat : 19597 (java) S 19579 19581 19581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869263359 8742993920 23805 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446604446402336896 0 0 -1 6 0 0 0
[pid=19581/tid=19598] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19598/stat : 19598 (java) S 19579 19581 19581 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869263359 8742993920 23805 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512508416 0 4 0 16800975 18446604446402336896 0 0 -1 2 0 0 0
[pid=19581/tid=19599] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19599/stat : 19599 (java) S 19579 19581 19581 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869263406 8742993920 23805 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512508416 0 4 0 16800975 18446604446402336896 0 0 -1 6 0 0 0
[pid=19573/tid=19580] ppid=19571 vsize=297244 CPUtime=0 cores=0,2,4,6
/proc/19573/task/19580/stat : 19580 (python) S 19571 19573 19061 0 -1 4202560 26 928 0 0 0 0 0 0 19 0 2 0 869263337 304377856 8147 33554432000 4194304 5683644 140737175153520 18446744073709551615 254512515505 0 0 16781312 33554434 18446604442173798464 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 9122324
[startup+6.30157 s]
/proc/loadavg: 2.35 1.35 0.56 3/604 19599
/proc/meminfo: memFree=27214276/32950928 swapFree=26914392/67111528
[pid=19573] ppid=19571 vsize=297244 CPUtime=0.69 cores=0,2,4,6
/proc/19573/stat : 19573 (python) S 19571 19573 19061 0 -1 4202496 10937 928 1 0 59 10 0 0 19 0 2 0 869263232 304377856 8147 33554432000 4194304 5683644 140737175153520 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 24
/proc/19573/statm: 74311 8147 1870 364 0 9198 0
[pid=19579] ppid=19573 vsize=287000 CPUtime=0.01 cores=0,2,4,6
/proc/19579/stat : 19579 (python) S 19573 19573 19061 0 -1 4202560 914 0 0 0 0 1 0 0 15 0 1 0 869263337 293888000 6649 33554432000 4194304 5683644 140737175153520 18446744073709551615 254500711951 0 0 16781312 33554946 841589946773897474 0 0 17 6 0 0 0
/proc/19579/statm: 71750 6649 376 364 0 6637 0
[pid=19581] ppid=19579 vsize=8538080 CPUtime=6.43 cores=0,2,4,6
/proc/19581/stat : 19581 (java) S 19579 19581 19581 0 -1 4202496 36274 0 1 0 637 6 0 0 18 0 19 0 869263337 8742993920 30622 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/19581/statm: 2134520 30622 2259 9 0 2125261 0
[pid=19581/tid=19582] ppid=19579 vsize=8538080 CPUtime=5.03 cores=0,2,4,6
/proc/19581/task/19582/stat : 19582 (java) R 19579 19581 19581 0 -1 4202560 22371 0 1 0 499 4 0 0 25 0 19 0 869263355 8742993920 30622 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 46912505938857 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19581/tid=19583] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19583/stat : 19583 (java) S 19579 19581 19581 0 -1 4202560 387 0 0 0 0 0 0 0 17 0 19 0 869263356 8742993920 30622 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446604446402336896 0 0 -1 6 0 0 0
[pid=19581/tid=19584] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19584/stat : 19584 (java) S 19579 19581 19581 0 -1 4202560 680 0 0 0 0 0 0 0 18 0 19 0 869263356 8742993920 30622 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446604446402336896 0 0 -1 0 0 0 0
[pid=19581/tid=19585] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19585/stat : 19585 (java) S 19579 19581 19581 0 -1 4202560 497 0 0 0 0 0 0 0 18 0 19 0 869263356 8742993920 30622 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446604446402336896 0 0 -1 6 0 0 0
[pid=19581/tid=19586] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19586/stat : 19586 (java) S 19579 19581 19581 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869263356 8742993920 30622 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446604446402336896 0 0 -1 6 0 0 0
[pid=19581/tid=19587] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19587/stat : 19587 (java) S 19579 19581 19581 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869263356 8742993920 30622 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446604446402336896 0 0 -1 6 0 0 0
[pid=19581/tid=19588] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19588/stat : 19588 (java) S 19579 19581 19581 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869263356 8742993920 30622 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446604446402336896 0 0 -1 6 0 0 0
[pid=19581/tid=19589] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19589/stat : 19589 (java) S 19579 19581 19581 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869263356 8742993920 30622 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446604446402336896 0 0 -1 6 0 0 0
[pid=19581/tid=19590] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19590/stat : 19590 (java) S 19579 19581 19581 0 -1 4202560 569 0 0 0 0 0 0 0 18 0 19 0 869263356 8742993920 30622 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446604446402336896 0 0 -1 6 0 0 0
[pid=19581/tid=19591] ppid=19579 vsize=8538080 CPUtime=0.01 cores=0,2,4,6
/proc/19581/task/19591/stat : 19591 (java) S 19579 19581 19581 0 -1 4202560 2034 0 0 0 1 0 0 0 16 0 19 0 869263357 8742993920 30622 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512508416 0 0 0 16800975 18446604446402336896 0 0 -1 2 0 0 0
[pid=19581/tid=19592] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19592/stat : 19592 (java) S 19579 19581 19581 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869263357 8742993920 30622 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446604446402336896 0 0 -1 6 0 0 0
[pid=19581/tid=19593] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19593/stat : 19593 (java) S 19579 19581 19581 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869263357 8742993920 30622 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446604446402336896 0 0 -1 6 0 0 0
[pid=19581/tid=19594] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19594/stat : 19594 (java) S 19579 19581 19581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869263359 8742993920 30622 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512515505 0 4 0 16800975 18446604446402336896 0 0 -1 6 0 0 0
[pid=19581/tid=19595] ppid=19579 vsize=8538080 CPUtime=0.63 cores=0,2,4,6
/proc/19581/task/19595/stat : 19595 (java) S 19579 19581 19581 0 -1 4202560 2581 0 0 0 62 1 0 0 15 0 19 0 869263359 8742993920 30622 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446604446402336896 0 0 -1 4 0 0 0
[pid=19581/tid=19596] ppid=19579 vsize=8538080 CPUtime=0.72 cores=0,2,4,6
/proc/19581/task/19596/stat : 19596 (java) S 19579 19581 19581 0 -1 4202560 5771 0 0 0 72 0 0 0 15 0 19 0 869263359 8742993920 30622 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446604446402336896 0 0 -1 0 0 0 0
[pid=19581/tid=19597] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19597/stat : 19597 (java) S 19579 19581 19581 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869263359 8742993920 30622 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446604446402336896 0 0 -1 6 0 0 0
[pid=19581/tid=19598] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19598/stat : 19598 (java) S 19579 19581 19581 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869263359 8742993920 30622 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512508416 0 4 0 16800975 18446604446402336896 0 0 -1 2 0 0 0
[pid=19581/tid=19599] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19599/stat : 19599 (java) S 19579 19581 19581 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869263406 8742993920 30622 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512508416 0 4 0 16800975 18446604446402336896 0 0 -1 6 0 0 0
[pid=19573/tid=19580] ppid=19571 vsize=297244 CPUtime=0 cores=0,2,4,6
/proc/19573/task/19580/stat : 19580 (python) S 19571 19573 19061 0 -1 4202560 26 928 0 0 0 0 0 0 19 0 2 0 869263337 304377856 8147 33554432000 4194304 5683644 140737175153520 18446744073709551615 254512515505 0 0 16781312 33554434 18446604442173798464 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.13
Current children cumulated vsize (KiB) 9122324
[startup+12.7013 s]
/proc/loadavg: 2.29 1.37 0.58 3/605 19600
/proc/meminfo: memFree=27171412/32950928 swapFree=26914392/67111528
[pid=19573] ppid=19571 vsize=297244 CPUtime=0.69 cores=0,2,4,6
/proc/19573/stat : 19573 (python) S 19571 19573 19061 0 -1 4202496 10937 928 1 0 59 10 0 0 19 0 2 0 869263232 304377856 8147 33554432000 4194304 5683644 140737175153520 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 24
/proc/19573/statm: 74311 8147 1870 364 0 9198 0
[pid=19579] ppid=19573 vsize=287000 CPUtime=0.03 cores=0,2,4,6
/proc/19579/stat : 19579 (python) S 19573 19573 19061 0 -1 4202560 918 0 0 0 1 2 0 0 15 0 1 0 869263337 293888000 6649 33554432000 4194304 5683644 140737175153520 18446744073709551615 254500711951 0 0 16781312 33554946 4294934785 0 0 17 0 0 0 0
/proc/19579/statm: 71750 6649 376 364 0 6637 0
[pid=19581] ppid=19579 vsize=8538080 CPUtime=12.86 cores=0,2,4,6
/proc/19581/stat : 19581 (java) S 19579 19581 19581 0 -1 4202496 46540 0 1 0 1278 8 0 0 18 0 19 0 869263337 8742993920 40884 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/19581/statm: 2134520 40884 2259 9 0 2125261 0
[pid=19581/tid=19582] ppid=19579 vsize=8538080 CPUtime=11.39 cores=0,2,4,6
/proc/19581/task/19582/stat : 19582 (java) R 19579 19581 19581 0 -1 4202560 22375 0 1 0 1135 4 0 0 25 0 19 0 869263355 8742993920 40884 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 46912505821777 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19581/tid=19583] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19583/stat : 19583 (java) S 19579 19581 19581 0 -1 4202560 387 0 0 0 0 0 0 0 15 0 19 0 869263356 8742993920 40884 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446604446402336896 0 0 -1 0 0 0 0
[pid=19581/tid=19584] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19584/stat : 19584 (java) S 19579 19581 19581 0 -1 4202560 2397 0 0 0 0 0 0 0 18 0 19 0 869263356 8742993920 40884 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446604446402336896 0 0 -1 0 0 0 0
[pid=19581/tid=19585] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19585/stat : 19585 (java) S 19579 19581 19581 0 -1 4202560 2046 0 0 0 0 0 0 0 18 0 19 0 869263356 8742993920 40884 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446604446402336896 0 0 -1 6 0 0 0
[pid=19581/tid=19586] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=19626/tid=19632] ppid=19624 vsize=8538120 CPUtime=0 cores=0,2,4,6
/proc/19626/task/19632/stat : 19632 (java) S 19624 19626 19626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869277586 8743034880 17270 33554432000 1073741824 1073778376 140733370880016 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=19626/tid=19633] ppid=19624 vsize=8538120 CPUtime=0 cores=0,2,4,6
/proc/19626/task/19633/stat : 19633 (java) S 19624 19626 19626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869277586 8743034880 17270 33554432000 1073741824 1073778376 140733370880016 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=19626/tid=19634] ppid=19624 vsize=8538120 CPUtime=0 cores=0,2,4,6
/proc/19626/task/19634/stat : 19634 (java) S 19624 19626 19626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869277586 8743034880 17271 33554432000 1073741824 1073778376 140733370880016 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=19626/tid=19635] ppid=19624 vsize=8538120 CPUtime=0 cores=0,2,4,6
/proc/19626/task/19635/stat : 19635 (java) S 19624 19626 19626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869277586 8743034880 17271 33554432000 1073741824 1073778376 140733370880016 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=19626/tid=19636] ppid=19624 vsize=8538120 CPUtime=0 cores=0,2,4,6
/proc/19626/task/19636/stat : 19636 (java) S 19624 19626 19626 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869277587 8743034880 17271 33554432000 1073741824 1073778376 140733370880016 18446744073709551615 254512508416 0 0 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=19626/tid=19637] ppid=19624 vsize=8538120 CPUtime=0 cores=0,2,4,6
/proc/19626/task/19637/stat : 19637 (java) S 19624 19626 19626 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869277587 8743034880 17271 33554432000 1073741824 1073778376 140733370880016 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=19626/tid=19638] ppid=19624 vsize=8538120 CPUtime=0 cores=0,2,4,6
/proc/19626/task/19638/stat : 19638 (java) S 19624 19626 19626 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869277587 8743034880 17271 33554432000 1073741824 1073778376 140733370880016 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=19626/tid=19639] ppid=19624 vsize=8538120 CPUtime=0 cores=0,2,4,6
/proc/19626/task/19639/stat : 19639 (java) S 19624 19626 19626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869277590 8743034880 17271 33554432000 1073741824 1073778376 140733370880016 18446744073709551615 254512515505 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=19626/tid=19640] ppid=19624 vsize=8538120 CPUtime=0.26 cores=0,2,4,6
/proc/19626/task/19640/stat : 19640 (java) R 19624 19626 19626 0 -1 4202560 3316 0 0 0 26 0 0 0 16 0 18 0 869277590 8743034880 17272 33554432000 1073741824 1073778376 140733370880016 18446744073709551615 254512507801 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19626/tid=19641] ppid=19624 vsize=8538120 CPUtime=0.22 cores=0,2,4,6
/proc/19626/task/19641/stat : 19641 (java) R 19624 19626 19626 0 -1 4202560 1808 0 0 0 22 0 0 0 16 0 18 0 869277590 8743034880 17272 33554432000 1073741824 1073778376 140733370880016 18446744073709551615 47154790018946 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19626/tid=19642] ppid=19624 vsize=8538120 CPUtime=0 cores=0,2,4,6
/proc/19626/task/19642/stat : 19642 (java) S 19624 19626 19626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869277590 8743034880 17272 33554432000 1073741824 1073778376 140733370880016 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=19626/tid=19643] ppid=19624 vsize=8538120 CPUtime=0 cores=0,2,4,6
/proc/19626/task/19643/stat : 19643 (java) S 19624 19626 19626 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869277590 8743034880 17272 33554432000 1073741824 1073778376 140733370880016 18446744073709551615 254512508416 0 4 0 16800975 18446604449117099904 0 0 -1 4 0 0 0
[pid=19573/tid=19580] ppid=19571 vsize=328012 CPUtime=0 cores=0,2,4,6
/proc/19573/task/19580/stat : 19580 (python) S 19571 19573 19061 0 -1 4202560 26 928 0 0 0 0 0 0 19 0 5 0 869263337 335884288 8168 33554432000 4194304 5683644 140737175153520 18446744073709551615 254512515505 0 0 16781312 33554434 18446604442173798464 0 0 -1 6 0 0 0
[pid=19573/tid=19607] ppid=19571 vsize=328012 CPUtime=0 cores=0,2,4,6
/proc/19573/task/19607/stat : 19607 (python) S 19571 19573 19061 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 5 0 869268042 335884288 8168 33554432000 4194304 5683644 140737175153520 18446744073709551615 254512515505 0 0 16781312 33554434 18446604442173798464 0 0 -1 6 0 0 0
[pid=19573/tid=19616] ppid=19571 vsize=328012 CPUtime=0 cores=0,2,4,6
/proc/19573/task/19616/stat : 19616 (python) S 19571 19573 19061 0 -1 4202560 30 928 0 0 0 0 0 0 20 0 5 0 869272917 335884288 8168 33554432000 4194304 5683644 140737175153520 18446744073709551615 254512515505 0 0 16781312 33554434 18446604442173798464 0 0 -1 4 0 0 0
[pid=19573/tid=19625] ppid=19571 vsize=328012 CPUtime=0 cores=0,2,4,6
/proc/19573/task/19625/stat : 19625 (python) S 19571 19573 19061 0 -1 4202560 21 928 0 0 0 0 0 0 20 0 5 0 869277584 335884288 8168 33554432000 4194304 5683644 140737175153520 18446744073709551615 254512515505 0 0 16781312 33554434 18446604442173798464 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 146.22
Current children cumulated vsize (KiB) 18808288
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+144.001 s]
/proc/loadavg: 2.08 1.61 0.77 5/645 19643
/proc/meminfo: memFree=26561952/32950928 swapFree=26914392/67111528
[pid=19573] ppid=19571 vsize=328012 CPUtime=0.78 cores=0,2,4,6
/proc/19573/stat : 19573 (python) S 19571 19573 19061 0 -1 4202496 13503 928 1 0 67 11 0 0 20 0 5 0 869263232 335884288 8168 33554432000 4194304 5683644 140737175153520 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 24
/proc/19573/statm: 82003 8168 1877 364 0 16881 0
[pid=19579] ppid=19573 vsize=297244 CPUtime=0.24 cores=0,2,4,6
/proc/19579/stat : 19579 (python) S 19573 19573 19061 0 -1 4202560 1102 0 0 0 12 12 0 0 16 0 2 0 869263337 304377856 6685 33554432000 4194304 5683644 140737175153520 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/19579/statm: 74311 6685 407 364 0 9198 0
[pid=19581] ppid=19579 vsize=8538080 CPUtime=48.36 cores=0,2,4,6
/proc/19581/stat : 19581 (java) T 19579 19581 19581 0 -1 4202496 70562 0 1 0 4823 13 0 0 18 0 19 0 869263337 8742993920 58067 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/19581/statm: 2134520 58067 2259 9 0 2125261 0
[pid=19581/tid=19582] ppid=19579 vsize=8538080 CPUtime=46.51 cores=0,2,4,6
/proc/19581/task/19582/stat : 19582 (java) T 19579 19581 19581 0 -1 4202560 22384 0 1 0 4647 4 0 0 25 0 19 0 869263355 8742993920 58067 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=19581/tid=19583] ppid=19579 vsize=8538080 CPUtime=0.04 cores=0,2,4,6
/proc/19581/task/19583/stat : 19583 (java) T 19579 19581 19581 0 -1 4202560 7196 0 0 0 3 1 0 0 16 0 19 0 869263356 8742993920 58067 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512508416 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=19581/tid=19584] ppid=19579 vsize=8538080 CPUtime=0.02 cores=0,2,4,6
/proc/19581/task/19584/stat : 19584 (java) T 19579 19581 19581 0 -1 4202560 6209 0 0 0 1 1 0 0 16 0 19 0 869263356 8742993920 58067 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=19581/tid=19585] ppid=19579 vsize=8538080 CPUtime=0.03 cores=0,2,4,6
/proc/19581/task/19585/stat : 19585 (java) T 19579 19581 19581 0 -1 4202560 3579 0 0 0 3 0 0 0 15 0 19 0 869263356 8742993920 58067 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=19581/tid=19586] ppid=19579 vsize=8538080 CPUtime=0.02 cores=0,2,4,6
/proc/19581/task/19586/stat : 19586 (java) T 19579 19581 19581 0 -1 4202560 5694 0 0 0 2 0 0 0 16 0 19 0 869263356 8742993920 58067 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=19581/tid=19587] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19587/stat : 19587 (java) T 19579 19581 19581 0 -1 4202560 1202 0 0 0 0 0 0 0 15 0 19 0 869263356 8742993920 58067 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=19581/tid=19588] ppid=19579 vsize=8538080 CPUtime=0.01 cores=0,2,4,6
/proc/19581/task/19588/stat : 19588 (java) T 19579 19581 19581 0 -1 4202560 1290 0 0 0 1 0 0 0 15 0 19 0 869263356 8742993920 58067 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254500645175 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=19581/tid=19589] ppid=19579 vsize=8538080 CPUtime=0.03 cores=0,2,4,6
/proc/19581/task/19589/stat : 19589 (java) T 19579 19581 19581 0 -1 4202560 3945 0 0 0 2 1 0 0 15 0 19 0 869263356 8742993920 58067 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254500645175 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=19581/tid=19590] ppid=19579 vsize=8538080 CPUtime=0.01 cores=0,2,4,6
/proc/19581/task/19590/stat : 19590 (java) T 19579 19581 19581 0 -1 4202560 1941 0 0 0 1 0 0 0 16 0 19 0 869263356 8742993920 58067 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=19581/tid=19591] ppid=19579 vsize=8538080 CPUtime=0.17 cores=0,2,4,6
/proc/19581/task/19591/stat : 19591 (java) T 19579 19581 19581 0 -1 4202560 7380 0 0 0 17 0 0 0 15 0 19 0 869263357 8742993920 58067 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=19581/tid=19592] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19592/stat : 19592 (java) T 19579 19581 19581 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869263357 8742993920 58067 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=19581/tid=19593] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19593/stat : 19593 (java) T 19579 19581 19581 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869263357 8742993920 58067 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=19581/tid=19594] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19594/stat : 19594 (java) T 19579 19581 19581 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869263359 8742993920 58067 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512515505 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=19581/tid=19595] ppid=19579 vsize=8538080 CPUtime=0.66 cores=0,2,4,6
/proc/19581/task/19595/stat : 19595 (java) T 19579 19581 19581 0 -1 4202560 2589 0 0 0 65 1 0 0 15 0 19 0 869263359 8742993920 58067 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=19581/tid=19596] ppid=19579 vsize=8538080 CPUtime=0.73 cores=0,2,4,6
/proc/19581/task/19596/stat : 19596 (java) T 19579 19581 19581 0 -1 4202560 5771 0 0 0 73 0 0 0 15 0 19 0 869263359 8742993920 58067 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=19581/tid=19597] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19597/stat : 19597 (java) T 19579 19581 19581 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869263359 8742993920 58067 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=19581/tid=19598] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19598/stat : 19598 (java) T 19579 19581 19581 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869263359 8742993920 58067 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512508416 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=19581/tid=19599] ppid=19579 vsize=8538080 CPUtime=0 cores=0,2,4,6
/proc/19581/task/19599/stat : 19599 (java) T 19579 19581 19581 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869263406 8742993920 58067 33554432000 1073741824 1073778376 140734582723312 18446744073709551615 254512508416 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=19579/tid=19605] ppid=19573 vsize=297244 CPUtime=0 cores=0,2,4,6
/proc/19579/task/19605/stat : 19605 (python) S 19573 19573 19061 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869268039 304377856 6685 33554432000 4194304 5683644 140737175153520 18446744073709551615 254512515505 0 0 16781312 33554946 18446604446402337792 0 0 -1 6 0 0 0
[pid=19606] ppid=19573 vsize=297256 CPUtime=0.23 cores=0,2,4,6
/proc/19606/stat : 19606 (python) S 19573 19573 19061 0 -1 4202560 1107 0 0 0 10 13 0 0 16 0 2 0 869268042 304390144 6675 33554432000 4194304 5683644 140737175153520 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/19606/statm: 74314 6675 397 364 0 9198 0
[pid=19608] ppid=19606 vsize=123280 CPUtime=48.71 cores=0,2,4,6
/proc/19608/stat : 19608 (scip-2.0.1.linu) T 19606 19608 19608 0 -1 4202496 42407 0 0 0 4830 41 0 0 25 0 1 0 869268042 126238720 28503 33554432000 4194304 13684479 140736703851008 18446744073709551615 7387919 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/19608/statm: 30820 28503 986 2317 0 28498 0
[pid=19606/tid=19614] ppid=19573 vsize=297256 CPUtime=0 cores=0,2,4,6
/proc/19606/task/19614/stat : 19614 (python) S 19573 19573 19061 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869272914 304390144 6675 33554432000 4194304 5683644 140737175153520 18446744073709551615 254512515505 0 0 16781312 33554946 18446604453477114880 0 0 -1 6 0 0 0
[pid=19615] ppid=19573 vsize=307512 CPUtime=0.27 cores=0,2,4,6
/proc/19615/stat : 19615 (python) S 19573 19573 19061 0 -1 4202560 1218 0 0 0 13 14 0 0 16 0 2 0 869272916 314892288 6687 33554432000 4194304 5683644 140737175153520 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/19615/statm: 76878 6687 403 364 0 11759 0
[pid=19617] ppid=19615 vsize=61016 CPUtime=46.63 cores=0,2,4,6
/proc/19617/stat : 19617 (wbo1.4a) T 19615 19617 19617 0 -1 4202496 21942 0 0 0 4616 47 0 0 25 0 1 0 869272917 62480384 14814 33554432000 134512640 135751879 4289816480 18446744073709551615 134616526 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/19617/statm: 15254 14814 146 303 0 14949 0
[pid=19615/tid=19623] ppid=19573 vsize=307512 CPUtime=0 cores=0,2,4,6
/proc/19615/task/19623/stat : 19623 (python) S 19573 19573 19061 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 869277581 314892288 6687 33554432000 4194304 5683644 140737175153520 18446744073709551615 254512515505 0 0 16781312 33554946 18446604453579438144 0 0 -1 6 0 0 0
[pid=19624] ppid=19573 vsize=317768 CPUtime=0 cores=0,2,4,6
/proc/19624/stat : 19624 (python) S 19573 19573 19061 0 -1 4202560 848 0 0 0 0 0 0 0 15 0 1 0 869277584 325394432 6643 33554432000 4194304 5683644 140737175153520 18446744073709551615 254500712006 0 0 16781312 33554946 4154890244765777920 0 0 17 6 0 0 0
/proc/19624/statm: 79442 6643 356 364 0 14320 0
[pid=19626] ppid=19624 vsize=8538120 CPUtime=1 cores=0,2,4,6
/proc/19626/stat : 19626 (java) S 19624 19626 19626 0 -1 4202496 19689 0 1 0 97 3 0 0 20 0 18 0 869277584 8743034880 17224 33554432000 1073741824 1073778376 140733370880016 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/19626/statm: 2134530 17224 2218 9 0 2125271 0
[pid=19626/tid=19627] ppid=19624 vsize=8538120 CPUtime=0.49 cores=0,2,4,6
/proc/19626/task/19627/stat : 19627 (java) R 19624 19626 19626 0 -1 4202560 13215 0 1 0 48 1 0 0 18 0 18 0 869277585 8743034880 17269 33554432000 1073741824 1073778376 140733370880016 18446744073709551615 46912505179183 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19626/tid=19628] ppid=19624 vsize=8538120 CPUtime=0 cores=0,2,4,6
/proc/19626/task/19628/stat : 19628 (java) S 19624 19626 19626 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869277586 8743034880 17269 33554432000 1073741824 1073778376 140733370880016 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=19626/tid=19629] ppid=19624 vsize=8538120 CPUtime=0 cores=0,2,4,6
/proc/19626/task/19629/stat : 19629 (java) S 19624 19626 19626 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869277586 8743034880 17270 33554432000 1073741824 1073778376 140733370880016 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=19626/tid=19630] ppid=19624 vsize=8538120 CPUtime=0 cores=0,2,4,6
/proc/19626/task/19630/stat : 19630 (java) S 19624 19626 19626 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869277586 8743034880 17270 33554432000 1073741824 1073778376 140733370880016 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=19626/tid=19631] ppid=19624 vsize=8538120 CPUtime=0 cores=0,2,4,6
/proc/19626/task/19631/stat : 19631 (java) S 19624 19626 19626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869277586 8743034880 17270 33554432000 1073741824 1073778376 140733370880016 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=19626/tid=19632] ppid=19624 vsize=8538120 CPUtime=0 cores=0,2,4,6
/proc/19626/task/19632/stat : 19632 (java) S 19624 19626 19626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869277586 8743034880 17270 33554432000 1073741824 1073778376 140733370880016 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=19626/tid=19633] ppid=19624 vsize=8538120 CPUtime=0 cores=0,2,4,6
/proc/19626/task/19633/stat : 19633 (java) S 19624 19626 19626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869277586 8743034880 17270 33554432000 1073741824 1073778376 140733370880016 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=19626/tid=19634] ppid=19624 vsize=8538120 CPUtime=0 cores=0,2,4,6
/proc/19626/task/19634/stat : 19634 (java) S 19624 19626 19626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869277586 8743034880 17271 33554432000 1073741824 1073778376 140733370880016 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=19626/tid=19635] ppid=19624 vsize=8538120 CPUtime=0 cores=0,2,4,6
/proc/19626/task/19635/stat : 19635 (java) S 19624 19626 19626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869277586 8743034880 17271 33554432000 1073741824 1073778376 140733370880016 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=19626/tid=19636] ppid=19624 vsize=8538120 CPUtime=0 cores=0,2,4,6
/proc/19626/task/19636/stat : 19636 (java) S 19624 19626 19626 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869277587 8743034880 17271 33554432000 1073741824 1073778376 140733370880016 18446744073709551615 254512508416 0 0 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=19626/tid=19637] ppid=19624 vsize=8538120 CPUtime=0 cores=0,2,4,6
/proc/19626/task/19637/stat : 19637 (java) S 19624 19626 19626 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869277587 8743034880 17271 33554432000 1073741824 1073778376 140733370880016 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=19626/tid=19638] ppid=19624 vsize=8538120 CPUtime=0 cores=0,2,4,6
/proc/19626/task/19638/stat : 19638 (java) S 19624 19626 19626 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869277587 8743034880 17271 33554432000 1073741824 1073778376 140733370880016 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=19626/tid=19639] ppid=19624 vsize=8538120 CPUtime=0 cores=0,2,4,6
/proc/19626/task/19639/stat : 19639 (java) S 19624 19626 19626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869277590 8743034880 17271 33554432000 1073741824 1073778376 140733370880016 18446744073709551615 254512515505 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=19626/tid=19640] ppid=19624 vsize=8538120 CPUtime=0.26 cores=0,2,4,6
/proc/19626/task/19640/stat : 19640 (java) R 19624 19626 19626 0 -1 4202560 3316 0 0 0 26 0 0 0 16 0 18 0 869277590 8743034880 17272 33554432000 1073741824 1073778376 140733370880016 18446744073709551615 254512507801 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19626/tid=19641] ppid=19624 vsize=8538120 CPUtime=0.22 cores=0,2,4,6
/proc/19626/task/19641/stat : 19641 (java) R 19624 19626 19626 0 -1 4202560 1808 0 0 0 22 0 0 0 16 0 18 0 869277590 8743034880 17272 33554432000 1073741824 1073778376 140733370880016 18446744073709551615 47154790018946 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19626/tid=19642] ppid=19624 vsize=8538120 CPUtime=0 cores=0,2,4,6
/proc/19626/task/19642/stat : 19642 (java) S 19624 19626 19626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869277590 8743034880 17272 33554432000 1073741824 1073778376 140733370880016 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=19626/tid=19643] ppid=19624 vsize=8538120 CPUtime=0 cores=0,2,4,6
/proc/19626/task/19643/stat : 19643 (java) S 19624 19626 19626 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869277590 8743034880 17272 33554432000 1073741824 1073778376 140733370880016 18446744073709551615 254512508416 0 4 0 16800975 18446604449117099904 0 0 -1 4 0 0 0
[pid=19573/tid=19580] ppid=19571 vsize=328012 CPUtime=0 cores=0,2,4,6
/proc/19573/task/19580/stat : 19580 (python) S 19571 19573 19061 0 -1 4202560 26 928 0 0 0 0 0 0 19 0 5 0 869263337 335884288 8168 33554432000 4194304 5683644 140737175153520 18446744073709551615 254512515505 0 0 16781312 33554434 18446604442173798464 0 0 -1 6 0 0 0
[pid=19573/tid=19607] ppid=19571 vsize=328012 CPUtime=0 cores=0,2,4,6
/proc/19573/task/19607/stat : 19607 (python) S 19571 19573 19061 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 5 0 869268042 335884288 8168 33554432000 4194304 5683644 140737175153520 18446744073709551615 254512515505 0 0 16781312 33554434 18446604442173798464 0 0 -1 6 0 0 0
[pid=19573/tid=19616] ppid=19571 vsize=328012 CPUtime=0 cores=0,2,4,6
/proc/19573/task/19616/stat : 19616 (python) S 19571 19573 19061 0 -1 4202560 30 928 0 0 0 0 0 0 20 0 5 0 869272917 335884288 8168 33554432000 4194304 5683644 140737175153520 18446744073709551615 254512515505 0 0 16781312 33554434 18446604442173798464 0 0 -1 4 0 0 0
[pid=19573/tid=19625] ppid=19571 vsize=328012 CPUtime=0 cores=0,2,4,6
/proc/19573/task/19625/stat : 19625 (python) S 19571 19573 19061 0 -1 4202560 21 928 0 0 0 0 0 0 20 0 5 0 869277584 335884288 8168 33554432000 4194304 5683644 140737175153520 18446744073709551615 254512515505 0 0 16781312 33554434 18446604442173798464 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 146.22
Current children cumulated vsize (KiB) 18808288
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19573 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=674897
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=115982
# CPU time returned by wait4() is 0.790879
# while last known CPU time is 146.22
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 144.08
CPU time (s): 146.22
CPU user time (s): 144.68
CPU system time (s): 1.54
CPU usage (%): 101.485
Max. virtual memory (cumulated for all children) (KiB): 18808288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.674897
system time used= 0.115982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14432
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= 1187
involuntary context switches= 25
runsolver used 0.859869 second user time and 1.80373 second system time
The end