0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271313-1502676179.xml" -tl '20160s' -p 8 -x 0
0.11/0.15 c [HOME/instance-4271313-1502676179.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.33/0.27 c parse instance...
140.48/113.19 c solve instance...
144.41/113.79 s SATISFIABLE
144.41/113.79 v <instantiation>
144.41/113.79 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] </list>
144.41/113.79 v <values>8 4 6 9 1 3 7 5 2 3 9 5 7 4 2 8 1 6 1 7 2 6 5 8 9 3 4 7 5 4 2 8 9 1 6 3 9 8 3 1 6 5 2 4 7 6 2 1 4 3 7 5 8 9 2 3 8 5 9 4 6 7 1 4 1 9 8 7 6 3 2 5 5 6 7 3 2 1 4 9 8 </values>
144.41/113.79 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 (14052 MiB free)
memory of node 1: 16384 MiB (12283 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271313-1502676179/watcher-4271313-1502676179 -o /tmp/evaluation-result-4271313-1502676179/solver-4271313-1502676179 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1502667219-28804 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1334207829 HOME/instance-4271313-1502676179.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=31959, runsolver pid=31956
[startup+0.10011 s]*
/proc/loadavg: 0.90 2.25 5.13 2/199 31980
/proc/meminfo: memFree=26952464/32770624 swapFree=67108860/67108860
[pid=31959] ppid=31956 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/31959/stat : 31959 (xcsp3-exec) S 31956 31959 28777 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 100705710 9740288 345 33554432000 4194304 5098028 140726028696432 140726028694536 140270097715836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33325056 140726028698724 140726028698935 140726028698935 140726028701675 0
/proc/31959/statm: 2378 345 289 221 0 87 0
[pid=31961] ppid=31959 vsize=25999808 memory=26284 CPUtime=0.11 cores=0-7
/proc/31961/stat : 31961 (java) S 31959 31959 28777 0 -1 1077944320 5511 0 0 0 10 1 0 0 20 0 20 0 100705710 26623803392 6571 33554432000 4194304 4196468 140725972492288 140725972474832 140683634876151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
/proc/31961/statm: 6499952 6571 2844 1 0 6488269 0
[pid=31961/tid=31962] ppid=31959 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/31961/task/31962/stat : 31962 (java) R 31959 31959 28777 0 -1 4202560 3521 0 0 0 8 1 0 0 20 0 20 0 100705711 26623803392 6571 33554432000 4194304 4196468 140725972492288 140683639108144 140683272583025 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31963] ppid=31959 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31961/task/31963/stat : 31963 (java) S 31959 31959 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100705712 26623803392 6571 33554432000 4194304 4196468 140725972492288 140683193404432 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31964] ppid=31959 vsize=25999808 memory=139916301960832 CPUtime=0 cores=0-7
/proc/31961/task/31964/stat : 31964 (java) S 31959 31959 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100705712 26623803392 6571 33554432000 4194304 4196468 140725972492288 140683192351888 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31965] ppid=31959 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31961/task/31965/stat : 31965 (java) S 31959 31959 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100705712 26623803392 6571 33554432000 4194304 4196468 140725972492288 140683191298832 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31966] ppid=31959 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31961/task/31966/stat : 31966 (java) S 31959 31959 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100705712 26623803392 6571 33554432000 4194304 4196468 140725972492288 140683190246288 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31967] ppid=31959 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31961/task/31967/stat : 31967 (java) S 31959 31959 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100705712 26623803392 6571 33554432000 4194304 4196468 140725972492288 140683189193232 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31968] ppid=31959 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/31961/task/31968/stat : 31968 (java) S 31959 31959 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100705712 26623803392 6571 33554432000 4194304 4196468 140725972492288 140683188140688 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31969] ppid=31959 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31961/task/31969/stat : 31969 (java) S 31959 31959 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100705712 26623803392 6571 33554432000 4194304 4196468 140725972492288 140683187087632 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31970] ppid=31959 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31961/task/31970/stat : 31970 (java) S 31959 31959 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100705712 26623803392 6571 33554432000 4194304 4196468 140725972492288 140683186035088 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31971] ppid=31959 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31961/task/31971/stat : 31971 (java) S 31959 31959 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100705713 26623803392 6571 33554432000 4194304 4196468 140725972492288 140681839311600 140683634887298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31972] ppid=31959 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31961/task/31972/stat : 31972 (java) S 31959 31959 28777 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100705714 26623803392 6571 33554432000 4194304 4196468 140725972492288 140681838257824 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31973] ppid=31959 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31961/task/31973/stat : 31973 (java) S 31959 31959 28777 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100705714 26623803392 6571 33554432000 4194304 4196468 140725972492288 140681837204720 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31974] ppid=31959 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31961/task/31974/stat : 31974 (java) S 31959 31959 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100705716 26623803392 6571 33554432000 4194304 4196468 140725972492288 140681836153296 140683634894747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31975] ppid=31959 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31961/task/31975/stat : 31975 (java) S 31959 31959 28777 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 100705716 26623803392 6571 33554432000 4194304 4196468 140725972492288 140681835100400 140683634887298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31976] ppid=31959 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31961/task/31976/stat : 31976 (java) S 31959 31959 28777 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 100705716 26623803392 6571 33554432000 4194304 4196468 140725972492288 140681834047856 140683634887298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31977] ppid=31959 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31961/task/31977/stat : 31977 (java) R 31959 31959 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100705716 26623803392 6571 33554432000 4194304 4196468 140725972492288 140681832994800 140683634887298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31978] ppid=31959 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/31961/task/31978/stat : 31978 (java) R 31959 31959 28777 0 -1 4202560 258 0 0 0 1 0 0 0 20 0 20 0 100705716 26623803392 6571 33554432000 4194304 4196468 140725972492288 140681831942256 140683619135991 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31979] ppid=31959 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31961/task/31979/stat : 31979 (java) S 31959 31959 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100705717 26623803392 6571 33554432000 4194304 4196468 140725972492288 140681830890464 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31980] ppid=31959 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/31961/task/31980/stat : 31980 (java) S 31959 31959 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100705717 26623803392 6571 33554432000 4194304 4196468 140725972492288 140681829838000 140683634887298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27664 KiB
[startup+0.20997 s]*
/proc/loadavg: 0.90 2.25 5.13 2/199 31980
/proc/meminfo: memFree=26943348/32770624 swapFree=67108860/67108860
[pid=31959] ppid=31956 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/31959/stat : 31959 (xcsp3-exec) S 31956 31959 28777 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 100705710 9740288 345 33554432000 4194304 5098028 140726028696432 140726028694536 140270097715836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33325056 140726028698724 140726028698935 140726028698935 140726028701675 0
/proc/31959/statm: 2378 345 289 221 0 87 0
[pid=31961] ppid=31959 vsize=26004064 memory=39004 CPUtime=0.33 cores=0-7
/proc/31961/stat : 31961 (java) S 31959 31959 28777 0 -1 1077944320 8326 0 0 0 30 3 0 0 20 0 20 0 100705710 26628161536 9751 33554432000 4194304 4196468 140725972492288 140725972474832 140683634876151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
/proc/31961/statm: 6501016 9751 3054 1 0 6488269 0
[pid=31961/tid=31962] ppid=31959 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/31961/task/31962/stat : 31962 (java) R 31959 31959 28777 0 -1 4202560 5424 0 0 0 18 1 0 0 20 0 20 0 100705711 26628161536 9751 33554432000 4194304 4196468 140725972492288 140683639097144 140683634899741 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31963] ppid=31959 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/31961/task/31963/stat : 31963 (java) S 31959 31959 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100705712 26628161536 9751 33554432000 4194304 4196468 140725972492288 140683193404432 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31964] ppid=31959 vsize=26004064 memory=139916301989866 CPUtime=0 cores=0-7
/proc/31961/task/31964/stat : 31964 (java) S 31959 31959 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100705712 26628161536 9751 33554432000 4194304 4196468 140725972492288 140683192351888 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31965] ppid=31959 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31961/task/31965/stat : 31965 (java) S 31959 31959 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100705712 26628161536 9751 33554432000 4194304 4196468 140725972492288 140683191298832 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31966] ppid=31959 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31961/task/31966/stat : 31966 (java) S 31959 31959 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100705712 26628161536 9751 33554432000 4194304 4196468 140725972492288 140683190246288 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31967] ppid=31959 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31961/task/31967/stat : 31967 (java) S 31959 31959 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100705712 26628161536 9751 33554432000 4194304 4196468 140725972492288 140683189193232 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31968] ppid=31959 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31961/task/31968/stat : 31968 (java) S 31959 31959 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100705712 26628161536 9751 33554432000 4194304 4196468 140725972492288 140683188140688 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31969] ppid=31959 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31961/task/31969/stat : 31969 (java) S 31959 31959 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100705712 26628161536 9751 33554432000 4194304 4196468 140725972492288 140683187087632 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31970] ppid=31959 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31961/task/31970/stat : 31970 (java) S 31959 31959 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100705712 26628161536 9751 33554432000 4194304 4196468 140725972492288 140683186035088 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31971] ppid=31959 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31961/task/31971/stat : 31971 (java) S 31959 31959 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100705713 26628161536 9751 33554432000 4194304 4196468 140725972492288 140681839311600 140683634887298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31972] ppid=31959 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31961/task/31972/stat : 31972 (java) S 31959 31959 28777 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100705714 26628161536 9751 33554432000 4194304 4196468 140725972492288 140681838257824 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31973] ppid=31959 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31961/task/31973/stat : 31973 (java) S 31959 31959 28777 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100705714 26628161536 9751 33554432000 4194304 4196468 140725972492288 140681837204720 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31974] ppid=31959 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31961/task/31974/stat : 31974 (java) S 31959 31959 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100705716 26628161536 9751 33554432000 4194304 4196468 140725972492288 140681836153296 140683634894747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31975] ppid=31959 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31961/task/31975/stat : 31975 (java) R 31959 31959 28777 0 -1 4202560 419 0 0 0 0 0 0 0 20 0 20 0 100705716 26628161536 9751 33554432000 4194304 4196468 140725972492288 140681835100400 140683634897498 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31976] ppid=31959 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/31961/task/31976/stat : 31976 (java) S 31959 31959 28777 0 -1 1077944384 371 0 0 0 2 0 0 0 20 0 20 0 100705716 26628161536 9751 33554432000 4194304 4196468 140725972492288 140681834047856 140683634887298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31977] ppid=31959 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/31961/task/31977/stat : 31977 (java) S 31959 31959 28777 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 20 0 100705716 26628161536 9751 33554432000 4194304 4196468 140725972492288 140681832994800 140683634887298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31978] ppid=31959 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/31961/task/31978/stat : 31978 (java) R 31959 31959 28777 0 -1 4202560 769 0 0 0 8 0 0 0 20 0 20 0 100705716 26628161536 9751 33554432000 4194304 4196468 140725972492288 140681831942256 140683618956638 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31979] ppid=31959 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31961/task/31979/stat : 31979 (java) S 31959 31959 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100705717 26628161536 9751 33554432000 4194304 4196468 140725972492288 140681830890464 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31980] ppid=31959 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31961/task/31980/stat : 31980 (java) S 31959 31959 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100705717 26628161536 9751 33554432000 4194304 4196468 140725972492288 140681829838000 140683634887298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40384 KiB
[startup+0.309274 s]*
/proc/loadavg: 0.90 2.25 5.13 4/199 31980
/proc/meminfo: memFree=26936896/32770624 swapFree=67108860/67108860
[pid=31959] ppid=31956 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/31959/stat : 31959 (xcsp3-exec) S 31956 31959 28777 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 100705710 9740288 345 33554432000 4194304 5098028 140726028696432 140726028694536 140270097715836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33325056 140726028698724 140726028698935 140726028698935 140726028701675 0
/proc/31959/statm: 2378 345 289 221 0 87 0
[pid=31961] ppid=31959 vsize=26004064 memory=45692 CPUtime=0.49 cores=0-7
/proc/31961/stat : 31961 (java) S 31959 31959 28777 0 -1 1077944320 9193 0 0 0 45 4 0 0 20 0 20 0 100705710 26628161536 11423 33554432000 4194304 4196468 140725972492288 140725972474832 140683634876151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
/proc/31961/statm: 6501016 11423 3074 1 0 6488269 0
[pid=31961/tid=31962] ppid=31959 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/31961/task/31962/stat : 31962 (java) R 31959 31959 28777 0 -1 4202560 6108 0 0 0 27 2 0 0 20 0 20 0 100705711 26628161536 11423 33554432000 4194304 4196468 140725972492288 140683639113664 140683272592368 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31963] ppid=31959 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31961/task/31963/stat : 31963 (java) S 31959 31959 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100705712 26628161536 11423 33554432000 4194304 4196468 140725972492288 140683193404432 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31964] ppid=31959 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31961/task/31964/stat : 31964 (java) S 31959 31959 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100705712 26628161536 11423 33554432000 4194304 4196468 140725972492288 140683192351888 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31965] ppid=31959 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31961/task/31965/stat : 31965 (java) S 31959 31959 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100705712 26628161536 11423 33554432000 4194304 4196468 140725972492288 140683191298832 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31966] ppid=31959 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31961/task/31966/stat : 31966 (java) S 31959 31959 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100705712 26628161536 11423 33554432000 4194304 4196468 140725972492288 140683190246288 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31967] ppid=31959 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/31961/task/31967/stat : 31967 (java) S 31959 31959 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100705712 26628161536 11423 33554432000 4194304 4196468 140725972492288 140683189193232 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31968] ppid=31959 vsize=26004064 memory=139916143063983 CPUtime=0 cores=0-7
/proc/31961/task/31968/stat : 31968 (java) S 31959 31959 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100705712 26628161536 11423 33554432000 4194304 4196468 140725972492288 140683188140688 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31969] ppid=31959 vsize=26004064 memory=139916143066288 CPUtime=0 cores=0-7
/proc/31961/task/31969/stat : 31969 (java) S 31959 31959 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100705712 26628161536 11423 33554432000 4194304 4196468 140725972492288 140683187087632 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31970] ppid=31959 vsize=26004064 memory=139916143068592 CPUtime=0 cores=0-7
/proc/31961/task/31970/stat : 31970 (java) S 31959 31959 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100705712 26628161536 11423 33554432000 4194304 4196468 140725972492288 140683186035088 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31971] ppid=31959 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31961/task/31971/stat : 31971 (java) S 31959 31959 28777 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100705713 26628161536 11423 33554432000 4194304 4196468 140725972492288 140681839311600 140683634887298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31972] ppid=31959 vsize=26004064 memory=279832286144144 CPUtime=0 cores=0-7
/proc/31961/task/31972/stat : 31972 (java) S 31959 31959 28777 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100705714 26628161536 11423 33554432000 4194304 4196468 140725972492288 140681838257824 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31973] ppid=31959 vsize=26004064 memory=279832286151056 CPUtime=0 cores=0-7
/proc/31961/task/31973/stat : 31973 (java) S 31959 31959 28777 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100705714 26628161536 11423 33554432000 4194304 4196468 140725972492288 140681837204720 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31974] ppid=31959 vsize=26004064 memory=279832286092336 CPUtime=0 cores=0-7
/proc/31961/task/31974/stat : 31974 (java) S 31959 31959 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100705716 26628161536 11423 33554432000 4194304 4196468 140725972492288 140681836153296 140683634894747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31975] ppid=31959 vsize=26004064 memory=279832286164880 CPUtime=0.01 cores=0-7
/proc/31961/task/31975/stat : 31975 (java) S 31959 31959 28777 0 -1 1077944384 507 0 0 0 1 0 0 0 20 0 20 0 100705716 26628161536 11423 33554432000 4194304 4196468 140725972492288 140681835100400 140683634887298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31976] ppid=31959 vsize=26004064 memory=279832286171792 CPUtime=0.03 cores=0-7
/proc/31961/task/31976/stat : 31976 (java) S 31959 31959 28777 0 -1 1077944384 378 0 0 0 3 0 0 0 20 0 20 0 100705716 26628161536 11423 33554432000 4194304 4196468 140725972492288 140681834047856 140683634887298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31977] ppid=31959 vsize=26004064 memory=279832286169488 CPUtime=0.01 cores=0-7
/proc/31961/task/31977/stat : 31977 (java) S 31959 31959 28777 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 20 0 100705716 26628161536 11423 33554432000 4194304 4196468 140725972492288 140681832994800 140683634887298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31978] ppid=31959 vsize=26004064 memory=279832286185648 CPUtime=0.12 cores=0-7
/proc/31961/task/31978/stat : 31978 (java) R 31959 31959 28777 0 -1 4202560 858 0 0 0 12 0 0 0 20 0 20 0 100705716 26628161536 11423 33554432000 4194304 4196468 140725972492288 140681831942256 140683618956638 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31979] ppid=31959 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31961/task/31979/stat : 31979 (java) S 31959 31959 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100705717 26628161536 11423 33554432000 4194304 4196468 140725972492288 140681830890464 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31980] ppid=31959 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31961/task/31980/stat : 31980 (java) S 31959 31959 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100705717 26628161536 11423 33554432000 4194304 4196468 140725972492288 140681829838000 140683634887298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47072 KiB
[startup+0.701017 s]
/proc/loadavg: 0.90 2.25 5.13 6/199 31980
/proc/meminfo: memFree=26826340/32770624 swapFree=67108860/67108860
[pid=31959] ppid=31956 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/31959/stat : 31959 (xcsp3-exec) S 31956 31959 28777 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 100705710 9740288 345 33554432000 4194304 5098028 140726028696432 140726028694536 140270097715836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33325056 140726028698724 140726028698935 140726028698935 140726028701675 0
/proc/31959/statm: 2378 345 289 221 0 87 0
[pid=31961] ppid=31959 vsize=26004140 memory=263924 CPUtime=1.52 cores=0-7
/proc/31961/stat : 31961 (java) S 31959 31959 28777 0 -1 1077944320 12247 0 0 0 138 14 0 0 20 0 20 0 100705710 26628239360 65981 33554432000 4194304 4196468 140725972492288 140725972474832 140683634876151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
/proc/31961/statm: 6501035 65981 3208 1 0 6488269 0
[pid=31961/tid=31962] ppid=31959 vsize=26004140 memory=279832286543536 CPUtime=0.65 cores=0-7
/proc/31961/task/31962/stat : 31962 (java) R 31959 31959 28777 0 -1 4202560 6445 0 0 0 60 5 0 0 20 0 20 0 100705711 26628239360 65981 33554432000 4194304 4196468 140725972492288 140683639113040 140683275555379 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31963] ppid=31959 vsize=26004140 memory=139916143272816 CPUtime=0 cores=0-7
/proc/31961/task/31963/stat : 31963 (java) S 31959 31959 28777 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100705712 26628239360 65981 33554432000 4194304 4196468 140725972492288 140683193404432 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31964] ppid=31959 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/31961/task/31964/stat : 31964 (java) S 31959 31959 28777 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 100705712 26628239360 65981 33554432000 4194304 4196468 140725972492288 140683192351888 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31965] ppid=31959 vsize=26004140 memory=1008 CPUtime=0 cores=0-7
/proc/31961/task/31965/stat : 31965 (java) S 31959 31959 28777 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 100705712 26628239360 65981 33554432000 4194304 4196468 140725972492288 140683191298832 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
################
# More data... #
################
[pid=31959] ppid=31956 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/31959/stat : 31959 (xcsp3-exec) S 31956 31959 28777 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 100705710 9740288 345 33554432000 4194304 5098028 140726028696432 140726028694536 140270097715836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33325056 140726028698724 140726028698935 140726028698935 140726028701675 0
/proc/31959/statm: 2378 345 289 221 0 87 0
[pid=31961] ppid=31959 vsize=26006188 memory=5470172 CPUtime=139.38 cores=0-7
/proc/31961/stat : 31961 (java) S 31959 31959 28777 0 -1 1077944320 108966 0 0 0 13249 689 0 0 20 0 20 0 100705710 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140725972474832 140683634876151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
/proc/31961/statm: 6501547 1367543 3256 1 0 6488781 0
[pid=31961/tid=31962] ppid=31959 vsize=26006188 memory=6791534058613427641 CPUtime=101.48 cores=0-7
/proc/31961/task/31962/stat : 31962 (java) R 31959 31959 28777 0 -1 4202560 24355 0 0 0 10108 40 0 0 20 0 20 0 100705711 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140683639113608 140683276490351 0 4 0 16800975 0 0 0 -1 0 0 0 23 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31963] ppid=31959 vsize=26006188 memory=4126316290023845779 CPUtime=3.59 cores=0-7
/proc/31961/task/31963/stat : 31963 (java) S 31959 31959 28777 0 -1 1077944384 7305 0 0 0 286 73 0 0 20 0 20 0 100705712 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140683193404432 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31964] ppid=31959 vsize=26006188 memory=1236 CPUtime=3.6 cores=0-7
/proc/31961/task/31964/stat : 31964 (java) S 31959 31959 28777 0 -1 1077944384 6579 0 0 0 279 81 0 0 20 0 20 0 100705712 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140683192351888 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31965] ppid=31959 vsize=26006188 memory=1792 CPUtime=3.59 cores=0-7
/proc/31961/task/31965/stat : 31965 (java) S 31959 31959 28777 0 -1 1077944384 9893 0 0 0 279 80 0 0 20 0 20 0 100705712 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140683191298832 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31966] ppid=31959 vsize=26006188 memory=640 CPUtime=3.6 cores=0-7
/proc/31961/task/31966/stat : 31966 (java) S 31959 31959 28777 0 -1 1077944384 4626 0 0 0 276 84 0 0 20 0 20 0 100705712 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140683190246288 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31967] ppid=31959 vsize=26006188 memory=956 CPUtime=3.59 cores=0-7
/proc/31961/task/31967/stat : 31967 (java) S 31959 31959 28777 0 -1 1077944384 6988 0 0 0 283 76 0 0 20 0 20 0 100705712 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140683189193232 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31968] ppid=31959 vsize=26006188 memory=6791534058613427641 CPUtime=3.59 cores=0-7
/proc/31961/task/31968/stat : 31968 (java) S 31959 31959 28777 0 -1 1077944384 7074 0 0 0 277 82 0 0 20 0 20 0 100705712 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140683188140688 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31969] ppid=31959 vsize=26006188 memory=1152 CPUtime=3.61 cores=0-7
/proc/31961/task/31969/stat : 31969 (java) S 31959 31959 28777 0 -1 1077944384 5830 0 0 0 291 70 0 0 20 0 20 0 100705712 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140683187087632 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31970] ppid=31959 vsize=26006188 memory=3188 CPUtime=3.56 cores=0-7
/proc/31961/task/31970/stat : 31970 (java) S 31959 31959 28777 0 -1 1077944384 6354 0 0 0 278 78 0 0 20 0 20 0 100705712 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140683186035088 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31971] ppid=31959 vsize=26006188 memory=1380 CPUtime=6.6 cores=0-7
/proc/31961/task/31971/stat : 31971 (java) S 31959 31959 28777 0 -1 1077944384 8989 0 0 0 649 11 0 0 20 0 20 0 100705713 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140681839311600 140683634887298 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31972] ppid=31959 vsize=26006188 memory=5470172 CPUtime=0 cores=0-7
/proc/31961/task/31972/stat : 31972 (java) S 31959 31959 28777 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 100705714 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140681838257888 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31973] ppid=31959 vsize=26006188 memory=1228 CPUtime=0 cores=0-7
/proc/31961/task/31973/stat : 31973 (java) S 31959 31959 28777 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 20 0 100705714 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140681837204736 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31974] ppid=31959 vsize=26006188 memory=5428 CPUtime=0 cores=0-7
/proc/31961/task/31974/stat : 31974 (java) S 31959 31959 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100705716 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140681836153296 140683634894747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31975] ppid=31959 vsize=26006188 memory=5470168 CPUtime=0.55 cores=0-7
/proc/31961/task/31975/stat : 31975 (java) S 31959 31959 28777 0 -1 1077944384 4000 0 0 0 54 1 0 0 20 0 20 0 100705716 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140681835100400 140683634887298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31976] ppid=31959 vsize=26006188 memory=65 CPUtime=0.74 cores=0-7
/proc/31961/task/31976/stat : 31976 (java) S 31959 31959 28777 0 -1 1077944384 4752 0 0 0 73 1 0 0 20 0 20 0 100705716 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140681834047856 140683634887298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31977] ppid=31959 vsize=26006188 memory=307 CPUtime=0.59 cores=0-7
/proc/31961/task/31977/stat : 31977 (java) S 31959 31959 28777 0 -1 1077944384 4567 0 0 0 58 1 0 0 20 0 20 0 100705716 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140681832994800 140683634887298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31978] ppid=31959 vsize=26006188 memory=6791534058613427641 CPUtime=0.47 cores=0-7
/proc/31961/task/31978/stat : 31978 (java) S 31959 31959 28777 0 -1 1077944384 5770 0 0 0 46 1 0 0 20 0 20 0 100705716 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140681831942256 140683634887298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31979] ppid=31959 vsize=26006188 memory=28860 CPUtime=0 cores=0-7
/proc/31961/task/31979/stat : 31979 (java) S 31959 31959 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100705717 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140681830890464 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31980] ppid=31959 vsize=26006188 memory=1292 CPUtime=0.06 cores=0-7
/proc/31961/task/31980/stat : 31980 (java) S 31959 31959 28777 0 -1 1077944384 441 0 0 0 3 3 0 0 20 0 20 0 100705717 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140681829838000 140683634887298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
Current children cumulated CPU time: 139.38 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 5471552 KiB
[startup+112.801 s]
/proc/loadavg: 0.93 1.83 4.65 2/200 31988
/proc/meminfo: memFree=21503472/32770624 swapFree=67108860/67108860
[pid=31959] ppid=31956 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/31959/stat : 31959 (xcsp3-exec) S 31956 31959 28777 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 100705710 9740288 345 33554432000 4194304 5098028 140726028696432 140726028694536 140270097715836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33325056 140726028698724 140726028698935 140726028698935 140726028701675 0
/proc/31959/statm: 2378 345 289 221 0 87 0
[pid=31961] ppid=31959 vsize=26006188 memory=5470172 CPUtime=140.18 cores=0-7
/proc/31961/stat : 31961 (java) S 31959 31959 28777 0 -1 1077944320 108976 0 0 0 13329 689 0 0 20 0 20 0 100705710 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140725972474832 140683634876151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
/proc/31961/statm: 6501547 1367543 3256 1 0 6488781 0
[pid=31961/tid=31962] ppid=31959 vsize=26006188 memory=1380 CPUtime=102.27 cores=0-7
/proc/31961/task/31962/stat : 31962 (java) R 31959 31959 28777 0 -1 4202560 24365 0 0 0 10187 40 0 0 20 0 20 0 100705711 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140683639113608 140683276490351 0 4 0 16800975 0 0 0 -1 0 0 0 23 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31963] ppid=31959 vsize=26006188 memory=5470172 CPUtime=3.59 cores=0-7
/proc/31961/task/31963/stat : 31963 (java) S 31959 31959 28777 0 -1 1077944384 7305 0 0 0 286 73 0 0 20 0 20 0 100705712 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140683193404432 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31964] ppid=31959 vsize=26006188 memory=1380 CPUtime=3.6 cores=0-7
/proc/31961/task/31964/stat : 31964 (java) S 31959 31959 28777 0 -1 1077944384 6579 0 0 0 279 81 0 0 20 0 20 0 100705712 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140683192351888 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31965] ppid=31959 vsize=26006188 memory=5470172 CPUtime=3.59 cores=0-7
/proc/31961/task/31965/stat : 31965 (java) S 31959 31959 28777 0 -1 1077944384 9893 0 0 0 279 80 0 0 20 0 20 0 100705712 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140683191298832 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31966] ppid=31959 vsize=26006188 memory=1792 CPUtime=3.6 cores=0-7
/proc/31961/task/31966/stat : 31966 (java) S 31959 31959 28777 0 -1 1077944384 4626 0 0 0 276 84 0 0 20 0 20 0 100705712 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140683190246288 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31967] ppid=31959 vsize=26006188 memory=640 CPUtime=3.59 cores=0-7
/proc/31961/task/31967/stat : 31967 (java) S 31959 31959 28777 0 -1 1077944384 6988 0 0 0 283 76 0 0 20 0 20 0 100705712 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140683189193232 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31968] ppid=31959 vsize=26006188 memory=956 CPUtime=3.59 cores=0-7
/proc/31961/task/31968/stat : 31968 (java) S 31959 31959 28777 0 -1 1077944384 7074 0 0 0 277 82 0 0 20 0 20 0 100705712 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140683188140688 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31969] ppid=31959 vsize=26006188 memory=2344 CPUtime=3.61 cores=0-7
/proc/31961/task/31969/stat : 31969 (java) S 31959 31959 28777 0 -1 1077944384 5830 0 0 0 291 70 0 0 20 0 20 0 100705712 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140683187087632 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31970] ppid=31959 vsize=26006188 memory=1576 CPUtime=3.56 cores=0-7
/proc/31961/task/31970/stat : 31970 (java) S 31959 31959 28777 0 -1 1077944384 6354 0 0 0 278 78 0 0 20 0 20 0 100705712 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140683186035088 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31971] ppid=31959 vsize=26006188 memory=932 CPUtime=6.6 cores=0-7
/proc/31961/task/31971/stat : 31971 (java) S 31959 31959 28777 0 -1 1077944384 8989 0 0 0 649 11 0 0 20 0 20 0 100705713 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140681839311600 140683634887298 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31972] ppid=31959 vsize=26006188 memory=2236 CPUtime=0 cores=0-7
/proc/31961/task/31972/stat : 31972 (java) S 31959 31959 28777 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 100705714 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140681838257888 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31973] ppid=31959 vsize=26006188 memory=4124 CPUtime=0 cores=0-7
/proc/31961/task/31973/stat : 31973 (java) S 31959 31959 28777 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 20 0 100705714 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140681837204736 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31974] ppid=31959 vsize=26006188 memory=2200 CPUtime=0 cores=0-7
/proc/31961/task/31974/stat : 31974 (java) S 31959 31959 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100705716 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140681836153296 140683634894747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31975] ppid=31959 vsize=26006188 memory=0 CPUtime=0.55 cores=0-7
/proc/31961/task/31975/stat : 31975 (java) S 31959 31959 28777 0 -1 1077944384 4000 0 0 0 54 1 0 0 20 0 20 0 100705716 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140681835100400 140683634887298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31976] ppid=31959 vsize=26006188 memory=0 CPUtime=0.74 cores=0-7
/proc/31961/task/31976/stat : 31976 (java) S 31959 31959 28777 0 -1 1077944384 4752 0 0 0 73 1 0 0 20 0 20 0 100705716 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140681834047856 140683634887298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31977] ppid=31959 vsize=26006188 memory=55 CPUtime=0.59 cores=0-7
/proc/31961/task/31977/stat : 31977 (java) S 31959 31959 28777 0 -1 1077944384 4567 0 0 0 58 1 0 0 20 0 20 0 100705716 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140681832994800 140683634887298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31978] ppid=31959 vsize=26006188 memory=74 CPUtime=0.47 cores=0-7
/proc/31961/task/31978/stat : 31978 (java) S 31959 31959 28777 0 -1 1077944384 5770 0 0 0 46 1 0 0 20 0 20 0 100705716 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140681831942256 140683634887298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31979] ppid=31959 vsize=26006188 memory=59 CPUtime=0 cores=0-7
/proc/31961/task/31979/stat : 31979 (java) S 31959 31959 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100705717 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140681830890464 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31980] ppid=31959 vsize=26006188 memory=47 CPUtime=0.06 cores=0-7
/proc/31961/task/31980/stat : 31980 (java) S 31959 31959 28777 0 -1 1077944384 441 0 0 0 3 3 0 0 20 0 20 0 100705717 26630336512 1367543 33554432000 4194304 4196468 140725972492288 140681829838000 140683634887298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
Current children cumulated CPU time: 140.18 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 5471552 KiB
[startup+113.601 s]
/proc/loadavg: 0.93 1.83 4.65 2/200 31988
/proc/meminfo: memFree=21503472/32770624 swapFree=67108860/67108860
[pid=31959] ppid=31956 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/31959/stat : 31959 (xcsp3-exec) S 31956 31959 28777 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 100705710 9740288 345 33554432000 4194304 5098028 140726028696432 140726028694536 140270097715836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33325056 140726028698724 140726028698935 140726028698935 140726028701675 0
/proc/31959/statm: 2378 345 289 221 0 87 0
[pid=31961] ppid=31959 vsize=26538700 memory=5471032 CPUtime=143.62 cores=0-7
/proc/31961/stat : 31961 (java) S 31959 31959 28777 0 -1 1077944320 115926 0 0 0 13672 690 0 0 20 0 28 0 100705710 27175628800 1367758 33554432000 4194304 4196468 140725972492288 140725972474832 140683634876151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
/proc/31961/statm: 6634675 1367758 3257 1 0 6621909 0
[pid=31961/tid=31962] ppid=31959 vsize=26538700 memory=1380 CPUtime=102.68 cores=0-7
/proc/31961/task/31962/stat : 31962 (java) S 31959 31959 28777 0 -1 1077944384 25331 0 0 0 10228 40 0 0 20 0 28 0 100705711 27175628800 1367758 33554432000 4194304 4196468 140725972492288 140683639116928 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31963] ppid=31959 vsize=26538700 memory=1380 CPUtime=3.59 cores=0-7
/proc/31961/task/31963/stat : 31963 (java) S 31959 31959 28777 0 -1 1077944384 7305 0 0 0 286 73 0 0 20 0 28 0 100705712 27175628800 1367758 33554432000 4194304 4196468 140725972492288 140683193404432 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31964] ppid=31959 vsize=26538700 memory=1380 CPUtime=3.6 cores=0-7
/proc/31961/task/31964/stat : 31964 (java) S 31959 31959 28777 0 -1 1077944384 6579 0 0 0 279 81 0 0 20 0 28 0 100705712 27175628800 1367758 33554432000 4194304 4196468 140725972492288 140683192351888 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31965] ppid=31959 vsize=26538700 memory=5470172 CPUtime=3.59 cores=0-7
/proc/31961/task/31965/stat : 31965 (java) S 31959 31959 28777 0 -1 1077944384 9893 0 0 0 279 80 0 0 20 0 28 0 100705712 27175628800 1367758 33554432000 4194304 4196468 140725972492288 140683191298832 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31966] ppid=31959 vsize=26538700 memory=1692 CPUtime=3.6 cores=0-7
/proc/31961/task/31966/stat : 31966 (java) S 31959 31959 28777 0 -1 1077944384 4626 0 0 0 276 84 0 0 20 0 28 0 100705712 27175628800 1367758 33554432000 4194304 4196468 140725972492288 140683190246288 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31967] ppid=31959 vsize=26538700 memory=916 CPUtime=3.59 cores=0-7
/proc/31961/task/31967/stat : 31967 (java) S 31959 31959 28777 0 -1 1077944384 6988 0 0 0 283 76 0 0 20 0 28 0 100705712 27175628800 1367758 33554432000 4194304 4196468 140725972492288 140683189193232 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31968] ppid=31959 vsize=26538700 memory=5608 CPUtime=3.59 cores=0-7
/proc/31961/task/31968/stat : 31968 (java) S 31959 31959 28777 0 -1 1077944384 7074 0 0 0 277 82 0 0 20 0 28 0 100705712 27175628800 1367758 33554432000 4194304 4196468 140725972492288 140683188140688 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31969] ppid=31959 vsize=26538700 memory=6791534058613427641 CPUtime=3.61 cores=0-7
/proc/31961/task/31969/stat : 31969 (java) S 31959 31959 28777 0 -1 1077944384 5830 0 0 0 291 70 0 0 20 0 28 0 100705712 27175628800 1367758 33554432000 4194304 4196468 140725972492288 140683187087632 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31970] ppid=31959 vsize=26538700 memory=1732 CPUtime=3.56 cores=0-7
/proc/31961/task/31970/stat : 31970 (java) S 31959 31959 28777 0 -1 1077944384 6354 0 0 0 278 78 0 0 20 0 28 0 100705712 27175628800 1367758 33554432000 4194304 4196468 140725972492288 140683186035088 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31971] ppid=31959 vsize=26538700 memory=1944 CPUtime=6.6 cores=0-7
/proc/31961/task/31971/stat : 31971 (java) S 31959 31959 28777 0 -1 1077944384 9014 0 0 0 649 11 0 0 20 0 28 0 100705713 27175628800 1367758 33554432000 4194304 4196468 140725972492288 140681839311600 140683634887298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31972] ppid=31959 vsize=26538700 memory=1700 CPUtime=0 cores=0-7
/proc/31961/task/31972/stat : 31972 (java) S 31959 31959 28777 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 100705714 27175628800 1367758 33554432000 4194304 4196468 140725972492288 140681838257888 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31973] ppid=31959 vsize=26538700 memory=1228 CPUtime=0 cores=0-7
/proc/31961/task/31973/stat : 31973 (java) S 31959 31959 28777 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 28 0 100705714 27175628800 1367758 33554432000 4194304 4196468 140725972492288 140681837204736 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31974] ppid=31959 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/31961/task/31974/stat : 31974 (java) S 31959 31959 28777 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 100705716 27175628800 1367758 33554432000 4194304 4196468 140725972492288 140681836153296 140683634894747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31975] ppid=31959 vsize=26538700 memory=1292 CPUtime=0.61 cores=0-7
/proc/31961/task/31975/stat : 31975 (java) S 31959 31959 28777 0 -1 1077944384 4117 0 0 0 60 1 0 0 20 0 28 0 100705716 27175628800 1367758 33554432000 4194304 4196468 140725972492288 140681835100400 140683634887298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31976] ppid=31959 vsize=26538700 memory=2428 CPUtime=0.83 cores=0-7
/proc/31961/task/31976/stat : 31976 (java) R 31959 31959 28777 0 -1 4202560 5811 0 0 0 82 1 0 0 20 0 28 0 100705716 27175628800 1367758 33554432000 4194304 4196468 140725972492288 140681834047856 140683619775658 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31977] ppid=31959 vsize=26538700 memory=1732 CPUtime=0.62 cores=0-7
/proc/31961/task/31977/stat : 31977 (java) S 31959 31959 28777 0 -1 1077944384 5033 0 0 0 61 1 0 0 20 0 28 0 100705716 27175628800 1367758 33554432000 4194304 4196468 140725972492288 140681832994800 140683634887298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31978] ppid=31959 vsize=26538700 memory=1944 CPUtime=0.52 cores=0-7
/proc/31961/task/31978/stat : 31978 (java) R 31959 31959 28777 0 -1 1077944384 5946 0 0 0 51 1 0 0 20 0 28 0 100705716 27175628800 1367758 33554432000 4194304 4196468 140725972492288 140681831942256 140683634887298 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31979] ppid=31959 vsize=26538700 memory=4140 CPUtime=0 cores=0-7
/proc/31961/task/31979/stat : 31979 (java) S 31959 31959 28777 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 100705717 27175628800 1367758 33554432000 4194304 4196468 140725972492288 140681830890464 140683634886357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
[pid=31961/tid=31980] ppid=31959 vsize=26538700 memory=28860 CPUtime=0.06 cores=0-7
/proc/31961/task/31980/stat : 31980 (java) S 31959 31959 28777 0 -1 1077944384 441 0 0 0 3 3 0 0 20 0 28 0 100705717 27175628800 1367758 33554432000 4194304 4196468 140725972492288 140681829838000 140683634887298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 17727488 140725972493458 140725972493635 140725972493635 140725972496335 0
Current children cumulated CPU time: 143.62 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5472412 KiB
[startup+113.801 s]
/proc/loadavg: 0.93 1.83 4.65 2/200 31988
/proc/meminfo: memFree=21503472/32770624 swapFree=67108860/67108860
[pid=31959] ppid=31956 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/31959/stat : 31959 (xcsp3-exec) S 31956 31959 28777 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 100705710 9740288 345 33554432000 4194304 5098028 140726028696432 140726028694536 140270097715836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33325056 140726028698724 140726028698935 140726028698935 140726028701675 0
/proc/31959/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB
Child status: 0
Real time (s): 113.822
CPU time (s): 144.726
CPU user time (s): 137.79
CPU system time (s): 6.93625
CPU usage (%): 127.151
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 5472412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 137.79
system time used= 6.93625
maximum resident set size= 5471740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116595
page faults= 0
swaps= 0
block input operations= 0
block output operations= 296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9907
involuntary context switches= 513
# summary of solver processes directly reported to runsolver:
# pid: 31959
# total CPU time (s): 144.726
# total CPU user time (s): 137.79
# total CPU system time (s): 6.93625
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.75391 second user time and 1.09086 second system time
The end
Begin job on node114 at 2017-08-14 03:48:40
IDJOB=4271313
IDBENCH=120397
IDSOLVER=2662
FILE ID=node114/4271313-1502676179
RUNJOBID= node114-1502667219-28804
PBS_JOBID= 20628964
Free space on /tmp= 61680 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Sudoku/Sudoku-table-s1/Sudoku-s14b-table.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-4271313-1502676179/watcher-4271313-1502676179 -o /tmp/evaluation-result-4271313-1502676179/solver-4271313-1502676179 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1502667219-28804 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1334207829 HOME/instance-4271313-1502676179.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 3c0d68e921c5e9a2e3569472df8cb09e
RANDOM SEED=1334207829
node114.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.98
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.98
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.98
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.98
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: 26969112 kB
MemAvailable: 31983336 kB
Buffers: 179108 kB
Cached: 5123860 kB
SwapCached: 0 kB
Active: 472820 kB
Inactive: 4885372 kB
Active(anon): 58232 kB
Inactive(anon): 25036 kB
Active(file): 414588 kB
Inactive(file): 4860336 kB
Unevictable: 6520 kB
Mlocked: 6520 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 28064 kB
Writeback: 0 kB
AnonPages: 64044 kB
Mapped: 44184 kB
Shmem: 25224 kB
Slab: 136456 kB
SReclaimable: 110272 kB
SUnreclaim: 26184 kB
KernelStack: 3168 kB
PageTables: 4748 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 325260 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 109952 kB
DirectMap2M: 33435648 kB
Free space on /tmp at the end= 61672 MiB
End job on node114 at 2017-08-14 03:50:34