0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394416-1568439335.xml" -tl '20160s' -p 8
0.12/0.18 c Choco e747e1e
0.12/0.18 c [HOME/instance-4394416-1568439335.xml, -tl, 20160s, -p, 8]
0.34/0.22 c 8 solvers in parallel
0.34/0.28 c parse instance...
1.08/0.56 c solve instance...
1.43/0.66 o 183
1.43/0.66 o 170
1.43/0.67 o 147
1.43/0.67 o 141
1.43/0.68 o 90
1.43/0.69 o 86
1.98/0.70 o 85
1942.02/245.21 s OPTIMUM FOUND
1942.02/245.21 v <instantiation>
1942.02/245.21 v <list>c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] </list>
1942.02/245.21 v <values>0 4 2 1 3 7 8 9 13 11 10 14 12 6 5 10 1 6 1 8 1 4 8 2 6 13 5 11 4 5 </values>
1942.02/245.21 v </instantiation>
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 (14838 MiB free)
memory of node 1: 16384 MiB (15397 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394416-1568439335/watcher-4394416-1568439335 -o /tmp/evaluation-result-4394416-1568439335/solver-4394416-1568439335 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1568430672-19252 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1639328053 HOME/instance-4394416-1568439335.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23542, runsolver pid=23539
[startup+0.100114 s]*
/proc/loadavg: 6.77 7.40 7.12 2/213 23563
/proc/meminfo: memFree=30944480/32770624 swapFree=66935388/67108860
[pid=23542] ppid=23539 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23542/stat : 23542 (xcsp3-exec) S 23539 23542 19225 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420204972 115843072 364 33554432000 4194304 5098028 140735277664240 140735277662344 140633758196348 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7897088 140735277671285 140735277671529 140735277671529 140735277674442 0
/proc/23542/statm: 28282 364 305 221 0 87 0
[pid=23544] ppid=23542 vsize=28227388 memory=29172 CPUtime=0.12 cores=0-7
/proc/23544/stat : 23544 (java) S 23542 23542 19225 0 -1 1077944320 5696 0 0 0 11 1 0 0 20 0 20 0 420204973 28904845312 7293 33554432000 4194304 4196468 140725817902416 140725817884960 140409107853047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
/proc/23544/statm: 7056847 7293 3149 1 0 7019032 0
[pid=23544/tid=23545] ppid=23542 vsize=28227388 memory=8041066567320903067 CPUtime=0.09 cores=0-7
/proc/23544/task/23545/stat : 23545 (java) R 23542 23542 19225 0 -1 4202560 3608 0 0 0 8 1 0 0 20 0 20 0 420204973 28904845312 7293 33554432000 4194304 4196468 140725817902416 140409112085824 140409107864982 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23546] ppid=23542 vsize=28227388 memory=732370801602698213 CPUtime=0 cores=0-7
/proc/23544/task/23546/stat : 23546 (java) S 23542 23542 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420204974 28904845312 7293 33554432000 4194304 4196468 140725817902416 140409060474000 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23547] ppid=23542 vsize=28227388 memory=140663265244800 CPUtime=0 cores=0-7
/proc/23544/task/23547/stat : 23547 (java) S 23542 23542 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420204974 28904845312 7293 33554432000 4194304 4196468 140725817902416 140409059421200 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23548] ppid=23542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23544/task/23548/stat : 23548 (java) S 23542 23542 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420204974 28904845312 7293 33554432000 4194304 4196468 140725817902416 140408656878480 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23549] ppid=23542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23544/task/23549/stat : 23549 (java) S 23542 23542 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420204974 28904845312 7293 33554432000 4194304 4196468 140725817902416 140408655825680 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23550] ppid=23542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23544/task/23550/stat : 23550 (java) S 23542 23542 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420204974 28904845312 7293 33554432000 4194304 4196468 140725817902416 140408654772880 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23551] ppid=23542 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/23544/task/23551/stat : 23551 (java) S 23542 23542 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420204974 28904845312 7293 33554432000 4194304 4196468 140725817902416 140408653720080 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23552] ppid=23542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23544/task/23552/stat : 23552 (java) S 23542 23542 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420204974 28904845312 7293 33554432000 4194304 4196468 140725817902416 140408652667280 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23553] ppid=23542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23544/task/23553/stat : 23553 (java) S 23542 23542 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420204974 28904845312 7293 33554432000 4194304 4196468 140725817902416 140408651614480 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23554] ppid=23542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23544/task/23554/stat : 23554 (java) S 23542 23542 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420204975 28904845312 7293 33554432000 4194304 4196468 140725817902416 140407236156272 140409107864194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23555] ppid=23542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23544/task/23555/stat : 23555 (java) S 23542 23542 19225 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420204976 28904845312 7293 33554432000 4194304 4196468 140725817902416 140407235102240 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23556] ppid=23542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23544/task/23556/stat : 23556 (java) S 23542 23542 19225 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420204976 28904845312 7293 33554432000 4194304 4196468 140725817902416 140407234049392 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23557] ppid=23542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23544/task/23557/stat : 23557 (java) S 23542 23542 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420204978 28904845312 7293 33554432000 4194304 4196468 140725817902416 140407232997712 140409107871643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23558] ppid=23542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23544/task/23558/stat : 23558 (java) S 23542 23542 19225 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 20 0 420204978 28904845312 7293 33554432000 4194304 4196468 140725817902416 140407231945072 140409107864194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23559] ppid=23542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23544/task/23559/stat : 23559 (java) R 23542 23542 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420204978 28904845312 7293 33554432000 4194304 4196468 140725817902416 140407230892272 140409107864194 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23560] ppid=23542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23544/task/23560/stat : 23560 (java) S 23542 23542 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420204978 28904845312 7293 33554432000 4194304 4196468 140725817902416 140407229839472 140409107864194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23561] ppid=23542 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/23544/task/23561/stat : 23561 (java) R 23542 23542 19225 0 -1 4202560 352 0 0 0 2 0 0 0 20 0 20 0 420204978 28904845312 7293 33554432000 4194304 4196468 140725817902416 140407228786672 140409107874394 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23562] ppid=23542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23544/task/23562/stat : 23562 (java) S 23542 23542 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420204978 28904845312 7293 33554432000 4194304 4196468 140725817902416 140407227735136 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23563] ppid=23542 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/23544/task/23563/stat : 23563 (java) S 23542 23542 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420204979 28904845312 7293 33554432000 4194304 4196468 140725817902416 140407226682416 140409107864194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30628 KiB
[startup+0.210253 s]*
/proc/loadavg: 6.77 7.40 7.12 3/213 23563
/proc/meminfo: memFree=30930288/32770624 swapFree=66935388/67108860
[pid=23542] ppid=23539 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23542/stat : 23542 (xcsp3-exec) S 23539 23542 19225 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420204972 115843072 364 33554432000 4194304 5098028 140735277664240 140735277662344 140633758196348 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7897088 140735277671285 140735277671529 140735277671529 140735277674442 0
/proc/23542/statm: 28282 364 305 221 0 87 0
[pid=23544] ppid=23542 vsize=28227388 memory=40872 CPUtime=0.34 cores=0-7
/proc/23544/stat : 23544 (java) S 23542 23542 19225 0 -1 1077944320 9520 0 0 0 31 3 0 0 20 0 20 0 420204973 28904845312 10218 33554432000 4194304 4196468 140725817902416 140725817884960 140409107853047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
/proc/23544/statm: 7056847 10218 3301 1 0 7019032 0
[pid=23544/tid=23545] ppid=23542 vsize=28227388 memory=0 CPUtime=0.2 cores=0-7
/proc/23544/task/23545/stat : 23545 (java) R 23542 23542 19225 0 -1 4202560 6632 0 0 0 18 2 0 0 20 0 20 0 420204973 28904845312 10218 33554432000 4194304 4196468 140725817902416 140409112084576 140409091933534 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23546] ppid=23542 vsize=28227388 memory=732370801602698213 CPUtime=0 cores=0-7
/proc/23544/task/23546/stat : 23546 (java) S 23542 23542 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420204974 28904845312 10218 33554432000 4194304 4196468 140725817902416 140409060474000 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23547] ppid=23542 vsize=28227388 memory=140663265244800 CPUtime=0 cores=0-7
/proc/23544/task/23547/stat : 23547 (java) S 23542 23542 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420204974 28904845312 10218 33554432000 4194304 4196468 140725817902416 140409059421200 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23548] ppid=23542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23544/task/23548/stat : 23548 (java) S 23542 23542 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420204974 28904845312 10218 33554432000 4194304 4196468 140725817902416 140408656878480 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23549] ppid=23542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23544/task/23549/stat : 23549 (java) S 23542 23542 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420204974 28904845312 10218 33554432000 4194304 4196468 140725817902416 140408655825680 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23550] ppid=23542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23544/task/23550/stat : 23550 (java) S 23542 23542 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420204974 28904845312 10218 33554432000 4194304 4196468 140725817902416 140408654772880 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23551] ppid=23542 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/23544/task/23551/stat : 23551 (java) S 23542 23542 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420204974 28904845312 10218 33554432000 4194304 4196468 140725817902416 140408653720080 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23552] ppid=23542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23544/task/23552/stat : 23552 (java) S 23542 23542 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420204974 28904845312 10218 33554432000 4194304 4196468 140725817902416 140408652667280 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23553] ppid=23542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23544/task/23553/stat : 23553 (java) S 23542 23542 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420204974 28904845312 10218 33554432000 4194304 4196468 140725817902416 140408651614480 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23554] ppid=23542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23544/task/23554/stat : 23554 (java) S 23542 23542 19225 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420204975 28904845312 10218 33554432000 4194304 4196468 140725817902416 140407236156272 140409107864194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23555] ppid=23542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23544/task/23555/stat : 23555 (java) S 23542 23542 19225 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420204976 28904845312 10218 33554432000 4194304 4196468 140725817902416 140407235102240 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23556] ppid=23542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23544/task/23556/stat : 23556 (java) S 23542 23542 19225 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420204976 28904845312 10218 33554432000 4194304 4196468 140725817902416 140407234049392 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23557] ppid=23542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23544/task/23557/stat : 23557 (java) S 23542 23542 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420204978 28904845312 10218 33554432000 4194304 4196468 140725817902416 140407232997712 140409107871643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23558] ppid=23542 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/23544/task/23558/stat : 23558 (java) S 23542 23542 19225 0 -1 1077944384 561 0 0 0 2 0 0 0 20 0 20 0 420204978 28904845312 10218 33554432000 4194304 4196468 140725817902416 140407231945072 140409107864194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23559] ppid=23542 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/23544/task/23559/stat : 23559 (java) R 23542 23542 19225 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 20 0 420204978 28904845312 10218 33554432000 4194304 4196468 140725817902416 140407230892368 140409107863253 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23560] ppid=23542 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/23544/task/23560/stat : 23560 (java) R 23542 23542 19225 0 -1 1077944384 188 0 0 0 1 0 0 0 20 0 20 0 420204978 28904845312 10218 33554432000 4194304 4196468 140725817902416 140407229839472 140409107864194 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23561] ppid=23542 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7
/proc/23544/task/23561/stat : 23561 (java) R 23542 23542 19225 0 -1 4202560 775 0 0 0 8 0 0 0 20 0 20 0 420204978 28904845312 10218 33554432000 4194304 4196468 140725817902416 140407228786480 140409107864982 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23562] ppid=23542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23544/task/23562/stat : 23562 (java) S 23542 23542 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420204978 28904845312 10218 33554432000 4194304 4196468 140725817902416 140407227735136 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23563] ppid=23542 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/23544/task/23563/stat : 23563 (java) S 23542 23542 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420204979 28904845312 10218 33554432000 4194304 4196468 140725817902416 140407226682416 140409107864194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42328 KiB
[startup+0.309682 s]*
/proc/loadavg: 6.77 7.40 7.12 4/213 23563
/proc/meminfo: memFree=30923452/32770624 swapFree=66935388/67108860
[pid=23542] ppid=23539 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23542/stat : 23542 (xcsp3-exec) S 23539 23542 19225 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420204972 115843072 364 33554432000 4194304 5098028 140735277664240 140735277662344 140633758196348 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7897088 140735277671285 140735277671529 140735277671529 140735277674442 0
/proc/23542/statm: 28282 364 305 221 0 87 0
[pid=23544] ppid=23542 vsize=28231644 memory=50020 CPUtime=0.52 cores=0-7
/proc/23544/stat : 23544 (java) S 23542 23542 19225 0 -1 1077944320 10893 0 0 0 48 4 0 0 20 0 20 0 420204973 28909203456 12505 33554432000 4194304 4196468 140725817902416 140725817884960 140409107853047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
/proc/23544/statm: 7057911 12505 3359 1 0 7019032 0
[pid=23544/tid=23545] ppid=23542 vsize=28231644 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/23544/task/23545/stat : 23545 (java) R 23542 23542 19225 0 -1 4202560 7782 0 0 0 27 3 0 0 20 0 20 0 420204973 28909203456 12505 33554432000 4194304 4196468 140725817902416 140409112084160 140409091933534 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23546] ppid=23542 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/23544/task/23546/stat : 23546 (java) S 23542 23542 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420204974 28909203456 12505 33554432000 4194304 4196468 140725817902416 140409060474000 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23547] ppid=23542 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/23544/task/23547/stat : 23547 (java) S 23542 23542 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420204974 28909203456 12505 33554432000 4194304 4196468 140725817902416 140409059421200 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23548] ppid=23542 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/23544/task/23548/stat : 23548 (java) S 23542 23542 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420204974 28909203456 12505 33554432000 4194304 4196468 140725817902416 140408656878480 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23549] ppid=23542 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/23544/task/23549/stat : 23549 (java) S 23542 23542 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420204974 28909203456 12505 33554432000 4194304 4196468 140725817902416 140408655825680 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23550] ppid=23542 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/23544/task/23550/stat : 23550 (java) S 23542 23542 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420204974 28909203456 12505 33554432000 4194304 4196468 140725817902416 140408654772880 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23551] ppid=23542 vsize=28231644 memory=140663131829167 CPUtime=0 cores=0-7
/proc/23544/task/23551/stat : 23551 (java) S 23542 23542 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420204974 28909203456 12505 33554432000 4194304 4196468 140725817902416 140408653720080 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23552] ppid=23542 vsize=28231644 memory=140663131831472 CPUtime=0 cores=0-7
/proc/23544/task/23552/stat : 23552 (java) S 23542 23542 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420204974 28909203456 12505 33554432000 4194304 4196468 140725817902416 140408652667280 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23553] ppid=23542 vsize=28231644 memory=140663131833776 CPUtime=0 cores=0-7
/proc/23544/task/23553/stat : 23553 (java) S 23542 23542 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420204974 28909203456 12505 33554432000 4194304 4196468 140725817902416 140408651614480 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23554] ppid=23542 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/23544/task/23554/stat : 23554 (java) S 23542 23542 19225 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420204975 28909203456 12505 33554432000 4194304 4196468 140725817902416 140407236156272 140409107864194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23555] ppid=23542 vsize=28231644 memory=281326263674512 CPUtime=0 cores=0-7
/proc/23544/task/23555/stat : 23555 (java) S 23542 23542 19225 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420204976 28909203456 12505 33554432000 4194304 4196468 140725817902416 140407235102240 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23556] ppid=23542 vsize=28231644 memory=281326263681424 CPUtime=0 cores=0-7
/proc/23544/task/23556/stat : 23556 (java) S 23542 23542 19225 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420204976 28909203456 12505 33554432000 4194304 4196468 140725817902416 140407234049392 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23557] ppid=23542 vsize=28231644 memory=281326263622704 CPUtime=0 cores=0-7
/proc/23544/task/23557/stat : 23557 (java) S 23542 23542 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420204978 28909203456 12505 33554432000 4194304 4196468 140725817902416 140407232997712 140409107871643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23558] ppid=23542 vsize=28231644 memory=281326263695248 CPUtime=0.02 cores=0-7
/proc/23544/task/23558/stat : 23558 (java) S 23542 23542 19225 0 -1 1077944384 576 0 0 0 2 0 0 0 20 0 20 0 420204978 28909203456 12505 33554432000 4194304 4196468 140725817902416 140407231945072 140409107864194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23559] ppid=23542 vsize=28231644 memory=281326263702160 CPUtime=0.03 cores=0-7
/proc/23544/task/23559/stat : 23559 (java) R 23542 23542 19225 0 -1 4202560 173 0 0 0 3 0 0 0 20 0 20 0 420204978 28909203456 12505 33554432000 4194304 4196468 140725817902416 140407230882656 140409092978094 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23560] ppid=23542 vsize=28231644 memory=281326263699856 CPUtime=0.02 cores=0-7
/proc/23544/task/23560/stat : 23560 (java) S 23542 23542 19225 0 -1 1077944384 188 0 0 0 2 0 0 0 20 0 20 0 420204978 28909203456 12505 33554432000 4194304 4196468 140725817902416 140407229839472 140409107864194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23561] ppid=23542 vsize=28231644 memory=281326263716016 CPUtime=0.12 cores=0-7
/proc/23544/task/23561/stat : 23561 (java) S 23542 23542 19225 0 -1 1077944384 866 0 0 0 12 0 0 0 20 0 20 0 420204978 28909203456 12505 33554432000 4194304 4196468 140725817902416 140407228786672 140409107864194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23562] ppid=23542 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/23544/task/23562/stat : 23562 (java) S 23542 23542 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420204978 28909203456 12505 33554432000 4194304 4196468 140725817902416 140407227735136 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23563] ppid=23542 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/23544/task/23563/stat : 23563 (java) S 23542 23542 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420204979 28909203456 12505 33554432000 4194304 4196468 140725817902416 140407226682416 140409107864194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51476 KiB
[startup+0.702238 s]
/proc/loadavg: 6.77 7.40 7.12 6/213 23563
/proc/meminfo: memFree=30908136/32770624 swapFree=66935388/67108860
[pid=23542] ppid=23539 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23542/stat : 23542 (xcsp3-exec) S 23539 23542 19225 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420204972 115843072 364 33554432000 4194304 5098028 140735277664240 140735277662344 140633758196348 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7897088 140735277671285 140735277671529 140735277671529 140735277674442 0
/proc/23542/statm: 28282 364 305 221 0 87 0
[pid=23544] ppid=23542 vsize=28832844 memory=168520 CPUtime=1.98 cores=0-7
/proc/23544/stat : 23544 (java) S 23542 23542 19225 0 -1 1077944320 16372 0 0 0 189 9 0 0 20 0 28 0 420204973 29524832256 42130 33554432000 4194304 4196468 140725817902416 140725817884960 140409107853047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
/proc/23544/statm: 7208211 42130 3459 1 0 7169313 0
[pid=23544/tid=23545] ppid=23542 vsize=28832844 memory=281326264010944 CPUtime=0.57 cores=0-7
/proc/23544/task/23545/stat : 23545 (java) S 23542 23542 19225 0 -1 1077944384 9365 0 0 0 53 4 0 0 20 0 28 0 420204973 29524832256 42130 33554432000 4194304 4196468 140725817902416 140409112093824 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23546] ppid=23542 vsize=28832844 memory=1564 CPUtime=0 cores=0-7
/proc/23544/task/23546/stat : 23546 (java) S 23542 23542 19225 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 420204974 29524832256 42130 33554432000 4194304 4196468 140725817902416 140409060474000 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23547] ppid=23542 vsize=28832844 memory=976 CPUtime=0 cores=0-7
/proc/23544/task/23547/stat : 23547 (java) S 23542 23542 19225 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 420204974 29524832256 42130 33554432000 4194304 4196468 140725817902416 140409059421200 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23548] ppid=23542 vsize=28832844 memory=772 CPUtime=0 cores=0-7
/proc/23544/task/23548/stat : 23548 (java) S 23542 23542 19225 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 420204974 29524832256 42130 33554432000 4194304 4196468 140725817902416 140408656878480 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
################
# More data... #
################
[pid=23544/tid=23561] ppid=23542 vsize=28834892 memory=8296 CPUtime=0.94 cores=0-7
/proc/23544/task/23561/stat : 23561 (java) S 23542 23542 19225 0 -1 1077944384 14839 0 0 0 91 3 0 0 20 0 28 0 420204978 29526929408 141998 33554432000 4194304 4196468 140725817902416 140407228786672 140409107864194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23562] ppid=23542 vsize=28834892 memory=5964 CPUtime=0 cores=0-7
/proc/23544/task/23562/stat : 23562 (java) S 23542 23542 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420204978 29526929408 141998 33554432000 4194304 4196468 140725817902416 140407227735136 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23563] ppid=23542 vsize=28834892 memory=1124 CPUtime=0.09 cores=0-7
/proc/23544/task/23563/stat : 23563 (java) S 23542 23542 19225 0 -1 1077944384 1310 0 0 0 9 0 0 0 20 0 28 0 420204979 29526929408 141998 33554432000 4194304 4196468 140725817902416 140407226682416 140409107864194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23620] ppid=23542 vsize=28834892 memory=14008 CPUtime=240.14 cores=0-7
/proc/23544/task/23620/stat : 23620 (java) R 23542 23542 19225 0 -1 4202560 2230 0 0 0 24012 2 0 0 20 0 28 0 420205043 29526929408 141998 33554432000 4194304 4196468 140725817902416 140407209287496 140408743296617 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23621] ppid=23542 vsize=28834892 memory=12024 CPUtime=239.9 cores=0-7
/proc/23544/task/23621/stat : 23621 (java) R 23542 23542 19225 0 -1 4202560 2094 0 0 0 23989 1 0 0 20 0 28 0 420205043 29526929408 141998 33554432000 4194304 4196468 140725817902416 140407215603960 140408745634358 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23622] ppid=23542 vsize=28834892 memory=2124 CPUtime=238.13 cores=0-7
/proc/23544/task/23622/stat : 23622 (java) R 23542 23542 19225 0 -1 4202560 16316 0 0 0 23805 8 0 0 20 0 28 0 420205043 29526929408 141998 33554432000 4194304 4196468 140725817902416 140407212445088 140408749040827 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23623] ppid=23542 vsize=28834892 memory=8012 CPUtime=239.44 cores=0-7
/proc/23544/task/23623/stat : 23623 (java) R 23542 23542 19225 0 -1 4202560 11261 0 0 0 23939 5 0 0 20 0 28 0 420205043 29526929408 141998 33554432000 4194304 4196468 140725817902416 140407216656280 140408746708769 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23624] ppid=23542 vsize=28834892 memory=504 CPUtime=238.94 cores=0-7
/proc/23544/task/23624/stat : 23624 (java) R 23542 23542 19225 0 -1 4202560 7899 0 0 0 23890 4 0 0 20 0 28 0 420205043 29526929408 141998 33554432000 4194304 4196468 140725817902416 140407211393432 140408748893808 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23625] ppid=23542 vsize=28834892 memory=1564 CPUtime=239.59 cores=0-7
/proc/23544/task/23625/stat : 23625 (java) R 23542 23542 19225 0 -1 4202560 4475 0 0 0 23957 2 0 0 20 0 28 0 420205043 29526929408 141998 33554432000 4194304 4196468 140725817902416 140407217711152 140408743296312 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23626] ppid=23542 vsize=28834892 memory=924 CPUtime=239.84 cores=0-7
/proc/23544/task/23626/stat : 23626 (java) R 23542 23542 19225 0 -1 4202560 4415 0 0 0 23981 3 0 0 20 0 28 0 420205043 29526929408 141998 33554432000 4194304 4196468 140725817902416 140407213499000 140408743296924 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23627] ppid=23542 vsize=28834892 memory=1420 CPUtime=240.31 cores=0-7
/proc/23544/task/23627/stat : 23627 (java) R 23542 23542 19225 0 -1 4202560 2015 0 0 0 24029 2 0 0 20 0 28 0 420205043 29526929408 141998 33554432000 4194304 4196468 140725817902416 140407214551544 140408743732948 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
Current children cumulated CPU time: 1937.05 s
Current children cumulated vsize: 28948020 KiB
Current children cumulated memory: 569448 KiB
[startup+244.801 s]
/proc/loadavg: 8.05 7.83 7.37 9/219 23641
/proc/meminfo: memFree=30404144/32770624 swapFree=66935388/67108860
[pid=23542] ppid=23539 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23542/stat : 23542 (xcsp3-exec) S 23539 23542 19225 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420204972 115843072 364 33554432000 4194304 5098028 140735277664240 140735277662344 140633758196348 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7897088 140735277671285 140735277671529 140735277671529 140735277674442 0
/proc/23542/statm: 28282 364 305 221 0 87 0
[pid=23544] ppid=23542 vsize=28834892 memory=567996 CPUtime=1941.62 cores=0-7
/proc/23544/stat : 23544 (java) S 23542 23542 19225 0 -1 1077944320 170138 0 0 0 193983 179 0 0 20 0 28 0 420204973 29526929408 141999 33554432000 4194304 4196468 140725817902416 140725817884960 140409107853047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
/proc/23544/statm: 7208723 141999 3521 1 0 7169825 0
[pid=23544/tid=23545] ppid=23542 vsize=28834892 memory=566456 CPUtime=0.57 cores=0-7
/proc/23544/task/23545/stat : 23545 (java) S 23542 23542 19225 0 -1 1077944384 9365 0 0 0 53 4 0 0 20 0 28 0 420204973 29526929408 141999 33554432000 4194304 4196468 140725817902416 140409112093824 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23546] ppid=23542 vsize=28834892 memory=504 CPUtime=1.36 cores=0-7
/proc/23544/task/23546/stat : 23546 (java) S 23542 23542 19225 0 -1 1077944384 4056 0 0 0 121 15 0 0 20 0 28 0 420204974 29526929408 141999 33554432000 4194304 4196468 140725817902416 140409060474000 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23547] ppid=23542 vsize=28834892 memory=1564 CPUtime=1.37 cores=0-7
/proc/23544/task/23547/stat : 23547 (java) S 23542 23542 19225 0 -1 1077944384 3520 0 0 0 123 14 0 0 20 0 28 0 420204974 29526929408 141999 33554432000 4194304 4196468 140725817902416 140409059421200 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23548] ppid=23542 vsize=28834892 memory=1456 CPUtime=1.38 cores=0-7
/proc/23544/task/23548/stat : 23548 (java) S 23542 23542 19225 0 -1 1077944384 3775 0 0 0 124 14 0 0 20 0 28 0 420204974 29526929408 141999 33554432000 4194304 4196468 140725817902416 140408656878480 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23549] ppid=23542 vsize=28834892 memory=558776 CPUtime=1.39 cores=0-7
/proc/23544/task/23549/stat : 23549 (java) S 23542 23542 19225 0 -1 1077944384 4015 0 0 0 124 15 0 0 20 0 28 0 420204974 29526929408 141999 33554432000 4194304 4196468 140725817902416 140408655825680 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23550] ppid=23542 vsize=28834892 memory=6791534058613427641 CPUtime=1.37 cores=0-7
/proc/23544/task/23550/stat : 23550 (java) S 23542 23542 19225 0 -1 1077944384 5692 0 0 0 122 15 0 0 20 0 28 0 420204974 29526929408 141999 33554432000 4194304 4196468 140725817902416 140408654772880 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23551] ppid=23542 vsize=28834892 memory=111632 CPUtime=1.39 cores=0-7
/proc/23544/task/23551/stat : 23551 (java) S 23542 23542 19225 0 -1 1077944384 4698 0 0 0 123 16 0 0 20 0 28 0 420204974 29526929408 141999 33554432000 4194304 4196468 140725817902416 140408653720080 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23552] ppid=23542 vsize=28834892 memory=804 CPUtime=1.37 cores=0-7
/proc/23544/task/23552/stat : 23552 (java) S 23542 23542 19225 0 -1 1077944384 3405 0 0 0 123 14 0 0 20 0 28 0 420204974 29526929408 141999 33554432000 4194304 4196468 140725817902416 140408652667280 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23553] ppid=23542 vsize=28834892 memory=1656 CPUtime=1.37 cores=0-7
/proc/23544/task/23553/stat : 23553 (java) S 23542 23542 19225 0 -1 1077944384 2490 0 0 0 124 13 0 0 20 0 28 0 420204974 29526929408 141999 33554432000 4194304 4196468 140725817902416 140408651614480 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23554] ppid=23542 vsize=28834892 memory=288230574492221466 CPUtime=0.27 cores=0-7
/proc/23544/task/23554/stat : 23554 (java) S 23542 23542 19225 0 -1 1077944384 8145 0 0 0 20 7 0 0 20 0 28 0 420204975 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407236156272 140409107864194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23555] ppid=23542 vsize=28834892 memory=288230621803970871 CPUtime=0 cores=0-7
/proc/23544/task/23555/stat : 23555 (java) S 23542 23542 19225 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 420204976 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407235102304 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23556] ppid=23542 vsize=28834892 memory=14133350919046965 CPUtime=0 cores=0-7
/proc/23544/task/23556/stat : 23556 (java) S 23542 23542 19225 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 420204976 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407234049408 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23557] ppid=23542 vsize=28834892 memory=920 CPUtime=0 cores=0-7
/proc/23544/task/23557/stat : 23557 (java) S 23542 23542 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420204978 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407232997712 140409107871643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23558] ppid=23542 vsize=28834892 memory=5020 CPUtime=2.38 cores=0-7
/proc/23544/task/23558/stat : 23558 (java) S 23542 23542 19225 0 -1 1077944384 14654 0 0 0 236 2 0 0 20 0 28 0 420204978 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407231945072 140409107864194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23559] ppid=23542 vsize=28834892 memory=4104 CPUtime=2.56 cores=0-7
/proc/23544/task/23559/stat : 23559 (java) S 23542 23542 19225 0 -1 1077944384 18640 0 0 0 254 2 0 0 20 0 28 0 420204978 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407230892272 140409107864194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23560] ppid=23542 vsize=28834892 memory=288230574492221466 CPUtime=2.21 cores=0-7
/proc/23544/task/23560/stat : 23560 (java) S 23542 23542 19225 0 -1 1077944384 18001 0 0 0 218 3 0 0 20 0 28 0 420204978 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407229839472 140409107864194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23561] ppid=23542 vsize=28834892 memory=288230621803970871 CPUtime=0.94 cores=0-7
/proc/23544/task/23561/stat : 23561 (java) S 23542 23542 19225 0 -1 1077944384 14916 0 0 0 91 3 0 0 20 0 28 0 420204978 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407228786672 140409107864194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23562] ppid=23542 vsize=28834892 memory=14133350919046965 CPUtime=0 cores=0-7
/proc/23544/task/23562/stat : 23562 (java) S 23542 23542 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420204978 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407227735136 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23563] ppid=23542 vsize=28834892 memory=1124 CPUtime=0.09 cores=0-7
/proc/23544/task/23563/stat : 23563 (java) S 23542 23542 19225 0 -1 1077944384 1310 0 0 0 9 0 0 0 20 0 28 0 420204979 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407226682416 140409107864194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23620] ppid=23542 vsize=28834892 memory=14008 CPUtime=240.68 cores=0-7
/proc/23544/task/23620/stat : 23620 (java) S 23542 23542 19225 0 -1 1077944384 2257 0 0 0 24066 2 0 0 20 0 28 0 420205043 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407209291712 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23621] ppid=23542 vsize=28834892 memory=12024 CPUtime=240.44 cores=0-7
/proc/23544/task/23621/stat : 23621 (java) S 23542 23542 19225 0 -1 1077944384 2155 0 0 0 24043 1 0 0 20 0 28 0 420205043 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407215609040 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23622] ppid=23542 vsize=28834892 memory=-7003737579269690708 CPUtime=238.92 cores=0-7
/proc/23544/task/23622/stat : 23622 (java) R 23542 23542 19225 0 -1 4202560 16316 0 0 0 23884 8 0 0 20 0 28 0 420205043 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407212445200 140408749040846 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23623] ppid=23542 vsize=28834892 memory=1332 CPUtime=239.98 cores=0-7
/proc/23544/task/23623/stat : 23623 (java) S 23542 23542 19225 0 -1 1077944384 11286 0 0 0 23993 5 0 0 20 0 28 0 420205043 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407216661456 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23624] ppid=23542 vsize=28834892 memory=1564 CPUtime=239.48 cores=0-7
/proc/23544/task/23624/stat : 23624 (java) S 23542 23542 19225 0 -1 1077944384 7923 0 0 0 23944 4 0 0 20 0 28 0 420205043 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407211397968 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23625] ppid=23542 vsize=28834892 memory=976 CPUtime=240.13 cores=0-7
/proc/23544/task/23625/stat : 23625 (java) S 23542 23542 19225 0 -1 1077944384 4500 0 0 0 24011 2 0 0 20 0 28 0 420205043 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407217713872 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23626] ppid=23542 vsize=28834892 memory=772 CPUtime=240.38 cores=0-7
/proc/23544/task/23626/stat : 23626 (java) S 23542 23542 19225 0 -1 1077944384 4439 0 0 0 24035 3 0 0 20 0 28 0 420205043 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407213504080 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23627] ppid=23542 vsize=28834892 memory=3932 CPUtime=240.85 cores=0-7
/proc/23544/task/23627/stat : 23627 (java) S 23542 23542 19225 0 -1 1077944384 2042 0 0 0 24083 2 0 0 20 0 28 0 420205043 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407214556624 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
Current children cumulated CPU time: 1941.62 s
Current children cumulated vsize: 28948020 KiB
Current children cumulated memory: 569452 KiB
[startup+245.201 s]
/proc/loadavg: 8.05 7.83 7.37 2/219 23641
/proc/meminfo: memFree=30404516/32770624 swapFree=66935388/67108860
[pid=23542] ppid=23539 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23542/stat : 23542 (xcsp3-exec) S 23539 23542 19225 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420204972 115843072 364 33554432000 4194304 5098028 140735277664240 140735277662344 140633758196348 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7897088 140735277671285 140735277671529 140735277671529 140735277674442 0
/proc/23542/statm: 28282 364 305 221 0 87 0
[pid=23544] ppid=23542 vsize=28834892 memory=567996 CPUtime=1942.02 cores=0-7
/proc/23544/stat : 23544 (java) S 23542 23542 19225 0 -1 1077944320 170162 0 0 0 194023 179 0 0 20 0 28 0 420204973 29526929408 141999 33554432000 4194304 4196468 140725817902416 140725817884960 140409107853047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
/proc/23544/statm: 7208723 141999 3521 1 0 7169825 0
[pid=23544/tid=23545] ppid=23542 vsize=28834892 memory=-7175204567652784766 CPUtime=0.57 cores=0-7
/proc/23544/task/23545/stat : 23545 (java) S 23542 23542 19225 0 -1 1077944384 9365 0 0 0 53 4 0 0 20 0 28 0 420204973 29526929408 141999 33554432000 4194304 4196468 140725817902416 140409112093824 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23546] ppid=23542 vsize=28834892 memory=-8412660948202001267 CPUtime=1.36 cores=0-7
/proc/23544/task/23546/stat : 23546 (java) S 23542 23542 19225 0 -1 1077944384 4056 0 0 0 121 15 0 0 20 0 28 0 420204974 29526929408 141999 33554432000 4194304 4196468 140725817902416 140409060474000 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23547] ppid=23542 vsize=28834892 memory=-6520471753822164382 CPUtime=1.37 cores=0-7
/proc/23544/task/23547/stat : 23547 (java) S 23542 23542 19225 0 -1 1077944384 3520 0 0 0 123 14 0 0 20 0 28 0 420204974 29526929408 141999 33554432000 4194304 4196468 140725817902416 140409059421200 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23548] ppid=23542 vsize=28834892 memory=1440 CPUtime=1.38 cores=0-7
/proc/23544/task/23548/stat : 23548 (java) S 23542 23542 19225 0 -1 1077944384 3775 0 0 0 124 14 0 0 20 0 28 0 420204974 29526929408 141999 33554432000 4194304 4196468 140725817902416 140408656878480 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23549] ppid=23542 vsize=28834892 memory=812 CPUtime=1.39 cores=0-7
/proc/23544/task/23549/stat : 23549 (java) S 23542 23542 19225 0 -1 1077944384 4015 0 0 0 124 15 0 0 20 0 28 0 420204974 29526929408 141999 33554432000 4194304 4196468 140725817902416 140408655825680 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23550] ppid=23542 vsize=28834892 memory=1772 CPUtime=1.37 cores=0-7
/proc/23544/task/23550/stat : 23550 (java) S 23542 23542 19225 0 -1 1077944384 5692 0 0 0 122 15 0 0 20 0 28 0 420204974 29526929408 141999 33554432000 4194304 4196468 140725817902416 140408654772880 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23551] ppid=23542 vsize=28834892 memory=1456 CPUtime=1.39 cores=0-7
/proc/23544/task/23551/stat : 23551 (java) S 23542 23542 19225 0 -1 1077944384 4698 0 0 0 123 16 0 0 20 0 28 0 420204974 29526929408 141999 33554432000 4194304 4196468 140725817902416 140408653720080 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23552] ppid=23542 vsize=28834892 memory=567996 CPUtime=1.37 cores=0-7
/proc/23544/task/23552/stat : 23552 (java) S 23542 23542 19225 0 -1 1077944384 3405 0 0 0 123 14 0 0 20 0 28 0 420204974 29526929408 141999 33554432000 4194304 4196468 140725817902416 140408652667280 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23553] ppid=23542 vsize=28834892 memory=504 CPUtime=1.37 cores=0-7
/proc/23544/task/23553/stat : 23553 (java) S 23542 23542 19225 0 -1 1077944384 2490 0 0 0 124 13 0 0 20 0 28 0 420204974 29526929408 141999 33554432000 4194304 4196468 140725817902416 140408651614480 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23554] ppid=23542 vsize=28834892 memory=1564 CPUtime=0.27 cores=0-7
/proc/23544/task/23554/stat : 23554 (java) S 23542 23542 19225 0 -1 1077944384 8145 0 0 0 20 7 0 0 20 0 28 0 420204975 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407236156272 140409107864194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23555] ppid=23542 vsize=28834892 memory=924 CPUtime=0 cores=0-7
/proc/23544/task/23555/stat : 23555 (java) S 23542 23542 19225 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 420204976 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407235102304 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23556] ppid=23542 vsize=28834892 memory=1420 CPUtime=0 cores=0-7
/proc/23544/task/23556/stat : 23556 (java) S 23542 23542 19225 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 420204976 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407234049408 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23557] ppid=23542 vsize=28834892 memory=1984 CPUtime=0 cores=0-7
/proc/23544/task/23557/stat : 23557 (java) S 23542 23542 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420204978 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407232997712 140409107871643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23558] ppid=23542 vsize=28834892 memory=2532 CPUtime=2.38 cores=0-7
/proc/23544/task/23558/stat : 23558 (java) S 23542 23542 19225 0 -1 1077944384 14654 0 0 0 236 2 0 0 20 0 28 0 420204978 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407231945072 140409107864194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23559] ppid=23542 vsize=28834892 memory=5020 CPUtime=2.56 cores=0-7
/proc/23544/task/23559/stat : 23559 (java) S 23542 23542 19225 0 -1 1077944384 18640 0 0 0 254 2 0 0 20 0 28 0 420204978 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407230892272 140409107864194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23560] ppid=23542 vsize=28834892 memory=4104 CPUtime=2.21 cores=0-7
/proc/23544/task/23560/stat : 23560 (java) S 23542 23542 19225 0 -1 1077944384 18001 0 0 0 218 3 0 0 20 0 28 0 420204978 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407229839472 140409107864194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23561] ppid=23542 vsize=28834892 memory=1412 CPUtime=0.94 cores=0-7
/proc/23544/task/23561/stat : 23561 (java) S 23542 23542 19225 0 -1 1077944384 14916 0 0 0 91 3 0 0 20 0 28 0 420204978 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407228786672 140409107864194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23562] ppid=23542 vsize=28834892 memory=3624 CPUtime=0 cores=0-7
/proc/23544/task/23562/stat : 23562 (java) S 23542 23542 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420204978 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407227735136 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23563] ppid=23542 vsize=28834892 memory=1456 CPUtime=0.09 cores=0-7
/proc/23544/task/23563/stat : 23563 (java) S 23542 23542 19225 0 -1 1077944384 1310 0 0 0 9 0 0 0 20 0 28 0 420204979 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407226682416 140409107864194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23620] ppid=23542 vsize=28834892 memory=558776 CPUtime=240.68 cores=0-7
/proc/23544/task/23620/stat : 23620 (java) S 23542 23542 19225 0 -1 1077944384 2257 0 0 0 24066 2 0 0 20 0 28 0 420205043 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407209291712 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23621] ppid=23542 vsize=28834892 memory=6791534058613427641 CPUtime=240.44 cores=0-7
/proc/23544/task/23621/stat : 23621 (java) S 23542 23542 19225 0 -1 1077944384 2155 0 0 0 24043 1 0 0 20 0 28 0 420205043 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407215609040 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23622] ppid=23542 vsize=28834892 memory=-7003737579269690708 CPUtime=239.32 cores=0-7
/proc/23544/task/23622/stat : 23622 (java) R 23542 23542 19225 0 -1 4202560 16340 0 0 0 23924 8 0 0 20 0 28 0 420205043 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407212445200 140408741987243 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23623] ppid=23542 vsize=28834892 memory=5020 CPUtime=239.98 cores=0-7
/proc/23544/task/23623/stat : 23623 (java) S 23542 23542 19225 0 -1 1077944384 11286 0 0 0 23993 5 0 0 20 0 28 0 420205043 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407216661456 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23624] ppid=23542 vsize=28834892 memory=4104 CPUtime=239.48 cores=0-7
/proc/23544/task/23624/stat : 23624 (java) S 23542 23542 19225 0 -1 1077944384 7923 0 0 0 23944 4 0 0 20 0 28 0 420205043 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407211397968 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23625] ppid=23542 vsize=28834892 memory=1412 CPUtime=240.13 cores=0-7
/proc/23544/task/23625/stat : 23625 (java) S 23542 23542 19225 0 -1 1077944384 4500 0 0 0 24011 2 0 0 20 0 28 0 420205043 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407217713872 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23626] ppid=23542 vsize=28834892 memory=3624 CPUtime=240.38 cores=0-7
/proc/23544/task/23626/stat : 23626 (java) S 23542 23542 19225 0 -1 1077944384 4439 0 0 0 24035 3 0 0 20 0 28 0 420205043 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407213504080 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
[pid=23544/tid=23627] ppid=23542 vsize=28834892 memory=1456 CPUtime=240.85 cores=0-7
/proc/23544/task/23627/stat : 23627 (java) S 23542 23542 19225 0 -1 1077944384 2042 0 0 0 24083 2 0 0 20 0 28 0 420205043 29526929408 141999 33554432000 4194304 4196468 140725817902416 140407214556624 140409107863253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 25362432 140725817910250 140725817910422 140725817910422 140725817913295 0
Current children cumulated CPU time: 1942.02 s
Current children cumulated vsize: 28948020 KiB
Current children cumulated memory: 569452 KiB
Child status: 0
Real time (s): 245.231
CPU time (s): 1942.07
CPU user time (s): 1940.26
CPU system time (s): 1.80729
CPU usage (%): 791.934
Max. virtual memory (cumulated for all children) (KiB): 28948020
Max. memory (cumulated for all children) (KiB): 606440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1940.26
system time used= 1.80729
maximum resident set size= 606000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171362
page faults= 0
swaps= 0
block input operations= 0
block output operations= 488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23876
involuntary context switches= 24302
# summary of solver processes directly reported to runsolver:
# pid: 23542
# total CPU time (s): 1942.07
# total CPU user time (s): 1940.26
# total CPU system time (s): 1.80729
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.20824 second user time and 2.87016 second system time
The end
Begin job on node151 at 2019-09-14 07:34:56
IDJOB=4394416
IDBENCH=135750
IDSOLVER=2843
FILE ID=node151/4394416-1568439335
RUNJOBID= node151-1568430672-19252
PBS_JOBID= 21702312
Free space on /tmp= 59308 MiB
SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n15/TravellingSalesman-15-30-17.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394416-1568439335/watcher-4394416-1568439335 -o /tmp/evaluation-result-4394416-1568439335/solver-4394416-1568439335 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1568430672-19252 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1639328053 HOME/instance-4394416-1568439335.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 97cdfd39e69e24a1288603b41de82026
RANDOM SEED=1639328053
node151.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.53
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5335.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.53
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5335.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.53
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5335.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.53
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5335.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 30961024 kB
MemAvailable: 31849692 kB
Buffers: 194056 kB
Cached: 983804 kB
SwapCached: 70940 kB
Active: 649920 kB
Inactive: 602100 kB
Active(anon): 9736 kB
Inactive(anon): 97924 kB
Active(file): 640184 kB
Inactive(file): 504176 kB
Unevictable: 109880 kB
Mlocked: 109880 kB
SwapTotal: 67108860 kB
SwapFree: 66935388 kB
Dirty: 26232 kB
Writeback: 0 kB
AnonPages: 134108 kB
Mapped: 37524 kB
Shmem: 24620 kB
Slab: 148440 kB
SReclaimable: 119524 kB
SUnreclaim: 28916 kB
KernelStack: 3280 kB
PageTables: 5424 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 499088 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 90112 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 138624 kB
DirectMap2M: 33406976 kB
Free space on /tmp at the end= 59284 MiB
End job on node151 at 2019-09-14 07:39:01