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 (4532 MiB free)
memory of node 1: 16384 MiB (5969 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403507-1568991761/watcher-4403507-1568991761 -o /var/tmp/evaluation-result-4403507-1568991761/solver-4403507-1568991761 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node133-1568990876-1247 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 141447933 HOME/instance-4403507-1568991761.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=4063, runsolver pid=4060
Current StackSize limit: 8192 KiB
[startup+0.102527 s]*
/proc/loadavg: 7.96 8.05 5.49 6/238 4079
/proc/meminfo: memFree=10738384/32770624 swapFree=67001888/67108860
[pid=4063] ppid=4060 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4063/stat : 4063 (xcsp3-exec) S 4060 4063 1216 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475415674 115843072 363 33554432000 4194304 5098028 140724005235440 140724005233544 139895032119932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10391552 140724005241687 140724005241945 140724005241945 140724005244870 0
/proc/4063/statm: 28282 363 305 221 0 87 0
[pid=4065] ppid=4063 vsize=15144776 memory=29612 CPUtime=0.14 cores=0,2,4,6
/proc/4065/stat : 4065 (java) S 4063 4063 1216 0 -1 1077944320 5838 0 0 0 12 2 0 0 20 0 15 0 475415674 15508250624 7403 33554432000 4194304 4196468 140722884271904 140722884254448 140286131732215 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
/proc/4065/statm: 3786194 7403 3181 1 0 3748377 0
[pid=4065/tid=4066] ppid=4063 vsize=15144776 memory=8261472670413198171 CPUtime=0.09 cores=0,2,4,6
/proc/4065/task/4066/stat : 4066 (java) R 4063 4063 1216 0 -1 4202560 3713 0 0 0 8 1 0 0 20 0 15 0 475415674 15508250624 7403 33554432000 4194304 4196468 140722884271904 140286135954912 140286123969342 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4067] ppid=4063 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4067/stat : 4067 (java) S 4063 4063 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475415675 15508250624 7403 33554432000 4194304 4196468 140722884271904 140286059772944 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4068] ppid=4063 vsize=15144776 memory=139898893002368 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4068/stat : 4068 (java) S 4063 4063 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475415675 15508250624 7403 33554432000 4194304 4196468 140722884271904 140286058720400 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4069] ppid=4063 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4069/stat : 4069 (java) S 4063 4063 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475415675 15508250624 7403 33554432000 4194304 4196468 140722884271904 140286057667344 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4070] ppid=4063 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4070/stat : 4070 (java) S 4063 4063 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475415675 15508250624 7403 33554432000 4194304 4196468 140722884271904 140286056614800 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4071] ppid=4063 vsize=15144776 memory=139898893002368 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4071/stat : 4071 (java) S 4063 4063 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475415676 15508250624 7403 33554432000 4194304 4196468 140722884271904 140285599824112 140286131743362 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4072] ppid=4063 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4072/stat : 4072 (java) S 4063 4063 1216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475415677 15508250624 7403 33554432000 4194304 4196468 140722884271904 140285598770336 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4073] ppid=4063 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4073/stat : 4073 (java) S 4063 4063 1216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475415677 15508250624 7403 33554432000 4194304 4196468 140722884271904 140285597717232 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4074] ppid=4063 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4074/stat : 4074 (java) S 4063 4063 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475415680 15508250624 7403 33554432000 4194304 4196468 140722884271904 140285596665808 140286131750811 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4075] ppid=4063 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4075/stat : 4075 (java) R 4063 4063 1216 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 475415680 15508250624 7403 33554432000 4194304 4196468 140722884271904 140285595613936 140286131743362 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4076] ppid=4063 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4076/stat : 4076 (java) R 4063 4063 1216 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 15 0 475415680 15508250624 7403 33554432000 4194304 4196468 140722884271904 140285594561392 140286124021597 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4077] ppid=4063 vsize=15144776 memory=139898893002368 CPUtime=0.02 cores=0,2,4,6
/proc/4065/task/4077/stat : 4077 (java) R 4063 4063 1216 0 -1 4202560 347 0 0 0 2 0 0 0 20 0 15 0 475415680 15508250624 7403 33554432000 4194304 4196468 140722884271904 140285593502688 140286110673794 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4078] ppid=4063 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4078/stat : 4078 (java) S 4063 4063 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475415680 15508250624 7403 33554432000 4194304 4196468 140722884271904 140285592456032 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4079] ppid=4063 vsize=15144776 memory=139898893002368 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4079/stat : 4079 (java) R 4063 4063 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475415680 15508250624 7403 33554432000 4194304 4196468 140722884271904 140285591403056 140286131743362 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31064 KiB
[startup+0.211514 s]*
/proc/loadavg: 7.96 8.05 5.49 8/238 4079
/proc/meminfo: memFree=10724992/32770624 swapFree=67001888/67108860
[pid=4063] ppid=4060 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4063/stat : 4063 (xcsp3-exec) S 4060 4063 1216 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475415674 115843072 363 33554432000 4194304 5098028 140724005235440 140724005233544 139895032119932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10391552 140724005241687 140724005241945 140724005241945 140724005244870 0
/proc/4063/statm: 28282 363 305 221 0 87 0
[pid=4065] ppid=4063 vsize=15144776 memory=41176 CPUtime=0.34 cores=0,2,4,6
/proc/4065/stat : 4065 (java) S 4063 4063 1216 0 -1 1077944320 9474 0 0 0 31 3 0 0 20 0 15 0 475415674 15508250624 10294 33554432000 4194304 4196468 140722884271904 140722884254448 140286131732215 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
/proc/4065/statm: 3786194 10294 3319 1 0 3748377 0
[pid=4065/tid=4066] ppid=4063 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/4065/task/4066/stat : 4066 (java) R 4063 4063 1216 0 -1 4202560 6617 0 0 0 17 3 0 0 20 0 15 0 475415674 15508250624 10294 33554432000 4194304 4196468 140722884271904 140286135965776 140286131754141 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4067] ppid=4063 vsize=15144776 memory=13589 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4067/stat : 4067 (java) S 4063 4063 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475415675 15508250624 10294 33554432000 4194304 4196468 140722884271904 140286059772944 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4068] ppid=4063 vsize=15144776 memory=3977724587308115616 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4068/stat : 4068 (java) S 4063 4063 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475415675 15508250624 10294 33554432000 4194304 4196468 140722884271904 140286058720400 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4069] ppid=4063 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4069/stat : 4069 (java) S 4063 4063 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475415675 15508250624 10294 33554432000 4194304 4196468 140722884271904 140286057667344 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4070] ppid=4063 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4070/stat : 4070 (java) S 4063 4063 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475415675 15508250624 10294 33554432000 4194304 4196468 140722884271904 140286056614800 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4071] ppid=4063 vsize=15144776 memory=139898893002368 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4071/stat : 4071 (java) S 4063 4063 1216 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475415676 15508250624 10294 33554432000 4194304 4196468 140722884271904 140285599824112 140286131743362 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4072] ppid=4063 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4072/stat : 4072 (java) S 4063 4063 1216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475415677 15508250624 10294 33554432000 4194304 4196468 140722884271904 140285598770336 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4073] ppid=4063 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4073/stat : 4073 (java) S 4063 4063 1216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475415677 15508250624 10294 33554432000 4194304 4196468 140722884271904 140285597717232 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4074] ppid=4063 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4074/stat : 4074 (java) S 4063 4063 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475415680 15508250624 10294 33554432000 4194304 4196468 140722884271904 140285596665808 140286131750811 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4075] ppid=4063 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4065/task/4075/stat : 4075 (java) S 4063 4063 1216 0 -1 1077944384 346 0 0 0 1 0 0 0 20 0 15 0 475415680 15508250624 10294 33554432000 4194304 4196468 140722884271904 140285595613936 140286131743362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4076] ppid=4063 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/4065/task/4076/stat : 4076 (java) S 4063 4063 1216 0 -1 1077944384 473 0 0 0 3 0 0 0 20 0 15 0 475415680 15508250624 10294 33554432000 4194304 4196468 140722884271904 140285594561392 140286131743362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4077] ppid=4063 vsize=15144776 memory=139898893002368 CPUtime=0.08 cores=0,2,4,6
/proc/4065/task/4077/stat : 4077 (java) S 4063 4063 1216 0 -1 1077944384 735 0 0 0 8 0 0 0 20 0 15 0 475415680 15508250624 10294 33554432000 4194304 4196468 140722884271904 140285593508336 140286131743362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4078] ppid=4063 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4078/stat : 4078 (java) S 4063 4063 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475415680 15508250624 10294 33554432000 4194304 4196468 140722884271904 140285592456032 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4079] ppid=4063 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4079/stat : 4079 (java) S 4063 4063 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475415680 15508250624 10294 33554432000 4194304 4196468 140722884271904 140285591403056 140286131743362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42628 KiB
[startup+0.311095 s]*
/proc/loadavg: 7.96 8.05 5.49 7/238 4079
/proc/meminfo: memFree=10717856/32770624 swapFree=67001888/67108860
[pid=4063] ppid=4060 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4063/stat : 4063 (xcsp3-exec) S 4060 4063 1216 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475415674 115843072 363 33554432000 4194304 5098028 140724005235440 140724005233544 139895032119932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10391552 140724005241687 140724005241945 140724005241945 140724005244870 0
/proc/4063/statm: 28282 363 305 221 0 87 0
[pid=4065] ppid=4063 vsize=15149032 memory=49736 CPUtime=0.54 cores=0,2,4,6
/proc/4065/stat : 4065 (java) S 4063 4063 1216 0 -1 1077944320 10793 0 0 0 49 5 0 0 20 0 15 0 475415674 15512608768 12434 33554432000 4194304 4196468 140722884271904 140722884254448 140286131732215 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
/proc/4065/statm: 3787258 12434 3363 1 0 3748377 0
[pid=4065/tid=4066] ppid=4063 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/4065/task/4066/stat : 4066 (java) R 4063 4063 1216 0 -1 4202560 7776 0 0 0 27 3 0 0 20 0 15 0 475415674 15512608768 12434 33554432000 4194304 4196468 140722884271904 140286135963328 140286115812702 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4067] ppid=4063 vsize=15149032 memory=13951 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4067/stat : 4067 (java) S 4063 4063 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475415675 15512608768 12434 33554432000 4194304 4196468 140722884271904 140286059772944 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4068] ppid=4063 vsize=15149032 memory=3570178 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4068/stat : 4068 (java) S 4063 4063 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475415675 15512608768 12434 33554432000 4194304 4196468 140722884271904 140286058720400 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4069] ppid=4063 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4069/stat : 4069 (java) S 4063 4063 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475415675 15512608768 12434 33554432000 4194304 4196468 140722884271904 140286057667344 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4070] ppid=4063 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4070/stat : 4070 (java) S 4063 4063 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475415675 15512608768 12434 33554432000 4194304 4196468 140722884271904 140286056614800 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4071] ppid=4063 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4071/stat : 4071 (java) S 4063 4063 1216 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475415676 15512608768 12434 33554432000 4194304 4196468 140722884271904 140285599824112 140286131743362 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4072] ppid=4063 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4072/stat : 4072 (java) S 4063 4063 1216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475415677 15512608768 12434 33554432000 4194304 4196468 140722884271904 140285598770336 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4073] ppid=4063 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4073/stat : 4073 (java) S 4063 4063 1216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475415677 15512608768 12434 33554432000 4194304 4196468 140722884271904 140285597717232 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4074] ppid=4063 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4074/stat : 4074 (java) S 4063 4063 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475415680 15512608768 12434 33554432000 4194304 4196468 140722884271904 140285596665808 140286131750811 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4075] ppid=4063 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4065/task/4075/stat : 4075 (java) S 4063 4063 1216 0 -1 1077944384 354 0 0 0 3 0 0 0 20 0 15 0 475415680 15512608768 12434 33554432000 4194304 4196468 140722884271904 140285595613936 140286131743362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4076] ppid=4063 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/4065/task/4076/stat : 4076 (java) R 4063 4063 1216 0 -1 4202560 563 0 0 0 5 0 0 0 20 0 15 0 475415680 15512608768 12434 33554432000 4194304 4196468 140722884271904 140285594551776 140286115118794 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4077] ppid=4063 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/4065/task/4077/stat : 4077 (java) S 4063 4063 1216 0 -1 1077944384 815 0 0 0 13 0 0 0 20 0 15 0 475415680 15512608768 12434 33554432000 4194304 4196468 140722884271904 140285593508336 140286131743362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4078] ppid=4063 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4078/stat : 4078 (java) S 4063 4063 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475415680 15512608768 12434 33554432000 4194304 4196468 140722884271904 140285592456032 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4079] ppid=4063 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4079/stat : 4079 (java) S 4063 4063 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475415680 15512608768 12434 33554432000 4194304 4196468 140722884271904 140285591403056 140286131743362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51188 KiB
[startup+0.702652 s]
/proc/loadavg: 7.96 8.05 5.49 9/238 4079
/proc/meminfo: memFree=10707032/32770624 swapFree=67001888/67108860
[pid=4063] ppid=4060 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4063/stat : 4063 (xcsp3-exec) S 4060 4063 1216 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475415674 115843072 363 33554432000 4194304 5098028 140724005235440 140724005233544 139895032119932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10391552 140724005241687 140724005241945 140724005241945 140724005244870 0
/proc/4063/statm: 28282 363 305 221 0 87 0
[pid=4065] ppid=4063 vsize=15151156 memory=94484 CPUtime=1.63 cores=0,2,4,6
/proc/4065/stat : 4065 (java) S 4063 4063 1216 0 -1 1077944320 14718 0 0 0 156 7 0 0 20 0 15 0 475415674 15514783744 23621 33554432000 4194304 4196468 140722884271904 140722884254448 140286131732215 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
/proc/4065/statm: 3787789 23621 3452 1 0 3748889 0
[pid=4065/tid=4066] ppid=4063 vsize=15151156 memory=2116 CPUtime=0.68 cores=0,2,4,6
/proc/4065/task/4066/stat : 4066 (java) R 4063 4063 1216 0 -1 4202560 9092 0 0 0 63 5 0 0 20 0 15 0 475415674 15514783744 23621 33554432000 4194304 4196468 140722884271904 140286135971232 140285731919215 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4067] ppid=4063 vsize=15151156 memory=29276 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4067/stat : 4067 (java) S 4063 4063 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475415675 15514783744 23621 33554432000 4194304 4196468 140722884271904 140286059772944 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4068] ppid=4063 vsize=15151156 memory=496 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4068/stat : 4068 (java) S 4063 4063 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475415675 15514783744 23621 33554432000 4194304 4196468 140722884271904 140286058720400 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4069] ppid=4063 vsize=15151156 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4069/stat : 4069 (java) S 4063 4063 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475415675 15514783744 23621 33554432000 4194304 4196468 140722884271904 140286057667344 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4070] ppid=4063 vsize=15151156 memory=928 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4070/stat : 4070 (java) S 4063 4063 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475415675 15514783744 23621 33554432000 4194304 4196468 140722884271904 140286056614800 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4071] ppid=4063 vsize=15151156 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4071/stat : 4071 (java) S 4063 4063 1216 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475415676 15514783744 23621 33554432000 4194304 4196468 140722884271904 140285599824112 140286131743362 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4072] ppid=4063 vsize=15151156 memory=920 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4072/stat : 4072 (java) S 4063 4063 1216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475415677 15514783744 23621 33554432000 4194304 4196468 140722884271904 140285598770336 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4073] ppid=4063 vsize=15151156 memory=3832 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4073/stat : 4073 (java) S 4063 4063 1216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475415677 15514783744 23621 33554432000 4194304 4196468 140722884271904 140285597717232 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4074] ppid=4063 vsize=15151156 memory=2708 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4074/stat : 4074 (java) S 4063 4063 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475415680 15514783744 23621 33554432000 4194304 4196468 140722884271904 140285596665808 140286131750811 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4075] ppid=4063 vsize=15151156 memory=2604 CPUtime=0.25 cores=0,2,4,6
/proc/4065/task/4075/stat : 4075 (java) R 4063 4063 1216 0 -1 4202560 1196 0 0 0 25 0 0 0 20 0 15 0 475415680 15514783744 23621 33554432000 4194304 4196468 140722884271904 140285595595648 140286111575809 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4076] ppid=4063 vsize=15151156 memory=1744 CPUtime=0.27 cores=0,2,4,6
/proc/4065/task/4076/stat : 4076 (java) R 4063 4063 1216 0 -1 4202560 1489 0 0 0 27 0 0 0 20 0 15 0 475415680 15514783744 23621 33554432000 4194304 4196468 140722884271904 140285594542408 140286109326992 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4077] ppid=4063 vsize=15151156 memory=780 CPUtime=0.4 cores=0,2,4,6
/proc/4065/task/4077/stat : 4077 (java) S 4063 4063 1216 0 -1 1077944384 1631 0 0 0 40 0 0 0 20 0 15 0 475415680 15514783744 23621 33554432000 4194304 4196468 140722884271904 140285593508336 140286131743362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4078] ppid=4063 vsize=15151156 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4078/stat : 4078 (java) S 4063 4063 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475415680 15514783744 23621 33554432000 4194304 4196468 140722884271904 140285592456032 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4079] ppid=4063 vsize=15151156 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4079/stat : 4079 (java) S 4063 4063 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475415680 15514783744 23621 33554432000 4194304 4196468 140722884271904 140285591403056 140286131743362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 95936 KiB
[startup+1.5096 s]
/proc/loadavg: 7.96 8.05 5.49 13/242 4083
/proc/meminfo: memFree=10621708/32770624 swapFree=67001888/67108860
[pid=4063] ppid=4060 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4063/stat : 4063 (xcsp3-exec) S 4060 4063 1216 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475415674 115843072 363 33554432000 4194304 5098028 140724005235440 140724005233544 139895032119932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10391552 140724005241687 140724005241945 140724005241945 140724005244870 0
/proc/4063/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/4065/stat : 4065 (java) S 4063 4063 1216 0 -1 1077944320 66880 0 0 0 231149 57 0 0 20 0 19 0 475415674 15787429888 129198 33554432000 4194304 4196468 140722884271904 140722884254448 140286131732215 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
/proc/4065/statm: 3854353 129198 3539 1 0 3815453 0
[pid=4065/tid=4066] ppid=4063 vsize=15417412 memory=516648 CPUtime=0.9 cores=0,2,4,6
/proc/4065/task/4066/stat : 4066 (java) S 4063 4063 1216 0 -1 1077944384 9178 0 0 0 84 6 0 0 20 0 19 0 475415674 15787429888 129198 33554432000 4194304 4196468 140722884271904 140286135972992 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4067] ppid=4063 vsize=15417412 memory=516648 CPUtime=0.98 cores=0,2,4,6
/proc/4065/task/4067/stat : 4067 (java) S 4063 4063 1216 0 -1 1077944384 2492 0 0 0 91 7 0 0 20 0 19 0 475415675 15787429888 129198 33554432000 4194304 4196468 140722884271904 140286059772944 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4068] ppid=4063 vsize=15417412 memory=516648 CPUtime=0.98 cores=0,2,4,6
/proc/4065/task/4068/stat : 4068 (java) S 4063 4063 1216 0 -1 1077944384 1992 0 0 0 90 8 0 0 20 0 19 0 475415675 15787429888 129198 33554432000 4194304 4196468 140722884271904 140286058720400 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4069] ppid=4063 vsize=15417412 memory=516792 CPUtime=0.99 cores=0,2,4,6
/proc/4065/task/4069/stat : 4069 (java) S 4063 4063 1216 0 -1 1077944384 3521 0 0 0 91 8 0 0 20 0 19 0 475415675 15787429888 129198 33554432000 4194304 4196468 140722884271904 140286057667344 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4070] ppid=4063 vsize=15417412 memory=516792 CPUtime=0.98 cores=0,2,4,6
/proc/4065/task/4070/stat : 4070 (java) S 4063 4063 1216 0 -1 1077944384 1990 0 0 0 90 8 0 0 20 0 19 0 475415675 15787429888 129198 33554432000 4194304 4196468 140722884271904 140286056614800 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4071] ppid=4063 vsize=15417412 memory=1452 CPUtime=0.48 cores=0,2,4,6
/proc/4065/task/4071/stat : 4071 (java) S 4063 4063 1216 0 -1 1077944384 6628 0 0 0 43 5 0 0 20 0 19 0 475415676 15787429888 129198 33554432000 4194304 4196468 140722884271904 140285599824112 140286131743362 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4072] ppid=4063 vsize=15417412 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4072/stat : 4072 (java) S 4063 4063 1216 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 475415677 15787429888 129198 33554432000 4194304 4196468 140722884271904 140285598770400 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4073] ppid=4063 vsize=15417412 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4073/stat : 4073 (java) S 4063 4063 1216 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 19 0 475415677 15787429888 129198 33554432000 4194304 4196468 140722884271904 140285597717248 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4074] ppid=4063 vsize=15417412 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4074/stat : 4074 (java) S 4063 4063 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475415680 15787429888 129198 33554432000 4194304 4196468 140722884271904 140285596665808 140286131750811 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4075] ppid=4063 vsize=15417412 memory=288230583166042426 CPUtime=1.91 cores=0,2,4,6
/proc/4065/task/4075/stat : 4075 (java) S 4063 4063 1216 0 -1 1077944384 11500 0 0 0 190 1 0 0 20 0 19 0 475415680 15787429888 129198 33554432000 4194304 4196468 140722884271904 140285595613936 140286131743362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4076] ppid=4063 vsize=15417412 memory=1452 CPUtime=1.95 cores=0,2,4,6
/proc/4065/task/4076/stat : 4076 (java) S 4063 4063 1216 0 -1 1077944384 9099 0 0 0 195 0 0 0 20 0 19 0 475415680 15787429888 129198 33554432000 4194304 4196468 140722884271904 140285594561392 140286131743362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4077] ppid=4063 vsize=15417412 memory=1452 CPUtime=0.66 cores=0,2,4,6
/proc/4065/task/4077/stat : 4077 (java) S 4063 4063 1216 0 -1 1077944384 5474 0 0 0 66 0 0 0 20 0 19 0 475415680 15787429888 129198 33554432000 4194304 4196468 140722884271904 140285593508336 140286131743362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4078] ppid=4063 vsize=15417412 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4078/stat : 4078 (java) S 4063 4063 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475415680 15787429888 129198 33554432000 4194304 4196468 140722884271904 140285592456032 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4079] ppid=4063 vsize=15417412 memory=1452 CPUtime=0.13 cores=0,2,4,6
/proc/4065/task/4079/stat : 4079 (java) S 4063 4063 1216 0 -1 1077944384 536 0 0 0 0 13 0 0 20 0 19 0 475415680 15787429888 129198 33554432000 4194304 4196468 140722884271904 140285591403056 140286131743362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4080] ppid=4063 vsize=15417412 memory=516648 CPUtime=575.83 cores=0,2,4,6
/proc/4065/task/4080/stat : 4080 (java) R 4063 4063 1216 0 -1 4202560 1717 0 0 0 57580 3 0 0 20 0 19 0 475415766 15787429888 129198 33554432000 4194304 4196468 140722884271904 140285582421304 140286113138532 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4081] ppid=4063 vsize=15417412 memory=1412 CPUtime=575.41 cores=0,2,4,6
/proc/4065/task/4081/stat : 4081 (java) R 4063 4063 1216 0 -1 4202560 5813 0 0 0 57538 3 0 0 20 0 19 0 475415766 15787429888 129198 33554432000 4194304 4196468 140722884271904 140285581369072 140285735995672 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4082] ppid=4063 vsize=15417412 memory=1452 CPUtime=575.67 cores=0,2,4,6
/proc/4065/task/4082/stat : 4082 (java) R 4063 4063 1216 0 -1 4202560 1164 0 0 0 57563 4 0 0 20 0 19 0 475415766 15787429888 129198 33554432000 4194304 4196468 140722884271904 140285580316288 140285733919051 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4083] ppid=4063 vsize=15417412 memory=1212 CPUtime=575.06 cores=0,2,4,6
/proc/4065/task/4083/stat : 4083 (java) R 4063 4063 1216 0 -1 4202560 4374 0 0 0 57502 4 0 0 20 0 19 0 475415766 15787429888 129198 33554432000 4194304 4196468 140722884271904 140285579267152 140285733919008 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
Current children cumulated CPU time: 2312.06 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 518244 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+634.702 s]
/proc/loadavg: 9.19 8.71 7.11 10/243 4489
/proc/meminfo: memFree=9891684/32770624 swapFree=67001888/67108860
[pid=4063] ppid=4060 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4063/stat : 4063 (xcsp3-exec) S 4060 4063 1216 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475415674 115843072 363 33554432000 4194304 5098028 140724005235440 140724005233544 139895032119932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10391552 140724005241687 140724005241945 140724005241945 140724005244870 0
/proc/4063/statm: 28282 363 305 221 0 87 0
[pid=4065] ppid=4063 vsize=15417412 memory=516816 CPUtime=2520.09 cores=0,2,4,6
/proc/4065/stat : 4065 (java) S 4063 4063 1216 0 -1 1077944320 67667 0 0 0 251950 59 0 0 20 0 19 0 475415674 15787429888 129204 33554432000 4194304 4196468 140722884271904 140722884254448 140286131732215 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
/proc/4065/statm: 3854353 129204 3539 1 0 3815453 0
[pid=4065/tid=4066] ppid=4063 vsize=15417412 memory=1452 CPUtime=0.9 cores=0,2,4,6
/proc/4065/task/4066/stat : 4066 (java) S 4063 4063 1216 0 -1 1077944384 9178 0 0 0 84 6 0 0 20 0 19 0 475415674 15787429888 129204 33554432000 4194304 4196468 140722884271904 140286135972992 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4067] ppid=4063 vsize=15417412 memory=516816 CPUtime=1.03 cores=0,2,4,6
/proc/4065/task/4067/stat : 4067 (java) S 4063 4063 1216 0 -1 1077944384 2505 0 0 0 96 7 0 0 20 0 19 0 475415675 15787429888 129204 33554432000 4194304 4196468 140722884271904 140286059772944 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4068] ppid=4063 vsize=15417412 memory=516816 CPUtime=1.04 cores=0,2,4,6
/proc/4065/task/4068/stat : 4068 (java) S 4063 4063 1216 0 -1 1077944384 2017 0 0 0 95 9 0 0 20 0 19 0 475415675 15787429888 129204 33554432000 4194304 4196468 140722884271904 140286058720400 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4069] ppid=4063 vsize=15417412 memory=516816 CPUtime=1.04 cores=0,2,4,6
/proc/4065/task/4069/stat : 4069 (java) S 4063 4063 1216 0 -1 1077944384 3655 0 0 0 96 8 0 0 20 0 19 0 475415675 15787429888 129204 33554432000 4194304 4196468 140722884271904 140286057667344 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4070] ppid=4063 vsize=15417412 memory=516816 CPUtime=1.03 cores=0,2,4,6
/proc/4065/task/4070/stat : 4070 (java) S 4063 4063 1216 0 -1 1077944384 2011 0 0 0 95 8 0 0 20 0 19 0 475415675 15787429888 129204 33554432000 4194304 4196468 140722884271904 140286056614800 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4071] ppid=4063 vsize=15417412 memory=1452 CPUtime=0.55 cores=0,2,4,6
/proc/4065/task/4071/stat : 4071 (java) S 4063 4063 1216 0 -1 1077944384 6859 0 0 0 49 6 0 0 20 0 19 0 475415676 15787429888 129204 33554432000 4194304 4196468 140722884271904 140285599824112 140286131743362 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4072] ppid=4063 vsize=15417412 memory=516816 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4072/stat : 4072 (java) S 4063 4063 1216 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 475415677 15787429888 129204 33554432000 4194304 4196468 140722884271904 140285598770400 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4073] ppid=4063 vsize=15417412 memory=516816 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4073/stat : 4073 (java) S 4063 4063 1216 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 19 0 475415677 15787429888 129204 33554432000 4194304 4196468 140722884271904 140285597717248 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4074] ppid=4063 vsize=15417412 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4074/stat : 4074 (java) S 4063 4063 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475415680 15787429888 129204 33554432000 4194304 4196468 140722884271904 140285596665808 140286131750811 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4075] ppid=4063 vsize=15417412 memory=1452 CPUtime=1.91 cores=0,2,4,6
/proc/4065/task/4075/stat : 4075 (java) S 4063 4063 1216 0 -1 1077944384 11500 0 0 0 190 1 0 0 20 0 19 0 475415680 15787429888 129204 33554432000 4194304 4196468 140722884271904 140285595613936 140286131743362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4076] ppid=4063 vsize=15417412 memory=0 CPUtime=1.95 cores=0,2,4,6
/proc/4065/task/4076/stat : 4076 (java) S 4063 4063 1216 0 -1 1077944384 9100 0 0 0 195 0 0 0 20 0 19 0 475415680 15787429888 129204 33554432000 4194304 4196468 140722884271904 140285594561392 140286131743362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4077] ppid=4063 vsize=15417412 memory=1452 CPUtime=0.66 cores=0,2,4,6
/proc/4065/task/4077/stat : 4077 (java) S 4063 4063 1216 0 -1 1077944384 5474 0 0 0 66 0 0 0 20 0 19 0 475415680 15787429888 129204 33554432000 4194304 4196468 140722884271904 140285593508336 140286131743362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4078] ppid=4063 vsize=15417412 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4078/stat : 4078 (java) S 4063 4063 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475415680 15787429888 129204 33554432000 4194304 4196468 140722884271904 140285592456032 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4079] ppid=4063 vsize=15417412 memory=1452 CPUtime=0.14 cores=0,2,4,6
/proc/4065/task/4079/stat : 4079 (java) S 4063 4063 1216 0 -1 1077944384 543 0 0 0 0 14 0 0 20 0 19 0 475415680 15787429888 129204 33554432000 4194304 4196468 140722884271904 140285591403056 140286131743362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4080] ppid=4063 vsize=15417412 memory=516816 CPUtime=627.75 cores=0,2,4,6
/proc/4065/task/4080/stat : 4080 (java) R 4063 4063 1216 0 -1 4202560 1812 0 0 0 62772 3 0 0 20 0 19 0 475415766 15787429888 129204 33554432000 4194304 4196468 140722884271904 140285582420656 140285736281216 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4081] ppid=4063 vsize=15417412 memory=1452 CPUtime=627.45 cores=0,2,4,6
/proc/4065/task/4081/stat : 4081 (java) R 4063 4063 1216 0 -1 4202560 5905 0 0 0 62741 4 0 0 20 0 19 0 475415766 15787429888 129204 33554432000 4194304 4196468 140722884271904 140285581369080 140285733919163 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4082] ppid=4063 vsize=15417412 memory=516816 CPUtime=627.54 cores=0,2,4,6
/proc/4065/task/4082/stat : 4082 (java) R 4063 4063 1216 0 -1 4202560 1209 0 0 0 62750 4 0 0 20 0 19 0 475415766 15787429888 129204 33554432000 4194304 4196468 140722884271904 140285580319392 140285736065005 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4083] ppid=4063 vsize=15417412 memory=516816 CPUtime=626.95 cores=0,2,4,6
/proc/4065/task/4083/stat : 4083 (java) R 4063 4063 1216 0 -1 4202560 4497 0 0 0 62691 4 0 0 20 0 19 0 475415766 15787429888 129204 33554432000 4194304 4196468 140722884271904 140285579264392 140285733919051 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 518268 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+634.733 s]
# the end of solver process 4063 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001126 s, system=0.001126 s
[startup+634.787 s]
# the end of solver process 4065 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.81 s, system=0.601152 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
[startup+634.702 s]
/proc/loadavg: 9.19 8.71 7.11 10/243 4489
/proc/meminfo: memFree=9891684/32770624 swapFree=67001888/67108860
[pid=4063] ppid=4060 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4063/stat : 4063 (xcsp3-exec) S 4060 4063 1216 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475415674 115843072 363 33554432000 4194304 5098028 140724005235440 140724005233544 139895032119932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10391552 140724005241687 140724005241945 140724005241945 140724005244870 0
/proc/4063/statm: 28282 363 305 221 0 87 0
[pid=4065] ppid=4063 vsize=15417412 memory=516816 CPUtime=2520.09 cores=0,2,4,6
/proc/4065/stat : 4065 (java) S 4063 4063 1216 0 -1 1077944320 67667 0 0 0 251950 59 0 0 20 0 19 0 475415674 15787429888 129204 33554432000 4194304 4196468 140722884271904 140722884254448 140286131732215 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
/proc/4065/statm: 3854353 129204 3539 1 0 3815453 0
[pid=4065/tid=4066] ppid=4063 vsize=15417412 memory=1452 CPUtime=0.9 cores=0,2,4,6
/proc/4065/task/4066/stat : 4066 (java) S 4063 4063 1216 0 -1 1077944384 9178 0 0 0 84 6 0 0 20 0 19 0 475415674 15787429888 129204 33554432000 4194304 4196468 140722884271904 140286135972992 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4067] ppid=4063 vsize=15417412 memory=516816 CPUtime=1.03 cores=0,2,4,6
/proc/4065/task/4067/stat : 4067 (java) S 4063 4063 1216 0 -1 1077944384 2505 0 0 0 96 7 0 0 20 0 19 0 475415675 15787429888 129204 33554432000 4194304 4196468 140722884271904 140286059772944 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4068] ppid=4063 vsize=15417412 memory=516816 CPUtime=1.04 cores=0,2,4,6
/proc/4065/task/4068/stat : 4068 (java) S 4063 4063 1216 0 -1 1077944384 2017 0 0 0 95 9 0 0 20 0 19 0 475415675 15787429888 129204 33554432000 4194304 4196468 140722884271904 140286058720400 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4069] ppid=4063 vsize=15417412 memory=516816 CPUtime=1.04 cores=0,2,4,6
/proc/4065/task/4069/stat : 4069 (java) S 4063 4063 1216 0 -1 1077944384 3655 0 0 0 96 8 0 0 20 0 19 0 475415675 15787429888 129204 33554432000 4194304 4196468 140722884271904 140286057667344 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4070] ppid=4063 vsize=15417412 memory=516816 CPUtime=1.03 cores=0,2,4,6
/proc/4065/task/4070/stat : 4070 (java) S 4063 4063 1216 0 -1 1077944384 2011 0 0 0 95 8 0 0 20 0 19 0 475415675 15787429888 129204 33554432000 4194304 4196468 140722884271904 140286056614800 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4071] ppid=4063 vsize=15417412 memory=1452 CPUtime=0.55 cores=0,2,4,6
/proc/4065/task/4071/stat : 4071 (java) S 4063 4063 1216 0 -1 1077944384 6859 0 0 0 49 6 0 0 20 0 19 0 475415676 15787429888 129204 33554432000 4194304 4196468 140722884271904 140285599824112 140286131743362 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4072] ppid=4063 vsize=15417412 memory=516816 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4072/stat : 4072 (java) S 4063 4063 1216 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 475415677 15787429888 129204 33554432000 4194304 4196468 140722884271904 140285598770400 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4073] ppid=4063 vsize=15417412 memory=516816 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4073/stat : 4073 (java) S 4063 4063 1216 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 19 0 475415677 15787429888 129204 33554432000 4194304 4196468 140722884271904 140285597717248 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4074] ppid=4063 vsize=15417412 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4074/stat : 4074 (java) S 4063 4063 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475415680 15787429888 129204 33554432000 4194304 4196468 140722884271904 140285596665808 140286131750811 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4075] ppid=4063 vsize=15417412 memory=1452 CPUtime=1.91 cores=0,2,4,6
/proc/4065/task/4075/stat : 4075 (java) S 4063 4063 1216 0 -1 1077944384 11500 0 0 0 190 1 0 0 20 0 19 0 475415680 15787429888 129204 33554432000 4194304 4196468 140722884271904 140285595613936 140286131743362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4076] ppid=4063 vsize=15417412 memory=0 CPUtime=1.95 cores=0,2,4,6
/proc/4065/task/4076/stat : 4076 (java) S 4063 4063 1216 0 -1 1077944384 9100 0 0 0 195 0 0 0 20 0 19 0 475415680 15787429888 129204 33554432000 4194304 4196468 140722884271904 140285594561392 140286131743362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4077] ppid=4063 vsize=15417412 memory=1452 CPUtime=0.66 cores=0,2,4,6
/proc/4065/task/4077/stat : 4077 (java) S 4063 4063 1216 0 -1 1077944384 5474 0 0 0 66 0 0 0 20 0 19 0 475415680 15787429888 129204 33554432000 4194304 4196468 140722884271904 140285593508336 140286131743362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4078] ppid=4063 vsize=15417412 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4065/task/4078/stat : 4078 (java) S 4063 4063 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475415680 15787429888 129204 33554432000 4194304 4196468 140722884271904 140285592456032 140286131742421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4079] ppid=4063 vsize=15417412 memory=1452 CPUtime=0.14 cores=0,2,4,6
/proc/4065/task/4079/stat : 4079 (java) S 4063 4063 1216 0 -1 1077944384 543 0 0 0 0 14 0 0 20 0 19 0 475415680 15787429888 129204 33554432000 4194304 4196468 140722884271904 140285591403056 140286131743362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4080] ppid=4063 vsize=15417412 memory=516816 CPUtime=627.75 cores=0,2,4,6
/proc/4065/task/4080/stat : 4080 (java) R 4063 4063 1216 0 -1 4202560 1812 0 0 0 62772 3 0 0 20 0 19 0 475415766 15787429888 129204 33554432000 4194304 4196468 140722884271904 140285582420656 140285736281216 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4081] ppid=4063 vsize=15417412 memory=1452 CPUtime=627.45 cores=0,2,4,6
/proc/4065/task/4081/stat : 4081 (java) R 4063 4063 1216 0 -1 4202560 5905 0 0 0 62741 4 0 0 20 0 19 0 475415766 15787429888 129204 33554432000 4194304 4196468 140722884271904 140285581369080 140285733919163 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4082] ppid=4063 vsize=15417412 memory=516816 CPUtime=627.54 cores=0,2,4,6
/proc/4065/task/4082/stat : 4082 (java) R 4063 4063 1216 0 -1 4202560 1209 0 0 0 62750 4 0 0 20 0 19 0 475415766 15787429888 129204 33554432000 4194304 4196468 140722884271904 140285580319392 140285736065005 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
[pid=4065/tid=4083] ppid=4063 vsize=15417412 memory=516816 CPUtime=626.95 cores=0,2,4,6
/proc/4065/task/4083/stat : 4083 (java) R 4063 4063 1216 0 -1 4202560 4497 0 0 0 62691 4 0 0 20 0 19 0 475415766 15787429888 129204 33554432000 4194304 4196468 140722884271904 140285579264392 140285733919051 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20787200 140722884277211 140722884277386 140722884277386 140722884280271 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 518268 KiB
Child status: 143
Real time (s): 634.787
CPU time (s): 2520.41
CPU user time (s): 2519.81
CPU system time (s): 0.601152
CPU usage (%): 397.048
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 662764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.81
system time used= 0.601152
maximum resident set size= 702504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68819
page faults= 0
swaps= 0
block input operations= 0
block output operations= 824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36235
involuntary context switches= 44080
# summary of solver processes directly reported to runsolver:
# pid: 4063,4065
# total CPU time (s): 2520.41
# total CPU user time (s): 2519.81
# total CPU system time (s): 0.601152
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.94307 second user time and 7.23011 second system time
The end