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 (11615 MiB free)
memory of node 1: 16384 MiB (14972 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399329-1568698287/watcher-4399329-1568698287 -o /tmp/evaluation-result-4399329-1568698287/solver-4399329-1568698287 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568698246-23582 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1294136832 HOME/instance-4399329-1568698287.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
Current StackSize limit: 8192 KiB
solver pid=23614, runsolver pid=23610
[startup+0.100518 s]*
/proc/loadavg: 0.87 1.21 1.31 6/230 23643
/proc/meminfo: memFree=27192680/32770624 swapFree=66999436/67108860
[pid=23614] ppid=23610 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23614/stat : 23614 (xcsp3-exec) S 23610 23614 23551 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445767092 115843072 362 33554432000 4194304 5098028 140734450393984 140734450392088 140271766712956 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27217920 140734450398074 140734450398317 140734450398317 140734450401226 0
/proc/23614/statm: 28282 362 304 221 0 87 0
[pid=23616] ppid=23614 vsize=15144776 memory=30732 CPUtime=0.12 cores=0,2,4,6
/proc/23616/stat : 23616 (java) S 23614 23614 23551 0 -1 1077944320 5640 0 0 0 11 1 0 0 20 0 15 0 445767093 15508250624 7683 33554432000 4194304 4196468 140725035474336 140725035456880 139675624660727 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
/proc/23616/statm: 3786194 7683 3122 1 0 3748377 0
[pid=23616/tid=23617] ppid=23614 vsize=15144776 memory=-6962121287837372198 CPUtime=0.08 cores=0,2,4,6
/proc/23616/task/23617/stat : 23617 (java) R 23614 23614 23551 0 -1 4202560 3570 0 0 0 8 0 0 0 20 0 15 0 445767093 15508250624 7683 33554432000 4194304 4196468 140725035474336 139675628894000 139675624672662 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23622] ppid=23614 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23622/stat : 23622 (java) S 23614 23614 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445767094 15508250624 7683 33554432000 4194304 4196468 140725035474336 139675560897680 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23623] ppid=23614 vsize=15144776 memory=140528717571712 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23623/stat : 23623 (java) S 23614 23614 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445767094 15508250624 7683 33554432000 4194304 4196468 140725035474336 139675559844880 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23624] ppid=23614 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23624/stat : 23624 (java) S 23614 23614 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445767094 15508250624 7683 33554432000 4194304 4196468 140725035474336 139675558792080 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23625] ppid=23614 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23625/stat : 23625 (java) S 23614 23614 23551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445767094 15508250624 7683 33554432000 4194304 4196468 140725035474336 139675214338832 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23628] ppid=23614 vsize=15144776 memory=140528717571712 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23628/stat : 23628 (java) S 23614 23614 23551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445767095 15508250624 7683 33554432000 4194304 4196468 140725035474336 139675160471920 139675624671874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23630] ppid=23614 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23630/stat : 23630 (java) S 23614 23614 23551 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445767096 15508250624 7683 33554432000 4194304 4196468 140725035474336 139675159417888 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23631] ppid=23614 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23631/stat : 23631 (java) S 23614 23614 23551 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445767096 15508250624 7683 33554432000 4194304 4196468 140725035474336 139675158365040 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23638] ppid=23614 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23638/stat : 23638 (java) S 23614 23614 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445767098 15508250624 7683 33554432000 4194304 4196468 140725035474336 139675157313360 139675624679323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23639] ppid=23614 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23639/stat : 23639 (java) S 23614 23614 23551 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 445767098 15508250624 7683 33554432000 4194304 4196468 140725035474336 139675156261744 139675624671874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23640] ppid=23614 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23640/stat : 23640 (java) S 23614 23614 23551 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 15 0 445767098 15508250624 7683 33554432000 4194304 4196468 140725035474336 139674560490224 139675624671874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23641] ppid=23614 vsize=15144776 memory=140528717571712 CPUtime=0.01 cores=0,2,4,6
/proc/23616/task/23641/stat : 23641 (java) R 23614 23614 23551 0 -1 4202560 338 0 0 0 1 0 0 0 20 0 15 0 445767098 15508250624 7683 33554432000 4194304 4196468 140725035474336 139674559437424 139675603618398 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23642] ppid=23614 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23642/stat : 23642 (java) S 23614 23614 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445767098 15508250624 7683 33554432000 4194304 4196468 140725035474336 139674558384864 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23643] ppid=23614 vsize=15144776 memory=140528717571712 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23643/stat : 23643 (java) S 23614 23614 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445767099 15508250624 7683 33554432000 4194304 4196468 140725035474336 139674557332144 139675624671874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 32180 KiB
[startup+0.210412 s]*
/proc/loadavg: 0.87 1.21 1.31 10/230 23643
/proc/meminfo: memFree=27167492/32770624 swapFree=66999436/67108860
[pid=23614] ppid=23610 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23614/stat : 23614 (xcsp3-exec) S 23610 23614 23551 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445767092 115843072 362 33554432000 4194304 5098028 140734450393984 140734450392088 140271766712956 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27217920 140734450398074 140734450398317 140734450398317 140734450401226 0
/proc/23614/statm: 28282 362 304 221 0 87 0
[pid=23616] ppid=23614 vsize=15144776 memory=42256 CPUtime=0.34 cores=0,2,4,6
/proc/23616/stat : 23616 (java) S 23614 23614 23551 0 -1 1077944320 9271 0 0 0 31 3 0 0 20 0 15 0 445767093 15508250624 10564 33554432000 4194304 4196468 140725035474336 140725035456880 139675624660727 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
/proc/23616/statm: 3786194 10564 3295 1 0 3748377 0
[pid=23616/tid=23617] ppid=23614 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/23616/task/23617/stat : 23617 (java) R 23614 23614 23551 0 -1 4202560 6554 0 0 0 18 2 0 0 20 0 15 0 445767093 15508250624 10564 33554432000 4194304 4196468 140725035474336 139675628893456 139675624682653 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23622] ppid=23614 vsize=15144776 memory=2128864 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23622/stat : 23622 (java) S 23614 23614 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445767094 15508250624 10564 33554432000 4194304 4196468 140725035474336 139675560897680 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23623] ppid=23614 vsize=15144776 memory=288370904869283456 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23623/stat : 23623 (java) S 23614 23614 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445767094 15508250624 10564 33554432000 4194304 4196468 140725035474336 139675559844880 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23624] ppid=23614 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23624/stat : 23624 (java) S 23614 23614 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445767094 15508250624 10564 33554432000 4194304 4196468 140725035474336 139675558792080 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23625] ppid=23614 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23625/stat : 23625 (java) S 23614 23614 23551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445767094 15508250624 10564 33554432000 4194304 4196468 140725035474336 139675214338832 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23628] ppid=23614 vsize=15144776 memory=140528717571712 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23628/stat : 23628 (java) S 23614 23614 23551 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445767095 15508250624 10564 33554432000 4194304 4196468 140725035474336 139675160471920 139675624671874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23630] ppid=23614 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23630/stat : 23630 (java) S 23614 23614 23551 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445767096 15508250624 10564 33554432000 4194304 4196468 140725035474336 139675159417888 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23631] ppid=23614 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23631/stat : 23631 (java) S 23614 23614 23551 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445767096 15508250624 10564 33554432000 4194304 4196468 140725035474336 139675158365040 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23638] ppid=23614 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23638/stat : 23638 (java) S 23614 23614 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445767098 15508250624 10564 33554432000 4194304 4196468 140725035474336 139675157313360 139675624679323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23639] ppid=23614 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23616/task/23639/stat : 23639 (java) S 23614 23614 23551 0 -1 1077944384 413 0 0 0 2 0 0 0 20 0 15 0 445767098 15508250624 10564 33554432000 4194304 4196468 140725035474336 139675156261744 139675624671874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23640] ppid=23614 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/23616/task/23640/stat : 23640 (java) S 23614 23614 23551 0 -1 1077944384 220 0 0 0 2 0 0 0 20 0 15 0 445767098 15508250624 10564 33554432000 4194304 4196468 140725035474336 139674560490224 139675624671874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23641] ppid=23614 vsize=15144776 memory=140528717571712 CPUtime=0.07 cores=0,2,4,6
/proc/23616/task/23641/stat : 23641 (java) R 23614 23614 23551 0 -1 4202560 778 0 0 0 7 0 0 0 20 0 15 0 445767098 15508250624 10564 33554432000 4194304 4196468 140725035474336 139674559437424 139675606245140 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23642] ppid=23614 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23642/stat : 23642 (java) S 23614 23614 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445767098 15508250624 10564 33554432000 4194304 4196468 140725035474336 139674558384864 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23643] ppid=23614 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23643/stat : 23643 (java) S 23614 23614 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445767099 15508250624 10564 33554432000 4194304 4196468 140725035474336 139674557332144 139675624671874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 43704 KiB
[startup+0.310427 s]*
/proc/loadavg: 0.87 1.21 1.31 6/230 23643
/proc/meminfo: memFree=27155220/32770624 swapFree=66999436/67108860
[pid=23614] ppid=23610 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23614/stat : 23614 (xcsp3-exec) S 23610 23614 23551 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445767092 115843072 362 33554432000 4194304 5098028 140734450393984 140734450392088 140271766712956 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27217920 140734450398074 140734450398317 140734450398317 140734450401226 0
/proc/23614/statm: 28282 362 304 221 0 87 0
[pid=23616] ppid=23614 vsize=15149032 memory=51124 CPUtime=0.52 cores=0,2,4,6
/proc/23616/stat : 23616 (java) S 23614 23614 23551 0 -1 1077944320 10569 0 0 0 48 4 0 0 20 0 15 0 445767093 15512608768 12781 33554432000 4194304 4196468 140725035474336 140725035456880 139675624660727 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
/proc/23616/statm: 3787258 12781 3353 1 0 3748377 0
[pid=23616/tid=23617] ppid=23614 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/23616/task/23617/stat : 23617 (java) R 23614 23614 23551 0 -1 4202560 7619 0 0 0 27 3 0 0 20 0 15 0 445767093 15512608768 12781 33554432000 4194304 4196468 140725035474336 139675628891840 139675603730896 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23622] ppid=23614 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23622/stat : 23622 (java) S 23614 23614 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445767094 15512608768 12781 33554432000 4194304 4196468 140725035474336 139675560897680 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23623] ppid=23614 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23623/stat : 23623 (java) S 23614 23614 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445767094 15512608768 12781 33554432000 4194304 4196468 140725035474336 139675559844880 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23624] ppid=23614 vsize=15149032 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23624/stat : 23624 (java) S 23614 23614 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445767094 15512608768 12781 33554432000 4194304 4196468 140725035474336 139675558792080 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23625] ppid=23614 vsize=15149032 memory=7161331908245094050 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23625/stat : 23625 (java) S 23614 23614 23551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445767094 15512608768 12781 33554432000 4194304 4196468 140725035474336 139675214338832 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23628] ppid=23614 vsize=15149032 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23628/stat : 23628 (java) S 23614 23614 23551 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445767095 15512608768 12781 33554432000 4194304 4196468 140725035474336 139675160471920 139675624671874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23630] ppid=23614 vsize=15149032 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23630/stat : 23630 (java) S 23614 23614 23551 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445767096 15512608768 12805 33554432000 4194304 4196468 140725035474336 139675159417888 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23631] ppid=23614 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23631/stat : 23631 (java) S 23614 23614 23551 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445767096 15512608768 12805 33554432000 4194304 4196468 140725035474336 139675158365040 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23638] ppid=23614 vsize=15149032 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23638/stat : 23638 (java) S 23614 23614 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445767098 15512608768 12805 33554432000 4194304 4196468 140725035474336 139675157313360 139675624679323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23639] ppid=23614 vsize=15149032 memory=4426078206164241782 CPUtime=0.04 cores=0,2,4,6
/proc/23616/task/23639/stat : 23639 (java) R 23614 23614 23551 0 -1 1077944384 464 0 0 0 4 0 0 0 20 0 15 0 445767098 15512608768 12805 33554432000 4194304 4196468 140725035474336 139675156261744 139675624671874 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23640] ppid=23614 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/23616/task/23640/stat : 23640 (java) S 23614 23614 23551 0 -1 1077944384 230 0 0 0 3 0 0 0 20 0 15 0 445767098 15512608768 12805 33554432000 4194304 4196468 140725035474336 139674560490224 139675624671874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23641] ppid=23614 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/23616/task/23641/stat : 23641 (java) R 23614 23614 23551 0 -1 4202560 952 0 0 0 12 0 0 0 20 0 15 0 445767098 15512608768 12805 33554432000 4194304 4196468 140725035474336 139674559437424 139675603368923 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23642] ppid=23614 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23642/stat : 23642 (java) S 23614 23614 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445767098 15512608768 12805 33554432000 4194304 4196468 140725035474336 139674558384864 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23643] ppid=23614 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23643/stat : 23643 (java) S 23614 23614 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445767099 15512608768 12805 33554432000 4194304 4196468 140725035474336 139674557332144 139675624671874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52572 KiB
[startup+0.708459 s]
/proc/loadavg: 1.20 1.27 1.33 10/238 23754
/proc/meminfo: memFree=26910388/32770624 swapFree=66999436/67108860
[pid=23614] ppid=23610 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23614/stat : 23614 (xcsp3-exec) S 23610 23614 23551 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445767092 115843072 362 33554432000 4194304 5098028 140734450393984 140734450392088 140271766712956 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27217920 140734450398074 140734450398317 140734450398317 140734450401226 0
/proc/23614/statm: 28282 362 304 221 0 87 0
[pid=23616] ppid=23614 vsize=15617104 memory=189580 CPUtime=1.6 cores=0,2,4,6
/proc/23616/stat : 23616 (java) S 23614 23614 23551 0 -1 1077944320 21396 0 0 0 146 14 0 0 20 0 19 0 445767093 15991914496 47395 33554432000 4194304 4196468 140725035474336 140725035456880 139675624660727 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
/proc/23616/statm: 3904276 47395 3477 1 0 3865376 0
[pid=23616/tid=23617] ppid=23614 vsize=15617104 memory=0 CPUtime=0.47 cores=0,2,4,6
/proc/23616/task/23617/stat : 23617 (java) S 23614 23614 23551 0 -1 1077944384 9030 0 0 0 43 4 0 0 20 0 19 0 445767093 15991914496 47395 33554432000 4194304 4196468 140725035474336 139675628901504 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23622] ppid=23614 vsize=15617104 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23622/stat : 23622 (java) S 23614 23614 23551 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 19 0 445767094 15991914496 47395 33554432000 4194304 4196468 140725035474336 139675560897680 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23623] ppid=23614 vsize=15617104 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23623/stat : 23623 (java) S 23614 23614 23551 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 445767094 15991914496 47395 33554432000 4194304 4196468 140725035474336 139675559844880 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23624] ppid=23614 vsize=15617104 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23624/stat : 23624 (java) S 23614 23614 23551 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 445767094 15991914496 47395 33554432000 4194304 4196468 140725035474336 139675558792080 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23625] ppid=23614 vsize=15617104 memory=33 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23625/stat : 23625 (java) S 23614 23614 23551 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 445767094 15991914496 47395 33554432000 4194304 4196468 140725035474336 139675214338832 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23628] ppid=23614 vsize=15617104 memory=288230608904420306 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23628/stat : 23628 (java) S 23614 23614 23551 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 445767095 15991914496 47395 33554432000 4194304 4196468 140725035474336 139675160471920 139675624671874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23630] ppid=23614 vsize=15617104 memory=14972261113308207 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23630/stat : 23630 (java) S 23614 23614 23551 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445767096 15991914496 47395 33554432000 4194304 4196468 140725035474336 139675159417952 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23631] ppid=23614 vsize=15617104 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23631/stat : 23631 (java) S 23614 23614 23551 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445767096 15991914496 47395 33554432000 4194304 4196468 140725035474336 139675158365056 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23638] ppid=23614 vsize=15617104 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23638/stat : 23638 (java) S 23614 23614 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445767098 15991914496 47395 33554432000 4194304 4196468 140725035474336 139675157313360 139675624679323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23639] ppid=23614 vsize=15617104 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/23616/task/23639/stat : 23639 (java) R 23614 23614 23551 0 -1 4202560 1135 0 0 0 23 0 0 0 20 0 19 0 445767098 15991914496 47395 33554432000 4194304 4196468 140725035474336 139675156254768 139675608161056 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23640] ppid=23614 vsize=15617104 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/23616/task/23640/stat : 23640 (java) R 23614 23614 23551 0 -1 4202560 880 0 0 0 20 0 0 0 20 0 19 0 445767098 15991914496 47395 33554432000 4194304 4196468 140725035474336 139674560479824 139675616950193 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23641] ppid=23614 vsize=15617104 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/23616/task/23641/stat : 23641 (java) R 23614 23614 23551 0 -1 4202560 1880 0 0 0 30 1 0 0 20 0 19 0 445767098 15991914496 47395 33554432000 4194304 4196468 140725035474336 139674559437424 139675624682074 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23642] ppid=23614 vsize=15617104 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23642/stat : 23642 (java) S 23614 23614 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445767098 15991914496 47395 33554432000 4194304 4196468 140725035474336 139674558384864 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23643] ppid=23614 vsize=15617104 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23643/stat : 23643 (java) S 23614 23614 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445767099 15991914496 47395 33554432000 4194304 4196468 140725035474336 139674557332144 139675624671874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 191028 KiB
[startup+1.50146 s]
/proc/loadavg: 1.20 1.27 1.33 15/237 24349
/proc/meminfo: memFree=26843100/32770624 swapFree=66999436/67108860
[pid=23614] ppid=23610 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23614/stat : 23614 (xcsp3-exec) S 23610 23614 23551 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445767092 115843072 362 33554432000 4194304 5098028 140734450393984 140734450392088 140271766712956 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27217920 140734450398074 140734450398317 140734450398317 140734450401226 0
/proc/23614/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/23616/task/23643/stat : 23643 (java) S 23614 23614 23551 0 -1 1077944384 328 0 0 0 0 0 0 0 20 0 19 0 445767099 15991914496 280947 33554432000 4194304 4196468 140725035474336 139674557332144 139675624671874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=24431] ppid=23614 vsize=15617104 memory=1436 CPUtime=28.23 cores=0,2,4,6
/proc/23616/task/24431/stat : 24431 (java) R 23614 23614 23551 0 -1 4202560 422 0 0 0 2822 1 0 0 20 0 19 0 445767278 15991914496 280947 33554432000 4194304 4196468 140725035474336 139674103033200 139675243418531 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=24432] ppid=23614 vsize=15617104 memory=14060 CPUtime=28.29 cores=0,2,4,6
/proc/23616/task/24432/stat : 24432 (java) R 23614 23614 23551 0 -1 4202560 1890 0 0 0 2823 6 0 0 20 0 19 0 445767278 15991914496 280947 33554432000 4194304 4196468 140725035474336 139674101981720 139675243905150 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=24433] ppid=23614 vsize=15617104 memory=2116 CPUtime=28.17 cores=0,2,4,6
/proc/23616/task/24433/stat : 24433 (java) R 23614 23614 23551 0 -1 4202560 1107 0 0 0 2817 0 0 0 20 0 19 0 445767278 15991914496 280947 33554432000 4194304 4196468 140725035474336 139674105140296 139675243029662 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=24434] ppid=23614 vsize=15617104 memory=23576 CPUtime=27.85 cores=0,2,4,6
/proc/23616/task/24434/stat : 24434 (java) R 23614 23614 23551 0 -1 4202560 3363 0 0 0 2778 7 0 0 20 0 19 0 445767278 15991914496 280947 33554432000 4194304 4196468 140725035474336 139674099878640 139675243747159 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
Current children cumulated CPU time: 119.56 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 1125236 KiB
[startup+30.8015 s]
/proc/loadavg: 3.55 1.81 1.50 9/238 24800
/proc/meminfo: memFree=25782664/32770624 swapFree=66999436/67108860
[pid=23614] ppid=23610 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23614/stat : 23614 (xcsp3-exec) S 23610 23614 23551 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445767092 115843072 362 33554432000 4194304 5098028 140734450393984 140734450392088 140271766712956 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27217920 140734450398074 140734450398317 140734450398317 140734450401226 0
/proc/23614/statm: 28282 362 304 221 0 87 0
[pid=23616] ppid=23614 vsize=15617104 memory=1122756 CPUtime=121.16 cores=0,2,4,6
/proc/23616/stat : 23616 (java) S 23614 23614 23551 0 -1 1077944320 50066 0 0 0 12076 40 0 0 20 0 19 0 445767093 15991914496 280689 33554432000 4194304 4196468 140725035474336 140725035456880 139675624660727 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
/proc/23616/statm: 3904276 280689 3514 1 0 3865376 0
[pid=23616/tid=23617] ppid=23614 vsize=15617104 memory=1121628 CPUtime=0.48 cores=0,2,4,6
/proc/23616/task/23617/stat : 23617 (java) S 23614 23614 23551 0 -1 1077944384 9031 0 0 0 44 4 0 0 20 0 19 0 445767093 15991914496 280689 33554432000 4194304 4196468 140725035474336 139675628901504 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23622] ppid=23614 vsize=15617104 memory=56 CPUtime=0.03 cores=0,2,4,6
/proc/23616/task/23622/stat : 23622 (java) S 23614 23614 23551 0 -1 1077944384 737 0 0 0 2 1 0 0 20 0 19 0 445767094 15991914496 280689 33554432000 4194304 4196468 140725035474336 139675560897680 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23623] ppid=23614 vsize=15617104 memory=288230583166042425 CPUtime=0.02 cores=0,2,4,6
/proc/23616/task/23623/stat : 23623 (java) S 23614 23614 23551 0 -1 1077944384 431 0 0 0 1 1 0 0 20 0 19 0 445767094 15991914496 280689 33554432000 4194304 4196468 140725035474336 139675559844880 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23624] ppid=23614 vsize=15617104 memory=281057156923632 CPUtime=0.03 cores=0,2,4,6
/proc/23616/task/23624/stat : 23624 (java) S 23614 23614 23551 0 -1 1077944384 453 0 0 0 2 1 0 0 20 0 19 0 445767094 15991914496 280689 33554432000 4194304 4196468 140725035474336 139675558792080 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23625] ppid=23614 vsize=15617104 memory=16302411192 CPUtime=0.03 cores=0,2,4,6
/proc/23616/task/23625/stat : 23625 (java) S 23614 23614 23551 0 -1 1077944384 259 0 0 0 2 1 0 0 20 0 19 0 445767094 15991914496 280689 33554432000 4194304 4196468 140725035474336 139675214338832 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23628] ppid=23614 vsize=15617104 memory=16302411194 CPUtime=0.01 cores=0,2,4,6
/proc/23616/task/23628/stat : 23628 (java) S 23614 23614 23551 0 -1 1077944384 1630 0 0 0 1 0 0 0 20 0 19 0 445767095 15991914496 280689 33554432000 4194304 4196468 140725035474336 139675160471920 139675624671874 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23630] ppid=23614 vsize=15617104 memory=16302411194 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23630/stat : 23630 (java) S 23614 23614 23551 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445767096 15991914496 280689 33554432000 4194304 4196468 140725035474336 139675159417952 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23631] ppid=23614 vsize=15617104 memory=16302411194 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23631/stat : 23631 (java) S 23614 23614 23551 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445767096 15991914496 280689 33554432000 4194304 4196468 140725035474336 139675158365056 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23638] ppid=23614 vsize=15617104 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23638/stat : 23638 (java) S 23614 23614 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445767098 15991914496 280689 33554432000 4194304 4196468 140725035474336 139675157313360 139675624679323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23639] ppid=23614 vsize=15617104 memory=288230583166042425 CPUtime=1.71 cores=0,2,4,6
/proc/23616/task/23639/stat : 23639 (java) S 23614 23614 23551 0 -1 1077944384 10314 0 0 0 169 2 0 0 20 0 19 0 445767098 15991914496 280689 33554432000 4194304 4196468 140725035474336 139675156261744 139675624671874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23640] ppid=23614 vsize=15617104 memory=14973369229511284 CPUtime=1.33 cores=0,2,4,6
/proc/23616/task/23640/stat : 23640 (java) S 23614 23614 23551 0 -1 1077944384 5782 0 0 0 132 1 0 0 20 0 19 0 445767098 15991914496 280689 33554432000 4194304 4196468 140725035474336 139674560490224 139675624671874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23641] ppid=23614 vsize=15617104 memory=1712 CPUtime=0.5 cores=0,2,4,6
/proc/23616/task/23641/stat : 23641 (java) S 23614 23614 23551 0 -1 1077944384 3498 0 0 0 49 1 0 0 20 0 19 0 445767098 15991914496 280689 33554432000 4194304 4196468 140725035474336 139674559437424 139675624671874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23642] ppid=23614 vsize=15617104 memory=988 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23642/stat : 23642 (java) S 23614 23614 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445767098 15991914496 280689 33554432000 4194304 4196468 140725035474336 139674558384864 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23643] ppid=23614 vsize=15617104 memory=4164 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23643/stat : 23643 (java) S 23614 23614 23551 0 -1 1077944384 328 0 0 0 0 0 0 0 20 0 19 0 445767099 15991914496 280689 33554432000 4194304 4196468 140725035474336 139674557332144 139675624671874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=24431] ppid=23614 vsize=15617104 memory=2828 CPUtime=28.63 cores=0,2,4,6
/proc/23616/task/24431/stat : 24431 (java) R 23614 23614 23551 0 -1 4202560 422 0 0 0 2862 1 0 0 20 0 19 0 445767278 15991914496 280689 33554432000 4194304 4196468 140725035474336 139674103033952 139675243418580 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=24432] ppid=23614 vsize=15617104 memory=1048 CPUtime=28.69 cores=0,2,4,6
/proc/23616/task/24432/stat : 24432 (java) R 23614 23614 23551 0 -1 4202560 1890 0 0 0 2863 6 0 0 20 0 19 0 445767278 15991914496 280689 33554432000 4194304 4196468 140725035474336 139674101981536 139675243792471 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=24433] ppid=23614 vsize=15617104 memory=6020 CPUtime=28.57 cores=0,2,4,6
/proc/23616/task/24433/stat : 24433 (java) R 23614 23614 23551 0 -1 4202560 1107 0 0 0 2857 0 0 0 20 0 19 0 445767278 15991914496 280689 33554432000 4194304 4196468 140725035474336 139674105140296 139675242696087 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=24434] ppid=23614 vsize=15617104 memory=612 CPUtime=28.24 cores=0,2,4,6
/proc/23616/task/24434/stat : 24434 (java) R 23614 23614 23551 0 -1 4202560 3364 0 0 0 2817 7 0 0 20 0 19 0 445767278 15991914496 280689 33554432000 4194304 4196468 140725035474336 139674099878640 139675243746335 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
Current children cumulated CPU time: 121.16 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 1124204 KiB
[startup+31.0015 s]*
/proc/loadavg: 3.91 1.91 1.54 9/238 24800
/proc/meminfo: memFree=25780408/32770624 swapFree=66999436/67108860
[pid=23614] ppid=23610 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23614/stat : 23614 (xcsp3-exec) S 23610 23614 23551 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445767092 115843072 362 33554432000 4194304 5098028 140734450393984 140734450392088 140271766712956 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27217920 140734450398074 140734450398317 140734450398317 140734450401226 0
/proc/23614/statm: 28282 362 304 221 0 87 0
[pid=23616] ppid=23614 vsize=15617104 memory=1122756 CPUtime=121.99 cores=0,2,4,6
/proc/23616/stat : 23616 (java) S 23614 23614 23551 0 -1 1077944320 50066 0 0 0 12159 40 0 0 20 0 19 0 445767093 15991914496 280689 33554432000 4194304 4196468 140725035474336 140725035456880 139675624660727 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
/proc/23616/statm: 3904276 280689 3514 1 0 3865376 0
[pid=23616/tid=23617] ppid=23614 vsize=15617104 memory=6791534058613427641 CPUtime=0.48 cores=0,2,4,6
/proc/23616/task/23617/stat : 23617 (java) S 23614 23614 23551 0 -1 1077944384 9031 0 0 0 44 4 0 0 20 0 19 0 445767093 15991914496 280689 33554432000 4194304 4196468 140725035474336 139675628901504 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23622] ppid=23614 vsize=15617104 memory=4572164749098055210 CPUtime=0.03 cores=0,2,4,6
/proc/23616/task/23622/stat : 23622 (java) S 23614 23614 23551 0 -1 1077944384 737 0 0 0 2 1 0 0 20 0 19 0 445767094 15991914496 280689 33554432000 4194304 4196468 140725035474336 139675560897680 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23623] ppid=23614 vsize=15617104 memory=-8412652160765825907 CPUtime=0.02 cores=0,2,4,6
/proc/23616/task/23623/stat : 23623 (java) S 23614 23614 23551 0 -1 1077944384 431 0 0 0 1 1 0 0 20 0 19 0 445767094 15991914496 280689 33554432000 4194304 4196468 140725035474336 139675559844880 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23624] ppid=23614 vsize=15617104 memory=6791534058613427641 CPUtime=0.03 cores=0,2,4,6
/proc/23616/task/23624/stat : 23624 (java) S 23614 23614 23551 0 -1 1077944384 453 0 0 0 2 1 0 0 20 0 19 0 445767094 15991914496 280689 33554432000 4194304 4196468 140725035474336 139675558792080 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23625] ppid=23614 vsize=15617104 memory=7100839878645619564 CPUtime=0.03 cores=0,2,4,6
/proc/23616/task/23625/stat : 23625 (java) S 23614 23614 23551 0 -1 1077944384 259 0 0 0 2 1 0 0 20 0 19 0 445767094 15991914496 280689 33554432000 4194304 4196468 140725035474336 139675214338832 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23628] ppid=23614 vsize=15617104 memory=5450906554093958698 CPUtime=0.01 cores=0,2,4,6
/proc/23616/task/23628/stat : 23628 (java) S 23614 23614 23551 0 -1 1077944384 1630 0 0 0 1 0 0 0 20 0 19 0 445767095 15991914496 280689 33554432000 4194304 4196468 140725035474336 139675160471920 139675624671874 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23630] ppid=23614 vsize=15617104 memory=7897517683652307531 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23630/stat : 23630 (java) S 23614 23614 23551 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445767096 15991914496 280689 33554432000 4194304 4196468 140725035474336 139675159417952 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23631] ppid=23614 vsize=15617104 memory=8514726395715349656 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23631/stat : 23631 (java) S 23614 23614 23551 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445767096 15991914496 280689 33554432000 4194304 4196468 140725035474336 139675158365056 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23638] ppid=23614 vsize=15617104 memory=3047711553320166262 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23638/stat : 23638 (java) S 23614 23614 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445767098 15991914496 280689 33554432000 4194304 4196468 140725035474336 139675157313360 139675624679323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23639] ppid=23614 vsize=15617104 memory=7824336315716348491 CPUtime=1.71 cores=0,2,4,6
/proc/23616/task/23639/stat : 23639 (java) S 23614 23614 23551 0 -1 1077944384 10314 0 0 0 169 2 0 0 20 0 19 0 445767098 15991914496 280689 33554432000 4194304 4196468 140725035474336 139675156261744 139675624671874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23640] ppid=23614 vsize=15617104 memory=-8412652169205224307 CPUtime=1.33 cores=0,2,4,6
/proc/23616/task/23640/stat : 23640 (java) S 23614 23614 23551 0 -1 1077944384 5782 0 0 0 132 1 0 0 20 0 19 0 445767098 15991914496 280689 33554432000 4194304 4196468 140725035474336 139674560490224 139675624671874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23641] ppid=23614 vsize=15617104 memory=7595441044910926186 CPUtime=0.5 cores=0,2,4,6
/proc/23616/task/23641/stat : 23641 (java) S 23614 23614 23551 0 -1 1077944384 3498 0 0 0 49 1 0 0 20 0 19 0 445767098 15991914496 280689 33554432000 4194304 4196468 140725035474336 139674559437424 139675624671874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23642] ppid=23614 vsize=15617104 memory=7885354799505171282 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23642/stat : 23642 (java) S 23614 23614 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445767098 15991914496 280689 33554432000 4194304 4196468 140725035474336 139674558384864 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23643] ppid=23614 vsize=15617104 memory=6948599479807601234 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23643/stat : 23643 (java) S 23614 23614 23551 0 -1 1077944384 328 0 0 0 0 0 0 0 20 0 19 0 445767099 15991914496 280689 33554432000 4194304 4196468 140725035474336 139674557332144 139675624671874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=24431] ppid=23614 vsize=15617104 memory=6948599479807601234 CPUtime=28.84 cores=0,2,4,6
/proc/23616/task/24431/stat : 24431 (java) R 23614 23614 23551 0 -1 4202560 422 0 0 0 2883 1 0 0 20 0 19 0 445767278 15991914496 280689 33554432000 4194304 4196468 140725035474336 139674103033952 139675243584818 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=24432] ppid=23614 vsize=15617104 memory=7307743850731693416 CPUtime=28.9 cores=0,2,4,6
/proc/23616/task/24432/stat : 24432 (java) R 23614 23614 23551 0 -1 4202560 1890 0 0 0 2884 6 0 0 20 0 19 0 445767278 15991914496 280689 33554432000 4194304 4196468 140725035474336 139674101981536 139675243905996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=24433] ppid=23614 vsize=15617104 memory=7451582077908642920 CPUtime=28.78 cores=0,2,4,6
/proc/23616/task/24433/stat : 24433 (java) R 23614 23614 23551 0 -1 4202560 1107 0 0 0 2878 0 0 0 20 0 19 0 445767278 15991914496 280689 33554432000 4194304 4196468 140725035474336 139674105140296 139675242425498 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=24434] ppid=23614 vsize=15617104 memory=7666062612776052075 CPUtime=28.44 cores=0,2,4,6
/proc/23616/task/24434/stat : 24434 (java) R 23614 23614 23551 0 -1 4202560 3364 0 0 0 2837 7 0 0 20 0 19 0 445767278 15991914496 280689 33554432000 4194304 4196468 140725035474336 139674099878640 139675243916679 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
Current children cumulated CPU time: 121.99 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 1124204 KiB
[startup+31.1115 s]
/proc/loadavg: 3.91 1.91 1.54 9/238 24800
/proc/meminfo: memFree=25780408/32770624 swapFree=66999436/67108860
[pid=23614] ppid=23610 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23614/stat : 23614 (xcsp3-exec) S 23610 23614 23551 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445767092 115843072 362 33554432000 4194304 5098028 140734450393984 140734450392088 140271766712956 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27217920 140734450398074 140734450398317 140734450398317 140734450401226 0
/proc/23614/statm: 28282 362 304 221 0 87 0
[pid=23616] ppid=23614 vsize=15617104 memory=1122756 CPUtime=122.39 cores=0,2,4,6
/proc/23616/stat : 23616 (java) S 23614 23614 23551 0 -1 1077944320 50066 0 0 0 12199 40 0 0 20 0 19 0 445767093 15991914496 280689 33554432000 4194304 4196468 140725035474336 140725035456880 139675624660727 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
/proc/23616/statm: 3904276 280689 3514 1 0 3865376 0
[pid=23616/tid=23617] ppid=23614 vsize=15617104 memory=0 CPUtime=0.48 cores=0,2,4,6
/proc/23616/task/23617/stat : 23617 (java) S 23614 23614 23551 0 -1 1077944384 9031 0 0 0 44 4 0 0 20 0 19 0 445767093 15991914496 280689 33554432000 4194304 4196468 140725035474336 139675628901504 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23622] ppid=23614 vsize=15617104 memory=1448 CPUtime=0.03 cores=0,2,4,6
/proc/23616/task/23622/stat : 23622 (java) S 23614 23614 23551 0 -1 1077944384 737 0 0 0 2 1 0 0 20 0 19 0 445767094 15991914496 280689 33554432000 4194304 4196468 140725035474336 139675560897680 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23623] ppid=23614 vsize=15617104 memory=1448 CPUtime=0.02 cores=0,2,4,6
/proc/23616/task/23623/stat : 23623 (java) S 23614 23614 23551 0 -1 1077944384 431 0 0 0 1 1 0 0 20 0 19 0 445767094 15991914496 280689 33554432000 4194304 4196468 140725035474336 139675559844880 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23624] ppid=23614 vsize=15617104 memory=1448 CPUtime=0.03 cores=0,2,4,6
/proc/23616/task/23624/stat : 23624 (java) S 23614 23614 23551 0 -1 1077944384 453 0 0 0 2 1 0 0 20 0 19 0 445767094 15991914496 280689 33554432000 4194304 4196468 140725035474336 139675558792080 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23625] ppid=23614 vsize=15617104 memory=1122252 CPUtime=0.03 cores=0,2,4,6
/proc/23616/task/23625/stat : 23625 (java) S 23614 23614 23551 0 -1 1077944384 259 0 0 0 2 1 0 0 20 0 19 0 445767094 15991914496 280689 33554432000 4194304 4196468 140725035474336 139675214338832 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23628] ppid=23614 vsize=15617104 memory=56 CPUtime=0.01 cores=0,2,4,6
/proc/23616/task/23628/stat : 23628 (java) S 23614 23614 23551 0 -1 1077944384 1630 0 0 0 1 0 0 0 20 0 19 0 445767095 15991914496 280689 33554432000 4194304 4196468 140725035474336 139675160471920 139675624671874 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23630] ppid=23614 vsize=15617104 memory=281055614028521 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23630/stat : 23630 (java) S 23614 23614 23551 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445767096 15991914496 280689 33554432000 4194304 4196468 140725035474336 139675159417952 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23631] ppid=23614 vsize=15617104 memory=3624 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23631/stat : 23631 (java) S 23614 23614 23551 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445767096 15991914496 280689 33554432000 4194304 4196468 140725035474336 139675158365056 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23638] ppid=23614 vsize=15617104 memory=47904 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23638/stat : 23638 (java) S 23614 23614 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445767098 15991914496 280689 33554432000 4194304 4196468 140725035474336 139675157313360 139675624679323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23639] ppid=23614 vsize=15617104 memory=6791534058613427641 CPUtime=1.71 cores=0,2,4,6
/proc/23616/task/23639/stat : 23639 (java) S 23614 23614 23551 0 -1 1077944384 10314 0 0 0 169 2 0 0 20 0 19 0 445767098 15991914496 280689 33554432000 4194304 4196468 140725035474336 139675156261744 139675624671874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23640] ppid=23614 vsize=15617104 memory=1556 CPUtime=1.33 cores=0,2,4,6
/proc/23616/task/23640/stat : 23640 (java) S 23614 23614 23551 0 -1 1077944384 5782 0 0 0 132 1 0 0 20 0 19 0 445767098 15991914496 280689 33554432000 4194304 4196468 140725035474336 139674560490224 139675624671874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23641] ppid=23614 vsize=15617104 memory=932 CPUtime=0.5 cores=0,2,4,6
/proc/23616/task/23641/stat : 23641 (java) S 23614 23614 23551 0 -1 1077944384 3498 0 0 0 49 1 0 0 20 0 19 0 445767098 15991914496 280689 33554432000 4194304 4196468 140725035474336 139674559437424 139675624671874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23642] ppid=23614 vsize=15617104 memory=13412 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23642/stat : 23642 (java) S 23614 23614 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445767098 15991914496 280689 33554432000 4194304 4196468 140725035474336 139674558384864 139675624670933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=23643] ppid=23614 vsize=15617104 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/23616/task/23643/stat : 23643 (java) S 23614 23614 23551 0 -1 1077944384 328 0 0 0 0 0 0 0 20 0 19 0 445767099 15991914496 280689 33554432000 4194304 4196468 140725035474336 139674557332144 139675624671874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=24431] ppid=23614 vsize=15617104 memory=23184 CPUtime=28.94 cores=0,2,4,6
/proc/23616/task/24431/stat : 24431 (java) R 23614 23614 23551 0 -1 4202560 422 0 0 0 2893 1 0 0 20 0 19 0 445767278 15991914496 280689 33554432000 4194304 4196468 140725035474336 139674103033952 139675243418522 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=24432] ppid=23614 vsize=15617104 memory=1448 CPUtime=29 cores=0,2,4,6
/proc/23616/task/24432/stat : 24432 (java) R 23614 23614 23551 0 -1 4202560 1890 0 0 0 2894 6 0 0 20 0 19 0 445767278 15991914496 280689 33554432000 4194304 4196468 140725035474336 139674101981536 139675243912019 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=24433] ppid=23614 vsize=15617104 memory=1122252 CPUtime=28.88 cores=0,2,4,6
/proc/23616/task/24433/stat : 24433 (java) R 23614 23614 23551 0 -1 4202560 1107 0 0 0 2888 0 0 0 20 0 19 0 445767278 15991914496 280689 33554432000 4194304 4196468 140725035474336 139674105140296 139675242831570 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
[pid=23616/tid=24434] ppid=23614 vsize=15617104 memory=2888 CPUtime=28.54 cores=0,2,4,6
/proc/23616/task/24434/stat : 24434 (java) R 23614 23614 23551 0 -1 4202560 3364 0 0 0 2847 7 0 0 20 0 19 0 445767278 15991914496 280689 33554432000 4194304 4196468 140725035474336 139674099878640 139675243747549 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140725035480047 140725035480218 140725035480218 140725035483087 0
Current children cumulated CPU time: 122.39 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 1124204 KiB
Child status: 0
Real time (s): 31.1637
CPU time (s): 122.558
CPU user time (s): 122.142
CPU system time (s): 0.41609
CPU usage (%): 393.272
Max. virtual memory (cumulated for all children) (KiB): 15730232
Max. memory (cumulated for all children) (KiB): 1126264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 122.142
system time used= 0.41609
maximum resident set size= 1125328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51334
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6342
involuntary context switches= 2450
# summary of solver processes directly reported to runsolver:
# pid: 23614
# total CPU time (s): 122.558
# total CPU user time (s): 122.142
# total CPU system time (s): 0.41609
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.232442 second user time and 0.379542 second system time
The end