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 (14867 MiB free)
memory of node 1: 16384 MiB (5415 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272420-1502789958/watcher-4272420-1502789958 -o /tmp/evaluation-result-4272420-1502789958/solver-4272420-1502789958 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1502786318-30226 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1241340542 HOME/instance-4272420-1502789958.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=31597, runsolver pid=31594
Current StackSize limit: 8192 KiB
[startup+0.10017 s]*
/proc/loadavg: 2.39 2.19 2.52 3/218 31613
/proc/meminfo: memFree=20753676/32770624 swapFree=67108860/67108860
[pid=31597] ppid=31594 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31597/stat : 31597 (xcsp3-exec) S 31594 31597 30195 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112084088 9740288 346 33554432000 4194304 5098028 140733919861264 140733919859368 139659471704700 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32833536 140733919868014 140733919868219 140733919868219 140733919870955 0
/proc/31597/statm: 2378 346 289 221 0 87 0
[pid=31599] ppid=31597 vsize=13978596 memory=28068 CPUtime=0.12 cores=0,2,4,6
/proc/31599/stat : 31599 (java) S 31597 31597 30195 0 -1 1077944320 5419 0 0 0 11 1 0 0 20 0 15 0 112084088 14314082304 7017 33554432000 4194304 4196468 140728903772448 140728903754992 140346494885623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
/proc/31599/statm: 3494649 7017 2864 1 0 3482966 0
[pid=31599/tid=31600] ppid=31597 vsize=13978596 memory=-6962121287837372198 CPUtime=0.08 cores=0,2,4,6
/proc/31599/task/31600/stat : 31600 (java) R 31597 31597 30195 0 -1 4202560 3394 0 0 0 8 0 0 0 20 0 15 0 112084088 14314082304 7017 33554432000 4194304 4196468 140728903772448 140346499117728 140346494897558 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31601] ppid=31597 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31601/stat : 31601 (java) S 31597 31597 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112084089 14314082304 7017 33554432000 4194304 4196468 140728903772448 140346447505680 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31602] ppid=31597 vsize=13978596 memory=139779641513600 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31602/stat : 31602 (java) S 31597 31597 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112084089 14314082304 7017 33554432000 4194304 4196468 140728903772448 140346446453136 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31603] ppid=31597 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31603/stat : 31603 (java) S 31597 31597 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112084089 14314082304 7017 33554432000 4194304 4196468 140728903772448 140346088679952 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31604] ppid=31597 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31604/stat : 31604 (java) S 31597 31597 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112084089 14314082304 7017 33554432000 4194304 4196468 140728903772448 140346087627408 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31605] ppid=31597 vsize=13978596 memory=139779641513600 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31605/stat : 31605 (java) S 31597 31597 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112084090 14314082304 7017 33554432000 4194304 4196468 140728903772448 140345968921072 140346494896770 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31606] ppid=31597 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31606/stat : 31606 (java) S 31597 31597 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112084091 14314082304 7017 33554432000 4194304 4196468 140728903772448 140345967867296 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31607] ppid=31597 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31607/stat : 31607 (java) S 31597 31597 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112084091 14314082304 7017 33554432000 4194304 4196468 140728903772448 140345966814704 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31608] ppid=31597 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31608/stat : 31608 (java) S 31597 31597 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112084093 14314082304 7017 33554432000 4194304 4196468 140728903772448 140345965763280 140346494904219 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31609] ppid=31597 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31609/stat : 31609 (java) S 31597 31597 30195 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 112084093 14314082304 7017 33554432000 4194304 4196468 140728903772448 140345964709872 140346494896770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31610] ppid=31597 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31610/stat : 31610 (java) S 31597 31597 30195 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 112084093 14314082304 7017 33554432000 4194304 4196468 140728903772448 140345963657328 140346494896770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31611] ppid=31597 vsize=13978596 memory=139779641513600 CPUtime=0.01 cores=0,2,4,6
/proc/31599/task/31611/stat : 31611 (java) R 31597 31597 30195 0 -1 4202560 322 0 0 0 1 0 0 0 20 0 15 0 112084093 14314082304 7017 33554432000 4194304 4196468 140728903772448 140345962604784 140346473254292 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31612] ppid=31597 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31612/stat : 31612 (java) S 31597 31597 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112084093 14314082304 7017 33554432000 4194304 4196468 140728903772448 140345961552480 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31613] ppid=31597 vsize=13978596 memory=139779641513600 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31613/stat : 31613 (java) S 31597 31597 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112084094 14314082304 7017 33554432000 4194304 4196468 140728903772448 140345960500016 140346494896770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29452 KiB
[startup+0.210723 s]*
/proc/loadavg: 2.39 2.19 2.52 3/218 31613
/proc/meminfo: memFree=20742272/32770624 swapFree=67108860/67108860
[pid=31597] ppid=31594 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31597/stat : 31597 (xcsp3-exec) S 31594 31597 30195 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112084088 9740288 346 33554432000 4194304 5098028 140733919861264 140733919859368 139659471704700 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32833536 140733919868014 140733919868219 140733919868219 140733919870955 0
/proc/31597/statm: 2378 346 289 221 0 87 0
[pid=31599] ppid=31597 vsize=13982852 memory=40932 CPUtime=0.34 cores=0,2,4,6
/proc/31599/stat : 31599 (java) S 31597 31597 30195 0 -1 1077944320 8225 0 0 0 31 3 0 0 20 0 15 0 112084088 14318440448 10233 33554432000 4194304 4196468 140728903772448 140728903754992 140346494885623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
/proc/31599/statm: 3495713 10233 3085 1 0 3482966 0
[pid=31599/tid=31600] ppid=31597 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/31599/task/31600/stat : 31600 (java) R 31597 31597 30195 0 -1 4202560 5325 0 0 0 18 2 0 0 20 0 15 0 112084088 14318440448 10233 33554432000 4194304 4196468 140728903772448 140346499095248 140346487602727 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31601] ppid=31597 vsize=13982852 memory=8959 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31601/stat : 31601 (java) S 31597 31597 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112084089 14318440448 10233 33554432000 4194304 4196468 140728903772448 140346447505680 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31602] ppid=31597 vsize=13982852 memory=139779642017247 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31602/stat : 31602 (java) S 31597 31597 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112084089 14318440448 10233 33554432000 4194304 4196468 140728903772448 140346446453136 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31603] ppid=31597 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31603/stat : 31603 (java) S 31597 31597 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112084089 14318440448 10233 33554432000 4194304 4196468 140728903772448 140346088679952 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31604] ppid=31597 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31604/stat : 31604 (java) S 31597 31597 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112084089 14318440448 10233 33554432000 4194304 4196468 140728903772448 140346087627408 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31605] ppid=31597 vsize=13982852 memory=139779641513600 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31605/stat : 31605 (java) S 31597 31597 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112084090 14318440448 10233 33554432000 4194304 4196468 140728903772448 140345968921072 140346494896770 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31606] ppid=31597 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31606/stat : 31606 (java) S 31597 31597 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112084091 14318440448 10233 33554432000 4194304 4196468 140728903772448 140345967867296 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31607] ppid=31597 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31607/stat : 31607 (java) S 31597 31597 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112084091 14318473216 10233 33554432000 4194304 4196468 140728903772448 140345966814704 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31608] ppid=31597 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31608/stat : 31608 (java) S 31597 31597 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112084093 14318473216 10233 33554432000 4194304 4196468 140728903772448 140345965763280 140346494904219 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31609] ppid=31597 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31599/task/31609/stat : 31609 (java) S 31597 31597 30195 0 -1 1077944384 408 0 0 0 2 0 0 0 20 0 15 0 112084093 14318440448 10233 33554432000 4194304 4196468 140728903772448 140345964709872 140346494896770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31610] ppid=31597 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/31599/task/31610/stat : 31610 (java) S 31597 31597 30195 0 -1 1077944384 464 0 0 0 2 0 0 0 20 0 15 0 112084093 14318440448 10233 33554432000 4194304 4196468 140728903772448 140345963657328 140346494896770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31611] ppid=31597 vsize=13982852 memory=139779641513600 CPUtime=0.07 cores=0,2,4,6
/proc/31599/task/31611/stat : 31611 (java) S 31597 31597 30195 0 -1 1077944384 730 0 0 0 7 0 0 0 20 0 15 0 112084093 14318440448 10233 33554432000 4194304 4196468 140728903772448 140345962604784 140346494896770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31612] ppid=31597 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31612/stat : 31612 (java) S 31597 31597 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112084093 14318440448 10233 33554432000 4194304 4196468 140728903772448 140345961552480 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31613] ppid=31597 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31613/stat : 31613 (java) S 31597 31597 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112084094 14318440448 10233 33554432000 4194304 4196468 140728903772448 140345960500016 140346494896770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42316 KiB
[startup+0.310464 s]*
/proc/loadavg: 2.39 2.19 2.52 5/218 31613
/proc/meminfo: memFree=20735448/32770624 swapFree=67108860/67108860
[pid=31597] ppid=31594 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31597/stat : 31597 (xcsp3-exec) S 31594 31597 30195 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112084088 9740288 346 33554432000 4194304 5098028 140733919861264 140733919859368 139659471704700 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32833536 140733919868014 140733919868219 140733919868219 140733919870955 0
/proc/31597/statm: 2378 346 289 221 0 87 0
[pid=31599] ppid=31597 vsize=13982852 memory=47240 CPUtime=0.51 cores=0,2,4,6
/proc/31599/stat : 31599 (java) S 31597 31597 30195 0 -1 1077944320 8986 0 0 0 48 3 0 0 20 0 15 0 112084088 14318440448 11810 33554432000 4194304 4196468 140728903772448 140728903754992 140346494885623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
/proc/31599/statm: 3495713 11810 3098 1 0 3482966 0
[pid=31599/tid=31600] ppid=31597 vsize=13982852 memory=7883960649037381690 CPUtime=0.29 cores=0,2,4,6
/proc/31599/task/31600/stat : 31600 (java) R 31597 31597 30195 0 -1 4202560 5920 0 0 0 27 2 0 0 20 0 15 0 112084088 14318440448 11810 33554432000 4194304 4196468 140728903772448 140346499123136 140346126356227 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31601] ppid=31597 vsize=13982852 memory=9302 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31601/stat : 31601 (java) S 31597 31597 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112084089 14318440448 11810 33554432000 4194304 4196468 140728903772448 140346447505680 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31602] ppid=31597 vsize=13982852 memory=530681 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31602/stat : 31602 (java) S 31597 31597 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112084089 14318440448 11810 33554432000 4194304 4196468 140728903772448 140346446453136 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31603] ppid=31597 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31603/stat : 31603 (java) S 31597 31597 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112084089 14318440448 11810 33554432000 4194304 4196468 140728903772448 140346088679952 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31604] ppid=31597 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31604/stat : 31604 (java) S 31597 31597 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112084089 14318440448 11810 33554432000 4194304 4196468 140728903772448 140346087627408 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31605] ppid=31597 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31605/stat : 31605 (java) S 31597 31597 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112084090 14318440448 11810 33554432000 4194304 4196468 140728903772448 140345968921072 140346494896770 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31606] ppid=31597 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31606/stat : 31606 (java) S 31597 31597 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112084091 14318440448 11810 33554432000 4194304 4196468 140728903772448 140345967867296 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31607] ppid=31597 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31607/stat : 31607 (java) S 31597 31597 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112084091 14318440448 11810 33554432000 4194304 4196468 140728903772448 140345966814704 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31608] ppid=31597 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31608/stat : 31608 (java) S 31597 31597 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112084093 14318440448 11810 33554432000 4194304 4196468 140728903772448 140345965763280 140346494904219 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31609] ppid=31597 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/31599/task/31609/stat : 31609 (java) R 31597 31597 30195 0 -1 1077944384 410 0 0 0 3 0 0 0 20 0 15 0 112084093 14318440448 11810 33554432000 4194304 4196468 140728903772448 140345964709872 140346494896770 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31610] ppid=31597 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/31599/task/31610/stat : 31610 (java) R 31597 31597 30195 0 -1 4202560 521 0 0 0 4 0 0 0 20 0 15 0 112084093 14318440448 11810 33554432000 4194304 4196468 140728903772448 140345963657328 140346476083624 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31611] ppid=31597 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/31599/task/31611/stat : 31611 (java) R 31597 31597 30195 0 -1 4202560 831 0 0 0 12 0 0 0 20 0 15 0 112084093 14318440448 11810 33554432000 4194304 4196468 140728903772448 140345962600512 140346487122750 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31612] ppid=31597 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31612/stat : 31612 (java) S 31597 31597 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112084093 14318440448 11810 33554432000 4194304 4196468 140728903772448 140345961552480 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31613] ppid=31597 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31613/stat : 31613 (java) S 31597 31597 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112084094 14318440448 11810 33554432000 4194304 4196468 140728903772448 140345960500016 140346494896770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48624 KiB
[startup+0.700799 s]
/proc/loadavg: 2.39 2.19 2.52 5/218 31613
/proc/meminfo: memFree=20702132/32770624 swapFree=67108860/67108860
[pid=31597] ppid=31594 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31597/stat : 31597 (xcsp3-exec) S 31594 31597 30195 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112084088 9740288 346 33554432000 4194304 5098028 140733919861264 140733919859368 139659471704700 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32833536 140733919868014 140733919868219 140733919868219 140733919870955 0
/proc/31597/statm: 2378 346 289 221 0 87 0
[pid=31599] ppid=31597 vsize=13982928 memory=120176 CPUtime=1.76 cores=0,2,4,6
/proc/31599/stat : 31599 (java) S 31597 31597 30195 0 -1 1077944320 12340 0 0 0 171 5 0 0 20 0 15 0 112084088 14318518272 30044 33554432000 4194304 4196468 140728903772448 140728903754992 140346494885623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
/proc/31599/statm: 3495732 30044 3196 1 0 3482966 0
[pid=31599/tid=31600] ppid=31597 vsize=13982928 memory=18484 CPUtime=0.67 cores=0,2,4,6
/proc/31599/task/31600/stat : 31600 (java) R 31597 31597 30195 0 -1 4202560 6228 0 0 0 64 3 0 0 20 0 15 0 112084088 14318518272 30044 33554432000 4194304 4196468 140728903772448 140346499120384 140346129792248 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31601] ppid=31597 vsize=13982928 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31601/stat : 31601 (java) S 31597 31597 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112084089 14318518272 30044 33554432000 4194304 4196468 140728903772448 140346447505680 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31602] ppid=31597 vsize=13982928 memory=648 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31602/stat : 31602 (java) S 31597 31597 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112084089 14318518272 30044 33554432000 4194304 4196468 140728903772448 140346446453136 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31603] ppid=31597 vsize=13982928 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31603/stat : 31603 (java) S 31597 31597 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112084089 14318518272 30044 33554432000 4194304 4196468 140728903772448 140346088679952 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31604] ppid=31597 vsize=13982928 memory=956 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31604/stat : 31604 (java) S 31597 31597 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112084089 14318518272 30044 33554432000 4194304 4196468 140728903772448 140346087627408 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31605] ppid=31597 vsize=13982928 memory=2344 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31605/stat : 31605 (java) S 31597 31597 30195 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 112084090 14318518272 30044 33554432000 4194304 4196468 140728903772448 140345968921072 140346494896770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31606] ppid=31597 vsize=13982928 memory=928 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31606/stat : 31606 (java) S 31597 31597 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112084091 14318518272 30044 33554432000 4194304 4196468 140728903772448 140345967867296 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31607] ppid=31597 vsize=13982928 memory=1576 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31607/stat : 31607 (java) S 31597 31597 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112084091 14318518272 30044 33554432000 4194304 4196468 140728903772448 140345966814704 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31608] ppid=31597 vsize=13982928 memory=2236 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31608/stat : 31608 (java) S 31597 31597 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112084093 14318518272 30044 33554432000 4194304 4196468 140728903772448 140345965763280 140346494904219 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31609] ppid=31597 vsize=13982928 memory=4316 CPUtime=0.39 cores=0,2,4,6
/proc/31599/task/31609/stat : 31609 (java) R 31597 31597 30195 0 -1 4202560 1406 0 0 0 39 0 0 0 20 0 15 0 112084093 14318518272 30044 33554432000 4194304 4196468 140728903772448 140345964710000 140346480002800 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31610] ppid=31597 vsize=13982928 memory=2196 CPUtime=0.39 cores=0,2,4,6
/proc/31599/task/31610/stat : 31610 (java) R 31597 31597 30195 0 -1 4202560 1897 0 0 0 39 0 0 0 20 0 15 0 112084093 14318518272 30044 33554432000 4194304 4196468 140728903772448 140345963643432 140346476406849 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31611] ppid=31597 vsize=13982928 memory=6760 CPUtime=0.28 cores=0,2,4,6
/proc/31599/task/31611/stat : 31611 (java) S 31597 31597 30195 0 -1 1077944384 1500 0 0 0 28 0 0 0 20 0 15 0 112084093 14318518272 30044 33554432000 4194304 4196468 140728903772448 140345962604784 140346494896770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31612] ppid=31597 vsize=13982928 memory=832 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31612/stat : 31612 (java) S 31597 31597 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112084093 14318518272 30044 33554432000 4194304 4196468 140728903772448 140345961552480 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31613] ppid=31597 vsize=13982928 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31613/stat : 31613 (java) S 31597 31597 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112084094 14318518272 30044 33554432000 4194304 4196468 140728903772448 140345960500016 140346494896770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 121560 KiB
[startup+1.50087 s]
/proc/loadavg: 2.39 2.19 2.52 5/218 31613
/proc/meminfo: memFree=20580760/32770624 swapFree=67108860/67108860
[pid=31597] ppid=31594 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31597/stat : 31597 (xcsp3-exec) S 31594 31597 30195 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112084088 9740288 346 33554432000 4194304 5098028 140733919861264 140733919859368 139659471704700 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32833536 140733919868014 140733919868219 140733919868219 140733919870955 0
/proc/31597/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/31599/task/31600/stat : 31600 (java) R 31597 31597 30195 0 -1 4202560 11028 0 0 0 1185 53 0 0 20 0 15 0 112084088 14320615424 918884 33554432000 4194304 4196468 140728903772448 140346499122360 140346131043687 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31601] ppid=31597 vsize=13984976 memory=279559019425120 CPUtime=0.13 cores=0,2,4,6
/proc/31599/task/31601/stat : 31601 (java) S 31597 31597 30195 0 -1 1077944384 306 0 0 0 9 4 0 0 20 0 15 0 112084089 14320615424 918884 33554432000 4194304 4196468 140728903772448 140346447505680 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31602] ppid=31597 vsize=13984976 memory=1384 CPUtime=0.14 cores=0,2,4,6
/proc/31599/task/31602/stat : 31602 (java) S 31597 31597 30195 0 -1 1077944384 293 0 0 0 9 5 0 0 20 0 15 0 112084089 14320615424 918884 33554432000 4194304 4196468 140728903772448 140346446453136 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31603] ppid=31597 vsize=13984976 memory=3427212 CPUtime=0.14 cores=0,2,4,6
/proc/31599/task/31603/stat : 31603 (java) S 31597 31597 30195 0 -1 1077944384 257 0 0 0 9 5 0 0 20 0 15 0 112084089 14320615424 918884 33554432000 4194304 4196468 140728903772448 140346088679952 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31604] ppid=31597 vsize=13984976 memory=-1 CPUtime=0.14 cores=0,2,4,6
/proc/31599/task/31604/stat : 31604 (java) S 31597 31597 30195 0 -1 1077944384 316 0 0 0 9 5 0 0 20 0 15 0 112084089 14320615424 918884 33554432000 4194304 4196468 140728903772448 140346087627408 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31605] ppid=31597 vsize=13984976 memory=33 CPUtime=0.01 cores=0,2,4,6
/proc/31599/task/31605/stat : 31605 (java) S 31597 31597 30195 0 -1 1077944384 1769 0 0 0 1 0 0 0 20 0 15 0 112084090 14320615424 918884 33554432000 4194304 4196468 140728903772448 140345968921072 140346494896770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31606] ppid=31597 vsize=13984976 memory=188 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31606/stat : 31606 (java) S 31597 31597 30195 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 112084091 14320615424 918884 33554432000 4194304 4196468 140728903772448 140345967867360 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31607] ppid=31597 vsize=13984976 memory=177 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31607/stat : 31607 (java) S 31597 31597 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112084091 14320615424 918884 33554432000 4194304 4196468 140728903772448 140345966814720 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31608] ppid=31597 vsize=13984976 memory=279559019219296 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31608/stat : 31608 (java) S 31597 31597 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112084093 14320615424 918884 33554432000 4194304 4196468 140728903772448 140345965763280 140346494904219 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31609] ppid=31597 vsize=13984976 memory=288230621803970871 CPUtime=1.88 cores=0,2,4,6
/proc/31599/task/31609/stat : 31609 (java) S 31597 31597 30195 0 -1 1077944384 4923 0 0 0 188 0 0 0 20 0 15 0 112084093 14320615424 918884 33554432000 4194304 4196468 140728903772448 140345964709872 140346494896770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31610] ppid=31597 vsize=13984976 memory=0 CPUtime=1.77 cores=0,2,4,6
/proc/31599/task/31610/stat : 31610 (java) S 31597 31597 30195 0 -1 1077944384 4861 0 0 0 177 0 0 0 20 0 15 0 112084093 14320615424 918884 33554432000 4194304 4196468 140728903772448 140345963657328 140346494896770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31611] ppid=31597 vsize=13984976 memory=279559019132640 CPUtime=0.54 cores=0,2,4,6
/proc/31599/task/31611/stat : 31611 (java) S 31597 31597 30195 0 -1 1077944384 2027 0 0 0 53 1 0 0 20 0 15 0 112084093 14320615424 918884 33554432000 4194304 4196468 140728903772448 140345962604784 140346494896770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31612] ppid=31597 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31612/stat : 31612 (java) S 31597 31597 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112084093 14320615424 918884 33554432000 4194304 4196468 140728903772448 140345961552480 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31613] ppid=31597 vsize=13984976 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31613/stat : 31613 (java) S 31597 31597 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112084094 14320615424 918884 33554432000 4194304 4196468 140728903772448 140345960500016 140346494896770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
Current children cumulated CPU time: 17.22 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 3676920 KiB
[startup+25.5009 s]
/proc/loadavg: 2.40 2.21 2.52 3/217 31614
/proc/meminfo: memFree=15665568/32770624 swapFree=67108860/67108860
[pid=31597] ppid=31594 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31597/stat : 31597 (xcsp3-exec) S 31594 31597 30195 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112084088 9740288 346 33554432000 4194304 5098028 140733919861264 140733919859368 139659471704700 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32833536 140733919868014 140733919868219 140733919868219 140733919870955 0
/proc/31597/statm: 2378 346 289 221 0 87 0
[pid=31599] ppid=31597 vsize=13984976 memory=3917240 CPUtime=32.17 cores=0,2,4,6
/proc/31599/stat : 31599 (java) S 31597 31597 30195 0 -1 1077944320 43793 0 0 0 3121 96 0 0 20 0 15 0 112084088 14320615424 979310 33554432000 4194304 4196468 140728903772448 140728903754992 140346494885623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
/proc/31599/statm: 3496244 979310 3263 1 0 3483478 0
[pid=31599/tid=31600] ppid=31597 vsize=13984976 memory=0 CPUtime=25.03 cores=0,2,4,6
/proc/31599/task/31600/stat : 31600 (java) R 31597 31597 30195 0 -1 4202560 15691 0 0 0 2448 55 0 0 20 0 15 0 112084088 14320615424 979310 33554432000 4194304 4196468 140728903772448 140346499120592 140346133817862 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31601] ppid=31597 vsize=13984976 memory=279559019225280 CPUtime=0.28 cores=0,2,4,6
/proc/31599/task/31601/stat : 31601 (java) S 31597 31597 30195 0 -1 1077944384 480 0 0 0 20 8 0 0 20 0 15 0 112084089 14320615424 979310 33554432000 4194304 4196468 140728903772448 140346447505680 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31602] ppid=31597 vsize=13984976 memory=279559019009824 CPUtime=0.28 cores=0,2,4,6
/proc/31599/task/31602/stat : 31602 (java) S 31597 31597 30195 0 -1 1077944384 771 0 0 0 19 9 0 0 20 0 15 0 112084089 14320615424 979310 33554432000 4194304 4196468 140728903772448 140346446453136 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31603] ppid=31597 vsize=13984976 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/31599/task/31603/stat : 31603 (java) S 31597 31597 30195 0 -1 1077944384 429 0 0 0 19 8 0 0 20 0 15 0 112084089 14320615424 979310 33554432000 4194304 4196468 140728903772448 140346088679952 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31604] ppid=31597 vsize=13984976 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/31599/task/31604/stat : 31604 (java) S 31597 31597 30195 0 -1 1077944384 449 0 0 0 20 9 0 0 20 0 15 0 112084089 14320615424 979310 33554432000 4194304 4196468 140728903772448 140346087627408 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31605] ppid=31597 vsize=13984976 memory=56 CPUtime=0.01 cores=0,2,4,6
/proc/31599/task/31605/stat : 31605 (java) S 31597 31597 30195 0 -1 1077944384 2015 0 0 0 1 0 0 0 20 0 15 0 112084090 14320615424 979310 33554432000 4194304 4196468 140728903772448 140345968921072 140346494896770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31606] ppid=31597 vsize=13984976 memory=-7523660553960122769 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31606/stat : 31606 (java) S 31597 31597 30195 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 112084091 14320615424 979310 33554432000 4194304 4196468 140728903772448 140345967867360 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31607] ppid=31597 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31607/stat : 31607 (java) S 31597 31597 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112084091 14320615424 979310 33554432000 4194304 4196468 140728903772448 140345966814720 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31608] ppid=31597 vsize=13984976 memory=7649399358444941619 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31608/stat : 31608 (java) S 31597 31597 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112084093 14320615424 979310 33554432000 4194304 4196468 140728903772448 140345965763280 140346494904219 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31609] ppid=31597 vsize=13984976 memory=1732 CPUtime=2.69 cores=0,2,4,6
/proc/31599/task/31609/stat : 31609 (java) S 31597 31597 30195 0 -1 1077944384 8612 0 0 0 268 1 0 0 20 0 15 0 112084093 14320615424 979310 33554432000 4194304 4196468 140728903772448 140345964709872 140346494896770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31610] ppid=31597 vsize=13984976 memory=796 CPUtime=2.55 cores=0,2,4,6
/proc/31599/task/31610/stat : 31610 (java) S 31597 31597 30195 0 -1 1077944384 9898 0 0 0 254 1 0 0 20 0 15 0 112084093 14320615424 979310 33554432000 4194304 4196468 140728903772448 140345963657328 140346494896770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31611] ppid=31597 vsize=13984976 memory=164 CPUtime=0.68 cores=0,2,4,6
/proc/31599/task/31611/stat : 31611 (java) S 31597 31597 30195 0 -1 1077944384 4122 0 0 0 67 1 0 0 20 0 15 0 112084093 14320615424 979310 33554432000 4194304 4196468 140728903772448 140345962604784 140346494896770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31612] ppid=31597 vsize=13984976 memory=6935649255878125649 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31612/stat : 31612 (java) S 31597 31597 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112084093 14320615424 979310 33554432000 4194304 4196468 140728903772448 140345961552480 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31613] ppid=31597 vsize=13984976 memory=31876 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31613/stat : 31613 (java) S 31597 31597 30195 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 112084094 14320615424 979310 33554432000 4194304 4196468 140728903772448 140345960500016 140346494896770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
Current children cumulated CPU time: 32.17 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 3918624 KiB
[startup+25.8262 s]
# the end of solver process 31597 was just reported to runsolver
# cumulated CPU time of all completed processes: user=31.6819 s, system=0.988303 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6011 s]
/proc/loadavg: 2.40 2.21 2.52 3/217 31614
/proc/meminfo: memFree=15665568/32770624 swapFree=67108860/67108860
[pid=31597] ppid=31594 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31597/stat : 31597 (xcsp3-exec) S 31594 31597 30195 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112084088 9740288 346 33554432000 4194304 5098028 140733919861264 140733919859368 139659471704700 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32833536 140733919868014 140733919868219 140733919868219 140733919870955 0
/proc/31597/statm: 2378 346 289 221 0 87 0
[pid=31599] ppid=31597 vsize=13984976 memory=3917240 CPUtime=32.27 cores=0,2,4,6
/proc/31599/stat : 31599 (java) S 31597 31597 30195 0 -1 1077944320 43793 0 0 0 3131 96 0 0 20 0 15 0 112084088 14320615424 979310 33554432000 4194304 4196468 140728903772448 140728903754992 140346494885623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
/proc/31599/statm: 3496244 979310 3263 1 0 3483478 0
[pid=31599/tid=31600] ppid=31597 vsize=13984976 memory=1384 CPUtime=25.13 cores=0,2,4,6
/proc/31599/task/31600/stat : 31600 (java) R 31597 31597 30195 0 -1 4202560 15691 0 0 0 2458 55 0 0 20 0 15 0 112084088 14320615424 979310 33554432000 4194304 4196468 140728903772448 140346499120592 140346131160704 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31601] ppid=31597 vsize=13984976 memory=2163064 CPUtime=0.28 cores=0,2,4,6
/proc/31599/task/31601/stat : 31601 (java) S 31597 31597 30195 0 -1 1077944384 480 0 0 0 20 8 0 0 20 0 15 0 112084089 14320615424 979310 33554432000 4194304 4196468 140728903772448 140346447505680 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31602] ppid=31597 vsize=13984976 memory=9126232286719478932 CPUtime=0.28 cores=0,2,4,6
/proc/31599/task/31602/stat : 31602 (java) S 31597 31597 30195 0 -1 1077944384 771 0 0 0 19 9 0 0 20 0 15 0 112084089 14320615424 979310 33554432000 4194304 4196468 140728903772448 140346446453136 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31603] ppid=31597 vsize=13984976 memory=6791534058613427641 CPUtime=0.27 cores=0,2,4,6
/proc/31599/task/31603/stat : 31603 (java) S 31597 31597 30195 0 -1 1077944384 429 0 0 0 19 8 0 0 20 0 15 0 112084089 14320615424 979310 33554432000 4194304 4196468 140728903772448 140346088679952 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31604] ppid=31597 vsize=13984976 memory=1296 CPUtime=0.29 cores=0,2,4,6
/proc/31599/task/31604/stat : 31604 (java) S 31597 31597 30195 0 -1 1077944384 449 0 0 0 20 9 0 0 20 0 15 0 112084089 14320615424 979310 33554432000 4194304 4196468 140728903772448 140346087627408 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31605] ppid=31597 vsize=13984976 memory=2404 CPUtime=0.01 cores=0,2,4,6
/proc/31599/task/31605/stat : 31605 (java) S 31597 31597 30195 0 -1 1077944384 2015 0 0 0 1 0 0 0 20 0 15 0 112084090 14320615424 979310 33554432000 4194304 4196468 140728903772448 140345968921072 140346494896770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31606] ppid=31597 vsize=13984976 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31606/stat : 31606 (java) S 31597 31597 30195 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 112084091 14320615424 979310 33554432000 4194304 4196468 140728903772448 140345967867360 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31607] ppid=31597 vsize=13984976 memory=796 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31607/stat : 31607 (java) S 31597 31597 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112084091 14320615424 979310 33554432000 4194304 4196468 140728903772448 140345966814720 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31608] ppid=31597 vsize=13984976 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31608/stat : 31608 (java) S 31597 31597 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112084093 14320615424 979310 33554432000 4194304 4196468 140728903772448 140345965763280 140346494904219 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31609] ppid=31597 vsize=13984976 memory=1940 CPUtime=2.69 cores=0,2,4,6
/proc/31599/task/31609/stat : 31609 (java) S 31597 31597 30195 0 -1 1077944384 8612 0 0 0 268 1 0 0 20 0 15 0 112084093 14320615424 979310 33554432000 4194304 4196468 140728903772448 140345964709872 140346494896770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31610] ppid=31597 vsize=13984976 memory=1424 CPUtime=2.55 cores=0,2,4,6
/proc/31599/task/31610/stat : 31610 (java) S 31597 31597 30195 0 -1 1077944384 9898 0 0 0 254 1 0 0 20 0 15 0 112084093 14320615424 979310 33554432000 4194304 4196468 140728903772448 140345963657328 140346494896770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31611] ppid=31597 vsize=13984976 memory=8568 CPUtime=0.68 cores=0,2,4,6
/proc/31599/task/31611/stat : 31611 (java) S 31597 31597 30195 0 -1 1077944384 4122 0 0 0 67 1 0 0 20 0 15 0 112084093 14320615424 979310 33554432000 4194304 4196468 140728903772448 140345962604784 140346494896770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31612] ppid=31597 vsize=13984976 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31612/stat : 31612 (java) S 31597 31597 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112084093 14320615424 979310 33554432000 4194304 4196468 140728903772448 140345961552480 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31613] ppid=31597 vsize=13984976 memory=11000 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31613/stat : 31613 (java) S 31597 31597 30195 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 112084094 14320615424 979310 33554432000 4194304 4196468 140728903772448 140345960500016 140346494896770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
Current children cumulated CPU time: 32.27 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 3918624 KiB
[startup+25.8007 s]
/proc/loadavg: 2.40 2.21 2.52 3/217 31614
/proc/meminfo: memFree=15665568/32770624 swapFree=67108860/67108860
[pid=31597] ppid=31594 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31597/stat : 31597 (xcsp3-exec) S 31594 31597 30195 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112084088 9740288 346 33554432000 4194304 5098028 140733919861264 140733919859368 139659471704700 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32833536 140733919868014 140733919868219 140733919868219 140733919870955 0
/proc/31597/statm: 2378 346 289 221 0 87 0
[pid=31599] ppid=31597 vsize=13984976 memory=3918504 CPUtime=32.63 cores=0,2,4,6
/proc/31599/stat : 31599 (java) S 31597 31597 30195 0 -1 1077944320 44424 0 0 0 3167 96 0 0 20 0 14 0 112084088 14320615424 979626 33554432000 4194304 4196468 140728903772448 140728903754992 140346494885623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
/proc/31599/statm: 3496244 979626 3267 1 0 3483478 0
[pid=31599/tid=31600] ppid=31597 vsize=13984976 memory=1424 CPUtime=25.32 cores=0,2,4,6
/proc/31599/task/31600/stat : 31600 (java) S 31597 31597 30195 0 -1 1077944384 16088 0 0 0 2477 55 0 0 20 0 14 0 112084088 14320615424 979626 33554432000 4194304 4196468 140728903772448 140346499128464 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31601] ppid=31597 vsize=13984976 memory=8568 CPUtime=0.28 cores=0,2,4,6
/proc/31599/task/31601/stat : 31601 (java) S 31597 31597 30195 0 -1 1077944384 480 0 0 0 20 8 0 0 20 0 14 0 112084089 14320615424 979626 33554432000 4194304 4196468 140728903772448 140346447505680 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31602] ppid=31597 vsize=13984976 memory=1724 CPUtime=0.28 cores=0,2,4,6
/proc/31599/task/31602/stat : 31602 (java) S 31597 31597 30195 0 -1 1077944384 771 0 0 0 19 9 0 0 20 0 14 0 112084089 14320615424 979626 33554432000 4194304 4196468 140728903772448 140346446453136 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31603] ppid=31597 vsize=13984976 memory=1384 CPUtime=0.27 cores=0,2,4,6
/proc/31599/task/31603/stat : 31603 (java) S 31597 31597 30195 0 -1 1077944384 429 0 0 0 19 8 0 0 20 0 14 0 112084089 14320615424 979626 33554432000 4194304 4196468 140728903772448 140346088679952 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31604] ppid=31597 vsize=13984976 memory=3813672 CPUtime=0.29 cores=0,2,4,6
/proc/31599/task/31604/stat : 31604 (java) S 31597 31597 30195 0 -1 1077944384 449 0 0 0 20 9 0 0 20 0 14 0 112084089 14320615424 979626 33554432000 4194304 4196468 140728903772448 140346087627408 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31605] ppid=31597 vsize=13984976 memory=1384 CPUtime=0.02 cores=0,2,4,6
/proc/31599/task/31605/stat : 31605 (java) S 31597 31597 30195 0 -1 1077944384 2017 0 0 0 2 0 0 0 20 0 14 0 112084090 14320615424 979626 33554432000 4194304 4196468 140728903772448 140345968921280 140346494896770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31606] ppid=31597 vsize=13984976 memory=4136 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31606/stat : 31606 (java) S 31597 31597 30195 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 14 0 112084091 14320615424 979626 33554432000 4194304 4196468 140728903772448 140345967867360 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31607] ppid=31597 vsize=13984976 memory=31876 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31607/stat : 31607 (java) S 31597 31597 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 112084091 14320615424 979626 33554432000 4194304 4196468 140728903772448 140345966814720 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31608] ppid=31597 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31608/stat : 31608 (java) S 31597 31597 30195 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 14 0 112084093 14320615424 979626 33554432000 4194304 4196468 140728903772448 140345965762048 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31609] ppid=31597 vsize=13984976 memory=2404 CPUtime=2.76 cores=0,2,4,6
/proc/31599/task/31609/stat : 31609 (java) S 31597 31597 30195 0 -1 1077944384 8675 0 0 0 275 1 0 0 20 0 14 0 112084093 14320615424 979626 33554432000 4194304 4196468 140728903772448 140345964694384 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31610] ppid=31597 vsize=13984976 memory=1732 CPUtime=2.59 cores=0,2,4,6
/proc/31599/task/31610/stat : 31610 (java) S 31597 31597 30195 0 -1 1077944384 9921 0 0 0 258 1 0 0 20 0 14 0 112084093 14320615424 979626 33554432000 4194304 4196468 140728903772448 140345963657328 140346494896770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31611] ppid=31597 vsize=13984976 memory=139779509799297 CPUtime=0.74 cores=0,2,4,6
/proc/31599/task/31611/stat : 31611 (java) S 31597 31597 30195 0 -1 1077944384 4241 0 0 0 73 1 0 0 20 0 14 0 112084093 14320615424 979626 33554432000 4194304 4196468 140728903772448 140345962604784 140346494896770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
[pid=31599/tid=31612] ppid=31597 vsize=13984976 memory=7594312971751745125 CPUtime=0 cores=0,2,4,6
/proc/31599/task/31612/stat : 31612 (java) S 31597 31597 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 112084093 14320615424 979626 33554432000 4194304 4196468 140728903772448 140345961552480 140346494895829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13938688 140728903775383 140728903775559 140728903775559 140728903778255 0
Current children cumulated CPU time: 32.63 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 3919888 KiB
Child status: 0
Real time (s): 25.8263
CPU time (s): 32.6702
CPU user time (s): 31.6819
CPU system time (s): 0.988303
CPU usage (%): 126.5
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 3919888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.6819
system time used= 0.988303
maximum resident set size= 3919088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44976
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3432
involuntary context switches= 106
# summary of solver processes directly reported to runsolver:
# pid: 31597
# total CPU time (s): 32.6702
# total CPU user time (s): 31.6819
# total CPU system time (s): 0.988303
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.187735 second user time and 0.295879 second system time
The end