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-3481840-1307576360/watcher-3481840-1307576360 -o /tmp/evaluation-result-3481840-1307576360/solver-3481840-1307576360 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481840-1307576360.opb -seed 1857836293 -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: 0.35 0.08 0.02 2/514 21705
/proc/meminfo: memFree=31258928/32950928 swapFree=50514916/67111528
[pid=21703] ppid=21700 vsize=6240 CPUtime=0 cores=0,2,4,6
/proc/21703/stat : 21703 (python) R 21700 21703 21667 0 -1 4194304 98 0 2 0 0 0 0 0 18 0 1 0 947869680 6389760 52 33554432000 4194304 5683644 140736793449600 18446744073709551615 256410467908 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/21703/statm: 2075 53 41 364 0 42 0
[startup+0.055648 s]
/proc/loadavg: 0.35 0.08 0.02 2/514 21705
/proc/meminfo: memFree=31258928/32950928 swapFree=50514916/67111528
[pid=21703] ppid=21700 vsize=15080 CPUtime=0 cores=0,2,4,6
/proc/21703/stat : 21703 (python) S 21700 21703 21667 0 -1 4202496 643 0 7 0 0 0 0 0 17 0 1 0 947869680 15441920 545 33554432000 4194304 5683644 140736793449600 18446744073709551615 256415389696 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 1
/proc/21703/statm: 3770 545 312 364 0 257 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15080
[startup+0.100626 s]
/proc/loadavg: 0.35 0.08 0.02 2/514 21705
/proc/meminfo: memFree=31258928/32950928 swapFree=50514916/67111528
[pid=21703] ppid=21700 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/21703/stat : 21703 (python) D 21700 21703 21667 0 -1 4202496 804 0 7 0 0 0 0 0 17 0 1 0 947869680 15749120 696 33554432000 4194304 5683644 140736793449600 18446744073709551615 256415389696 0 0 16781312 2 0 0 0 17 2 0 0 2
/proc/21703/statm: 3845 696 334 364 0 332 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15380
[startup+0.300547 s]
/proc/loadavg: 0.35 0.08 0.02 2/514 21705
/proc/meminfo: memFree=31258928/32950928 swapFree=50514916/67111528
[pid=21703] ppid=21700 vsize=16400 CPUtime=0.02 cores=0,2,4,6
/proc/21703/stat : 21703 (python) S 21700 21703 21667 0 -1 4202496 1116 0 7 0 2 0 0 0 16 0 1 0 947869680 16793600 990 33554432000 4194304 5683644 140736793449600 18446744073709551615 256415387572 0 2147483391 16781312 2 18446744071699945619 0 0 17 2 0 0 4
/proc/21703/statm: 4100 990 413 364 0 587 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16400
[startup+0.70048 s]
/proc/loadavg: 0.35 0.08 0.02 2/514 21705
/proc/meminfo: memFree=31258928/32950928 swapFree=50514916/67111528
[pid=21703] ppid=21700 vsize=25316 CPUtime=0.06 cores=0,2,4,6
/proc/21703/stat : 21703 (python) D 21700 21703 21667 0 -1 4202496 1339 0 10 0 5 1 0 0 16 0 1 0 947869680 25923584 1194 33554432000 4194304 5683644 140736793449600 18446744073709551615 256415389696 0 0 16781312 2 0 0 0 17 2 0 0 5
/proc/21703/statm: 6329 1194 438 364 0 730 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 25316
[startup+1.50039 s]
/proc/loadavg: 0.35 0.08 0.02 3/516 21707
/proc/meminfo: memFree=31246264/32950928 swapFree=50514916/67111528
[pid=21703] ppid=21700 vsize=50012 CPUtime=0.12 cores=0,2,4,6
/proc/21703/stat : 21703 (python) S 21700 21703 21667 0 -1 4202496 1937 0 17 0 9 3 0 0 15 0 1 0 947869680 51212288 1717 33554432000 4194304 5683644 140736793449600 18446744073709551615 256415389696 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 11
/proc/21703/statm: 12503 1717 476 364 0 1203 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 50012
[startup+3.10103 s]
/proc/loadavg: 0.35 0.08 0.02 1/516 21707
/proc/meminfo: memFree=31236212/32950928 swapFree=50514916/67111528
[pid=21703] ppid=21700 vsize=98560 CPUtime=0.22 cores=0,2,4,6
/proc/21703/stat : 21703 (python) D 21700 21703 21667 0 -1 4202496 3606 920 24 9 18 4 0 0 16 0 1 0 947869680 100925440 2587 33554432000 4194304 5683644 140736793449600 18446744073709551615 256415389696 0 0 16781312 2 0 0 0 17 2 0 0 48
/proc/21703/statm: 24640 2587 794 364 0 1720 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 98560
heavy processes:
[startup+6.30045 s]
/proc/loadavg: 0.40 0.10 0.03 2/516 21715
/proc/meminfo: memFree=31214976/32950928 swapFree=50514916/67111528
[pid=21703] ppid=21700 vsize=123740 CPUtime=0.38 cores=0,2,4,6
/proc/21703/stat : 21703 (python) S 21700 21703 21667 0 -1 4202496 5320 920 40 9 27 11 0 0 16 0 1 0 947869680 126709760 3746 33554432000 4194304 5683644 140736793449600 18446744073709551615 256415196955 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 69
/proc/21703/statm: 30935 3746 987 364 0 2767 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 123740
heavy processes:
[startup+12.7012 s]
/proc/loadavg: 0.53 0.13 0.04 3/522 21721
/proc/meminfo: memFree=31136840/32950928 swapFree=50514916/67111528
[pid=21703] ppid=21700 vsize=293280 CPUtime=0.76 cores=0,2,4,6
/proc/21703/stat : 21703 (python) S 21700 21703 21667 0 -1 4202496 9569 920 113 9 54 22 0 0 18 0 2 0 947869680 300318720 7187 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 222
/proc/21703/statm: 73320 7187 1870 364 0 8207 0
[pid=21717] ppid=21703 vsize=283036 CPUtime=0 cores=0,2,4,6
/proc/21717/stat : 21717 (python) S 21703 21703 21667 0 -1 4202560 757 0 0 0 0 0 0 0 16 0 1 0 947870754 289828864 5665 33554432000 4194304 5683644 140736793449600 18446744073709551615 256415411727 0 0 16781312 33554946 4069093548564152320 0 0 17 2 0 0 0
/proc/21717/statm: 70759 5665 352 364 0 5646 0
[pid=21721] ppid=21717 vsize=27948 CPUtime=1.95 cores=0,2,4,6
/proc/21721/stat : 21721 (scip-2.0.1.linu) R 21717 21721 21721 0 -1 4202496 5417 0 0 0 194 1 0 0 19 0 1 0 947870754 28618752 4776 33554432000 4194304 13684479 140735352577872 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/21721/statm: 6987 4776 781 2317 0 4665 0
[pid=21703/tid=21719] ppid=21700 vsize=293280 CPUtime=0 cores=0,2,4,6
/proc/21703/task/21719/stat : 21719 (python) S 21700 21703 21667 0 -1 4202560 25 920 0 9 0 0 0 0 18 0 2 0 947870754 300318720 7187 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427215281 0 0 16781312 33554434 18446604451150129152 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 604264
heavy processes:
[startup+25.5007 s]
/proc/loadavg: 0.86 0.22 0.07 4/522 21721
/proc/meminfo: memFree=31130024/32950928 swapFree=50514916/67111528
[pid=21703] ppid=21700 vsize=293280 CPUtime=0.76 cores=0,2,4,6
/proc/21703/stat : 21703 (python) S 21700 21703 21667 0 -1 4202496 9569 920 113 9 54 22 0 0 18 0 2 0 947869680 300318720 7187 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 222
/proc/21703/statm: 73320 7187 1870 364 0 8207 0
[pid=21717] ppid=21703 vsize=283036 CPUtime=0.06 cores=0,2,4,6
/proc/21717/stat : 21717 (python) S 21703 21703 21667 0 -1 4202560 895 0 0 0 4 2 0 0 15 0 1 0 947870754 289828864 5689 33554432000 4194304 5683644 140736793449600 18446744073709551615 256415411727 0 0 16781312 33554946 72262103200705283 0 0 17 2 0 0 0
/proc/21717/statm: 70759 5689 376 364 0 5646 0
[pid=21721] ppid=21717 vsize=29420 CPUtime=14.75 cores=0,2,4,6
/proc/21721/stat : 21721 (scip-2.0.1.linu) R 21717 21721 21721 0 -1 4202496 6549 0 0 0 1464 11 0 0 25 0 1 0 947870754 30126080 5172 33554432000 4194304 13684479 140735352577872 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/21721/statm: 7355 5172 806 2317 0 5033 0
[pid=21703/tid=21719] ppid=21700 vsize=293280 CPUtime=0 cores=0,2,4,6
/proc/21703/task/21719/stat : 21719 (python) S 21700 21703 21667 0 -1 4202560 25 920 0 9 0 0 0 0 18 0 2 0 947870754 300318720 7187 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427215281 0 0 16781312 33554434 18446604451150129152 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 15.57
Current children cumulated vsize (KiB) 605736
heavy processes:
[startup+51.1008 s]
/proc/loadavg: 1.24 0.36 0.12 4/522 21722
/proc/meminfo: memFree=31130048/32950928 swapFree=50514916/67111528
[pid=21703] ppid=21700 vsize=293280 CPUtime=0.76 cores=0,2,4,6
/proc/21703/stat : 21703 (python) S 21700 21703 21667 0 -1 4202496 9569 920 113 9 54 22 0 0 18 0 2 0 947869680 300318720 7187 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 222
/proc/21703/statm: 73320 7187 1870 364 0 8207 0
[pid=21717] ppid=21703 vsize=283036 CPUtime=0.15 cores=0,2,4,6
/proc/21717/stat : 21717 (python) S 21703 21703 21667 0 -1 4202560 912 0 0 0 9 6 0 0 15 0 1 0 947870754 289828864 5689 33554432000 4194304 5683644 140736793449600 18446744073709551615 256415411727 0 0 16781312 33554946 72409437758827267 0 0 17 4 0 0 0
/proc/21717/statm: 70759 5689 376 364 0 5646 0
[pid=21721] ppid=21717 vsize=29568 CPUtime=40.33 cores=0,2,4,6
/proc/21721/stat : 21721 (scip-2.0.1.linu) R 21717 21721 21721 0 -1 4202496 6599 0 0 0 3998 35 0 0 25 0 1 0 947870754 30277632 5222 33554432000 4194304 13684479 140735352577872 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/21721/statm: 7392 5222 810 2317 0 5070 0
[pid=21703/tid=21719] ppid=21700 vsize=293280 CPUtime=0 cores=0,2,4,6
/proc/21703/task/21719/stat : 21719 (python) S 21700 21703 21667 0 -1 4202560 25 920 0 9 0 0 0 0 18 0 2 0 947870754 300318720 7187 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427215281 0 0 16781312 33554434 18446604451150129152 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 41.24
Current children cumulated vsize (KiB) 605884
[startup+102.321 s]
/proc/loadavg: 1.67 0.61 0.22 4/530 21731
/proc/meminfo: memFree=31084644/32950928 swapFree=50514916/67111528
[pid=21703] ppid=21700 vsize=304044 CPUtime=0.78 cores=0,2,4,6
/proc/21703/stat : 21703 (python) S 21700 21703 21667 0 -1 4202496 10401 920 113 9 56 22 0 0 20 0 3 0 947869680 311341056 7309 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 222
/proc/21703/statm: 76011 7309 1873 364 0 10895 0
[pid=21717] ppid=21703 vsize=293280 CPUtime=0.2 cores=0,2,4,6
/proc/21717/stat : 21717 (python) S 21703 21703 21667 0 -1 4202560 1078 0 0 0 11 9 0 0 17 0 2 0 947870754 300318720 5725 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/21717/statm: 73320 5725 407 364 0 8207 0
[pid=21721] ppid=21717 vsize=29568 CPUtime=46.73 cores=0,2,4,6
/proc/21721/stat : 21721 (scip-2.0.1.linu) T 21717 21721 21721 0 -1 4202496 6607 0 0 0 4632 41 0 0 25 0 1 0 947870754 30277632 5230 33554432000 4194304 13684479 140735352577872 18446744073709551615 7158613 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/21721/statm: 7392 5230 810 2317 0 5070 0
[pid=21717/tid=21723] ppid=21703 vsize=293280 CPUtime=0 cores=0,2,4,6
/proc/21717/task/21723/stat : 21723 (python) S 21703 21703 21667 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 947875431 300318720 5725 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427215281 0 0 16781312 33554946 18446604447725369152 0 0 -1 4 0 0 0
[pid=21724] ppid=21703 vsize=293800 CPUtime=0.18 cores=0,2,4,6
/proc/21724/stat : 21724 (python) S 21703 21703 21667 0 -1 4202560 951 0 0 0 9 9 0 0 15 0 1 0 947875433 300851200 5805 33554432000 4194304 5683644 140736793449600 18446744073709551615 256415411782 0 0 16781312 33554946 1766586775456710656 0 0 17 6 0 0 0
/proc/21724/statm: 73450 5805 373 364 0 8334 0
[pid=21726] ppid=21724 vsize=33376 CPUtime=44.72 cores=0,2,4,6
/proc/21726/stat : 21726 (scip-2.0.1.linu) R 21724 21726 21726 0 -1 4202496 26828 0 0 0 4450 22 0 0 24 0 1 0 947875437 34177024 5348 33554432000 4194304 15243407 140737221491936 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/21726/statm: 8344 5348 933 2698 0 5639 0
[pid=21703/tid=21719] ppid=21700 vsize=304044 CPUtime=0 cores=0,2,4,6
/proc/21703/task/21719/stat : 21719 (python) S 21700 21703 21667 0 -1 4202560 25 920 0 9 0 0 0 0 18 0 3 0 947870754 311341056 7309 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427215281 0 0 16781312 33554434 18446604451150129152 0 0 -1 2 0 0 0
[pid=21703/tid=21725] ppid=21700 vsize=304044 CPUtime=0 cores=0,2,4,6
/proc/21703/task/21725/stat : 21725 (python) S 21700 21703 21667 0 -1 4202560 29 920 0 9 0 0 0 0 20 0 3 0 947875433 311341056 7309 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427215281 0 0 16781312 33554434 18446604451150129152 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 92.61
Current children cumulated vsize (KiB) 954068
[startup+162.302 s]
/proc/loadavg: 2.16 0.95 0.36 4/546 21749
/proc/meminfo: memFree=31018840/32950928 swapFree=50514916/67111528
[pid=21703] ppid=21700 vsize=324760 CPUtime=0.84 cores=0,2,4,6
/proc/21703/stat : 21703 (python) S 21700 21703 21667 0 -1 4202496 12228 920 113 9 62 22 0 0 20 0 5 0 947869680 332554240 7356 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 222
/proc/21703/statm: 81190 7356 1877 364 0 16068 0
[pid=21717] ppid=21703 vsize=293280 CPUtime=0.2 cores=0,2,4,6
/proc/21717/stat : 21717 (python) S 21703 21703 21667 0 -1 4202560 1078 0 0 0 11 9 0 0 17 0 2 0 947870754 300318720 5725 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/21717/statm: 73320 5725 407 364 0 8207 0
[pid=21721] ppid=21717 vsize=29568 CPUtime=46.73 cores=0,2,4,6
/proc/21721/stat : 21721 (scip-2.0.1.linu) T 21717 21721 21721 0 -1 4202496 6607 0 0 0 4632 41 0 0 25 0 1 0 947870754 30277632 5230 33554432000 4194304 13684479 140735352577872 18446744073709551615 7158613 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/21721/statm: 7392 5230 810 2317 0 5070 0
[pid=21717/tid=21723] ppid=21703 vsize=293280 CPUtime=0 cores=0,2,4,6
/proc/21717/task/21723/stat : 21723 (python) S 21703 21703 21667 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 947875431 300318720 5725 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427215281 0 0 16781312 33554946 18446604447725369152 0 0 -1 4 0 0 0
[pid=21724] ppid=21703 vsize=293800 CPUtime=0.21 cores=0,2,4,6
/proc/21724/stat : 21724 (python) S 21703 21703 21667 0 -1 4202560 1117 0 0 0 11 10 0 0 16 0 2 0 947875433 300851200 5830 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/21724/statm: 73450 5830 397 364 0 8334 0
[pid=21726] ppid=21724 vsize=31424 CPUtime=47.32 cores=0,2,4,6
/proc/21726/stat : 21726 (scip-2.0.1.linu) T 21724 21726 21726 0 -1 4202496 27431 0 0 0 4709 23 0 0 19 0 1 0 947875437 32178176 5304 33554432000 4194304 15243407 140737221491936 18446744073709551615 8129104 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/21726/statm: 7856 5304 933 2698 0 5151 0
[pid=21724/tid=21732] ppid=21703 vsize=293800 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21732/stat : 21732 (python) S 21703 21703 21667 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 947880172 300851200 5830 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427215281 0 0 16781312 33554946 18446604447564056512 0 0 -1 0 0 0 0
[pid=21733] ppid=21703 vsize=369292 CPUtime=0.22 cores=0,2,4,6
/proc/21733/stat : 21733 (python) S 21703 21703 21667 0 -1 4202560 1160 0 0 0 10 12 0 0 17 0 2 0 947880175 378155008 5766 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/21733/statm: 92323 5766 403 364 0 27204 0
[pid=21735] ppid=21733 vsize=2256 CPUtime=48.92 cores=0,2,4,6
/proc/21735/stat : 21735 (clasp-1.3.7-x86) T 21733 21735 21735 0 -1 4202496 582 0 0 0 4892 0 0 0 25 0 1 0 947880175 2310144 318 33554432000 134512640 136139019 4290249520 18446744073709551615 134608320 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
################
# More data... #
################
[pid=21703/tid=21725] ppid=21700 vsize=345404 CPUtime=0 cores=0,2,4,6
/proc/21703/task/21725/stat : 21725 (python) S 21700 21703 21667 0 -1 4202560 29 920 0 9 0 0 0 0 20 0 7 0 947875433 353693696 7401 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427215281 0 0 16781312 33554434 18446604451150129152 0 0 -1 0 0 0 0
[pid=21703/tid=21734] ppid=21700 vsize=345404 CPUtime=0 cores=0,2,4,6
/proc/21703/task/21734/stat : 21734 (python) S 21700 21703 21667 0 -1 4202560 32 920 0 9 0 0 0 0 18 0 7 0 947880175 353693696 7401 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427215281 0 0 16781312 33554434 18446604451150129152 0 0 -1 0 0 0 0
[pid=21703/tid=21744] ppid=21700 vsize=345404 CPUtime=0 cores=0,2,4,6
/proc/21703/task/21744/stat : 21744 (python) S 21700 21703 21667 0 -1 4202560 31 920 0 9 0 0 0 0 20 0 7 0 947885076 353693696 7401 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427215281 0 0 16781312 33554434 18446604451150129152 0 0 -1 0 0 0 0
[pid=21703/tid=21755] ppid=21700 vsize=345404 CPUtime=0 cores=0,2,4,6
/proc/21703/task/21755/stat : 21755 (python) S 21700 21703 21667 0 -1 4202560 31 920 0 9 0 0 0 0 20 0 7 0 947894684 353693696 7401 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427215281 0 0 16781312 33554434 18446604451150129152 0 0 -1 0 0 0 0
[pid=21703/tid=21800] ppid=21700 vsize=345404 CPUtime=0 cores=0,2,4,6
/proc/21703/task/21800/stat : 21800 (python) S 21700 21703 21667 0 -1 4202560 32 920 0 9 0 0 0 0 20 0 7 0 947899487 353693696 7401 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427215281 0 0 16781312 33554434 18446604451150129152 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 292.53
Current children cumulated vsize (KiB) 19562652
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+299.101 s]
/proc/loadavg: 2.05 1.35 0.58 4/612 21819
/proc/meminfo: memFree=29832316/32950928 swapFree=50514916/67111528
[pid=21703] ppid=21700 vsize=345404 CPUtime=0.93 cores=0,2,4,6
/proc/21703/stat : 21703 (python) S 21700 21703 21667 0 -1 4202496 14092 920 113 9 70 23 0 0 20 0 7 0 947869680 353693696 7401 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 222
/proc/21703/statm: 86351 7401 1881 364 0 21223 0
[pid=21717] ppid=21703 vsize=293280 CPUtime=0.2 cores=0,2,4,6
/proc/21717/stat : 21717 (python) S 21703 21703 21667 0 -1 4202560 1078 0 0 0 11 9 0 0 17 0 2 0 947870754 300318720 5725 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/21717/statm: 73320 5725 407 364 0 8207 0
[pid=21721] ppid=21717 vsize=29568 CPUtime=46.73 cores=0,2,4,6
/proc/21721/stat : 21721 (scip-2.0.1.linu) T 21717 21721 21721 0 -1 4202496 6607 0 0 0 4632 41 0 0 25 0 1 0 947870754 30277632 5230 33554432000 4194304 13684479 140735352577872 18446744073709551615 7158613 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/21721/statm: 7392 5230 810 2317 0 5070 0
[pid=21717/tid=21723] ppid=21703 vsize=293280 CPUtime=0 cores=0,2,4,6
/proc/21717/task/21723/stat : 21723 (python) S 21703 21703 21667 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 947875431 300318720 5725 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427215281 0 0 16781312 33554946 18446604447725369152 0 0 -1 4 0 0 0
[pid=21724] ppid=21703 vsize=293800 CPUtime=0.21 cores=0,2,4,6
/proc/21724/stat : 21724 (python) S 21703 21703 21667 0 -1 4202560 1117 0 0 0 11 10 0 0 16 0 2 0 947875433 300851200 5830 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/21724/statm: 73450 5830 397 364 0 8334 0
[pid=21726] ppid=21724 vsize=31424 CPUtime=47.32 cores=0,2,4,6
/proc/21726/stat : 21726 (scip-2.0.1.linu) T 21724 21726 21726 0 -1 4202496 27431 0 0 0 4709 23 0 0 19 0 1 0 947875437 32178176 5304 33554432000 4194304 15243407 140737221491936 18446744073709551615 8129104 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/21726/statm: 7856 5304 933 2698 0 5151 0
[pid=21724/tid=21732] ppid=21703 vsize=293800 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21732/stat : 21732 (python) S 21703 21703 21667 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 947880172 300851200 5830 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427215281 0 0 16781312 33554946 18446604447564056512 0 0 -1 0 0 0 0
[pid=21733] ppid=21703 vsize=369292 CPUtime=0.43 cores=0,2,4,6
/proc/21733/stat : 21733 (python) S 21703 21703 21667 0 -1 4202560 1176 0 0 0 20 23 0 0 15 0 2 0 947880175 378155008 5777 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/21733/statm: 92323 5777 403 364 0 27204 0
[pid=21735] ppid=21733 vsize=2256 CPUtime=95.12 cores=0,2,4,6
/proc/21735/stat : 21735 (clasp-1.3.7-x86) T 21733 21735 21735 0 -1 4202496 588 0 0 0 9512 0 0 0 25 0 1 0 947880175 2310144 324 33554432000 134512640 136139019 4290249520 18446744073709551615 134599062 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/21735/statm: 564 324 184 398 0 164 0
[pid=21733/tid=21742] ppid=21703 vsize=369292 CPUtime=0 cores=0,2,4,6
/proc/21733/task/21742/stat : 21742 (python) S 21703 21703 21667 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 947885073 378155008 5777 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427215281 0 0 16781312 33554946 18446604446633271360 0 0 -1 0 0 0 0
[pid=21743] ppid=21703 vsize=314516 CPUtime=0.24 cores=0,2,4,6
/proc/21743/stat : 21743 (python) S 21703 21703 21667 0 -1 4202560 1204 0 0 0 12 12 0 0 17 0 2 0 947885076 322064384 5879 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/21743/statm: 78629 5879 403 364 0 13507 0
[pid=21745] ppid=21743 vsize=136920 CPUtime=49.8 cores=0,2,4,6
/proc/21745/stat : 21745 (wbo1.4a) T 21743 21745 21745 0 -1 4202496 34050 0 0 0 4931 49 0 0 25 0 1 0 947885076 140206080 33772 33554432000 134512640 135751879 4290673200 18446744073709551615 134517408 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/21745/statm: 34230 33772 146 303 0 33925 0
[pid=21743/tid=21751] ppid=21703 vsize=314516 CPUtime=0 cores=0,2,4,6
/proc/21743/task/21751/stat : 21751 (python) S 21703 21703 21667 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 947890058 322064384 5879 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427215281 0 0 16781312 33554946 18446604444992607552 0 0 -1 6 0 0 0
[pid=21754] ppid=21703 vsize=324772 CPUtime=0.22 cores=0,2,4,6
/proc/21754/stat : 21754 (python) S 21703 21703 21667 0 -1 4202560 1156 0 0 0 10 12 0 0 16 0 2 0 947894684 332566528 5897 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/21754/statm: 81193 5897 397 364 0 16068 0
[pid=21756] ppid=21754 vsize=8546944 CPUtime=49.62 cores=0,2,4,6
/proc/21756/stat : 21756 (java) T 21754 21756 21756 0 -1 4202496 124959 0 116 0 4942 20 0 0 18 0 19 0 947894684 8752070656 98501 33554432000 1073741824 1073778376 140733615737776 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 16
/proc/21756/statm: 2136736 98501 2239 9 0 2127477 0
[pid=21756/tid=21757] ppid=21754 vsize=8546944 CPUtime=47.18 cores=0,2,4,6
/proc/21756/task/21757/stat : 21757 (java) T 21754 21756 21756 0 -1 4202560 65211 0 57 0 4710 8 0 0 25 0 19 0 947894702 8752070656 98501 33554432000 1073741824 1073778376 140733615737776 18446744073709551615 46912505870854 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 16
[pid=21756/tid=21758] ppid=21754 vsize=8546944 CPUtime=0.15 cores=0,2,4,6
/proc/21756/task/21758/stat : 21758 (java) T 21754 21756 21756 0 -1 4202560 5996 0 0 0 15 0 0 0 15 0 19 0 947894706 8752070656 98501 33554432000 1073741824 1073778376 140733615737776 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=21756/tid=21759] ppid=21754 vsize=8546944 CPUtime=0.12 cores=0,2,4,6
/proc/21756/task/21759/stat : 21759 (java) T 21754 21756 21756 0 -1 4202560 5552 0 0 0 12 0 0 0 15 0 19 0 947894706 8752070656 98501 33554432000 1073741824 1073778376 140733615737776 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=21756/tid=21760] ppid=21754 vsize=8546944 CPUtime=0.11 cores=0,2,4,6
/proc/21756/task/21760/stat : 21760 (java) T 21754 21756 21756 0 -1 4202560 4279 0 0 0 10 1 0 0 15 0 19 0 947894706 8752070656 98501 33554432000 1073741824 1073778376 140733615737776 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=21756/tid=21761] ppid=21754 vsize=8546944 CPUtime=0.11 cores=0,2,4,6
/proc/21756/task/21761/stat : 21761 (java) T 21754 21756 21756 0 -1 4202560 4649 0 0 0 11 0 0 0 15 0 19 0 947894707 8752070656 98501 33554432000 1073741824 1073778376 140733615737776 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=21756/tid=21762] ppid=21754 vsize=8546944 CPUtime=0.15 cores=0,2,4,6
/proc/21756/task/21762/stat : 21762 (java) T 21754 21756 21756 0 -1 4202560 7083 0 0 0 14 1 0 0 15 0 19 0 947894707 8752070656 98501 33554432000 1073741824 1073778376 140733615737776 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=21756/tid=21763] ppid=21754 vsize=8546944 CPUtime=0.16 cores=0,2,4,6
/proc/21756/task/21763/stat : 21763 (java) T 21754 21756 21756 0 -1 4202560 6628 0 0 0 16 0 0 0 15 0 19 0 947894707 8752070656 98501 33554432000 1073741824 1073778376 140733615737776 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=21756/tid=21764] ppid=21754 vsize=8546944 CPUtime=0.13 cores=0,2,4,6
/proc/21756/task/21764/stat : 21764 (java) T 21754 21756 21756 0 -1 4202560 6197 0 0 0 12 1 0 0 15 0 19 0 947894707 8752070656 98501 33554432000 1073741824 1073778376 140733615737776 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=21756/tid=21765] ppid=21754 vsize=8546944 CPUtime=0.09 cores=0,2,4,6
/proc/21756/task/21765/stat : 21765 (java) T 21754 21756 21756 0 -1 4202560 3953 0 0 0 9 0 0 0 15 0 19 0 947894707 8752070656 98501 33554432000 1073741824 1073778376 140733615737776 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=21756/tid=21766] ppid=21754 vsize=8546944 CPUtime=0.02 cores=0,2,4,6
/proc/21756/task/21766/stat : 21766 (java) T 21754 21756 21756 0 -1 4202560 155 0 0 0 1 1 0 0 15 0 19 0 947894713 8752070656 98501 33554432000 1073741824 1073778376 140733615737776 18446744073709551615 256427208192 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=21756/tid=21767] ppid=21754 vsize=8546944 CPUtime=0 cores=0,2,4,6
/proc/21756/task/21767/stat : 21767 (java) T 21754 21756 21756 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947894715 8752070656 98501 33554432000 1073741824 1073778376 140733615737776 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=21756/tid=21768] ppid=21754 vsize=8546944 CPUtime=0 cores=0,2,4,6
/proc/21756/task/21768/stat : 21768 (java) T 21754 21756 21756 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 947894715 8752070656 98501 33554432000 1073741824 1073778376 140733615737776 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=21756/tid=21769] ppid=21754 vsize=8546944 CPUtime=0 cores=0,2,4,6
/proc/21756/task/21769/stat : 21769 (java) T 21754 21756 21756 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947894722 8752070656 98501 33554432000 1073741824 1073778376 140733615737776 18446744073709551615 256427215281 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=21756/tid=21770] ppid=21754 vsize=8546944 CPUtime=0.54 cores=0,2,4,6
/proc/21756/task/21770/stat : 21770 (java) T 21754 21756 21756 0 -1 4202560 5100 0 2 0 54 0 0 0 15 0 19 0 947894722 8752070656 98501 33554432000 1073741824 1073778376 140733615737776 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=21756/tid=21771] ppid=21754 vsize=8546944 CPUtime=0.75 cores=0,2,4,6
/proc/21756/task/21771/stat : 21771 (java) T 21754 21756 21756 0 -1 4202560 8814 0 2 0 73 2 0 0 15 0 19 0 947894722 8752070656 98501 33554432000 1073741824 1073778376 140733615737776 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=21756/tid=21772] ppid=21754 vsize=8546944 CPUtime=0 cores=0,2,4,6
/proc/21756/task/21772/stat : 21772 (java) T 21754 21756 21756 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947894722 8752070656 98501 33554432000 1073741824 1073778376 140733615737776 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=21756/tid=21773] ppid=21754 vsize=8546944 CPUtime=0 cores=0,2,4,6
/proc/21756/task/21773/stat : 21773 (java) T 21754 21756 21756 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 947894722 8752070656 98501 33554432000 1073741824 1073778376 140733615737776 18446744073709551615 256427208192 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=21756/tid=21774] ppid=21754 vsize=8546944 CPUtime=0 cores=0,2,4,6
/proc/21756/task/21774/stat : 21774 (java) T 21754 21756 21756 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947894743 8752070656 98501 33554432000 1073741824 1073778376 140733615737776 18446744073709551615 256427208192 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=21754/tid=21798] ppid=21703 vsize=324772 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21798/stat : 21798 (python) S 21703 21703 21667 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 947899484 332566528 5897 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427215281 0 0 16781312 33554946 18446604445616121920 0 0 -1 6 0 0 0
[pid=21799] ppid=21703 vsize=335160 CPUtime=0 cores=0,2,4,6
/proc/21799/stat : 21799 (python) S 21703 21703 21667 0 -1 4202560 842 0 0 0 0 0 0 0 15 0 1 0 947899487 343203840 5865 33554432000 4194304 5683644 140736793449600 18446744073709551615 256415411782 0 0 16781312 33554946 4294934785 0 0 17 0 0 0 0
/proc/21799/statm: 83790 5865 349 364 0 18662 0
[pid=21801] ppid=21799 vsize=8539316 CPUtime=1.71 cores=0,2,4,6
/proc/21801/stat : 21801 (java) S 21799 21801 21801 0 -1 4202496 35308 0 1 0 166 5 0 0 20 0 19 0 947899487 8744259584 34218 33554432000 1073741824 1073778376 140735507816768 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21801/statm: 2134829 34218 2247 9 0 2125570 0
[pid=21801/tid=21802] ppid=21799 vsize=8539316 CPUtime=1.04 cores=0,2,4,6
/proc/21801/task/21802/stat : 21802 (java) R 21799 21801 21801 0 -1 4202560 28383 0 1 0 101 3 0 0 20 0 19 0 947899488 8744259584 34218 33554432000 1073741824 1073778376 140735507816768 18446744073709551615 46912505643728 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21801/tid=21803] ppid=21799 vsize=8539316 CPUtime=0 cores=0,2,4,6
/proc/21801/task/21803/stat : 21803 (java) S 21799 21801 21801 0 -1 4202560 294 0 0 0 0 0 0 0 18 0 19 0 947899488 8744259584 34218 33554432000 1073741824 1073778376 140735507816768 18446744073709551615 256427207577 0 4 0 16800975 18446604440508728512 0 0 -1 2 0 0 0
[pid=21801/tid=21804] ppid=21799 vsize=8539316 CPUtime=0 cores=0,2,4,6
/proc/21801/task/21804/stat : 21804 (java) S 21799 21801 21801 0 -1 4202560 139 0 0 0 0 0 0 0 17 0 19 0 947899488 8744259584 34218 33554432000 1073741824 1073778376 140735507816768 18446744073709551615 256427207577 0 4 0 16800975 18446604440508728512 0 0 -1 2 0 0 0
[pid=21801/tid=21805] ppid=21799 vsize=8539316 CPUtime=0 cores=0,2,4,6
/proc/21801/task/21805/stat : 21805 (java) S 21799 21801 21801 0 -1 4202560 270 0 0 0 0 0 0 0 17 0 19 0 947899488 8744259584 34218 33554432000 1073741824 1073778376 140735507816768 18446744073709551615 256427207577 0 4 0 16800975 18446604440508728512 0 0 -1 2 0 0 0
[pid=21801/tid=21806] ppid=21799 vsize=8539316 CPUtime=0 cores=0,2,4,6
/proc/21801/task/21806/stat : 21806 (java) S 21799 21801 21801 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947899488 8744259584 34218 33554432000 1073741824 1073778376 140735507816768 18446744073709551615 256427207577 0 4 0 16800975 18446604440508728512 0 0 -1 2 0 0 0
[pid=21801/tid=21807] ppid=21799 vsize=8539316 CPUtime=0 cores=0,2,4,6
/proc/21801/task/21807/stat : 21807 (java) S 21799 21801 21801 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947899488 8744259584 34218 33554432000 1073741824 1073778376 140735507816768 18446744073709551615 256427207577 0 4 0 16800975 18446604440508728512 0 0 -1 0 0 0 0
[pid=21801/tid=21808] ppid=21799 vsize=8539316 CPUtime=0 cores=0,2,4,6
/proc/21801/task/21808/stat : 21808 (java) S 21799 21801 21801 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947899488 8744259584 34218 33554432000 1073741824 1073778376 140735507816768 18446744073709551615 256427207577 0 4 0 16800975 18446604440508728512 0 0 -1 0 0 0 0
[pid=21801/tid=21809] ppid=21799 vsize=8539316 CPUtime=0 cores=0,2,4,6
/proc/21801/task/21809/stat : 21809 (java) S 21799 21801 21801 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 19 0 947899488 8744259584 34218 33554432000 1073741824 1073778376 140735507816768 18446744073709551615 256427207577 0 4 0 16800975 18446604440508728512 0 0 -1 0 0 0 0
[pid=21801/tid=21810] ppid=21799 vsize=8539316 CPUtime=0 cores=0,2,4,6
/proc/21801/task/21810/stat : 21810 (java) S 21799 21801 21801 0 -1 4202560 132 0 0 0 0 0 0 0 18 0 19 0 947899488 8744259584 34218 33554432000 1073741824 1073778376 140735507816768 18446744073709551615 256427207577 0 4 0 16800975 18446604440508728512 0 0 -1 0 0 0 0
[pid=21801/tid=21811] ppid=21799 vsize=8539316 CPUtime=0 cores=0,2,4,6
/proc/21801/task/21811/stat : 21811 (java) S 21799 21801 21801 0 -1 4202560 832 0 0 0 0 0 0 0 17 0 19 0 947899489 8744259584 34218 33554432000 1073741824 1073778376 140735507816768 18446744073709551615 256427208192 0 0 0 16800975 18446604440508728512 0 0 -1 4 0 0 0
[pid=21801/tid=21812] ppid=21799 vsize=8539316 CPUtime=0 cores=0,2,4,6
/proc/21801/task/21812/stat : 21812 (java) S 21799 21801 21801 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947899490 8744259584 34218 33554432000 1073741824 1073778376 140735507816768 18446744073709551615 256427207577 0 4 0 16800975 18446604440508728512 0 0 -1 4 0 0 0
[pid=21801/tid=21813] ppid=21799 vsize=8539316 CPUtime=0 cores=0,2,4,6
/proc/21801/task/21813/stat : 21813 (java) S 21799 21801 21801 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 947899490 8744259584 34218 33554432000 1073741824 1073778376 140735507816768 18446744073709551615 256427207577 0 4 0 16800975 18446604440508728512 0 0 -1 6 0 0 0
[pid=21801/tid=21814] ppid=21799 vsize=8539316 CPUtime=0 cores=0,2,4,6
/proc/21801/task/21814/stat : 21814 (java) S 21799 21801 21801 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947899492 8744259584 34218 33554432000 1073741824 1073778376 140735507816768 18446744073709551615 256427215281 0 4 0 16800975 18446604440508728512 0 0 -1 4 0 0 0
[pid=21801/tid=21815] ppid=21799 vsize=8539316 CPUtime=0.34 cores=0,2,4,6
/proc/21801/task/21815/stat : 21815 (java) S 21799 21801 21801 0 -1 4202560 1086 0 0 0 34 0 0 0 22 0 19 0 947899492 8744259584 34218 33554432000 1073741824 1073778376 140735507816768 18446744073709551615 256427207577 0 4 0 16800975 18446604440508728512 0 0 -1 0 0 0 0
[pid=21801/tid=21816] ppid=21799 vsize=8539316 CPUtime=0.3 cores=0,2,4,6
/proc/21801/task/21816/stat : 21816 (java) S 21799 21801 21801 0 -1 4202560 2771 0 0 0 30 0 0 0 16 0 19 0 947899492 8744259584 34218 33554432000 1073741824 1073778376 140735507816768 18446744073709551615 256427207577 0 4 0 16800975 18446604440508728512 0 0 -1 2 0 0 0
[pid=21801/tid=21817] ppid=21799 vsize=8539316 CPUtime=0 cores=0,2,4,6
/proc/21801/task/21817/stat : 21817 (java) S 21799 21801 21801 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947899492 8744259584 34218 33554432000 1073741824 1073778376 140735507816768 18446744073709551615 256427207577 0 4 0 16800975 18446604440508728512 0 0 -1 4 0 0 0
[pid=21801/tid=21818] ppid=21799 vsize=8539316 CPUtime=0 cores=0,2,4,6
/proc/21801/task/21818/stat : 21818 (java) S 21799 21801 21801 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 947899492 8744259584 34218 33554432000 1073741824 1073778376 140735507816768 18446744073709551615 256427208192 0 4 0 16800975 18446604440508728512 0 0 -1 0 0 0 0
[pid=21801/tid=21819] ppid=21799 vsize=8539316 CPUtime=0 cores=0,2,4,6
/proc/21801/task/21819/stat : 21819 (java) S 21799 21801 21801 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947899510 8744259584 34218 33554432000 1073741824 1073778376 140735507816768 18446744073709551615 256427208192 0 4 0 16800975 18446604440508728512 0 0 -1 6 0 0 0
[pid=21703/tid=21719] ppid=21700 vsize=345404 CPUtime=0 cores=0,2,4,6
/proc/21703/task/21719/stat : 21719 (python) S 21700 21703 21667 0 -1 4202560 25 920 0 9 0 0 0 0 18 0 7 0 947870754 353693696 7401 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427215281 0 0 16781312 33554434 18446604451150129152 0 0 -1 2 0 0 0
[pid=21703/tid=21725] ppid=21700 vsize=345404 CPUtime=0 cores=0,2,4,6
/proc/21703/task/21725/stat : 21725 (python) S 21700 21703 21667 0 -1 4202560 29 920 0 9 0 0 0 0 20 0 7 0 947875433 353693696 7401 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427215281 0 0 16781312 33554434 18446604451150129152 0 0 -1 0 0 0 0
[pid=21703/tid=21734] ppid=21700 vsize=345404 CPUtime=0 cores=0,2,4,6
/proc/21703/task/21734/stat : 21734 (python) S 21700 21703 21667 0 -1 4202560 32 920 0 9 0 0 0 0 18 0 7 0 947880175 353693696 7401 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427215281 0 0 16781312 33554434 18446604451150129152 0 0 -1 0 0 0 0
[pid=21703/tid=21744] ppid=21700 vsize=345404 CPUtime=0 cores=0,2,4,6
/proc/21703/task/21744/stat : 21744 (python) S 21700 21703 21667 0 -1 4202560 31 920 0 9 0 0 0 0 20 0 7 0 947885076 353693696 7401 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427215281 0 0 16781312 33554434 18446604451150129152 0 0 -1 0 0 0 0
[pid=21703/tid=21755] ppid=21700 vsize=345404 CPUtime=0 cores=0,2,4,6
/proc/21703/task/21755/stat : 21755 (python) S 21700 21703 21667 0 -1 4202560 31 920 0 9 0 0 0 0 20 0 7 0 947894684 353693696 7401 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427215281 0 0 16781312 33554434 18446604451150129152 0 0 -1 0 0 0 0
[pid=21703/tid=21800] ppid=21700 vsize=345404 CPUtime=0 cores=0,2,4,6
/proc/21703/task/21800/stat : 21800 (python) S 21700 21703 21667 0 -1 4202560 32 920 0 9 0 0 0 0 20 0 7 0 947899487 353693696 7401 33554432000 4194304 5683644 140736793449600 18446744073709551615 256427215281 0 0 16781312 33554434 18446604451150129152 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 292.53
Current children cumulated vsize (KiB) 19562652
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21703 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=708892
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=241963
# CPU time returned by wait4() is 0.950855
# while last known CPU time is 292.53
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 299.194
CPU time (s): 292.53
CPU user time (s): 290.26
CPU system time (s): 2.27
CPU usage (%): 97.7726
Max. virtual memory (cumulated for all children) (KiB): 19562652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.708892
system time used= 0.241963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15016
page faults= 122
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19640
involuntary context switches= 45
runsolver used 1.79673 second user time and 4.14437 second system time
The end