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 (14579 MiB free)
memory of node 1: 16384 MiB (15192 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398983-1568699949/watcher-4398983-1568699949 -o /tmp/evaluation-result-4398983-1568699949/solver-4398983-1568699949 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568698608-10315 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 765987724 HOME/instance-4398983-1568699949.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=11461, runsolver pid=11458
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 8.25 7.88 7.52 6/233 11477
/proc/meminfo: memFree=30469852/32770624 swapFree=66953076/67108860
[pid=11461] ppid=11458 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11461/stat : 11461 (xcsp3-exec) S 11458 11461 10284 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446263767 115843072 363 33554432000 4194304 5098028 140726267901664 140726267899768 139769964327548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20701184 140726267908987 140726267909229 140726267909229 140726267912138 0
/proc/11461/statm: 28282 363 304 221 0 87 0
[pid=11463] ppid=11461 vsize=15144776 memory=30128 CPUtime=0.12 cores=0,2,4,6
/proc/11463/stat : 11463 (java) S 11461 11461 10284 0 -1 1077944320 5931 0 0 0 11 1 0 0 20 0 15 0 446263767 15508250624 7532 33554432000 4194304 4196468 140724414451312 140724414433856 140378011213559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
/proc/11463/statm: 3786194 7532 3151 1 0 3748377 0
[pid=11463/tid=11464] ppid=11461 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/11463/task/11464/stat : 11464 (java) R 11461 11461 10284 0 -1 4202560 3867 0 0 0 8 1 0 0 20 0 15 0 446263768 15508250624 7532 33554432000 4194304 4196468 140724414451312 140378015449984 140378011225494 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11465] ppid=11461 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11465/stat : 11465 (java) S 11461 11461 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263769 15508250624 7532 33554432000 4194304 4196468 140724414451312 140377922869520 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11466] ppid=11461 vsize=15144776 memory=3690334646227592864 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11466/stat : 11466 (java) S 11461 11461 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263769 15508250624 7532 33554432000 4194304 4196468 140724414451312 140377921816976 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11467] ppid=11461 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11467/stat : 11467 (java) S 11461 11461 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263769 15508250624 7532 33554432000 4194304 4196468 140724414451312 140377920764432 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11468] ppid=11461 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11468/stat : 11468 (java) S 11461 11461 10284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446263769 15508250624 7532 33554432000 4194304 4196468 140724414451312 140377600289424 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11469] ppid=11461 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11469/stat : 11469 (java) S 11461 11461 10284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446263770 15508250624 7532 33554432000 4194304 4196468 140724414451312 140377479842288 140378011224706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11470] ppid=11461 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11470/stat : 11470 (java) S 11461 11461 10284 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446263770 15508250624 7532 33554432000 4194304 4196468 140724414451312 140377478788512 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11471] ppid=11461 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11471/stat : 11471 (java) S 11461 11461 10284 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446263771 15508250624 7532 33554432000 4194304 4196468 140724414451312 140377477735920 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11472] ppid=11461 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11472/stat : 11472 (java) S 11461 11461 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263773 15508250624 7532 33554432000 4194304 4196468 140724414451312 140377476684496 140378011232155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11473] ppid=11461 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11473/stat : 11473 (java) S 11461 11461 10284 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 15 0 446263773 15508250624 7532 33554432000 4194304 4196468 140724414451312 140377475631088 140378011224706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11474] ppid=11461 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11474/stat : 11474 (java) S 11461 11461 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263773 15508250624 7532 33554432000 4194304 4196468 140724414451312 140377474578544 140378011224706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11475] ppid=11461 vsize=15144776 memory=140315670505088 CPUtime=0.02 cores=0,2,4,6
/proc/11463/task/11475/stat : 11475 (java) R 11461 11461 10284 0 -1 4202560 340 0 0 0 2 0 0 0 20 0 15 0 446263773 15508250624 7532 33554432000 4194304 4196468 140724414451312 140377473526000 140378011225494 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11476] ppid=11461 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11476/stat : 11476 (java) S 11461 11461 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263773 15508250624 7532 33554432000 4194304 4196468 140724414451312 140377472473696 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11477] ppid=11461 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11477/stat : 11477 (java) S 11461 11461 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263774 15508250624 7532 33554432000 4194304 4196468 140724414451312 140377471421232 140378011224706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31580 KiB
[startup+0.210656 s]*
/proc/loadavg: 8.25 7.88 7.52 7/233 11477
/proc/meminfo: memFree=30457232/32770624 swapFree=66953076/67108860
[pid=11461] ppid=11458 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11461/stat : 11461 (xcsp3-exec) S 11458 11461 10284 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446263767 115843072 363 33554432000 4194304 5098028 140726267901664 140726267899768 139769964327548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20701184 140726267908987 140726267909229 140726267909229 140726267912138 0
/proc/11461/statm: 28282 363 304 221 0 87 0
[pid=11463] ppid=11461 vsize=15144776 memory=41040 CPUtime=0.34 cores=0,2,4,6
/proc/11463/stat : 11463 (java) S 11461 11461 10284 0 -1 1077944320 9491 0 0 0 31 3 0 0 20 0 15 0 446263767 15508250624 10260 33554432000 4194304 4196468 140724414451312 140724414433856 140378011213559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
/proc/11463/statm: 3786194 10260 3298 1 0 3748377 0
[pid=11463/tid=11464] ppid=11461 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/11463/task/11464/stat : 11464 (java) R 11461 11461 10284 0 -1 4202560 6680 0 0 0 17 2 0 0 20 0 15 0 446263768 15508250624 10260 33554432000 4194304 4196468 140724414451312 140378015447264 140378011225494 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11465] ppid=11461 vsize=15144776 memory=1946935 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11465/stat : 11465 (java) S 11461 11461 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263769 15508250624 10260 33554432000 4194304 4196468 140724414451312 140377922869520 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11466] ppid=11461 vsize=15144776 memory=140315672452112 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11466/stat : 11466 (java) S 11461 11461 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263769 15508250624 10260 33554432000 4194304 4196468 140724414451312 140377921816976 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11467] ppid=11461 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11467/stat : 11467 (java) S 11461 11461 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263769 15508250624 10260 33554432000 4194304 4196468 140724414451312 140377920764432 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11468] ppid=11461 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11468/stat : 11468 (java) S 11461 11461 10284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446263769 15508250624 10260 33554432000 4194304 4196468 140724414451312 140377600289424 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11469] ppid=11461 vsize=15144776 memory=140315670505088 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11469/stat : 11469 (java) S 11461 11461 10284 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446263770 15508250624 10260 33554432000 4194304 4196468 140724414451312 140377479842288 140378011224706 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11470] ppid=11461 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11470/stat : 11470 (java) S 11461 11461 10284 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446263770 15508250624 10260 33554432000 4194304 4196468 140724414451312 140377478788512 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11471] ppid=11461 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11471/stat : 11471 (java) S 11461 11461 10284 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446263771 15508250624 10260 33554432000 4194304 4196468 140724414451312 140377477735920 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11472] ppid=11461 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11472/stat : 11472 (java) S 11461 11461 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263773 15508250624 10260 33554432000 4194304 4196468 140724414451312 140377476684496 140378011232155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11473] ppid=11461 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11463/task/11473/stat : 11473 (java) S 11461 11461 10284 0 -1 1077944384 553 0 0 0 2 0 0 0 20 0 15 0 446263773 15508250624 10260 33554432000 4194304 4196468 140724414451312 140377475631088 140378011224706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11474] ppid=11461 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/11463/task/11474/stat : 11474 (java) S 11461 11461 10284 0 -1 1077944384 235 0 0 0 2 0 0 0 20 0 15 0 446263773 15508250624 10260 33554432000 4194304 4196468 140724414451312 140377474578544 140378011224706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11475] ppid=11461 vsize=15144776 memory=140315670505088 CPUtime=0.08 cores=0,2,4,6
/proc/11463/task/11475/stat : 11475 (java) R 11461 11461 10284 0 -1 4202560 717 0 0 0 8 0 0 0 20 0 15 0 446263773 15508250624 10260 33554432000 4194304 4196468 140724414451312 140377473525808 140377990169185 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11476] ppid=11461 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11476/stat : 11476 (java) S 11461 11461 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263773 15508250624 10260 33554432000 4194304 4196468 140724414451312 140377472473696 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11477] ppid=11461 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11477/stat : 11477 (java) S 11461 11461 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263774 15508250624 10260 33554432000 4194304 4196468 140724414451312 140377471421232 140378011224706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42492 KiB
[startup+0.31058 s]*
/proc/loadavg: 8.25 7.88 7.52 9/233 11477
/proc/meminfo: memFree=30450096/32770624 swapFree=66953076/67108860
[pid=11461] ppid=11458 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11461/stat : 11461 (xcsp3-exec) S 11458 11461 10284 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446263767 115843072 363 33554432000 4194304 5098028 140726267901664 140726267899768 139769964327548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20701184 140726267908987 140726267909229 140726267909229 140726267912138 0
/proc/11461/statm: 28282 363 304 221 0 87 0
[pid=11463] ppid=11461 vsize=15149032 memory=50068 CPUtime=0.53 cores=0,2,4,6
/proc/11463/stat : 11463 (java) S 11461 11461 10284 0 -1 1077944320 10841 0 0 0 49 4 0 0 20 0 15 0 446263767 15512608768 12517 33554432000 4194304 4196468 140724414451312 140724414433856 140378011213559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
/proc/11463/statm: 3787258 12517 3346 1 0 3748377 0
[pid=11463/tid=11464] ppid=11461 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/11463/task/11464/stat : 11464 (java) R 11461 11461 10284 0 -1 4202560 7792 0 0 0 27 3 0 0 20 0 15 0 446263768 15512608768 12517 33554432000 4194304 4196468 140724414451312 140378015444672 140378011235485 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11465] ppid=11461 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11465/stat : 11465 (java) S 11461 11461 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263769 15512608768 12517 33554432000 4194304 4196468 140724414451312 140377922869520 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11466] ppid=11461 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11466/stat : 11466 (java) S 11461 11461 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263769 15512608768 12517 33554432000 4194304 4196468 140724414451312 140377921816976 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11467] ppid=11461 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11467/stat : 11467 (java) S 11461 11461 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263769 15512608768 12517 33554432000 4194304 4196468 140724414451312 140377920764432 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11468] ppid=11461 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11468/stat : 11468 (java) S 11461 11461 10284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446263769 15512608768 12517 33554432000 4194304 4196468 140724414451312 140377600289424 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11469] ppid=11461 vsize=15149032 memory=-7161737549785448607 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11469/stat : 11469 (java) S 11461 11461 10284 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446263770 15512608768 12517 33554432000 4194304 4196468 140724414451312 140377479842288 140378011224706 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11470] ppid=11461 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11470/stat : 11470 (java) S 11461 11461 10284 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446263770 15512608768 12517 33554432000 4194304 4196468 140724414451312 140377478788512 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11471] ppid=11461 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11471/stat : 11471 (java) S 11461 11461 10284 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446263771 15512608768 12517 33554432000 4194304 4196468 140724414451312 140377477735920 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11472] ppid=11461 vsize=15149032 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11472/stat : 11472 (java) S 11461 11461 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263773 15512608768 12517 33554432000 4194304 4196468 140724414451312 140377476684496 140378011232155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11473] ppid=11461 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=0,2,4,6
/proc/11463/task/11473/stat : 11473 (java) R 11461 11461 10284 0 -1 4202560 696 0 0 0 5 0 0 0 20 0 15 0 446263773 15512608768 12517 33554432000 4194304 4196468 140724414451312 140377475621472 140377996338938 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11474] ppid=11461 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/11463/task/11474/stat : 11474 (java) S 11461 11461 10284 0 -1 1077944384 249 0 0 0 4 0 0 0 20 0 15 0 446263773 15512608768 12517 33554432000 4194304 4196468 140724414451312 140377474578544 140378011224706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11475] ppid=11461 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/11463/task/11475/stat : 11475 (java) S 11461 11461 10284 0 -1 1077944384 811 0 0 0 12 0 0 0 20 0 15 0 446263773 15512608768 12517 33554432000 4194304 4196468 140724414451312 140377473526000 140378011224706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11476] ppid=11461 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11476/stat : 11476 (java) S 11461 11461 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263773 15512608768 12517 33554432000 4194304 4196468 140724414451312 140377472473696 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11477] ppid=11461 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11477/stat : 11477 (java) S 11461 11461 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263774 15512608768 12517 33554432000 4194304 4196468 140724414451312 140377471421232 140378011224706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51520 KiB
[startup+0.700797 s]
/proc/loadavg: 8.25 7.88 7.52 8/233 11477
/proc/meminfo: memFree=30427168/32770624 swapFree=66953076/67108860
[pid=11461] ppid=11458 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11461/stat : 11461 (xcsp3-exec) S 11458 11461 10284 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446263767 115843072 363 33554432000 4194304 5098028 140726267901664 140726267899768 139769964327548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20701184 140726267908987 140726267909229 140726267909229 140726267912138 0
/proc/11461/statm: 28282 363 304 221 0 87 0
[pid=11463] ppid=11461 vsize=15151156 memory=111608 CPUtime=1.68 cores=0,2,4,6
/proc/11463/stat : 11463 (java) S 11461 11461 10284 0 -1 1077944320 14293 0 0 0 163 5 0 0 20 0 15 0 446263767 15514783744 27902 33554432000 4194304 4196468 140724414451312 140724414433856 140378011213559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
/proc/11463/statm: 3787789 27902 3451 1 0 3748889 0
[pid=11463/tid=11464] ppid=11461 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/11463/task/11464/stat : 11464 (java) R 11461 11461 10284 0 -1 4202560 8918 0 0 0 64 4 0 0 20 0 15 0 446263768 15514783744 27902 33554432000 4194304 4196468 140724414451312 140378015449984 140378011225494 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11465] ppid=11461 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11465/stat : 11465 (java) S 11461 11461 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263769 15514783744 27902 33554432000 4194304 4196468 140724414451312 140377922869520 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11466] ppid=11461 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11466/stat : 11466 (java) S 11461 11461 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263769 15514783744 27902 33554432000 4194304 4196468 140724414451312 140377921816976 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11467] ppid=11461 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11467/stat : 11467 (java) S 11461 11461 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263769 15514783744 27902 33554432000 4194304 4196468 140724414451312 140377920764432 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11468] ppid=11461 vsize=15151156 memory=1188 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11468/stat : 11468 (java) S 11461 11461 10284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446263769 15514783744 27902 33554432000 4194304 4196468 140724414451312 140377600289424 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11469] ppid=11461 vsize=15151156 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11469/stat : 11469 (java) S 11461 11461 10284 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446263770 15514783744 27902 33554432000 4194304 4196468 140724414451312 140377479842288 140378011224706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11470] ppid=11461 vsize=15151156 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11470/stat : 11470 (java) S 11461 11461 10284 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446263770 15514783744 27902 33554432000 4194304 4196468 140724414451312 140377478788512 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11471] ppid=11461 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11471/stat : 11471 (java) S 11461 11461 10284 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446263771 15514783744 27902 33554432000 4194304 4196468 140724414451312 140377477735920 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11472] ppid=11461 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11472/stat : 11472 (java) S 11461 11461 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263773 15514783744 27902 33554432000 4194304 4196468 140724414451312 140377476684496 140378011232155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11473] ppid=11461 vsize=15151156 memory=620 CPUtime=0.35 cores=0,2,4,6
/proc/11463/task/11473/stat : 11473 (java) R 11461 11461 10284 0 -1 4202560 1545 0 0 0 35 0 0 0 20 0 15 0 446263773 15514783744 27902 33554432000 4194304 4196468 140724414451312 140377475611936 140377990383792 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11474] ppid=11461 vsize=15151156 memory=1496 CPUtime=0.32 cores=0,2,4,6
/proc/11463/task/11474/stat : 11474 (java) R 11461 11461 10284 0 -1 4202560 1004 0 0 0 32 0 0 0 20 0 15 0 446263773 15514783744 27902 33554432000 4194304 4196468 140724414451312 140377474578544 140377996111592 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11475] ppid=11461 vsize=15151156 memory=1016 CPUtime=0.3 cores=0,2,4,6
/proc/11463/task/11475/stat : 11475 (java) R 11461 11461 10284 0 -1 1077944384 1519 0 0 0 30 0 0 0 20 0 15 0 446263773 15514783744 27902 33554432000 4194304 4196468 140724414451312 140377473526000 140378011224706 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11476] ppid=11461 vsize=15151156 memory=6016 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11476/stat : 11476 (java) S 11461 11461 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263773 15514783744 27902 33554432000 4194304 4196468 140724414451312 140377472473696 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11477] ppid=11461 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11477/stat : 11477 (java) S 11461 11461 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263774 15514783744 27902 33554432000 4194304 4196468 140724414451312 140377471421232 140378011224706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 113060 KiB
[startup+1.50858 s]
/proc/loadavg: 8.25 7.88 7.52 11/237 11481
/proc/meminfo: memFree=30282016/32770624 swapFree=66953076/67108860
[pid=11461] ppid=11458 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11461/stat : 11461 (xcsp3-exec) S 11458 11461 10284 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446263767 115843072 363 33554432000 4194304 5098028 140726267901664 140726267899768 139769964327548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20701184 140726267908987 140726267909229 140726267909229 140726267912138 0
/proc/11461/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/11463/task/11477/stat : 11477 (java) S 11461 11461 10284 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 19 0 446263774 15787429888 56917 33554432000 4194304 4196468 140724414451312 140377471421232 140378011224706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11478] ppid=11461 vsize=15417412 memory=140315508076872 CPUtime=6.68 cores=0,2,4,6
/proc/11463/task/11478/stat : 11478 (java) R 11461 11461 10284 0 -1 4202560 172 0 0 0 667 1 0 0 20 0 19 0 446263859 15787429888 56917 33554432000 4194304 4196468 140724414451312 140377462201640 140377605163494 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11479] ppid=11461 vsize=15417412 memory=14012 CPUtime=6.75 cores=0,2,4,6
/proc/11463/task/11479/stat : 11479 (java) R 11461 11461 10284 0 -1 4202560 284 0 0 0 675 0 0 0 20 0 19 0 446263859 15787429888 56917 33554432000 4194304 4196468 140724414451312 140377461150216 140377605226601 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11480] ppid=11461 vsize=15417412 memory=6656426216303648864 CPUtime=6.8 cores=0,2,4,6
/proc/11463/task/11480/stat : 11480 (java) R 11461 11461 10284 0 -1 4202560 76 0 0 0 680 0 0 0 20 0 19 0 446263859 15787429888 56917 33554432000 4194304 4196468 140724414451312 140377460097496 140377604986552 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11481] ppid=11461 vsize=15417412 memory=26080 CPUtime=6.72 cores=0,2,4,6
/proc/11463/task/11481/stat : 11481 (java) R 11461 11461 10284 0 -1 4202560 346 0 0 0 672 0 0 0 20 0 19 0 446263859 15787429888 56917 33554432000 4194304 4196468 140724414451312 140377459043680 140377605226822 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
Current children cumulated CPU time: 31.22 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 229120 KiB
[startup+8.60158 s]
/proc/loadavg: 8.23 7.88 7.52 10/237 11482
/proc/meminfo: memFree=30273880/32770624 swapFree=66953076/67108860
[pid=11461] ppid=11458 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11461/stat : 11461 (xcsp3-exec) S 11458 11461 10284 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446263767 115843072 363 33554432000 4194304 5098028 140726267901664 140726267899768 139769964327548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20701184 140726267908987 140726267909229 140726267909229 140726267912138 0
/proc/11461/statm: 28282 363 304 221 0 87 0
[pid=11463] ppid=11461 vsize=15417412 memory=227668 CPUtime=32.76 cores=0,2,4,6
/proc/11463/stat : 11463 (java) S 11461 11461 10284 0 -1 1077944320 20920 0 0 0 3265 11 0 0 20 0 19 0 446263767 15787429888 56917 33554432000 4194304 4196468 140724414451312 140724414433856 140378011213559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
/proc/11463/statm: 3854353 56917 3510 1 0 3815453 0
[pid=11463/tid=11464] ppid=11461 vsize=15417412 memory=6791534058613427641 CPUtime=0.86 cores=0,2,4,6
/proc/11463/task/11464/stat : 11464 (java) S 11461 11461 10284 0 -1 1077944384 9015 0 0 0 82 4 0 0 20 0 19 0 446263768 15787429888 56917 33554432000 4194304 4196468 140724414451312 140378015454336 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11465] ppid=11461 vsize=15417412 memory=14012 CPUtime=0.02 cores=0,2,4,6
/proc/11463/task/11465/stat : 11465 (java) S 11461 11461 10284 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 19 0 446263769 15787429888 56917 33554432000 4194304 4196468 140724414451312 140377922869520 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11466] ppid=11461 vsize=15417412 memory=2116 CPUtime=0.02 cores=0,2,4,6
/proc/11463/task/11466/stat : 11466 (java) S 11461 11461 10284 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 19 0 446263769 15787429888 56917 33554432000 4194304 4196468 140724414451312 140377921816976 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11467] ppid=11461 vsize=15417412 memory=26080 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11467/stat : 11467 (java) S 11461 11461 10284 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 446263769 15787429888 56917 33554432000 4194304 4196468 140724414451312 140377920764432 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11468] ppid=11461 vsize=15417412 memory=14068 CPUtime=0.02 cores=0,2,4,6
/proc/11463/task/11468/stat : 11468 (java) S 11461 11461 10284 0 -1 1077944384 33 0 0 0 1 1 0 0 20 0 19 0 446263769 15787429888 56917 33554432000 4194304 4196468 140724414451312 140377600289424 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11469] ppid=11461 vsize=15417412 memory=524 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11469/stat : 11469 (java) S 11461 11461 10284 0 -1 1077944384 447 0 0 0 0 0 0 0 20 0 19 0 446263770 15787429888 56917 33554432000 4194304 4196468 140724414451312 140377479842288 140378011224706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 27 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11470] ppid=11461 vsize=15417412 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11470/stat : 11470 (java) S 11461 11461 10284 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446263770 15787429888 56917 33554432000 4194304 4196468 140724414451312 140377478788512 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11471] ppid=11461 vsize=15417412 memory=928 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11471/stat : 11471 (java) S 11461 11461 10284 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 446263771 15787429888 56917 33554432000 4194304 4196468 140724414451312 140377477735936 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11472] ppid=11461 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11472/stat : 11472 (java) S 11461 11461 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446263773 15787429888 56917 33554432000 4194304 4196468 140724414451312 140377476684496 140378011232155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11473] ppid=11461 vsize=15417412 memory=280631016883872 CPUtime=1.39 cores=0,2,4,6
/proc/11463/task/11473/stat : 11473 (java) S 11461 11461 10284 0 -1 1077944384 3105 0 0 0 139 0 0 0 20 0 19 0 446263773 15787429888 56917 33554432000 4194304 4196468 140724414451312 140377475631088 140378011224706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11474] ppid=11461 vsize=15417412 memory=3184238235584378656 CPUtime=1.35 cores=0,2,4,6
/proc/11463/task/11474/stat : 11474 (java) S 11461 11461 10284 0 -1 1077944384 2920 0 0 0 135 0 0 0 20 0 19 0 446263773 15787429888 56917 33554432000 4194304 4196468 140724414451312 140377474578544 140378011224706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11475] ppid=11461 vsize=15417412 memory=280631016824448 CPUtime=0.52 cores=0,2,4,6
/proc/11463/task/11475/stat : 11475 (java) S 11461 11461 10284 0 -1 1077944384 2810 0 0 0 52 0 0 0 20 0 19 0 446263773 15787429888 56917 33554432000 4194304 4196468 140724414451312 140377473526000 140378011224706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11476] ppid=11461 vsize=15417412 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11476/stat : 11476 (java) S 11461 11461 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446263773 15787429888 56917 33554432000 4194304 4196468 140724414451312 140377472473696 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11477] ppid=11461 vsize=15417412 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11477/stat : 11477 (java) S 11461 11461 10284 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 19 0 446263774 15787429888 56917 33554432000 4194304 4196468 140724414451312 140377471421232 140378011224706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11478] ppid=11461 vsize=15417412 memory=280631015637232 CPUtime=7.06 cores=0,2,4,6
/proc/11463/task/11478/stat : 11478 (java) R 11461 11461 10284 0 -1 4202560 178 0 0 0 705 1 0 0 20 0 19 0 446263859 15787429888 56917 33554432000 4194304 4196468 140724414451312 140377462201904 140377605226066 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11479] ppid=11461 vsize=15417412 memory=7522508244366551397 CPUtime=7.13 cores=0,2,4,6
/proc/11463/task/11479/stat : 11479 (java) R 11461 11461 10284 0 -1 4202560 301 0 0 0 713 0 0 0 20 0 19 0 446263859 15787429888 56917 33554432000 4194304 4196468 140724414451312 140377461150040 140377604986516 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11480] ppid=11461 vsize=15417412 memory=7594591130996731242 CPUtime=7.19 cores=0,2,4,6
/proc/11463/task/11480/stat : 11480 (java) R 11461 11461 10284 0 -1 4202560 82 0 0 0 719 0 0 0 20 0 19 0 446263859 15787429888 56917 33554432000 4194304 4196468 140724414451312 140377460097496 140377605226294 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11481] ppid=11461 vsize=15417412 memory=0 CPUtime=7.11 cores=0,2,4,6
/proc/11463/task/11481/stat : 11481 (java) R 11461 11461 10284 0 -1 4202560 357 0 0 0 711 0 0 0 20 0 19 0 446263859 15787429888 56917 33554432000 4194304 4196468 140724414451312 140377459043792 140377604986055 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
Current children cumulated CPU time: 32.76 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 229120 KiB
[startup+8.80159 s]
/proc/loadavg: 8.23 7.88 7.52 10/237 11482
/proc/meminfo: memFree=30273880/32770624 swapFree=66953076/67108860
[pid=11461] ppid=11458 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11461/stat : 11461 (xcsp3-exec) S 11458 11461 10284 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446263767 115843072 363 33554432000 4194304 5098028 140726267901664 140726267899768 139769964327548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20701184 140726267908987 140726267909229 140726267909229 140726267912138 0
/proc/11461/statm: 28282 363 304 221 0 87 0
[pid=11463] ppid=11461 vsize=15417412 memory=227672 CPUtime=33.56 cores=0,2,4,6
/proc/11463/stat : 11463 (java) S 11461 11461 10284 0 -1 1077944320 21356 0 0 0 3345 11 0 0 20 0 19 0 446263767 15787429888 56918 33554432000 4194304 4196468 140724414451312 140724414433856 140378011213559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
/proc/11463/statm: 3854353 56918 3510 1 0 3815453 0
[pid=11463/tid=11464] ppid=11461 vsize=15417412 memory=8976414709404591081 CPUtime=0.86 cores=0,2,4,6
/proc/11463/task/11464/stat : 11464 (java) S 11461 11461 10284 0 -1 1077944384 9015 0 0 0 82 4 0 0 20 0 19 0 446263768 15787429888 56918 33554432000 4194304 4196468 140724414451312 140378015454336 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11465] ppid=11461 vsize=15417412 memory=-6800859132029471843 CPUtime=0.02 cores=0,2,4,6
/proc/11463/task/11465/stat : 11465 (java) S 11461 11461 10284 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 19 0 446263769 15787429888 56918 33554432000 4194304 4196468 140724414451312 140377922869520 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11466] ppid=11461 vsize=15417412 memory=9126232286719478932 CPUtime=0.02 cores=0,2,4,6
/proc/11463/task/11466/stat : 11466 (java) S 11461 11461 10284 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 19 0 446263769 15787429888 56918 33554432000 4194304 4196468 140724414451312 140377921816976 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11467] ppid=11461 vsize=15417412 memory=6932836675117660768 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11467/stat : 11467 (java) S 11461 11461 10284 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 446263769 15787429888 56918 33554432000 4194304 4196468 140724414451312 140377920764432 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11468] ppid=11461 vsize=15417412 memory=-2023959437020729679 CPUtime=0.02 cores=0,2,4,6
/proc/11463/task/11468/stat : 11468 (java) S 11461 11461 10284 0 -1 1077944384 33 0 0 0 1 1 0 0 20 0 19 0 446263769 15787429888 56918 33554432000 4194304 4196468 140724414451312 140377600289424 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11469] ppid=11461 vsize=15417412 memory=8099255990543994963 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11469/stat : 11469 (java) S 11461 11461 10284 0 -1 1077944384 447 0 0 0 0 0 0 0 20 0 19 0 446263770 15787429888 56918 33554432000 4194304 4196468 140724414451312 140377479842288 140378011224706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 27 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11470] ppid=11461 vsize=15417412 memory=-3761991693426146123 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11470/stat : 11470 (java) S 11461 11461 10284 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446263770 15787429888 56918 33554432000 4194304 4196468 140724414451312 140377478788512 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11471] ppid=11461 vsize=15417412 memory=7681905605394137914 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11471/stat : 11471 (java) S 11461 11461 10284 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 446263771 15787429888 56918 33554432000 4194304 4196468 140724414451312 140377477735936 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11472] ppid=11461 vsize=15417412 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11472/stat : 11472 (java) S 11461 11461 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446263773 15787429888 56918 33554432000 4194304 4196468 140724414451312 140377476684496 140378011232155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11473] ppid=11461 vsize=15417412 memory=1399094042734925955 CPUtime=1.39 cores=0,2,4,6
/proc/11463/task/11473/stat : 11473 (java) S 11461 11461 10284 0 -1 1077944384 3105 0 0 0 139 0 0 0 20 0 19 0 446263773 15787429888 56918 33554432000 4194304 4196468 140724414451312 140377475631088 140378011224706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11474] ppid=11461 vsize=15417412 memory=4498404016631593313 CPUtime=1.39 cores=0,2,4,6
/proc/11463/task/11474/stat : 11474 (java) S 11461 11461 10284 0 -1 1077944384 3354 0 0 0 139 0 0 0 20 0 19 0 446263773 15787429888 56918 33554432000 4194304 4196468 140724414451312 140377474578544 140378011224706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11475] ppid=11461 vsize=15417412 memory=8326441112149131689 CPUtime=0.52 cores=0,2,4,6
/proc/11463/task/11475/stat : 11475 (java) S 11461 11461 10284 0 -1 1077944384 2810 0 0 0 52 0 0 0 20 0 19 0 446263773 15787429888 56918 33554432000 4194304 4196468 140724414451312 140377473526000 140378011224706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11476] ppid=11461 vsize=15417412 memory=280631016251904 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11476/stat : 11476 (java) S 11461 11461 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446263773 15787429888 56918 33554432000 4194304 4196468 140724414451312 140377472473696 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11477] ppid=11461 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11477/stat : 11477 (java) S 11461 11461 10284 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 19 0 446263774 15787429888 56918 33554432000 4194304 4196468 140724414451312 140377471421232 140378011224706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11478] ppid=11461 vsize=15417412 memory=0 CPUtime=7.26 cores=0,2,4,6
/proc/11463/task/11478/stat : 11478 (java) R 11461 11461 10284 0 -1 4202560 178 0 0 0 725 1 0 0 20 0 19 0 446263859 15787429888 56918 33554432000 4194304 4196468 140724414451312 140377462202040 140377605226081 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11479] ppid=11461 vsize=15417412 memory=2448131359321 CPUtime=7.32 cores=0,2,4,6
/proc/11463/task/11479/stat : 11479 (java) R 11461 11461 10284 0 -1 4202560 301 0 0 0 732 0 0 0 20 0 19 0 446263859 15787429888 56918 33554432000 4194304 4196468 140724414451312 140377461149800 140377605226419 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11480] ppid=11461 vsize=15417412 memory=6872598998417432672 CPUtime=7.39 cores=0,2,4,6
/proc/11463/task/11480/stat : 11480 (java) R 11461 11461 10284 0 -1 4202560 84 0 0 0 739 0 0 0 20 0 19 0 446263859 15787429888 56918 33554432000 4194304 4196468 140724414451312 140377460097496 140377605227841 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11481] ppid=11461 vsize=15417412 memory=6944656592455359580 CPUtime=7.27 cores=0,2,4,6
/proc/11463/task/11481/stat : 11481 (java) R 11461 11461 10284 0 -1 4202560 357 0 0 0 727 0 0 0 20 0 19 0 446263859 15787429888 56918 33554432000 4194304 4196468 140724414451312 140377459043680 140377605226419 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
Current children cumulated CPU time: 33.56 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 229124 KiB
[startup+8.90158 s]
/proc/loadavg: 8.23 7.88 7.52 10/237 11482
/proc/meminfo: memFree=30273880/32770624 swapFree=66953076/67108860
[pid=11461] ppid=11458 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11461/stat : 11461 (xcsp3-exec) S 11458 11461 10284 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446263767 115843072 363 33554432000 4194304 5098028 140726267901664 140726267899768 139769964327548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20701184 140726267908987 140726267909229 140726267909229 140726267912138 0
/proc/11461/statm: 28282 363 304 221 0 87 0
[pid=11463] ppid=11461 vsize=15417412 memory=227672 CPUtime=33.96 cores=0,2,4,6
/proc/11463/stat : 11463 (java) S 11461 11461 10284 0 -1 1077944320 21356 0 0 0 3385 11 0 0 20 0 19 0 446263767 15787429888 56918 33554432000 4194304 4196468 140724414451312 140724414433856 140378011213559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
/proc/11463/statm: 3854353 56918 3510 1 0 3815453 0
[pid=11463/tid=11464] ppid=11461 vsize=15417412 memory=1452 CPUtime=0.86 cores=0,2,4,6
/proc/11463/task/11464/stat : 11464 (java) S 11461 11461 10284 0 -1 1077944384 9015 0 0 0 82 4 0 0 20 0 19 0 446263768 15787429888 56918 33554432000 4194304 4196468 140724414451312 140378015454336 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11465] ppid=11461 vsize=15417412 memory=227472 CPUtime=0.02 cores=0,2,4,6
/proc/11463/task/11465/stat : 11465 (java) S 11461 11461 10284 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 19 0 446263769 15787429888 56918 33554432000 4194304 4196468 140724414451312 140377922869520 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11466] ppid=11461 vsize=15417412 memory=1452 CPUtime=0.02 cores=0,2,4,6
/proc/11463/task/11466/stat : 11466 (java) S 11461 11461 10284 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 19 0 446263769 15787429888 56918 33554432000 4194304 4196468 140724414451312 140377921816976 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11467] ppid=11461 vsize=15417412 memory=227668 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11467/stat : 11467 (java) S 11461 11461 10284 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 446263769 15787429888 56918 33554432000 4194304 4196468 140724414451312 140377920764432 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11468] ppid=11461 vsize=15417412 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11463/task/11468/stat : 11468 (java) S 11461 11461 10284 0 -1 1077944384 33 0 0 0 1 1 0 0 20 0 19 0 446263769 15787429888 56918 33554432000 4194304 4196468 140724414451312 140377600289424 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11469] ppid=11461 vsize=15417412 memory=227668 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11469/stat : 11469 (java) S 11461 11461 10284 0 -1 1077944384 447 0 0 0 0 0 0 0 20 0 19 0 446263770 15787429888 56918 33554432000 4194304 4196468 140724414451312 140377479842288 140378011224706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 27 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11470] ppid=11461 vsize=15417412 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11470/stat : 11470 (java) S 11461 11461 10284 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446263770 15787429888 56918 33554432000 4194304 4196468 140724414451312 140377478788512 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11471] ppid=11461 vsize=15417412 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11471/stat : 11471 (java) S 11461 11461 10284 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 446263771 15787429888 56918 33554432000 4194304 4196468 140724414451312 140377477735936 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11472] ppid=11461 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11472/stat : 11472 (java) S 11461 11461 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446263773 15787429888 56918 33554432000 4194304 4196468 140724414451312 140377476684496 140378011232155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11473] ppid=11461 vsize=15417412 memory=2162 CPUtime=1.39 cores=0,2,4,6
/proc/11463/task/11473/stat : 11473 (java) S 11461 11461 10284 0 -1 1077944384 3105 0 0 0 139 0 0 0 20 0 19 0 446263773 15787429888 56918 33554432000 4194304 4196468 140724414451312 140377475631088 140378011224706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11474] ppid=11461 vsize=15417412 memory=2998 CPUtime=1.39 cores=0,2,4,6
/proc/11463/task/11474/stat : 11474 (java) S 11461 11461 10284 0 -1 1077944384 3354 0 0 0 139 0 0 0 20 0 19 0 446263773 15787429888 56918 33554432000 4194304 4196468 140724414451312 140377474578544 140378011224706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11475] ppid=11461 vsize=15417412 memory=1452 CPUtime=0.52 cores=0,2,4,6
/proc/11463/task/11475/stat : 11475 (java) S 11461 11461 10284 0 -1 1077944384 2810 0 0 0 52 0 0 0 20 0 19 0 446263773 15787429888 56918 33554432000 4194304 4196468 140724414451312 140377473526000 140378011224706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11476] ppid=11461 vsize=15417412 memory=280631016512768 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11476/stat : 11476 (java) S 11461 11461 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446263773 15787429888 56918 33554432000 4194304 4196468 140724414451312 140377472473696 140378011223765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11477] ppid=11461 vsize=15417412 memory=7594591130997319017 CPUtime=0 cores=0,2,4,6
/proc/11463/task/11477/stat : 11477 (java) S 11461 11461 10284 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 19 0 446263774 15787429888 56918 33554432000 4194304 4196468 140724414451312 140377471421232 140378011224706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11478] ppid=11461 vsize=15417412 memory=7590655979367786604 CPUtime=7.36 cores=0,2,4,6
/proc/11463/task/11478/stat : 11478 (java) R 11461 11461 10284 0 -1 4202560 178 0 0 0 735 1 0 0 20 0 19 0 446263859 15787429888 56918 33554432000 4194304 4196468 140724414451312 140377462202040 140377605226704 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11479] ppid=11461 vsize=15417412 memory=280631015637232 CPUtime=7.42 cores=0,2,4,6
/proc/11463/task/11479/stat : 11479 (java) R 11461 11461 10284 0 -1 4202560 301 0 0 0 742 0 0 0 20 0 19 0 446263859 15787429888 56918 33554432000 4194304 4196468 140724414451312 140377461149800 140377605227894 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11480] ppid=11461 vsize=15417412 memory=524 CPUtime=7.49 cores=0,2,4,6
/proc/11463/task/11480/stat : 11480 (java) R 11461 11461 10284 0 -1 4202560 84 0 0 0 749 0 0 0 20 0 19 0 446263859 15787429888 56918 33554432000 4194304 4196468 140724414451312 140377460097496 140377605226110 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
[pid=11463/tid=11481] ppid=11461 vsize=15417412 memory=-7880843606118635149 CPUtime=7.37 cores=0,2,4,6
/proc/11463/task/11481/stat : 11481 (java) R 11461 11461 10284 0 -1 4202560 357 0 0 0 737 0 0 0 20 0 19 0 446263859 15787429888 56918 33554432000 4194304 4196468 140724414451312 140377459043680 140377605438240 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24461312 140724414452719 140724414452890 140724414452890 140724414455759 0
Current children cumulated CPU time: 33.96 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 229124 KiB
Child status: 0
Real time (s): 8.929
CPU time (s): 34.0589
CPU user time (s): 33.934
CPU system time (s): 0.124939
CPU usage (%): 381.441
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 229124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.934
system time used= 0.124939
maximum resident set size= 227876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22513
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2127
involuntary context switches= 928
# summary of solver processes directly reported to runsolver:
# pid: 11461
# total CPU time (s): 34.0589
# total CPU user time (s): 33.934
# total CPU system time (s): 0.124939
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.075605 second user time and 0.140118 second system time
The end