0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271137-1502717633.xml" -tl '20160s' -p 8 -x 0
0.12/0.14 c [HOME/instance-4271137-1502717633.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.19 c 8 solvers in parallel
0.33/0.26 c parse instance...
330.08/124.20 c solve instance...
336.40/125.03 s SATISFIABLE
336.40/125.03 v <instantiation>
336.40/125.03 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] </list>
336.40/125.03 v <values>39 41 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 </values>
336.40/125.03 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 (15284 MiB free)
memory of node 1: 16384 MiB (15340 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271137-1502717633/watcher-4271137-1502717633 -o /tmp/evaluation-result-4271137-1502717633/solver-4271137-1502717633 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1502711730-20263 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1368044769 HOME/instance-4271137-1502717633.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=22502, runsolver pid=22499
[startup+0.100119 s]*
/proc/loadavg: 7.81 8.25 8.29 3/199 22523
/proc/meminfo: memFree=31343944/32770624 swapFree=67108860/67108860
[pid=22502] ppid=22499 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/22502/stat : 22502 (xcsp3-exec) S 22499 22502 20236 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104851609 9740288 345 33554432000 4194304 5098028 140729426496224 140729426494328 140558007833212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31969280 140729426502756 140729426502967 140729426502967 140729426505707 0
/proc/22502/statm: 2378 345 289 221 0 87 0
[pid=22504] ppid=22502 vsize=25999808 memory=26268 CPUtime=0.12 cores=0-7
/proc/22504/stat : 22504 (java) S 22502 22502 20236 0 -1 1077944320 5505 0 0 0 11 1 0 0 20 0 20 0 104851610 26623803392 6567 33554432000 4194304 4196468 140734344694000 140734344676544 139852317687543 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
/proc/22504/statm: 6499952 6567 2847 1 0 6488269 0
[pid=22504/tid=22505] ppid=22502 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/22504/task/22505/stat : 22505 (java) R 22502 22502 20236 0 -1 4202560 3514 0 0 0 8 0 0 0 20 0 20 0 104851610 26623803392 6567 33554432000 4194304 4196468 140734344694000 139852321920816 139852299529648 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22506] ppid=22502 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/22504/task/22506/stat : 22506 (java) S 22502 22502 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104851611 26623803392 6567 33554432000 4194304 4196468 140734344694000 139852270308496 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22507] ppid=22502 vsize=25999808 memory=139701667841664 CPUtime=0 cores=0-7
/proc/22504/task/22507/stat : 22507 (java) S 22502 22502 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104851611 26623803392 6567 33554432000 4194304 4196468 140734344694000 139852269255696 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22508] ppid=22502 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22504/task/22508/stat : 22508 (java) S 22502 22502 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104851611 26623803392 6567 33554432000 4194304 4196468 140734344694000 139852268202896 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22509] ppid=22502 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22504/task/22509/stat : 22509 (java) S 22502 22502 20236 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104851611 26623803392 6567 33554432000 4194304 4196468 140734344694000 139852267150096 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22510] ppid=22502 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22504/task/22510/stat : 22510 (java) S 22502 22502 20236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104851611 26623803392 6567 33554432000 4194304 4196468 140734344694000 139852266097296 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22511] ppid=22502 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/22504/task/22511/stat : 22511 (java) S 22502 22502 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104851611 26623803392 6567 33554432000 4194304 4196468 140734344694000 139852265044496 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22512] ppid=22502 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22504/task/22512/stat : 22512 (java) S 22502 22502 20236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104851611 26623803392 6567 33554432000 4194304 4196468 140734344694000 139852263991696 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22513] ppid=22502 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22504/task/22513/stat : 22513 (java) S 22502 22502 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104851611 26623803392 6567 33554432000 4194304 4196468 140734344694000 139852262938896 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22514] ppid=22502 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22504/task/22514/stat : 22514 (java) S 22502 22502 20236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104851612 26623803392 6567 33554432000 4194304 4196468 140734344694000 139850992700272 139852317698690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22515] ppid=22502 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22504/task/22515/stat : 22515 (java) S 22502 22502 20236 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104851613 26623803392 6567 33554432000 4194304 4196468 140734344694000 139850991646240 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22516] ppid=22502 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22504/task/22516/stat : 22516 (java) S 22502 22502 20236 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104851613 26623803392 6567 33554432000 4194304 4196468 140734344694000 139850990593392 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22517] ppid=22502 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22504/task/22517/stat : 22517 (java) S 22502 22502 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104851615 26623803392 6567 33554432000 4194304 4196468 140734344694000 139850989541712 139852317706139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22518] ppid=22502 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22504/task/22518/stat : 22518 (java) S 22502 22502 20236 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 104851615 26623803392 6567 33554432000 4194304 4196468 140734344694000 139850988489072 139852317698690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22519] ppid=22502 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22504/task/22519/stat : 22519 (java) S 22502 22502 20236 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 104851615 26623803392 6567 33554432000 4194304 4196468 140734344694000 139850987436272 139852317698690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22520] ppid=22502 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22504/task/22520/stat : 22520 (java) R 22502 22502 20236 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104851615 26623803392 6567 33554432000 4194304 4196468 140734344694000 139850986383472 139852317698690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22521] ppid=22502 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/22504/task/22521/stat : 22521 (java) R 22502 22502 20236 0 -1 4202560 261 0 0 0 1 0 0 0 20 0 20 0 104851615 26623803392 6567 33554432000 4194304 4196468 140734344694000 139850985330672 139852298925104 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22522] ppid=22502 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22504/task/22522/stat : 22522 (java) S 22502 22502 20236 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104851615 26623803392 6567 33554432000 4194304 4196468 140734344694000 139850984279136 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22523] ppid=22502 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/22504/task/22523/stat : 22523 (java) S 22502 22502 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104851616 26623803392 6567 33554432000 4194304 4196468 140734344694000 139850983226416 139852317698690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27648 KiB
[startup+0.210383 s]*
/proc/loadavg: 7.81 8.25 8.29 2/199 22523
/proc/meminfo: memFree=31332408/32770624 swapFree=67108860/67108860
[pid=22502] ppid=22499 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/22502/stat : 22502 (xcsp3-exec) S 22499 22502 20236 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104851609 9740288 345 33554432000 4194304 5098028 140729426496224 140729426494328 140558007833212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31969280 140729426502756 140729426502967 140729426502967 140729426505707 0
/proc/22502/statm: 2378 345 289 221 0 87 0
[pid=22504] ppid=22502 vsize=26004064 memory=39288 CPUtime=0.33 cores=0-7
/proc/22504/stat : 22504 (java) S 22502 22502 20236 0 -1 1077944320 8395 0 0 0 31 2 0 0 20 0 20 0 104851610 26628161536 9822 33554432000 4194304 4196468 140734344694000 140734344676544 139852317687543 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
/proc/22504/statm: 6501016 9822 3076 1 0 6488269 0
[pid=22504/tid=22505] ppid=22502 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/22504/task/22505/stat : 22505 (java) D 22502 22502 20236 0 -1 1077944384 5473 0 0 0 18 1 0 0 20 0 20 0 104851610 26628161536 9822 33554432000 4194304 4196468 140734344694000 139852321889264 139852310366765 0 4 0 16800975 18446744072101568036 0 0 -1 3 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22506] ppid=22502 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/22504/task/22506/stat : 22506 (java) S 22502 22502 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104851611 26628161536 9822 33554432000 4194304 4196468 140734344694000 139852270308496 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22507] ppid=22502 vsize=26004064 memory=139701667861401 CPUtime=0 cores=0-7
/proc/22504/task/22507/stat : 22507 (java) S 22502 22502 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104851611 26628161536 9822 33554432000 4194304 4196468 140734344694000 139852269255696 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22508] ppid=22502 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22504/task/22508/stat : 22508 (java) S 22502 22502 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104851611 26628161536 9822 33554432000 4194304 4196468 140734344694000 139852268202896 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22509] ppid=22502 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22504/task/22509/stat : 22509 (java) S 22502 22502 20236 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104851611 26628161536 9822 33554432000 4194304 4196468 140734344694000 139852267150096 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22510] ppid=22502 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22504/task/22510/stat : 22510 (java) S 22502 22502 20236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104851611 26628161536 9822 33554432000 4194304 4196468 140734344694000 139852266097296 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22511] ppid=22502 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/22504/task/22511/stat : 22511 (java) S 22502 22502 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104851611 26628194304 9822 33554432000 4194304 4196468 140734344694000 139852265044496 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22512] ppid=22502 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/22504/task/22512/stat : 22512 (java) S 22502 22502 20236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104851611 26628194304 9822 33554432000 4194304 4196468 140734344694000 139852263991696 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22513] ppid=22502 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22504/task/22513/stat : 22513 (java) S 22502 22502 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104851611 26628161536 9822 33554432000 4194304 4196468 140734344694000 139852262938896 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22514] ppid=22502 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22504/task/22514/stat : 22514 (java) S 22502 22502 20236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104851612 26628161536 9822 33554432000 4194304 4196468 140734344694000 139850992700272 139852317698690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22515] ppid=22502 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22504/task/22515/stat : 22515 (java) S 22502 22502 20236 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104851613 26628161536 9822 33554432000 4194304 4196468 140734344694000 139850991646240 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22516] ppid=22502 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22504/task/22516/stat : 22516 (java) S 22502 22502 20236 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104851613 26628161536 9822 33554432000 4194304 4196468 140734344694000 139850990593392 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22517] ppid=22502 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22504/task/22517/stat : 22517 (java) S 22502 22502 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104851615 26628161536 9822 33554432000 4194304 4196468 140734344694000 139850989541712 139852317706139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22518] ppid=22502 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/22504/task/22518/stat : 22518 (java) S 22502 22502 20236 0 -1 1077944384 610 0 0 0 1 0 0 0 20 0 20 0 104851615 26628161536 9822 33554432000 4194304 4196468 140734344694000 139850988489072 139852317698690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22519] ppid=22502 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/22504/task/22519/stat : 22519 (java) S 22502 22502 20236 0 -1 1077944384 264 0 0 0 1 0 0 0 20 0 20 0 104851615 26628194304 9822 33554432000 4194304 4196468 140734344694000 139850987436272 139852317698690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22520] ppid=22502 vsize=26004096 memory=-1 CPUtime=0.01 cores=0-7
/proc/22504/task/22520/stat : 22520 (java) S 22502 22502 20236 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 20 0 104851615 26628194304 9822 33554432000 4194304 4196468 140734344694000 139850986383472 139852317698690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22521] ppid=22502 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/22504/task/22521/stat : 22521 (java) S 22502 22502 20236 0 -1 1077944384 714 0 0 0 8 0 0 0 20 0 20 0 104851615 26628161536 9822 33554432000 4194304 4196468 140734344694000 139850985330672 139852317698690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22522] ppid=22502 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22504/task/22522/stat : 22522 (java) S 22502 22502 20236 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104851615 26628161536 9822 33554432000 4194304 4196468 140734344694000 139850984279136 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22523] ppid=22502 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22504/task/22523/stat : 22523 (java) S 22502 22502 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104851616 26628161536 9822 33554432000 4194304 4196468 140734344694000 139850983226416 139852317698690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40668 KiB
[startup+0.310304 s]*
/proc/loadavg: 7.81 8.25 8.29 3/199 22523
/proc/meminfo: memFree=31326204/32770624 swapFree=67108860/67108860
[pid=22502] ppid=22499 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/22502/stat : 22502 (xcsp3-exec) S 22499 22502 20236 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104851609 9740288 345 33554432000 4194304 5098028 140729426496224 140729426494328 140558007833212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31969280 140729426502756 140729426502967 140729426502967 140729426505707 0
/proc/22502/statm: 2378 345 289 221 0 87 0
[pid=22504] ppid=22502 vsize=26004064 memory=46364 CPUtime=0.51 cores=0-7
/proc/22504/stat : 22504 (java) S 22502 22502 20236 0 -1 1077944320 9289 0 0 0 48 3 0 0 20 0 20 0 104851610 26628161536 11591 33554432000 4194304 4196468 140734344694000 140734344676544 139852317687543 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
/proc/22504/statm: 6501016 11591 3101 1 0 6488269 0
[pid=22504/tid=22505] ppid=22502 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/22504/task/22505/stat : 22505 (java) R 22502 22502 20236 0 -1 4202560 6084 0 0 0 28 1 0 0 20 0 20 0 104851610 26628161536 11591 33554432000 4194304 4196468 140734344694000 139852321917552 139851938675827 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22506] ppid=22502 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22504/task/22506/stat : 22506 (java) S 22502 22502 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104851611 26628161536 11591 33554432000 4194304 4196468 140734344694000 139852270308496 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22507] ppid=22502 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22504/task/22507/stat : 22507 (java) S 22502 22502 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104851611 26628161536 11591 33554432000 4194304 4196468 140734344694000 139852269255696 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22508] ppid=22502 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22504/task/22508/stat : 22508 (java) S 22502 22502 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104851611 26628161536 11591 33554432000 4194304 4196468 140734344694000 139852268202896 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22509] ppid=22502 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22504/task/22509/stat : 22509 (java) S 22502 22502 20236 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104851611 26628161536 11591 33554432000 4194304 4196468 140734344694000 139852267150096 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22510] ppid=22502 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/22504/task/22510/stat : 22510 (java) S 22502 22502 20236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104851611 26628161536 11591 33554432000 4194304 4196468 140734344694000 139852266097296 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22511] ppid=22502 vsize=26004064 memory=139701528916911 CPUtime=0 cores=0-7
/proc/22504/task/22511/stat : 22511 (java) S 22502 22502 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104851611 26628161536 11591 33554432000 4194304 4196468 140734344694000 139852265044496 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22512] ppid=22502 vsize=26004064 memory=139701528919216 CPUtime=0 cores=0-7
/proc/22504/task/22512/stat : 22512 (java) S 22502 22502 20236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104851611 26628161536 11591 33554432000 4194304 4196468 140734344694000 139852263991696 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22513] ppid=22502 vsize=26004064 memory=139701528921520 CPUtime=0 cores=0-7
/proc/22504/task/22513/stat : 22513 (java) S 22502 22502 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104851611 26628161536 11591 33554432000 4194304 4196468 140734344694000 139852262938896 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22514] ppid=22502 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22504/task/22514/stat : 22514 (java) S 22502 22502 20236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104851612 26628161536 11591 33554432000 4194304 4196468 140734344694000 139850992700272 139852317698690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22515] ppid=22502 vsize=26004064 memory=279403057850000 CPUtime=0 cores=0-7
/proc/22504/task/22515/stat : 22515 (java) S 22502 22502 20236 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104851613 26628161536 11591 33554432000 4194304 4196468 140734344694000 139850991646240 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22516] ppid=22502 vsize=26004064 memory=279403057856912 CPUtime=0 cores=0-7
/proc/22504/task/22516/stat : 22516 (java) S 22502 22502 20236 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104851613 26628161536 11591 33554432000 4194304 4196468 140734344694000 139850990593392 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22517] ppid=22502 vsize=26004064 memory=279403057798192 CPUtime=0 cores=0-7
/proc/22504/task/22517/stat : 22517 (java) S 22502 22502 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104851615 26628161536 11591 33554432000 4194304 4196468 140734344694000 139850989541712 139852317706139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22518] ppid=22502 vsize=26004064 memory=279403057870736 CPUtime=0.02 cores=0-7
/proc/22504/task/22518/stat : 22518 (java) R 22502 22502 20236 0 -1 4202560 784 0 0 0 2 0 0 0 20 0 20 0 104851615 26628161536 11591 33554432000 4194304 4196468 140734344694000 139850988480328 139852301217708 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22519] ppid=22502 vsize=26004064 memory=279403057877648 CPUtime=0.03 cores=0-7
/proc/22504/task/22519/stat : 22519 (java) R 22502 22502 20236 0 -1 1077944384 297 0 0 0 3 0 0 0 20 0 20 0 104851615 26628161536 11591 33554432000 4194304 4196468 140734344694000 139850987436272 139852317698690 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22520] ppid=22502 vsize=26004064 memory=279403057875344 CPUtime=0.01 cores=0-7
/proc/22504/task/22520/stat : 22520 (java) R 22502 22502 20236 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 20 0 104851615 26628161536 11591 33554432000 4194304 4196468 140734344694000 139850986383472 139852297076990 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22521] ppid=22502 vsize=26004064 memory=279403057891504 CPUtime=0.12 cores=0-7
/proc/22504/task/22521/stat : 22521 (java) R 22502 22502 20236 0 -1 4202560 783 0 0 0 12 0 0 0 20 0 20 0 104851615 26628161536 11591 33554432000 4194304 4196468 140734344694000 139850985330672 139852301768030 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22522] ppid=22502 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22504/task/22522/stat : 22522 (java) S 22502 22502 20236 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104851615 26628161536 11591 33554432000 4194304 4196468 140734344694000 139850984279136 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22523] ppid=22502 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22504/task/22523/stat : 22523 (java) S 22502 22502 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104851616 26628161536 11591 33554432000 4194304 4196468 140734344694000 139850983226416 139852317698690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47744 KiB
[startup+0.700985 s]
/proc/loadavg: 7.81 8.25 8.29 7/199 22523
/proc/meminfo: memFree=31156884/32770624 swapFree=67108860/67108860
[pid=22502] ppid=22499 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/22502/stat : 22502 (xcsp3-exec) S 22499 22502 20236 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104851609 9740288 345 33554432000 4194304 5098028 140729426496224 140729426494328 140558007833212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31969280 140729426502756 140729426502967 140729426502967 140729426505707 0
/proc/22502/statm: 2378 345 289 221 0 87 0
[pid=22504] ppid=22502 vsize=26004140 memory=299400 CPUtime=1.88 cores=0-7
/proc/22504/stat : 22504 (java) S 22502 22502 20236 0 -1 1077944320 13567 0 0 0 152 36 0 0 20 0 20 0 104851610 26628239360 74850 33554432000 4194304 4196468 140734344694000 140734344676544 139852317687543 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
/proc/22504/statm: 6501035 74850 3197 1 0 6488269 0
[pid=22504/tid=22505] ppid=22502 vsize=26004140 memory=279403058249392 CPUtime=0.61 cores=0-7
/proc/22504/task/22505/stat : 22505 (java) R 22502 22502 20236 0 -1 4202560 6400 0 0 0 55 6 0 0 20 0 20 0 104851610 26628239360 74850 33554432000 4194304 4196468 140734344694000 139852321924384 139851936640728 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22506] ppid=22502 vsize=26004140 memory=139701529125744 CPUtime=0.04 cores=0-7
/proc/22504/task/22506/stat : 22506 (java) S 22502 22502 20236 0 -1 1077944384 52 0 0 0 1 3 0 0 20 0 20 0 104851611 26628239360 74850 33554432000 4194304 4196468 140734344694000 139852270308496 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22507] ppid=22502 vsize=26004140 memory=0 CPUtime=0.05 cores=0-7
/proc/22504/task/22507/stat : 22507 (java) S 22502 22502 20236 0 -1 1077944384 58 0 0 0 1 4 0 0 20 0 20 0 104851611 26628239360 74850 33554432000 4194304 4196468 140734344694000 139852269255696 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22508] ppid=22502 vsize=26004140 memory=5792 CPUtime=0.03 cores=0-7
/proc/22504/task/22508/stat : 22508 (java) S 22502 22502 20236 0 -1 1077944384 38 0 0 0 1 2 0 0 20 0 20 0 104851611 26628239360 74850 33554432000 4194304 4196468 140734344694000 139852268202896 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
################
# More data... #
################
[pid=22504/tid=22521] ppid=22502 vsize=26538700 memory=4027113 CPUtime=0.58 cores=0-7
/proc/22504/task/22521/stat : 22521 (java) R 22502 22502 20236 0 -1 1077944384 5258 0 0 0 56 2 0 0 20 0 28 0 104851615 27175628800 2989967 33554432000 4194304 4196468 140734344694000 139850985330672 139852317698690 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22522] ppid=22502 vsize=26538700 memory=9154 CPUtime=0 cores=0-7
/proc/22504/task/22522/stat : 22522 (java) S 22502 22502 20236 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104851615 27175628800 2989967 33554432000 4194304 4196468 140734344694000 139850984279136 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22523] ppid=22502 vsize=26538700 memory=26939 CPUtime=0.05 cores=0-7
/proc/22504/task/22523/stat : 22523 (java) S 22502 22502 20236 0 -1 1077944384 524 0 0 0 3 2 0 0 20 0 28 0 104851616 27175628800 2989967 33554432000 4194304 4196468 140734344694000 139850983226416 139852317698690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22531] ppid=22502 vsize=26538700 memory=0 CPUtime=0.28 cores=0-7
/proc/22504/task/22531/stat : 22531 (java) R 22502 22502 20236 0 -1 4202560 81 0 0 0 28 0 0 0 20 0 28 0 104864031 27175628800 2989967 33554432000 4194304 4196468 140734344694000 139850981668880 139851936702182 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22532] ppid=22502 vsize=26538700 memory=4392 CPUtime=0.18 cores=0-7
/proc/22504/task/22532/stat : 22532 (java) R 22502 22502 20236 0 -1 4202560 39 0 0 0 18 0 0 0 20 0 28 0 104864031 27175628800 2989967 33554432000 4194304 4196468 140734344694000 139850906686872 139851942001900 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22533] ppid=22502 vsize=26538700 memory=4104 CPUtime=0.27 cores=0-7
/proc/22504/task/22533/stat : 22533 (java) R 22502 22502 20236 0 -1 4202560 31 0 0 0 27 0 0 0 20 0 28 0 104864031 27175628800 2989967 33554432000 4194304 4196468 140734344694000 139850905634584 139851936658992 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22534] ppid=22502 vsize=26538700 memory=1156 CPUtime=0.21 cores=0-7
/proc/22504/task/22534/stat : 22534 (java) R 22502 22502 20236 0 -1 4202560 35 0 0 0 21 0 0 0 20 0 28 0 104864031 27175628800 2989967 33554432000 4194304 4196468 140734344694000 139850904580992 139851939896388 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22535] ppid=22502 vsize=26538700 memory=3176 CPUtime=0.28 cores=0-7
/proc/22504/task/22535/stat : 22535 (java) R 22502 22502 20236 0 -1 4202560 31 0 0 0 28 0 0 0 20 0 28 0 104864031 27175628800 2989967 33554432000 4194304 4196468 140734344694000 139850903527688 139851936702413 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22536] ppid=22502 vsize=26538700 memory=1380 CPUtime=0.29 cores=0-7
/proc/22504/task/22536/stat : 22536 (java) R 22502 22502 20236 0 -1 4202560 35 0 0 0 29 0 0 0 20 0 28 0 104864031 27175628800 2989967 33554432000 4194304 4196468 140734344694000 139850902474472 139851936658992 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22537] ppid=22502 vsize=26538700 memory=11959032 CPUtime=0.24 cores=0-7
/proc/22504/task/22537/stat : 22537 (java) R 22502 22502 20236 0 -1 4202560 73 0 0 0 24 0 0 0 20 0 28 0 104864031 27175628800 2989967 33554432000 4194304 4196468 140734344694000 139850901418592 139851936640320 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22538] ppid=22502 vsize=26538700 memory=6791534058613427641 CPUtime=0.2 cores=0-7
/proc/22504/task/22538/stat : 22538 (java) R 22502 22502 20236 0 -1 4202560 28 0 0 0 20 0 0 0 20 0 28 0 104864031 27175628800 2989967 33554432000 4194304 4196468 140734344694000 139850900369800 139851940635104 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
Current children cumulated CPU time: 332.5 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 11961244 KiB
[startup+124.901 s]
/proc/loadavg: 2.70 6.12 7.51 12/207 22538
/proc/meminfo: memFree=19390256/32770624 swapFree=67108860/67108860
[pid=22502] ppid=22499 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/22502/stat : 22502 (xcsp3-exec) S 22499 22502 20236 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104851609 9740288 345 33554432000 4194304 5098028 140729426496224 140729426494328 140558007833212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31969280 140729426502756 140729426502967 140729426502967 140729426505707 0
/proc/22502/statm: 2378 345 289 221 0 87 0
[pid=22504] ppid=22502 vsize=26538700 memory=11960020 CPUtime=335.56 cores=0-7
/proc/22504/stat : 22504 (java) S 22502 22502 20236 0 -1 1077944320 180639 0 0 0 31546 2010 0 0 20 0 28 0 104851610 27175628800 2990005 33554432000 4194304 4196468 140734344694000 140734344676544 139852317687543 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
/proc/22504/statm: 6634675 2990005 3273 1 0 6621909 0
[pid=22504/tid=22505] ppid=22502 vsize=26538700 memory=1200 CPUtime=93.79 cores=0-7
/proc/22504/task/22505/stat : 22505 (java) S 22502 22502 20236 0 -1 1077944384 35803 0 0 0 9272 107 0 0 20 0 28 0 104851610 27175628800 2990005 33554432000 4194304 4196468 140734344694000 139852321928320 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22506] ppid=22502 vsize=26538700 memory=15876 CPUtime=28.82 cores=0-7
/proc/22504/task/22506/stat : 22506 (java) S 22502 22502 20236 0 -1 1077944384 7561 0 0 0 2655 227 0 0 20 0 28 0 104851611 27175628800 2990005 33554432000 4194304 4196468 140734344694000 139852270308496 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22507] ppid=22502 vsize=26538700 memory=288230574492221466 CPUtime=28.96 cores=0-7
/proc/22504/task/22507/stat : 22507 (java) S 22502 22502 20236 0 -1 1077944384 10225 0 0 0 2673 223 0 0 20 0 28 0 104851611 27175628800 2990005 33554432000 4194304 4196468 140734344694000 139852269255696 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22508] ppid=22502 vsize=26538700 memory=288230621803970871 CPUtime=29.09 cores=0-7
/proc/22504/task/22508/stat : 22508 (java) S 22502 22502 20236 0 -1 1077944384 12697 0 0 0 2672 237 0 0 20 0 28 0 104851611 27175628800 2990005 33554432000 4194304 4196468 140734344694000 139852268202896 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22509] ppid=22502 vsize=26538700 memory=15255943717849665 CPUtime=28.9 cores=0-7
/proc/22504/task/22509/stat : 22509 (java) S 22502 22502 20236 0 -1 1077944384 10867 0 0 0 2655 235 0 0 20 0 28 0 104851611 27175628800 2990005 33554432000 4194304 4196468 140734344694000 139852267150096 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22510] ppid=22502 vsize=26538700 memory=4044 CPUtime=28.86 cores=0-7
/proc/22504/task/22510/stat : 22510 (java) S 22502 22502 20236 0 -1 1077944384 10590 0 0 0 2653 233 0 0 20 0 28 0 104851611 27175628800 2990005 33554432000 4194304 4196468 140734344694000 139852266097296 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22511] ppid=22502 vsize=26538700 memory=17584 CPUtime=28.95 cores=0-7
/proc/22504/task/22511/stat : 22511 (java) S 22502 22502 20236 0 -1 1077944384 10137 0 0 0 2641 254 0 0 20 0 28 0 104851611 27175628800 2990005 33554432000 4194304 4196468 140734344694000 139852265044496 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22512] ppid=22502 vsize=26538700 memory=1232 CPUtime=28.81 cores=0-7
/proc/22504/task/22512/stat : 22512 (java) S 22502 22502 20236 0 -1 1077944384 9932 0 0 0 2645 236 0 0 20 0 28 0 104851611 27175628800 2990005 33554432000 4194304 4196468 140734344694000 139852263991696 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22513] ppid=22502 vsize=26538700 memory=288230574492221466 CPUtime=28.92 cores=0-7
/proc/22504/task/22513/stat : 22513 (java) S 22502 22502 20236 0 -1 1077944384 12463 0 0 0 2659 233 0 0 20 0 28 0 104851611 27175628800 2990005 33554432000 4194304 4196468 140734344694000 139852262938896 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22514] ppid=22502 vsize=26538700 memory=288230621803970871 CPUtime=0.99 cores=0-7
/proc/22504/task/22514/stat : 22514 (java) S 22502 22502 20236 0 -1 1077944384 28792 0 0 0 89 10 0 0 20 0 28 0 104851612 27175628800 2990005 33554432000 4194304 4196468 140734344694000 139850992700272 139852317698690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22515] ppid=22502 vsize=26538700 memory=928 CPUtime=0 cores=0-7
/proc/22504/task/22515/stat : 22515 (java) S 22502 22502 20236 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 104851613 27175628800 2990005 33554432000 4194304 4196468 140734344694000 139850991646304 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22516] ppid=22502 vsize=26538700 memory=1576 CPUtime=0 cores=0-7
/proc/22504/task/22516/stat : 22516 (java) S 22502 22502 20236 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 28 0 104851613 27175628800 2990005 33554432000 4194304 4196468 140734344694000 139850990593408 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22517] ppid=22502 vsize=26538700 memory=2236 CPUtime=0 cores=0-7
/proc/22504/task/22517/stat : 22517 (java) S 22502 22502 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 104851615 27175628800 2990005 33554432000 4194304 4196468 140734344694000 139850989541712 139852317706139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22518] ppid=22502 vsize=26538700 memory=4316 CPUtime=1.34 cores=0-7
/proc/22504/task/22518/stat : 22518 (java) R 22502 22502 20236 0 -1 4202560 7937 0 0 0 133 1 0 0 20 0 28 0 104851615 27175628800 2990005 33554432000 4194304 4196468 140734344694000 139850988475040 139852296104192 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22519] ppid=22502 vsize=26538700 memory=2196 CPUtime=1.23 cores=0-7
/proc/22504/task/22519/stat : 22519 (java) R 22502 22502 20236 0 -1 4202560 7537 0 0 0 121 2 0 0 20 0 28 0 104851615 27175628800 2990005 33554432000 4194304 4196468 140734344694000 139850987418048 139852302812304 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22520] ppid=22502 vsize=26538700 memory=6760 CPUtime=1.69 cores=0-7
/proc/22504/task/22520/stat : 22520 (java) R 22502 22502 20236 0 -1 4202560 8477 0 0 0 168 1 0 0 20 0 28 0 104851615 27175628800 2990005 33554432000 4194304 4196468 140734344694000 139850986379840 139852301186484 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22521] ppid=22502 vsize=26538700 memory=832 CPUtime=0.59 cores=0-7
/proc/22504/task/22521/stat : 22521 (java) R 22502 22502 20236 0 -1 1077944384 5273 0 0 0 57 2 0 0 20 0 28 0 104851615 27175628800 2990005 33554432000 4194304 4196468 140734344694000 139850985330672 139852317698690 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22522] ppid=22502 vsize=26538700 memory=1696 CPUtime=0 cores=0-7
/proc/22504/task/22522/stat : 22522 (java) S 22502 22502 20236 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104851615 27175628800 2990005 33554432000 4194304 4196468 140734344694000 139850984279136 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22523] ppid=22502 vsize=26538700 memory=920 CPUtime=0.05 cores=0-7
/proc/22504/task/22523/stat : 22523 (java) S 22502 22502 20236 0 -1 1077944384 524 0 0 0 3 2 0 0 20 0 28 0 104851616 27175628800 2990005 33554432000 4194304 4196468 140734344694000 139850983226416 139852317698690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22531] ppid=22502 vsize=26538700 memory=139705962808959 CPUtime=0.63 cores=0-7
/proc/22504/task/22531/stat : 22531 (java) R 22502 22502 20236 0 -1 4202560 82 0 0 0 63 0 0 0 20 0 28 0 104864031 27175628800 2990005 33554432000 4194304 4196468 140734344694000 139850981669848 139851938847742 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22532] ppid=22502 vsize=26538700 memory=6944656592455097440 CPUtime=0.45 cores=0-7
/proc/22504/task/22532/stat : 22532 (java) R 22502 22502 20236 0 -1 4202560 41 0 0 0 45 0 0 0 20 0 28 0 104864031 27175628800 2990005 33554432000 4194304 4196468 140734344694000 139850906684632 139851939985566 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22533] ppid=22502 vsize=26538700 memory=6944656592387989600 CPUtime=0.58 cores=0-7
/proc/22504/task/22533/stat : 22533 (java) S 22502 22502 20236 0 -1 1077944384 34 0 0 0 58 0 0 0 20 0 28 0 104864031 27175628800 2990005 33554432000 4194304 4196468 140734344694000 139850905632112 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22534] ppid=22502 vsize=26538700 memory=6944656575208382560 CPUtime=0.5 cores=0-7
/proc/22504/task/22534/stat : 22534 (java) S 22502 22502 20236 0 -1 1077944384 38 0 0 0 50 0 0 0 20 0 28 0 104864031 27175628800 2990005 33554432000 4194304 4196468 140734344694000 139850904579120 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22535] ppid=22502 vsize=26538700 memory=6943526294502006880 CPUtime=0.59 cores=0-7
/proc/22504/task/22535/stat : 22535 (java) R 22502 22502 20236 0 -1 4202560 34 0 0 0 59 0 0 0 20 0 28 0 104864031 27175628800 2990005 33554432000 4194304 4196468 140734344694000 139850903526768 139851939855623 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22536] ppid=22502 vsize=26538700 memory=-7522837582236181595 CPUtime=0.59 cores=0-7
/proc/22504/task/22536/stat : 22536 (java) R 22502 22502 20236 0 -1 1077944384 40 0 0 0 59 0 0 0 20 0 28 0 104864031 27175628800 2990005 33554432000 4194304 4196468 140734344694000 139850902473744 139852317697749 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22537] ppid=22502 vsize=26538700 memory=6944613755495348631 CPUtime=0.52 cores=0-7
/proc/22504/task/22537/stat : 22537 (java) R 22502 22502 20236 0 -1 4202560 75 0 0 0 52 0 0 0 20 0 28 0 104864031 27175628800 2990005 33554432000 4194304 4196468 140734344694000 139850901418704 139851939855623 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22538] ppid=22502 vsize=26538700 memory=4713742226031938934 CPUtime=0.52 cores=0-7
/proc/22504/task/22538/stat : 22538 (java) R 22502 22502 20236 0 -1 4202560 28 0 0 0 52 0 0 0 20 0 28 0 104864031 27175628800 2990005 33554432000 4194304 4196468 140734344694000 139850900372464 139851938847742 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
Current children cumulated CPU time: 335.56 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 11961400 KiB
[startup+125.009 s]
/proc/loadavg: 2.70 6.12 7.51 12/207 22538
/proc/meminfo: memFree=19390256/32770624 swapFree=67108860/67108860
[pid=22502] ppid=22499 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/22502/stat : 22502 (xcsp3-exec) S 22499 22502 20236 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104851609 9740288 345 33554432000 4194304 5098028 140729426496224 140729426494328 140558007833212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31969280 140729426502756 140729426502967 140729426502967 140729426505707 0
/proc/22502/statm: 2378 345 289 221 0 87 0
[pid=22504] ppid=22502 vsize=26538700 memory=11960116 CPUtime=336.4 cores=0-7
/proc/22504/stat : 22504 (java) S 22502 22502 20236 0 -1 1077944320 180758 0 0 0 31630 2010 0 0 20 0 28 0 104851610 27175628800 2990029 33554432000 4194304 4196468 140734344694000 140734344676544 139852317687543 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
/proc/22504/statm: 6634675 2990029 3273 1 0 6621909 0
[pid=22504/tid=22505] ppid=22502 vsize=26538700 memory=11959076 CPUtime=93.79 cores=0-7
/proc/22504/task/22505/stat : 22505 (java) S 22502 22502 20236 0 -1 1077944384 35803 0 0 0 9272 107 0 0 20 0 28 0 104851610 27175628800 2990029 33554432000 4194304 4196468 140734344694000 139852321928320 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22506] ppid=22502 vsize=26538700 memory=11958724 CPUtime=28.82 cores=0-7
/proc/22504/task/22506/stat : 22506 (java) S 22502 22502 20236 0 -1 1077944384 7561 0 0 0 2655 227 0 0 20 0 28 0 104851611 27175628800 2990029 33554432000 4194304 4196468 140734344694000 139852270308496 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22507] ppid=22502 vsize=26538700 memory=11958724 CPUtime=28.96 cores=0-7
/proc/22504/task/22507/stat : 22507 (java) S 22502 22502 20236 0 -1 1077944384 10225 0 0 0 2673 223 0 0 20 0 28 0 104851611 27175628800 2990029 33554432000 4194304 4196468 140734344694000 139852269255696 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22508] ppid=22502 vsize=26538700 memory=11959032 CPUtime=29.09 cores=0-7
/proc/22504/task/22508/stat : 22508 (java) S 22502 22502 20236 0 -1 1077944384 12697 0 0 0 2672 237 0 0 20 0 28 0 104851611 27175628800 2990029 33554432000 4194304 4196468 140734344694000 139852268202896 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22509] ppid=22502 vsize=26538700 memory=11960020 CPUtime=28.9 cores=0-7
/proc/22504/task/22509/stat : 22509 (java) S 22502 22502 20236 0 -1 1077944384 10867 0 0 0 2655 235 0 0 20 0 28 0 104851611 27175628800 2990029 33554432000 4194304 4196468 140734344694000 139852267150096 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22510] ppid=22502 vsize=26538700 memory=1380 CPUtime=28.86 cores=0-7
/proc/22504/task/22510/stat : 22510 (java) S 22502 22502 20236 0 -1 1077944384 10590 0 0 0 2653 233 0 0 20 0 28 0 104851611 27175628800 2990029 33554432000 4194304 4196468 140734344694000 139852266097296 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22511] ppid=22502 vsize=26538700 memory=2308 CPUtime=28.95 cores=0-7
/proc/22504/task/22511/stat : 22511 (java) S 22502 22502 20236 0 -1 1077944384 10137 0 0 0 2641 254 0 0 20 0 28 0 104851611 27175628800 2990029 33554432000 4194304 4196468 140734344694000 139852265044496 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22512] ppid=22502 vsize=26538700 memory=1004 CPUtime=28.81 cores=0-7
/proc/22504/task/22512/stat : 22512 (java) S 22502 22502 20236 0 -1 1077944384 9932 0 0 0 2645 236 0 0 20 0 28 0 104851611 27175628800 2990029 33554432000 4194304 4196468 140734344694000 139852263991696 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22513] ppid=22502 vsize=26538700 memory=1936 CPUtime=28.92 cores=0-7
/proc/22504/task/22513/stat : 22513 (java) S 22502 22502 20236 0 -1 1077944384 12463 0 0 0 2659 233 0 0 20 0 28 0 104851611 27175628800 2990029 33554432000 4194304 4196468 140734344694000 139852262938896 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22514] ppid=22502 vsize=26538700 memory=11958724 CPUtime=0.99 cores=0-7
/proc/22504/task/22514/stat : 22514 (java) S 22502 22502 20236 0 -1 1077944384 28792 0 0 0 89 10 0 0 20 0 28 0 104851612 27175628800 2990029 33554432000 4194304 4196468 140734344694000 139850992700272 139852317698690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22515] ppid=22502 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/22504/task/22515/stat : 22515 (java) S 22502 22502 20236 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 104851613 27175628800 2990029 33554432000 4194304 4196468 140734344694000 139850991646304 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22516] ppid=22502 vsize=26538700 memory=2404 CPUtime=0 cores=0-7
/proc/22504/task/22516/stat : 22516 (java) S 22502 22502 20236 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 28 0 104851613 27175628800 2990029 33554432000 4194304 4196468 140734344694000 139850990593408 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22517] ppid=22502 vsize=26538700 memory=1732 CPUtime=0 cores=0-7
/proc/22504/task/22517/stat : 22517 (java) S 22502 22502 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 104851615 27175628800 2990029 33554432000 4194304 4196468 140734344694000 139850989541712 139852317706139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22518] ppid=22502 vsize=26538700 memory=1380 CPUtime=1.4 cores=0-7
/proc/22504/task/22518/stat : 22518 (java) R 22502 22502 20236 0 -1 1077944384 7943 0 0 0 139 1 0 0 20 0 28 0 104851615 27175628800 2990029 33554432000 4194304 4196468 140734344694000 139850988476624 139852317697749 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22519] ppid=22502 vsize=26538700 memory=11958724 CPUtime=1.28 cores=0-7
/proc/22504/task/22519/stat : 22519 (java) R 22502 22502 20236 0 -1 4202560 7548 0 0 0 126 2 0 0 20 0 28 0 104851615 27175628800 2990029 33554432000 4194304 4196468 140734344694000 139850987436272 139852302592894 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22520] ppid=22502 vsize=26538700 memory=1380 CPUtime=1.8 cores=0-7
/proc/22504/task/22520/stat : 22520 (java) R 22502 22502 20236 0 -1 4202560 8558 0 0 0 179 1 0 0 20 0 28 0 104851615 27175628800 2990029 33554432000 4194304 4196468 140734344694000 139850986362480 139852302795340 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22521] ppid=22502 vsize=26538700 memory=5932576 CPUtime=0.6 cores=0-7
/proc/22504/task/22521/stat : 22521 (java) R 22502 22502 20236 0 -1 1077944384 5276 0 0 0 58 2 0 0 20 0 28 0 104851615 27175628800 2990029 33554432000 4194304 4196468 140734344694000 139850985330672 139852317698690 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22522] ppid=22502 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/22504/task/22522/stat : 22522 (java) S 22502 22502 20236 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104851615 27175628800 2990029 33554432000 4194304 4196468 140734344694000 139850984279136 139852317697749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22523] ppid=22502 vsize=26538700 memory=10115352 CPUtime=0.05 cores=0-7
/proc/22504/task/22523/stat : 22523 (java) S 22502 22502 20236 0 -1 1077944384 524 0 0 0 3 2 0 0 20 0 28 0 104851616 27175628800 2990029 33554432000 4194304 4196468 140734344694000 139850983226416 139852317698690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22531] ppid=22502 vsize=26538700 memory=1380 CPUtime=0.73 cores=0-7
/proc/22504/task/22531/stat : 22531 (java) R 22502 22502 20236 0 -1 4202560 91 0 0 0 73 0 0 0 20 0 28 0 104864031 27175628800 2990029 33554432000 4194304 4196468 140734344694000 139850981670144 139851940683928 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22532] ppid=22502 vsize=26538700 memory=11959032 CPUtime=0.51 cores=0-7
/proc/22504/task/22532/stat : 22532 (java) R 22502 22502 20236 0 -1 4202560 41 0 0 0 51 0 0 0 20 0 28 0 104864031 27175628800 2990029 33554432000 4194304 4196468 140734344694000 139850906689336 139851941539529 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22533] ppid=22502 vsize=26538700 memory=11000 CPUtime=0.66 cores=0-7
/proc/22504/task/22533/stat : 22533 (java) R 22502 22502 20236 0 -1 4202560 34 0 0 0 66 0 0 0 20 0 28 0 104864031 27175628800 2990029 33554432000 4194304 4196468 140734344694000 139850905635192 139851942580216 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22534] ppid=22502 vsize=26538700 memory=1224 CPUtime=0.56 cores=0-7
/proc/22504/task/22534/stat : 22534 (java) R 22502 22502 20236 0 -1 4202560 39 0 0 0 56 0 0 0 20 0 28 0 104864031 27175628800 2990029 33554432000 4194304 4196468 140734344694000 139850904579712 139851941539665 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22535] ppid=22502 vsize=26538700 memory=1380 CPUtime=0.66 cores=0-7
/proc/22504/task/22535/stat : 22535 (java) R 22502 22502 20236 0 -1 4202560 37 0 0 0 66 0 0 0 20 0 28 0 104864031 27175628800 2990029 33554432000 4194304 4196468 140734344694000 139850903526544 139851936640791 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22536] ppid=22502 vsize=26538700 memory=11959496 CPUtime=0.68 cores=0-7
/proc/22504/task/22536/stat : 22536 (java) R 22502 22502 20236 0 -1 4202560 42 0 0 0 68 0 0 0 20 0 28 0 104864031 27175628800 2990029 33554432000 4194304 4196468 140734344694000 139850902474128 139851940389879 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22537] ppid=22502 vsize=26538700 memory=1732 CPUtime=0.6 cores=0-7
/proc/22504/task/22537/stat : 22537 (java) R 22502 22502 20236 0 -1 4202560 77 0 0 0 60 0 0 0 20 0 28 0 104864031 27175628800 2990029 33554432000 4194304 4196468 140734344694000 139850901421968 139851936662631 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
[pid=22504/tid=22538] ppid=22502 vsize=26538700 memory=796 CPUtime=0.59 cores=0-7
/proc/22504/task/22538/stat : 22538 (java) R 22502 22502 20236 0 -1 4202560 29 0 0 0 59 0 0 0 20 0 28 0 104864031 27175628800 2990029 33554432000 4194304 4196468 140734344694000 139850900369448 139851936699529 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34963456 140734344701074 140734344701251 140734344701251 140734344703951 0
Current children cumulated CPU time: 336.4 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 11961496 KiB
Child status: 0
Real time (s): 125.096
CPU time (s): 336.636
CPU user time (s): 316.476
CPU system time (s): 20.1604
CPU usage (%): 269.103
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 12275508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 316.476
system time used= 20.1604
maximum resident set size= 12274128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181577
page faults= 0
swaps= 0
block input operations= 0
block output operations= 328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12153
involuntary context switches= 3806
# summary of solver processes directly reported to runsolver:
# pid: 22502
# total CPU time (s): 336.636
# total CPU user time (s): 316.476
# total CPU system time (s): 20.1604
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.898152 second user time and 1.36972 second system time
The end
Begin job on node102 at 2017-08-14 15:19:34
IDJOB=4271137
IDBENCH=125598
IDSOLVER=2662
FILE ID=node102/4271137-1502717633
RUNJOBID= node102-1502711730-20263
PBS_JOBID= 20629024
Free space on /tmp= 61836 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/QRandom/QRandom-m1-lard/lard-83-83.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-4271137-1502717633/watcher-4271137-1502717633 -o /tmp/evaluation-result-4271137-1502717633/solver-4271137-1502717633 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1502711730-20263 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1368044769 HOME/instance-4271137-1502717633.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 5a1cc99098bd305fca19847613bf445f
RANDOM SEED=1368044769
node102.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.35
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.35
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.35
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.35
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: 31360348 kB
MemAvailable: 31985308 kB
Buffers: 151096 kB
Cached: 757252 kB
SwapCached: 0 kB
Active: 743664 kB
Inactive: 216028 kB
Active(anon): 4448 kB
Inactive(anon): 75040 kB
Active(file): 739216 kB
Inactive(file): 140988 kB
Unevictable: 6448 kB
Mlocked: 6448 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 84220 kB
Writeback: 0 kB
AnonPages: 57972 kB
Mapped: 44656 kB
Shmem: 25228 kB
Slab: 147576 kB
SReclaimable: 121180 kB
SUnreclaim: 26396 kB
KernelStack: 3232 kB
PageTables: 4844 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 325044 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4096 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 134528 kB
DirectMap2M: 33411072 kB
Free space on /tmp at the end= 61828 MiB
End job on node102 at 2017-08-14 15:21:40