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-3481936-1307577209/watcher-3481936-1307577209 -o /tmp/evaluation-result-3481936-1307577209/solver-3481936-1307577209 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481936-1307577209.opb -seed 1713033268 -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.03 1.96 1.23 2/644 18511
/proc/meminfo: memFree=25823604/32950928 swapFree=38525204/67111528
[pid=18511] ppid=18509 vsize=16240 CPUtime=0 cores=0,2,4,6
/proc/18511/stat : 18511 (python) R 18509 18511 17436 0 -1 4202496 998 0 0 0 0 0 0 0 23 0 1 0 869320626 16629760 870 33554432000 4194304 5683644 140736388098384 18446744073709551615 208079893189 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/18511/statm: 4060 870 368 364 0 547 0
[startup+0.04277 s]
/proc/loadavg: 2.03 1.96 1.23 2/644 18511
/proc/meminfo: memFree=25823604/32950928 swapFree=38525204/67111528
[pid=18511] ppid=18509 vsize=18888 CPUtime=0.01 cores=0,2,4,6
/proc/18511/stat : 18511 (python) R 18509 18511 17436 0 -1 4202496 1285 0 0 0 1 0 0 0 24 0 1 0 869320626 19341312 1137 33554432000 4194304 5683644 140736388098384 18446744073709551615 4874231 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/18511/statm: 4722 1137 421 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18888
[startup+0.100751 s]
/proc/loadavg: 2.03 1.96 1.23 2/644 18511
/proc/meminfo: memFree=25823604/32950928 swapFree=38525204/67111528
[pid=18511] ppid=18509 vsize=85620 CPUtime=0.06 cores=0,2,4,6
/proc/18511/stat : 18511 (python) S 18509 18511 17436 0 -1 4202496 2666 0 0 0 4 2 0 0 17 0 1 0 869320626 87674880 2382 33554432000 4194304 5683644 140736388098384 18446744073709551615 208080230400 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/18511/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620
[startup+0.300713 s]
/proc/loadavg: 2.03 1.96 1.23 2/644 18511
/proc/meminfo: memFree=25823604/32950928 swapFree=38525204/67111528
[pid=18511] ppid=18509 vsize=123740 CPUtime=0.16 cores=0,2,4,6
/proc/18511/stat : 18511 (python) R 18509 18511 17436 0 -1 4202496 5358 929 1 0 11 5 0 0 18 0 1 0 869320626 126709760 3744 33554432000 4194304 5683644 140736388098384 18446744073709551615 208080228357 0 2147483391 16781312 2 0 0 0 17 2 0 0 0
/proc/18511/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123740
[startup+0.700697 s]
/proc/loadavg: 2.03 1.96 1.23 2/644 18511
/proc/meminfo: memFree=25823604/32950928 swapFree=38525204/67111528
[pid=18511] ppid=18509 vsize=285984 CPUtime=0.43 cores=0,2,4,6
/proc/18511/stat : 18511 (python) R 18509 18511 17436 0 -1 4202496 9975 929 1 0 31 12 0 0 17 0 1 0 869320626 292847616 7836 33554432000 4194304 5683644 140736388098384 18446744073709551615 4643489 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/18511/statm: 71496 7836 1781 364 0 6389 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 285984
[startup+1.50055 s]
/proc/loadavg: 1.94 1.94 1.22 3/645 18516
/proc/meminfo: memFree=25791544/32950928 swapFree=38525204/67111528
[pid=18511] ppid=18509 vsize=298116 CPUtime=1.24 cores=0,2,4,6
/proc/18511/stat : 18511 (python) R 18509 18511 17436 0 -1 4202496 16670 929 1 0 111 13 0 0 18 0 1 0 869320626 305270784 10897 33554432000 4194304 5683644 140736388098384 18446744073709551615 47181696111169 0 0 16781312 33554434 0 0 0 17 2 0 0 0
/proc/18511/statm: 74529 10897 1815 364 0 9422 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 298116
[startup+3.10013 s]
/proc/loadavg: 1.94 1.94 1.22 3/645 18516
/proc/meminfo: memFree=25781500/32950928 swapFree=38525204/67111528
[pid=18511] ppid=18509 vsize=308600 CPUtime=2.1 cores=0,2,4,6
/proc/18511/stat : 18511 (python) S 18509 18511 17436 0 -1 4202496 17013 929 1 0 196 14 0 0 21 0 2 0 869320626 316006400 11012 33554432000 4194304 5683644 140736388098384 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/18511/statm: 77150 11012 1872 364 0 12037 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 308600
heavy processes:
[startup+6.30157 s]
/proc/loadavg: 1.94 1.94 1.22 3/651 18584
/proc/meminfo: memFree=25570796/32950928 swapFree=38525204/67111528
[pid=18511] ppid=18509 vsize=308600 CPUtime=2.1 cores=0,2,4,6
/proc/18511/stat : 18511 (python) S 18509 18511 17436 0 -1 4202496 17013 929 1 0 196 14 0 0 21 0 2 0 869320626 316006400 11012 33554432000 4194304 5683644 140736388098384 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/18511/statm: 77150 11012 1872 364 0 12037 0
[pid=18517] ppid=18511 vsize=298360 CPUtime=0 cores=0,2,4,6
/proc/18517/stat : 18517 (python) R 18511 18511 17436 0 -1 4202560 886 0 0 0 0 0 0 0 16 0 1 0 869320863 305520640 9505 33554432000 4194304 5683644 140736388098384 18446744073709551615 208080232192 0 0 16781312 33554946 0 0 0 17 2 0 0 0
/proc/18517/statm: 74589 9505 369 364 0 9476 0
[pid=18519] ppid=18517 vsize=8549752 CPUtime=5.17 cores=0,2,4,6
/proc/18519/stat : 18519 (java) S 18517 18519 18519 0 -1 4202496 96793 0 1 0 505 12 0 0 22 0 19 0 869320863 8754946048 93746 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18519/statm: 2137438 93746 2240 9 0 2128179 0
[pid=18519/tid=18521] ppid=18517 vsize=8549752 CPUtime=3.8 cores=0,2,4,6
/proc/18519/task/18521/stat : 18521 (java) R 18517 18519 18519 0 -1 4202560 63085 0 1 0 371 9 0 0 25 0 19 0 869320864 8754946048 93746 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 46912505908394 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18519/tid=18522] ppid=18517 vsize=8549752 CPUtime=0.03 cores=0,2,4,6
/proc/18519/task/18522/stat : 18522 (java) S 18517 18519 18519 0 -1 4202560 2922 0 0 0 3 0 0 0 16 0 19 0 869320864 8754946048 93746 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446604453683192128 0 0 -1 4 0 0 0
[pid=18519/tid=18523] ppid=18517 vsize=8549752 CPUtime=0.02 cores=0,2,4,6
/proc/18519/task/18523/stat : 18523 (java) S 18517 18519 18519 0 -1 4202560 1465 0 0 0 2 0 0 0 15 0 19 0 869320864 8754946048 93746 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446604453683192128 0 0 -1 2 0 0 0
[pid=18519/tid=18524] ppid=18517 vsize=8549752 CPUtime=0.03 cores=0,2,4,6
/proc/18519/task/18524/stat : 18524 (java) S 18517 18519 18519 0 -1 4202560 2815 0 0 0 3 0 0 0 16 0 19 0 869320864 8754946048 93746 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446604453683192128 0 0 -1 2 0 0 0
[pid=18519/tid=18525] ppid=18517 vsize=8549752 CPUtime=0.02 cores=0,2,4,6
/proc/18519/task/18525/stat : 18525 (java) S 18517 18519 18519 0 -1 4202560 2450 0 0 0 2 0 0 0 15 0 19 0 869320864 8754946048 93746 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446604453683192128 0 0 -1 0 0 0 0
[pid=18519/tid=18526] ppid=18517 vsize=8549752 CPUtime=0.05 cores=0,2,4,6
/proc/18519/task/18526/stat : 18526 (java) S 18517 18519 18519 0 -1 4202560 5428 0 0 0 5 0 0 0 15 0 19 0 869320864 8754946048 93746 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446604453683192128 0 0 -1 2 0 0 0
[pid=18519/tid=18527] ppid=18517 vsize=8549752 CPUtime=0.03 cores=0,2,4,6
/proc/18519/task/18527/stat : 18527 (java) S 18517 18519 18519 0 -1 4202560 3225 0 0 0 3 0 0 0 16 0 19 0 869320864 8754946048 93746 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446604453683192128 0 0 -1 6 0 0 0
[pid=18519/tid=18528] ppid=18517 vsize=8549752 CPUtime=0.01 cores=0,2,4,6
/proc/18519/task/18528/stat : 18528 (java) S 18517 18519 18519 0 -1 4202560 999 0 0 0 1 0 0 0 15 0 19 0 869320864 8754946048 93746 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446604453683192128 0 0 -1 4 0 0 0
[pid=18519/tid=18529] ppid=18517 vsize=8549752 CPUtime=0.04 cores=0,2,4,6
/proc/18519/task/18529/stat : 18529 (java) S 18517 18519 18519 0 -1 4202560 4040 0 0 0 4 0 0 0 16 0 19 0 869320864 8754946048 93746 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446604453683192128 0 0 -1 0 0 0 0
[pid=18519/tid=18530] ppid=18517 vsize=8549752 CPUtime=0 cores=0,2,4,6
/proc/18519/task/18530/stat : 18530 (java) S 18517 18519 18519 0 -1 4202560 198 0 0 0 0 0 0 0 15 0 19 0 869320865 8754946048 93746 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048896 0 0 0 16800975 18446604453683192128 0 0 -1 2 0 0 0
[pid=18519/tid=18531] ppid=18517 vsize=8549752 CPUtime=0 cores=0,2,4,6
/proc/18519/task/18531/stat : 18531 (java) S 18517 18519 18519 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 869320866 8754946048 93746 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446604453683192128 0 0 -1 2 0 0 0
[pid=18519/tid=18532] ppid=18517 vsize=8549752 CPUtime=0 cores=0,2,4,6
/proc/18519/task/18532/stat : 18532 (java) S 18517 18519 18519 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 869320866 8754946048 93746 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446604453683192128 0 0 -1 2 0 0 0
[pid=18519/tid=18545] ppid=18517 vsize=8549752 CPUtime=0 cores=0,2,4,6
/proc/18519/task/18545/stat : 18545 (java) S 18517 18519 18519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869320868 8754946048 93746 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092055985 0 4 0 16800975 18446604453683192128 0 0 -1 2 0 0 0
[pid=18519/tid=18546] ppid=18517 vsize=8549752 CPUtime=0.53 cores=0,2,4,6
/proc/18519/task/18546/stat : 18546 (java) S 18517 18519 18519 0 -1 4202560 3734 0 0 0 53 0 0 0 15 0 19 0 869320868 8754946048 93746 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446604453683192128 0 0 -1 2 0 0 0
[pid=18519/tid=18547] ppid=18517 vsize=8549752 CPUtime=0.52 cores=0,2,4,6
/proc/18519/task/18547/stat : 18547 (java) S 18517 18519 18519 0 -1 4202560 5052 0 0 0 52 0 0 0 15 0 19 0 869320868 8754946048 93746 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446604453683192128 0 0 -1 0 0 0 0
[pid=18519/tid=18548] ppid=18517 vsize=8549752 CPUtime=0 cores=0,2,4,6
/proc/18519/task/18548/stat : 18548 (java) S 18517 18519 18519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869320868 8754946048 93746 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446604453683192128 0 0 -1 6 0 0 0
[pid=18519/tid=18549] ppid=18517 vsize=8549752 CPUtime=0 cores=0,2,4,6
/proc/18519/task/18549/stat : 18549 (java) S 18517 18519 18519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869320868 8754946048 93746 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048896 0 4 0 16800975 18446604453683192128 0 0 -1 0 0 0 0
[pid=18519/tid=18562] ppid=18517 vsize=8549752 CPUtime=0 cores=0,2,4,6
/proc/18519/task/18562/stat : 18562 (java) S 18517 18519 18519 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869320956 8754946048 93746 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048896 0 4 0 16800975 18446604453683192128 0 0 -1 6 0 0 0
[pid=18511/tid=18518] ppid=18509 vsize=308600 CPUtime=0 cores=0,2,4,6
/proc/18511/task/18518/stat : 18518 (python) S 18509 18511 17436 0 -1 4202560 26 929 0 0 0 0 0 0 21 0 2 0 869320863 316006400 11012 33554432000 4194304 5683644 140736388098384 18446744073709551615 208092055985 0 0 16781312 33554434 18446604441401878528 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.27
Current children cumulated vsize (KiB) 9156712
[startup+12.7013 s]
/proc/loadavg: 1.95 1.94 1.23 3/655 18663
/proc/meminfo: memFree=25052536/32950928 swapFree=38525204/67111528
[pid=18511] ppid=18509 vsize=308600 CPUtime=2.1 cores=0,2,4,6
/proc/18511/stat : 18511 (python) S 18509 18511 17436 0 -1 4202496 17013 929 1 0 196 14 0 0 21 0 2 0 869320626 316006400 11012 33554432000 4194304 5683644 140736388098384 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/18511/statm: 77150 11012 1872 364 0 12037 0
[pid=18517] ppid=18511 vsize=298356 CPUtime=0.04 cores=0,2,4,6
/proc/18517/stat : 18517 (python) S 18511 18511 17436 0 -1 4202560 914 0 0 0 2 2 0 0 15 0 1 0 869320863 305516544 9511 33554432000 4194304 5683644 140736388098384 18446744073709551615 208080252431 0 0 16781312 33554946 72556772316949225 0 0 17 6 0 0 0
/proc/18517/statm: 74589 9511 375 364 0 9476 0
[pid=18519] ppid=18517 vsize=8549752 CPUtime=11.69 cores=0,2,4,6
/proc/18519/stat : 18519 (java) S 18517 18519 18519 0 -1 4202496 226689 0 1 0 1143 26 0 0 22 0 19 0 869320863 8754946048 223627 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18519/statm: 2137438 223629 2241 9 0 2128179 0
[pid=18519/tid=18521] ppid=18517 vsize=8549752 CPUtime=10.17 cores=0,2,4,6
/proc/18519/task/18521/stat : 18521 (java) R 18517 18519 18519 0 -1 4202560 181947 0 1 0 995 22 0 0 25 0 19 0 869320864 8754946048 223630 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 46912505874702 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18519/tid=18522] ppid=18517 vsize=8549752 CPUtime=0.03 cores=0,2,4,6
/proc/18519/task/18522/stat : 18522 (java) S 18517 18519 18519 0 -1 4202560 2922 0 0 0 3 0 0 0 15 0 19 0 869320864 8754946048 223632 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446604453683192128 0 0 -1 4 0 0 0
[pid=18519/tid=18523] ppid=18517 vsize=8549752 CPUtime=0.03 cores=0,2,4,6
/proc/18519/task/18523/stat : 18523 (java) S 18517 18519 18519 0 -1 4202560 2889 0 0 0 3 0 0 0 16 0 19 0 869320864 8754946048 223635 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446604453683192128 0 0 -1 2 0 0 0
[pid=18519/tid=18524] ppid=18517 vsize=8549752 CPUtime=0.04 cores=0,2,4,6
/proc/18519/task/18524/stat : 18524 (java) S 18517 18519 18519 0 -1 4202560 4157 0 0 0 4 0 0 0 15 0 19 0 869320864 8754946048 223637 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446604453683192128 0 0 -1 0 0 0 0
[pid=18519/tid=18525] ppid=18517 vsize=8549752 CPUtime=0.04 cores=0,2,4,6
/proc/18519/task/18525/stat : 18525 (java) S 18517 18519 18519 0 -1 4202560 3981 0 0 0 4 0 0 0 15 0 19 0 869320864 8754946048 223639 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446604453683192128 0 0 -1 0 0 0 0
[pid=18519/tid=18526] ppid=18517 vsize=8549752 CPUtime=0.06 cores=0,2,4,6
/proc/18519/task/18526/stat : 18526 (java) S 18517 18519 18519 0 -1 4202560 6854 0 0 0 6 0 0 0 16 0 19 0 869320864 8754946048 223641 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446604453683192128 0 0 -1 6 0 0 0
[pid=18519/tid=18527] ppid=18517 vsize=8549752 CPUtime=0.04 cores=0,2,4,6
/proc/18519/task/18527/stat : 18527 (java) S 18517 18519 18519 0 -1 4202560 4459 0 0 0 4 0 0 0 16 0 19 0 869320864 8754946048 223643 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446604453683192128 0 0 -1 0 0 0 0
[pid=18519/tid=18528] ppid=18517 vsize=8549752 CPUtime=0.03 cores=0,2,4,6
/proc/18519/task/18528/stat : 18528 (java) S 18517 18519 18519 0 -1 4202560 3483 0 0 0 3 0 0 0 16 0 19 0 869320864 8754946048 223644 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446604453683192128 0 0 -1 4 0 0 0
[pid=18519/tid=18529] ppid=18517 vsize=8549752 CPUtime=0.06 cores=0,2,4,6
/proc/18519/task/18529/stat : 18529 (java) S 18517 18519 18519 0 -1 4202560 5373 0 0 0 6 0 0 0 15 0 19 0 869320864 8754946048 223646 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446604453683192128 0 0 -1 6 0 0 0
[pid=18519/tid=18530] ppid=18517 vsize=8549752 CPUtime=0 cores=0,2,4,6
/proc/18519/task/18530/stat : 18530 (java) S 18517 18519 18519 0 -1 4202560 458 0 0 0 0 0 0 0 15 0 19 0 869320865 8754946048 223648 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048896 0 0 0 16800975 18446604453683192128 0 0 -1 2 0 0 0
[pid=18519/tid=18531] ppid=18517 vsize=8549752 CPUtime=0 cores=0,2,4,6
/proc/18519/task/18531/stat : 18531 (java) S 18517 18519 18519 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 869320866 8754946048 223650 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446604453683192128 0 0 -1 2 0 0 0
[pid=18519/tid=18532] ppid=18517 vsize=8549752 CPUtime=0 cores=0,2,4,6
/proc/18519/task/18532/stat : 18532 (java) S 18517 18519 18519 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 869320866 8754946048 223652 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446604453683192128 0 0 -1 2 0 0 0
[pid=18519/tid=18545] ppid=18517 vsize=8549752 CPUtime=0 cores=0,2,4,6
/proc/18519/task/18545/stat : 18545 (java) S 18517 18519 18519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869320868 8754946048 223654 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092055985 0 4 0 16800975 18446604453683192128 0 0 -1 2 0 0 0
[pid=18519/tid=18546] ppid=18517 vsize=8549752 CPUtime=0.56 cores=0,2,4,6
/proc/18519/task/18546/stat : 18546 (java) S 18517 18519 18519 0 -1 4202560 3737 0 0 0 56 0 0 0 15 0 19 0 869320868 8754946048 223656 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446604453683192128 0 0 -1 2 0 0 0
[pid=18519/tid=18547] ppid=18517 vsize=8549752 CPUtime=0.52 cores=0,2,4,6
/proc/18519/task/18547/stat : 18547 (java) S 18517 18519 18519 0 -1 4202560 5052 0 0 0 52 0 0 0 15 0 19 0 869320868 8754946048 223658 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446604453683192128 0 0 -1 0 0 0 0
[pid=18519/tid=18548] ppid=18517 vsize=8549752 CPUtime=0 cores=0,2,4,6
/proc/18519/task/18548/stat : 18548 (java) S 18517 18519 18519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869320868 8754946048 223660 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446604453683192128 0 0 -1 6 0 0 0
[pid=18519/tid=18549] ppid=18517 vsize=8549752 CPUtime=0 cores=0,2,4,6
/proc/18519/task/18549/stat : 18549 (java) S 18517 18519 18519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869320868 8754946048 223660 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048896 0 4 0 16800975 18446604453683192128 0 0 -1 0 0 0 0
[pid=18519/tid=18562] ppid=18517 vsize=8549752 CPUtime=0 cores=0,2,4,6
/proc/18519/task/18562/stat : 18562 (java) S 18517 18519 18519 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869320956 8754946048 223662 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048896 0 4 0 16800975 18446604453683192128 0 0 -1 6 0 0 0
[pid=18511/tid=18518] ppid=18509 vsize=308600 CPUtime=0 cores=0,2,4,6
/proc/18511/task/18518/stat : 18518 (python) S 18509 18511 17436 0 -1 4202560 26 929 0 0 0 0 0 0 21 0 2 0 869320863 316006400 11012 33554432000 4194304 5683644 140736388098384 18446744073709551615 208092055985 0 0 16781312 33554434 18446604441401878528 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 13.83
Current children cumulated vsize (KiB) 9156708
[startup+25.501 s]
/proc/loadavg: 1.96 1.94 1.24 3/658 18666
/proc/meminfo: memFree=23563112/32950928 swapFree=38525204/67111528
[pid=18511] ppid=18509 vsize=308600 CPUtime=2.1 cores=0,2,4,6
/proc/18511/stat : 18511 (python) S 18509 18511 17436 0 -1 4202496 17013 929 1 0 196 14 0 0 21 0 2 0 869320626 316006400 11012 33554432000 4194304 5683644 140736388098384 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/18511/statm: 77150 11012 1872 364 0 12037 0
[pid=18517] ppid=18511 vsize=298356 CPUtime=0.08 cores=0,2,4,6
/proc/18517/stat : 18517 (python) S 18511 18511 17436 0 -1 4202560 1009 0 0 0 4 4 0 0 15 0 1 0 869320863 305516544 9516 33554432000 4194304 5683644 140736388098384 18446744073709551615 208080252431 0 0 16781312 33554946 72556772316949225 0 0 17 6 0 0 0
/proc/18517/statm: 74589 9516 380 364 0 9476 0
[pid=18519] ppid=18517 vsize=8549752 CPUtime=24.57 cores=0,2,4,6
/proc/18519/stat : 18519 (java) S 18517 18519 18519 0 -1 4202496 537777 0 1 0 2399 58 0 0 22 0 19 0 869320863 8754946048 534582 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
################
# More data... #
################
[pid=18807/tid=18813] ppid=18805 vsize=8544460 CPUtime=0 cores=0,2,4,6
/proc/18807/task/18813/stat : 18813 (java) S 18805 18807 18807 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869344297 8749527040 46251 33554432000 1073741824 1073778376 140736348526464 18446744073709551615 208092048281 0 4 0 16800975 18446604451337504704 0 0 -1 2 0 0 0
[pid=18807/tid=18814] ppid=18805 vsize=8544460 CPUtime=0 cores=0,2,4,6
/proc/18807/task/18814/stat : 18814 (java) S 18805 18807 18807 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869344297 8749527040 46251 33554432000 1073741824 1073778376 140736348526464 18446744073709551615 208092048281 0 4 0 16800975 18446604451337504704 0 0 -1 2 0 0 0
[pid=18807/tid=18815] ppid=18805 vsize=8544460 CPUtime=0 cores=0,2,4,6
/proc/18807/task/18815/stat : 18815 (java) S 18805 18807 18807 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869344297 8749527040 46251 33554432000 1073741824 1073778376 140736348526464 18446744073709551615 208092048281 0 4 0 16800975 18446604451337504704 0 0 -1 2 0 0 0
[pid=18807/tid=18816] ppid=18805 vsize=8544460 CPUtime=0 cores=0,2,4,6
/proc/18807/task/18816/stat : 18816 (java) S 18805 18807 18807 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869344297 8749527040 46251 33554432000 1073741824 1073778376 140736348526464 18446744073709551615 208092048281 0 4 0 16800975 18446604451337504704 0 0 -1 2 0 0 0
[pid=18807/tid=18817] ppid=18805 vsize=8544460 CPUtime=0 cores=0,2,4,6
/proc/18807/task/18817/stat : 18817 (java) S 18805 18807 18807 0 -1 4202560 71 0 0 0 0 0 0 0 19 0 18 0 869344298 8749527040 46251 33554432000 1073741824 1073778376 140736348526464 18446744073709551615 208092048896 0 0 0 16800975 18446604451337504704 0 0 -1 6 0 0 0
[pid=18807/tid=18818] ppid=18805 vsize=8544460 CPUtime=0 cores=0,2,4,6
/proc/18807/task/18818/stat : 18818 (java) S 18805 18807 18807 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 18 0 869344299 8749527040 46251 33554432000 1073741824 1073778376 140736348526464 18446744073709551615 208092048281 0 4 0 16800975 18446604451337504704 0 0 -1 6 0 0 0
[pid=18807/tid=18819] ppid=18805 vsize=8544460 CPUtime=0 cores=0,2,4,6
/proc/18807/task/18819/stat : 18819 (java) S 18805 18807 18807 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 18 0 869344299 8749527040 46251 33554432000 1073741824 1073778376 140736348526464 18446744073709551615 208092048281 0 4 0 16800975 18446604451337504704 0 0 -1 6 0 0 0
[pid=18807/tid=18820] ppid=18805 vsize=8544460 CPUtime=0 cores=0,2,4,6
/proc/18807/task/18820/stat : 18820 (java) S 18805 18807 18807 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869344301 8749527040 46251 33554432000 1073741824 1073778376 140736348526464 18446744073709551615 208092055985 0 4 0 16800975 18446604451337504704 0 0 -1 2 0 0 0
[pid=18807/tid=18821] ppid=18805 vsize=8544460 CPUtime=0.25 cores=0,2,4,6
/proc/18807/task/18821/stat : 18821 (java) S 18805 18807 18807 0 -1 4202560 2767 0 0 0 25 0 0 0 24 0 18 0 869344301 8749527040 46251 33554432000 1073741824 1073778376 140736348526464 18446744073709551615 208092048281 0 4 0 16800975 18446604451337504704 0 0 -1 0 0 0 0
[pid=18807/tid=18822] ppid=18805 vsize=8544460 CPUtime=0.27 cores=0,2,4,6
/proc/18807/task/18822/stat : 18822 (java) S 18805 18807 18807 0 -1 4202560 5051 0 0 0 27 0 0 0 18 0 18 0 869344301 8749527040 46251 33554432000 1073741824 1073778376 140736348526464 18446744073709551615 208092048281 0 4 0 16800975 18446604451337504704 0 0 -1 6 0 0 0
[pid=18807/tid=18823] ppid=18805 vsize=8544460 CPUtime=0 cores=0,2,4,6
/proc/18807/task/18823/stat : 18823 (java) S 18805 18807 18807 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869344301 8749527040 46251 33554432000 1073741824 1073778376 140736348526464 18446744073709551615 208092048281 0 4 0 16800975 18446604451337504704 0 0 -1 0 0 0 0
[pid=18807/tid=18824] ppid=18805 vsize=8544460 CPUtime=0 cores=0,2,4,6
/proc/18807/task/18824/stat : 18824 (java) S 18805 18807 18807 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 869344301 8749527040 46251 33554432000 1073741824 1073778376 140736348526464 18446744073709551615 208092048896 0 4 0 16800975 18446604451337504704 0 0 -1 2 0 0 0
[pid=18511/tid=18518] ppid=18509 vsize=339368 CPUtime=0 cores=0,2,4,6
/proc/18511/task/18518/stat : 18518 (python) S 18509 18511 17436 0 -1 4202560 30 929 0 0 0 0 0 0 18 0 5 0 869320863 347512832 11031 33554432000 4194304 5683644 140736388098384 18446744073709551615 208092055985 0 0 16781312 33554434 18446604441401878528 0 0 -1 6 0 0 0
[pid=18511/tid=18670] ppid=18509 vsize=339368 CPUtime=0 cores=0,2,4,6
/proc/18511/task/18670/stat : 18670 (python) S 18509 18511 17436 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 5 0 869325697 347512832 11031 33554432000 4194304 5683644 140736388098384 18446744073709551615 208092055985 0 0 16781312 33554434 18446604441401878528 0 0 -1 0 0 0 0
[pid=18511/tid=18791] ppid=18509 vsize=339368 CPUtime=0 cores=0,2,4,6
/proc/18511/task/18791/stat : 18791 (python) S 18509 18511 17436 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 5 0 869334952 347512832 11031 33554432000 4194304 5683644 140736388098384 18446744073709551615 208092055985 0 0 16781312 33554434 18446604441401878528 0 0 -1 0 0 0 0
[pid=18511/tid=18806] ppid=18509 vsize=339368 CPUtime=0 cores=0,2,4,6
/proc/18511/task/18806/stat : 18806 (python) S 18509 18511 17436 0 -1 4202560 32 929 0 0 0 0 0 0 20 0 5 0 869344295 347512832 11031 33554432000 4194304 5683644 140736388098384 18446744073709551615 208092055985 0 0 16781312 33554434 18446604441401878528 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 240.45
Current children cumulated vsize (KiB) 18762772
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+237.502 s]
/proc/loadavg: 2.02 2.00 1.40 4/715 18824
/proc/meminfo: memFree=20382584/32950928 swapFree=38525204/67111528
[pid=18511] ppid=18509 vsize=339368 CPUtime=2.21 cores=0,2,4,6
/proc/18511/stat : 18511 (python) S 18509 18511 17436 0 -1 4202496 19729 929 1 0 206 15 0 0 20 0 5 0 869320626 347512832 11031 33554432000 4194304 5683644 140736388098384 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/18511/statm: 84842 11031 1879 364 0 19720 0
[pid=18517] ppid=18511 vsize=308600 CPUtime=0.41 cores=0,2,4,6
/proc/18517/stat : 18517 (python) S 18511 18511 17436 0 -1 4202560 1192 0 0 0 21 20 0 0 15 0 2 0 869320863 316006400 9562 33554432000 4194304 5683644 140736388098384 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/18517/statm: 77150 9562 421 364 0 12037 0
[pid=18519] ppid=18517 vsize=8549752 CPUtime=94.98 cores=0,2,4,6
/proc/18519/stat : 18519 (java) T 18517 18519 18519 0 -1 4202496 544443 0 1 0 9439 59 0 0 18 0 19 0 869320863 8754946048 536317 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18519/statm: 2137438 536317 2256 9 0 2128179 0
[pid=18519/tid=18521] ppid=18517 vsize=8549752 CPUtime=92.89 cores=0,2,4,6
/proc/18519/task/18521/stat : 18521 (java) T 18517 18519 18519 0 -1 4202560 486019 0 1 0 9236 53 0 0 25 0 19 0 869320864 8754946048 536317 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 46912505908394 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=18519/tid=18522] ppid=18517 vsize=8549752 CPUtime=0.05 cores=0,2,4,6
/proc/18519/task/18522/stat : 18522 (java) T 18517 18519 18519 0 -1 4202560 3263 0 0 0 5 0 0 0 15 0 19 0 869320864 8754946048 536317 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=18519/tid=18523] ppid=18517 vsize=8549752 CPUtime=0.07 cores=0,2,4,6
/proc/18519/task/18523/stat : 18523 (java) T 18517 18519 18519 0 -1 4202560 4667 0 0 0 7 0 0 0 15 0 19 0 869320864 8754946048 536317 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=18519/tid=18524] ppid=18517 vsize=8549752 CPUtime=0.07 cores=0,2,4,6
/proc/18519/task/18524/stat : 18524 (java) T 18517 18519 18519 0 -1 4202560 4607 0 0 0 7 0 0 0 15 0 19 0 869320864 8754946048 536317 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18519/tid=18525] ppid=18517 vsize=8549752 CPUtime=0.07 cores=0,2,4,6
/proc/18519/task/18525/stat : 18525 (java) T 18517 18519 18519 0 -1 4202560 5875 0 0 0 7 0 0 0 15 0 19 0 869320864 8754946048 536317 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18519/tid=18526] ppid=18517 vsize=8549752 CPUtime=0.12 cores=0,2,4,6
/proc/18519/task/18526/stat : 18526 (java) T 18517 18519 18519 0 -1 4202560 8778 0 0 0 12 0 0 0 15 0 19 0 869320864 8754946048 536317 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=18519/tid=18527] ppid=18517 vsize=8549752 CPUtime=0.07 cores=0,2,4,6
/proc/18519/task/18527/stat : 18527 (java) T 18517 18519 18519 0 -1 4202560 5141 0 0 0 7 0 0 0 15 0 19 0 869320864 8754946048 536317 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=18519/tid=18528] ppid=18517 vsize=8549752 CPUtime=0.08 cores=0,2,4,6
/proc/18519/task/18528/stat : 18528 (java) T 18517 18519 18519 0 -1 4202560 5219 0 0 0 8 0 0 0 15 0 19 0 869320864 8754946048 536317 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18519/tid=18529] ppid=18517 vsize=8549752 CPUtime=0.09 cores=0,2,4,6
/proc/18519/task/18529/stat : 18529 (java) T 18517 18519 18519 0 -1 4202560 5984 0 0 0 9 0 0 0 15 0 19 0 869320864 8754946048 536317 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=18519/tid=18530] ppid=18517 vsize=8549752 CPUtime=0.17 cores=0,2,4,6
/proc/18519/task/18530/stat : 18530 (java) T 18517 18519 18519 0 -1 4202560 4700 0 0 0 17 0 0 0 15 0 19 0 869320865 8754946048 536317 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048896 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=18519/tid=18531] ppid=18517 vsize=8549752 CPUtime=0 cores=0,2,4,6
/proc/18519/task/18531/stat : 18531 (java) T 18517 18519 18519 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869320866 8754946048 536317 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=18519/tid=18532] ppid=18517 vsize=8549752 CPUtime=0 cores=0,2,4,6
/proc/18519/task/18532/stat : 18532 (java) T 18517 18519 18519 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869320866 8754946048 536317 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=18519/tid=18545] ppid=18517 vsize=8549752 CPUtime=0 cores=0,2,4,6
/proc/18519/task/18545/stat : 18545 (java) T 18517 18519 18519 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869320868 8754946048 536317 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092055985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=18519/tid=18546] ppid=18517 vsize=8549752 CPUtime=0.62 cores=0,2,4,6
/proc/18519/task/18546/stat : 18546 (java) T 18517 18519 18519 0 -1 4202560 3747 0 0 0 62 0 0 0 15 0 19 0 869320868 8754946048 536317 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=18519/tid=18547] ppid=18517 vsize=8549752 CPUtime=0.55 cores=0,2,4,6
/proc/18519/task/18547/stat : 18547 (java) T 18517 18519 18519 0 -1 4202560 5055 0 0 0 55 0 0 0 15 0 19 0 869320868 8754946048 536317 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18519/tid=18548] ppid=18517 vsize=8549752 CPUtime=0 cores=0,2,4,6
/proc/18519/task/18548/stat : 18548 (java) T 18517 18519 18519 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869320868 8754946048 536317 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18519/tid=18549] ppid=18517 vsize=8549752 CPUtime=0 cores=0,2,4,6
/proc/18519/task/18549/stat : 18549 (java) T 18517 18519 18519 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 869320868 8754946048 536317 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048896 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=18519/tid=18562] ppid=18517 vsize=8549752 CPUtime=0 cores=0,2,4,6
/proc/18519/task/18562/stat : 18562 (java) T 18517 18519 18519 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869320956 8754946048 536317 33554432000 1073741824 1073778376 140733327872656 18446744073709551615 208092048896 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18517/tid=18668] ppid=18511 vsize=308600 CPUtime=0 cores=0,2,4,6
/proc/18517/task/18668/stat : 18668 (python) S 18511 18511 17436 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 2 0 869325694 316006400 9562 33554432000 4194304 5683644 140736388098384 18446744073709551615 208092055985 0 0 16781312 33554946 18446604451058885824 0 0 -1 2 0 0 0
[pid=18669] ppid=18511 vsize=308612 CPUtime=0.25 cores=0,2,4,6
/proc/18669/stat : 18669 (python) S 18511 18511 17436 0 -1 4202560 1123 0 0 0 13 12 0 0 16 0 2 0 869325697 316018688 9537 33554432000 4194304 5683644 140736388098384 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/18669/statm: 77153 9537 396 364 0 12037 0
[pid=18671] ppid=18669 vsize=47840 CPUtime=47.43 cores=0,2,4,6
/proc/18671/stat : 18671 (wbo1.4a) T 18669 18671 18671 0 -1 4202496 12632 0 0 0 4738 5 0 0 25 0 1 0 869325697 48988160 11515 33554432000 134512640 135751879 4294748448 18446744073709551615 134620490 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/18671/statm: 11960 11515 146 303 0 11655 0
[pid=18669/tid=18695] ppid=18511 vsize=308612 CPUtime=0 cores=0,2,4,6
/proc/18669/task/18695/stat : 18695 (python) S 18511 18511 17436 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869330441 316018688 9537 33554432000 4194304 5683644 140736388098384 18446744073709551615 208092055985 0 0 16781312 33554946 18446604447432108096 0 0 -1 0 0 0 0
[pid=18790] ppid=18511 vsize=318868 CPUtime=0.39 cores=0,2,4,6
/proc/18790/stat : 18790 (python) S 18511 18511 17436 0 -1 4202560 1154 0 0 0 21 18 0 0 19 0 2 0 869334952 326520832 9541 33554432000 4194304 5683644 140736388098384 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/18790/statm: 79717 9541 396 364 0 14598 0
[pid=18792] ppid=18790 vsize=16148 CPUtime=93.37 cores=0,2,4,6
/proc/18792/stat : 18792 (clasp-1.3.7-x86) T 18790 18792 18792 0 -1 4202496 4059 0 0 0 9337 0 0 0 25 0 1 0 869334952 16535552 3703 33554432000 134512640 136139019 4294424656 18446744073709551615 134832391 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/18792/statm: 4037 3703 183 398 0 3637 0
[pid=18790/tid=18804] ppid=18511 vsize=318868 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18804/stat : 18804 (python) S 18511 18511 17436 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 869344293 326520832 9541 33554432000 4194304 5683644 140736388098384 18446744073709551615 208092055985 0 0 16781312 33554946 18446604447990450368 0 0 -1 6 0 0 0
[pid=18805] ppid=18511 vsize=329124 CPUtime=0 cores=0,2,4,6
/proc/18805/stat : 18805 (python) S 18511 18511 17436 0 -1 4202560 805 0 0 0 0 0 0 0 18 0 1 0 869344295 337022976 9496 33554432000 4194304 5683644 140736388098384 18446744073709551615 208080252486 0 0 16781312 33554946 3966490413405044736 0 0 17 0 0 0 0
/proc/18805/statm: 82281 9496 348 364 0 17159 0
[pid=18807] ppid=18805 vsize=8544460 CPUtime=1.41 cores=0,2,4,6
/proc/18807/stat : 18807 (java) S 18805 18807 18807 0 -1 4202496 48822 0 1 0 135 6 0 0 20 0 18 0 869344296 8749527040 46251 33554432000 1073741824 1073778376 140736348526464 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18807/statm: 2136115 46251 2222 9 0 2126856 0
[pid=18807/tid=18808] ppid=18805 vsize=8544460 CPUtime=0.8 cores=0,2,4,6
/proc/18807/task/18808/stat : 18808 (java) R 18805 18807 18807 0 -1 4202560 35190 0 1 0 76 4 0 0 18 0 18 0 869344297 8749527040 46251 33554432000 1073741824 1073778376 140736348526464 18446744073709551615 46912505518800 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18807/tid=18809] ppid=18805 vsize=8544460 CPUtime=0.02 cores=0,2,4,6
/proc/18807/task/18809/stat : 18809 (java) S 18805 18807 18807 0 -1 4202560 1683 0 0 0 2 0 0 0 16 0 18 0 869344297 8749527040 46251 33554432000 1073741824 1073778376 140736348526464 18446744073709551615 208092048281 0 4 0 16800975 18446604451337504704 0 0 -1 2 0 0 0
[pid=18807/tid=18810] ppid=18805 vsize=8544460 CPUtime=0.02 cores=0,2,4,6
/proc/18807/task/18810/stat : 18810 (java) S 18805 18807 18807 0 -1 4202560 1253 0 0 0 2 0 0 0 17 0 18 0 869344297 8749527040 46251 33554432000 1073741824 1073778376 140736348526464 18446744073709551615 208092048281 0 4 0 16800975 18446604451337504704 0 0 -1 0 0 0 0
[pid=18807/tid=18811] ppid=18805 vsize=8544460 CPUtime=0.02 cores=0,2,4,6
/proc/18807/task/18811/stat : 18811 (java) S 18805 18807 18807 0 -1 4202560 1418 0 0 0 2 0 0 0 18 0 18 0 869344297 8749527040 46251 33554432000 1073741824 1073778376 140736348526464 18446744073709551615 208092048281 0 4 0 16800975 18446604451337504704 0 0 -1 6 0 0 0
[pid=18807/tid=18812] ppid=18805 vsize=8544460 CPUtime=0 cores=0,2,4,6
/proc/18807/task/18812/stat : 18812 (java) S 18805 18807 18807 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869344297 8749527040 46251 33554432000 1073741824 1073778376 140736348526464 18446744073709551615 208092048281 0 4 0 16800975 18446604451337504704 0 0 -1 2 0 0 0
[pid=18807/tid=18813] ppid=18805 vsize=8544460 CPUtime=0 cores=0,2,4,6
/proc/18807/task/18813/stat : 18813 (java) S 18805 18807 18807 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869344297 8749527040 46251 33554432000 1073741824 1073778376 140736348526464 18446744073709551615 208092048281 0 4 0 16800975 18446604451337504704 0 0 -1 2 0 0 0
[pid=18807/tid=18814] ppid=18805 vsize=8544460 CPUtime=0 cores=0,2,4,6
/proc/18807/task/18814/stat : 18814 (java) S 18805 18807 18807 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869344297 8749527040 46251 33554432000 1073741824 1073778376 140736348526464 18446744073709551615 208092048281 0 4 0 16800975 18446604451337504704 0 0 -1 2 0 0 0
[pid=18807/tid=18815] ppid=18805 vsize=8544460 CPUtime=0 cores=0,2,4,6
/proc/18807/task/18815/stat : 18815 (java) S 18805 18807 18807 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869344297 8749527040 46251 33554432000 1073741824 1073778376 140736348526464 18446744073709551615 208092048281 0 4 0 16800975 18446604451337504704 0 0 -1 2 0 0 0
[pid=18807/tid=18816] ppid=18805 vsize=8544460 CPUtime=0 cores=0,2,4,6
/proc/18807/task/18816/stat : 18816 (java) S 18805 18807 18807 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869344297 8749527040 46251 33554432000 1073741824 1073778376 140736348526464 18446744073709551615 208092048281 0 4 0 16800975 18446604451337504704 0 0 -1 2 0 0 0
[pid=18807/tid=18817] ppid=18805 vsize=8544460 CPUtime=0 cores=0,2,4,6
/proc/18807/task/18817/stat : 18817 (java) S 18805 18807 18807 0 -1 4202560 71 0 0 0 0 0 0 0 19 0 18 0 869344298 8749527040 46251 33554432000 1073741824 1073778376 140736348526464 18446744073709551615 208092048896 0 0 0 16800975 18446604451337504704 0 0 -1 6 0 0 0
[pid=18807/tid=18818] ppid=18805 vsize=8544460 CPUtime=0 cores=0,2,4,6
/proc/18807/task/18818/stat : 18818 (java) S 18805 18807 18807 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 18 0 869344299 8749527040 46251 33554432000 1073741824 1073778376 140736348526464 18446744073709551615 208092048281 0 4 0 16800975 18446604451337504704 0 0 -1 6 0 0 0
[pid=18807/tid=18819] ppid=18805 vsize=8544460 CPUtime=0 cores=0,2,4,6
/proc/18807/task/18819/stat : 18819 (java) S 18805 18807 18807 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 18 0 869344299 8749527040 46251 33554432000 1073741824 1073778376 140736348526464 18446744073709551615 208092048281 0 4 0 16800975 18446604451337504704 0 0 -1 6 0 0 0
[pid=18807/tid=18820] ppid=18805 vsize=8544460 CPUtime=0 cores=0,2,4,6
/proc/18807/task/18820/stat : 18820 (java) S 18805 18807 18807 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869344301 8749527040 46251 33554432000 1073741824 1073778376 140736348526464 18446744073709551615 208092055985 0 4 0 16800975 18446604451337504704 0 0 -1 2 0 0 0
[pid=18807/tid=18821] ppid=18805 vsize=8544460 CPUtime=0.25 cores=0,2,4,6
/proc/18807/task/18821/stat : 18821 (java) S 18805 18807 18807 0 -1 4202560 2767 0 0 0 25 0 0 0 24 0 18 0 869344301 8749527040 46251 33554432000 1073741824 1073778376 140736348526464 18446744073709551615 208092048281 0 4 0 16800975 18446604451337504704 0 0 -1 0 0 0 0
[pid=18807/tid=18822] ppid=18805 vsize=8544460 CPUtime=0.27 cores=0,2,4,6
/proc/18807/task/18822/stat : 18822 (java) S 18805 18807 18807 0 -1 4202560 5051 0 0 0 27 0 0 0 18 0 18 0 869344301 8749527040 46251 33554432000 1073741824 1073778376 140736348526464 18446744073709551615 208092048281 0 4 0 16800975 18446604451337504704 0 0 -1 6 0 0 0
[pid=18807/tid=18823] ppid=18805 vsize=8544460 CPUtime=0 cores=0,2,4,6
/proc/18807/task/18823/stat : 18823 (java) S 18805 18807 18807 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869344301 8749527040 46251 33554432000 1073741824 1073778376 140736348526464 18446744073709551615 208092048281 0 4 0 16800975 18446604451337504704 0 0 -1 0 0 0 0
[pid=18807/tid=18824] ppid=18805 vsize=8544460 CPUtime=0 cores=0,2,4,6
/proc/18807/task/18824/stat : 18824 (java) S 18805 18807 18807 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 869344301 8749527040 46251 33554432000 1073741824 1073778376 140736348526464 18446744073709551615 208092048896 0 4 0 16800975 18446604451337504704 0 0 -1 2 0 0 0
[pid=18511/tid=18518] ppid=18509 vsize=339368 CPUtime=0 cores=0,2,4,6
/proc/18511/task/18518/stat : 18518 (python) S 18509 18511 17436 0 -1 4202560 30 929 0 0 0 0 0 0 18 0 5 0 869320863 347512832 11031 33554432000 4194304 5683644 140736388098384 18446744073709551615 208092055985 0 0 16781312 33554434 18446604441401878528 0 0 -1 6 0 0 0
[pid=18511/tid=18670] ppid=18509 vsize=339368 CPUtime=0 cores=0,2,4,6
/proc/18511/task/18670/stat : 18670 (python) S 18509 18511 17436 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 5 0 869325697 347512832 11031 33554432000 4194304 5683644 140736388098384 18446744073709551615 208092055985 0 0 16781312 33554434 18446604441401878528 0 0 -1 0 0 0 0
[pid=18511/tid=18791] ppid=18509 vsize=339368 CPUtime=0 cores=0,2,4,6
/proc/18511/task/18791/stat : 18791 (python) S 18509 18511 17436 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 5 0 869334952 347512832 11031 33554432000 4194304 5683644 140736388098384 18446744073709551615 208092055985 0 0 16781312 33554434 18446604441401878528 0 0 -1 0 0 0 0
[pid=18511/tid=18806] ppid=18509 vsize=339368 CPUtime=0 cores=0,2,4,6
/proc/18511/task/18806/stat : 18806 (python) S 18509 18511 17436 0 -1 4202560 32 929 0 0 0 0 0 0 20 0 5 0 869344295 347512832 11031 33554432000 4194304 5683644 140736388098384 18446744073709551615 208092055985 0 0 16781312 33554434 18446604441401878528 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 240.45
Current children cumulated vsize (KiB) 18762772
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18511 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=67685
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=155976
# CPU time returned by wait4() is 2.22366
# while last known CPU time is 240.45
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 237.58
CPU time (s): 240.45
CPU user time (s): 239.1
CPU system time (s): 1.35
CPU usage (%): 101.208
Max. virtual memory (cumulated for all children) (KiB): 18762772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.06768
system time used= 0.155976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20659
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= 2864
involuntary context switches= 29
runsolver used 1.58776 second user time and 2.91756 second system time
The end