0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280859-1503149701.xml" -tl '20160s' -p 8 -x 0
0.11/0.14 c [HOME/instance-4280859-1503149701.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.33/0.26 c parse instance...
0.72/0.44 c solve instance...
52.58/8.66 s SATISFIABLE
52.58/8.66 v <instantiation>
52.58/8.66 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] </list>
52.58/8.66 v <values>0 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 </values>
52.58/8.66 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 (11251 MiB free)
memory of node 1: 16384 MiB (12231 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280859-1503149701/watcher-4280859-1503149701 -o /tmp/evaluation-result-4280859-1503149701/solver-4280859-1503149701 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1503143753-17743 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 541731728 HOME/instance-4280859-1503149701.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
solver pid=18464, runsolver pid=18461
Current StackSize limit: 8192 KiB
[startup+0.100135 s]*
/proc/loadavg: 6.82 7.94 8.19 2/200 18485
/proc/meminfo: memFree=24032832/32770624 swapFree=67108860/67108860
[pid=18464] ppid=18461 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/18464/stat : 18464 (xcsp3-exec) S 18461 18464 17716 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 148057862 9740288 345 33554432000 4194304 5098028 140726958583328 140726958581432 140176355443324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11698176 140726958584933 140726958585143 140726958585143 140726958587883 0
/proc/18464/statm: 2378 345 289 221 0 87 0
[pid=18466] ppid=18464 vsize=25999808 memory=26288 CPUtime=0.11 cores=0-7
/proc/18466/stat : 18466 (java) S 18464 18464 17716 0 -1 1077944320 5507 0 0 0 10 1 0 0 20 0 20 0 148057862 26623803392 6572 33554432000 4194304 4196468 140734365395824 140734365378368 140481328463607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
/proc/18466/statm: 6499952 6572 2845 1 0 6488269 0
[pid=18466/tid=18467] ppid=18464 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/18466/task/18467/stat : 18467 (java) R 18464 18464 17716 0 -1 4202560 3517 0 0 0 8 1 0 0 20 0 20 0 148057863 26623803392 6572 33554432000 4194304 4196468 140734365395824 140481332698144 140480948080904 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18468] ppid=18464 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18468/stat : 18468 (java) S 18464 18464 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148057864 26623803392 6572 33554432000 4194304 4196468 140734365395824 140481281084304 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18469] ppid=18464 vsize=25999808 memory=140273628694144 CPUtime=0 cores=0-7
/proc/18466/task/18469/stat : 18469 (java) S 18464 18464 17716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148057864 26623803392 6572 33554432000 4194304 4196468 140734365395824 140481280031504 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18470] ppid=18464 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18470/stat : 18470 (java) S 18464 18464 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148057864 26623803392 6572 33554432000 4194304 4196468 140734365395824 140481278979216 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18471] ppid=18464 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18471/stat : 18471 (java) S 18464 18464 17716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148057864 26623803392 6572 33554432000 4194304 4196468 140734365395824 140481277926416 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18472] ppid=18464 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18472/stat : 18472 (java) S 18464 18464 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148057864 26623803392 6572 33554432000 4194304 4196468 140734365395824 140481276873104 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18473] ppid=18464 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/18466/task/18473/stat : 18473 (java) S 18464 18464 17716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148057864 26623803392 6572 33554432000 4194304 4196468 140734365395824 140481275820304 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18474] ppid=18464 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18474/stat : 18474 (java) S 18464 18464 17716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148057864 26623803392 6572 33554432000 4194304 4196468 140734365395824 140481274768016 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18475] ppid=18464 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18475/stat : 18475 (java) S 18464 18464 17716 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148057864 26623803392 6572 33554432000 4194304 4196468 140734365395824 140481273715216 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18476] ppid=18464 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18476/stat : 18476 (java) S 18464 18464 17716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148057865 26623803392 6572 33554432000 4194304 4196468 140734365395824 140480003164784 140481328474754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18477] ppid=18464 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18477/stat : 18477 (java) S 18464 18464 17716 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148057866 26623803392 6572 33554432000 4194304 4196468 140734365395824 140480002110752 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18478] ppid=18464 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18478/stat : 18478 (java) S 18464 18464 17716 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148057866 26623803392 6572 33554432000 4194304 4196468 140734365395824 140480001058416 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18479] ppid=18464 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18479/stat : 18479 (java) S 18464 18464 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148057868 26623803392 6572 33554432000 4194304 4196468 140734365395824 140480000006736 140481328482203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18480] ppid=18464 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18480/stat : 18480 (java) S 18464 18464 17716 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 148057868 26623803392 6572 33554432000 4194304 4196468 140734365395824 140479998953584 140481328474754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18481] ppid=18464 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18481/stat : 18481 (java) R 18464 18464 17716 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 148057868 26623803392 6572 33554432000 4194304 4196468 140734365395824 140479997900784 140481328474754 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18482] ppid=18464 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18482/stat : 18482 (java) S 18464 18464 17716 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 148057868 26623803392 6572 33554432000 4194304 4196468 140734365395824 140479996848496 140481328474754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18483] ppid=18464 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/18466/task/18483/stat : 18483 (java) R 18464 18464 17716 0 -1 1077944384 252 0 0 0 1 0 0 0 20 0 20 0 148057868 26623803392 6572 33554432000 4194304 4196468 140734365395824 140479995795696 140481328474754 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18484] ppid=18464 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18484/stat : 18484 (java) S 18464 18464 17716 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148057868 26623803392 6572 33554432000 4194304 4196468 140734365395824 140479994743648 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18485] ppid=18464 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/18466/task/18485/stat : 18485 (java) S 18464 18464 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148057869 26623803392 6572 33554432000 4194304 4196468 140734365395824 140479993690928 140481328474754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27668 KiB
[startup+0.210631 s]*
/proc/loadavg: 6.82 7.94 8.19 2/200 18485
/proc/meminfo: memFree=24021916/32770624 swapFree=67108860/67108860
[pid=18464] ppid=18461 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/18464/stat : 18464 (xcsp3-exec) S 18461 18464 17716 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 148057862 9740288 345 33554432000 4194304 5098028 140726958583328 140726958581432 140176355443324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11698176 140726958584933 140726958585143 140726958585143 140726958587883 0
/proc/18464/statm: 2378 345 289 221 0 87 0
[pid=18466] ppid=18464 vsize=26004064 memory=38968 CPUtime=0.33 cores=0-7
/proc/18466/stat : 18466 (java) S 18464 18464 17716 0 -1 1077944320 8357 0 0 0 31 2 0 0 20 0 20 0 148057862 26628161536 9742 33554432000 4194304 4196468 140734365395824 140734365378368 140481328463607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
/proc/18466/statm: 6501024 9742 3063 1 0 6488277 0
[pid=18466/tid=18467] ppid=18464 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/18466/task/18467/stat : 18467 (java) D 18464 18464 17716 0 -1 1077944384 5474 0 0 0 18 2 0 0 20 0 20 0 148057863 26628161536 9742 33554432000 4194304 4196468 140734365395824 140481332674576 140481321142829 0 4 0 16800975 18446744072101584420 0 0 -1 1 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18468] ppid=18464 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/18466/task/18468/stat : 18468 (java) S 18464 18464 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148057864 26628161536 9742 33554432000 4194304 4196468 140734365395824 140481281084304 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18469] ppid=18464 vsize=26004064 memory=140273628712064 CPUtime=0 cores=0-7
/proc/18466/task/18469/stat : 18469 (java) S 18464 18464 17716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148057864 26628161536 9742 33554432000 4194304 4196468 140734365395824 140481280031504 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18470] ppid=18464 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/18466/task/18470/stat : 18470 (java) S 18464 18464 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148057864 26628161536 9742 33554432000 4194304 4196468 140734365395824 140481278979216 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18471] ppid=18464 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18471/stat : 18471 (java) S 18464 18464 17716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148057864 26628161536 9742 33554432000 4194304 4196468 140734365395824 140481277926416 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18472] ppid=18464 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18472/stat : 18472 (java) S 18464 18464 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148057864 26628194304 9742 33554432000 4194304 4196468 140734365395824 140481276873104 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18473] ppid=18464 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/18466/task/18473/stat : 18473 (java) S 18464 18464 17716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148057864 26628194304 9742 33554432000 4194304 4196468 140734365395824 140481275820304 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18474] ppid=18464 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18474/stat : 18474 (java) S 18464 18464 17716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148057864 26628161536 9742 33554432000 4194304 4196468 140734365395824 140481274768016 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18475] ppid=18464 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18475/stat : 18475 (java) S 18464 18464 17716 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148057864 26628161536 9742 33554432000 4194304 4196468 140734365395824 140481273715216 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18476] ppid=18464 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18476/stat : 18476 (java) S 18464 18464 17716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148057865 26628161536 9742 33554432000 4194304 4196468 140734365395824 140480003164784 140481328474754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18477] ppid=18464 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18477/stat : 18477 (java) S 18464 18464 17716 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148057866 26628161536 9742 33554432000 4194304 4196468 140734365395824 140480002110752 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18478] ppid=18464 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18478/stat : 18478 (java) S 18464 18464 17716 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148057866 26628194304 9742 33554432000 4194304 4196468 140734365395824 140480001058416 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18479] ppid=18464 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18479/stat : 18479 (java) S 18464 18464 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148057868 26628194304 9742 33554432000 4194304 4196468 140734365395824 140480000006736 140481328482203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18480] ppid=18464 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18480/stat : 18480 (java) S 18464 18464 17716 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 148057868 26628161536 9742 33554432000 4194304 4196468 140734365395824 140479998953584 140481328474754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18481] ppid=18464 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/18466/task/18481/stat : 18481 (java) S 18464 18464 17716 0 -1 1077944384 169 0 0 0 2 0 0 0 20 0 20 0 148057868 26628161536 9742 33554432000 4194304 4196468 140734365395824 140479997900784 140481328474754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18482] ppid=18464 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/18466/task/18482/stat : 18482 (java) S 18464 18464 17716 0 -1 1077944384 333 0 0 0 1 0 0 0 20 0 20 0 148057868 26628161536 9742 33554432000 4194304 4196468 140734365395824 140479996848496 140481328474754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18483] ppid=18464 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/18466/task/18483/stat : 18483 (java) S 18464 18464 17716 0 -1 1077944384 769 0 0 0 7 0 0 0 20 0 20 0 148057868 26628161536 9742 33554432000 4194304 4196468 140734365395824 140479995795696 140481328474754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18484] ppid=18464 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18484/stat : 18484 (java) S 18464 18464 17716 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148057868 26628161536 9742 33554432000 4194304 4196468 140734365395824 140479994743648 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18485] ppid=18464 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/18466/task/18485/stat : 18485 (java) S 18464 18464 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148057869 26628194304 9742 33554432000 4194304 4196468 140734365395824 140479993690928 140481328474754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40348 KiB
[startup+0.310815 s]*
/proc/loadavg: 6.82 7.94 8.19 2/200 18485
/proc/meminfo: memFree=24014472/32770624 swapFree=67108860/67108860
[pid=18464] ppid=18461 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/18464/stat : 18464 (xcsp3-exec) S 18461 18464 17716 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 148057862 9740288 345 33554432000 4194304 5098028 140726958583328 140726958581432 140176355443324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11698176 140726958584933 140726958585143 140726958585143 140726958587883 0
/proc/18464/statm: 2378 345 289 221 0 87 0
[pid=18466] ppid=18464 vsize=26004140 memory=46216 CPUtime=0.49 cores=0-7
/proc/18466/stat : 18466 (java) S 18464 18464 17716 0 -1 1077944320 9251 0 0 0 46 3 0 0 20 0 20 0 148057862 26628239360 11554 33554432000 4194304 4196468 140734365395824 140734365378368 140481328463607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
/proc/18466/statm: 6501035 11554 3129 1 0 6488269 0
[pid=18466/tid=18467] ppid=18464 vsize=26004140 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/18466/task/18467/stat : 18467 (java) R 18464 18464 17716 0 -1 4202560 6241 0 0 0 27 2 0 0 20 0 20 0 148057863 26628239360 11554 33554432000 4194304 4196468 140734365395824 140481332695440 140481328485533 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18468] ppid=18464 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18468/stat : 18468 (java) S 18464 18464 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148057864 26628239360 11554 33554432000 4194304 4196468 140734365395824 140481281084304 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18469] ppid=18464 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18469/stat : 18469 (java) S 18464 18464 17716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148057864 26628239360 11554 33554432000 4194304 4196468 140734365395824 140481280031504 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18470] ppid=18464 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18470/stat : 18470 (java) S 18464 18464 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148057864 26628239360 11554 33554432000 4194304 4196468 140734365395824 140481278979216 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18471] ppid=18464 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18471/stat : 18471 (java) S 18464 18464 17716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148057864 26628239360 11554 33554432000 4194304 4196468 140734365395824 140481277926416 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18472] ppid=18464 vsize=26004140 memory=2244 CPUtime=0 cores=0-7
/proc/18466/task/18472/stat : 18472 (java) S 18464 18464 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148057864 26628239360 11554 33554432000 4194304 4196468 140734365395824 140481276873104 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18473] ppid=18464 vsize=26004140 memory=140273497764783 CPUtime=0 cores=0-7
/proc/18466/task/18473/stat : 18473 (java) S 18464 18464 17716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148057864 26628239360 11554 33554432000 4194304 4196468 140734365395824 140481275820304 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18474] ppid=18464 vsize=26004140 memory=140273497767088 CPUtime=0 cores=0-7
/proc/18466/task/18474/stat : 18474 (java) S 18464 18464 17716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148057864 26628239360 11554 33554432000 4194304 4196468 140734365395824 140481274768016 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18475] ppid=18464 vsize=26004140 memory=140273497769392 CPUtime=0 cores=0-7
/proc/18466/task/18475/stat : 18475 (java) S 18464 18464 17716 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148057864 26628239360 11554 33554432000 4194304 4196468 140734365395824 140481273715216 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18476] ppid=18464 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18476/stat : 18476 (java) S 18464 18464 17716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148057865 26628239360 11554 33554432000 4194304 4196468 140734365395824 140480003164784 140481328474754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18477] ppid=18464 vsize=26004140 memory=280546995545744 CPUtime=0 cores=0-7
/proc/18466/task/18477/stat : 18477 (java) S 18464 18464 17716 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148057866 26628239360 11554 33554432000 4194304 4196468 140734365395824 140480002110752 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18478] ppid=18464 vsize=26004140 memory=280546995552656 CPUtime=0 cores=0-7
/proc/18466/task/18478/stat : 18478 (java) S 18464 18464 17716 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148057866 26628239360 11554 33554432000 4194304 4196468 140734365395824 140480001058416 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18479] ppid=18464 vsize=26004140 memory=280546995493936 CPUtime=0 cores=0-7
/proc/18466/task/18479/stat : 18479 (java) S 18464 18464 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148057868 26628239360 11554 33554432000 4194304 4196468 140734365395824 140480000006736 140481328482203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18480] ppid=18464 vsize=26004140 memory=280546995566480 CPUtime=0 cores=0-7
/proc/18466/task/18480/stat : 18480 (java) S 18464 18464 17716 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 148057868 26628239360 11554 33554432000 4194304 4196468 140734365395824 140479998953584 140481328474754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18481] ppid=18464 vsize=26004140 memory=280546995573392 CPUtime=0.04 cores=0-7
/proc/18466/task/18481/stat : 18481 (java) R 18464 18464 17716 0 -1 4202560 223 0 0 0 4 0 0 0 20 0 20 0 148057868 26628239360 11554 33554432000 4194304 4196468 140734365395824 140479997900784 140481328474754 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18482] ppid=18464 vsize=26004140 memory=280546995571088 CPUtime=0.02 cores=0-7
/proc/18466/task/18482/stat : 18482 (java) S 18464 18464 17716 0 -1 1077944384 333 0 0 0 2 0 0 0 20 0 20 0 148057868 26628239360 11554 33554432000 4194304 4196468 140734365395824 140479996848496 140481328474754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18483] ppid=18464 vsize=26004140 memory=280546995587248 CPUtime=0.11 cores=0-7
/proc/18466/task/18483/stat : 18483 (java) R 18464 18464 17716 0 -1 4202560 831 0 0 0 11 0 0 0 20 0 20 0 148057868 26628239360 11554 33554432000 4194304 4196468 140734365395824 140479995795696 140481328475542 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18484] ppid=18464 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18484/stat : 18484 (java) S 18464 18464 17716 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148057868 26628239360 11554 33554432000 4194304 4196468 140734365395824 140479994743648 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18485] ppid=18464 vsize=26004140 memory=-1 CPUtime=0 cores=0-7
/proc/18466/task/18485/stat : 18485 (java) S 18464 18464 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148057869 26628239360 11554 33554432000 4194304 4196468 140734365395824 140479993690928 140481328474754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013652 KiB
Current children cumulated memory: 47596 KiB
[startup+0.70106 s]
/proc/loadavg: 6.82 7.94 8.19 11/208 18493
/proc/meminfo: memFree=23982128/32770624 swapFree=67108860/67108860
[pid=18464] ppid=18461 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/18464/stat : 18464 (xcsp3-exec) S 18461 18464 17716 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 148057862 9740288 345 33554432000 4194304 5098028 140726958583328 140726958581432 140176355443324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11698176 140726958584933 140726958585143 140726958585143 140726958587883 0
/proc/18464/statm: 2378 345 289 221 0 87 0
[pid=18466] ppid=18464 vsize=26538700 memory=85556 CPUtime=2.69 cores=0-7
/proc/18466/stat : 18466 (java) S 18464 18464 17716 0 -1 1077944320 13382 0 0 0 264 5 0 0 20 0 28 0 148057862 27175628800 21389 33554432000 4194304 4196468 140734365395824 140734365378368 140481328463607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
/proc/18466/statm: 6634675 21389 3204 1 0 6621909 0
[pid=18466/tid=18467] ppid=18464 vsize=26538700 memory=280546995945136 CPUtime=0.42 cores=0-7
/proc/18466/task/18467/stat : 18467 (java) S 18464 18464 17716 0 -1 1077944384 6684 0 0 0 40 2 0 0 20 0 28 0 148057863 27175628800 21389 33554432000 4194304 4196468 140734365395824 140481332704384 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18468] ppid=18464 vsize=26538700 memory=140273497973616 CPUtime=0 cores=0-7
/proc/18466/task/18468/stat : 18468 (java) S 18464 18464 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148057864 27175628800 21389 33554432000 4194304 4196468 140734365395824 140481281084304 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18469] ppid=18464 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18469/stat : 18469 (java) S 18464 18464 17716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 148057864 27175628800 21389 33554432000 4194304 4196468 140734365395824 140481280031504 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18470] ppid=18464 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18470/stat : 18470 (java) S 18464 18464 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148057864 27175628800 21389 33554432000 4194304 4196468 140734365395824 140481278979216 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
################
# More data... #
################
[pid=18466/tid=18483] ppid=18464 vsize=26538700 memory=2744 CPUtime=0.35 cores=0-7
/proc/18466/task/18483/stat : 18483 (java) S 18464 18464 17716 0 -1 1077944384 2654 0 0 0 34 1 0 0 20 0 28 0 148057868 27175628800 49292 33554432000 4194304 4196468 140734365395824 140479995795696 140481328474754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18484] ppid=18464 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/18466/task/18484/stat : 18484 (java) S 18464 18464 17716 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148057868 27175628800 49292 33554432000 4194304 4196468 140734365395824 140479994743648 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18485] ppid=18464 vsize=26538700 memory=210468 CPUtime=0 cores=0-7
/proc/18466/task/18485/stat : 18485 (java) S 18464 18464 17716 0 -1 1077944384 729 0 0 0 0 0 0 0 20 0 28 0 148057869 27175628800 49292 33554432000 4194304 4196468 140734365395824 140479993690928 140481328474754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18486] ppid=18464 vsize=26538700 memory=280546995579136 CPUtime=5.56 cores=0-7
/proc/18466/task/18486/stat : 18486 (java) S 18464 18464 17716 0 -1 1077944384 114 0 0 0 535 21 0 0 20 0 28 0 148057908 27175628800 49292 33554432000 4194304 4196468 140734365395824 140479918071264 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18487] ppid=18464 vsize=26538700 memory=0 CPUtime=5.5 cores=0-7
/proc/18466/task/18487/stat : 18487 (java) R 18464 18464 17716 0 -1 4202560 92 0 0 0 532 18 0 0 20 0 28 0 148057908 27175628800 49292 33554432000 4194304 4196468 140734365395824 140479917019552 140480951008695 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18488] ppid=18464 vsize=26538700 memory=0 CPUtime=5.79 cores=0-7
/proc/18466/task/18488/stat : 18488 (java) R 18464 18464 17716 0 -1 1077944384 397 0 0 0 564 15 0 0 20 0 28 0 148057908 27175628800 49292 33554432000 4194304 4196468 140734365395824 140479915966240 140481328473813 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18489] ppid=18464 vsize=26538700 memory=0 CPUtime=5.73 cores=0-7
/proc/18466/task/18489/stat : 18489 (java) R 18464 18464 17716 0 -1 4202560 340 0 0 0 554 19 0 0 20 0 28 0 148057908 27175628800 49292 33554432000 4194304 4196468 140734365395824 140479914913440 140480951008101 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18490] ppid=18464 vsize=26538700 memory=0 CPUtime=5.73 cores=0-7
/proc/18466/task/18490/stat : 18490 (java) R 18464 18464 17716 0 -1 4202560 182 0 0 0 557 16 0 0 20 0 28 0 148057908 27175628800 49292 33554432000 4194304 4196468 140734365395824 140479913861152 140480951861542 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18491] ppid=18464 vsize=26538700 memory=0 CPUtime=5.49 cores=0-7
/proc/18466/task/18491/stat : 18491 (java) R 18464 18464 17716 0 -1 4202560 85 0 0 0 527 22 0 0 20 0 28 0 148057908 27175628800 49292 33554432000 4194304 4196468 140734365395824 140479912808352 140481313673984 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18492] ppid=18464 vsize=26538700 memory=0 CPUtime=5.54 cores=0-7
/proc/18466/task/18492/stat : 18492 (java) S 18464 18464 17716 0 -1 1077944384 83 0 0 0 534 20 0 0 20 0 28 0 148057908 27175628800 49292 33554432000 4194304 4196468 140734365395824 140479911756064 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18493] ppid=18464 vsize=26538700 memory=0 CPUtime=5.96 cores=0-7
/proc/18466/task/18493/stat : 18493 (java) S 18464 18464 17716 0 -1 1077944384 154 0 0 0 580 16 0 0 20 0 28 0 148057908 27175628800 49292 33554432000 4194304 4196468 140734365395824 140479910703264 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
Current children cumulated CPU time: 48.64 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 198548 KiB
[startup+8.40121 s]
/proc/loadavg: 6.84 7.91 8.18 7/208 18493
/proc/meminfo: memFree=23861828/32770624 swapFree=67108860/67108860
[pid=18464] ppid=18461 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/18464/stat : 18464 (xcsp3-exec) S 18461 18464 17716 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 148057862 9740288 345 33554432000 4194304 5098028 140726958583328 140726958581432 140176355443324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11698176 140726958584933 140726958585143 140726958585143 140726958587883 0
/proc/18464/statm: 2378 345 289 221 0 87 0
[pid=18466] ppid=18464 vsize=26538700 memory=195116 CPUtime=51.24 cores=0-7
/proc/18466/stat : 18466 (java) S 18464 18464 17716 0 -1 1077944320 25760 0 0 0 4951 173 0 0 20 0 28 0 148057862 27175628800 48779 33554432000 4194304 4196468 140734365395824 140734365378368 140481328463607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
/proc/18466/statm: 6634675 48779 3254 1 0 6621909 0
[pid=18466/tid=18467] ppid=18464 vsize=26538700 memory=15816694648015424 CPUtime=0.42 cores=0-7
/proc/18466/task/18467/stat : 18467 (java) S 18464 18464 17716 0 -1 1077944384 6684 0 0 0 40 2 0 0 20 0 28 0 148057863 27175628800 48779 33554432000 4194304 4196468 140734365395824 140481332704384 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18468] ppid=18464 vsize=26538700 memory=15876 CPUtime=0.02 cores=0-7
/proc/18466/task/18468/stat : 18468 (java) S 18464 18464 17716 0 -1 1077944384 103 0 0 0 2 0 0 0 20 0 28 0 148057864 27175628800 48779 33554432000 4194304 4196468 140734365395824 140481281084304 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18469] ppid=18464 vsize=26538700 memory=16448 CPUtime=0.01 cores=0-7
/proc/18466/task/18469/stat : 18469 (java) S 18464 18464 17716 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 28 0 148057864 27175628800 48779 33554432000 4194304 4196468 140734365395824 140481280031504 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18470] ppid=18464 vsize=26538700 memory=22836 CPUtime=0.01 cores=0-7
/proc/18466/task/18470/stat : 18470 (java) S 18464 18464 17716 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 28 0 148057864 27175628800 48779 33554432000 4194304 4196468 140734365395824 140481278979216 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18471] ppid=18464 vsize=26538700 memory=4048 CPUtime=0.02 cores=0-7
/proc/18466/task/18471/stat : 18471 (java) S 18464 18464 17716 0 -1 1077944384 46 0 0 0 2 0 0 0 20 0 28 0 148057864 27175628800 48779 33554432000 4194304 4196468 140734365395824 140481277926416 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18472] ppid=18464 vsize=26538700 memory=0 CPUtime=0.02 cores=0-7
/proc/18466/task/18472/stat : 18472 (java) S 18464 18464 17716 0 -1 1077944384 362 0 0 0 2 0 0 0 20 0 28 0 148057864 27175628800 48779 33554432000 4194304 4196468 140734365395824 140481276873104 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18473] ppid=18464 vsize=26538700 memory=13412 CPUtime=0.01 cores=0-7
/proc/18466/task/18473/stat : 18473 (java) S 18464 18464 17716 0 -1 1077944384 188 0 0 0 1 0 0 0 20 0 28 0 148057864 27175628800 48779 33554432000 4194304 4196468 140734365395824 140481275820304 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18474] ppid=18464 vsize=26538700 memory=1380 CPUtime=0.01 cores=0-7
/proc/18466/task/18474/stat : 18474 (java) S 18464 18464 17716 0 -1 1077944384 130 0 0 0 1 0 0 0 20 0 28 0 148057864 27175628800 48779 33554432000 4194304 4196468 140734365395824 140481274768016 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18475] ppid=18464 vsize=26538700 memory=200760 CPUtime=0.01 cores=0-7
/proc/18466/task/18475/stat : 18475 (java) S 18464 18464 17716 0 -1 1077944384 73 0 0 0 1 0 0 0 20 0 28 0 148057864 27175628800 48779 33554432000 4194304 4196468 140734365395824 140481273715216 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18476] ppid=18464 vsize=26538700 memory=0 CPUtime=0.01 cores=0-7
/proc/18466/task/18476/stat : 18476 (java) S 18464 18464 17716 0 -1 1077944384 258 0 0 0 1 0 0 0 20 0 28 0 148057865 27175628800 48779 33554432000 4194304 4196468 140734365395824 140480003164784 140481328474754 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18477] ppid=18464 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18477/stat : 18477 (java) S 18464 18464 17716 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 148057866 27175628800 48779 33554432000 4194304 4196468 140734365395824 140480002110816 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18478] ppid=18464 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18478/stat : 18478 (java) S 18464 18464 17716 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 148057866 27175628800 48779 33554432000 4194304 4196468 140734365395824 140480001058416 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18479] ppid=18464 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18479/stat : 18479 (java) S 18464 18464 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148057868 27175628800 48779 33554432000 4194304 4196468 140734365395824 140480000006736 140481328482203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18480] ppid=18464 vsize=26538700 memory=0 CPUtime=0.8 cores=0-7
/proc/18466/task/18480/stat : 18480 (java) S 18464 18464 17716 0 -1 1077944384 6208 0 0 0 79 1 0 0 20 0 28 0 148057868 27175628800 48779 33554432000 4194304 4196468 140734365395824 140479998953584 140481328474754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18481] ppid=18464 vsize=26538700 memory=0 CPUtime=0.73 cores=0-7
/proc/18466/task/18481/stat : 18481 (java) S 18464 18464 17716 0 -1 1077944384 2535 0 0 0 73 0 0 0 20 0 28 0 148057868 27175628800 48779 33554432000 4194304 4196468 140734365395824 140479997900784 140481328474754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18482] ppid=18464 vsize=26538700 memory=0 CPUtime=0.72 cores=0-7
/proc/18466/task/18482/stat : 18482 (java) S 18464 18464 17716 0 -1 1077944384 2943 0 0 0 71 1 0 0 20 0 28 0 148057868 27175628800 48779 33554432000 4194304 4196468 140734365395824 140479996848496 140481328474754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18483] ppid=18464 vsize=26538700 memory=0 CPUtime=0.35 cores=0-7
/proc/18466/task/18483/stat : 18483 (java) S 18464 18464 17716 0 -1 1077944384 2654 0 0 0 34 1 0 0 20 0 28 0 148057868 27175628800 48779 33554432000 4194304 4196468 140734365395824 140479995795696 140481328474754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18484] ppid=18464 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18484/stat : 18484 (java) S 18464 18464 17716 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148057868 27175628800 48779 33554432000 4194304 4196468 140734365395824 140479994743648 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18485] ppid=18464 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18485/stat : 18485 (java) S 18464 18464 17716 0 -1 1077944384 729 0 0 0 0 0 0 0 20 0 28 0 148057869 27175628800 48779 33554432000 4194304 4196468 140734365395824 140479993690928 140481328474754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18486] ppid=18464 vsize=26538700 memory=0 CPUtime=5.88 cores=0-7
/proc/18466/task/18486/stat : 18486 (java) R 18464 18464 17716 0 -1 4202560 115 0 0 0 564 24 0 0 20 0 28 0 148057908 27175628800 48779 33554432000 4194304 4196468 140734365395824 140479918071168 140480951616022 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18487] ppid=18464 vsize=26538700 memory=0 CPUtime=5.81 cores=0-7
/proc/18466/task/18487/stat : 18487 (java) R 18464 18464 17716 0 -1 1077944384 93 0 0 0 562 19 0 0 20 0 28 0 148057908 27175628800 48779 33554432000 4194304 4196468 140734365395824 140479917019456 140481328474754 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18488] ppid=18464 vsize=26538700 memory=0 CPUtime=6.11 cores=0-7
/proc/18466/task/18488/stat : 18488 (java) R 18464 18464 17716 0 -1 4202560 397 0 0 0 596 15 0 0 20 0 28 0 148057908 27175628800 48779 33554432000 4194304 4196468 140734365395824 140479915966240 140480951861567 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18489] ppid=18464 vsize=26538700 memory=0 CPUtime=6.06 cores=0-7
/proc/18466/task/18489/stat : 18489 (java) R 18464 18464 17716 0 -1 4202560 341 0 0 0 586 20 0 0 20 0 28 0 148057908 27175628800 48779 33554432000 4194304 4196468 140734365395824 140479914913344 140480951008753 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18490] ppid=18464 vsize=26538700 memory=0 CPUtime=6.06 cores=0-7
/proc/18466/task/18490/stat : 18490 (java) R 18464 18464 17716 0 -1 4202560 182 0 0 0 589 17 0 0 20 0 28 0 148057908 27175628800 48779 33554432000 4194304 4196468 140734365395824 140479913861152 140480951920775 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18491] ppid=18464 vsize=26538700 memory=0 CPUtime=5.81 cores=0-7
/proc/18466/task/18491/stat : 18491 (java) S 18464 18464 17716 0 -1 1077944384 85 0 0 0 558 23 0 0 20 0 28 0 148057908 27175628800 48779 33554432000 4194304 4196468 140734365395824 140479912808352 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18492] ppid=18464 vsize=26538700 memory=0 CPUtime=5.86 cores=0-7
/proc/18466/task/18492/stat : 18492 (java) S 18464 18464 17716 0 -1 1077944384 83 0 0 0 564 22 0 0 20 0 28 0 148057908 27175628800 48779 33554432000 4194304 4196468 140734365395824 140479911756064 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18493] ppid=18464 vsize=26538700 memory=0 CPUtime=6.3 cores=0-7
/proc/18466/task/18493/stat : 18493 (java) R 18464 18464 17716 0 -1 4202560 155 0 0 0 613 17 0 0 20 0 28 0 148057908 27175628800 48779 33554432000 4194304 4196468 140734365395824 140479910703168 140480951996853 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
Current children cumulated CPU time: 51.24 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 196496 KiB
[startup+8.60131 s]
/proc/loadavg: 6.84 7.91 8.18 7/208 18493
/proc/meminfo: memFree=23861828/32770624 swapFree=67108860/67108860
[pid=18464] ppid=18461 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/18464/stat : 18464 (xcsp3-exec) S 18461 18464 17716 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 148057862 9740288 345 33554432000 4194304 5098028 140726958583328 140726958581432 140176355443324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11698176 140726958584933 140726958585143 140726958585143 140726958587883 0
/proc/18464/statm: 2378 345 289 221 0 87 0
[pid=18466] ppid=18464 vsize=26538700 memory=193104 CPUtime=52.58 cores=0-7
/proc/18466/stat : 18466 (java) S 18464 18464 17716 0 -1 1077944320 25963 0 0 0 5079 179 0 0 20 0 28 0 148057862 27175628800 48276 33554432000 4194304 4196468 140734365395824 140734365378368 140481328463607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
/proc/18466/statm: 6634675 48276 3254 1 0 6621909 0
[pid=18466/tid=18467] ppid=18464 vsize=26538700 memory=7302731108252625561 CPUtime=0.42 cores=0-7
/proc/18466/task/18467/stat : 18467 (java) S 18464 18464 17716 0 -1 1077944384 6684 0 0 0 40 2 0 0 20 0 28 0 148057863 27175628800 48276 33554432000 4194304 4196468 140734365395824 140481332704384 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18468] ppid=18464 vsize=26538700 memory=7293644812725933160 CPUtime=0.02 cores=0-7
/proc/18466/task/18468/stat : 18468 (java) S 18464 18464 17716 0 -1 1077944384 103 0 0 0 2 0 0 0 20 0 28 0 148057864 27175628800 48276 33554432000 4194304 4196468 140734365395824 140481281084304 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18469] ppid=18464 vsize=26538700 memory=7373639892806751845 CPUtime=0.01 cores=0-7
/proc/18466/task/18469/stat : 18469 (java) S 18464 18464 17716 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 28 0 148057864 27175628800 48276 33554432000 4194304 4196468 140734365395824 140481280031504 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18470] ppid=18464 vsize=26538700 memory=7305218370954094681 CPUtime=0.01 cores=0-7
/proc/18466/task/18470/stat : 18470 (java) S 18464 18464 17716 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 28 0 148057864 27175628800 48276 33554432000 4194304 4196468 140734365395824 140481278979216 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18471] ppid=18464 vsize=26538700 memory=0 CPUtime=0.02 cores=0-7
/proc/18466/task/18471/stat : 18471 (java) S 18464 18464 17716 0 -1 1077944384 46 0 0 0 2 0 0 0 20 0 28 0 148057864 27175628800 48276 33554432000 4194304 4196468 140734365395824 140481277926416 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18472] ppid=18464 vsize=26538700 memory=280546996325280 CPUtime=0.02 cores=0-7
/proc/18466/task/18472/stat : 18472 (java) S 18464 18464 17716 0 -1 1077944384 362 0 0 0 2 0 0 0 20 0 28 0 148057864 27175628800 48276 33554432000 4194304 4196468 140734365395824 140481276873104 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18473] ppid=18464 vsize=26538700 memory=140273498164896 CPUtime=0.01 cores=0-7
/proc/18466/task/18473/stat : 18473 (java) S 18464 18464 17716 0 -1 1077944384 188 0 0 0 1 0 0 0 20 0 28 0 148057864 27175628800 48276 33554432000 4194304 4196468 140734365395824 140481275820304 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18474] ppid=18464 vsize=26538700 memory=7822038052226416701 CPUtime=0.02 cores=0-7
/proc/18466/task/18474/stat : 18474 (java) S 18464 18464 17716 0 -1 1077944384 130 0 0 0 2 0 0 0 20 0 28 0 148057864 27175628800 48276 33554432000 4194304 4196468 140734365395824 140481274768016 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18475] ppid=18464 vsize=26538700 memory=0 CPUtime=0.01 cores=0-7
/proc/18466/task/18475/stat : 18475 (java) S 18464 18464 17716 0 -1 1077944384 73 0 0 0 1 0 0 0 20 0 28 0 148057864 27175628800 48276 33554432000 4194304 4196468 140734365395824 140481273715216 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18476] ppid=18464 vsize=26538700 memory=6944656575208382560 CPUtime=0.01 cores=0-7
/proc/18466/task/18476/stat : 18476 (java) S 18464 18464 17716 0 -1 1077944384 258 0 0 0 1 0 0 0 20 0 28 0 148057865 27175628800 48276 33554432000 4194304 4196468 140734365395824 140480003164784 140481328474754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18477] ppid=18464 vsize=26538700 memory=280546995339504 CPUtime=0 cores=0-7
/proc/18466/task/18477/stat : 18477 (java) S 18464 18464 17716 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 148057866 27175628800 48276 33554432000 4194304 4196468 140734365395824 140480002110816 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18478] ppid=18464 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/18466/task/18478/stat : 18478 (java) S 18464 18464 17716 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 148057866 27175628800 48276 33554432000 4194304 4196468 140734365395824 140480001058416 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18479] ppid=18464 vsize=26538700 memory=-6874558320067357991 CPUtime=0 cores=0-7
/proc/18466/task/18479/stat : 18479 (java) S 18464 18464 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148057868 27175628800 48276 33554432000 4194304 4196468 140734365395824 140480000006736 140481328482203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18480] ppid=18464 vsize=26538700 memory=6944652177228980320 CPUtime=0.8 cores=0-7
/proc/18466/task/18480/stat : 18480 (java) S 18464 18464 17716 0 -1 1077944384 6208 0 0 0 79 1 0 0 20 0 28 0 148057868 27175628800 48276 33554432000 4194304 4196468 140734365395824 140479998953584 140481328474754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18481] ppid=18464 vsize=26538700 memory=6944656592387989600 CPUtime=0.73 cores=0-7
/proc/18466/task/18481/stat : 18481 (java) S 18464 18464 17716 0 -1 1077944384 2535 0 0 0 73 0 0 0 20 0 28 0 148057868 27175628800 48276 33554432000 4194304 4196468 140734365395824 140479997900784 140481328474754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18482] ppid=18464 vsize=26538700 memory=6944656592455359580 CPUtime=0.72 cores=0-7
/proc/18466/task/18482/stat : 18482 (java) S 18464 18464 17716 0 -1 1077944384 2943 0 0 0 71 1 0 0 20 0 28 0 148057868 27175628800 48276 33554432000 4194304 4196468 140734365395824 140479996848496 140481328474754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18483] ppid=18464 vsize=26538700 memory=-6948047529741492128 CPUtime=0.35 cores=0-7
/proc/18466/task/18483/stat : 18483 (java) S 18464 18464 17716 0 -1 1077944384 2654 0 0 0 34 1 0 0 20 0 28 0 148057868 27175628800 48276 33554432000 4194304 4196468 140734365395824 140479995795696 140481328474754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18484] ppid=18464 vsize=26538700 memory=7682475212697334586 CPUtime=0 cores=0-7
/proc/18466/task/18484/stat : 18484 (java) S 18464 18464 17716 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148057868 27175628800 48276 33554432000 4194304 4196468 140734365395824 140479994743648 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18485] ppid=18464 vsize=26538700 memory=3540059878698346753 CPUtime=0 cores=0-7
/proc/18466/task/18485/stat : 18485 (java) S 18464 18464 17716 0 -1 1077944384 731 0 0 0 0 0 0 0 20 0 28 0 148057869 27175628800 48276 33554432000 4194304 4196468 140734365395824 140479993690928 140481328474754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18486] ppid=18464 vsize=26538700 memory=27323686708 CPUtime=6.03 cores=0-7
/proc/18466/task/18486/stat : 18486 (java) R 18464 18464 17716 0 -1 4202560 120 0 0 0 578 25 0 0 20 0 28 0 148057908 27175628800 48276 33554432000 4194304 4196468 140734365395824 140479918071264 140480951008074 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18487] ppid=18464 vsize=26538700 memory=280546995867768 CPUtime=5.98 cores=0-7
/proc/18466/task/18487/stat : 18487 (java) R 18464 18464 17716 0 -1 1077944384 116 0 0 0 578 20 0 0 20 0 28 0 148057908 27175628800 48276 33554432000 4194304 4196468 140734365395824 140479917019552 140481328473813 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18488] ppid=18464 vsize=26538700 memory=6452091047592749114 CPUtime=6.29 cores=0-7
/proc/18466/task/18488/stat : 18488 (java) S 18464 18464 17716 0 -1 1077944384 449 0 0 0 613 16 0 0 20 0 28 0 148057908 27175628800 48276 33554432000 4194304 4196468 140734365395824 140479915966240 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18489] ppid=18464 vsize=26538700 memory=0 CPUtime=6.23 cores=0-7
/proc/18466/task/18489/stat : 18489 (java) R 18464 18464 17716 0 -1 4202560 374 0 0 0 602 21 0 0 20 0 28 0 148057908 27175628800 48276 33554432000 4194304 4196468 140734365395824 140479914913440 140481313674929 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18490] ppid=18464 vsize=26538700 memory=6935649255759568960 CPUtime=6.23 cores=0-7
/proc/18466/task/18490/stat : 18490 (java) R 18464 18464 17716 0 -1 4202560 203 0 0 0 605 18 0 0 20 0 28 0 148057908 27175628800 48276 33554432000 4194304 4196468 140734365395824 140479913861152 140480951995763 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18491] ppid=18464 vsize=26538700 memory=6153395274068283984 CPUtime=5.98 cores=0-7
/proc/18466/task/18491/stat : 18491 (java) R 18464 18464 17716 0 -1 4202560 106 0 0 0 574 24 0 0 20 0 28 0 148057908 27175628800 48276 33554432000 4194304 4196468 140734365395824 140479912808352 140480951008565 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18492] ppid=18464 vsize=26538700 memory=0 CPUtime=6.02 cores=0-7
/proc/18466/task/18492/stat : 18492 (java) S 18464 18464 17716 0 -1 1077944384 97 0 0 0 580 22 0 0 20 0 28 0 148057908 27175628800 48276 33554432000 4194304 4196468 140734365395824 140479911756064 140481328473813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
[pid=18466/tid=18493] ppid=18464 vsize=26538700 memory=280546995936304 CPUtime=6.46 cores=0-7
/proc/18466/task/18493/stat : 18493 (java) R 18464 18464 17716 0 -1 4202560 183 0 0 0 629 17 0 0 20 0 28 0 148057908 27175628800 48276 33554432000 4194304 4196468 140734365395824 140479910703264 140480951008618 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12996608 140734365402258 140734365402435 140734365402435 140734365405135 0
Current children cumulated CPU time: 52.58 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 194484 KiB
Child status: 0
Real time (s): 8.68152
CPU time (s): 53.0042
CPU user time (s): 51.1831
CPU system time (s): 1.8211
CPU usage (%): 610.54
Max. virtual memory (cumulated for all children) (KiB): 26550216
Max. memory (cumulated for all children) (KiB): 217364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 51.1831
system time used= 1.8211
maximum resident set size= 216532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28217
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 650937
involuntary context switches= 328
# summary of solver processes directly reported to runsolver:
# pid: 18464
# total CPU time (s): 53.0042
# total CPU user time (s): 51.1831
# total CPU system time (s): 1.8211
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.085192 second user time and 0.150882 second system time
The end
Begin job on node104 at 2017-08-19 15:20:41
IDJOB=4280859
IDBENCH=133097
IDSOLVER=2675
FILE ID=node104/4280859-1503149701
RUNJOBID= node104-1503143753-17743
PBS_JOBID= 20630803
Free space on /tmp= 61784 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/MarketSplit/MarketSplit-m1-gp/MarketSplit-07.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280859-1503149701/watcher-4280859-1503149701 -o /tmp/evaluation-result-4280859-1503149701/solver-4280859-1503149701 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1503143753-17743 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 541731728 HOME/instance-4280859-1503149701.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 36a2ff8d03acaab45f9eaaf5db6acf0d
RANDOM SEED=541731728
node104.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.43
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 : 5332.55
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.43
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 : 5332.55
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.43
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 : 5332.55
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.43
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 : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 24047292 kB
MemAvailable: 31960948 kB
Buffers: 273916 kB
Cached: 7919792 kB
SwapCached: 0 kB
Active: 3252312 kB
Inactive: 4992848 kB
Active(anon): 54628 kB
Inactive(anon): 33192 kB
Active(file): 3197684 kB
Inactive(file): 4959656 kB
Unevictable: 7828 kB
Mlocked: 7828 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7808 kB
Writeback: 0 kB
AnonPages: 186104 kB
Mapped: 51124 kB
Shmem: 33420 kB
Slab: 170708 kB
SReclaimable: 144300 kB
SUnreclaim: 26408 kB
KernelStack: 3696 kB
PageTables: 5208 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 333476 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 131072 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 112000 kB
DirectMap2M: 33433600 kB
Free space on /tmp at the end= 61776 MiB
End job on node104 at 2017-08-19 15:20:50