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 (11263 MiB free)
memory of node 1: 16384 MiB (8625 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284232-1503214909/watcher-4284232-1503214909 -o /tmp/evaluation-result-4284232-1503214909/solver-4284232-1503214909 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node114-1503208995-20019 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 236589290 HOME/instance-4284232-1503214909.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=24518, runsolver pid=24515
[startup+0.103966 s]*
/proc/loadavg: 1.75 1.82 1.77 4/217 24534
/proc/meminfo: memFree=20349764/32770624 swapFree=67108860/67108860
[pid=24518] ppid=24515 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24518/stat : 24518 (xcsp3-exec) S 24515 24518 19988 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154578615 9740288 345 33554432000 4194304 5098028 140724964875152 140724964873256 140498341593724 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12824576 140724964877429 140724964877632 140724964877632 140724964880363 0
/proc/24518/statm: 2378 345 289 221 0 87 0
[pid=24520] ppid=24518 vsize=13978596 memory=28088 CPUtime=0.13 cores=0,2,4,6
/proc/24520/stat : 24520 (java) S 24518 24518 19988 0 -1 1077944320 5399 0 0 0 12 1 0 0 20 0 15 0 154578615 14314082304 7022 33554432000 4194304 4196468 140722981836448 140722981818992 140183891058423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
/proc/24520/statm: 3494649 7022 2873 1 0 3482966 0
[pid=24520/tid=24521] ppid=24518 vsize=13978596 memory=-6962121287837372198 CPUtime=0.08 cores=0,2,4,6
/proc/24520/task/24521/stat : 24521 (java) R 24518 24518 19988 0 -1 4202560 3325 0 0 0 8 0 0 0 20 0 15 0 154578615 14314082304 7022 33554432000 4194304 4196468 140722981836448 140183895291696 140183875138910 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24522] ppid=24518 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24522/stat : 24522 (java) S 24518 24518 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154578616 14314082304 7022 33554432000 4194304 4196468 140722981836448 140183843679376 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24523] ppid=24518 vsize=13978596 memory=140076564752000 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24523/stat : 24523 (java) S 24518 24518 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154578616 14314082304 7022 33554432000 4194304 4196468 140722981836448 140183842626576 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24524] ppid=24518 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24524/stat : 24524 (java) S 24518 24518 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154578616 14314082304 7022 33554432000 4194304 4196468 140722981836448 140183841573776 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24525] ppid=24518 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24525/stat : 24525 (java) S 24518 24518 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154578616 14314082304 7022 33554432000 4194304 4196468 140722981836448 140183483902736 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24526] ppid=24518 vsize=13978596 memory=140076564752000 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24526/stat : 24526 (java) S 24518 24518 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154578617 14314082304 7022 33554432000 4194304 4196468 140722981836448 140183072037232 140183891069570 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24527] ppid=24518 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24527/stat : 24527 (java) S 24518 24518 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154578618 14314082304 7022 33554432000 4194304 4196468 140722981836448 140183070983200 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24528] ppid=24518 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24528/stat : 24528 (java) S 24518 24518 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154578618 14314082304 7022 33554432000 4194304 4196468 140722981836448 140183069930352 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24529] ppid=24518 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24529/stat : 24529 (java) S 24518 24518 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154578620 14314082304 7022 33554432000 4194304 4196468 140722981836448 140183068878672 140183891077019 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24530] ppid=24518 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24530/stat : 24530 (java) S 24518 24518 19988 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 154578620 14314082304 7022 33554432000 4194304 4196468 140722981836448 140183067827056 140183891069570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24531] ppid=24518 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24531/stat : 24531 (java) S 24518 24518 19988 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 154578620 14314082304 7022 33554432000 4194304 4196468 140722981836448 140183066774256 140183891069570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24532] ppid=24518 vsize=13978596 memory=140076564752000 CPUtime=0.01 cores=0,2,4,6
/proc/24520/task/24532/stat : 24532 (java) S 24518 24518 19988 0 -1 1077944384 339 0 0 0 1 0 0 0 20 0 15 0 154578621 14314082304 7022 33554432000 4194304 4196468 140722981836448 140183065721456 140183891069570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24533] ppid=24518 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24533/stat : 24533 (java) S 24518 24518 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154578621 14314082304 7022 33554432000 4194304 4196468 140722981836448 140183064668896 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24534] ppid=24518 vsize=13978596 memory=140076564752000 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24534/stat : 24534 (java) S 24518 24518 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154578621 14314082304 7022 33554432000 4194304 4196468 140722981836448 140183063616176 140183891069570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29468 KiB
[startup+0.210526 s]*
/proc/loadavg: 1.75 1.82 1.77 4/217 24534
/proc/meminfo: memFree=20338792/32770624 swapFree=67108860/67108860
[pid=24518] ppid=24515 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24518/stat : 24518 (xcsp3-exec) S 24515 24518 19988 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154578615 9740288 345 33554432000 4194304 5098028 140724964875152 140724964873256 140498341593724 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12824576 140724964877429 140724964877632 140724964877632 140724964880363 0
/proc/24518/statm: 2378 345 289 221 0 87 0
[pid=24520] ppid=24518 vsize=13982852 memory=40472 CPUtime=0.32 cores=0,2,4,6
/proc/24520/stat : 24520 (java) S 24518 24518 19988 0 -1 1077944320 8143 0 0 0 30 2 0 0 20 0 15 0 154578615 14318440448 10118 33554432000 4194304 4196468 140722981836448 140722981818992 140183891058423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
/proc/24520/statm: 3495713 10118 3064 1 0 3482966 0
[pid=24520/tid=24521] ppid=24518 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/24520/task/24521/stat : 24521 (java) R 24518 24518 19988 0 -1 4202560 5232 0 0 0 18 1 0 0 20 0 15 0 154578615 14318440448 10118 33554432000 4194304 4196468 140722981836448 140183895295264 140183883736437 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24522] ppid=24518 vsize=13982852 memory=9107 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24522/stat : 24522 (java) S 24518 24518 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154578616 14318440448 10118 33554432000 4194304 4196468 140722981836448 140183843679376 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24523] ppid=24518 vsize=13982852 memory=140076564775271 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24523/stat : 24523 (java) S 24518 24518 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154578616 14318440448 10118 33554432000 4194304 4196468 140722981836448 140183842626576 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24524] ppid=24518 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24524/stat : 24524 (java) S 24518 24518 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154578616 14318440448 10118 33554432000 4194304 4196468 140722981836448 140183841573776 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24525] ppid=24518 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24525/stat : 24525 (java) S 24518 24518 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154578616 14318440448 10118 33554432000 4194304 4196468 140722981836448 140183483902736 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24526] ppid=24518 vsize=13982852 memory=140076564752000 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24526/stat : 24526 (java) S 24518 24518 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154578617 14318440448 10118 33554432000 4194304 4196468 140722981836448 140183072037232 140183891069570 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24527] ppid=24518 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24527/stat : 24527 (java) S 24518 24518 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154578618 14318440448 10118 33554432000 4194304 4196468 140722981836448 140183070983200 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24528] ppid=24518 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24528/stat : 24528 (java) S 24518 24518 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154578618 14318440448 10118 33554432000 4194304 4196468 140722981836448 140183069930352 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24529] ppid=24518 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24529/stat : 24529 (java) S 24518 24518 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154578620 14318440448 10118 33554432000 4194304 4196468 140722981836448 140183068878672 140183891077019 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24530] ppid=24518 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24520/task/24530/stat : 24530 (java) S 24518 24518 19988 0 -1 1077944384 648 0 0 0 2 0 0 0 20 0 15 0 154578620 14318440448 10118 33554432000 4194304 4196468 140722981836448 140183067827056 140183891069570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24531] ppid=24518 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/24520/task/24531/stat : 24531 (java) R 24518 24518 19988 0 -1 1077944384 218 0 0 0 2 0 0 0 20 0 15 0 154578620 14318440448 10118 33554432000 4194304 4196468 140722981836448 140183066774256 140183891069570 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24532] ppid=24518 vsize=13982852 memory=140076564752000 CPUtime=0.07 cores=0,2,4,6
/proc/24520/task/24532/stat : 24532 (java) S 24518 24518 19988 0 -1 1077944384 743 0 0 0 7 0 0 0 20 0 15 0 154578621 14318440448 10118 33554432000 4194304 4196468 140722981836448 140183065721456 140183891069570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24533] ppid=24518 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24533/stat : 24533 (java) S 24518 24518 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154578621 14318440448 10118 33554432000 4194304 4196468 140722981836448 140183064668896 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24534] ppid=24518 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24534/stat : 24534 (java) S 24518 24518 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154578621 14318440448 10118 33554432000 4194304 4196468 140722981836448 140183063616176 140183891069570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41852 KiB
[startup+0.310041 s]*
/proc/loadavg: 1.75 1.82 1.77 3/217 24534
/proc/meminfo: memFree=20332100/32770624 swapFree=67108860/67108860
[pid=24518] ppid=24515 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24518/stat : 24518 (xcsp3-exec) S 24515 24518 19988 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154578615 9740288 345 33554432000 4194304 5098028 140724964875152 140724964873256 140498341593724 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12824576 140724964877429 140724964877632 140724964877632 140724964880363 0
/proc/24518/statm: 2378 345 289 221 0 87 0
[pid=24520] ppid=24518 vsize=13982852 memory=47132 CPUtime=0.49 cores=0,2,4,6
/proc/24520/stat : 24520 (java) S 24518 24518 19988 0 -1 1077944320 8928 0 0 0 46 3 0 0 20 0 15 0 154578615 14318440448 11783 33554432000 4194304 4196468 140722981836448 140722981818992 140183891058423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
/proc/24520/statm: 3495713 11783 3111 1 0 3482966 0
[pid=24520/tid=24521] ppid=24518 vsize=13982852 memory=7883960649037381690 CPUtime=0.29 cores=0,2,4,6
/proc/24520/task/24521/stat : 24521 (java) R 24518 24518 19988 0 -1 4202560 5891 0 0 0 27 2 0 0 20 0 15 0 154578615 14318440448 11783 33554432000 4194304 4196468 140722981836448 140183895296160 140183891080349 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24522] ppid=24518 vsize=13982852 memory=9469 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24522/stat : 24522 (java) S 24518 24518 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154578616 14318440448 11783 33554432000 4194304 4196468 140722981836448 140183843679376 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24523] ppid=24518 vsize=13982852 memory=3760840147386781520 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24523/stat : 24523 (java) S 24518 24518 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154578616 14318440448 11783 33554432000 4194304 4196468 140722981836448 140183842626576 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24524] ppid=24518 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24524/stat : 24524 (java) S 24518 24518 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154578616 14318440448 11783 33554432000 4194304 4196468 140722981836448 140183841573776 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24525] ppid=24518 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24525/stat : 24525 (java) S 24518 24518 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154578616 14318440448 11783 33554432000 4194304 4196468 140722981836448 140183483902736 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24526] ppid=24518 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24526/stat : 24526 (java) S 24518 24518 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154578617 14318440448 11783 33554432000 4194304 4196468 140722981836448 140183072037232 140183891069570 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24527] ppid=24518 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24527/stat : 24527 (java) S 24518 24518 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154578618 14318440448 11783 33554432000 4194304 4196468 140722981836448 140183070983200 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24528] ppid=24518 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24528/stat : 24528 (java) S 24518 24518 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154578618 14318440448 11783 33554432000 4194304 4196468 140722981836448 140183069930352 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24529] ppid=24518 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24529/stat : 24529 (java) S 24518 24518 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154578620 14318440448 11783 33554432000 4194304 4196468 140722981836448 140183068878672 140183891077019 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24530] ppid=24518 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/24520/task/24530/stat : 24530 (java) S 24518 24518 19988 0 -1 1077944384 662 0 0 0 3 0 0 0 20 0 15 0 154578620 14318440448 11783 33554432000 4194304 4196468 140722981836448 140183067827056 140183891069570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24531] ppid=24518 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/24520/task/24531/stat : 24531 (java) S 24518 24518 19988 0 -1 1077944384 253 0 0 0 3 0 0 0 20 0 15 0 154578620 14318440448 11783 33554432000 4194304 4196468 140722981836448 140183066774256 140183891069570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24532] ppid=24518 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/24520/task/24532/stat : 24532 (java) R 24518 24518 19988 0 -1 4202560 819 0 0 0 12 0 0 0 20 0 15 0 154578621 14318440448 11783 33554432000 4194304 4196468 140722981836448 140183065721456 140183869977151 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24533] ppid=24518 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24533/stat : 24533 (java) S 24518 24518 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154578621 14318440448 11783 33554432000 4194304 4196468 140722981836448 140183064668896 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24534] ppid=24518 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24534/stat : 24534 (java) S 24518 24518 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154578621 14318440448 11783 33554432000 4194304 4196468 140722981836448 140183063616176 140183891069570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48512 KiB
[startup+0.700797 s]
/proc/loadavg: 1.75 1.82 1.77 6/217 24534
/proc/meminfo: memFree=20162568/32770624 swapFree=67108860/67108860
[pid=24518] ppid=24515 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24518/stat : 24518 (xcsp3-exec) S 24515 24518 19988 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154578615 9740288 345 33554432000 4194304 5098028 140724964875152 140724964873256 140498341593724 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12824576 140724964877429 140724964877632 140724964877632 140724964880363 0
/proc/24518/statm: 2378 345 289 221 0 87 0
[pid=24520] ppid=24518 vsize=13982928 memory=430528 CPUtime=1.16 cores=0,2,4,6
/proc/24520/stat : 24520 (java) S 24518 24518 19988 0 -1 1077944320 9943 0 0 0 92 24 0 0 20 0 15 0 154578615 14318518272 107632 33554432000 4194304 4196468 140722981836448 140722981818992 140183891058423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
/proc/24520/statm: 3495732 107632 3163 1 0 3482966 0
[pid=24520/tid=24521] ppid=24518 vsize=13982928 memory=23644 CPUtime=0.6 cores=0,2,4,6
/proc/24520/task/24521/stat : 24521 (java) R 24518 24518 19988 0 -1 4202560 6289 0 0 0 52 8 0 0 20 0 15 0 154578615 14318518272 108144 33554432000 4194304 4196468 140722981836448 140183895295824 140183521796906 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24522] ppid=24518 vsize=13982928 memory=1232 CPUtime=0.05 cores=0,2,4,6
/proc/24520/task/24522/stat : 24522 (java) S 24518 24518 19988 0 -1 1077944384 54 0 0 0 2 3 0 0 20 0 15 0 154578616 14318518272 108144 33554432000 4194304 4196468 140722981836448 140183843679376 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24523] ppid=24518 vsize=13982928 memory=1792 CPUtime=0.05 cores=0,2,4,6
/proc/24520/task/24523/stat : 24523 (java) S 24518 24518 19988 0 -1 1077944384 62 0 0 0 2 3 0 0 20 0 15 0 154578616 14318518272 108144 33554432000 4194304 4196468 140722981836448 140183842626576 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24524] ppid=24518 vsize=13982928 memory=640 CPUtime=0.05 cores=0,2,4,6
/proc/24520/task/24524/stat : 24524 (java) S 24518 24518 19988 0 -1 1077944384 64 0 0 0 2 3 0 0 20 0 15 0 154578616 14318518272 108144 33554432000 4194304 4196468 140722981836448 140183841573776 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24525] ppid=24518 vsize=13982928 memory=956 CPUtime=0.05 cores=0,2,4,6
/proc/24520/task/24525/stat : 24525 (java) S 24518 24518 19988 0 -1 1077944384 65 0 0 0 2 3 0 0 20 0 15 0 154578616 14318518272 108144 33554432000 4194304 4196468 140722981836448 140183483902736 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24526] ppid=24518 vsize=13982928 memory=2468 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24526/stat : 24526 (java) S 24518 24518 19988 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 154578617 14318518272 108144 33554432000 4194304 4196468 140722981836448 140183072037232 140183891069570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24527] ppid=24518 vsize=13982928 memory=1576 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24527/stat : 24527 (java) S 24518 24518 19988 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 154578618 14318518272 108144 33554432000 4194304 4196468 140722981836448 140183070983200 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24528] ppid=24518 vsize=13982928 memory=932 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24528/stat : 24528 (java) S 24518 24518 19988 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 154578618 14318518272 108144 33554432000 4194304 4196468 140722981836448 140183069930352 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24529] ppid=24518 vsize=13982928 memory=2236 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24529/stat : 24529 (java) S 24518 24518 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154578620 14318518272 108144 33554432000 4194304 4196468 140722981836448 140183068878672 140183891077019 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24530] ppid=24518 vsize=13982928 memory=4124 CPUtime=0.06 cores=0,2,4,6
/proc/24520/task/24530/stat : 24530 (java) S 24518 24518 19988 0 -1 1077944384 677 0 0 0 6 0 0 0 20 0 15 0 154578620 14318518272 108144 33554432000 4194304 4196468 140722981836448 140183067827056 140183891069570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24531] ppid=24518 vsize=13982928 memory=2200 CPUtime=0.06 cores=0,2,4,6
/proc/24520/task/24531/stat : 24531 (java) S 24518 24518 19988 0 -1 1077944384 407 0 0 0 6 0 0 0 20 0 15 0 154578620 14318518272 108144 33554432000 4194304 4196468 140722981836448 140183066774256 140183891069570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24532] ppid=24518 vsize=13982928 memory=7528 CPUtime=0.16 cores=0,2,4,6
/proc/24520/task/24532/stat : 24532 (java) S 24518 24518 19988 0 -1 1077944384 945 0 0 0 16 0 0 0 20 0 15 0 154578621 14318518272 108144 33554432000 4194304 4196468 140722981836448 140183065721456 140183891069570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24533] ppid=24518 vsize=13982928 memory=840 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24533/stat : 24533 (java) S 24518 24518 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154578621 14318518272 108144 33554432000 4194304 4196468 140722981836448 140183064668896 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24534] ppid=24518 vsize=13982928 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24534/stat : 24534 (java) S 24518 24518 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154578621 14318518272 108144 33554432000 4194304 4196468 140722981836448 140183063616176 140183891069570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 431908 KiB
[startup+1.50072 s]
/proc/loadavg: 1.75 1.82 1.77 7/217 24534
/proc/meminfo: memFree=19317560/32770624 swapFree=67108860/67108860
[pid=24518] ppid=24515 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24518/stat : 24518 (xcsp3-exec) S 24515 24518 19988 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154578615 9740288 345 33554432000 4194304 5098028 140724964875152 140724964873256 140498341593724 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12824576 140724964877429 140724964877632 140724964877632 140724964880363 0
/proc/24518/statm: 2378 345 289 221 0 87 0
################
# More data... #
################
/proc/24520/task/24523/stat : 24523 (java) S 24518 24518 19988 0 -1 1077944384 69947 0 0 0 914 266 0 0 20 0 15 0 154578616 14320615424 2794400 33554432000 4194304 4196468 140722981836448 140183842626576 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24524] ppid=24518 vsize=13984976 memory=4124 CPUtime=11.69 cores=0,2,4,6
/proc/24520/task/24524/stat : 24524 (java) S 24518 24518 19988 0 -1 1077944384 68690 0 0 0 864 305 0 0 20 0 15 0 154578616 14320615424 2794400 33554432000 4194304 4196468 140722981836448 140183841573776 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24525] ppid=24518 vsize=13984976 memory=2200 CPUtime=11.69 cores=0,2,4,6
/proc/24520/task/24525/stat : 24525 (java) S 24518 24518 19988 0 -1 1077944384 82798 0 0 0 919 250 0 0 20 0 15 0 154578616 14320615424 2794400 33554432000 4194304 4196468 140722981836448 140183483902736 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24526] ppid=24518 vsize=13984976 memory=7528 CPUtime=2.26 cores=0,2,4,6
/proc/24520/task/24526/stat : 24526 (java) S 24518 24518 19988 0 -1 1077944384 16798 0 0 0 224 2 0 0 20 0 15 0 154578617 14320615424 2794400 33554432000 4194304 4196468 140722981836448 140183072037232 140183891069570 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24527] ppid=24518 vsize=13984976 memory=840 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24527/stat : 24527 (java) S 24518 24518 19988 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 154578618 14320615424 2794400 33554432000 4194304 4196468 140722981836448 140183070983264 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24528] ppid=24518 vsize=13984976 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24528/stat : 24528 (java) S 24518 24518 19988 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 154578618 14320615424 2794400 33554432000 4194304 4196468 140722981836448 140183069930368 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24529] ppid=24518 vsize=13984976 memory=916 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24529/stat : 24529 (java) S 24518 24518 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154578620 14320615424 2794400 33554432000 4194304 4196468 140722981836448 140183068878672 140183891077019 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24530] ppid=24518 vsize=13984976 memory=3832 CPUtime=0.43 cores=0,2,4,6
/proc/24520/task/24530/stat : 24530 (java) S 24518 24518 19988 0 -1 1077944384 3174 0 0 0 43 0 0 0 20 0 15 0 154578620 14320615424 2794400 33554432000 4194304 4196468 140722981836448 140183067827056 140183891069570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24531] ppid=24518 vsize=13984976 memory=2548 CPUtime=0.45 cores=0,2,4,6
/proc/24520/task/24531/stat : 24531 (java) S 24518 24518 19988 0 -1 1077944384 2658 0 0 0 45 0 0 0 20 0 15 0 154578620 14320615424 2794400 33554432000 4194304 4196468 140722981836448 140183066774256 140183891069570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24532] ppid=24518 vsize=13984976 memory=6791534058613427641 CPUtime=0.31 cores=0,2,4,6
/proc/24520/task/24532/stat : 24532 (java) S 24518 24518 19988 0 -1 1077944384 2626 0 0 0 30 1 0 0 20 0 15 0 154578621 14320615424 2794400 33554432000 4194304 4196468 140722981836448 140183065721456 140183891069570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24533] ppid=24518 vsize=13984976 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24533/stat : 24533 (java) S 24518 24518 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154578621 14320615424 2794400 33554432000 4194304 4196468 140722981836448 140183064668896 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24534] ppid=24518 vsize=13984976 memory=13160 CPUtime=0.05 cores=0,2,4,6
/proc/24520/task/24534/stat : 24534 (java) S 24518 24518 19988 0 -1 1077944384 599 0 0 0 2 3 0 0 20 0 15 0 154578621 14320615424 2794400 33554432000 4194304 4196468 140722981836448 140183063616176 140183891069570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
Current children cumulated CPU time: 132.37 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 11178980 KiB
[startup+99.201 s]
/proc/loadavg: 2.40 2.03 1.85 3/217 24536
/proc/meminfo: memFree=8764440/32770624 swapFree=67108860/67108860
[pid=24518] ppid=24515 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24518/stat : 24518 (xcsp3-exec) S 24515 24518 19988 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154578615 9740288 345 33554432000 4194304 5098028 140724964875152 140724964873256 140498341593724 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12824576 140724964877429 140724964877632 140724964877632 140724964880363 0
/proc/24518/statm: 2378 345 289 221 0 87 0
[pid=24520] ppid=24518 vsize=13984976 memory=11613236 CPUtime=139.1 cores=0,2,4,6
/proc/24520/stat : 24520 (java) S 24518 24518 19988 0 -1 1077944320 368643 0 0 0 12735 1175 0 0 20 0 15 0 154578615 14320615424 2903309 33554432000 4194304 4196468 140722981836448 140722981818992 140183891058423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
/proc/24520/statm: 3496244 2903309 3246 1 0 3483478 0
[pid=24520/tid=24521] ppid=24518 vsize=13984976 memory=6791534058613427641 CPUtime=83.64 cores=0,2,4,6
/proc/24520/task/24521/stat : 24521 (java) S 24518 24518 19988 0 -1 1077944384 47071 0 0 0 8341 23 0 0 20 0 15 0 154578615 14320615424 2903309 33554432000 4194304 4196468 140722981836448 140183895296640 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24522] ppid=24518 vsize=13984976 memory=1424 CPUtime=12.93 cores=0,2,4,6
/proc/24520/task/24522/stat : 24522 (java) R 24518 24518 19988 0 -1 4202560 71435 0 0 0 992 301 0 0 20 0 15 0 154578616 14320615424 2903309 33554432000 4194304 4196468 140722981836448 140183843679576 140183875756062 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24523] ppid=24518 vsize=13984976 memory=13160 CPUtime=12.99 cores=0,2,4,6
/proc/24520/task/24523/stat : 24523 (java) R 24518 24518 19988 0 -1 4202560 70486 0 0 0 1032 267 0 0 20 0 15 0 154578616 14320615424 2903309 33554432000 4194304 4196468 140722981836448 140183842626776 140183876009416 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24524] ppid=24518 vsize=13984976 memory=792 CPUtime=12.87 cores=0,2,4,6
/proc/24520/task/24524/stat : 24524 (java) R 24518 24518 19988 0 -1 4202560 69464 0 0 0 964 323 0 0 20 0 15 0 154578616 14320615424 2903309 33554432000 4194304 4196468 140722981836448 140183841573776 140183876009522 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24525] ppid=24518 vsize=13984976 memory=1008 CPUtime=12.88 cores=0,2,4,6
/proc/24520/task/24525/stat : 24525 (java) R 24518 24518 19988 0 -1 4202560 82970 0 0 0 1038 250 0 0 20 0 15 0 154578616 14320615424 2903309 33554432000 4194304 4196468 140722981836448 140183483902736 140183871084642 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24526] ppid=24518 vsize=13984976 memory=1424 CPUtime=2.45 cores=0,2,4,6
/proc/24520/task/24526/stat : 24526 (java) S 24518 24518 19988 0 -1 1077944384 16810 0 0 0 243 2 0 0 20 0 15 0 154578617 14320615424 2903309 33554432000 4194304 4196468 140722981836448 140183072035568 140183891068629 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24527] ppid=24518 vsize=13984976 memory=13160 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24527/stat : 24527 (java) S 24518 24518 19988 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 154578618 14320615424 2903309 33554432000 4194304 4196468 140722981836448 140183070983264 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24528] ppid=24518 vsize=13984976 memory=792 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24528/stat : 24528 (java) S 24518 24518 19988 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 154578618 14320615424 2903309 33554432000 4194304 4196468 140722981836448 140183069930368 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24529] ppid=24518 vsize=13984976 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24529/stat : 24529 (java) S 24518 24518 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154578620 14320615424 2903309 33554432000 4194304 4196468 140722981836448 140183068878672 140183891077019 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24530] ppid=24518 vsize=13984976 memory=1380 CPUtime=0.43 cores=0,2,4,6
/proc/24520/task/24530/stat : 24530 (java) S 24518 24518 19988 0 -1 1077944384 3174 0 0 0 43 0 0 0 20 0 15 0 154578620 14320615424 2903309 33554432000 4194304 4196468 140722981836448 140183067827056 140183891069570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24531] ppid=24518 vsize=13984976 memory=11177600 CPUtime=0.45 cores=0,2,4,6
/proc/24520/task/24531/stat : 24531 (java) S 24518 24518 19988 0 -1 1077944384 2658 0 0 0 45 0 0 0 20 0 15 0 154578620 14320615424 2903309 33554432000 4194304 4196468 140722981836448 140183066774256 140183891069570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24532] ppid=24518 vsize=13984976 memory=1944 CPUtime=0.31 cores=0,2,4,6
/proc/24520/task/24532/stat : 24532 (java) S 24518 24518 19988 0 -1 1077944384 2630 0 0 0 30 1 0 0 20 0 15 0 154578621 14320615424 2903309 33554432000 4194304 4196468 140722981836448 140183065721456 140183891069570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24533] ppid=24518 vsize=13984976 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24533/stat : 24533 (java) S 24518 24518 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154578621 14320615424 2903309 33554432000 4194304 4196468 140722981836448 140183064668896 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24534] ppid=24518 vsize=13984976 memory=1228 CPUtime=0.05 cores=0,2,4,6
/proc/24520/task/24534/stat : 24534 (java) S 24518 24518 19988 0 -1 1077944384 599 0 0 0 2 3 0 0 20 0 15 0 154578621 14320615424 2903309 33554432000 4194304 4196468 140722981836448 140183063616176 140183891069570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
Current children cumulated CPU time: 139.1 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 11614616 KiB
[startup+100.801 s]
/proc/loadavg: 2.40 2.03 1.85 6/217 24536
/proc/meminfo: memFree=8754084/32770624 swapFree=67108860/67108860
[pid=24518] ppid=24515 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24518/stat : 24518 (xcsp3-exec) S 24515 24518 19988 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154578615 9740288 345 33554432000 4194304 5098028 140724964875152 140724964873256 140498341593724 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12824576 140724964877429 140724964877632 140724964877632 140724964880363 0
/proc/24518/statm: 2378 345 289 221 0 87 0
[pid=24520] ppid=24518 vsize=13984976 memory=11613236 CPUtime=145.32 cores=0,2,4,6
/proc/24520/stat : 24520 (java) S 24518 24518 19988 0 -1 1077944320 494207 0 0 0 13350 1182 0 0 20 0 15 0 154578615 14320615424 2903309 33554432000 4194304 4196468 140722981836448 140722981818992 140183891058423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
/proc/24520/statm: 3496244 2903309 3246 1 0 3483478 0
[pid=24520/tid=24521] ppid=24518 vsize=13984976 memory=1228 CPUtime=83.64 cores=0,2,4,6
/proc/24520/task/24521/stat : 24521 (java) S 24518 24518 19988 0 -1 1077944384 47071 0 0 0 8341 23 0 0 20 0 15 0 154578615 14320615424 2903309 33554432000 4194304 4196468 140722981836448 140183895296640 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24522] ppid=24518 vsize=13984976 memory=6791534058613427641 CPUtime=14.45 cores=0,2,4,6
/proc/24520/task/24522/stat : 24522 (java) R 24518 24518 19988 0 -1 4202560 71453 0 0 0 1144 301 0 0 20 0 15 0 154578616 14320615424 2903309 33554432000 4194304 4196468 140722981836448 140183843679496 140183883686631 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24523] ppid=24518 vsize=13984976 memory=11613236 CPUtime=14.58 cores=0,2,4,6
/proc/24520/task/24523/stat : 24523 (java) R 24518 24518 19988 0 -1 4202560 195977 0 0 0 1186 272 0 0 20 0 15 0 154578616 14320615424 2903309 33554432000 4194304 4196468 140722981836448 140183842626776 140183876060374 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24524] ppid=24518 vsize=13984976 memory=11177600 CPUtime=14.41 cores=0,2,4,6
/proc/24520/task/24524/stat : 24524 (java) R 24518 24518 19988 0 -1 4202560 69474 0 0 0 1118 323 0 0 20 0 15 0 154578616 14320615424 2903309 33554432000 4194304 4196468 140722981836448 140183841573584 140183883686631 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24525] ppid=24518 vsize=13984976 memory=1380 CPUtime=14.43 cores=0,2,4,6
/proc/24520/task/24525/stat : 24525 (java) R 24518 24518 19988 0 -1 4202560 82975 0 0 0 1192 251 0 0 20 0 15 0 154578616 14320615424 2903309 33554432000 4194304 4196468 140722981836448 140183483902544 140183883686631 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24526] ppid=24518 vsize=13984976 memory=11386356 CPUtime=2.46 cores=0,2,4,6
/proc/24520/task/24526/stat : 24526 (java) S 24518 24518 19988 0 -1 1077944384 16824 0 0 0 244 2 0 0 20 0 15 0 154578617 14320615424 2903309 33554432000 4194304 4196468 140722981836448 140183072035792 140183891068629 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24527] ppid=24518 vsize=13984976 memory=4624 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24527/stat : 24527 (java) S 24518 24518 19988 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 154578618 14320615424 2903309 33554432000 4194304 4196468 140722981836448 140183070983264 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24528] ppid=24518 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24528/stat : 24528 (java) S 24518 24518 19988 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 154578618 14320615424 2903309 33554432000 4194304 4196468 140722981836448 140183069930368 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24529] ppid=24518 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24529/stat : 24529 (java) S 24518 24518 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154578620 14320615424 2903309 33554432000 4194304 4196468 140722981836448 140183068878672 140183891077019 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24530] ppid=24518 vsize=13984976 memory=-6520471753822164382 CPUtime=0.43 cores=0,2,4,6
/proc/24520/task/24530/stat : 24530 (java) S 24518 24518 19988 0 -1 1077944384 3174 0 0 0 43 0 0 0 20 0 15 0 154578620 14320615424 2903309 33554432000 4194304 4196468 140722981836448 140183067827056 140183891069570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24531] ppid=24518 vsize=13984976 memory=7822038051842261661 CPUtime=0.45 cores=0,2,4,6
/proc/24520/task/24531/stat : 24531 (java) S 24518 24518 19988 0 -1 1077944384 2658 0 0 0 45 0 0 0 20 0 15 0 154578620 14320615424 2903309 33554432000 4194304 4196468 140722981836448 140183066774256 140183891069570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24532] ppid=24518 vsize=13984976 memory=4715433313220523562 CPUtime=0.31 cores=0,2,4,6
/proc/24520/task/24532/stat : 24532 (java) S 24518 24518 19988 0 -1 1077944384 2630 0 0 0 30 1 0 0 20 0 15 0 154578621 14320615424 2903309 33554432000 4194304 4196468 140722981836448 140183065721456 140183891069570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24533] ppid=24518 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24533/stat : 24533 (java) S 24518 24518 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154578621 14320615424 2903309 33554432000 4194304 4196468 140722981836448 140183064668896 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24534] ppid=24518 vsize=13984976 memory=776724 CPUtime=0.06 cores=0,2,4,6
/proc/24520/task/24534/stat : 24534 (java) S 24518 24518 19988 0 -1 1077944384 625 0 0 0 2 4 0 0 20 0 15 0 154578621 14320615424 2903309 33554432000 4194304 4196468 140722981836448 140183063616176 140183891069570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
Current children cumulated CPU time: 145.32 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 11614616 KiB
[startup+101.201 s]
/proc/loadavg: 2.40 2.03 1.85 6/217 24536
/proc/meminfo: memFree=8754084/32770624 swapFree=67108860/67108860
[pid=24518] ppid=24515 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24518/stat : 24518 (xcsp3-exec) S 24515 24518 19988 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154578615 9740288 345 33554432000 4194304 5098028 140724964875152 140724964873256 140498341593724 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12824576 140724964877429 140724964877632 140724964877632 140724964880363 0
/proc/24518/statm: 2378 345 289 221 0 87 0
[pid=24520] ppid=24518 vsize=13984976 memory=11613296 CPUtime=146.41 cores=0,2,4,6
/proc/24520/stat : 24520 (java) S 24518 24518 19988 0 -1 1077944320 495756 0 0 0 13459 1182 0 0 20 0 15 0 154578615 14320615424 2903324 33554432000 4194304 4196468 140722981836448 140722981818992 140183891058423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
/proc/24520/statm: 3496244 2903324 3246 1 0 3483478 0
[pid=24520/tid=24521] ppid=24518 vsize=13984976 memory=1292 CPUtime=83.64 cores=0,2,4,6
/proc/24520/task/24521/stat : 24521 (java) S 24518 24518 19988 0 -1 1077944384 47071 0 0 0 8341 23 0 0 20 0 15 0 154578615 14320615424 2903324 33554432000 4194304 4196468 140722981836448 140183895296640 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24522] ppid=24518 vsize=13984976 memory=2428 CPUtime=14.68 cores=0,2,4,6
/proc/24520/task/24522/stat : 24522 (java) S 24518 24518 19988 0 -1 1077944384 71454 0 0 0 1167 301 0 0 20 0 15 0 154578616 14320615424 2903324 33554432000 4194304 4196468 140722981836448 140183843679376 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24523] ppid=24518 vsize=13984976 memory=1732 CPUtime=14.82 cores=0,2,4,6
/proc/24520/task/24523/stat : 24523 (java) S 24518 24518 19988 0 -1 1077944384 196487 0 0 0 1210 272 0 0 20 0 15 0 154578616 14320615424 2903324 33554432000 4194304 4196468 140722981836448 140183842626576 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24524] ppid=24518 vsize=13984976 memory=1944 CPUtime=14.64 cores=0,2,4,6
/proc/24520/task/24524/stat : 24524 (java) S 24518 24518 19988 0 -1 1077944384 69474 0 0 0 1141 323 0 0 20 0 15 0 154578616 14320615424 2903324 33554432000 4194304 4196468 140722981836448 140183841573776 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24525] ppid=24518 vsize=13984976 memory=1700 CPUtime=14.66 cores=0,2,4,6
/proc/24520/task/24525/stat : 24525 (java) S 24518 24518 19988 0 -1 1077944384 82975 0 0 0 1215 251 0 0 20 0 15 0 154578616 14320615424 2903324 33554432000 4194304 4196468 140722981836448 140183483902736 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24526] ppid=24518 vsize=13984976 memory=1228 CPUtime=2.62 cores=0,2,4,6
/proc/24520/task/24526/stat : 24526 (java) R 24518 24518 19988 0 -1 4202560 17862 0 0 0 260 2 0 0 20 0 15 0 154578617 14320615424 2903324 33554432000 4194304 4196468 140722981836448 140183072035792 140183876054827 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24527] ppid=24518 vsize=13984976 memory=5428 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24527/stat : 24527 (java) S 24518 24518 19988 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 154578618 14320615424 2903324 33554432000 4194304 4196468 140722981836448 140183070983264 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24528] ppid=24518 vsize=13984976 memory=4624 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24528/stat : 24528 (java) S 24518 24518 19988 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 154578618 14320615424 2903324 33554432000 4194304 4196468 140722981836448 140183069930368 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24529] ppid=24518 vsize=13984976 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24529/stat : 24529 (java) S 24518 24518 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154578620 14320615424 2903324 33554432000 4194304 4196468 140722981836448 140183068878672 140183891077019 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24530] ppid=24518 vsize=13984976 memory=13160 CPUtime=0.43 cores=0,2,4,6
/proc/24520/task/24530/stat : 24530 (java) S 24518 24518 19988 0 -1 1077944384 3174 0 0 0 43 0 0 0 20 0 15 0 154578620 14320615424 2903324 33554432000 4194304 4196468 140722981836448 140183067827056 140183891069570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24531] ppid=24518 vsize=13984976 memory=792 CPUtime=0.45 cores=0,2,4,6
/proc/24520/task/24531/stat : 24531 (java) S 24518 24518 19988 0 -1 1077944384 2658 0 0 0 45 0 0 0 20 0 15 0 154578620 14320615424 2903324 33554432000 4194304 4196468 140722981836448 140183066774256 140183891069570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24532] ppid=24518 vsize=13984976 memory=1008 CPUtime=0.31 cores=0,2,4,6
/proc/24520/task/24532/stat : 24532 (java) S 24518 24518 19988 0 -1 1077944384 2630 0 0 0 30 1 0 0 20 0 15 0 154578621 14320615424 2903324 33554432000 4194304 4196468 140722981836448 140183065721456 140183891069570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24533] ppid=24518 vsize=13984976 memory=10736 CPUtime=0 cores=0,2,4,6
/proc/24520/task/24533/stat : 24533 (java) S 24518 24518 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154578621 14320615424 2903324 33554432000 4194304 4196468 140722981836448 140183064668896 140183891068629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
[pid=24520/tid=24534] ppid=24518 vsize=13984976 memory=1204 CPUtime=0.06 cores=0,2,4,6
/proc/24520/task/24534/stat : 24534 (java) S 24518 24518 19988 0 -1 1077944384 625 0 0 0 2 4 0 0 20 0 15 0 154578621 14320615424 2903324 33554432000 4194304 4196468 140722981836448 140183063616176 140183891069570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140722981840029 140722981840204 140722981840204 140722981842895 0
Current children cumulated CPU time: 146.41 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 11614676 KiB
[startup+101.601 s]
/proc/loadavg: 2.40 2.03 1.85 6/217 24536
/proc/meminfo: memFree=8754084/32770624 swapFree=67108860/67108860
[pid=24518] ppid=24515 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24518/stat : 24518 (xcsp3-exec) S 24515 24518 19988 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154578615 9740288 345 33554432000 4194304 5098028 140724964875152 140724964873256 140498341593724 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12824576 140724964877429 140724964877632 140724964877632 140724964880363 0
/proc/24518/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB
Child status: 1
Real time (s): 101.608
CPU time (s): 146.836
CPU user time (s): 134.927
CPU system time (s): 11.9086
CPU usage (%): 144.512
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 11614676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 134.927
system time used= 11.9086
maximum resident set size= 11613740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 500631
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12127
involuntary context switches= 694
# summary of solver processes directly reported to runsolver:
# pid: 24518
# total CPU time (s): 146.836
# total CPU user time (s): 134.927
# total CPU system time (s): 11.9086
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.673719 second user time and 1.07093 second system time
The end