0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280977-1503123760.xml" -tl '20160s' -p 8 -x 0
0.11/0.14 c [HOME/instance-4280977-1503123760.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.33/0.26 c parse instance...
2.28/0.84 c solve instance...
5.93/1.35 s UNSATISFIABLE
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 (10012 MiB free)
memory of node 1: 16384 MiB (12211 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280977-1503123760/watcher-4280977-1503123760 -o /tmp/evaluation-result-4280977-1503123760/solver-4280977-1503123760 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1503120141-18043 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 862306730 HOME/instance-4280977-1503123760.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=19643, runsolver pid=19640
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 7.13 8.05 7.88 2/199 19664
/proc/meminfo: memFree=22741864/32770624 swapFree=67108860/67108860
[pid=19643] ppid=19640 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19643/stat : 19643 (xcsp3-exec) S 19640 19643 18016 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145456957 9740288 346 33554432000 4194304 5098028 140727314803008 140727314801112 140054562558588 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18530304 140727314805861 140727314806071 140727314806071 140727314808811 0
/proc/19643/statm: 2378 346 289 221 0 87 0
[pid=19645] ppid=19643 vsize=25999808 memory=26488 CPUtime=0.11 cores=0-7
/proc/19645/stat : 19645 (java) S 19643 19643 18016 0 -1 1077944320 5490 0 0 0 10 1 0 0 20 0 20 0 145456958 26623803392 6622 33554432000 4194304 4196468 140726818398224 140726818380768 140084835352311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
/proc/19645/statm: 6499952 6622 2845 1 0 6488269 0
[pid=19645/tid=19646] ppid=19643 vsize=25999808 memory=8114811911707467419 CPUtime=0.09 cores=0-7
/proc/19645/task/19646/stat : 19646 (java) R 19643 19643 18016 0 -1 4202560 3484 0 0 0 8 1 0 0 20 0 20 0 145456958 26623803392 6622 33554432000 4194304 4196468 140726818398224 140084839585584 140084835364246 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19647] ppid=19643 vsize=25999808 memory=732370232961715173 CPUtime=0 cores=0-7
/proc/19645/task/19647/stat : 19647 (java) S 19643 19643 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145456959 26623803392 6622 33554432000 4194304 4196468 140726818398224 140084393671184 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19648] ppid=19643 vsize=25999808 memory=140094624261760 CPUtime=0 cores=0-7
/proc/19645/task/19648/stat : 19648 (java) S 19643 19643 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145456959 26623803392 6622 33554432000 4194304 4196468 140726818398224 140084392618640 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19649] ppid=19643 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19649/stat : 19649 (java) S 19643 19643 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145456959 26623803392 6622 33554432000 4194304 4196468 140726818398224 140084391565584 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19650] ppid=19643 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19650/stat : 19650 (java) S 19643 19643 18016 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145456959 26623803392 6622 33554432000 4194304 4196468 140726818398224 140084390513040 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19651] ppid=19643 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19651/stat : 19651 (java) S 19643 19643 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145456959 26623803392 6622 33554432000 4194304 4196468 140726818398224 140084389461008 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19652] ppid=19643 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/19645/task/19652/stat : 19652 (java) S 19643 19643 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145456959 26623803392 6622 33554432000 4194304 4196468 140726818398224 140084388408464 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19653] ppid=19643 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19653/stat : 19653 (java) S 19643 19643 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145456959 26623803392 6622 33554432000 4194304 4196468 140726818398224 140084387355408 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19654] ppid=19643 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19654/stat : 19654 (java) S 19643 19643 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145456959 26623803392 6622 33554432000 4194304 4196468 140726818398224 140084386302864 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19655] ppid=19643 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19655/stat : 19655 (java) S 19643 19643 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145456960 26623803392 6622 33554432000 4194304 4196468 140726818398224 140083173767408 140084835363458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19656] ppid=19643 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19656/stat : 19656 (java) S 19643 19643 18016 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145456961 26623803392 6622 33554432000 4194304 4196468 140726818398224 140083172713632 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19657] ppid=19643 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19657/stat : 19657 (java) S 19643 19643 18016 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145456961 26623803392 6622 33554432000 4194304 4196468 140726818398224 140083171660528 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19658] ppid=19643 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19658/stat : 19658 (java) S 19643 19643 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145456963 26623803392 6622 33554432000 4194304 4196468 140726818398224 140083170609104 140084835370907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19659] ppid=19643 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19659/stat : 19659 (java) S 19643 19643 18016 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 145456963 26623803392 6622 33554432000 4194304 4196468 140726818398224 140083169557232 140084835363458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19660] ppid=19643 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19660/stat : 19660 (java) R 19643 19643 18016 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 145456963 26623803392 6622 33554432000 4194304 4196468 140726818398224 140083168504688 140084835363458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19661] ppid=19643 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19661/stat : 19661 (java) R 19643 19643 18016 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 20 0 145456963 26623803392 6622 33554432000 4194304 4196468 140726818398224 140083167451632 140084835363458 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19662] ppid=19643 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/19645/task/19662/stat : 19662 (java) R 19643 19643 18016 0 -1 1077944384 268 0 0 0 1 0 0 0 20 0 20 0 145456963 26623803392 6622 33554432000 4194304 4196468 140726818398224 140083166399088 140084835363458 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19663] ppid=19643 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19663/stat : 19663 (java) S 19643 19643 18016 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145456964 26623803392 6622 33554432000 4194304 4196468 140726818398224 140083165346272 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19664] ppid=19643 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/19645/task/19664/stat : 19664 (java) S 19643 19643 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145456964 26623803392 6622 33554432000 4194304 4196468 140726818398224 140083164293808 140084835363458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27872 KiB
[startup+0.210305 s]*
/proc/loadavg: 7.13 8.05 7.88 2/199 19664
/proc/meminfo: memFree=22730332/32770624 swapFree=67108860/67108860
[pid=19643] ppid=19640 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19643/stat : 19643 (xcsp3-exec) S 19640 19643 18016 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145456957 9740288 346 33554432000 4194304 5098028 140727314803008 140727314801112 140054562558588 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18530304 140727314805861 140727314806071 140727314806071 140727314808811 0
/proc/19643/statm: 2378 346 289 221 0 87 0
[pid=19645] ppid=19643 vsize=26004096 memory=39144 CPUtime=0.33 cores=0-7
/proc/19645/stat : 19645 (java) S 19643 19643 18016 0 -1 1077944320 8367 0 0 0 30 3 0 0 20 0 20 0 145456958 26628194304 9786 33554432000 4194304 4196468 140726818398224 140726818380768 140084835352311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
/proc/19645/statm: 6501024 9786 3028 1 0 6488277 0
[pid=19645/tid=19646] ppid=19643 vsize=26004096 memory=0 CPUtime=0.19 cores=0-7
/proc/19645/task/19646/stat : 19646 (java) R 19643 19643 18016 0 -1 4202560 5423 0 0 0 18 1 0 0 20 0 20 0 145456958 26628194304 9786 33554432000 4194304 4196468 140726818398224 140084839563104 140084828032029 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19647] ppid=19643 vsize=26004096 memory=280189142591224 CPUtime=0 cores=0-7
/proc/19645/task/19647/stat : 19647 (java) S 19643 19643 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145456959 26628194304 9786 33554432000 4194304 4196468 140726818398224 140084393671184 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19648] ppid=19643 vsize=26004064 memory=140094624261760 CPUtime=0 cores=0-7
/proc/19645/task/19648/stat : 19648 (java) S 19643 19643 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145456959 26628161536 9786 33554432000 4194304 4196468 140726818398224 140084392618640 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19649] ppid=19643 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19649/stat : 19649 (java) S 19643 19643 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145456959 26628161536 9786 33554432000 4194304 4196468 140726818398224 140084391565584 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19650] ppid=19643 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19650/stat : 19650 (java) S 19643 19643 18016 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145456959 26628161536 9786 33554432000 4194304 4196468 140726818398224 140084390513040 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19651] ppid=19643 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19651/stat : 19651 (java) S 19643 19643 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145456959 26628161536 9786 33554432000 4194304 4196468 140726818398224 140084389461008 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19652] ppid=19643 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19645/task/19652/stat : 19652 (java) S 19643 19643 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145456959 26628161536 9786 33554432000 4194304 4196468 140726818398224 140084388408464 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19653] ppid=19643 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19653/stat : 19653 (java) S 19643 19643 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145456959 26628161536 9786 33554432000 4194304 4196468 140726818398224 140084387355408 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19654] ppid=19643 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19654/stat : 19654 (java) S 19643 19643 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145456959 26628161536 9786 33554432000 4194304 4196468 140726818398224 140084386302864 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19655] ppid=19643 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19655/stat : 19655 (java) S 19643 19643 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145456960 26628194304 9786 33554432000 4194304 4196468 140726818398224 140083173767408 140084835363458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19656] ppid=19643 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19656/stat : 19656 (java) S 19643 19643 18016 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145456961 26628194304 9786 33554432000 4194304 4196468 140726818398224 140083172713632 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19657] ppid=19643 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19657/stat : 19657 (java) S 19643 19643 18016 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145456961 26628194304 9786 33554432000 4194304 4196468 140726818398224 140083171660528 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19658] ppid=19643 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19658/stat : 19658 (java) S 19643 19643 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145456963 26628161536 9786 33554432000 4194304 4196468 140726818398224 140083170609104 140084835370907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19659] ppid=19643 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/19645/task/19659/stat : 19659 (java) S 19643 19643 18016 0 -1 1077944384 202 0 0 0 1 0 0 0 20 0 20 0 145456963 26628161536 9786 33554432000 4194304 4196468 140726818398224 140083169557232 140084835363458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19660] ppid=19643 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19660/stat : 19660 (java) S 19643 19643 18016 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 145456963 26628161536 9786 33554432000 4194304 4196468 140726818398224 140083168504688 140084835363458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19661] ppid=19643 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/19645/task/19661/stat : 19661 (java) S 19643 19643 18016 0 -1 1077944384 582 0 0 0 2 0 0 0 20 0 20 0 145456963 26628161536 9786 33554432000 4194304 4196468 140726818398224 140083167451632 140084835363458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19662] ppid=19643 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/19645/task/19662/stat : 19662 (java) S 19643 19643 18016 0 -1 1077944384 733 0 0 0 7 0 0 0 20 0 20 0 145456963 26628161536 9786 33554432000 4194304 4196468 140726818398224 140083166399088 140084835363458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19663] ppid=19643 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19663/stat : 19663 (java) S 19643 19643 18016 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145456964 26628161536 9786 33554432000 4194304 4196468 140726818398224 140083165346272 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19664] ppid=19643 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19645/task/19664/stat : 19664 (java) S 19643 19643 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145456964 26628161536 9786 33554432000 4194304 4196468 140726818398224 140083164293808 140084835363458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013608 KiB
Current children cumulated memory: 40528 KiB
[startup+0.310042 s]*
/proc/loadavg: 7.13 8.05 7.88 3/199 19664
/proc/meminfo: memFree=22723756/32770624 swapFree=67108860/67108860
[pid=19643] ppid=19640 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19643/stat : 19643 (xcsp3-exec) S 19640 19643 18016 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145456957 9740288 346 33554432000 4194304 5098028 140727314803008 140727314801112 140054562558588 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18530304 140727314805861 140727314806071 140727314806071 140727314808811 0
/proc/19643/statm: 2378 346 289 221 0 87 0
[pid=19645] ppid=19643 vsize=26004140 memory=46300 CPUtime=0.5 cores=0-7
/proc/19645/stat : 19645 (java) S 19643 19643 18016 0 -1 1077944320 9356 0 0 0 46 4 0 0 20 0 20 0 145456958 26628239360 11575 33554432000 4194304 4196468 140726818398224 140726818380768 140084835352311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
/proc/19645/statm: 6501035 11575 3094 1 0 6488269 0
[pid=19645/tid=19646] ppid=19643 vsize=26004140 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/19645/task/19646/stat : 19646 (java) R 19643 19643 18016 0 -1 4202560 6176 0 0 0 27 2 0 0 20 0 20 0 145456958 26628239360 11575 33554432000 4194304 4196468 140726818398224 140084839584672 140084819432798 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19647] ppid=19643 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19647/stat : 19647 (java) S 19643 19643 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145456959 26628239360 11575 33554432000 4194304 4196468 140726818398224 140084393671184 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19648] ppid=19643 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19648/stat : 19648 (java) S 19643 19643 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145456959 26628239360 11575 33554432000 4194304 4196468 140726818398224 140084392618640 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19649] ppid=19643 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19649/stat : 19649 (java) S 19643 19643 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145456959 26628239360 11575 33554432000 4194304 4196468 140726818398224 140084391565584 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19650] ppid=19643 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19650/stat : 19650 (java) S 19643 19643 18016 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145456959 26628239360 11575 33554432000 4194304 4196468 140726818398224 140084390513040 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19651] ppid=19643 vsize=26004140 memory=2244 CPUtime=0 cores=0-7
/proc/19645/task/19651/stat : 19651 (java) S 19643 19643 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145456959 26628239360 11575 33554432000 4194304 4196468 140726818398224 140084389461008 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19652] ppid=19643 vsize=26004140 memory=140094518424495 CPUtime=0 cores=0-7
/proc/19645/task/19652/stat : 19652 (java) S 19643 19643 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145456959 26628239360 11575 33554432000 4194304 4196468 140726818398224 140084388408464 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19653] ppid=19643 vsize=26004140 memory=140094518426800 CPUtime=0 cores=0-7
/proc/19645/task/19653/stat : 19653 (java) S 19643 19643 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145456959 26628239360 11575 33554432000 4194304 4196468 140726818398224 140084387355408 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19654] ppid=19643 vsize=26004140 memory=140094518429104 CPUtime=0 cores=0-7
/proc/19645/task/19654/stat : 19654 (java) S 19643 19643 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145456959 26628239360 11575 33554432000 4194304 4196468 140726818398224 140084386302864 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19655] ppid=19643 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19655/stat : 19655 (java) S 19643 19643 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145456960 26628239360 11575 33554432000 4194304 4196468 140726818398224 140083173767408 140084835363458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19656] ppid=19643 vsize=26004140 memory=280189036865168 CPUtime=0 cores=0-7
/proc/19645/task/19656/stat : 19656 (java) S 19643 19643 18016 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145456961 26628239360 11575 33554432000 4194304 4196468 140726818398224 140083172713632 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19657] ppid=19643 vsize=26004140 memory=280189036872080 CPUtime=0 cores=0-7
/proc/19645/task/19657/stat : 19657 (java) S 19643 19643 18016 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145456961 26628239360 11575 33554432000 4194304 4196468 140726818398224 140083171660528 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19658] ppid=19643 vsize=26004140 memory=280189036813360 CPUtime=0 cores=0-7
/proc/19645/task/19658/stat : 19658 (java) S 19643 19643 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145456963 26628239360 11575 33554432000 4194304 4196468 140726818398224 140083170609104 140084835370907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19659] ppid=19643 vsize=26004140 memory=280189036885904 CPUtime=0.02 cores=0-7
/proc/19645/task/19659/stat : 19659 (java) S 19643 19643 18016 0 -1 1077944384 208 0 0 0 2 0 0 0 20 0 20 0 145456963 26628239360 11575 33554432000 4194304 4196468 140726818398224 140083169557232 140084835363458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19660] ppid=19643 vsize=26004140 memory=280189036892816 CPUtime=0.01 cores=0-7
/proc/19645/task/19660/stat : 19660 (java) S 19643 19643 18016 0 -1 1077944384 225 0 0 0 1 0 0 0 20 0 20 0 145456963 26628239360 11575 33554432000 4194304 4196468 140726818398224 140083168504688 140084835363458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19661] ppid=19643 vsize=26004140 memory=280189036890512 CPUtime=0.02 cores=0-7
/proc/19645/task/19661/stat : 19661 (java) S 19643 19643 18016 0 -1 1077944384 583 0 0 0 2 0 0 0 20 0 20 0 145456963 26628239360 11575 33554432000 4194304 4196468 140726818398224 140083167451632 140084835363458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19662] ppid=19643 vsize=26004140 memory=280189036906672 CPUtime=0.12 cores=0-7
/proc/19645/task/19662/stat : 19662 (java) R 19643 19643 18016 0 -1 4202560 855 0 0 0 12 0 0 0 20 0 20 0 145456963 26628239360 11575 33554432000 4194304 4196468 140726818398224 140083166399088 140084819395941 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19663] ppid=19643 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19663/stat : 19663 (java) S 19643 19643 18016 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145456964 26628239360 11575 33554432000 4194304 4196468 140726818398224 140083165346272 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19664] ppid=19643 vsize=26004140 memory=-1 CPUtime=0 cores=0-7
/proc/19645/task/19664/stat : 19664 (java) S 19643 19643 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145456964 26628239360 11575 33554432000 4194304 4196468 140726818398224 140083164293808 140084835363458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013652 KiB
Current children cumulated memory: 47684 KiB
[startup+0.700986 s]
/proc/loadavg: 7.13 8.05 7.88 6/199 19664
/proc/meminfo: memFree=22704592/32770624 swapFree=67108860/67108860
[pid=19643] ppid=19640 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19643/stat : 19643 (xcsp3-exec) S 19640 19643 18016 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145456957 9740288 346 33554432000 4194304 5098028 140727314803008 140727314801112 140054562558588 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18530304 140727314805861 140727314806071 140727314806071 140727314808811 0
/proc/19643/statm: 2378 346 289 221 0 87 0
[pid=19645] ppid=19643 vsize=26006188 memory=80540 CPUtime=1.85 cores=0-7
/proc/19645/stat : 19645 (java) S 19643 19643 18016 0 -1 1077944320 13377 0 0 0 179 6 0 0 20 0 20 0 145456958 26630336512 20135 33554432000 4194304 4196468 140726818398224 140726818380768 140084835352311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
/proc/19645/statm: 6501547 20135 3202 1 0 6488781 0
[pid=19645/tid=19646] ppid=19643 vsize=26006188 memory=280189037201536 CPUtime=0.67 cores=0-7
/proc/19645/task/19646/stat : 19646 (java) R 19643 19643 18016 0 -1 4202560 6794 0 0 0 64 3 0 0 20 0 20 0 145456958 26630336512 20135 33554432000 4194304 4196468 140726818398224 140084839591008 140084471519008 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19647] ppid=19643 vsize=26006188 memory=1004 CPUtime=0 cores=0-7
/proc/19645/task/19647/stat : 19647 (java) S 19643 19643 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145456959 26630336512 20135 33554432000 4194304 4196468 140726818398224 140084393671184 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19648] ppid=19643 vsize=26006188 memory=11112 CPUtime=0 cores=0-7
/proc/19645/task/19648/stat : 19648 (java) S 19643 19643 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145456959 26630336512 20135 33554432000 4194304 4196468 140726818398224 140084392618640 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19649] ppid=19643 vsize=26006188 memory=5776 CPUtime=0 cores=0-7
/proc/19645/task/19649/stat : 19649 (java) S 19643 19643 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145456959 26630336512 20135 33554432000 4194304 4196468 140726818398224 140084391565584 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
################
# More data... #
################
[pid=19645/tid=19654] ppid=19643 vsize=26006188 memory=840 CPUtime=0 cores=0-7
/proc/19645/task/19654/stat : 19654 (java) S 19643 19643 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145456959 26630336512 22477 33554432000 4194304 4196468 140726818398224 140084386302864 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19655] ppid=19643 vsize=26006188 memory=1696 CPUtime=0 cores=0-7
/proc/19645/task/19655/stat : 19655 (java) S 19643 19643 18016 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 145456960 26630336512 22477 33554432000 4194304 4196468 140726818398224 140083173767408 140084835363458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19656] ppid=19643 vsize=26006188 memory=22244 CPUtime=0 cores=0-7
/proc/19645/task/19656/stat : 19656 (java) S 19643 19643 18016 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145456961 26630336512 22477 33554432000 4194304 4196468 140726818398224 140083172713632 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19657] ppid=19643 vsize=26006188 memory=-7749696028082845524 CPUtime=0 cores=0-7
/proc/19645/task/19657/stat : 19657 (java) S 19643 19643 18016 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145456961 26630336512 22477 33554432000 4194304 4196468 140726818398224 140083171660528 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19658] ppid=19643 vsize=26006188 memory=6933690279252828305 CPUtime=0 cores=0-7
/proc/19645/task/19658/stat : 19658 (java) S 19643 19643 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145456963 26630336512 22477 33554432000 4194304 4196468 140726818398224 140083170609104 140084835370907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19659] ppid=19643 vsize=26006188 memory=-7384994778349280928 CPUtime=0.36 cores=0-7
/proc/19645/task/19659/stat : 19659 (java) R 19643 19643 18016 0 -1 4202560 1203 0 0 0 36 0 0 0 20 0 20 0 145456963 26630336512 22477 33554432000 4194304 4196468 140726818398224 140083169547344 140084816873745 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19660] ppid=19643 vsize=26006188 memory=0 CPUtime=0.34 cores=0-7
/proc/19645/task/19660/stat : 19660 (java) R 19643 19643 18016 0 -1 4202560 1235 0 0 0 34 0 0 0 20 0 20 0 145456963 26630336512 22477 33554432000 4194304 4196468 140726818398224 140083168488912 140084828449147 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19661] ppid=19643 vsize=26006188 memory=0 CPUtime=0.34 cores=0-7
/proc/19645/task/19661/stat : 19661 (java) R 19643 19643 18016 0 -1 4202560 1253 0 0 0 34 0 0 0 20 0 20 0 145456963 26630336512 22477 33554432000 4194304 4196468 140726818398224 140083167451632 140084818739727 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19662] ppid=19643 vsize=26006188 memory=0 CPUtime=0.42 cores=0-7
/proc/19645/task/19662/stat : 19662 (java) S 19643 19643 18016 0 -1 1077944384 1838 0 0 0 41 1 0 0 20 0 20 0 145456963 26630336512 22477 33554432000 4194304 4196468 140726818398224 140083166399088 140084835363458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19663] ppid=19643 vsize=26006188 memory=56 CPUtime=0 cores=0-7
/proc/19645/task/19663/stat : 19663 (java) S 19643 19643 18016 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145456964 26630336512 22477 33554432000 4194304 4196468 140726818398224 140083165346272 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19664] ppid=19643 vsize=26006188 memory=9229 CPUtime=0 cores=0-7
/proc/19645/task/19664/stat : 19664 (java) S 19643 19643 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145456964 26630336512 22477 33554432000 4194304 4196468 140726818398224 140083164293808 140084835363458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
Current children cumulated CPU time: 2.28 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 91292 KiB
[startup+1.20192 s]
/proc/loadavg: 7.13 8.05 7.88 5/207 19672
/proc/meminfo: memFree=22656140/32770624 swapFree=67108860/67108860
[pid=19643] ppid=19640 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19643/stat : 19643 (xcsp3-exec) S 19640 19643 18016 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145456957 9740288 346 33554432000 4194304 5098028 140727314803008 140727314801112 140054562558588 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18530304 140727314805861 140727314806071 140727314806071 140727314808811 0
/proc/19643/statm: 2378 346 289 221 0 87 0
[pid=19645] ppid=19643 vsize=26538700 memory=116192 CPUtime=5.13 cores=0-7
/proc/19645/stat : 19645 (java) S 19643 19643 18016 0 -1 1077944320 14827 0 0 0 505 8 0 0 20 0 28 0 145456958 27175628800 29048 33554432000 4194304 4196468 140726818398224 140726818380768 140084835352311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
/proc/19645/statm: 6634675 29048 3219 1 0 6621909 0
[pid=19645/tid=19646] ppid=19643 vsize=26538700 memory=0 CPUtime=0.82 cores=0-7
/proc/19645/task/19646/stat : 19646 (java) S 19643 19643 18016 0 -1 1077944384 6883 0 0 0 79 3 0 0 20 0 28 0 145456958 27175628800 29048 33554432000 4194304 4196468 140726818398224 140084839593088 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19647] ppid=19643 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19647/stat : 19647 (java) S 19643 19643 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 145456959 27175628800 29048 33554432000 4194304 4196468 140726818398224 140084393671184 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19648] ppid=19643 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19648/stat : 19648 (java) S 19643 19643 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 145456959 27175628800 29048 33554432000 4194304 4196468 140726818398224 140084392618640 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19649] ppid=19643 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19649/stat : 19649 (java) S 19643 19643 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145456959 27175628800 29048 33554432000 4194304 4196468 140726818398224 140084391565584 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19650] ppid=19643 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19650/stat : 19650 (java) S 19643 19643 18016 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145456959 27175628800 29048 33554432000 4194304 4196468 140726818398224 140084390513040 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19651] ppid=19643 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19651/stat : 19651 (java) S 19643 19643 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145456959 27175628800 29048 33554432000 4194304 4196468 140726818398224 140084389461008 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19652] ppid=19643 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19652/stat : 19652 (java) S 19643 19643 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 145456959 27175628800 29048 33554432000 4194304 4196468 140726818398224 140084388408464 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19653] ppid=19643 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19653/stat : 19653 (java) S 19643 19643 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145456959 27175628800 29048 33554432000 4194304 4196468 140726818398224 140084387355408 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19654] ppid=19643 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19654/stat : 19654 (java) S 19643 19643 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145456959 27175628800 29048 33554432000 4194304 4196468 140726818398224 140084386302864 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19655] ppid=19643 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19655/stat : 19655 (java) S 19643 19643 18016 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 145456960 27175628800 29048 33554432000 4194304 4196468 140726818398224 140083173767408 140084835363458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19656] ppid=19643 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19656/stat : 19656 (java) S 19643 19643 18016 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 145456961 27175628800 29048 33554432000 4194304 4196468 140726818398224 140083172713632 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19657] ppid=19643 vsize=26538700 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/19645/task/19657/stat : 19657 (java) S 19643 19643 18016 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 145456961 27175628800 29048 33554432000 4194304 4196468 140726818398224 140083171660528 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19658] ppid=19643 vsize=26538700 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/19645/task/19658/stat : 19658 (java) S 19643 19643 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145456963 27175628800 29048 33554432000 4194304 4196468 140726818398224 140083170609104 140084835370907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19659] ppid=19643 vsize=26538700 memory=13849659856660828 CPUtime=0.5 cores=0-7
/proc/19645/task/19659/stat : 19659 (java) S 19643 19643 18016 0 -1 1077944384 1261 0 0 0 50 0 0 0 20 0 28 0 145456963 27175628800 29048 33554432000 4194304 4196468 140726818398224 140083169557232 140084835363458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19660] ppid=19643 vsize=26538700 memory=0 CPUtime=0.6 cores=0-7
/proc/19645/task/19660/stat : 19660 (java) R 19643 19643 18016 0 -1 1077944384 1350 0 0 0 60 0 0 0 20 0 28 0 145456963 27175628800 29048 33554432000 4194304 4196468 140726818398224 140083168504688 140084835363458 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19661] ppid=19643 vsize=26538700 memory=0 CPUtime=0.56 cores=0-7
/proc/19645/task/19661/stat : 19661 (java) S 19643 19643 18016 0 -1 1077944384 1637 0 0 0 55 1 0 0 20 0 28 0 145456963 27175628800 29048 33554432000 4194304 4196468 140726818398224 140083167451632 140084835363458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19662] ppid=19643 vsize=26538700 memory=0 CPUtime=0.52 cores=0-7
/proc/19645/task/19662/stat : 19662 (java) S 19643 19643 18016 0 -1 1077944384 2023 0 0 0 51 1 0 0 20 0 28 0 145456963 27175628800 29048 33554432000 4194304 4196468 140726818398224 140083166399088 140084835363458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19663] ppid=19643 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19663/stat : 19663 (java) S 19643 19643 18016 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145456964 27175628800 29048 33554432000 4194304 4196468 140726818398224 140083165346272 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19664] ppid=19643 vsize=26538700 memory=9023629670928638048 CPUtime=0 cores=0-7
/proc/19645/task/19664/stat : 19664 (java) S 19643 19643 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145456964 27175628800 29048 33554432000 4194304 4196468 140726818398224 140083164293808 140084835363458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19665] ppid=19643 vsize=26538700 memory=4206186544037388384 CPUtime=0.26 cores=0-7
/proc/19645/task/19665/stat : 19665 (java) R 19643 19643 18016 0 -1 4202560 60 0 0 0 26 0 0 0 20 0 28 0 145457043 27175628800 29048 33554432000 4194304 4196468 140726818398224 140083156776688 140084469913519 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19666] ppid=19643 vsize=26538700 memory=6944656592455359580 CPUtime=0.26 cores=0-7
/proc/19645/task/19666/stat : 19666 (java) R 19643 19643 18016 0 -1 4202560 46 0 0 0 26 0 0 0 20 0 28 0 145457043 27175628800 29048 33554432000 4194304 4196468 140726818398224 140083155728360 140084469913510 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19667] ppid=19643 vsize=26538700 memory=6944656592455359580 CPUtime=0.25 cores=0-7
/proc/19645/task/19667/stat : 19667 (java) R 19643 19643 18016 0 -1 4202560 33 0 0 0 25 0 0 0 20 0 28 0 145457043 27175628800 29048 33554432000 4194304 4196468 140726818398224 140083154676592 140084471609054 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19668] ppid=19643 vsize=26538700 memory=6944652177228980320 CPUtime=0.28 cores=0-7
/proc/19645/task/19668/stat : 19668 (java) R 19643 19643 18016 0 -1 4202560 80 0 0 0 28 0 0 0 20 0 28 0 145457043 27175628800 29048 33554432000 4194304 4196468 140726818398224 140083153623448 140084469913526 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19669] ppid=19643 vsize=26538700 memory=6944652177228980320 CPUtime=0.26 cores=0-7
/proc/19645/task/19669/stat : 19669 (java) R 19643 19643 18016 0 -1 4202560 38 0 0 0 26 0 0 0 20 0 28 0 145457043 27175628800 29048 33554432000 4194304 4196468 140726818398224 140083152568368 140084471609083 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19670] ppid=19643 vsize=26538700 memory=6944652177228980320 CPUtime=0.24 cores=0-7
/proc/19645/task/19670/stat : 19670 (java) R 19643 19643 18016 0 -1 4202560 36 0 0 0 24 0 0 0 20 0 28 0 145457043 27175628800 29048 33554432000 4194304 4196468 140726818398224 140083151518264 140084474302857 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19671] ppid=19643 vsize=26538700 memory=0 CPUtime=0.25 cores=0-7
/proc/19645/task/19671/stat : 19671 (java) R 19643 19643 18016 0 -1 4202560 34 0 0 0 25 0 0 0 20 0 28 0 145457043 27175628800 29048 33554432000 4194304 4196468 140726818398224 140083150465224 140084474302889 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19672] ppid=19643 vsize=26538700 memory=0 CPUtime=0.24 cores=0-7
/proc/19645/task/19672/stat : 19672 (java) R 19643 19643 18016 0 -1 4202560 32 0 0 0 24 0 0 0 20 0 28 0 145457043 27175628800 29048 33554432000 4194304 4196468 140726818398224 140083149411504 140084469913526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
Current children cumulated CPU time: 5.13 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 117576 KiB
[startup+1.30192 s]
/proc/loadavg: 7.13 8.05 7.88 5/207 19672
/proc/meminfo: memFree=22656140/32770624 swapFree=67108860/67108860
[pid=19643] ppid=19640 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19643/stat : 19643 (xcsp3-exec) S 19640 19643 18016 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145456957 9740288 346 33554432000 4194304 5098028 140727314803008 140727314801112 140054562558588 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18530304 140727314805861 140727314806071 140727314806071 140727314808811 0
/proc/19643/statm: 2378 346 289 221 0 87 0
[pid=19645] ppid=19643 vsize=26538700 memory=116236 CPUtime=5.93 cores=0-7
/proc/19645/stat : 19645 (java) S 19643 19643 18016 0 -1 1077944320 14863 0 0 0 585 8 0 0 20 0 28 0 145456958 27175628800 29059 33554432000 4194304 4196468 140726818398224 140726818380768 140084835352311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
/proc/19645/statm: 6634675 29059 3221 1 0 6621909 0
[pid=19645/tid=19646] ppid=19643 vsize=26538700 memory=115588 CPUtime=0.82 cores=0-7
/proc/19645/task/19646/stat : 19646 (java) S 19643 19643 18016 0 -1 1077944384 6883 0 0 0 79 3 0 0 20 0 28 0 145456958 27175628800 29059 33554432000 4194304 4196468 140726818398224 140084839593088 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19647] ppid=19643 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19647/stat : 19647 (java) S 19643 19643 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 145456959 27175628800 29059 33554432000 4194304 4196468 140726818398224 140084393671184 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19648] ppid=19643 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19648/stat : 19648 (java) S 19643 19643 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 145456959 27175628800 29059 33554432000 4194304 4196468 140726818398224 140084392618640 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19649] ppid=19643 vsize=26538700 memory=84366042634630 CPUtime=0 cores=0-7
/proc/19645/task/19649/stat : 19649 (java) S 19643 19643 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145456959 27175628800 29059 33554432000 4194304 4196468 140726818398224 140084391565584 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19650] ppid=19643 vsize=26538700 memory=84366042634631 CPUtime=0 cores=0-7
/proc/19645/task/19650/stat : 19650 (java) S 19643 19643 18016 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145456959 27175628800 29059 33554432000 4194304 4196468 140726818398224 140084390513040 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19651] ppid=19643 vsize=26538700 memory=84366042634632 CPUtime=0 cores=0-7
/proc/19645/task/19651/stat : 19651 (java) S 19643 19643 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145456959 27175628800 29059 33554432000 4194304 4196468 140726818398224 140084389461008 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19652] ppid=19643 vsize=26538700 memory=84366042634633 CPUtime=0 cores=0-7
/proc/19645/task/19652/stat : 19652 (java) S 19643 19643 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 145456959 27175628800 29059 33554432000 4194304 4196468 140726818398224 140084388408464 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19653] ppid=19643 vsize=26538700 memory=84366042634634 CPUtime=0 cores=0-7
/proc/19645/task/19653/stat : 19653 (java) S 19643 19643 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145456959 27175628800 29059 33554432000 4194304 4196468 140726818398224 140084387355408 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19654] ppid=19643 vsize=26538700 memory=84366042634635 CPUtime=0 cores=0-7
/proc/19645/task/19654/stat : 19654 (java) S 19643 19643 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145456959 27175628800 29059 33554432000 4194304 4196468 140726818398224 140084386302864 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19655] ppid=19643 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19655/stat : 19655 (java) S 19643 19643 18016 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 145456960 27175628800 29059 33554432000 4194304 4196468 140726818398224 140083173767408 140084835363458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19656] ppid=19643 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19656/stat : 19656 (java) S 19643 19643 18016 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 145456961 27175628800 29059 33554432000 4194304 4196468 140726818398224 140083172713632 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19657] ppid=19643 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19657/stat : 19657 (java) S 19643 19643 18016 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 145456961 27175628800 29059 33554432000 4194304 4196468 140726818398224 140083171660528 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19658] ppid=19643 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/19645/task/19658/stat : 19658 (java) S 19643 19643 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145456963 27175628800 29059 33554432000 4194304 4196468 140726818398224 140083170609104 140084835370907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19659] ppid=19643 vsize=26538700 memory=0 CPUtime=0.5 cores=0-7
/proc/19645/task/19659/stat : 19659 (java) S 19643 19643 18016 0 -1 1077944384 1265 0 0 0 50 0 0 0 20 0 28 0 145456963 27175628800 29059 33554432000 4194304 4196468 140726818398224 140083169557232 140084835363458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19660] ppid=19643 vsize=26538700 memory=0 CPUtime=0.6 cores=0-7
/proc/19645/task/19660/stat : 19660 (java) R 19643 19643 18016 0 -1 1077944384 1374 0 0 0 60 0 0 0 20 0 28 0 145456963 27175628800 29059 33554432000 4194304 4196468 140726818398224 140083168504688 140084835363458 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19661] ppid=19643 vsize=26538700 memory=0 CPUtime=0.56 cores=0-7
/proc/19645/task/19661/stat : 19661 (java) S 19643 19643 18016 0 -1 1077944384 1637 0 0 0 55 1 0 0 20 0 28 0 145456963 27175628800 29059 33554432000 4194304 4196468 140726818398224 140083167451632 140084835363458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19662] ppid=19643 vsize=26538700 memory=0 CPUtime=0.53 cores=0-7
/proc/19645/task/19662/stat : 19662 (java) S 19643 19643 18016 0 -1 1077944384 2031 0 0 0 52 1 0 0 20 0 28 0 145456963 27175628800 29059 33554432000 4194304 4196468 140726818398224 140083166399088 140084835363458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19663] ppid=19643 vsize=26538700 memory=1716 CPUtime=0 cores=0-7
/proc/19645/task/19663/stat : 19663 (java) S 19643 19643 18016 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145456964 27175628800 29059 33554432000 4194304 4196468 140726818398224 140083165346272 140084835362517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19664] ppid=19643 vsize=26538700 memory=10636 CPUtime=0 cores=0-7
/proc/19645/task/19664/stat : 19664 (java) S 19643 19643 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145456964 27175628800 29059 33554432000 4194304 4196468 140726818398224 140083164293808 140084835363458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19665] ppid=19643 vsize=26538700 memory=1200 CPUtime=0.36 cores=0-7
/proc/19645/task/19665/stat : 19665 (java) R 19643 19643 18016 0 -1 4202560 60 0 0 0 36 0 0 0 20 0 28 0 145457043 27175628800 29059 33554432000 4194304 4196468 140726818398224 140083156776688 140084469913519 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19666] ppid=19643 vsize=26538700 memory=15876 CPUtime=0.35 cores=0-7
/proc/19645/task/19666/stat : 19666 (java) R 19643 19643 18016 0 -1 4202560 46 0 0 0 35 0 0 0 20 0 28 0 145457043 27175628800 29059 33554432000 4194304 4196468 140726818398224 140083155728360 140084469913505 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19667] ppid=19643 vsize=26538700 memory=4044 CPUtime=0.35 cores=0-7
/proc/19645/task/19667/stat : 19667 (java) R 19643 19643 18016 0 -1 4202560 33 0 0 0 35 0 0 0 20 0 28 0 145457043 27175628800 29059 33554432000 4194304 4196468 140726818398224 140083154676592 140084474302800 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19668] ppid=19643 vsize=26538700 memory=16444 CPUtime=0.38 cores=0-7
/proc/19645/task/19668/stat : 19668 (java) R 19643 19643 18016 0 -1 4202560 80 0 0 0 38 0 0 0 20 0 28 0 145457043 27175628800 29059 33554432000 4194304 4196468 140726818398224 140083153623448 140084469114072 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19669] ppid=19643 vsize=26538700 memory=23536 CPUtime=0.36 cores=0-7
/proc/19645/task/19669/stat : 19669 (java) R 19643 19643 18016 0 -1 4202560 38 0 0 0 36 0 0 0 20 0 28 0 145457043 27175628800 29059 33554432000 4194304 4196468 140726818398224 140083152568368 140084469913510 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19670] ppid=19643 vsize=26538700 memory=1796 CPUtime=0.34 cores=0-7
/proc/19645/task/19670/stat : 19670 (java) R 19643 19643 18016 0 -1 4202560 36 0 0 0 34 0 0 0 20 0 28 0 145457043 27175628800 29059 33554432000 4194304 4196468 140726818398224 140083151518264 140084469913519 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19671] ppid=19643 vsize=26538700 memory=636 CPUtime=0.35 cores=0-7
/proc/19645/task/19671/stat : 19671 (java) R 19643 19643 18016 0 -1 4202560 34 0 0 0 35 0 0 0 20 0 28 0 145457043 27175628800 29059 33554432000 4194304 4196468 140726818398224 140083150465224 140084474521379 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
[pid=19645/tid=19672] ppid=19643 vsize=26538700 memory=960 CPUtime=0.34 cores=0-7
/proc/19645/task/19672/stat : 19672 (java) R 19643 19643 18016 0 -1 4202560 32 0 0 0 34 0 0 0 20 0 28 0 145457043 27175628800 29059 33554432000 4194304 4196468 140726818398224 140083149412664 140084469913487 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29163520 140726818403474 140726818403651 140726818403651 140726818406351 0
Current children cumulated CPU time: 5.93 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 117620 KiB
Child status: 0
Real time (s): 1.37161
CPU time (s): 6.36085
CPU user time (s): 6.27115
CPU system time (s): 0.089698
CPU usage (%): 463.75
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 117620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.27115
system time used= 0.089698
maximum resident set size= 119444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15424
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2966
involuntary context switches= 113
# summary of solver processes directly reported to runsolver:
# pid: 19643
# total CPU time (s): 6.36085
# total CPU user time (s): 6.27115
# total CPU system time (s): 0.089698
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.03065 second user time and 0.058236 second system time
The end
Begin job on node150 at 2017-08-19 08:08:20
IDJOB=4280977
IDBENCH=120884
IDSOLVER=2675
FILE ID=node150/4280977-1503123760
RUNJOBID= node150-1503120141-18043
PBS_JOBID= 20630767
Free space on /tmp= 61904 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/QueensKnights/QueensKnights-m1-s1/QueensKnights-008-05-mul.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-4280977-1503123760/watcher-4280977-1503123760 -o /tmp/evaluation-result-4280977-1503123760/solver-4280977-1503123760 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1503120141-18043 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 862306730 HOME/instance-4280977-1503123760.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= d00d8f739bc214548f076bd032f30ee9
RANDOM SEED=862306730
node150.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 : 5332.89
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 : 5332.89
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 : 5332.89
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 : 5332.89
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: 22757588 kB
MemAvailable: 31959564 kB
Buffers: 330420 kB
Cached: 9150616 kB
SwapCached: 0 kB
Active: 2738196 kB
Inactive: 6797684 kB
Active(anon): 57456 kB
Inactive(anon): 33232 kB
Active(file): 2680740 kB
Inactive(file): 6764452 kB
Unevictable: 7288 kB
Mlocked: 7288 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 8328 kB
Writeback: 0 kB
AnonPages: 107860 kB
Mapped: 51496 kB
Shmem: 33416 kB
Slab: 171660 kB
SReclaimable: 145236 kB
SUnreclaim: 26424 kB
KernelStack: 3680 kB
PageTables: 6184 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 332856 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 53248 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 120192 kB
DirectMap2M: 33425408 kB
Free space on /tmp at the end= 61896 MiB
End job on node150 at 2017-08-19 08:08:21