runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (4146 MiB free)
memory of node 1: 16384 MiB (3668 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403598-1568990233/watcher-4403598-1568990233 -o /var/tmp/evaluation-result-4403598-1568990233/solver-4403598-1568990233 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node145-1568987924-19057 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1678708554 HOME/instance-4403598-1568990233.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=21846, runsolver pid=21843
Current StackSize limit: 8192 KiB
[startup+0.102615 s]*
/proc/loadavg: 8.69 8.74 7.76 7/234 21862
/proc/meminfo: memFree=7985064/32770624 swapFree=66966844/67108860
[pid=21846] ppid=21843 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21846/stat : 21846 (xcsp3-exec) S 21843 21846 19026 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474959784 115843072 363 33554432000 4194304 5098028 140725641732768 140725641730872 140080221794940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33824768 140725641741142 140725641741401 140725641741401 140725641744326 0
/proc/21846/statm: 28282 363 304 221 0 87 0
[pid=21848] ppid=21846 vsize=15144776 memory=30400 CPUtime=0.14 cores=0,2,4,6
/proc/21848/stat : 21848 (java) S 21846 21846 19026 0 -1 1077944320 5503 0 0 0 13 1 0 0 20 0 15 0 474959784 15508250624 7600 33554432000 4194304 4196468 140733720268400 140733720250944 140495933161207 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
/proc/21848/statm: 3786194 7600 3163 1 0 3748377 0
[pid=21848/tid=21849] ppid=21846 vsize=15144776 memory=8180089925722843723 CPUtime=0.09 cores=0,2,4,6
/proc/21848/task/21849/stat : 21849 (java) R 21846 21846 19026 0 -1 4202560 3393 0 0 0 9 0 0 0 20 0 15 0 474959785 15508250624 7600 33554432000 4194304 4196468 140733720268400 140495937393304 140495933173142 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21850] ppid=21846 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21850/stat : 21850 (java) S 21846 21846 19026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474959785 15508250624 7600 33554432000 4194304 4196468 140733720268400 140495898442896 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21851] ppid=21846 vsize=15144776 memory=139954709636736 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21851/stat : 21851 (java) S 21846 21846 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474959785 15508250624 7600 33554432000 4194304 4196468 140733720268400 140495524047888 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21852] ppid=21846 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21852/stat : 21852 (java) S 21846 21846 19026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474959785 15508250624 7600 33554432000 4194304 4196468 140733720268400 140495522995088 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21853] ppid=21846 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21853/stat : 21853 (java) S 21846 21846 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474959785 15508250624 7600 33554432000 4194304 4196468 140733720268400 140495521942288 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21854] ppid=21846 vsize=15144776 memory=139954709636736 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21854/stat : 21854 (java) S 21846 21846 19026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474959787 15508250624 7600 33554432000 4194304 4196468 140733720268400 140495401613680 140495933172354 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21855] ppid=21846 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21855/stat : 21855 (java) S 21846 21846 19026 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474959787 15508250624 7600 33554432000 4194304 4196468 140733720268400 140495400559648 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21856] ppid=21846 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21856/stat : 21856 (java) S 21846 21846 19026 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474959787 15508250624 7600 33554432000 4194304 4196468 140733720268400 140495399506800 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21857] ppid=21846 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21857/stat : 21857 (java) S 21846 21846 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474959790 15508250624 7600 33554432000 4194304 4196468 140733720268400 140495398455120 140495933179803 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21858] ppid=21846 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21858/stat : 21858 (java) R 21846 21846 19026 0 -1 4202560 332 0 0 0 0 0 0 0 20 0 15 0 474959790 15508250624 7600 33554432000 4194304 4196468 140733720268400 140495397395152 140495916653769 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21859] ppid=21846 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21859/stat : 21859 (java) R 21846 21846 19026 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 474959790 15508250624 7600 33554432000 4194304 4196468 140733720268400 140495396350800 140495933171413 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21860] ppid=21846 vsize=15144776 memory=139954709636736 CPUtime=0.02 cores=0,2,4,6
/proc/21848/task/21860/stat : 21860 (java) R 21846 21846 19026 0 -1 4202560 349 0 0 0 2 0 0 0 20 0 15 0 474959790 15508250624 7600 33554432000 4194304 4196468 140733720268400 140495395297904 140495933182554 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21861] ppid=21846 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21861/stat : 21861 (java) S 21846 21846 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474959790 15508250624 7600 33554432000 4194304 4196468 140733720268400 140495394245344 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21862] ppid=21846 vsize=15144776 memory=139954709636736 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21862/stat : 21862 (java) S 21846 21846 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474959790 15508250624 7600 33554432000 4194304 4196468 140733720268400 140495393192624 140495933172354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31852 KiB
[startup+0.211737 s]*
/proc/loadavg: 8.69 8.74 7.76 7/234 21862
/proc/meminfo: memFree=7977952/32770624 swapFree=66966844/67108860
[pid=21846] ppid=21843 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21846/stat : 21846 (xcsp3-exec) S 21843 21846 19026 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474959784 115843072 363 33554432000 4194304 5098028 140725641732768 140725641730872 140080221794940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33824768 140725641741142 140725641741401 140725641741401 140725641744326 0
/proc/21846/statm: 28282 363 304 221 0 87 0
[pid=21848] ppid=21846 vsize=15144776 memory=41000 CPUtime=0.34 cores=0,2,4,6
/proc/21848/stat : 21848 (java) S 21846 21846 19026 0 -1 1077944320 9010 0 0 0 32 2 0 0 20 0 15 0 474959784 15508250624 10250 33554432000 4194304 4196468 140733720268400 140733720250944 140495933161207 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
/proc/21848/statm: 3786194 10250 3278 1 0 3748377 0
[pid=21848/tid=21849] ppid=21846 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/21848/task/21849/stat : 21849 (java) R 21846 21846 19026 0 -1 4202560 6166 0 0 0 18 2 0 0 20 0 15 0 474959785 15508250624 10250 33554432000 4194304 4196468 140733720268400 140495937397968 140495933183133 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21850] ppid=21846 vsize=15144776 memory=9276 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21850/stat : 21850 (java) S 21846 21846 19026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474959785 15508250624 10250 33554432000 4194304 4196468 140733720268400 140495898442896 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21851] ppid=21846 vsize=15144776 memory=3528903 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21851/stat : 21851 (java) S 21846 21846 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474959785 15508250624 10250 33554432000 4194304 4196468 140733720268400 140495524047888 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21852] ppid=21846 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21852/stat : 21852 (java) S 21846 21846 19026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474959785 15508250624 10250 33554432000 4194304 4196468 140733720268400 140495522995088 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21853] ppid=21846 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21853/stat : 21853 (java) S 21846 21846 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474959785 15508250624 10250 33554432000 4194304 4196468 140733720268400 140495521942288 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21854] ppid=21846 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21854/stat : 21854 (java) S 21846 21846 19026 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474959787 15508250624 10250 33554432000 4194304 4196468 140733720268400 140495401613680 140495933172354 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21855] ppid=21846 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21855/stat : 21855 (java) S 21846 21846 19026 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474959787 15508250624 10250 33554432000 4194304 4196468 140733720268400 140495400559648 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21856] ppid=21846 vsize=15144776 memory=139954709636736 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21856/stat : 21856 (java) S 21846 21846 19026 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474959787 15508250624 10250 33554432000 4194304 4196468 140733720268400 140495399506800 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21857] ppid=21846 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21857/stat : 21857 (java) S 21846 21846 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474959790 15508250624 10250 33554432000 4194304 4196468 140733720268400 140495398455120 140495933179803 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21858] ppid=21846 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21848/task/21858/stat : 21858 (java) S 21846 21846 19026 0 -1 1077944384 379 0 0 0 2 0 0 0 20 0 15 0 474959790 15508250624 10250 33554432000 4194304 4196468 140733720268400 140495397403504 140495933172354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21859] ppid=21846 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/21848/task/21859/stat : 21859 (java) S 21846 21846 19026 0 -1 1077944384 373 0 0 0 2 0 0 0 20 0 15 0 474959790 15508250624 10250 33554432000 4194304 4196468 140733720268400 140495396350704 140495933172354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21860] ppid=21846 vsize=15144776 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21848/task/21860/stat : 21860 (java) S 21846 21846 19026 0 -1 1077944384 785 0 0 0 8 0 0 0 20 0 15 0 474959790 15508250624 10250 33554432000 4194304 4196468 140733720268400 140495395297904 140495933172354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21861] ppid=21846 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21861/stat : 21861 (java) S 21846 21846 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474959790 15508250624 10250 33554432000 4194304 4196468 140733720268400 140495394245344 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21862] ppid=21846 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21862/stat : 21862 (java) S 21846 21846 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474959790 15508250624 10250 33554432000 4194304 4196468 140733720268400 140495393192624 140495933172354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42452 KiB
[startup+0.310613 s]*
/proc/loadavg: 8.69 8.74 7.76 7/234 21862
/proc/meminfo: memFree=7969948/32770624 swapFree=66966844/67108860
[pid=21846] ppid=21843 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21846/stat : 21846 (xcsp3-exec) S 21843 21846 19026 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474959784 115843072 363 33554432000 4194304 5098028 140725641732768 140725641730872 140080221794940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33824768 140725641741142 140725641741401 140725641741401 140725641744326 0
/proc/21846/statm: 28282 363 304 221 0 87 0
[pid=21848] ppid=21846 vsize=15149032 memory=49976 CPUtime=0.53 cores=0,2,4,6
/proc/21848/stat : 21848 (java) S 21846 21846 19026 0 -1 1077944320 10326 0 0 0 50 3 0 0 20 0 15 0 474959784 15512608768 12494 33554432000 4194304 4196468 140733720268400 140733720250944 140495933161207 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
/proc/21848/statm: 3787258 12494 3337 1 0 3748377 0
[pid=21848/tid=21849] ppid=21846 vsize=15149032 memory=7883960649037381690 CPUtime=0.29 cores=0,2,4,6
/proc/21848/task/21849/stat : 21849 (java) R 21846 21846 19026 0 -1 4202560 7262 0 0 0 27 2 0 0 20 0 15 0 474959785 15512608768 12494 33554432000 4194304 4196468 140733720268400 140495937392320 140495933183133 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21850] ppid=21846 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21850/stat : 21850 (java) S 21846 21846 19026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474959785 15512608768 12494 33554432000 4194304 4196468 140733720268400 140495898442896 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21851] ppid=21846 vsize=15149032 memory=3525167 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21851/stat : 21851 (java) S 21846 21846 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474959785 15512608768 12494 33554432000 4194304 4196468 140733720268400 140495524047888 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21852] ppid=21846 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21852/stat : 21852 (java) S 21846 21846 19026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474959785 15512608768 12494 33554432000 4194304 4196468 140733720268400 140495522995088 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21853] ppid=21846 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21853/stat : 21853 (java) S 21846 21846 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474959785 15512608768 12494 33554432000 4194304 4196468 140733720268400 140495521942288 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21854] ppid=21846 vsize=15149032 memory=139954709636736 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21854/stat : 21854 (java) S 21846 21846 19026 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474959787 15512608768 12494 33554432000 4194304 4196468 140733720268400 140495401613680 140495933172354 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21855] ppid=21846 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21855/stat : 21855 (java) S 21846 21846 19026 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474959787 15512608768 12494 33554432000 4194304 4196468 140733720268400 140495400559648 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21856] ppid=21846 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21856/stat : 21856 (java) S 21846 21846 19026 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474959787 15512608768 12494 33554432000 4194304 4196468 140733720268400 140495399506800 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21857] ppid=21846 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21857/stat : 21857 (java) S 21846 21846 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474959790 15512608768 12494 33554432000 4194304 4196468 140733720268400 140495398455120 140495933179803 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21858] ppid=21846 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/21848/task/21858/stat : 21858 (java) R 21846 21846 19026 0 -1 4202560 516 0 0 0 4 0 0 0 20 0 15 0 474959790 15512608768 12494 33554432000 4194304 4196468 140733720268400 140495397402688 140495914679089 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21859] ppid=21846 vsize=15149032 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/21848/task/21859/stat : 21859 (java) S 21846 21846 19026 0 -1 1077944384 384 0 0 0 3 0 0 0 20 0 15 0 474959790 15512608768 12494 33554432000 4194304 4196468 140733720268400 140495396350704 140495933172354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21860] ppid=21846 vsize=15149032 memory=139954709636736 CPUtime=0.13 cores=0,2,4,6
/proc/21848/task/21860/stat : 21860 (java) S 21846 21846 19026 0 -1 1077944384 864 0 0 0 13 0 0 0 20 0 15 0 474959790 15512608768 12494 33554432000 4194304 4196468 140733720268400 140495395297904 140495933172354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21861] ppid=21846 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21861/stat : 21861 (java) S 21846 21846 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474959790 15512608768 12494 33554432000 4194304 4196468 140733720268400 140495394245344 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21862] ppid=21846 vsize=15149032 memory=139954709636736 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21862/stat : 21862 (java) S 21846 21846 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474959790 15512608768 12494 33554432000 4194304 4196468 140733720268400 140495393192624 140495933172354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51428 KiB
[startup+0.70086 s]
/proc/loadavg: 8.69 8.74 7.76 7/234 21862
/proc/meminfo: memFree=7946412/32770624 swapFree=66966844/67108860
[pid=21846] ppid=21843 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21846/stat : 21846 (xcsp3-exec) S 21843 21846 19026 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474959784 115843072 363 33554432000 4194304 5098028 140725641732768 140725641730872 140080221794940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33824768 140725641741142 140725641741401 140725641741401 140725641744326 0
/proc/21846/statm: 28282 363 304 221 0 87 0
[pid=21848] ppid=21846 vsize=15151156 memory=130916 CPUtime=1.75 cores=0,2,4,6
/proc/21848/stat : 21848 (java) S 21846 21846 19026 0 -1 1077944320 13618 0 0 0 169 6 0 0 20 0 15 0 474959784 15514783744 32729 33554432000 4194304 4196468 140733720268400 140733720250944 140495933161207 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
/proc/21848/statm: 3787789 32729 3449 1 0 3748889 0
[pid=21848/tid=21849] ppid=21846 vsize=15151156 memory=2120 CPUtime=0.68 cores=0,2,4,6
/proc/21848/task/21849/stat : 21849 (java) R 21846 21846 19026 0 -1 4202560 7830 0 0 0 64 4 0 0 20 0 15 0 474959785 15514783744 32729 33554432000 4194304 4196468 140733720268400 140495937395088 140495572498534 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21850] ppid=21846 vsize=15151156 memory=508 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21850/stat : 21850 (java) S 21846 21846 19026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474959785 15514783744 32729 33554432000 4194304 4196468 140733720268400 140495898442896 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21851] ppid=21846 vsize=15151156 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21851/stat : 21851 (java) S 21846 21846 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474959785 15514783744 32729 33554432000 4194304 4196468 140733720268400 140495524047888 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21852] ppid=21846 vsize=15151156 memory=932 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21852/stat : 21852 (java) S 21846 21846 19026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474959785 15514783744 32729 33554432000 4194304 4196468 140733720268400 140495522995088 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21853] ppid=21846 vsize=15151156 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21853/stat : 21853 (java) S 21846 21846 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474959785 15514783744 32729 33554432000 4194304 4196468 140733720268400 140495521942288 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21854] ppid=21846 vsize=15151156 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21854/stat : 21854 (java) S 21846 21846 19026 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474959787 15514783744 32729 33554432000 4194304 4196468 140733720268400 140495401613680 140495933172354 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21855] ppid=21846 vsize=15151156 memory=864 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21855/stat : 21855 (java) S 21846 21846 19026 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474959787 15514783744 32729 33554432000 4194304 4196468 140733720268400 140495400559648 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21856] ppid=21846 vsize=15151156 memory=1976 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21856/stat : 21856 (java) S 21846 21846 19026 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474959787 15514783744 32729 33554432000 4194304 4196468 140733720268400 140495399506800 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21857] ppid=21846 vsize=15151156 memory=2496 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21857/stat : 21857 (java) S 21846 21846 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474959790 15514783744 32729 33554432000 4194304 4196468 140733720268400 140495398455120 140495933179803 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21858] ppid=21846 vsize=15151156 memory=7302135314614015842 CPUtime=0.38 cores=0,2,4,6
/proc/21848/task/21858/stat : 21858 (java) R 21846 21846 19026 0 -1 4202560 1534 0 0 0 38 0 0 0 20 0 15 0 474959790 15514783744 32729 33554432000 4194304 4196468 140733720268400 140495397388288 140495916660573 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21859] ppid=21846 vsize=15151156 memory=5932759578854581612 CPUtime=0.37 cores=0,2,4,6
/proc/21848/task/21859/stat : 21859 (java) R 21846 21846 19026 0 -1 4202560 1282 0 0 0 37 0 0 0 20 0 15 0 474959790 15514783744 32729 33554432000 4194304 4196468 140733720268400 140495396343896 140495916546464 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21860] ppid=21846 vsize=15151156 memory=7223887401239728208 CPUtime=0.29 cores=0,2,4,6
/proc/21848/task/21860/stat : 21860 (java) S 21846 21846 19026 0 -1 1077944384 1663 0 0 0 29 0 0 0 20 0 15 0 474959790 15514783744 32729 33554432000 4194304 4196468 140733720268400 140495395297904 140495933172354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21861] ppid=21846 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21861/stat : 21861 (java) S 21846 21846 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474959790 15514783744 32729 33554432000 4194304 4196468 140733720268400 140495394245344 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21862] ppid=21846 vsize=15151156 memory=7451600730414739299 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21862/stat : 21862 (java) S 21846 21846 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474959790 15514783744 32729 33554432000 4194304 4196468 140733720268400 140495393192624 140495933172354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 132368 KiB
[startup+1.50087 s]
/proc/loadavg: 8.69 8.74 7.76 8/234 21862
/proc/meminfo: memFree=7821716/32770624 swapFree=66966844/67108860
[pid=21846] ppid=21843 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21846/stat : 21846 (xcsp3-exec) S 21843 21846 19026 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474959784 115843072 363 33554432000 4194304 5098028 140725641732768 140725641730872 140080221794940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33824768 140725641741142 140725641741401 140725641741401 140725641744326 0
/proc/21846/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
# cumulated CPU time of all completed processes: user=0.002222 s, system=0 s
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+772.244 s]
# the end of solver process 21848 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2490.43 s, system=38.2518 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+771.201 s]
/proc/loadavg: 6.67 7.07 7.33 9/233 22012
/proc/meminfo: memFree=206720/32770624 swapFree=66966844/67108860
[pid=21848] ppid=21843 vsize=15486024 memory=12629804 CPUtime=2525.8 cores=0,2,4,6
/proc/21848/stat : 21848 (java) S 21843 21846 19026 0 -1 1077944320 16306246 0 0 0 248812 3768 0 0 20 0 20 0 474959784 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140733720250944 140495933161207 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
/proc/21848/statm: 3871506 3157451 3555 1 0 3832606 0
[pid=21848/tid=21849] ppid=21843 vsize=15486024 memory=14080 CPUtime=30.81 cores=0,2,4,6
/proc/21848/task/21849/stat : 21849 (java) S 21843 21846 19026 0 -1 1077944384 17995 0 0 0 3068 13 0 0 20 0 20 0 474959785 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495937401984 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21850] ppid=21843 vsize=15486024 memory=30348 CPUtime=151.56 cores=0,2,4,6
/proc/21848/task/21850/stat : 21850 (java) R 21843 21846 19026 0 -1 4202560 3909364 0 0 0 14246 910 0 0 20 0 20 0 474959785 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495898442784 140495918112233 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21851] ppid=21843 vsize=15486024 memory=1452 CPUtime=151.25 cores=0,2,4,6
/proc/21848/task/21851/stat : 21851 (java) R 21843 21846 19026 0 -1 4202560 3277218 0 0 0 14279 846 0 0 20 0 20 0 474959785 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495524048088 140495918112233 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21852] ppid=21843 vsize=15486024 memory=12629640 CPUtime=151.89 cores=0,2,4,6
/proc/21848/task/21852/stat : 21852 (java) R 21843 21846 19026 0 -1 4202560 3795695 0 0 0 14307 882 0 0 20 0 20 0 474959785 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495522995288 140495918112370 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21853] ppid=21843 vsize=15486024 memory=12821852 CPUtime=151.99 cores=0,2,4,6
/proc/21848/task/21853/stat : 21853 (java) R 21843 21846 19026 0 -1 12591168 3289049 0 0 0 14327 872 0 0 20 0 20 0 474959785 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495521942488 140495918112331 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21854] ppid=21843 vsize=15486024 memory=4872558044660077418 CPUtime=4.83 cores=0,2,4,6
/proc/21848/task/21854/stat : 21854 (java) S 21843 21846 19026 0 -1 1077944384 139165 0 0 0 468 15 0 0 20 0 20 0 474959787 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495401612000 140495933171413 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21855] ppid=21843 vsize=15486024 memory=12629640 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21855/stat : 21855 (java) S 21843 21846 19026 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 474959787 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495400559712 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21856] ppid=21843 vsize=15486024 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21856/stat : 21856 (java) S 21843 21846 19026 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 20 0 474959787 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495399506816 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21857] ppid=21843 vsize=15486024 memory=3252 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21857/stat : 21857 (java) S 21843 21846 19026 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 20 0 474959790 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495398455120 140495933179803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21858] ppid=21843 vsize=15486024 memory=6791534058613427641 CPUtime=4.47 cores=0,2,4,6
/proc/21848/task/21858/stat : 21858 (java) S 21843 21846 19026 0 -1 1077944384 32345 0 0 0 444 3 0 0 20 0 20 0 474959790 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495397403504 140495933172354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21859] ppid=21843 vsize=15486024 memory=1412 CPUtime=4.85 cores=0,2,4,6
/proc/21848/task/21859/stat : 21859 (java) S 21843 21846 19026 0 -1 1077944384 29305 0 0 0 483 2 0 0 20 0 20 0 474959790 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495396350704 140495933172354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21860] ppid=21843 vsize=15486024 memory=3364 CPUtime=0.95 cores=0,2,4,6
/proc/21848/task/21860/stat : 21860 (java) S 21843 21846 19026 0 -1 1077944384 13484 0 0 0 93 2 0 0 20 0 20 0 474959790 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495395297904 140495933172354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21861] ppid=21843 vsize=15486024 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21861/stat : 21861 (java) S 21843 21846 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 474959790 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495394245344 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21862] ppid=21843 vsize=15486024 memory=12629640 CPUtime=0.44 cores=0,2,4,6
/proc/21848/task/21862/stat : 21862 (java) S 21843 21846 19026 0 -1 1077944384 2481 0 0 0 21 23 0 0 20 0 20 0 474959790 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495393192624 140495933172354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21870] ppid=21843 vsize=15486024 memory=12629640 CPUtime=580.72 cores=0,2,4,6
/proc/21848/task/21870/stat : 21870 (java) S 21843 21846 19026 0 -1 1077944384 768462 0 0 0 58000 72 0 0 20 0 20 0 474968655 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495384209904 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21871] ppid=21843 vsize=15486024 memory=3608 CPUtime=131.53 cores=0,2,4,6
/proc/21848/task/21871/stat : 21871 (java) S 21843 21846 19026 0 -1 1077944384 672411 0 0 0 13086 67 0 0 20 0 20 0 474968655 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495383163728 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21872] ppid=21843 vsize=15486024 memory=54848 CPUtime=580.38 cores=0,2,4,6
/proc/21848/task/21872/stat : 21872 (java) S 21843 21846 19026 0 -1 1077944384 325161 0 0 0 58000 38 0 0 20 0 20 0 474968655 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495382105696 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21873] ppid=21843 vsize=15486024 memory=988 CPUtime=580 cores=0,2,4,6
/proc/21848/task/21873/stat : 21873 (java) S 21843 21846 19026 0 -1 1077944384 32397 0 0 0 57979 21 0 0 20 0 20 0 474968655 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495381054256 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=22012] ppid=21843 vsize=15486024 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/21848/task/22012/stat : 22012 (java) S 21843 21846 19026 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 20 0 475036765 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495377903424 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
Current cumulated CPU time of completed processes: 0.002222 s
Current children cumulated CPU time: 2525.8 s
Current children cumulated vsize: 15486024 KiB
Current children cumulated memory: 12629804 KiB
[startup+771.601 s]
/proc/loadavg: 6.67 7.07 7.33 9/233 22012
/proc/meminfo: memFree=206720/32770624 swapFree=66966844/67108860
[pid=21848] ppid=21843 vsize=15486024 memory=12629804 CPUtime=2527.4 cores=0,2,4,6
/proc/21848/stat : 21848 (java) S 21843 21846 19026 0 -1 1077944320 16445897 0 0 0 248963 3777 0 0 20 0 20 0 474959784 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140733720250944 140495933161207 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
/proc/21848/statm: 3871506 3157451 3555 1 0 3832606 0
[pid=21848/tid=21849] ppid=21843 vsize=15486024 memory=1452 CPUtime=30.81 cores=0,2,4,6
/proc/21848/task/21849/stat : 21849 (java) S 21843 21846 19026 0 -1 1077944384 17995 0 0 0 3068 13 0 0 20 0 20 0 474959785 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495937401984 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21850] ppid=21843 vsize=15486024 memory=12629640 CPUtime=151.97 cores=0,2,4,6
/proc/21848/task/21850/stat : 21850 (java) R 21843 21846 19026 0 -1 4202560 3953872 0 0 0 14284 913 0 0 20 0 20 0 474959785 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495898442784 140495918112331 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21851] ppid=21843 vsize=15486024 memory=30348 CPUtime=151.64 cores=0,2,4,6
/proc/21848/task/21851/stat : 21851 (java) R 21843 21846 19026 0 -1 4202560 3277322 0 0 0 14318 846 0 0 20 0 20 0 474959785 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495524048088 140495918114759 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21852] ppid=21843 vsize=15486024 memory=2120 CPUtime=152.28 cores=0,2,4,6
/proc/21848/task/21852/stat : 21852 (java) R 21843 21846 19026 0 -1 4202560 3853781 0 0 0 14342 886 0 0 20 0 20 0 474959785 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495522995288 140495918112331 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21853] ppid=21843 vsize=15486024 memory=508 CPUtime=152.39 cores=0,2,4,6
/proc/21848/task/21853/stat : 21853 (java) R 21843 21846 19026 0 -1 4202560 3326008 0 0 0 14365 874 0 0 20 0 20 0 474959785 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495521942488 140495918112331 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21854] ppid=21843 vsize=15486024 memory=1452 CPUtime=4.83 cores=0,2,4,6
/proc/21848/task/21854/stat : 21854 (java) S 21843 21846 19026 0 -1 1077944384 139165 0 0 0 468 15 0 0 20 0 20 0 474959787 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495401612000 140495933171413 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21855] ppid=21843 vsize=15486024 memory=12629640 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21855/stat : 21855 (java) S 21843 21846 19026 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 474959787 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495400559712 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21856] ppid=21843 vsize=15486024 memory=15060 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21856/stat : 21856 (java) S 21843 21846 19026 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 20 0 474959787 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495399506816 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21857] ppid=21843 vsize=15486024 memory=483 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21857/stat : 21857 (java) S 21843 21846 19026 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 20 0 474959790 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495398455120 140495933179803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21858] ppid=21843 vsize=15486024 memory=0 CPUtime=4.47 cores=0,2,4,6
/proc/21848/task/21858/stat : 21858 (java) S 21843 21846 19026 0 -1 1077944384 32345 0 0 0 444 3 0 0 20 0 20 0 474959790 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495397403504 140495933172354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21859] ppid=21843 vsize=15486024 memory=483 CPUtime=4.85 cores=0,2,4,6
/proc/21848/task/21859/stat : 21859 (java) S 21843 21846 19026 0 -1 1077944384 29305 0 0 0 483 2 0 0 20 0 20 0 474959790 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495396350704 140495933172354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21860] ppid=21843 vsize=15486024 memory=0 CPUtime=0.95 cores=0,2,4,6
/proc/21848/task/21860/stat : 21860 (java) S 21843 21846 19026 0 -1 1077944384 13484 0 0 0 93 2 0 0 20 0 20 0 474959790 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495395297904 140495933172354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21861] ppid=21843 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21861/stat : 21861 (java) S 21843 21846 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 474959790 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495394245344 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21862] ppid=21843 vsize=15486024 memory=12629804 CPUtime=0.44 cores=0,2,4,6
/proc/21848/task/21862/stat : 21862 (java) S 21843 21846 19026 0 -1 1077944384 2481 0 0 0 21 23 0 0 20 0 20 0 474959790 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495393192624 140495933172354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21870] ppid=21843 vsize=15486024 memory=3608 CPUtime=580.72 cores=0,2,4,6
/proc/21848/task/21870/stat : 21870 (java) S 21843 21846 19026 0 -1 1077944384 768462 0 0 0 58000 72 0 0 20 0 20 0 474968655 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495384209904 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21871] ppid=21843 vsize=15486024 memory=54848 CPUtime=131.53 cores=0,2,4,6
/proc/21848/task/21871/stat : 21871 (java) S 21843 21846 19026 0 -1 1077944384 672411 0 0 0 13086 67 0 0 20 0 20 0 474968655 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495383163728 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21872] ppid=21843 vsize=15486024 memory=988 CPUtime=580.38 cores=0,2,4,6
/proc/21848/task/21872/stat : 21872 (java) S 21843 21846 19026 0 -1 1077944384 325161 0 0 0 58000 38 0 0 20 0 20 0 474968655 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495382105696 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21873] ppid=21843 vsize=15486024 memory=2020 CPUtime=580 cores=0,2,4,6
/proc/21848/task/21873/stat : 21873 (java) S 21843 21846 19026 0 -1 1077944384 32397 0 0 0 57979 21 0 0 20 0 20 0 474968655 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495381054256 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=22012] ppid=21843 vsize=15486024 memory=1432 CPUtime=0 cores=0,2,4,6
/proc/21848/task/22012/stat : 22012 (java) S 21843 21846 19026 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 20 0 475036765 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495377903424 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
Current cumulated CPU time of completed processes: 0.002222 s
Current children cumulated CPU time: 2527.4 s
Current children cumulated vsize: 15486024 KiB
Current children cumulated memory: 12629804 KiB
[startup+771.801 s]
/proc/loadavg: 6.67 7.07 7.33 9/233 22012
/proc/meminfo: memFree=206720/32770624 swapFree=66966844/67108860
[pid=21848] ppid=21843 vsize=15486024 memory=12629804 CPUtime=2528.2 cores=0,2,4,6
/proc/21848/stat : 21848 (java) S 21843 21846 19026 0 -1 1077944320 16505509 0 0 0 249038 3782 0 0 20 0 20 0 474959784 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140733720250944 140495933161207 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
/proc/21848/statm: 3871506 3157451 3555 1 0 3832606 0
[pid=21848/tid=21849] ppid=21843 vsize=15486024 memory=1056 CPUtime=30.81 cores=0,2,4,6
/proc/21848/task/21849/stat : 21849 (java) S 21843 21846 19026 0 -1 1077944384 17995 0 0 0 3068 13 0 0 20 0 20 0 474959785 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495937401984 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21850] ppid=21843 vsize=15486024 memory=4872558044660077418 CPUtime=152.17 cores=0,2,4,6
/proc/21848/task/21850/stat : 21850 (java) R 21843 21846 19026 0 -1 4202560 3976434 0 0 0 14302 915 0 0 20 0 20 0 474959785 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495898442784 140495918112331 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21851] ppid=21843 vsize=15486024 memory=1552 CPUtime=151.84 cores=0,2,4,6
/proc/21848/task/21851/stat : 21851 (java) R 21843 21846 19026 0 -1 4202560 3277356 0 0 0 14338 846 0 0 20 0 20 0 474959785 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495524048088 140495918112306 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21852] ppid=21843 vsize=15486024 memory=1708 CPUtime=152.49 cores=0,2,4,6
/proc/21848/task/21852/stat : 21852 (java) R 21843 21846 19026 0 -1 4202560 3873923 0 0 0 14361 888 0 0 20 0 20 0 474959785 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495522995288 140495917858999 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21853] ppid=21843 vsize=15486024 memory=1196 CPUtime=152.59 cores=0,2,4,6
/proc/21848/task/21853/stat : 21853 (java) R 21843 21846 19026 0 -1 4202560 3342836 0 0 0 14384 875 0 0 20 0 20 0 474959785 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495521942488 140495918111922 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21854] ppid=21843 vsize=15486024 memory=1044 CPUtime=4.83 cores=0,2,4,6
/proc/21848/task/21854/stat : 21854 (java) S 21843 21846 19026 0 -1 1077944384 139165 0 0 0 468 15 0 0 20 0 20 0 474959787 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495401612000 140495933171413 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21855] ppid=21843 vsize=15486024 memory=712 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21855/stat : 21855 (java) S 21843 21846 19026 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 474959787 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495400559712 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21856] ppid=21843 vsize=15486024 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21856/stat : 21856 (java) S 21843 21846 19026 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 20 0 474959787 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495399506816 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21857] ppid=21843 vsize=15486024 memory=7556 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21857/stat : 21857 (java) S 21843 21846 19026 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 20 0 474959790 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495398455120 140495933179803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21858] ppid=21843 vsize=15486024 memory=10492 CPUtime=4.47 cores=0,2,4,6
/proc/21848/task/21858/stat : 21858 (java) S 21843 21846 19026 0 -1 1077944384 32345 0 0 0 444 3 0 0 20 0 20 0 474959790 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495397403504 140495933172354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21859] ppid=21843 vsize=15486024 memory=1452 CPUtime=4.85 cores=0,2,4,6
/proc/21848/task/21859/stat : 21859 (java) S 21843 21846 19026 0 -1 1077944384 29305 0 0 0 483 2 0 0 20 0 20 0 474959790 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495396350704 140495933172354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21860] ppid=21843 vsize=15486024 memory=12629640 CPUtime=0.95 cores=0,2,4,6
/proc/21848/task/21860/stat : 21860 (java) S 21843 21846 19026 0 -1 1077944384 13484 0 0 0 93 2 0 0 20 0 20 0 474959790 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495395297904 140495933172354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21861] ppid=21843 vsize=15486024 memory=3608 CPUtime=0 cores=0,2,4,6
/proc/21848/task/21861/stat : 21861 (java) S 21843 21846 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 474959790 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495394245344 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21862] ppid=21843 vsize=15486024 memory=1976 CPUtime=0.44 cores=0,2,4,6
/proc/21848/task/21862/stat : 21862 (java) S 21843 21846 19026 0 -1 1077944384 2481 0 0 0 21 23 0 0 20 0 20 0 474959790 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495393192624 140495933172354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21870] ppid=21843 vsize=15486024 memory=2496 CPUtime=580.72 cores=0,2,4,6
/proc/21848/task/21870/stat : 21870 (java) S 21843 21846 19026 0 -1 1077944384 768462 0 0 0 58000 72 0 0 20 0 20 0 474968655 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495384209904 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21871] ppid=21843 vsize=15486024 memory=1452 CPUtime=131.53 cores=0,2,4,6
/proc/21848/task/21871/stat : 21871 (java) S 21843 21846 19026 0 -1 1077944384 672411 0 0 0 13086 67 0 0 20 0 20 0 474968655 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495383163728 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21872] ppid=21843 vsize=15486024 memory=1452 CPUtime=580.38 cores=0,2,4,6
/proc/21848/task/21872/stat : 21872 (java) S 21843 21846 19026 0 -1 1077944384 325161 0 0 0 58000 38 0 0 20 0 20 0 474968655 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495382105696 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=21873] ppid=21843 vsize=15486024 memory=12629640 CPUtime=580 cores=0,2,4,6
/proc/21848/task/21873/stat : 21873 (java) S 21843 21846 19026 0 -1 1077944384 32397 0 0 0 57979 21 0 0 20 0 20 0 474968655 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495381054256 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
[pid=21848/tid=22012] ppid=21843 vsize=15486024 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/21848/task/22012/stat : 22012 (java) S 21843 21846 19026 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 20 0 475036765 15857688576 3157451 33554432000 4194304 4196468 140733720268400 140495377903424 140495933171413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140733720273883 140733720274058 140733720274058 140733720276943 0
Current cumulated CPU time of completed processes: 0.002222 s
Current children cumulated CPU time: 2528.2 s
Current children cumulated vsize: 15486024 KiB
Current children cumulated memory: 12629804 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 772.244
CPU time (s): 2528.69
CPU user time (s): 2490.43
CPU system time (s): 38.2518
CPU usage (%): 327.447
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 12631092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2490.43
system time used= 38.2518
maximum resident set size= 12630120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16509597
page faults= 0
swaps= 0
block input operations= 0
block output operations= 896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25351
involuntary context switches= 28921
# summary of solver processes directly reported to runsolver:
# pid: 21846,21848
# total CPU time (s): 2528.69
# total CPU user time (s): 2490.43
# total CPU system time (s): 38.2518
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.08525 second user time and 8.88881 second system time
The end