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 (15094 MiB free)
memory of node 1: 16384 MiB (15507 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282275-1503158872/watcher-4282275-1503158872 -o /tmp/evaluation-result-4282275-1503158872/solver-4282275-1503158872 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503095854-18172 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1381390363 HOME/instance-4282275-1503158872.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=32086, runsolver pid=32083
[startup+0.103582 s]*
/proc/loadavg: 2.04 2.03 2.02 3/205 32095
/proc/meminfo: memFree=31330000/32770624 swapFree=67108860/67108860
[pid=32086] ppid=32083 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/32086/stat : 32086 (xcsp3-exec) S 32083 32086 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14294291 9740288 344 18446744073709551615 4194304 5098028 140728057904640 140728057902744 140077491151484 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 9342976 140728057905529 140728057905734 140728057905734 140728057909227 0
/proc/32086/statm: 2378 344 289 221 0 87 0
[pid=32088] ppid=32086 vsize=13574484 memory=18720 CPUtime=0.02 cores=1,3,5,7
/proc/32088/stat : 32088 (java) S 32086 32086 18108 0 -1 1077944320 4028 0 0 0 2 0 0 0 20 0 9 0 14294298 13900271616 4680 18446744073709551615 4194304 4196468 140721793867568 140721793850112 139842096922359 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
/proc/32088/statm: 3393621 4680 2083 1 0 3383118 0
[pid=32088/tid=32089] ppid=32086 vsize=13574484 memory=-8713483618642457695 CPUtime=0.02 cores=1,3,5,7
/proc/32088/task/32089/stat : 32089 (java) R 32086 32086 18108 0 -1 4202560 2731 0 0 0 2 0 0 0 20 0 9 0 14294299 13900271616 4680 18446744073709551615 4194304 4196468 140721793867568 139842101158344 139842096944285 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32090] ppid=32086 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32090/stat : 32090 (java) S 32086 32086 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 14294299 13900271616 4680 18446744073709551615 4194304 4196468 140721793867568 139842057821328 139842096932565 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32091] ppid=32086 vsize=13574484 memory=140690013894272 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32091/stat : 32091 (java) S 32086 32086 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 14294299 13900271616 4680 18446744073709551615 4194304 4196468 140721793867568 139842056768528 139842096932565 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32092] ppid=32086 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32092/stat : 32092 (java) S 32086 32086 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 14294299 13900271616 4680 18446744073709551615 4194304 4196468 140721793867568 139841694526352 139842096932565 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32093] ppid=32086 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32093/stat : 32093 (java) S 32086 32086 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 14294299 13900271616 4680 18446744073709551615 4194304 4196468 140721793867568 139841693473552 139842096932565 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32094] ppid=32086 vsize=13574484 memory=140690013894272 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32094/stat : 32094 (java) S 32086 32086 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 14294301 13900271616 4680 18446744073709551615 4194304 4196468 140721793867568 139841575405936 139842096933506 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32095] ppid=32086 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32095/stat : 32095 (java) S 32086 32086 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 14294301 13900271616 4680 18446744073709551615 4194304 4196468 140721793867568 139841574351904 139842096932565 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32096] ppid=32086 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32096/stat : 32096 (java) S 32086 32086 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 14294301 13900271616 4680 18446744073709551615 4194304 4196468 140721793867568 139841573299120 139842096932565 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 20096 KiB
[startup+0.210837 s]*
/proc/loadavg: 2.04 2.03 2.02 4/212 32102
/proc/meminfo: memFree=31320508/32770624 swapFree=67108860/67108860
[pid=32086] ppid=32083 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/32086/stat : 32086 (xcsp3-exec) S 32083 32086 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14294291 9740288 344 18446744073709551615 4194304 5098028 140728057904640 140728057902744 140077491151484 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 9342976 140728057905529 140728057905734 140728057905734 140728057909227 0
/proc/32086/statm: 2378 344 289 221 0 87 0
[pid=32088] ppid=32086 vsize=13974352 memory=28276 CPUtime=0.13 cores=1,3,5,7
/proc/32088/stat : 32088 (java) S 32086 32086 18108 0 -1 1077944320 5470 0 0 0 13 0 0 0 20 0 15 0 14294298 14309736448 7069 18446744073709551615 4194304 4196468 140721793867568 140721793850112 139842096922359 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
/proc/32088/statm: 3493588 7069 2872 1 0 3482964 0
[pid=32088/tid=32089] ppid=32086 vsize=13974352 memory=-6871798056524144002 CPUtime=0.09 cores=1,3,5,7
/proc/32088/task/32089/stat : 32089 (java) R 32086 32086 18108 0 -1 4202560 3408 0 0 0 9 0 0 0 20 0 15 0 14294299 14309736448 7069 18446744073709551615 4194304 4196468 140721793867568 139842101157304 139841736167380 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32090] ppid=32086 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32090/stat : 32090 (java) S 32086 32086 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14294299 14309736448 7069 18446744073709551615 4194304 4196468 140721793867568 139842057821328 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32091] ppid=32086 vsize=13974352 memory=140690013894272 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32091/stat : 32091 (java) S 32086 32086 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14294299 14309736448 7069 18446744073709551615 4194304 4196468 140721793867568 139842056768528 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32092] ppid=32086 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32092/stat : 32092 (java) S 32086 32086 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14294299 14309736448 7069 18446744073709551615 4194304 4196468 140721793867568 139841694526352 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32093] ppid=32086 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32093/stat : 32093 (java) S 32086 32086 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14294299 14309736448 7069 18446744073709551615 4194304 4196468 140721793867568 139841693473552 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32094] ppid=32086 vsize=13974352 memory=140690013894272 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32094/stat : 32094 (java) S 32086 32086 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14294301 14309736448 7069 18446744073709551615 4194304 4196468 140721793867568 139841575405936 139842096933506 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32095] ppid=32086 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32095/stat : 32095 (java) S 32086 32086 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14294301 14309736448 7069 18446744073709551615 4194304 4196468 140721793867568 139841574351904 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32096] ppid=32086 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32096/stat : 32096 (java) S 32086 32086 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14294301 14309736448 7069 18446744073709551615 4194304 4196468 140721793867568 139841573299056 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32097] ppid=32086 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32097/stat : 32097 (java) S 32086 32086 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14294304 14309736448 7069 18446744073709551615 4194304 4196468 140721793867568 139841572247376 139842096940955 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32098] ppid=32086 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32098/stat : 32098 (java) S 32086 32086 18108 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 14294304 14309736448 7069 18446744073709551615 4194304 4196468 140721793867568 139841571195760 139842096933506 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32099] ppid=32086 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32099/stat : 32099 (java) S 32086 32086 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14294304 14309736448 7069 18446744073709551615 4194304 4196468 140721793867568 139841570143056 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32100] ppid=32086 vsize=13974352 memory=140690013894272 CPUtime=0.02 cores=1,3,5,7
/proc/32088/task/32100/stat : 32100 (java) R 32086 32086 18108 0 -1 4202560 330 0 0 0 2 0 0 0 20 0 15 0 14294304 14309736448 7069 18446744073709551615 4194304 4196468 140721793867568 139841569090160 139842096934294 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32101] ppid=32086 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32101/stat : 32101 (java) S 32086 32086 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14294304 14309736448 7069 18446744073709551615 4194304 4196468 140721793867568 139841568037600 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32102] ppid=32086 vsize=13974352 memory=140690013894272 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32102/stat : 32102 (java) S 32086 32086 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14294307 14309736448 7069 18446744073709551615 4194304 4196468 140721793867568 139841566984880 139842096933506 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29652 KiB
[startup+0.310411 s]*
/proc/loadavg: 2.04 2.03 2.02 4/212 32102
/proc/meminfo: memFree=31307000/32770624 swapFree=67108860/67108860
[pid=32086] ppid=32083 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/32086/stat : 32086 (xcsp3-exec) S 32083 32086 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14294291 9740288 344 18446744073709551615 4194304 5098028 140728057904640 140728057902744 140077491151484 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 9342976 140728057905529 140728057905734 140728057905734 140728057909227 0
/proc/32086/statm: 2378 344 289 221 0 87 0
[pid=32088] ppid=32086 vsize=13978608 memory=40192 CPUtime=0.33 cores=1,3,5,7
/proc/32088/stat : 32088 (java) S 32086 32086 18108 0 -1 1077944320 9276 0 0 0 31 2 0 0 20 0 15 0 14294298 14314094592 10048 18446744073709551615 4194304 4196468 140721793867568 140721793850112 139842096922359 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
/proc/32088/statm: 3494652 10048 3035 1 0 3482964 0
[pid=32088/tid=32089] ppid=32086 vsize=13978608 memory=-8774313645642428999 CPUtime=0.19 cores=1,3,5,7
/proc/32088/task/32089/stat : 32089 (java) R 32086 32086 18108 0 -1 4202560 6378 0 0 0 18 1 0 0 20 0 15 0 14294299 14314094592 10048 18446744073709551615 4194304 4196468 140721793867568 139842101143352 139842081002846 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32090] ppid=32086 vsize=13978608 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32090/stat : 32090 (java) S 32086 32086 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14294299 14314094592 10048 18446744073709551615 4194304 4196468 140721793867568 139842057821328 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32091] ppid=32086 vsize=13978608 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32091/stat : 32091 (java) S 32086 32086 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14294299 14314094592 10048 18446744073709551615 4194304 4196468 140721793867568 139842056768528 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32092] ppid=32086 vsize=13978608 memory=-7305533901252758645 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32092/stat : 32092 (java) S 32086 32086 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14294299 14314094592 10048 18446744073709551615 4194304 4196468 140721793867568 139841694526352 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32093] ppid=32086 vsize=13978608 memory=8248408006974860141 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32093/stat : 32093 (java) S 32086 32086 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14294299 14314094592 10048 18446744073709551615 4194304 4196468 140721793867568 139841693473552 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32094] ppid=32086 vsize=13978608 memory=140690013901265 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32094/stat : 32094 (java) S 32086 32086 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14294301 14314094592 10048 18446744073709551615 4194304 4196468 140721793867568 139841575405936 139842096933506 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32095] ppid=32086 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32095/stat : 32095 (java) S 32086 32086 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14294301 14314094592 10048 18446744073709551615 4194304 4196468 140721793867568 139841574351904 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32096] ppid=32086 vsize=13978608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32096/stat : 32096 (java) S 32086 32086 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14294301 14314094592 10048 18446744073709551615 4194304 4196468 140721793867568 139841573299056 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32097] ppid=32086 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32097/stat : 32097 (java) S 32086 32086 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14294304 14314094592 10048 18446744073709551615 4194304 4196468 140721793867568 139841572247376 139842096940955 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32098] ppid=32086 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/32088/task/32098/stat : 32098 (java) S 32086 32086 18108 0 -1 1077944384 518 0 0 0 2 0 0 0 20 0 15 0 14294304 14314094592 10048 18446744073709551615 4194304 4196468 140721793867568 139841571195760 139842096933506 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32099] ppid=32086 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/32088/task/32099/stat : 32099 (java) S 32086 32086 18108 0 -1 1077944384 347 0 0 0 2 0 0 0 20 0 15 0 14294304 14314094592 10048 18446744073709551615 4194304 4196468 140721793867568 139841570142960 139842096933506 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32100] ppid=32086 vsize=13978608 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32088/task/32100/stat : 32100 (java) S 32086 32086 18108 0 -1 1077944384 730 0 0 0 7 0 0 0 20 0 15 0 14294304 14314094592 10048 18446744073709551615 4194304 4196468 140721793867568 139841569090160 139842096933506 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32101] ppid=32086 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32101/stat : 32101 (java) S 32086 32086 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14294304 14314094592 10048 18446744073709551615 4194304 4196468 140721793867568 139841568037600 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32102] ppid=32086 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32102/stat : 32102 (java) S 32086 32086 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14294307 14314094592 10048 18446744073709551615 4194304 4196468 140721793867568 139841566984880 139842096933506 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41568 KiB
[startup+0.701463 s]
/proc/loadavg: 2.04 2.03 2.02 3/212 32102
/proc/meminfo: memFree=31295192/32770624 swapFree=67108860/67108860
[pid=32086] ppid=32083 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/32086/stat : 32086 (xcsp3-exec) S 32083 32086 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14294291 9740288 344 18446744073709551615 4194304 5098028 140728057904640 140728057902744 140077491151484 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 9342976 140728057905529 140728057905734 140728057905734 140728057909227 0
/proc/32086/statm: 2378 344 289 221 0 87 0
[pid=32088] ppid=32086 vsize=13980732 memory=65128 CPUtime=1.32 cores=1,3,5,7
/proc/32088/stat : 32088 (java) S 32086 32086 18108 0 -1 1077944320 13454 0 0 0 128 4 0 0 20 0 15 0 14294298 14316269568 16282 18446744073709551615 4194304 4196468 140721793867568 140721793850112 139842096922359 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
/proc/32088/statm: 3495183 16282 3182 1 0 3483476 0
[pid=32088/tid=32089] ppid=32086 vsize=13980732 memory=7165352523810945333 CPUtime=0.57 cores=1,3,5,7
/proc/32088/task/32089/stat : 32089 (java) R 32086 32086 18108 0 -1 4202560 8460 0 0 0 54 3 0 0 20 0 15 0 14294299 14316269568 16282 18446744073709551615 4194304 4196468 140721793867568 139842101159168 139841736306144 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32090] ppid=32086 vsize=13980732 memory=5788058341903188065 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32090/stat : 32090 (java) S 32086 32086 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14294299 14316269568 16282 18446744073709551615 4194304 4196468 140721793867568 139842057821328 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32091] ppid=32086 vsize=13980732 memory=5865491479076426066 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32091/stat : 32091 (java) S 32086 32086 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14294299 14316269568 16282 18446744073709551615 4194304 4196468 140721793867568 139842056768528 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32092] ppid=32086 vsize=13980732 memory=-7812477184716565654 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32092/stat : 32092 (java) S 32086 32086 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14294299 14316269568 16282 18446744073709551615 4194304 4196468 140721793867568 139841694526352 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32093] ppid=32086 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32093/stat : 32093 (java) S 32086 32086 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14294299 14316269568 16282 18446744073709551615 4194304 4196468 140721793867568 139841693473552 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32094] ppid=32086 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32094/stat : 32094 (java) S 32086 32086 18108 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 14294301 14316269568 16282 18446744073709551615 4194304 4196468 140721793867568 139841575405936 139842096933506 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32095] ppid=32086 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32095/stat : 32095 (java) S 32086 32086 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14294301 14316269568 16282 18446744073709551615 4194304 4196468 140721793867568 139841574351904 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32096] ppid=32086 vsize=13980732 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32096/stat : 32096 (java) S 32086 32086 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14294301 14316269568 16282 18446744073709551615 4194304 4196468 140721793867568 139841573299056 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32097] ppid=32086 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32097/stat : 32097 (java) S 32086 32086 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14294304 14316269568 16282 18446744073709551615 4194304 4196468 140721793867568 139841572247376 139842096940955 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32098] ppid=32086 vsize=13980732 memory=140689908179568 CPUtime=0.2 cores=1,3,5,7
/proc/32088/task/32098/stat : 32098 (java) R 32086 32086 18108 0 -1 4202560 1183 0 0 0 20 0 0 0 20 0 15 0 14294304 14316269568 16282 18446744073709551615 4194304 4196468 140721793867568 139841571181984 139842074939351 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32099] ppid=32086 vsize=13980732 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/32088/task/32099/stat : 32099 (java) R 32086 32086 18108 0 -1 4202560 1115 0 0 0 23 0 0 0 20 0 15 0 14294304 14316269568 16282 18446744073709551615 4194304 4196468 140721793867568 139841570130096 139842096943706 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32100] ppid=32086 vsize=13980732 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/32088/task/32100/stat : 32100 (java) R 32086 32086 18108 0 -1 4202560 1392 0 0 0 28 0 0 0 20 0 15 0 14294304 14316269568 16282 18446744073709551615 4194304 4196468 140721793867568 139841569085232 139842096934294 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32101] ppid=32086 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32101/stat : 32101 (java) S 32086 32086 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14294304 14316269568 16282 18446744073709551615 4194304 4196468 140721793867568 139841568037600 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32102] ppid=32086 vsize=13980732 memory=7809523229951467572 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32102/stat : 32102 (java) S 32086 32086 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14294307 14316269568 16282 18446744073709551615 4194304 4196468 140721793867568 139841566984880 139842096933506 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
Current children cumulated CPU time: 1.32 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 66504 KiB
[startup+1.50084 s]
/proc/loadavg: 2.28 2.08 2.04 6/212 32102
/proc/meminfo: memFree=31269660/32770624 swapFree=67108860/67108860
[pid=32086] ppid=32083 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/32086/stat : 32086 (xcsp3-exec) S 32083 32086 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14294291 9740288 344 18446744073709551615 4194304 5098028 140728057904640 140728057902744 140077491151484 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 9342976 140728057905529 140728057905734 140728057905734 140728057909227 0
/proc/32086/statm: 2378 344 289 221 0 87 0
[pid=32088] ppid=32086 vsize=13980732 memory=81952 CPUtime=3.76 cores=1,3,5,7
/proc/32088/stat : 32088 (java) S 32086 32086 18108 0 -1 1077944320 22764 0 0 0 371 5 0 0 20 0 15 0 14294298 14316269568 20488 18446744073709551615 4194304 4196468 140721793867568 140721793850112 139842096922359 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
/proc/32088/statm: 3495183 20488 3198 1 0 3483476 0
[pid=32088/tid=32089] ppid=32086 vsize=13980732 memory=25959 CPUtime=1.37 cores=1,3,5,7
/proc/32088/task/32089/stat : 32089 (java) R 32086 32086 18108 0 -1 4202560 9203 0 0 0 134 3 0 0 20 0 15 0 14294299 14316269568 20488 18446744073709551615 4194304 4196468 140721793867568 139842101161096 139841739264179 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32090] ppid=32086 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32090/stat : 32090 (java) S 32086 32086 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14294299 14316269568 20488 18446744073709551615 4194304 4196468 140721793867568 139842057821328 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32091] ppid=32086 vsize=13980732 memory=-3253322038155611931 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32091/stat : 32091 (java) S 32086 32086 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14294299 14316269568 20488 18446744073709551615 4194304 4196468 140721793867568 139842056768528 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32092] ppid=32086 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32092/stat : 32092 (java) S 32086 32086 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14294299 14316269568 20488 18446744073709551615 4194304 4196468 140721793867568 139841694526352 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32093] ppid=32086 vsize=13980732 memory=140689908171161 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/32086/stat : 32086 (xcsp3-exec) S 32083 32086 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14294291 9740288 344 18446744073709551615 4194304 5098028 140728057904640 140728057902744 140077491151484 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 9342976 140728057905529 140728057905734 140728057905734 140728057909227 0
/proc/32086/statm: 2378 344 289 221 0 87 0
[pid=32088] ppid=32086 vsize=13980732 memory=200544 CPUtime=302.97 cores=1,3,5,7
/proc/32088/stat : 32088 (java) S 32086 32086 18108 0 -1 1077944320 52095 0 0 0 30284 13 0 0 20 0 15 0 14294298 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 140721793850112 139842096922359 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
/proc/32088/statm: 3495183 50136 3238 1 0 3483476 0
[pid=32088/tid=32089] ppid=32086 vsize=13980732 memory=200544 CPUtime=299.01 cores=1,3,5,7
/proc/32088/task/32089/stat : 32089 (java) R 32086 32086 18108 0 -1 4202560 13761 0 0 0 29896 5 0 0 20 0 15 0 14294299 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139842101158912 139841740392701 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32090] ppid=32086 vsize=13980732 memory=1200 CPUtime=0.02 cores=1,3,5,7
/proc/32088/task/32090/stat : 32090 (java) S 32086 32086 18108 0 -1 1077944384 755 0 0 0 2 0 0 0 20 0 15 0 14294299 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139842057821328 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32091] ppid=32086 vsize=13980732 memory=-8774313645642428999 CPUtime=0.02 cores=1,3,5,7
/proc/32088/task/32091/stat : 32091 (java) S 32086 32086 18108 0 -1 1077944384 868 0 0 0 2 0 0 0 20 0 15 0 14294299 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139842056768528 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32092] ppid=32086 vsize=13980732 memory=200544 CPUtime=0.02 cores=1,3,5,7
/proc/32088/task/32092/stat : 32092 (java) S 32086 32086 18108 0 -1 1077944384 701 0 0 0 2 0 0 0 20 0 15 0 14294299 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841694526352 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32093] ppid=32086 vsize=13980732 memory=1292 CPUtime=0.02 cores=1,3,5,7
/proc/32088/task/32093/stat : 32093 (java) S 32086 32086 18108 0 -1 1077944384 727 0 0 0 2 0 0 0 20 0 15 0 14294299 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841693473552 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32094] ppid=32086 vsize=13980732 memory=2436 CPUtime=0.01 cores=1,3,5,7
/proc/32088/task/32094/stat : 32094 (java) S 32086 32086 18108 0 -1 1077944384 1047 0 0 0 1 0 0 0 20 0 15 0 14294301 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841575405936 139842096933506 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32095] ppid=32086 vsize=13980732 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32095/stat : 32095 (java) S 32086 32086 18108 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 14294301 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841574351904 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32096] ppid=32086 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32096/stat : 32096 (java) S 32086 32086 18108 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 14294301 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841573299056 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32097] ppid=32086 vsize=13980732 memory=200544 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32097/stat : 32097 (java) S 32086 32086 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14294304 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841572247376 139842096940955 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32098] ppid=32086 vsize=13980732 memory=3184097920075976993 CPUtime=1.71 cores=1,3,5,7
/proc/32088/task/32098/stat : 32098 (java) S 32086 32086 18108 0 -1 1077944384 12268 0 0 0 170 1 0 0 20 0 15 0 14294304 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841571195760 139842096933506 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32099] ppid=32086 vsize=13980732 memory=3184097920075974785 CPUtime=1.59 cores=1,3,5,7
/proc/32088/task/32099/stat : 32099 (java) S 32086 32086 18108 0 -1 1077944384 12632 0 0 0 158 1 0 0 20 0 15 0 14294304 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841570142960 139842096933506 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32100] ppid=32086 vsize=13980732 memory=3472328296227684321 CPUtime=0.44 cores=1,3,5,7
/proc/32088/task/32100/stat : 32100 (java) S 32086 32086 18108 0 -1 1077944384 7326 0 0 0 43 1 0 0 20 0 15 0 14294304 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841569090160 139842096933506 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32101] ppid=32086 vsize=13980732 memory=11596 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32101/stat : 32101 (java) S 32086 32086 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14294304 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841568037600 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32102] ppid=32086 vsize=13980732 memory=1292 CPUtime=0.05 cores=1,3,5,7
/proc/32088/task/32102/stat : 32102 (java) S 32086 32086 18108 0 -1 1077944384 627 0 0 0 2 3 0 0 20 0 15 0 14294307 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841566984880 139842096933506 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
Current children cumulated CPU time: 302.97 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 201920 KiB
[startup+300.801 s]
/proc/loadavg: 1.93 1.99 2.01 3/211 32113
/proc/meminfo: memFree=31129004/32770624 swapFree=67108860/67108860
[pid=32086] ppid=32083 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/32086/stat : 32086 (xcsp3-exec) S 32083 32086 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14294291 9740288 344 18446744073709551615 4194304 5098028 140728057904640 140728057902744 140077491151484 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 9342976 140728057905529 140728057905734 140728057905734 140728057909227 0
/proc/32086/statm: 2378 344 289 221 0 87 0
[pid=32088] ppid=32086 vsize=13980732 memory=200544 CPUtime=304.57 cores=1,3,5,7
/proc/32088/stat : 32088 (java) S 32086 32086 18108 0 -1 1077944320 52097 0 0 0 30444 13 0 0 20 0 15 0 14294298 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 140721793850112 139842096922359 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
/proc/32088/statm: 3495183 50136 3238 1 0 3483476 0
[pid=32088/tid=32089] ppid=32086 vsize=13980732 memory=200512 CPUtime=300.61 cores=1,3,5,7
/proc/32088/task/32089/stat : 32089 (java) R 32086 32086 18108 0 -1 4202560 13761 0 0 0 30056 5 0 0 20 0 15 0 14294299 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139842101158912 139841740169094 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32090] ppid=32086 vsize=13980732 memory=4128 CPUtime=0.02 cores=1,3,5,7
/proc/32088/task/32090/stat : 32090 (java) S 32086 32086 18108 0 -1 1077944384 755 0 0 0 2 0 0 0 20 0 15 0 14294299 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139842057821328 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32091] ppid=32086 vsize=13980732 memory=302022848351043610 CPUtime=0.02 cores=1,3,5,7
/proc/32088/task/32091/stat : 32091 (java) S 32086 32086 18108 0 -1 1077944384 868 0 0 0 2 0 0 0 20 0 15 0 14294299 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139842056768528 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32092] ppid=32086 vsize=13980732 memory=207180 CPUtime=0.02 cores=1,3,5,7
/proc/32088/task/32092/stat : 32092 (java) S 32086 32086 18108 0 -1 1077944384 701 0 0 0 2 0 0 0 20 0 15 0 14294299 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841694526352 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32093] ppid=32086 vsize=13980732 memory=1376 CPUtime=0.02 cores=1,3,5,7
/proc/32088/task/32093/stat : 32093 (java) S 32086 32086 18108 0 -1 1077944384 727 0 0 0 2 0 0 0 20 0 15 0 14294299 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841693473552 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32094] ppid=32086 vsize=13980732 memory=207180 CPUtime=0.01 cores=1,3,5,7
/proc/32088/task/32094/stat : 32094 (java) S 32086 32086 18108 0 -1 1077944384 1047 0 0 0 1 0 0 0 20 0 15 0 14294301 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841575405936 139842096933506 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32095] ppid=32086 vsize=13980732 memory=11596 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32095/stat : 32095 (java) S 32086 32086 18108 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 14294301 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841574351904 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32096] ppid=32086 vsize=13980732 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32096/stat : 32096 (java) S 32086 32086 18108 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 14294301 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841573299056 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32097] ppid=32086 vsize=13980732 memory=2436 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32097/stat : 32097 (java) S 32086 32086 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14294304 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841572247376 139842096940955 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32098] ppid=32086 vsize=13980732 memory=-8774313645642428999 CPUtime=1.71 cores=1,3,5,7
/proc/32088/task/32098/stat : 32098 (java) S 32086 32086 18108 0 -1 1077944384 12268 0 0 0 170 1 0 0 20 0 15 0 14294304 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841571195760 139842096933506 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32099] ppid=32086 vsize=13980732 memory=1376 CPUtime=1.59 cores=1,3,5,7
/proc/32088/task/32099/stat : 32099 (java) S 32086 32086 18108 0 -1 1077944384 12632 0 0 0 158 1 0 0 20 0 15 0 14294304 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841570142960 139842096933506 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32100] ppid=32086 vsize=13980732 memory=207180 CPUtime=0.44 cores=1,3,5,7
/proc/32088/task/32100/stat : 32100 (java) S 32086 32086 18108 0 -1 1077944384 7326 0 0 0 43 1 0 0 20 0 15 0 14294304 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841569090160 139842096933506 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32101] ppid=32086 vsize=13980732 memory=2436 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32101/stat : 32101 (java) S 32086 32086 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14294304 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841568037600 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32102] ppid=32086 vsize=13980732 memory=-3622645143214314312 CPUtime=0.05 cores=1,3,5,7
/proc/32088/task/32102/stat : 32102 (java) S 32086 32086 18108 0 -1 1077944384 629 0 0 0 2 3 0 0 20 0 15 0 14294307 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841566984880 139842096933506 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
Current children cumulated CPU time: 304.57 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 201920 KiB
[startup+301.601 s]
/proc/loadavg: 1.94 1.99 2.01 4/211 32114
/proc/meminfo: memFree=31125664/32770624 swapFree=67108860/67108860
[pid=32086] ppid=32083 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/32086/stat : 32086 (xcsp3-exec) S 32083 32086 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14294291 9740288 344 18446744073709551615 4194304 5098028 140728057904640 140728057902744 140077491151484 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 9342976 140728057905529 140728057905734 140728057905734 140728057909227 0
/proc/32086/statm: 2378 344 289 221 0 87 0
[pid=32088] ppid=32086 vsize=13980732 memory=200544 CPUtime=305.37 cores=1,3,5,7
/proc/32088/stat : 32088 (java) S 32086 32086 18108 0 -1 1077944320 52097 0 0 0 30524 13 0 0 20 0 15 0 14294298 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 140721793850112 139842096922359 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
/proc/32088/statm: 3495183 50136 3238 1 0 3483476 0
[pid=32088/tid=32089] ppid=32086 vsize=13980732 memory=4128 CPUtime=301.41 cores=1,3,5,7
/proc/32088/task/32089/stat : 32089 (java) R 32086 32086 18108 0 -1 4202560 13761 0 0 0 30136 5 0 0 20 0 15 0 14294299 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139842101158912 139841741518754 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32090] ppid=32086 vsize=13980732 memory=11596 CPUtime=0.02 cores=1,3,5,7
/proc/32088/task/32090/stat : 32090 (java) S 32086 32086 18108 0 -1 1077944384 755 0 0 0 2 0 0 0 20 0 15 0 14294299 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139842057821328 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32091] ppid=32086 vsize=13980732 memory=1292 CPUtime=0.02 cores=1,3,5,7
/proc/32088/task/32091/stat : 32091 (java) S 32086 32086 18108 0 -1 1077944384 868 0 0 0 2 0 0 0 20 0 15 0 14294299 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139842056768528 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32092] ppid=32086 vsize=13980732 memory=-3622645143214314312 CPUtime=0.02 cores=1,3,5,7
/proc/32088/task/32092/stat : 32092 (java) S 32086 32086 18108 0 -1 1077944384 701 0 0 0 2 0 0 0 20 0 15 0 14294299 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841694526352 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32093] ppid=32086 vsize=13980732 memory=5408 CPUtime=0.02 cores=1,3,5,7
/proc/32088/task/32093/stat : 32093 (java) S 32086 32086 18108 0 -1 1077944384 727 0 0 0 2 0 0 0 20 0 15 0 14294299 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841693473552 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32094] ppid=32086 vsize=13980732 memory=8676 CPUtime=0.01 cores=1,3,5,7
/proc/32088/task/32094/stat : 32094 (java) S 32086 32086 18108 0 -1 1077944384 1047 0 0 0 1 0 0 0 20 0 15 0 14294301 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841575405936 139842096933506 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32095] ppid=32086 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32095/stat : 32095 (java) S 32086 32086 18108 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 14294301 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841574351904 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32096] ppid=32086 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32096/stat : 32096 (java) S 32086 32086 18108 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 14294301 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841573299056 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32097] ppid=32086 vsize=13980732 memory=928 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32097/stat : 32097 (java) S 32086 32086 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14294304 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841572247376 139842096940955 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32098] ppid=32086 vsize=13980732 memory=2160 CPUtime=1.71 cores=1,3,5,7
/proc/32088/task/32098/stat : 32098 (java) S 32086 32086 18108 0 -1 1077944384 12268 0 0 0 170 1 0 0 20 0 15 0 14294304 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841571195760 139842096933506 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32099] ppid=32086 vsize=13980732 memory=844 CPUtime=1.59 cores=1,3,5,7
/proc/32088/task/32099/stat : 32099 (java) S 32086 32086 18108 0 -1 1077944384 12632 0 0 0 158 1 0 0 20 0 15 0 14294304 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841570142960 139842096933506 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32100] ppid=32086 vsize=13980732 memory=2436 CPUtime=0.44 cores=1,3,5,7
/proc/32088/task/32100/stat : 32100 (java) S 32086 32086 18108 0 -1 1077944384 7326 0 0 0 43 1 0 0 20 0 15 0 14294304 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841569090160 139842096933506 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32101] ppid=32086 vsize=13980732 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32101/stat : 32101 (java) S 32086 32086 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14294304 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841568037600 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32102] ppid=32086 vsize=13980732 memory=2004 CPUtime=0.05 cores=1,3,5,7
/proc/32088/task/32102/stat : 32102 (java) S 32086 32086 18108 0 -1 1077944384 629 0 0 0 2 3 0 0 20 0 15 0 14294307 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841566984880 139842096933506 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
Current children cumulated CPU time: 305.37 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 201920 KiB
[startup+302.001 s]*
/proc/loadavg: 1.94 1.99 2.01 3/211 32114
/proc/meminfo: memFree=31125960/32770624 swapFree=67108860/67108860
[pid=32086] ppid=32083 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/32086/stat : 32086 (xcsp3-exec) S 32083 32086 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 14294291 9740288 344 18446744073709551615 4194304 5098028 140728057904640 140728057902744 140077491151484 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 9342976 140728057905529 140728057905734 140728057905734 140728057909227 0
/proc/32086/statm: 2378 344 289 221 0 87 0
[pid=32088] ppid=32086 vsize=13980732 memory=200544 CPUtime=305.78 cores=1,3,5,7
/proc/32088/stat : 32088 (java) S 32086 32086 18108 0 -1 1077944320 52097 0 0 0 30565 13 0 0 20 0 15 0 14294298 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 140721793850112 139842096922359 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
/proc/32088/statm: 3495183 50136 3238 1 0 3483476 0
[pid=32088/tid=32089] ppid=32086 vsize=13980732 memory=-8774313645642428999 CPUtime=301.82 cores=1,3,5,7
/proc/32088/task/32089/stat : 32089 (java) R 32086 32086 18108 0 -1 4202560 13761 0 0 0 30177 5 0 0 20 0 15 0 14294299 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139842101158912 139841740393386 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32090] ppid=32086 vsize=13980732 memory=1376 CPUtime=0.02 cores=1,3,5,7
/proc/32088/task/32090/stat : 32090 (java) S 32086 32086 18108 0 -1 1077944384 755 0 0 0 2 0 0 0 20 0 15 0 14294299 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139842057821328 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32091] ppid=32086 vsize=13980732 memory=1376 CPUtime=0.02 cores=1,3,5,7
/proc/32088/task/32091/stat : 32091 (java) S 32086 32086 18108 0 -1 1077944384 868 0 0 0 2 0 0 0 20 0 15 0 14294299 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139842056768528 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32092] ppid=32086 vsize=13980732 memory=200544 CPUtime=0.02 cores=1,3,5,7
/proc/32088/task/32092/stat : 32092 (java) S 32086 32086 18108 0 -1 1077944384 701 0 0 0 2 0 0 0 20 0 15 0 14294299 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841694526352 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32093] ppid=32086 vsize=13980732 memory=13573678025672028 CPUtime=0.02 cores=1,3,5,7
/proc/32088/task/32093/stat : 32093 (java) S 32086 32086 18108 0 -1 1077944384 727 0 0 0 2 0 0 0 20 0 15 0 14294299 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841693473552 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32094] ppid=32086 vsize=13980732 memory=792 CPUtime=0.01 cores=1,3,5,7
/proc/32088/task/32094/stat : 32094 (java) S 32086 32086 18108 0 -1 1077944384 1047 0 0 0 1 0 0 0 20 0 15 0 14294301 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841575405936 139842096933506 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32095] ppid=32086 vsize=13980732 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32095/stat : 32095 (java) S 32086 32086 18108 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 14294301 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841574351904 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32096] ppid=32086 vsize=13980732 memory=952 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32096/stat : 32096 (java) S 32086 32086 18108 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 14294301 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841573299056 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32097] ppid=32086 vsize=13980732 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32097/stat : 32097 (java) S 32086 32086 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14294304 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841572247376 139842096940955 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32098] ppid=32086 vsize=13980732 memory=-8634980985311628903 CPUtime=1.71 cores=1,3,5,7
/proc/32088/task/32098/stat : 32098 (java) S 32086 32086 18108 0 -1 1077944384 12268 0 0 0 170 1 0 0 20 0 15 0 14294304 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841571195760 139842096933506 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32099] ppid=32086 vsize=13980732 memory=3047711553320166262 CPUtime=1.59 cores=1,3,5,7
/proc/32088/task/32099/stat : 32099 (java) S 32086 32086 18108 0 -1 1077944384 12632 0 0 0 158 1 0 0 20 0 15 0 14294304 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841570142960 139842096933506 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32100] ppid=32086 vsize=13980732 memory=5937829435727638632 CPUtime=0.44 cores=1,3,5,7
/proc/32088/task/32100/stat : 32100 (java) S 32086 32086 18108 0 -1 1077944384 7326 0 0 0 43 1 0 0 20 0 15 0 14294304 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841569090160 139842096933506 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32101] ppid=32086 vsize=13980732 memory=5937244508475773008 CPUtime=0 cores=1,3,5,7
/proc/32088/task/32101/stat : 32101 (java) S 32086 32086 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14294304 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841568037600 139842096932565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
[pid=32088/tid=32102] ppid=32086 vsize=13980732 memory=7301580121319690320 CPUtime=0.05 cores=1,3,5,7
/proc/32088/task/32102/stat : 32102 (java) S 32086 32086 18108 0 -1 1077944384 629 0 0 0 2 3 0 0 20 0 15 0 14294307 14316269568 50136 18446744073709551615 4194304 4196468 140721793867568 139841566984880 139842096933506 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38273024 140721793872306 140721793872482 140721793872482 140721793875919 0
Current children cumulated CPU time: 305.78 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 201920 KiB
Child status: 0
Real time (s): 302.101
CPU time (s): 305.892
CPU user time (s): 305.746
CPU system time (s): 0.146047
CPU usage (%): 101.255
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 210616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 305.746
system time used= 0.146047
maximum resident set size= 213832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53299
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8810
involuntary context switches= 167
# summary of solver processes directly reported to runsolver:
# pid: 32086
# total CPU time (s): 305.892
# total CPU user time (s): 305.746
# total CPU system time (s): 0.146047
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.55716 second user time and 2.75985 second system time
The end