0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280368-1503138563.xml" -tl '20160s' -p 8 -x 0
0.11/0.14 c [HOME/instance-4280368-1503138563.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.33/0.26 c parse instance...
2.97/1.01 c solve instance...
8.43/1.91 o 65
8.43/1.92 o 61
8.43/1.94 o 61
9.68/2.11 o 59
11.76/3.17 o 58
13.31/3.44 o 57
14.42/3.61 o 56
15.15/3.79 o 55
15.86/3.83 o 53
17.89/4.69 o 52
19.65/5.58 o 50
24.52/6.64 o 49
27.37/7.58 o 47
50.67/10.57 o 45
103.39/17.64 o 44
1120.66/145.65 s OPTIMUM FOUND
1120.66/145.65 v <instantiation>
1120.66/145.65 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] </list>
1120.66/145.65 v <values>0 1 5 12 25 27 35 41 44 </values>
1120.66/145.65 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 (13303 MiB free)
memory of node 1: 16384 MiB (13305 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280368-1503138563/watcher-4280368-1503138563 -o /tmp/evaluation-result-4280368-1503138563/solver-4280368-1503138563 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503137703-18829 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 269704419 HOME/instance-4280368-1503138563.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18846, runsolver pid=18843
[startup+0.100289 s]*
/proc/loadavg: 8.09 8.21 8.25 2/199 18867
/proc/meminfo: memFree=27231980/32770624 swapFree=67108860/67108860
[pid=18846] ppid=18843 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/18846/stat : 18846 (xcsp3-exec) S 18843 18846 18802 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 146943778 9740288 346 33554432000 4194304 5098028 140730128938736 140730128936840 140028418830972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9064448 140730128946277 140730128946487 140730128946487 140730128949227 0
/proc/18846/statm: 2378 346 289 221 0 87 0
[pid=18848] ppid=18846 vsize=25999808 memory=26784 CPUtime=0.11 cores=0-7
/proc/18848/stat : 18848 (java) S 18846 18846 18802 0 -1 1077944320 5644 0 0 0 10 1 0 0 20 0 20 0 146943778 26623803392 6696 33554432000 4194304 4196468 140734339046112 140734339028656 140211618737911 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
/proc/18848/statm: 6499952 6696 2845 1 0 6488269 0
[pid=18848/tid=18849] ppid=18846 vsize=25999808 memory=8258645624806613403 CPUtime=0.09 cores=0-7
/proc/18848/task/18849/stat : 18849 (java) R 18846 18846 18802 0 -1 4202560 3641 0 0 0 8 1 0 0 20 0 20 0 146943778 26623803392 6696 33554432000 4194304 4196468 140734339046112 140211622971184 140211602818398 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18850] ppid=18846 vsize=25999808 memory=732370677378055141 CPUtime=0 cores=0-7
/proc/18848/task/18850/stat : 18850 (java) S 18846 18846 18802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146943779 26623803392 6696 33554432000 4194304 4196468 140734339046112 140211571358864 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18851] ppid=18846 vsize=25999808 memory=140539040601728 CPUtime=0 cores=0-7
/proc/18848/task/18851/stat : 18851 (java) S 18846 18846 18802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146943779 26623803392 6696 33554432000 4194304 4196468 140734339046112 140211570306064 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18852] ppid=18846 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18848/task/18852/stat : 18852 (java) S 18846 18846 18802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146943779 26623803392 6696 33554432000 4194304 4196468 140734339046112 140211569253264 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18853] ppid=18846 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18848/task/18853/stat : 18853 (java) S 18846 18846 18802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146943779 26623803392 6696 33554432000 4194304 4196468 140734339046112 140211568200464 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18854] ppid=18846 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18848/task/18854/stat : 18854 (java) S 18846 18846 18802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146943779 26623803392 6696 33554432000 4194304 4196468 140734339046112 140211567147664 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18855] ppid=18846 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/18848/task/18855/stat : 18855 (java) S 18846 18846 18802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146943779 26623803392 6696 33554432000 4194304 4196468 140734339046112 140211566094864 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18856] ppid=18846 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18848/task/18856/stat : 18856 (java) S 18846 18846 18802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146943779 26623803392 6696 33554432000 4194304 4196468 140734339046112 140211565042064 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18857] ppid=18846 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18848/task/18857/stat : 18857 (java) S 18846 18846 18802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146943779 26623803392 6696 33554432000 4194304 4196468 140734339046112 140211563989264 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18858] ppid=18846 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18848/task/18858/stat : 18858 (java) S 18846 18846 18802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146943781 26623803392 6696 33554432000 4194304 4196468 140734339046112 140210946939760 140211618749058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18859] ppid=18846 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18848/task/18859/stat : 18859 (java) S 18846 18846 18802 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146943781 26623803392 6696 33554432000 4194304 4196468 140734339046112 140210945885728 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18860] ppid=18846 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18848/task/18860/stat : 18860 (java) S 18846 18846 18802 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146943781 26623803392 6696 33554432000 4194304 4196468 140734339046112 140210944832880 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18861] ppid=18846 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18848/task/18861/stat : 18861 (java) S 18846 18846 18802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146943784 26623803392 6696 33554432000 4194304 4196468 140734339046112 140210943781200 140211618756507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18862] ppid=18846 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18848/task/18862/stat : 18862 (java) S 18846 18846 18802 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 146943784 26623803392 6696 33554432000 4194304 4196468 140734339046112 140210942728560 140211618749058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18863] ppid=18846 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18848/task/18863/stat : 18863 (java) R 18846 18846 18802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146943784 26623803392 6696 33554432000 4194304 4196468 140734339046112 140210941675760 140211618749058 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18864] ppid=18846 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18848/task/18864/stat : 18864 (java) S 18846 18846 18802 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 146943784 26623803392 6696 33554432000 4194304 4196468 140734339046112 140210940622960 140211618749058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18865] ppid=18846 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/18848/task/18865/stat : 18865 (java) R 18846 18846 18802 0 -1 1077944384 257 0 0 0 1 0 0 0 20 0 20 0 146943784 26623803392 6696 33554432000 4194304 4196468 140734339046112 140210939570000 140211618759101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18866] ppid=18846 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18848/task/18866/stat : 18866 (java) S 18846 18846 18802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146943784 26623803392 6696 33554432000 4194304 4196468 140734339046112 140210938518624 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18867] ppid=18846 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/18848/task/18867/stat : 18867 (java) S 18846 18846 18802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146943784 26623803392 6696 33554432000 4194304 4196468 140734339046112 140210937465904 140211618749058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28168 KiB
[startup+0.210449 s]*
/proc/loadavg: 8.09 8.21 8.25 2/199 18867
/proc/meminfo: memFree=27221684/32770624 swapFree=67108860/67108860
[pid=18846] ppid=18843 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/18846/stat : 18846 (xcsp3-exec) S 18843 18846 18802 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 146943778 9740288 346 33554432000 4194304 5098028 140730128938736 140730128936840 140028418830972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9064448 140730128946277 140730128946487 140730128946487 140730128949227 0
/proc/18846/statm: 2378 346 289 221 0 87 0
[pid=18848] ppid=18846 vsize=26004064 memory=38952 CPUtime=0.33 cores=0-7
/proc/18848/stat : 18848 (java) S 18846 18846 18802 0 -1 1077944320 8310 0 0 0 30 3 0 0 20 0 20 0 146943778 26628161536 9738 33554432000 4194304 4196468 140734339046112 140734339028656 140211618737911 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
/proc/18848/statm: 6501016 9738 3039 1 0 6488269 0
[pid=18848/tid=18849] ppid=18846 vsize=26004064 memory=0 CPUtime=0.2 cores=0-7
/proc/18848/task/18849/stat : 18849 (java) R 18846 18846 18802 0 -1 4202560 5425 0 0 0 18 2 0 0 20 0 20 0 146943778 26628161536 9738 33554432000 4194304 4196468 140734339046112 140211622960736 140211618749846 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18850] ppid=18846 vsize=26004064 memory=281077953828600 CPUtime=0 cores=0-7
/proc/18848/task/18850/stat : 18850 (java) S 18846 18846 18802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146943779 26628161536 9738 33554432000 4194304 4196468 140734339046112 140211571358864 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18851] ppid=18846 vsize=26004064 memory=140539040601728 CPUtime=0 cores=0-7
/proc/18848/task/18851/stat : 18851 (java) S 18846 18846 18802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146943779 26628161536 9738 33554432000 4194304 4196468 140734339046112 140211570306064 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18852] ppid=18846 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18848/task/18852/stat : 18852 (java) S 18846 18846 18802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146943779 26628161536 9738 33554432000 4194304 4196468 140734339046112 140211569253264 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18853] ppid=18846 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18848/task/18853/stat : 18853 (java) S 18846 18846 18802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146943779 26628161536 9738 33554432000 4194304 4196468 140734339046112 140211568200464 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18854] ppid=18846 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18848/task/18854/stat : 18854 (java) S 18846 18846 18802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146943779 26628161536 9738 33554432000 4194304 4196468 140734339046112 140211567147664 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18855] ppid=18846 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/18848/task/18855/stat : 18855 (java) S 18846 18846 18802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146943779 26628161536 9738 33554432000 4194304 4196468 140734339046112 140211566094864 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18856] ppid=18846 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18848/task/18856/stat : 18856 (java) S 18846 18846 18802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146943779 26628161536 9738 33554432000 4194304 4196468 140734339046112 140211565042064 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18857] ppid=18846 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18848/task/18857/stat : 18857 (java) S 18846 18846 18802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146943779 26628161536 9738 33554432000 4194304 4196468 140734339046112 140211563989264 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18858] ppid=18846 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18848/task/18858/stat : 18858 (java) S 18846 18846 18802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146943781 26628161536 9738 33554432000 4194304 4196468 140734339046112 140210946939760 140211618749058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18859] ppid=18846 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18848/task/18859/stat : 18859 (java) S 18846 18846 18802 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146943781 26628161536 9738 33554432000 4194304 4196468 140734339046112 140210945885728 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18860] ppid=18846 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18848/task/18860/stat : 18860 (java) S 18846 18846 18802 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146943781 26628161536 9738 33554432000 4194304 4196468 140734339046112 140210944832880 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18861] ppid=18846 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18848/task/18861/stat : 18861 (java) S 18846 18846 18802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146943784 26628161536 9738 33554432000 4194304 4196468 140734339046112 140210943781200 140211618756507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18862] ppid=18846 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18848/task/18862/stat : 18862 (java) S 18846 18846 18802 0 -1 1077944384 333 0 0 0 0 0 0 0 20 0 20 0 146943784 26628161536 9738 33554432000 4194304 4196468 140734339046112 140210942728560 140211618749058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18863] ppid=18846 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/18848/task/18863/stat : 18863 (java) S 18846 18846 18802 0 -1 1077944384 186 0 0 0 1 0 0 0 20 0 20 0 146943784 26628161536 9738 33554432000 4194304 4196468 140734339046112 140210941675760 140211618749058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18864] ppid=18846 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/18848/task/18864/stat : 18864 (java) S 18846 18846 18802 0 -1 1077944384 326 0 0 0 2 0 0 0 20 0 20 0 146943784 26628161536 9738 33554432000 4194304 4196468 140734339046112 140210940622960 140211618749058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18865] ppid=18846 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/18848/task/18865/stat : 18865 (java) R 18846 18846 18802 0 -1 4202560 730 0 0 0 7 0 0 0 20 0 20 0 146943784 26628161536 9738 33554432000 4194304 4196468 140734339046112 140210939570160 140211597721059 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18866] ppid=18846 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18848/task/18866/stat : 18866 (java) S 18846 18846 18802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146943784 26628161536 9738 33554432000 4194304 4196468 140734339046112 140210938518624 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18867] ppid=18846 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/18848/task/18867/stat : 18867 (java) S 18846 18846 18802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146943784 26628161536 9738 33554432000 4194304 4196468 140734339046112 140210937465904 140211618749058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40336 KiB
[startup+0.320238 s]*
/proc/loadavg: 8.09 8.21 8.25 4/199 18867
/proc/meminfo: memFree=27214240/32770624 swapFree=67108860/67108860
[pid=18846] ppid=18843 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/18846/stat : 18846 (xcsp3-exec) S 18843 18846 18802 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 146943778 9740288 346 33554432000 4194304 5098028 140730128938736 140730128936840 140028418830972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9064448 140730128946277 140730128946487 140730128946487 140730128949227 0
/proc/18846/statm: 2378 346 289 221 0 87 0
[pid=18848] ppid=18846 vsize=26004064 memory=45924 CPUtime=0.52 cores=0-7
/proc/18848/stat : 18848 (java) S 18846 18846 18802 0 -1 1077944320 9241 0 0 0 48 4 0 0 20 0 20 0 146943778 26628161536 11481 33554432000 4194304 4196468 140734339046112 140734339028656 140211618737911 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
/proc/18848/statm: 6501016 11481 3111 1 0 6488269 0
[pid=18848/tid=18849] ppid=18846 vsize=26004064 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/18848/task/18849/stat : 18849 (java) R 18846 18846 18802 0 -1 4202560 6153 0 0 0 28 2 0 0 20 0 20 0 146943778 26628161536 11481 33554432000 4194304 4196468 140734339046112 140211622963808 140211618759837 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18850] ppid=18846 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18848/task/18850/stat : 18850 (java) S 18846 18846 18802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146943779 26628161536 11481 33554432000 4194304 4196468 140734339046112 140211571358864 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18851] ppid=18846 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18848/task/18851/stat : 18851 (java) S 18846 18846 18802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146943779 26628161536 11481 33554432000 4194304 4196468 140734339046112 140211570306064 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18852] ppid=18846 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18848/task/18852/stat : 18852 (java) S 18846 18846 18802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146943779 26628161536 11481 33554432000 4194304 4196468 140734339046112 140211569253264 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18853] ppid=18846 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18848/task/18853/stat : 18853 (java) S 18846 18846 18802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146943779 26628161536 11545 33554432000 4194304 4196468 140734339046112 140211568200464 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18854] ppid=18846 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/18848/task/18854/stat : 18854 (java) S 18846 18846 18802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146943779 26628161536 11545 33554432000 4194304 4196468 140734339046112 140211567147664 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18855] ppid=18846 vsize=26004064 memory=140538913321903 CPUtime=0 cores=0-7
/proc/18848/task/18855/stat : 18855 (java) S 18846 18846 18802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146943779 26628161536 11545 33554432000 4194304 4196468 140734339046112 140211566094864 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18856] ppid=18846 vsize=26004064 memory=140538913324208 CPUtime=0 cores=0-7
/proc/18848/task/18856/stat : 18856 (java) S 18846 18846 18802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146943779 26628161536 11545 33554432000 4194304 4196468 140734339046112 140211565042064 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18857] ppid=18846 vsize=26004064 memory=140538913326512 CPUtime=0 cores=0-7
/proc/18848/task/18857/stat : 18857 (java) S 18846 18846 18802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146943779 26628161536 11545 33554432000 4194304 4196468 140734339046112 140211563989264 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18858] ppid=18846 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18848/task/18858/stat : 18858 (java) S 18846 18846 18802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146943781 26628161536 11545 33554432000 4194304 4196468 140734339046112 140210946939760 140211618749058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18859] ppid=18846 vsize=26004064 memory=281077826659984 CPUtime=0 cores=0-7
/proc/18848/task/18859/stat : 18859 (java) S 18846 18846 18802 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146943781 26628161536 11545 33554432000 4194304 4196468 140734339046112 140210945885728 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18860] ppid=18846 vsize=26004064 memory=281077826666896 CPUtime=0 cores=0-7
/proc/18848/task/18860/stat : 18860 (java) S 18846 18846 18802 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146943781 26628161536 11545 33554432000 4194304 4196468 140734339046112 140210944832880 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18861] ppid=18846 vsize=26004064 memory=281077826608176 CPUtime=0 cores=0-7
/proc/18848/task/18861/stat : 18861 (java) S 18846 18846 18802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146943784 26628161536 11545 33554432000 4194304 4196468 140734339046112 140210943781200 140211618756507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18862] ppid=18846 vsize=26004064 memory=281077826680720 CPUtime=0.01 cores=0-7
/proc/18848/task/18862/stat : 18862 (java) S 18846 18846 18802 0 -1 1077944384 340 0 0 0 1 0 0 0 20 0 20 0 146943784 26628161536 11545 33554432000 4194304 4196468 140734339046112 140210942728560 140211618749058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18863] ppid=18846 vsize=26004064 memory=281077826687632 CPUtime=0.03 cores=0-7
/proc/18848/task/18863/stat : 18863 (java) R 18846 18846 18802 0 -1 4202560 256 0 0 0 3 0 0 0 20 0 20 0 146943784 26628161536 11545 33554432000 4194304 4196468 140734339046112 140210941666144 140211603862679 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18864] ppid=18846 vsize=26004064 memory=281077826685328 CPUtime=0.02 cores=0-7
/proc/18848/task/18864/stat : 18864 (java) S 18846 18846 18802 0 -1 1077944384 336 0 0 0 2 0 0 0 20 0 20 0 146943784 26628161536 11545 33554432000 4194304 4196468 140734339046112 140210940622960 140211618749058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18865] ppid=18846 vsize=26004064 memory=281077826701488 CPUtime=0.13 cores=0-7
/proc/18848/task/18865/stat : 18865 (java) S 18846 18846 18802 0 -1 1077944384 849 0 0 0 13 0 0 0 20 0 20 0 146943784 26628161536 11545 33554432000 4194304 4196468 140734339046112 140210939570160 140211618749058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18866] ppid=18846 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18848/task/18866/stat : 18866 (java) S 18846 18846 18802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146943784 26628161536 11545 33554432000 4194304 4196468 140734339046112 140210938518624 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18867] ppid=18846 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/18848/task/18867/stat : 18867 (java) S 18846 18846 18802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146943784 26628161536 11545 33554432000 4194304 4196468 140734339046112 140210937465904 140211618749058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47308 KiB
[startup+0.701024 s]
/proc/loadavg: 8.09 8.21 8.25 5/199 18867
/proc/meminfo: memFree=27202204/32770624 swapFree=67108860/67108860
[pid=18846] ppid=18843 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/18846/stat : 18846 (xcsp3-exec) S 18843 18846 18802 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 146943778 9740288 346 33554432000 4194304 5098028 140730128938736 140730128936840 140028418830972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9064448 140730128946277 140730128946487 140730128946487 140730128949227 0
/proc/18846/statm: 2378 346 289 221 0 87 0
[pid=18848] ppid=18846 vsize=26006188 memory=91292 CPUtime=1.68 cores=0-7
/proc/18848/stat : 18848 (java) S 18846 18846 18802 0 -1 1077944320 13509 0 0 0 161 7 0 0 20 0 20 0 146943778 26630336512 22823 33554432000 4194304 4196468 140734339046112 140734339028656 140211618737911 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
/proc/18848/statm: 6501547 22823 3206 1 0 6488781 0
[pid=18848/tid=18849] ppid=18846 vsize=26006188 memory=281077826996352 CPUtime=0.67 cores=0-7
/proc/18848/task/18849/stat : 18849 (java) R 18846 18846 18802 0 -1 4202560 6863 0 0 0 64 3 0 0 20 0 20 0 146943778 26630336512 22823 33554432000 4194304 4196468 140734339046112 140211622974304 140211618749846 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18850] ppid=18846 vsize=26006188 memory=5016521802893 CPUtime=0 cores=0-7
/proc/18848/task/18850/stat : 18850 (java) S 18846 18846 18802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146943779 26630336512 22823 33554432000 4194304 4196468 140734339046112 140211571358864 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18851] ppid=18846 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/18848/task/18851/stat : 18851 (java) S 18846 18846 18802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146943779 26630336512 22823 33554432000 4194304 4196468 140734339046112 140211570306064 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18852] ppid=18846 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/18848/task/18852/stat : 18852 (java) S 18846 18846 18802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146943779 26630336512 22823 33554432000 4194304 4196468 140734339046112 140211569253264 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
################
# More data... #
################
[pid=18848/tid=18865] ppid=18846 vsize=26606292 memory=4124 CPUtime=0.88 cores=0-7
/proc/18848/task/18865/stat : 18865 (java) S 18846 18846 18802 0 -1 1077944384 10073 0 0 0 85 3 0 0 20 0 28 0 146943784 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210939570160 140211618749058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18866] ppid=18846 vsize=26606292 memory=2196 CPUtime=0 cores=0-7
/proc/18848/task/18866/stat : 18866 (java) S 18846 18846 18802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146943784 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210938518624 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18867] ppid=18846 vsize=26606292 memory=7788 CPUtime=0.05 cores=0-7
/proc/18848/task/18867/stat : 18867 (java) S 18846 18846 18802 0 -1 1077944384 944 0 0 0 0 5 0 0 20 0 28 0 146943784 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210937465904 140211618749058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18988] ppid=18846 vsize=26606292 memory=1732 CPUtime=126.69 cores=0-7
/proc/18848/task/18988/stat : 18988 (java) R 18846 18846 18802 0 -1 4202560 770 0 0 0 12669 0 0 0 20 0 28 0 146945543 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210929454440 140211245847558 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18989] ppid=18846 vsize=26606292 memory=1948 CPUtime=126.8 cores=0-7
/proc/18848/task/18989/stat : 18989 (java) R 18846 18846 18802 0 -1 4202560 686 0 0 0 12680 0 0 0 20 0 28 0 146945543 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210926297064 140211244157645 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18990] ppid=18846 vsize=26606292 memory=800 CPUtime=126.96 cores=0-7
/proc/18848/task/18990/stat : 18990 (java) R 18846 18846 18802 0 -1 4202560 934 0 0 0 12696 0 0 0 20 0 28 0 146945543 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210923139576 140211244157859 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18991] ppid=18846 vsize=26606292 memory=12132 CPUtime=126.4 cores=0-7
/proc/18848/task/18991/stat : 18991 (java) R 18846 18846 18802 0 -1 4202560 1536 0 0 0 12640 0 0 0 20 0 28 0 146945543 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210919980872 140211244157710 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18992] ppid=18846 vsize=26606292 memory=1440 CPUtime=126.94 cores=0-7
/proc/18848/task/18992/stat : 18992 (java) R 18846 18846 18802 0 -1 4202560 2918 0 0 0 12692 2 0 0 20 0 28 0 146945543 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210927349352 140211245846945 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18993] ppid=18846 vsize=26606292 memory=5796 CPUtime=125.94 cores=0-7
/proc/18848/task/18993/stat : 18993 (java) R 18846 18846 18802 0 -1 4202560 711 0 0 0 12594 0 0 0 20 0 28 0 146945543 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210925243856 140211244156986 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18994] ppid=18846 vsize=26606292 memory=1224 CPUtime=126.32 cores=0-7
/proc/18848/task/18994/stat : 18994 (java) R 18846 18846 18802 0 -1 4202560 982 0 0 0 12631 1 0 0 20 0 28 0 146945543 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210921034008 140211244615266 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18995] ppid=18846 vsize=26606292 memory=8712 CPUtime=126.89 cores=0-7
/proc/18848/task/18995/stat : 18995 (java) R 18846 18846 18802 0 -1 4202560 5759 0 0 0 12681 8 0 0 20 0 28 0 146945543 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210924193984 140211244157645 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
Current children cumulated CPU time: 1117.59 s
Current children cumulated vsize: 26615804 KiB
Current children cumulated memory: 750372 KiB
[startup+145.201 s]
/proc/loadavg: 8.06 8.18 8.24 9/207 18995
/proc/meminfo: memFree=26513948/32770624 swapFree=67108860/67108860
[pid=18846] ppid=18843 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/18846/stat : 18846 (xcsp3-exec) S 18843 18846 18802 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 146943778 9740288 346 33554432000 4194304 5098028 140730128938736 140730128936840 140028418830972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9064448 140730128946277 140730128946487 140730128946487 140730128949227 0
/proc/18846/statm: 2378 346 289 221 0 87 0
[pid=18848] ppid=18846 vsize=26606292 memory=748988 CPUtime=1120.26 cores=0-7
/proc/18848/stat : 18848 (java) S 18846 18846 18802 0 -1 1077944320 94149 0 0 0 111928 98 0 0 20 0 28 0 146943778 27244843008 187247 33554432000 4194304 4196468 140734339046112 140734339028656 140211618737911 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
/proc/18848/statm: 6651573 187247 3287 1 0 6638807 0
[pid=18848/tid=18849] ppid=18846 vsize=26606292 memory=1696 CPUtime=1.01 cores=0-7
/proc/18848/task/18849/stat : 18849 (java) S 18846 18846 18802 0 -1 1077944384 7693 0 0 0 95 6 0 0 20 0 28 0 146943778 27244843008 187247 33554432000 4194304 4196468 140734339046112 140211622978688 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18850] ppid=18846 vsize=26606292 memory=916 CPUtime=0.15 cores=0-7
/proc/18848/task/18850/stat : 18850 (java) S 18846 18846 18802 0 -1 1077944384 602 0 0 0 9 6 0 0 20 0 28 0 146943779 27244843008 187247 33554432000 4194304 4196468 140734339046112 140211571358864 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18851] ppid=18846 vsize=26606292 memory=3888 CPUtime=0.15 cores=0-7
/proc/18848/task/18851/stat : 18851 (java) S 18846 18846 18802 0 -1 1077944384 1978 0 0 0 9 6 0 0 20 0 28 0 146943779 27244843008 187247 33554432000 4194304 4196468 140734339046112 140211570306064 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18852] ppid=18846 vsize=26606292 memory=1156 CPUtime=0.15 cores=0-7
/proc/18848/task/18852/stat : 18852 (java) S 18846 18846 18802 0 -1 1077944384 642 0 0 0 9 6 0 0 20 0 28 0 146943779 27244843008 187247 33554432000 4194304 4196468 140734339046112 140211569253264 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18853] ppid=18846 vsize=26606292 memory=3644 CPUtime=0.16 cores=0-7
/proc/18848/task/18853/stat : 18853 (java) S 18846 18846 18802 0 -1 1077944384 621 0 0 0 9 7 0 0 20 0 28 0 146943779 27244843008 187247 33554432000 4194304 4196468 140734339046112 140211568200464 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18854] ppid=18846 vsize=26606292 memory=1384 CPUtime=0.14 cores=0-7
/proc/18848/task/18854/stat : 18854 (java) S 18846 18846 18802 0 -1 1077944384 896 0 0 0 9 5 0 0 20 0 28 0 146943779 27244843008 187247 33554432000 4194304 4196468 140734339046112 140211567147664 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18855] ppid=18846 vsize=26606292 memory=288230574492221466 CPUtime=0.15 cores=0-7
/proc/18848/task/18855/stat : 18855 (java) S 18846 18846 18802 0 -1 1077944384 1674 0 0 0 9 6 0 0 20 0 28 0 146943779 27244843008 187247 33554432000 4194304 4196468 140734339046112 140211566094864 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18856] ppid=18846 vsize=26606292 memory=288230621803970871 CPUtime=0.15 cores=0-7
/proc/18848/task/18856/stat : 18856 (java) S 18846 18846 18802 0 -1 1077944384 1316 0 0 0 10 5 0 0 20 0 28 0 146943779 27244843008 187247 33554432000 4194304 4196468 140734339046112 140211565042064 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18857] ppid=18846 vsize=26606292 memory=14691894252800580 CPUtime=0.14 cores=0-7
/proc/18848/task/18857/stat : 18857 (java) S 18846 18846 18802 0 -1 1077944384 827 0 0 0 8 6 0 0 20 0 28 0 146943779 27244843008 187247 33554432000 4194304 4196468 140734339046112 140211563989264 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18858] ppid=18846 vsize=26606292 memory=3888 CPUtime=0.03 cores=0-7
/proc/18848/task/18858/stat : 18858 (java) S 18846 18846 18802 0 -1 1077944384 3193 0 0 0 2 1 0 0 20 0 28 0 146943781 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210946939760 140211618749058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18859] ppid=18846 vsize=26606292 memory=1156 CPUtime=0 cores=0-7
/proc/18848/task/18859/stat : 18859 (java) S 18846 18846 18802 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 146943781 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210945885792 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18860] ppid=18846 vsize=26606292 memory=3644 CPUtime=0 cores=0-7
/proc/18848/task/18860/stat : 18860 (java) S 18846 18846 18802 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 146943781 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210944832880 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18861] ppid=18846 vsize=26606292 memory=1384 CPUtime=0 cores=0-7
/proc/18848/task/18861/stat : 18861 (java) S 18846 18846 18802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146943784 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210943781200 140211618756507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18862] ppid=18846 vsize=26606292 memory=748988 CPUtime=2.13 cores=0-7
/proc/18848/task/18862/stat : 18862 (java) S 18846 18846 18802 0 -1 1077944384 14647 0 0 0 210 3 0 0 20 0 28 0 146943784 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210942728560 140211618749058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18863] ppid=18846 vsize=26606292 memory=6791534058613427641 CPUtime=2.18 cores=0-7
/proc/18848/task/18863/stat : 18863 (java) S 18846 18846 18802 0 -1 1077944384 13009 0 0 0 215 3 0 0 20 0 28 0 146943784 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210941675760 140211618749058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18864] ppid=18846 vsize=26606292 memory=-7003737579269690708 CPUtime=2.21 cores=0-7
/proc/18848/task/18864/stat : 18864 (java) S 18846 18846 18802 0 -1 1077944384 12031 0 0 0 219 2 0 0 20 0 28 0 146943784 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210940622960 140211618749058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18865] ppid=18846 vsize=26606292 memory=6944656425122831986 CPUtime=0.88 cores=0-7
/proc/18848/task/18865/stat : 18865 (java) S 18846 18846 18802 0 -1 1077944384 10309 0 0 0 85 3 0 0 20 0 28 0 146943784 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210939570160 140211618749058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18866] ppid=18846 vsize=26606292 memory=7679937479730885395 CPUtime=0 cores=0-7
/proc/18848/task/18866/stat : 18866 (java) S 18846 18846 18802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146943784 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210938518624 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18867] ppid=18846 vsize=26606292 memory=7679937479730885395 CPUtime=0.05 cores=0-7
/proc/18848/task/18867/stat : 18867 (java) S 18846 18846 18802 0 -1 1077944384 944 0 0 0 0 5 0 0 20 0 28 0 146943784 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210937465904 140211618749058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18988] ppid=18846 vsize=26606292 memory=7751995073768813331 CPUtime=127.02 cores=0-7
/proc/18848/task/18988/stat : 18988 (java) S 18846 18846 18802 0 -1 1077944384 795 0 0 0 12702 0 0 0 20 0 28 0 146945543 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210929459248 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18989] ppid=18846 vsize=26606292 memory=303430223234596890 CPUtime=127.12 cores=0-7
/proc/18848/task/18989/stat : 18989 (java) S 18846 18846 18802 0 -1 1077944384 703 0 0 0 12712 0 0 0 20 0 28 0 146945543 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210926302416 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18990] ppid=18846 vsize=26606292 memory=288230621803970871 CPUtime=127.28 cores=0-7
/proc/18848/task/18990/stat : 18990 (java) S 18846 18846 18802 0 -1 1077944384 952 0 0 0 12728 0 0 0 20 0 28 0 146945543 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210923144272 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18991] ppid=18846 vsize=26606292 memory=14691894252800580 CPUtime=126.72 cores=0-7
/proc/18848/task/18991/stat : 18991 (java) S 18846 18846 18802 0 -1 1077944384 1536 0 0 0 12672 0 0 0 20 0 28 0 146945543 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210919986128 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18992] ppid=18846 vsize=26606292 memory=12132 CPUtime=127.27 cores=0-7
/proc/18848/task/18992/stat : 18992 (java) S 18846 18846 18802 0 -1 1077944384 2958 0 0 0 12725 2 0 0 20 0 28 0 146945543 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210927354704 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18993] ppid=18846 vsize=26606292 memory=1440 CPUtime=126.27 cores=0-7
/proc/18848/task/18993/stat : 18993 (java) S 18846 18846 18802 0 -1 1077944384 728 0 0 0 12627 0 0 0 20 0 28 0 146945543 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210925249232 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18994] ppid=18846 vsize=26606292 memory=5796 CPUtime=126.63 cores=0-7
/proc/18848/task/18994/stat : 18994 (java) S 18846 18846 18802 0 -1 1077944384 1000 0 0 0 12662 1 0 0 20 0 28 0 146945543 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210921039440 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18995] ppid=18846 vsize=26606292 memory=288230574492221466 CPUtime=127.29 cores=0-7
/proc/18848/task/18995/stat : 18995 (java) R 18846 18846 18802 0 -1 4202560 5768 0 0 0 12721 8 0 0 20 0 28 0 146945543 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210924193984 140211246846173 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
Current children cumulated CPU time: 1120.26 s
Current children cumulated vsize: 26615804 KiB
Current children cumulated memory: 750372 KiB
[startup+145.601 s]
/proc/loadavg: 8.06 8.18 8.24 9/207 18995
/proc/meminfo: memFree=26513948/32770624 swapFree=67108860/67108860
[pid=18846] ppid=18843 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/18846/stat : 18846 (xcsp3-exec) S 18843 18846 18802 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 146943778 9740288 346 33554432000 4194304 5098028 140730128938736 140730128936840 140028418830972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9064448 140730128946277 140730128946487 140730128946487 140730128949227 0
/proc/18846/statm: 2378 346 289 221 0 87 0
[pid=18848] ppid=18846 vsize=26606292 memory=748988 CPUtime=1120.66 cores=0-7
/proc/18848/stat : 18848 (java) S 18846 18846 18802 0 -1 1077944320 94154 0 0 0 111968 98 0 0 20 0 28 0 146943778 27244843008 187247 33554432000 4194304 4196468 140734339046112 140734339028656 140211618737911 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
/proc/18848/statm: 6651573 187247 3287 1 0 6638807 0
[pid=18848/tid=18849] ppid=18846 vsize=26606292 memory=6791534058613427641 CPUtime=1.01 cores=0-7
/proc/18848/task/18849/stat : 18849 (java) S 18846 18846 18802 0 -1 1077944384 7693 0 0 0 95 6 0 0 20 0 28 0 146943778 27244843008 187247 33554432000 4194304 4196468 140734339046112 140211622978688 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18850] ppid=18846 vsize=26606292 memory=748988 CPUtime=0.15 cores=0-7
/proc/18848/task/18850/stat : 18850 (java) S 18846 18846 18802 0 -1 1077944384 602 0 0 0 9 6 0 0 20 0 28 0 146943779 27244843008 187247 33554432000 4194304 4196468 140734339046112 140211571358864 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18851] ppid=18846 vsize=26606292 memory=6791534058613427641 CPUtime=0.15 cores=0-7
/proc/18848/task/18851/stat : 18851 (java) S 18846 18846 18802 0 -1 1077944384 1978 0 0 0 9 6 0 0 20 0 28 0 146943779 27244843008 187247 33554432000 4194304 4196468 140734339046112 140211570306064 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18852] ppid=18846 vsize=26606292 memory=-7003737579269690708 CPUtime=0.15 cores=0-7
/proc/18848/task/18852/stat : 18852 (java) S 18846 18846 18802 0 -1 1077944384 642 0 0 0 9 6 0 0 20 0 28 0 146943779 27244843008 187247 33554432000 4194304 4196468 140734339046112 140211569253264 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18853] ppid=18846 vsize=26606292 memory=2196 CPUtime=0.16 cores=0-7
/proc/18848/task/18853/stat : 18853 (java) S 18846 18846 18802 0 -1 1077944384 621 0 0 0 9 7 0 0 20 0 28 0 146943779 27244843008 187247 33554432000 4194304 4196468 140734339046112 140211568200464 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18854] ppid=18846 vsize=26606292 memory=1384 CPUtime=0.14 cores=0-7
/proc/18848/task/18854/stat : 18854 (java) S 18846 18846 18802 0 -1 1077944384 896 0 0 0 9 5 0 0 20 0 28 0 146943779 27244843008 187247 33554432000 4194304 4196468 140734339046112 140211567147664 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18855] ppid=18846 vsize=26606292 memory=6791534058613427641 CPUtime=0.15 cores=0-7
/proc/18848/task/18855/stat : 18855 (java) S 18846 18846 18802 0 -1 1077944384 1674 0 0 0 9 6 0 0 20 0 28 0 146943779 27244843008 187247 33554432000 4194304 4196468 140734339046112 140211566094864 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18856] ppid=18846 vsize=26606292 memory=12132 CPUtime=0.15 cores=0-7
/proc/18848/task/18856/stat : 18856 (java) S 18846 18846 18802 0 -1 1077944384 1316 0 0 0 10 5 0 0 20 0 28 0 146943779 27244843008 187247 33554432000 4194304 4196468 140734339046112 140211565042064 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18857] ppid=18846 vsize=26606292 memory=1440 CPUtime=0.14 cores=0-7
/proc/18848/task/18857/stat : 18857 (java) S 18846 18846 18802 0 -1 1077944384 827 0 0 0 8 6 0 0 20 0 28 0 146943779 27244843008 187247 33554432000 4194304 4196468 140734339046112 140211563989264 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18858] ppid=18846 vsize=26606292 memory=5796 CPUtime=0.03 cores=0-7
/proc/18848/task/18858/stat : 18858 (java) S 18846 18846 18802 0 -1 1077944384 3193 0 0 0 2 1 0 0 20 0 28 0 146943781 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210946939760 140211618749058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18859] ppid=18846 vsize=26606292 memory=1224 CPUtime=0 cores=0-7
/proc/18848/task/18859/stat : 18859 (java) S 18846 18846 18802 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 146943781 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210945885792 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18860] ppid=18846 vsize=26606292 memory=8712 CPUtime=0 cores=0-7
/proc/18848/task/18860/stat : 18860 (java) S 18846 18846 18802 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 146943781 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210944832880 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18861] ppid=18846 vsize=26606292 memory=1712 CPUtime=0 cores=0-7
/proc/18848/task/18861/stat : 18861 (java) S 18846 18846 18802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146943784 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210943781200 140211618756507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18862] ppid=18846 vsize=26606292 memory=3888 CPUtime=2.13 cores=0-7
/proc/18848/task/18862/stat : 18862 (java) S 18846 18846 18802 0 -1 1077944384 14647 0 0 0 210 3 0 0 20 0 28 0 146943784 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210942728560 140211618749058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18863] ppid=18846 vsize=26606292 memory=1156 CPUtime=2.18 cores=0-7
/proc/18848/task/18863/stat : 18863 (java) S 18846 18846 18802 0 -1 1077944384 13009 0 0 0 215 3 0 0 20 0 28 0 146943784 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210941675760 140211618749058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18864] ppid=18846 vsize=26606292 memory=40588 CPUtime=2.21 cores=0-7
/proc/18848/task/18864/stat : 18864 (java) S 18846 18846 18802 0 -1 1077944384 12031 0 0 0 219 2 0 0 20 0 28 0 146943784 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210940622960 140211618749058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18865] ppid=18846 vsize=26606292 memory=1292 CPUtime=0.88 cores=0-7
/proc/18848/task/18865/stat : 18865 (java) S 18846 18846 18802 0 -1 1077944384 10309 0 0 0 85 3 0 0 20 0 28 0 146943784 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210939570160 140211618749058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18866] ppid=18846 vsize=26606292 memory=2448 CPUtime=0 cores=0-7
/proc/18848/task/18866/stat : 18866 (java) S 18846 18846 18802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146943784 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210938518624 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18867] ppid=18846 vsize=26606292 memory=1732 CPUtime=0.05 cores=0-7
/proc/18848/task/18867/stat : 18867 (java) S 18846 18846 18802 0 -1 1077944384 944 0 0 0 0 5 0 0 20 0 28 0 146943784 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210937465904 140211618749058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18988] ppid=18846 vsize=26606292 memory=1948 CPUtime=127.02 cores=0-7
/proc/18848/task/18988/stat : 18988 (java) S 18846 18846 18802 0 -1 1077944384 795 0 0 0 12702 0 0 0 20 0 28 0 146945543 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210929459248 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18989] ppid=18846 vsize=26606292 memory=916 CPUtime=127.12 cores=0-7
/proc/18848/task/18989/stat : 18989 (java) S 18846 18846 18802 0 -1 1077944384 703 0 0 0 12712 0 0 0 20 0 28 0 146945543 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210926302416 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18990] ppid=18846 vsize=26606292 memory=3888 CPUtime=127.28 cores=0-7
/proc/18848/task/18990/stat : 18990 (java) S 18846 18846 18802 0 -1 1077944384 952 0 0 0 12728 0 0 0 20 0 28 0 146945543 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210923144272 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18991] ppid=18846 vsize=26606292 memory=1156 CPUtime=126.72 cores=0-7
/proc/18848/task/18991/stat : 18991 (java) S 18846 18846 18802 0 -1 1077944384 1536 0 0 0 12672 0 0 0 20 0 28 0 146945543 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210919986128 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18992] ppid=18846 vsize=26606292 memory=3644 CPUtime=127.27 cores=0-7
/proc/18848/task/18992/stat : 18992 (java) S 18846 18846 18802 0 -1 1077944384 2958 0 0 0 12725 2 0 0 20 0 28 0 146945543 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210927354704 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18993] ppid=18846 vsize=26606292 memory=1384 CPUtime=126.27 cores=0-7
/proc/18848/task/18993/stat : 18993 (java) S 18846 18846 18802 0 -1 1077944384 728 0 0 0 12627 0 0 0 20 0 28 0 146945543 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210925249232 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18994] ppid=18846 vsize=26606292 memory=1384 CPUtime=126.63 cores=0-7
/proc/18848/task/18994/stat : 18994 (java) S 18846 18846 18802 0 -1 1077944384 1000 0 0 0 12662 1 0 0 20 0 28 0 146945543 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210921039440 140211618748117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
[pid=18848/tid=18995] ppid=18846 vsize=26606292 memory=748988 CPUtime=127.69 cores=0-7
/proc/18848/task/18995/stat : 18995 (java) R 18846 18846 18802 0 -1 4202560 5773 0 0 0 12761 8 0 0 20 0 28 0 146945543 27244843008 187247 33554432000 4194304 4196468 140734339046112 140210924193984 140211244990808 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17928192 140734339052690 140734339052867 140734339052867 140734339055567 0
Current children cumulated CPU time: 1120.66 s
Current children cumulated vsize: 26615804 KiB
Current children cumulated memory: 750372 KiB
Child status: 0
Real time (s): 145.666
CPU time (s): 1120.74
CPU user time (s): 1119.74
CPU system time (s): 0.99956
CPU usage (%): 769.392
Max. virtual memory (cumulated for all children) (KiB): 26615804
Max. memory (cumulated for all children) (KiB): 776216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1119.74
system time used= 0.99956
maximum resident set size= 774832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95537
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10161
involuntary context switches= 12050
# summary of solver processes directly reported to runsolver:
# pid: 18846
# total CPU time (s): 1120.74
# total CPU user time (s): 1119.74
# total CPU system time (s): 0.99956
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.52191 second user time and 1.50356 second system time
The end
Begin job on node113 at 2017-08-19 12:15:03
IDJOB=4280368
IDBENCH=126243
IDSOLVER=2675
FILE ID=node113/4280368-1503138563
RUNJOBID= node113-1503137703-18829
PBS_JOBID= 20630793
Free space on /tmp= 61692 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-09-a4.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-4280368-1503138563/watcher-4280368-1503138563 -o /tmp/evaluation-result-4280368-1503138563/solver-4280368-1503138563 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503137703-18829 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 269704419 HOME/instance-4280368-1503138563.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 24dd80e7bb1ef2b7df88c183d3ee4992
RANDOM SEED=269704419
node113.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.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 : 5333.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 : 5333.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 : 5333.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: 27248648 kB
MemAvailable: 31972548 kB
Buffers: 248272 kB
Cached: 4766740 kB
SwapCached: 0 kB
Active: 1245376 kB
Inactive: 3823296 kB
Active(anon): 4056 kB
Inactive(anon): 85892 kB
Active(file): 1241320 kB
Inactive(file): 3737404 kB
Unevictable: 7568 kB
Mlocked: 7568 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7908 kB
Writeback: 0 kB
AnonPages: 60924 kB
Mapped: 50804 kB
Shmem: 33416 kB
Slab: 148588 kB
SReclaimable: 122020 kB
SUnreclaim: 26568 kB
KernelStack: 3120 kB
PageTables: 5012 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 332660 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 116096 kB
DirectMap2M: 33429504 kB
Free space on /tmp at the end= 61684 MiB
End job on node113 at 2017-08-19 12:17:29