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 (7455 MiB free)
memory of node 1: 16384 MiB (9555 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393401-1568347779/watcher-4393401-1568347779 -o /tmp/evaluation-result-4393401-1568347779/solver-4393401-1568347779 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568343408-4479 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1880652879 HOME/instance-4393401-1568347779.xml
running on 4 cores: 1,3,5,7
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=7672, runsolver pid=7669
[startup+0.100065 s]*
/proc/loadavg: 8.38 8.29 7.87 7/233 7688
/proc/meminfo: memFree=17401852/32770624 swapFree=66959216/67108860
[pid=7672] ppid=7669 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7672/stat : 7672 (xcsp3-exec) S 7669 7672 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410718122 115843072 362 33554432000 4194304 5098028 140722877543312 140722877541416 140517617611388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16015360 140722877551482 140722877551725 140722877551725 140722877554634 0
/proc/7672/statm: 28282 362 304 221 0 87 0
[pid=7674] ppid=7672 vsize=15144768 memory=29628 CPUtime=0.13 cores=1,3,5,7
/proc/7674/stat : 7674 (java) S 7672 7672 3331 0 -1 1077944320 5852 0 0 0 12 1 0 0 20 0 15 0 410718122 15508242432 7407 33554432000 4194304 4196468 140721447472560 140721447455104 140021923024631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
/proc/7674/statm: 3786192 7407 3145 1 0 3748377 0
[pid=7674/tid=7675] ppid=7672 vsize=15144768 memory=-8976644418600983157 CPUtime=0.09 cores=1,3,5,7
/proc/7674/task/7675/stat : 7675 (java) R 7672 7672 3331 0 -1 4202560 3727 0 0 0 9 0 0 0 20 0 15 0 410718123 15508242432 7407 33554432000 4194304 4196468 140721447472560 140021927255776 140021923036566 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7676] ppid=7672 vsize=15144768 memory=3472467771678794960 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7676/stat : 7676 (java) S 7672 7672 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410718123 15508242432 7407 33554432000 4194304 4196468 140721447472560 140021851065232 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7677] ppid=7672 vsize=15144768 memory=139642783643264 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7677/stat : 7677 (java) S 7672 7672 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410718123 15508242432 7407 33554432000 4194304 4196468 140721447472560 140021850012432 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7678] ppid=7672 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7678/stat : 7678 (java) S 7672 7672 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410718123 15508242432 7407 33554432000 4194304 4196468 140721447472560 140021848960144 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7679] ppid=7672 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7679/stat : 7679 (java) S 7672 7672 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410718123 15508242432 7407 33554432000 4194304 4196468 140721447472560 140021847907344 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7680] ppid=7672 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7680/stat : 7680 (java) S 7672 7672 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410718125 15508242432 7407 33554432000 4194304 4196468 140721447472560 140021391173744 140021923035778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7681] ppid=7672 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7681/stat : 7681 (java) S 7672 7672 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410718125 15508242432 7407 33554432000 4194304 4196468 140721447472560 140021390119712 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7682] ppid=7672 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7682/stat : 7682 (java) S 7672 7672 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410718125 15508242432 7407 33554432000 4194304 4196468 140721447472560 140021389067376 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7683] ppid=7672 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7683/stat : 7683 (java) S 7672 7672 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410718128 15508242432 7407 33554432000 4194304 4196468 140721447472560 140021388015696 140021923043227 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7684] ppid=7672 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7684/stat : 7684 (java) R 7672 7672 3331 0 -1 1077944384 341 0 0 0 0 0 0 0 20 0 15 0 410718128 15508242432 7407 33554432000 4194304 4196468 140721447472560 140021386963568 140021923035778 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7685] ppid=7672 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7685/stat : 7685 (java) S 7672 7672 3331 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 410718128 15508242432 7407 33554432000 4194304 4196468 140721447472560 140021385910768 140021923035778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7686] ppid=7672 vsize=15144768 memory=139642783643264 CPUtime=0.02 cores=1,3,5,7
/proc/7674/task/7686/stat : 7686 (java) R 7672 7672 3331 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 15 0 410718128 15508242432 7407 33554432000 4194304 4196468 140721447472560 140021384858480 140021901515943 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7687] ppid=7672 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7687/stat : 7687 (java) S 7672 7672 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410718128 15508242432 7407 33554432000 4194304 4196468 140721447472560 140021383805920 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7688] ppid=7672 vsize=15144768 memory=139642783643264 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7688/stat : 7688 (java) S 7672 7672 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410718128 15508242432 7407 33554432000 4194304 4196468 140721447472560 140021382752688 140021923035778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31076 KiB
[startup+0.2107 s]*
/proc/loadavg: 8.38 8.29 7.87 6/233 7688
/proc/meminfo: memFree=17390240/32770624 swapFree=66959216/67108860
[pid=7672] ppid=7669 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7672/stat : 7672 (xcsp3-exec) S 7669 7672 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410718122 115843072 362 33554432000 4194304 5098028 140722877543312 140722877541416 140517617611388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16015360 140722877551482 140722877551725 140722877551725 140722877554634 0
/proc/7672/statm: 28282 362 304 221 0 87 0
[pid=7674] ppid=7672 vsize=15144768 memory=40004 CPUtime=0.34 cores=1,3,5,7
/proc/7674/stat : 7674 (java) S 7672 7672 3331 0 -1 1077944320 9308 0 0 0 31 3 0 0 20 0 15 0 410718122 15508242432 10001 33554432000 4194304 4196468 140721447472560 140721447455104 140021923024631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
/proc/7674/statm: 3786192 10001 3261 1 0 3748377 0
[pid=7674/tid=7675] ppid=7672 vsize=15144768 memory=4500116723389865625 CPUtime=0.2 cores=1,3,5,7
/proc/7674/task/7675/stat : 7675 (java) R 7672 7672 3331 0 -1 4202560 6602 0 0 0 18 2 0 0 20 0 15 0 410718123 15508242432 10064 33554432000 4194304 4196468 140721447472560 140021927259616 140021907105118 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7676] ppid=7672 vsize=15144768 memory=3472467771678794960 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7676/stat : 7676 (java) S 7672 7672 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410718123 15508242432 10064 33554432000 4194304 4196468 140721447472560 140021851065232 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7677] ppid=7672 vsize=15144768 memory=139642783643264 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7677/stat : 7677 (java) S 7672 7672 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410718123 15508242432 10064 33554432000 4194304 4196468 140721447472560 140021850012432 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7678] ppid=7672 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7678/stat : 7678 (java) S 7672 7672 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410718123 15508242432 10064 33554432000 4194304 4196468 140721447472560 140021848960144 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7679] ppid=7672 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7679/stat : 7679 (java) S 7672 7672 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410718123 15508242432 10064 33554432000 4194304 4196468 140721447472560 140021847907344 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7680] ppid=7672 vsize=15144768 memory=139642783643264 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7680/stat : 7680 (java) S 7672 7672 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410718125 15508242432 10064 33554432000 4194304 4196468 140721447472560 140021391173744 140021923035778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7681] ppid=7672 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7681/stat : 7681 (java) S 7672 7672 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410718125 15508242432 10064 33554432000 4194304 4196468 140721447472560 140021390119712 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7682] ppid=7672 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7682/stat : 7682 (java) S 7672 7672 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410718125 15508242432 10064 33554432000 4194304 4196468 140721447472560 140021389067376 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7683] ppid=7672 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7683/stat : 7683 (java) S 7672 7672 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410718128 15508242432 10064 33554432000 4194304 4196468 140721447472560 140021388015696 140021923043227 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7684] ppid=7672 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/7674/task/7684/stat : 7684 (java) S 7672 7672 3331 0 -1 1077944384 384 0 0 0 2 0 0 0 20 0 15 0 410718128 15508242432 10064 33554432000 4194304 4196468 140721447472560 140021386963568 140021923035778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7685] ppid=7672 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/7674/task/7685/stat : 7685 (java) S 7672 7672 3331 0 -1 1077944384 235 0 0 0 2 0 0 0 20 0 15 0 410718128 15508242432 10064 33554432000 4194304 4196468 140721447472560 140021385910768 140021923035778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7686] ppid=7672 vsize=15144768 memory=139642783643264 CPUtime=0.08 cores=1,3,5,7
/proc/7674/task/7686/stat : 7686 (java) S 7672 7672 3331 0 -1 1077944384 789 0 0 0 8 0 0 0 20 0 15 0 410718128 15508242432 10064 33554432000 4194304 4196468 140721447472560 140021384858480 140021923035778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7687] ppid=7672 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7687/stat : 7687 (java) S 7672 7672 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410718128 15508242432 10064 33554432000 4194304 4196468 140721447472560 140021383805920 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7688] ppid=7672 vsize=15144768 memory=139642783643264 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7688/stat : 7688 (java) S 7672 7672 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410718128 15508242432 10064 33554432000 4194304 4196468 140721447472560 140021382752688 140021923035778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41452 KiB
[startup+0.310599 s]*
/proc/loadavg: 8.38 8.29 7.87 7/233 7688
/proc/meminfo: memFree=17383080/32770624 swapFree=66959216/67108860
[pid=7672] ppid=7669 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7672/stat : 7672 (xcsp3-exec) S 7669 7672 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410718122 115843072 362 33554432000 4194304 5098028 140722877543312 140722877541416 140517617611388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16015360 140722877551482 140722877551725 140722877551725 140722877554634 0
/proc/7672/statm: 28282 362 304 221 0 87 0
[pid=7674] ppid=7672 vsize=15149024 memory=50056 CPUtime=0.53 cores=1,3,5,7
/proc/7674/stat : 7674 (java) S 7672 7672 3331 0 -1 1077944320 10860 0 0 0 49 4 0 0 20 0 15 0 410718122 15512600576 12514 33554432000 4194304 4196468 140721447472560 140721447455104 140021923024631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
/proc/7674/statm: 3787256 12514 3370 1 0 3748377 0
[pid=7674/tid=7675] ppid=7672 vsize=15149024 memory=-8976644418600983157 CPUtime=0.3 cores=1,3,5,7
/proc/7674/task/7675/stat : 7675 (java) R 7672 7672 3331 0 -1 4202560 7814 0 0 0 28 2 0 0 20 0 15 0 410718123 15512600576 12514 33554432000 4194304 4196468 140721447472560 140021927255744 140021907105118 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7676] ppid=7672 vsize=15149024 memory=3472467771678794960 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7676/stat : 7676 (java) S 7672 7672 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410718123 15512600576 12514 33554432000 4194304 4196468 140721447472560 140021851065232 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7677] ppid=7672 vsize=15149024 memory=139642783643264 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7677/stat : 7677 (java) S 7672 7672 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410718123 15512600576 12514 33554432000 4194304 4196468 140721447472560 140021850012432 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7678] ppid=7672 vsize=15149024 memory=6 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7678/stat : 7678 (java) S 7672 7672 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410718123 15512600576 12514 33554432000 4194304 4196468 140721447472560 140021848960144 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7679] ppid=7672 vsize=15149024 memory=139642674489375 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7679/stat : 7679 (java) S 7672 7672 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410718123 15512600576 12514 33554432000 4194304 4196468 140721447472560 140021847907344 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7680] ppid=7672 vsize=15149024 memory=279285348957984 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7680/stat : 7680 (java) S 7672 7672 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410718125 15512600576 12514 33554432000 4194304 4196468 140721447472560 140021391173744 140021923035778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7681] ppid=7672 vsize=15149024 memory=139642674466319 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7681/stat : 7681 (java) S 7672 7672 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410718125 15512600576 12514 33554432000 4194304 4196468 140721447472560 140021390119712 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7682] ppid=7672 vsize=15149024 memory=279285458118752 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7682/stat : 7682 (java) S 7672 7672 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410718125 15512600576 12514 33554432000 4194304 4196468 140721447472560 140021389067376 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7683] ppid=7672 vsize=15149024 memory=139642674470927 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7683/stat : 7683 (java) S 7672 7672 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410718128 15512600576 12514 33554432000 4194304 4196468 140721447472560 140021388015696 140021923043227 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7684] ppid=7672 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/7674/task/7684/stat : 7684 (java) S 7672 7672 3331 0 -1 1077944384 514 0 0 0 4 0 0 0 20 0 15 0 410718128 15512600576 12514 33554432000 4194304 4196468 140721447472560 140021386963568 140021923035778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7685] ppid=7672 vsize=15149024 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/7674/task/7685/stat : 7685 (java) S 7672 7672 3331 0 -1 1077944384 273 0 0 0 4 0 0 0 20 0 15 0 410718128 15512600576 12514 33554432000 4194304 4196468 140721447472560 140021385910768 140021923035778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7686] ppid=7672 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/7674/task/7686/stat : 7686 (java) S 7672 7672 3331 0 -1 1077944384 958 0 0 0 12 0 0 0 20 0 15 0 410718128 15512600576 12514 33554432000 4194304 4196468 140721447472560 140021384858480 140021923035778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7687] ppid=7672 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7687/stat : 7687 (java) S 7672 7672 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410718128 15512600576 12514 33554432000 4194304 4196468 140721447472560 140021383805920 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7688] ppid=7672 vsize=15149024 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7688/stat : 7688 (java) S 7672 7672 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410718128 15512600576 12514 33554432000 4194304 4196468 140721447472560 140021382752688 140021923035778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51504 KiB
[startup+0.701452 s]
/proc/loadavg: 8.38 8.29 7.87 7/233 7688
/proc/meminfo: memFree=17365640/32770624 swapFree=66959216/67108860
[pid=7672] ppid=7669 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7672/stat : 7672 (xcsp3-exec) S 7669 7672 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410718122 115843072 362 33554432000 4194304 5098028 140722877543312 140722877541416 140517617611388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16015360 140722877551482 140722877551725 140722877551725 140722877554634 0
/proc/7672/statm: 28282 362 304 221 0 87 0
[pid=7674] ppid=7672 vsize=15151148 memory=94948 CPUtime=1.69 cores=1,3,5,7
/proc/7674/stat : 7674 (java) S 7672 7672 3331 0 -1 1077944320 14346 0 0 0 164 5 0 0 20 0 15 0 410718122 15514775552 23737 33554432000 4194304 4196468 140721447472560 140721447455104 140021923024631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
/proc/7674/statm: 3787787 23737 3458 1 0 3748889 0
[pid=7674/tid=7675] ppid=7672 vsize=15151148 memory=4639059877604708710 CPUtime=0.68 cores=1,3,5,7
/proc/7674/task/7675/stat : 7675 (java) R 7672 7672 3331 0 -1 4202560 9123 0 0 0 64 4 0 0 20 0 15 0 410718123 15514775552 23737 33554432000 4194304 4196468 140721447472560 140021927258032 140021524081255 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7676] ppid=7672 vsize=15151148 memory=6935650355287975249 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7676/stat : 7676 (java) S 7672 7672 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410718123 15514775552 23737 33554432000 4194304 4196468 140721447472560 140021851065232 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7677] ppid=7672 vsize=15151148 memory=6935649255995698513 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7677/stat : 7677 (java) S 7672 7672 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410718123 15514775552 23737 33554432000 4194304 4196468 140721447472560 140021850012432 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7678] ppid=7672 vsize=15151148 memory=7825734864442108491 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7678/stat : 7678 (java) S 7672 7672 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410718123 15514775552 23737 33554432000 4194304 4196468 140721447472560 140021848960144 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7679] ppid=7672 vsize=15151148 memory=7100839870140027543 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7679/stat : 7679 (java) S 7672 7672 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410718123 15514775552 23737 33554432000 4194304 4196468 140721447472560 140021847907344 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7680] ppid=7672 vsize=15151148 memory=6944613755328037012 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7680/stat : 7680 (java) S 7672 7672 3331 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 410718125 15514775552 23737 33554432000 4194304 4196468 140721447472560 140021391173744 140021923035778 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7681] ppid=7672 vsize=15151148 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7681/stat : 7681 (java) S 7672 7672 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410718125 15514775552 23737 33554432000 4194304 4196468 140721447472560 140021390119712 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7682] ppid=7672 vsize=15151148 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7682/stat : 7682 (java) S 7672 7672 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410718125 15514775552 23737 33554432000 4194304 4196468 140721447472560 140021389067376 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7683] ppid=7672 vsize=15151148 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7683/stat : 7683 (java) S 7672 7672 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410718128 15514775552 23737 33554432000 4194304 4196468 140721447472560 140021388015696 140021923043227 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7684] ppid=7672 vsize=15151148 memory=1660 CPUtime=0.29 cores=1,3,5,7
/proc/7674/task/7684/stat : 7684 (java) R 7672 7672 3331 0 -1 4202560 1109 0 0 0 29 0 0 0 20 0 15 0 410718128 15514775552 23737 33554432000 4194304 4196468 140721447472560 140021386949664 140021908149696 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7685] ppid=7672 vsize=15151148 memory=38736 CPUtime=0.28 cores=1,3,5,7
/proc/7674/task/7685/stat : 7685 (java) R 7672 7672 3331 0 -1 4202560 856 0 0 0 28 0 0 0 20 0 15 0 410718128 15514775552 23737 33554432000 4194304 4196468 140721447472560 140021385909952 140021923045978 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7686] ppid=7672 vsize=15151148 memory=988 CPUtime=0.4 cores=1,3,5,7
/proc/7674/task/7686/stat : 7686 (java) R 7672 7672 3331 0 -1 4202560 1951 0 0 0 40 0 0 0 20 0 15 0 410718128 15514775552 23737 33554432000 4194304 4196468 140721447472560 140021384856272 140021923036566 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7687] ppid=7672 vsize=15151148 memory=5793994532452520804 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7687/stat : 7687 (java) S 7672 7672 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410718128 15514775552 23737 33554432000 4194304 4196468 140721447472560 140021383805920 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7688] ppid=7672 vsize=15151148 memory=8099279071866868836 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7688/stat : 7688 (java) S 7672 7672 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410718128 15514775552 23737 33554432000 4194304 4196468 140721447472560 140021382752688 140021923035778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 96396 KiB
[startup+1.50088 s]
/proc/loadavg: 8.38 8.29 7.87 10/237 7692
/proc/meminfo: memFree=17305324/32770624 swapFree=66959216/67108860
[pid=7672] ppid=7669 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7672/stat : 7672 (xcsp3-exec) S 7669 7672 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410718122 115843072 362 33554432000 4194304 5098028 140722877543312 140722877541416 140517617611388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16015360 140722877551482 140722877551725 140722877551725 140722877554634 0
/proc/7672/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/7674/stat : 7674 (java) S 7672 7672 3331 0 -1 1077944320 87115 0 0 0 206428 78 0 0 20 0 19 0 410718122 15787421696 562807 33554432000 4194304 4196468 140721447472560 140721447455104 140021923024631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
/proc/7674/statm: 3854351 562807 3543 1 0 3815453 0
[pid=7674/tid=7675] ppid=7672 vsize=15417404 memory=2251228 CPUtime=0.72 cores=1,3,5,7
/proc/7674/task/7675/stat : 7675 (java) S 7672 7672 3331 0 -1 1077944384 9202 0 0 0 68 4 0 0 20 0 19 0 410718123 15787421696 562807 33554432000 4194304 4196468 140721447472560 140021927265408 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7676] ppid=7672 vsize=15417404 memory=1448 CPUtime=1.28 cores=1,3,5,7
/proc/7674/task/7676/stat : 7676 (java) S 7672 7672 3331 0 -1 1077944384 1357 0 0 0 124 4 0 0 20 0 19 0 410718123 15787421696 562807 33554432000 4194304 4196468 140721447472560 140021851065232 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7677] ppid=7672 vsize=15417404 memory=2251228 CPUtime=1.25 cores=1,3,5,7
/proc/7674/task/7677/stat : 7677 (java) S 7672 7672 3331 0 -1 1077944384 2384 0 0 0 117 8 0 0 20 0 19 0 410718123 15787421696 562807 33554432000 4194304 4196468 140721447472560 140021850012432 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7678] ppid=7672 vsize=15417404 memory=-7880843606118635149 CPUtime=1.27 cores=1,3,5,7
/proc/7674/task/7678/stat : 7678 (java) S 7672 7672 3331 0 -1 1077944384 4073 0 0 0 120 7 0 0 20 0 19 0 410718123 15787421696 562807 33554432000 4194304 4196468 140721447472560 140021848960144 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7679] ppid=7672 vsize=15417404 memory=1448 CPUtime=1.26 cores=1,3,5,7
/proc/7674/task/7679/stat : 7679 (java) S 7672 7672 3331 0 -1 1077944384 1205 0 0 0 118 8 0 0 20 0 19 0 410718123 15787421696 562807 33554432000 4194304 4196468 140721447472560 140021847907344 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7680] ppid=7672 vsize=15417404 memory=2251228 CPUtime=4.11 cores=1,3,5,7
/proc/7674/task/7680/stat : 7680 (java) S 7672 7672 3331 0 -1 1077944384 16745 0 0 0 399 12 0 0 20 0 19 0 410718125 15787421696 562807 33554432000 4194304 4196468 140721447472560 140021391173744 140021923035778 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7681] ppid=7672 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7681/stat : 7681 (java) S 7672 7672 3331 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 410718125 15787421696 562807 33554432000 4194304 4196468 140721447472560 140021390119776 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7682] ppid=7672 vsize=15417404 memory=-7606742951091920751 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7682/stat : 7682 (java) S 7672 7672 3331 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 19 0 410718125 15787421696 562807 33554432000 4194304 4196468 140721447472560 140021389067392 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7683] ppid=7672 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7683/stat : 7683 (java) S 7672 7672 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410718128 15787421696 562807 33554432000 4194304 4196468 140721447472560 140021388015696 140021923043227 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7684] ppid=7672 vsize=15417404 memory=2251228 CPUtime=2.41 cores=1,3,5,7
/proc/7674/task/7684/stat : 7684 (java) S 7672 7672 3331 0 -1 1077944384 16690 0 0 0 239 2 0 0 20 0 19 0 410718128 15787421696 562807 33554432000 4194304 4196468 140721447472560 140021386963568 140021923035778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 36 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7685] ppid=7672 vsize=15417404 memory=2251228 CPUtime=1.73 cores=1,3,5,7
/proc/7674/task/7685/stat : 7685 (java) S 7672 7672 3331 0 -1 1077944384 13712 0 0 0 171 2 0 0 20 0 19 0 410718128 15787421696 562807 33554432000 4194304 4196468 140721447472560 140021385910768 140021923035778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7686] ppid=7672 vsize=15417404 memory=1448 CPUtime=0.69 cores=1,3,5,7
/proc/7674/task/7686/stat : 7686 (java) S 7672 7672 3331 0 -1 1077944384 7863 0 0 0 68 1 0 0 20 0 19 0 410718128 15787421696 562807 33554432000 4194304 4196468 140721447472560 140021384858480 140021923035778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7687] ppid=7672 vsize=15417404 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7687/stat : 7687 (java) S 7672 7672 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410718128 15787421696 562807 33554432000 4194304 4196468 140721447472560 140021383805920 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7688] ppid=7672 vsize=15417404 memory=928 CPUtime=0.21 cores=1,3,5,7
/proc/7674/task/7688/stat : 7688 (java) S 7672 7672 3331 0 -1 1077944384 1079 0 0 0 0 21 0 0 20 0 19 0 410718128 15787421696 562807 33554432000 4194304 4196468 140721447472560 140021382752688 140021923035778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7689] ppid=7672 vsize=15417404 memory=-7003737579269690708 CPUtime=514.12 cores=1,3,5,7
/proc/7674/task/7689/stat : 7689 (java) R 7672 7672 3331 0 -1 4202560 2019 0 0 0 51405 7 0 0 20 0 19 0 410718196 15787421696 562807 33554432000 4194304 4196468 140721447472560 140021373778064 140021521000542 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7690] ppid=7672 vsize=15417404 memory=580 CPUtime=512.82 cores=1,3,5,7
/proc/7674/task/7690/stat : 7690 (java) R 7672 7672 3331 0 -1 4202560 4345 0 0 0 51280 2 0 0 20 0 19 0 410718196 15787421696 562807 33554432000 4194304 4196468 140721447472560 140021372727128 140021526290487 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7691] ppid=7672 vsize=15417404 memory=2251228 CPUtime=510.21 cores=1,3,5,7
/proc/7674/task/7691/stat : 7691 (java) R 7672 7672 3331 0 -1 4202560 2165 0 0 0 51008 13 0 0 20 0 19 0 410718196 15787421696 562807 33554432000 4194304 4196468 140721447472560 140021371674440 140021521000137 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7692] ppid=7672 vsize=15417404 memory=3620 CPUtime=512.85 cores=1,3,5,7
/proc/7674/task/7692/stat : 7692 (java) R 7672 7672 3331 0 -1 4202560 2850 0 0 0 51283 2 0 0 20 0 19 0 410718196 15787421696 562807 33554432000 4194304 4196468 140721447472560 140020909330840 140021526290529 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
Current children cumulated CPU time: 2065.06 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 2252676 KiB
[startup+582.301 s]
/proc/loadavg: 8.34 8.51 8.15 10/237 9506
/proc/meminfo: memFree=17220516/32770624 swapFree=66959216/67108860
[pid=7672] ppid=7669 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7672/stat : 7672 (xcsp3-exec) S 7669 7672 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410718122 115843072 362 33554432000 4194304 5098028 140722877543312 140722877541416 140517617611388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16015360 140722877551482 140722877551725 140722877551725 140722877554634 0
/proc/7672/statm: 28282 362 304 221 0 87 0
[pid=7674] ppid=7672 vsize=15417404 memory=2251252 CPUtime=2303.95 cores=1,3,5,7
/proc/7674/stat : 7674 (java) S 7672 7672 3331 0 -1 1077944320 88478 0 0 0 230316 79 0 0 20 0 19 0 410718122 15787421696 562813 33554432000 4194304 4196468 140721447472560 140721447455104 140021923024631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
/proc/7674/statm: 3854351 562813 3543 1 0 3815453 0
[pid=7674/tid=7675] ppid=7672 vsize=15417404 memory=2251252 CPUtime=0.72 cores=1,3,5,7
/proc/7674/task/7675/stat : 7675 (java) S 7672 7672 3331 0 -1 1077944384 9202 0 0 0 68 4 0 0 20 0 19 0 410718123 15787421696 562813 33554432000 4194304 4196468 140721447472560 140021927265408 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7676] ppid=7672 vsize=15417404 memory=2251252 CPUtime=1.28 cores=1,3,5,7
/proc/7674/task/7676/stat : 7676 (java) S 7672 7672 3331 0 -1 1077944384 1357 0 0 0 124 4 0 0 20 0 19 0 410718123 15787421696 562813 33554432000 4194304 4196468 140721447472560 140021851065232 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7677] ppid=7672 vsize=15417404 memory=2251228 CPUtime=1.25 cores=1,3,5,7
/proc/7674/task/7677/stat : 7677 (java) S 7672 7672 3331 0 -1 1077944384 2384 0 0 0 117 8 0 0 20 0 19 0 410718123 15787421696 562813 33554432000 4194304 4196468 140721447472560 140021850012432 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7678] ppid=7672 vsize=15417404 memory=1448 CPUtime=1.27 cores=1,3,5,7
/proc/7674/task/7678/stat : 7678 (java) S 7672 7672 3331 0 -1 1077944384 4073 0 0 0 120 7 0 0 20 0 19 0 410718123 15787421696 562813 33554432000 4194304 4196468 140721447472560 140021848960144 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7679] ppid=7672 vsize=15417404 memory=2251252 CPUtime=1.26 cores=1,3,5,7
/proc/7674/task/7679/stat : 7679 (java) S 7672 7672 3331 0 -1 1077944384 1205 0 0 0 118 8 0 0 20 0 19 0 410718123 15787421696 562813 33554432000 4194304 4196468 140721447472560 140021847907344 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7680] ppid=7672 vsize=15417404 memory=1448 CPUtime=4.11 cores=1,3,5,7
/proc/7674/task/7680/stat : 7680 (java) S 7672 7672 3331 0 -1 1077944384 16753 0 0 0 399 12 0 0 20 0 19 0 410718125 15787421696 562813 33554432000 4194304 4196468 140721447472560 140021391173744 140021923035778 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7681] ppid=7672 vsize=15417404 memory=2251252 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7681/stat : 7681 (java) S 7672 7672 3331 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 410718125 15787421696 562813 33554432000 4194304 4196468 140721447472560 140021390119776 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7682] ppid=7672 vsize=15417404 memory=2251252 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7682/stat : 7682 (java) S 7672 7672 3331 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 19 0 410718125 15787421696 562813 33554432000 4194304 4196468 140721447472560 140021389067392 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7683] ppid=7672 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7683/stat : 7683 (java) S 7672 7672 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410718128 15787421696 562813 33554432000 4194304 4196468 140721447472560 140021388015696 140021923043227 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7684] ppid=7672 vsize=15417404 memory=1660 CPUtime=2.41 cores=1,3,5,7
/proc/7674/task/7684/stat : 7684 (java) S 7672 7672 3331 0 -1 1077944384 16693 0 0 0 239 2 0 0 20 0 19 0 410718128 15787421696 562813 33554432000 4194304 4196468 140721447472560 140021386963568 140021923035778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 36 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7685] ppid=7672 vsize=15417404 memory=38740 CPUtime=1.73 cores=1,3,5,7
/proc/7674/task/7685/stat : 7685 (java) S 7672 7672 3331 0 -1 1077944384 14107 0 0 0 171 2 0 0 20 0 19 0 410718128 15787421696 562813 33554432000 4194304 4196468 140721447472560 140021385910768 140021923035778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7686] ppid=7672 vsize=15417404 memory=0 CPUtime=0.69 cores=1,3,5,7
/proc/7674/task/7686/stat : 7686 (java) S 7672 7672 3331 0 -1 1077944384 7872 0 0 0 68 1 0 0 20 0 19 0 410718128 15787421696 562813 33554432000 4194304 4196468 140721447472560 140021384858480 140021923035778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7687] ppid=7672 vsize=15417404 memory=224064 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7687/stat : 7687 (java) S 7672 7672 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410718128 15787421696 562813 33554432000 4194304 4196468 140721447472560 140021383805920 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7688] ppid=7672 vsize=15417404 memory=1436 CPUtime=0.25 cores=1,3,5,7
/proc/7674/task/7688/stat : 7688 (java) S 7672 7672 3331 0 -1 1077944384 1128 0 0 0 0 25 0 0 20 0 19 0 410718128 15787421696 562813 33554432000 4194304 4196468 140721447472560 140021382752688 140021923035778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 37 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7689] ppid=7672 vsize=15417404 memory=580 CPUtime=574.11 cores=1,3,5,7
/proc/7674/task/7689/stat : 7689 (java) R 7672 7672 3331 0 -1 4202560 2127 0 0 0 57404 7 0 0 20 0 19 0 410718196 15787421696 562813 33554432000 4194304 4196468 140721447472560 140021373778064 140021526290349 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7690] ppid=7672 vsize=15417404 memory=1720 CPUtime=572.77 cores=1,3,5,7
/proc/7674/task/7690/stat : 7690 (java) R 7672 7672 3331 0 -1 4202560 4744 0 0 0 57275 2 0 0 20 0 19 0 410718196 15787421696 562813 33554432000 4194304 4196468 140721447472560 140021372727112 140021526226810 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7691] ppid=7672 vsize=15417404 memory=1448 CPUtime=569.1 cores=1,3,5,7
/proc/7674/task/7691/stat : 7691 (java) R 7672 7672 3331 0 -1 4202560 2388 0 0 0 56897 13 0 0 20 0 19 0 410718196 15787421696 562813 33554432000 4194304 4196468 140721447472560 140021371674440 140021526290574 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7692] ppid=7672 vsize=15417404 memory=2251252 CPUtime=572.84 cores=1,3,5,7
/proc/7674/task/7692/stat : 7692 (java) R 7672 7672 3331 0 -1 4202560 3019 0 0 0 57282 2 0 0 20 0 19 0 410718196 15787421696 562813 33554432000 4194304 4196468 140721447472560 140020909330840 140021527744015 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
Current children cumulated CPU time: 2303.95 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 2252700 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+636.602 s]
/proc/loadavg: 8.22 8.43 8.14 9/237 10657
/proc/meminfo: memFree=16998156/32770624 swapFree=66959216/67108860
[pid=7672] ppid=7669 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7672/stat : 7672 (xcsp3-exec) S 7669 7672 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410718122 115843072 362 33554432000 4194304 5098028 140722877543312 140722877541416 140517617611388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16015360 140722877551482 140722877551725 140722877551725 140722877554634 0
/proc/7672/statm: 28282 362 304 221 0 87 0
[pid=7674] ppid=7672 vsize=15417404 memory=2251404 CPUtime=2520.12 cores=1,3,5,7
/proc/7674/stat : 7674 (java) S 7672 7672 3331 0 -1 1077944320 94298 0 0 0 251930 82 0 0 20 0 19 0 410718122 15787421696 562851 33554432000 4194304 4196468 140721447472560 140721447455104 140021923024631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
/proc/7674/statm: 3854351 562851 3543 1 0 3815453 0
[pid=7674/tid=7675] ppid=7672 vsize=15417404 memory=924 CPUtime=0.72 cores=1,3,5,7
/proc/7674/task/7675/stat : 7675 (java) S 7672 7672 3331 0 -1 1077944384 9202 0 0 0 68 4 0 0 20 0 19 0 410718123 15787421696 562851 33554432000 4194304 4196468 140721447472560 140021927265408 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7676] ppid=7672 vsize=15417404 memory=3848 CPUtime=1.38 cores=1,3,5,7
/proc/7674/task/7676/stat : 7676 (java) S 7672 7672 3331 0 -1 1077944384 2017 0 0 0 134 4 0 0 20 0 19 0 410718123 15787421696 562851 33554432000 4194304 4196468 140721447472560 140021851065232 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7677] ppid=7672 vsize=15417404 memory=2716 CPUtime=1.35 cores=1,3,5,7
/proc/7674/task/7677/stat : 7677 (java) S 7672 7672 3331 0 -1 1077944384 2818 0 0 0 127 8 0 0 20 0 19 0 410718123 15787421696 562851 33554432000 4194304 4196468 140721447472560 140021850012432 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7678] ppid=7672 vsize=15417404 memory=2588 CPUtime=1.38 cores=1,3,5,7
/proc/7674/task/7678/stat : 7678 (java) S 7672 7672 3331 0 -1 1077944384 4779 0 0 0 130 8 0 0 20 0 19 0 410718123 15787421696 562851 33554432000 4194304 4196468 140721447472560 140021848960144 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7679] ppid=7672 vsize=15417404 memory=1412 CPUtime=1.37 cores=1,3,5,7
/proc/7674/task/7679/stat : 7679 (java) S 7672 7672 3331 0 -1 1077944384 1238 0 0 0 128 9 0 0 20 0 19 0 410718123 15787421696 562851 33554432000 4194304 4196468 140721447472560 140021847907344 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7680] ppid=7672 vsize=15417404 memory=3368 CPUtime=4.11 cores=1,3,5,7
/proc/7674/task/7680/stat : 7680 (java) S 7672 7672 3331 0 -1 1077944384 17035 0 0 0 399 12 0 0 20 0 19 0 410718125 15787421696 562851 33554432000 4194304 4196468 140721447472560 140021391173744 140021923035778 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7681] ppid=7672 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7681/stat : 7681 (java) S 7672 7672 3331 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 410718125 15787421696 562851 33554432000 4194304 4196468 140721447472560 140021390119776 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7682] ppid=7672 vsize=15417404 memory=2251404 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7682/stat : 7682 (java) S 7672 7672 3331 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 19 0 410718125 15787421696 562851 33554432000 4194304 4196468 140721447472560 140021389067392 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7683] ppid=7672 vsize=15417404 memory=4112 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7683/stat : 7683 (java) S 7672 7672 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410718128 15787421696 562851 33554432000 4194304 4196468 140721447472560 140021388015696 140021923043227 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7684] ppid=7672 vsize=15417404 memory=5787477641288517003 CPUtime=2.41 cores=1,3,5,7
/proc/7674/task/7684/stat : 7684 (java) S 7672 7672 3331 0 -1 1077944384 17177 0 0 0 239 2 0 0 20 0 19 0 410718128 15787421696 562851 33554432000 4194304 4196468 140721447472560 140021386963568 140021923035778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 36 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7685] ppid=7672 vsize=15417404 memory=20736 CPUtime=1.77 cores=1,3,5,7
/proc/7674/task/7685/stat : 7685 (java) S 7672 7672 3331 0 -1 1077944384 15284 0 0 0 175 2 0 0 20 0 19 0 410718128 15787421696 562851 33554432000 4194304 4196468 140721447472560 140021385910768 140021923035778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7686] ppid=7672 vsize=15417404 memory=1448 CPUtime=0.7 cores=1,3,5,7
/proc/7674/task/7686/stat : 7686 (java) S 7672 7672 3331 0 -1 1077944384 8601 0 0 0 69 1 0 0 20 0 19 0 410718128 15787421696 562851 33554432000 4194304 4196468 140721447472560 140021384858480 140021923035778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7687] ppid=7672 vsize=15417404 memory=2251404 CPUtime=0 cores=1,3,5,7
/proc/7674/task/7687/stat : 7687 (java) S 7672 7672 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410718128 15787421696 562851 33554432000 4194304 4196468 140721447472560 140021383805920 140021923034837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7688] ppid=7672 vsize=15417404 memory=2124 CPUtime=0.27 cores=1,3,5,7
/proc/7674/task/7688/stat : 7688 (java) S 7672 7672 3331 0 -1 1077944384 1157 0 0 0 0 27 0 0 20 0 19 0 410718128 15787421696 562851 33554432000 4194304 4196468 140721447472560 140021382752688 140021923035778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 37 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7689] ppid=7672 vsize=15417404 memory=500 CPUtime=628.29 cores=1,3,5,7
/proc/7674/task/7689/stat : 7689 (java) R 7672 7672 3331 0 -1 4202560 2230 0 0 0 62822 7 0 0 20 0 19 0 410718196 15787421696 562851 33554432000 4194304 4196468 140721447472560 140021373778488 140021526290487 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7690] ppid=7672 vsize=15417404 memory=1556 CPUtime=626.91 cores=1,3,5,7
/proc/7674/task/7690/stat : 7690 (java) R 7672 7672 3331 0 -1 4202560 5678 0 0 0 62686 5 0 0 20 0 19 0 410718196 15787421696 562851 33554432000 4194304 4196468 140721447472560 140021372730256 140021526228655 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7691] ppid=7672 vsize=15417404 memory=928 CPUtime=622.31 cores=1,3,5,7
/proc/7674/task/7691/stat : 7691 (java) R 7672 7672 3331 0 -1 4202560 2486 0 0 0 62218 13 0 0 20 0 19 0 410718196 15787421696 562851 33554432000 4194304 4196468 140721447472560 140021371674192 140021526226507 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
[pid=7674/tid=7692] ppid=7672 vsize=15417404 memory=1760 CPUtime=627.01 cores=1,3,5,7
/proc/7674/task/7692/stat : 7692 (java) R 7672 7672 3331 0 -1 4202560 3170 0 0 0 62699 2 0 0 20 0 19 0 410718196 15787421696 562851 33554432000 4194304 4196468 140721447472560 140020909330792 140021526226258 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35729408 140721447478255 140721447478426 140721447478426 140721447481295 0
Current children cumulated CPU time: 2520.12 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 2252852 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+636.625 s]
# the end of solver process 7672 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001105 s, system=0.001105 s
[startup+636.693 s]
# the end of solver process 7674 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.61 s, system=0.83641 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 636.693
CPU time (s): 2520.45
CPU user time (s): 2519.61
CPU system time (s): 0.83641
CPU usage (%): 395.866
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 2252852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.61
system time used= 0.83641
maximum resident set size= 2251832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95316
page faults= 0
swaps= 0
block input operations= 0
block output operations= 816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17119
involuntary context switches= 40276
# summary of solver processes directly reported to runsolver:
# pid: 7672,7674
# total CPU time (s): 2520.45
# total CPU user time (s): 2519.61
# total CPU system time (s): 0.83641
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.01236 second user time and 7.54776 second system time
The end