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 (3622 MiB free)
memory of node 1: 16384 MiB (14303 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393046-1568317596/watcher-4393046-1568317596 -o /tmp/evaluation-result-4393046-1568317596/solver-4393046-1568317596 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568309633-14094 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1612747313 HOME/instance-4393046-1568317596.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=21173, runsolver pid=21170
[startup+0.100065 s]*
/proc/loadavg: 7.72 7.92 8.07 7/228 21189
/proc/meminfo: memFree=18338936/32770624 swapFree=66996244/67108860
[pid=21173] ppid=21170 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21173/stat : 21173 (xcsp3-exec) S 21170 21173 14062 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 408014316 115843072 362 33554432000 4194304 5098028 140728298958144 140728298956248 140112103830140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7938048 140728298959738 140728298959981 140728298959981 140728298962890 0
/proc/21173/statm: 28282 362 304 221 0 87 0
[pid=21175] ppid=21173 vsize=15144768 memory=29848 CPUtime=0.12 cores=1,3,5,7
/proc/21175/stat : 21175 (java) S 21173 21173 14062 0 -1 1077944320 5940 0 0 0 11 1 0 0 20 0 15 0 408014316 15508242432 7462 33554432000 4194304 4196468 140726226461232 140726226443776 140274526953207 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
/proc/21175/statm: 3786192 7462 3116 1 0 3748377 0
[pid=21175/tid=21176] ppid=21173 vsize=15144768 memory=-2698087569006908830 CPUtime=0.08 cores=1,3,5,7
/proc/21175/task/21176/stat : 21176 (java) R 21173 21173 14062 0 -1 4202560 3846 0 0 0 8 0 0 0 20 0 15 0 408014316 15508242432 7462 33554432000 4194304 4196468 140726226461232 140274531179040 140274526965142 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21177] ppid=21173 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21177/stat : 21177 (java) S 21173 21173 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408014317 15508242432 7462 33554432000 4194304 4196468 140726226461232 140274438609168 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21178] ppid=21173 vsize=15144768 memory=140092460025472 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21178/stat : 21178 (java) S 21173 21173 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408014317 15508242432 7462 33554432000 4194304 4196468 140726226461232 140274118420880 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21179] ppid=21173 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21179/stat : 21179 (java) S 21173 21173 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408014317 15508242432 7462 33554432000 4194304 4196468 140726226461232 140274117368336 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21180] ppid=21173 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21180/stat : 21180 (java) S 21173 21173 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408014317 15508242432 7462 33554432000 4194304 4196468 140726226461232 140274116315792 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21181] ppid=21173 vsize=15144768 memory=140092460025472 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21181/stat : 21181 (java) S 21173 21173 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408014318 15508242432 7462 33554432000 4194304 4196468 140726226461232 140273995221488 140274526964354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21182] ppid=21173 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21182/stat : 21182 (java) S 21173 21173 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408014319 15508242432 7462 33554432000 4194304 4196468 140726226461232 140273994167712 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21183] ppid=21173 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21183/stat : 21183 (java) S 21173 21173 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408014319 15508242432 7462 33554432000 4194304 4196468 140726226461232 140273993115120 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21184] ppid=21173 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21184/stat : 21184 (java) S 21173 21173 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408014321 15508242432 7462 33554432000 4194304 4196468 140726226461232 140273992063696 140274526971803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21185] ppid=21173 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21185/stat : 21185 (java) R 21173 21173 14062 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 408014321 15508242432 7462 33554432000 4194304 4196468 140726226461232 140273991010288 140274526964354 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21186] ppid=21173 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21186/stat : 21186 (java) R 21173 21173 14062 0 -1 4202560 132 0 0 0 0 0 0 0 20 0 15 0 408014321 15508242432 7462 33554432000 4194304 4196468 140726226461232 140273989949248 140274510408704 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21187] ppid=21173 vsize=15144768 memory=140092460025472 CPUtime=0.02 cores=1,3,5,7
/proc/21175/task/21187/stat : 21187 (java) R 21173 21173 14062 0 -1 4202560 361 0 0 0 2 0 0 0 20 0 15 0 408014321 15508242432 7528 33554432000 4194304 4196468 140726226461232 140273988905200 140274526965142 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21188] ppid=21173 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21188/stat : 21188 (java) S 21173 21173 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408014322 15508242432 7528 33554432000 4194304 4196468 140726226461232 140273987852896 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21189] ppid=21173 vsize=15144768 memory=140092460025472 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21189/stat : 21189 (java) S 21173 21173 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408014322 15508242432 7528 33554432000 4194304 4196468 140726226461232 140273986800432 140274526964354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31296 KiB
[startup+0.21351 s]*
/proc/loadavg: 7.72 7.92 8.07 8/228 21189
/proc/meminfo: memFree=18326188/32770624 swapFree=66996244/67108860
[pid=21173] ppid=21170 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21173/stat : 21173 (xcsp3-exec) S 21170 21173 14062 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 408014316 115843072 362 33554432000 4194304 5098028 140728298958144 140728298956248 140112103830140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7938048 140728298959738 140728298959981 140728298959981 140728298962890 0
/proc/21173/statm: 28282 362 304 221 0 87 0
[pid=21175] ppid=21173 vsize=15144768 memory=41208 CPUtime=0.35 cores=1,3,5,7
/proc/21175/stat : 21175 (java) S 21173 21173 14062 0 -1 1077944320 9478 0 0 0 32 3 0 0 20 0 15 0 408014316 15508242432 10302 33554432000 4194304 4196468 140726226461232 140726226443776 140274526953207 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
/proc/21175/statm: 3786192 10302 3299 1 0 3748377 0
[pid=21175/tid=21176] ppid=21173 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/21175/task/21176/stat : 21176 (java) R 21173 21173 14062 0 -1 4202560 6667 0 0 0 18 2 0 0 20 0 15 0 408014316 15508242432 10302 33554432000 4194304 4196468 140726226461232 140274531188192 140274526975133 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21177] ppid=21173 vsize=15144768 memory=2670165 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21177/stat : 21177 (java) S 21173 21173 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408014317 15508242432 10302 33554432000 4194304 4196468 140726226461232 140274438609168 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21178] ppid=21173 vsize=15144768 memory=2855500 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21178/stat : 21178 (java) S 21173 21173 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408014317 15508242432 10302 33554432000 4194304 4196468 140726226461232 140274118420880 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21179] ppid=21173 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21179/stat : 21179 (java) S 21173 21173 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408014317 15508242432 10302 33554432000 4194304 4196468 140726226461232 140274117368336 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21180] ppid=21173 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21180/stat : 21180 (java) S 21173 21173 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408014317 15508242432 10302 33554432000 4194304 4196468 140726226461232 140274116315792 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21181] ppid=21173 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21181/stat : 21181 (java) S 21173 21173 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408014318 15508242432 10302 33554432000 4194304 4196468 140726226461232 140273995221488 140274526964354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21182] ppid=21173 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21182/stat : 21182 (java) S 21173 21173 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408014319 15508242432 10302 33554432000 4194304 4196468 140726226461232 140273994167712 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21183] ppid=21173 vsize=15144768 memory=140092460025472 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21183/stat : 21183 (java) S 21173 21173 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408014319 15508242432 10302 33554432000 4194304 4196468 140726226461232 140273993115120 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21184] ppid=21173 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21184/stat : 21184 (java) S 21173 21173 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408014321 15508242432 10302 33554432000 4194304 4196468 140726226461232 140273992063696 140274526971803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21185] ppid=21173 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/21175/task/21185/stat : 21185 (java) S 21173 21173 14062 0 -1 1077944384 559 0 0 0 3 0 0 0 20 0 15 0 408014321 15508242432 10302 33554432000 4194304 4196468 140726226461232 140273991010288 140274526964354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21186] ppid=21173 vsize=15144768 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/21175/task/21186/stat : 21186 (java) S 21173 21173 14062 0 -1 1077944384 203 0 0 0 1 0 0 0 20 0 15 0 408014321 15508242432 10302 33554432000 4194304 4196468 140726226461232 140273989957744 140274526964354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21187] ppid=21173 vsize=15144768 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21175/task/21187/stat : 21187 (java) S 21173 21173 14062 0 -1 1077944384 743 0 0 0 8 0 0 0 20 0 15 0 408014321 15508242432 10302 33554432000 4194304 4196468 140726226461232 140273988905200 140274526964354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21188] ppid=21173 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21188/stat : 21188 (java) S 21173 21173 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408014322 15508242432 10302 33554432000 4194304 4196468 140726226461232 140273987852896 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21189] ppid=21173 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21189/stat : 21189 (java) S 21173 21173 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408014322 15508242432 10302 33554432000 4194304 4196468 140726226461232 140273986800432 140274526964354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42656 KiB
[startup+0.319342 s]*
/proc/loadavg: 7.72 7.92 8.07 7/228 21189
/proc/meminfo: memFree=18318424/32770624 swapFree=66996244/67108860
[pid=21173] ppid=21170 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21173/stat : 21173 (xcsp3-exec) S 21170 21173 14062 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 408014316 115843072 362 33554432000 4194304 5098028 140728298958144 140728298956248 140112103830140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7938048 140728298959738 140728298959981 140728298959981 140728298962890 0
/proc/21173/statm: 28282 362 304 221 0 87 0
[pid=21175] ppid=21173 vsize=15149024 memory=50656 CPUtime=0.54 cores=1,3,5,7
/proc/21175/stat : 21175 (java) S 21173 21173 14062 0 -1 1077944320 10932 0 0 0 50 4 0 0 20 0 15 0 408014316 15512600576 12664 33554432000 4194304 4196468 140726226461232 140726226443776 140274526953207 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
/proc/21175/statm: 3787256 12664 3364 1 0 3748377 0
[pid=21175/tid=21176] ppid=21173 vsize=15149024 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/21175/task/21176/stat : 21176 (java) R 21173 21173 14062 0 -1 4202560 7896 0 0 0 27 3 0 0 20 0 15 0 408014316 15512600576 12664 33554432000 4194304 4196468 140726226461232 140274531187472 140274526965142 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21177] ppid=21173 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21177/stat : 21177 (java) S 21173 21173 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408014317 15512600576 12664 33554432000 4194304 4196468 140726226461232 140274438609168 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21178] ppid=21173 vsize=15149024 memory=2854491 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21178/stat : 21178 (java) S 21173 21173 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408014317 15512600576 12664 33554432000 4194304 4196468 140726226461232 140274118420880 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21179] ppid=21173 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21179/stat : 21179 (java) S 21173 21173 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408014317 15512600576 12664 33554432000 4194304 4196468 140726226461232 140274117368336 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21180] ppid=21173 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21180/stat : 21180 (java) S 21173 21173 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408014317 15512600576 12664 33554432000 4194304 4196468 140726226461232 140274116315792 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21181] ppid=21173 vsize=15149024 memory=140092460025472 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21181/stat : 21181 (java) S 21173 21173 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408014318 15512600576 12664 33554432000 4194304 4196468 140726226461232 140273995221488 140274526964354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21182] ppid=21173 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21182/stat : 21182 (java) S 21173 21173 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408014319 15512600576 12664 33554432000 4194304 4196468 140726226461232 140273994167712 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21183] ppid=21173 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21183/stat : 21183 (java) S 21173 21173 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408014319 15512600576 12664 33554432000 4194304 4196468 140726226461232 140273993115120 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21184] ppid=21173 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21184/stat : 21184 (java) S 21173 21173 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408014321 15512600576 12664 33554432000 4194304 4196468 140726226461232 140273992063696 140274526971803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21185] ppid=21173 vsize=15149024 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/21175/task/21185/stat : 21185 (java) S 21173 21173 14062 0 -1 1077944384 666 0 0 0 6 0 0 0 20 0 15 0 408014321 15512600576 12664 33554432000 4194304 4196468 140726226461232 140273991010288 140274526964354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21186] ppid=21173 vsize=15149024 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/21175/task/21186/stat : 21186 (java) S 21173 21173 14062 0 -1 1077944384 214 0 0 0 3 0 0 0 20 0 15 0 408014321 15512600576 12664 33554432000 4194304 4196468 140726226461232 140273989957744 140274526964354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21187] ppid=21173 vsize=15149024 memory=140092460025472 CPUtime=0.12 cores=1,3,5,7
/proc/21175/task/21187/stat : 21187 (java) S 21173 21173 14062 0 -1 1077944384 849 0 0 0 12 0 0 0 20 0 15 0 408014321 15512600576 12664 33554432000 4194304 4196468 140726226461232 140273988905200 140274526964354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21188] ppid=21173 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21188/stat : 21188 (java) S 21173 21173 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408014322 15512600576 12672 33554432000 4194304 4196468 140726226461232 140273987852896 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21189] ppid=21173 vsize=15149024 memory=140092460025472 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21189/stat : 21189 (java) S 21173 21173 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408014322 15512600576 12672 33554432000 4194304 4196468 140726226461232 140273986800432 140274526964354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 52104 KiB
[startup+0.701385 s]
/proc/loadavg: 7.72 7.92 8.07 8/228 21189
/proc/meminfo: memFree=18285132/32770624 swapFree=66996244/67108860
[pid=21173] ppid=21170 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21173/stat : 21173 (xcsp3-exec) S 21170 21173 14062 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 408014316 115843072 362 33554432000 4194304 5098028 140728298958144 140728298956248 140112103830140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7938048 140728298959738 140728298959981 140728298959981 140728298962890 0
/proc/21173/statm: 28282 362 304 221 0 87 0
[pid=21175] ppid=21173 vsize=15151148 memory=112720 CPUtime=1.66 cores=1,3,5,7
/proc/21175/stat : 21175 (java) S 21173 21173 14062 0 -1 1077944320 14172 0 0 0 161 5 0 0 20 0 15 0 408014316 15514775552 28180 33554432000 4194304 4196468 140726226461232 140726226443776 140274526953207 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
/proc/21175/statm: 3787787 28180 3431 1 0 3748889 0
[pid=21175/tid=21176] ppid=21173 vsize=15151148 memory=12024 CPUtime=0.67 cores=1,3,5,7
/proc/21175/task/21176/stat : 21176 (java) R 21173 21173 14062 0 -1 4202560 8319 0 0 0 63 4 0 0 20 0 15 0 408014316 15514775552 28180 33554432000 4194304 4196468 140726226461232 140274531189232 140274121429380 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21177] ppid=21173 vsize=15151148 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21177/stat : 21177 (java) S 21173 21173 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408014317 15514775552 28180 33554432000 4194304 4196468 140726226461232 140274438609168 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21178] ppid=21173 vsize=15151148 memory=500 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21178/stat : 21178 (java) S 21173 21173 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408014317 15514775552 28180 33554432000 4194304 4196468 140726226461232 140274118420880 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21179] ppid=21173 vsize=15151148 memory=928 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21179/stat : 21179 (java) S 21173 21173 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408014317 15514775552 28180 33554432000 4194304 4196468 140726226461232 140274117368336 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21180] ppid=21173 vsize=15151148 memory=1528 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21180/stat : 21180 (java) S 21173 21173 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408014317 15514775552 28180 33554432000 4194304 4196468 140726226461232 140274116315792 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21181] ppid=21173 vsize=15151148 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21181/stat : 21181 (java) S 21173 21173 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408014318 15514775552 28180 33554432000 4194304 4196468 140726226461232 140273995221488 140274526964354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21182] ppid=21173 vsize=15151148 memory=876 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21182/stat : 21182 (java) S 21173 21173 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408014319 15514775552 28180 33554432000 4194304 4196468 140726226461232 140273994167712 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21183] ppid=21173 vsize=15151148 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21183/stat : 21183 (java) S 21173 21173 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408014319 15514775552 28180 33554432000 4194304 4196468 140726226461232 140273993115120 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21184] ppid=21173 vsize=15151148 memory=7086240636179075427 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21184/stat : 21184 (java) S 21173 21173 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408014321 15514775552 28180 33554432000 4194304 4196468 140726226461232 140273992063696 140274526971803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21185] ppid=21173 vsize=15151148 memory=7453282923427948884 CPUtime=0.34 cores=1,3,5,7
/proc/21175/task/21185/stat : 21185 (java) R 21173 21173 14062 0 -1 4202560 1570 0 0 0 34 0 0 0 20 0 15 0 408014321 15514775552 28180 33554432000 4194304 4196468 140726226461232 140273991003480 140274506173524 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21186] ppid=21173 vsize=15151148 memory=7223879631928058176 CPUtime=0.32 cores=1,3,5,7
/proc/21175/task/21186/stat : 21186 (java) R 21173 21173 14062 0 -1 4202560 1266 0 0 0 32 0 0 0 20 0 15 0 408014321 15514775552 28180 33554432000 4194304 4196468 140726226461232 140273989945616 140274511343320 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21187] ppid=21173 vsize=15151148 memory=8514726395714826909 CPUtime=0.3 cores=1,3,5,7
/proc/21175/task/21187/stat : 21187 (java) S 21173 21173 14062 0 -1 1077944384 1710 0 0 0 30 0 0 0 20 0 15 0 408014321 15514775552 28180 33554432000 4194304 4196468 140726226461232 140273988905200 140274526964354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21188] ppid=21173 vsize=15151148 memory=7594596650029836651 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21188/stat : 21188 (java) S 21173 21173 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408014322 15514775552 28180 33554432000 4194304 4196468 140726226461232 140273987852896 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21189] ppid=21173 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21189/stat : 21189 (java) S 21173 21173 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408014322 15514775552 28180 33554432000 4194304 4196468 140726226461232 140273986800432 140274526964354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 114168 KiB
[startup+1.50137 s]
/proc/loadavg: 7.72 7.92 8.07 8/228 21189
/proc/meminfo: memFree=18140600/32770624 swapFree=66996244/67108860
[pid=21173] ppid=21170 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21173/stat : 21173 (xcsp3-exec) S 21170 21173 14062 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 408014316 115843072 362 33554432000 4194304 5098028 140728298958144 140728298956248 140112103830140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7938048 140728298959738 140728298959981 140728298959981 140728298962890 0
/proc/21173/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/21175/stat : 21175 (java) S 21173 21173 14062 0 -1 1077944320 49341 0 0 0 227497 142 0 0 20 0 19 0 408014316 15787421696 971885 33554432000 4194304 4196468 140726226461232 140726226443776 140274526953207 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
/proc/21175/statm: 3854351 971885 3526 1 0 3815453 0
[pid=21175/tid=21176] ppid=21173 vsize=15417404 memory=3887540 CPUtime=16.37 cores=1,3,5,7
/proc/21175/task/21176/stat : 21176 (java) S 21173 21173 14062 0 -1 1077944384 14631 0 0 0 1589 48 0 0 20 0 19 0 408014316 15787421696 971885 33554432000 4194304 4196468 140726226461232 140274531193984 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21177] ppid=21173 vsize=15417404 memory=1448 CPUtime=1.48 cores=1,3,5,7
/proc/21175/task/21177/stat : 21177 (java) S 21173 21173 14062 0 -1 1077944384 886 0 0 0 127 21 0 0 20 0 19 0 408014317 15787421696 971885 33554432000 4194304 4196468 140726226461232 140274438609168 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21178] ppid=21173 vsize=15417404 memory=3887540 CPUtime=1.46 cores=1,3,5,7
/proc/21175/task/21178/stat : 21178 (java) S 21173 21173 14062 0 -1 1077944384 1102 0 0 0 126 20 0 0 20 0 19 0 408014317 15787421696 971885 33554432000 4194304 4196468 140726226461232 140274118420880 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21179] ppid=21173 vsize=15417404 memory=1448 CPUtime=1.48 cores=1,3,5,7
/proc/21175/task/21179/stat : 21179 (java) S 21173 21173 14062 0 -1 1077944384 1015 0 0 0 127 21 0 0 20 0 19 0 408014317 15787421696 971885 33554432000 4194304 4196468 140726226461232 140274117368336 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21180] ppid=21173 vsize=15417404 memory=3887540 CPUtime=1.48 cores=1,3,5,7
/proc/21175/task/21180/stat : 21180 (java) S 21173 21173 14062 0 -1 1077944384 1411 0 0 0 127 21 0 0 20 0 19 0 408014317 15787421696 971885 33554432000 4194304 4196468 140726226461232 140274116315792 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21181] ppid=21173 vsize=15417404 memory=3887540 CPUtime=0.17 cores=1,3,5,7
/proc/21175/task/21181/stat : 21181 (java) S 21173 21173 14062 0 -1 1077944384 3809 0 0 0 17 0 0 0 20 0 19 0 408014318 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273995221488 140274526964354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21182] ppid=21173 vsize=15417404 memory=227563 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21182/stat : 21182 (java) S 21173 21173 14062 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 408014319 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273994167776 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21183] ppid=21173 vsize=15417404 memory=3887540 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21183/stat : 21183 (java) S 21173 21173 14062 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 408014319 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273993115136 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21184] ppid=21173 vsize=15417404 memory=3624 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21184/stat : 21184 (java) S 21173 21173 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408014321 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273992063696 140274526971803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21185] ppid=21173 vsize=15417404 memory=1448 CPUtime=3.88 cores=1,3,5,7
/proc/21175/task/21185/stat : 21185 (java) S 21173 21173 14062 0 -1 1077944384 8296 0 0 0 388 0 0 0 20 0 19 0 408014321 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273991010288 140274526964354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21186] ppid=21173 vsize=15417404 memory=1448 CPUtime=4.03 cores=1,3,5,7
/proc/21175/task/21186/stat : 21186 (java) S 21173 21173 14062 0 -1 1077944384 4949 0 0 0 402 1 0 0 20 0 19 0 408014321 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273989957744 140274526964354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21187] ppid=21173 vsize=15417404 memory=1448 CPUtime=0.65 cores=1,3,5,7
/proc/21175/task/21187/stat : 21187 (java) S 21173 21173 14062 0 -1 1077944384 4073 0 0 0 65 0 0 0 20 0 19 0 408014321 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273988905200 140274526964354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21188] ppid=21173 vsize=15417404 memory=3887540 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21188/stat : 21188 (java) S 21173 21173 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408014322 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273987852896 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21189] ppid=21173 vsize=15417404 memory=1448 CPUtime=0.32 cores=1,3,5,7
/proc/21175/task/21189/stat : 21189 (java) S 21173 21173 14062 0 -1 1077944384 1214 0 0 0 14 18 0 0 20 0 19 0 408014322 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273986800432 140274526964354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21191] ppid=21173 vsize=15417404 memory=1448 CPUtime=563.62 cores=1,3,5,7
/proc/21175/task/21191/stat : 21191 (java) R 21173 21173 14062 0 -1 4202560 2220 0 0 0 56362 0 0 0 20 0 19 0 408016115 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273977826568 140274125847560 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21192] ppid=21173 vsize=15417404 memory=1448 CPUtime=563.95 cores=1,3,5,7
/proc/21175/task/21192/stat : 21192 (java) R 21173 21173 14062 0 -1 4202560 1115 0 0 0 56395 0 0 0 20 0 19 0 408016115 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273976775352 140274125847628 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21193] ppid=21173 vsize=15417404 memory=3887540 CPUtime=562.25 cores=1,3,5,7
/proc/21175/task/21193/stat : 21193 (java) R 21173 21173 14062 0 -1 4202560 1925 0 0 0 56225 0 0 0 20 0 19 0 408016115 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273975722560 140274125847507 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21194] ppid=21173 vsize=15417404 memory=628 CPUtime=555.1 cores=1,3,5,7
/proc/21175/task/21194/stat : 21194 (java) R 21173 21173 14062 0 -1 4202560 1355 0 0 0 55507 3 0 0 20 0 19 0 408016115 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273974669112 140274122145034 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
Current children cumulated CPU time: 2276.39 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 3888988 KiB
[startup+642.301 s]
/proc/loadavg: 8.49 7.71 7.85 6/232 21325
/proc/meminfo: memFree=14051092/32770624 swapFree=66996252/67108860
[pid=21173] ppid=21170 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21173/stat : 21173 (xcsp3-exec) S 21170 21173 14062 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 408014316 115843072 362 33554432000 4194304 5098028 140728298958144 140728298956248 140112103830140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7938048 140728298959738 140728298959981 140728298959981 140728298962890 0
/proc/21173/statm: 28282 362 304 221 0 87 0
[pid=21175] ppid=21173 vsize=15417404 memory=3887540 CPUtime=2515.16 cores=1,3,5,7
/proc/21175/stat : 21175 (java) S 21173 21173 14062 0 -1 1077944320 50116 0 0 0 251373 143 0 0 20 0 19 0 408014316 15787421696 971885 33554432000 4194304 4196468 140726226461232 140726226443776 140274526953207 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
/proc/21175/statm: 3854351 971885 3526 1 0 3815453 0
[pid=21175/tid=21176] ppid=21173 vsize=15417404 memory=3887540 CPUtime=16.37 cores=1,3,5,7
/proc/21175/task/21176/stat : 21176 (java) S 21173 21173 14062 0 -1 1077944384 14631 0 0 0 1589 48 0 0 20 0 19 0 408014316 15787421696 971885 33554432000 4194304 4196468 140726226461232 140274531193984 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21177] ppid=21173 vsize=15417404 memory=3887540 CPUtime=1.48 cores=1,3,5,7
/proc/21175/task/21177/stat : 21177 (java) S 21173 21173 14062 0 -1 1077944384 886 0 0 0 127 21 0 0 20 0 19 0 408014317 15787421696 971885 33554432000 4194304 4196468 140726226461232 140274438609168 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21178] ppid=21173 vsize=15417404 memory=3887540 CPUtime=1.46 cores=1,3,5,7
/proc/21175/task/21178/stat : 21178 (java) S 21173 21173 14062 0 -1 1077944384 1102 0 0 0 126 20 0 0 20 0 19 0 408014317 15787421696 971885 33554432000 4194304 4196468 140726226461232 140274118420880 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21179] ppid=21173 vsize=15417404 memory=3887540 CPUtime=1.48 cores=1,3,5,7
/proc/21175/task/21179/stat : 21179 (java) S 21173 21173 14062 0 -1 1077944384 1015 0 0 0 127 21 0 0 20 0 19 0 408014317 15787421696 971885 33554432000 4194304 4196468 140726226461232 140274117368336 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21180] ppid=21173 vsize=15417404 memory=3887540 CPUtime=1.48 cores=1,3,5,7
/proc/21175/task/21180/stat : 21180 (java) S 21173 21173 14062 0 -1 1077944384 1411 0 0 0 127 21 0 0 20 0 19 0 408014317 15787421696 971885 33554432000 4194304 4196468 140726226461232 140274116315792 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21181] ppid=21173 vsize=15417404 memory=3887540 CPUtime=0.17 cores=1,3,5,7
/proc/21175/task/21181/stat : 21181 (java) S 21173 21173 14062 0 -1 1077944384 3839 0 0 0 17 0 0 0 20 0 19 0 408014318 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273995221488 140274526964354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21182] ppid=21173 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21182/stat : 21182 (java) S 21173 21173 14062 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 408014319 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273994167776 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21183] ppid=21173 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21183/stat : 21183 (java) S 21173 21173 14062 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 408014319 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273993115136 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21184] ppid=21173 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21184/stat : 21184 (java) S 21173 21173 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408014321 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273992063696 140274526971803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21185] ppid=21173 vsize=15417404 memory=3887540 CPUtime=3.88 cores=1,3,5,7
/proc/21175/task/21185/stat : 21185 (java) S 21173 21173 14062 0 -1 1077944384 8335 0 0 0 388 0 0 0 20 0 19 0 408014321 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273991010288 140274526964354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21186] ppid=21173 vsize=15417404 memory=3887540 CPUtime=4.03 cores=1,3,5,7
/proc/21175/task/21186/stat : 21186 (java) S 21173 21173 14062 0 -1 1077944384 4955 0 0 0 402 1 0 0 20 0 19 0 408014321 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273989957744 140274526964354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21187] ppid=21173 vsize=15417404 memory=1448 CPUtime=0.65 cores=1,3,5,7
/proc/21175/task/21187/stat : 21187 (java) S 21173 21173 14062 0 -1 1077944384 4088 0 0 0 65 0 0 0 20 0 19 0 408014321 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273988905200 140274526964354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21188] ppid=21173 vsize=15417404 memory=3887540 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21188/stat : 21188 (java) S 21173 21173 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408014322 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273987852896 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21189] ppid=21173 vsize=15417404 memory=1448 CPUtime=0.34 cores=1,3,5,7
/proc/21175/task/21189/stat : 21189 (java) S 21173 21173 14062 0 -1 1077944384 1326 0 0 0 15 19 0 0 20 0 19 0 408014322 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273986800432 140274526964354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21191] ppid=21173 vsize=15417404 memory=1448 CPUtime=623.6 cores=1,3,5,7
/proc/21175/task/21191/stat : 21191 (java) R 21173 21173 14062 0 -1 4202560 2418 0 0 0 62360 0 0 0 20 0 19 0 408016115 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273977826568 140274125847507 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21192] ppid=21173 vsize=15417404 memory=1448 CPUtime=623.41 cores=1,3,5,7
/proc/21175/task/21192/stat : 21192 (java) R 21173 21173 14062 0 -1 4202560 1209 0 0 0 62340 1 0 0 20 0 19 0 408016115 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273976775352 140274125847657 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21193] ppid=21173 vsize=15417404 memory=3887540 CPUtime=622.23 cores=1,3,5,7
/proc/21175/task/21193/stat : 21193 (java) R 21173 21173 14062 0 -1 4202560 2088 0 0 0 62223 0 0 0 20 0 19 0 408016115 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273975722560 140274122144895 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21194] ppid=21173 vsize=15417404 memory=1448 CPUtime=614.43 cores=1,3,5,7
/proc/21175/task/21194/stat : 21194 (java) R 21173 21173 14062 0 -1 4202560 1473 0 0 0 61440 3 0 0 20 0 19 0 408016115 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273974669112 140274125847628 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
Current children cumulated CPU time: 2515.16 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 3888988 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+643.601 s]
/proc/loadavg: 8.45 7.71 7.85 10/232 21325
/proc/meminfo: memFree=14051216/32770624 swapFree=66996252/67108860
[pid=21173] ppid=21170 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21173/stat : 21173 (xcsp3-exec) S 21170 21173 14062 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 408014316 115843072 362 33554432000 4194304 5098028 140728298958144 140728298956248 140112103830140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7938048 140728298959738 140728298959981 140728298959981 140728298962890 0
/proc/21173/statm: 28282 362 304 221 0 87 0
[pid=21175] ppid=21173 vsize=15417404 memory=3887540 CPUtime=2520.32 cores=1,3,5,7
/proc/21175/stat : 21175 (java) S 21173 21173 14062 0 -1 1077944320 50116 0 0 0 251889 143 0 0 20 0 19 0 408014316 15787421696 971885 33554432000 4194304 4196468 140726226461232 140726226443776 140274526953207 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
/proc/21175/statm: 3854351 971885 3526 1 0 3815453 0
[pid=21175/tid=21176] ppid=21173 vsize=15417404 memory=1548 CPUtime=16.37 cores=1,3,5,7
/proc/21175/task/21176/stat : 21176 (java) S 21173 21173 14062 0 -1 1077944384 14631 0 0 0 1589 48 0 0 20 0 19 0 408014316 15787421696 971885 33554432000 4194304 4196468 140726226461232 140274531193984 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21177] ppid=21173 vsize=15417404 memory=628 CPUtime=1.48 cores=1,3,5,7
/proc/21175/task/21177/stat : 21177 (java) S 21173 21173 14062 0 -1 1077944384 886 0 0 0 127 21 0 0 20 0 19 0 408014317 15787421696 971885 33554432000 4194304 4196468 140726226461232 140274438609168 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21178] ppid=21173 vsize=15417404 memory=1056 CPUtime=1.46 cores=1,3,5,7
/proc/21175/task/21178/stat : 21178 (java) S 21173 21173 14062 0 -1 1077944384 1102 0 0 0 126 20 0 0 20 0 19 0 408014317 15787421696 971885 33554432000 4194304 4196468 140726226461232 140274118420880 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21179] ppid=21173 vsize=15417404 memory=1556 CPUtime=1.48 cores=1,3,5,7
/proc/21175/task/21179/stat : 21179 (java) S 21173 21173 14062 0 -1 1077944384 1015 0 0 0 127 21 0 0 20 0 19 0 408014317 15787421696 971885 33554432000 4194304 4196468 140726226461232 140274117368336 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21180] ppid=21173 vsize=15417404 memory=1448 CPUtime=1.48 cores=1,3,5,7
/proc/21175/task/21180/stat : 21180 (java) S 21173 21173 14062 0 -1 1077944384 1411 0 0 0 127 21 0 0 20 0 19 0 408014317 15787421696 971885 33554432000 4194304 4196468 140726226461232 140274116315792 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21181] ppid=21173 vsize=15417404 memory=3887540 CPUtime=0.17 cores=1,3,5,7
/proc/21175/task/21181/stat : 21181 (java) S 21173 21173 14062 0 -1 1077944384 3839 0 0 0 17 0 0 0 20 0 19 0 408014318 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273995221488 140274526964354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21182] ppid=21173 vsize=15417404 memory=3887540 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21182/stat : 21182 (java) S 21173 21173 14062 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 408014319 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273994167776 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21183] ppid=21173 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21183/stat : 21183 (java) S 21173 21173 14062 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 408014319 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273993115136 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21184] ppid=21173 vsize=15417404 memory=3887540 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21184/stat : 21184 (java) S 21173 21173 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408014321 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273992063696 140274526971803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21185] ppid=21173 vsize=15417404 memory=1448 CPUtime=3.88 cores=1,3,5,7
/proc/21175/task/21185/stat : 21185 (java) S 21173 21173 14062 0 -1 1077944384 8335 0 0 0 388 0 0 0 20 0 19 0 408014321 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273991010288 140274526964354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21186] ppid=21173 vsize=15417404 memory=3887540 CPUtime=4.03 cores=1,3,5,7
/proc/21175/task/21186/stat : 21186 (java) S 21173 21173 14062 0 -1 1077944384 4955 0 0 0 402 1 0 0 20 0 19 0 408014321 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273989957744 140274526964354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21187] ppid=21173 vsize=15417404 memory=14012 CPUtime=0.65 cores=1,3,5,7
/proc/21175/task/21187/stat : 21187 (java) S 21173 21173 14062 0 -1 1077944384 4088 0 0 0 65 0 0 0 20 0 19 0 408014321 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273988905200 140274526964354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21188] ppid=21173 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21175/task/21188/stat : 21188 (java) S 21173 21173 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408014322 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273987852896 140274526963413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21189] ppid=21173 vsize=15417404 memory=3887540 CPUtime=0.34 cores=1,3,5,7
/proc/21175/task/21189/stat : 21189 (java) S 21173 21173 14062 0 -1 1077944384 1326 0 0 0 15 19 0 0 20 0 19 0 408014322 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273986800432 140274526964354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21191] ppid=21173 vsize=15417404 memory=3887540 CPUtime=624.9 cores=1,3,5,7
/proc/21175/task/21191/stat : 21191 (java) R 21173 21173 14062 0 -1 4202560 2418 0 0 0 62490 0 0 0 20 0 19 0 408016115 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273977826568 140274125847591 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21192] ppid=21173 vsize=15417404 memory=1448 CPUtime=624.69 cores=1,3,5,7
/proc/21175/task/21192/stat : 21192 (java) R 21173 21173 14062 0 -1 4202560 1209 0 0 0 62468 1 0 0 20 0 19 0 408016115 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273976775352 140274125847657 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21193] ppid=21173 vsize=15417404 memory=3887540 CPUtime=623.53 cores=1,3,5,7
/proc/21175/task/21193/stat : 21193 (java) R 21173 21173 14062 0 -1 4202560 2088 0 0 0 62353 0 0 0 20 0 19 0 408016115 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273975722560 140274122144846 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
[pid=21175/tid=21194] ppid=21173 vsize=15417404 memory=916 CPUtime=615.72 cores=1,3,5,7
/proc/21175/task/21194/stat : 21194 (java) R 21173 21173 14062 0 -1 4202560 1473 0 0 0 61569 3 0 0 20 0 19 0 408016115 15787421696 971885 33554432000 4194304 4196468 140726226461232 140273974669112 140274125847560 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140726226469871 140726226470042 140726226470042 140726226472911 0
Current children cumulated CPU time: 2520.32 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 3888988 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+643.633 s]
# the end of solver process 21173 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.002288 s
[startup+643.712 s]
# the end of solver process 21175 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.26 s, system=1.4603 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): 643.713
CPU time (s): 2520.72
CPU user time (s): 2519.26
CPU system time (s): 1.4603
CPU usage (%): 391.591
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 3888988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.26
system time used= 1.4603
maximum resident set size= 3888252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51757
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16585
involuntary context switches= 29130
# summary of solver processes directly reported to runsolver:
# pid: 21173,21175
# total CPU time (s): 2520.72
# total CPU user time (s): 2519.26
# total CPU system time (s): 1.4603
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.43663 second user time and 7.74482 second system time
The end