0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270911-1502817461.xml" -tl '20160s' -p 8 -x 0
0.12/0.14 c [HOME/instance-4270911-1502817461.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20 c 8 solvers in parallel
0.33/0.26 c parse instance...
1.34/0.68 c solve instance...
4.67/1.14 s SATISFIABLE
4.67/1.14 v <instantiation>
4.67/1.14 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] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] </list>
4.67/1.14 v <values>299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 </values>
4.67/1.14 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 (15322 MiB free)
memory of node 1: 16384 MiB (15465 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270911-1502817461/watcher-4270911-1502817461 -o /tmp/evaluation-result-4270911-1502817461/solver-4270911-1502817461 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1502815183-30951 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 263286424 HOME/instance-4270911-1502817461.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=32092, runsolver pid=32089
[startup+0.100152 s]*
/proc/loadavg: 4.76 6.74 5.59 2/201 32113
/proc/meminfo: memFree=31512660/32770624 swapFree=67108860/67108860
[pid=32092] ppid=32089 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32092/stat : 32092 (xcsp3-exec) S 32089 32092 30924 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114833749 9740288 346 33554432000 4194304 5098028 140734202415808 140734202413912 139914983580284 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24612864 140734202418277 140734202418487 140734202418487 140734202421227 0
/proc/32092/statm: 2378 346 289 221 0 87 0
[pid=32094] ppid=32092 vsize=25999808 memory=26560 CPUtime=0.12 cores=0-7
/proc/32094/stat : 32094 (java) S 32092 32092 30924 0 -1 1077944320 5496 0 0 0 11 1 0 0 20 0 20 0 114833749 26623803392 6640 33554432000 4194304 4196468 140720407565744 140720407548288 139634680495863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
/proc/32094/statm: 6499952 6640 2884 1 0 6488269 0
[pid=32094/tid=32095] ppid=32092 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/32094/task/32095/stat : 32095 (java) R 32092 32092 30924 0 -1 4202560 3517 0 0 0 8 0 0 0 20 0 20 0 114833749 26623803392 6640 33554432000 4194304 4196468 140720407565744 139634684711840 139634664576350 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32096] ppid=32092 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32096/stat : 32096 (java) S 32092 32092 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114833750 26623803392 6640 33554432000 4194304 4196468 140720407565744 139634633116048 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32097] ppid=32092 vsize=25999808 memory=140165807031936 CPUtime=0 cores=0-7
/proc/32094/task/32097/stat : 32097 (java) S 32092 32092 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114833750 26623803392 6640 33554432000 4194304 4196468 140720407565744 139634632063248 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32098] ppid=32092 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32098/stat : 32098 (java) S 32092 32092 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114833750 26623803392 6640 33554432000 4194304 4196468 140720407565744 139634631010960 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32099] ppid=32092 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32099/stat : 32099 (java) S 32092 32092 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114833750 26623803392 6640 33554432000 4194304 4196468 140720407565744 139634629958160 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32100] ppid=32092 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32100/stat : 32100 (java) S 32092 32092 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114833750 26623803392 6640 33554432000 4194304 4196468 140720407565744 139634628905872 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32101] ppid=32092 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/32094/task/32101/stat : 32101 (java) S 32092 32092 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114833750 26623803392 6640 33554432000 4194304 4196468 140720407565744 139634627853072 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32102] ppid=32092 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32102/stat : 32102 (java) S 32092 32092 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114833750 26623803392 6640 33554432000 4194304 4196468 140720407565744 139634626800784 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32103] ppid=32092 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32103/stat : 32103 (java) S 32092 32092 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114833750 26623803392 6640 33554432000 4194304 4196468 140720407565744 139634625747984 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32104] ppid=32092 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32104/stat : 32104 (java) S 32092 32092 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114833752 26623803392 6640 33554432000 4194304 4196468 140720407565744 139633221142640 139634680507010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32105] ppid=32092 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32105/stat : 32105 (java) S 32092 32092 30924 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 114833752 26623803392 6640 33554432000 4194304 4196468 140720407565744 139633220088608 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32106] ppid=32092 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32106/stat : 32106 (java) S 32092 32092 30924 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 114833752 26623803392 6640 33554432000 4194304 4196468 140720407565744 139633219036272 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32107] ppid=32092 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32107/stat : 32107 (java) S 32092 32092 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114833755 26623803392 6640 33554432000 4194304 4196468 140720407565744 139633217984592 139634680514459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32108] ppid=32092 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32108/stat : 32108 (java) S 32092 32092 30924 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 20 0 114833755 26623803392 6640 33554432000 4194304 4196468 140720407565744 139633216932464 139634680507010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32109] ppid=32092 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32109/stat : 32109 (java) S 32092 32092 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114833755 26623803392 6640 33554432000 4194304 4196468 140720407565744 139633215879664 139634680507010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32110] ppid=32092 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32110/stat : 32110 (java) S 32092 32092 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114833755 26623803392 6640 33554432000 4194304 4196468 140720407565744 139633214827376 139634680507010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32111] ppid=32092 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/32094/task/32111/stat : 32111 (java) R 32092 32092 30924 0 -1 4202560 252 0 0 0 1 0 0 0 20 0 20 0 114833755 26623803392 6640 33554432000 4194304 4196468 140720407565744 139633213774576 139634680507798 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32112] ppid=32092 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32112/stat : 32112 (java) S 32092 32092 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114833755 26623803392 6640 33554432000 4194304 4196468 140720407565744 139632406686048 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32113] ppid=32092 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/32094/task/32113/stat : 32113 (java) S 32092 32092 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114833755 26623803392 6640 33554432000 4194304 4196468 140720407565744 139632405633328 139634680507010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27944 KiB
[startup+0.21002 s]*
/proc/loadavg: 4.76 6.74 5.59 3/201 32113
/proc/meminfo: memFree=31500944/32770624 swapFree=67108860/67108860
[pid=32092] ppid=32089 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32092/stat : 32092 (xcsp3-exec) S 32089 32092 30924 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114833749 9740288 346 33554432000 4194304 5098028 140734202415808 140734202413912 139914983580284 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24612864 140734202418277 140734202418487 140734202418487 140734202421227 0
/proc/32092/statm: 2378 346 289 221 0 87 0
[pid=32094] ppid=32092 vsize=26004064 memory=38916 CPUtime=0.33 cores=0-7
/proc/32094/stat : 32094 (java) S 32092 32092 30924 0 -1 1077944320 8290 0 0 0 31 2 0 0 20 0 20 0 114833749 26628161536 9729 33554432000 4194304 4196468 140720407565744 140720407548288 139634680495863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
/proc/32094/statm: 6501016 9729 3047 1 0 6488269 0
[pid=32094/tid=32095] ppid=32092 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/32094/task/32095/stat : 32095 (java) R 32092 32092 30924 0 -1 4202560 5412 0 0 0 18 1 0 0 20 0 20 0 114833749 26628161536 9729 33554432000 4194304 4196468 140720407565744 139634684711536 139634680517789 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32096] ppid=32092 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/32094/task/32096/stat : 32096 (java) S 32092 32092 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114833750 26628161536 9729 33554432000 4194304 4196468 140720407565744 139634633116048 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32097] ppid=32092 vsize=26004064 memory=288370541958743680 CPUtime=0 cores=0-7
/proc/32094/task/32097/stat : 32097 (java) S 32092 32092 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114833750 26628161536 9729 33554432000 4194304 4196468 140720407565744 139634632063248 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32098] ppid=32092 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32094/task/32098/stat : 32098 (java) S 32092 32092 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114833750 26628161536 9729 33554432000 4194304 4196468 140720407565744 139634631010960 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32099] ppid=32092 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32099/stat : 32099 (java) S 32092 32092 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114833750 26628161536 9729 33554432000 4194304 4196468 140720407565744 139634629958160 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32100] ppid=32092 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32100/stat : 32100 (java) S 32092 32092 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114833750 26628161536 9729 33554432000 4194304 4196468 140720407565744 139634628905872 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32101] ppid=32092 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32094/task/32101/stat : 32101 (java) S 32092 32092 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114833750 26628161536 9729 33554432000 4194304 4196468 140720407565744 139634627853072 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32102] ppid=32092 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32102/stat : 32102 (java) S 32092 32092 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114833750 26628161536 9729 33554432000 4194304 4196468 140720407565744 139634626800784 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32103] ppid=32092 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32103/stat : 32103 (java) S 32092 32092 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114833750 26628161536 9729 33554432000 4194304 4196468 140720407565744 139634625747984 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32104] ppid=32092 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32104/stat : 32104 (java) S 32092 32092 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114833752 26628161536 9729 33554432000 4194304 4196468 140720407565744 139633221142640 139634680507010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32105] ppid=32092 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32105/stat : 32105 (java) S 32092 32092 30924 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 114833752 26628161536 9729 33554432000 4194304 4196468 140720407565744 139633220088608 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32106] ppid=32092 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32106/stat : 32106 (java) S 32092 32092 30924 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 114833752 26628161536 9729 33554432000 4194304 4196468 140720407565744 139633219036272 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32107] ppid=32092 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32107/stat : 32107 (java) S 32092 32092 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114833755 26628161536 9729 33554432000 4194304 4196468 140720407565744 139633217984592 139634680514459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32108] ppid=32092 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32108/stat : 32108 (java) R 32092 32092 30924 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 20 0 114833755 26628161536 9729 33554432000 4194304 4196468 140720407565744 139633216932464 139634680507010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32109] ppid=32092 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/32094/task/32109/stat : 32109 (java) S 32092 32092 30924 0 -1 1077944384 164 0 0 0 2 0 0 0 20 0 20 0 114833755 26628161536 9729 33554432000 4194304 4196468 140720407565744 139633215879664 139634680507010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32110] ppid=32092 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/32094/task/32110/stat : 32110 (java) R 32092 32092 30924 0 -1 1077944384 236 0 0 0 1 0 0 0 20 0 20 0 114833755 26628161536 9729 33554432000 4194304 4196468 140720407565744 139633214827376 139634680507010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32111] ppid=32092 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/32094/task/32111/stat : 32111 (java) R 32092 32092 30924 0 -1 4202560 737 0 0 0 7 0 0 0 20 0 20 0 114833755 26628161536 9729 33554432000 4194304 4196468 140720407565744 139633213774576 139634680507798 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32112] ppid=32092 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32112/stat : 32112 (java) S 32092 32092 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114833755 26628161536 9729 33554432000 4194304 4196468 140720407565744 139632406686048 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32113] ppid=32092 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32094/task/32113/stat : 32113 (java) S 32092 32092 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114833755 26628161536 9729 33554432000 4194304 4196468 140720407565744 139632405633328 139634680507010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40300 KiB
[startup+0.309485 s]*
/proc/loadavg: 4.76 6.74 5.59 3/201 32113
/proc/meminfo: memFree=31494468/32770624 swapFree=67108860/67108860
[pid=32092] ppid=32089 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32092/stat : 32092 (xcsp3-exec) S 32089 32092 30924 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114833749 9740288 346 33554432000 4194304 5098028 140734202415808 140734202413912 139914983580284 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24612864 140734202418277 140734202418487 140734202418487 140734202421227 0
/proc/32092/statm: 2378 346 289 221 0 87 0
[pid=32094] ppid=32092 vsize=26004064 memory=45956 CPUtime=0.49 cores=0-7
/proc/32094/stat : 32094 (java) S 32092 32092 30924 0 -1 1077944320 9187 0 0 0 45 4 0 0 20 0 20 0 114833749 26628161536 11489 33554432000 4194304 4196468 140720407565744 140720407548288 139634680495863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
/proc/32094/statm: 6501016 11489 3087 1 0 6488269 0
[pid=32094/tid=32095] ppid=32092 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/32094/task/32095/stat : 32095 (java) R 32092 32092 30924 0 -1 4202560 6171 0 0 0 27 2 0 0 20 0 20 0 114833749 26628161536 11489 33554432000 4194304 4196468 140720407565744 139634684730944 139634660086251 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32096] ppid=32092 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32096/stat : 32096 (java) S 32092 32092 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114833750 26628161536 11489 33554432000 4194304 4196468 140720407565744 139634633116048 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32097] ppid=32092 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32097/stat : 32097 (java) S 32092 32092 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114833750 26628161536 11489 33554432000 4194304 4196468 140720407565744 139634632063248 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32098] ppid=32092 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32098/stat : 32098 (java) S 32092 32092 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114833750 26628161536 11489 33554432000 4194304 4196468 140720407565744 139634631010960 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32099] ppid=32092 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32099/stat : 32099 (java) S 32092 32092 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114833750 26628161536 11489 33554432000 4194304 4196468 140720407565744 139634629958160 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32100] ppid=32092 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/32094/task/32100/stat : 32100 (java) S 32092 32092 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114833750 26628161536 11489 33554432000 4194304 4196468 140720407565744 139634628905872 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32101] ppid=32092 vsize=26004064 memory=140165653820335 CPUtime=0 cores=0-7
/proc/32094/task/32101/stat : 32101 (java) S 32092 32092 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114833750 26628161536 11489 33554432000 4194304 4196468 140720407565744 139634627853072 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32102] ppid=32092 vsize=26004064 memory=140165653822640 CPUtime=0 cores=0-7
/proc/32094/task/32102/stat : 32102 (java) S 32092 32092 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114833750 26628161536 11489 33554432000 4194304 4196468 140720407565744 139634626800784 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32103] ppid=32092 vsize=26004064 memory=140165653824944 CPUtime=0 cores=0-7
/proc/32094/task/32103/stat : 32103 (java) S 32092 32092 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114833750 26628161536 11489 33554432000 4194304 4196468 140720407565744 139634625747984 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32104] ppid=32092 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32104/stat : 32104 (java) S 32092 32092 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114833752 26628161536 11489 33554432000 4194304 4196468 140720407565744 139633221142640 139634680507010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32105] ppid=32092 vsize=26004064 memory=280331307656848 CPUtime=0 cores=0-7
/proc/32094/task/32105/stat : 32105 (java) S 32092 32092 30924 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 114833752 26628161536 11489 33554432000 4194304 4196468 140720407565744 139633220088608 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32106] ppid=32092 vsize=26004064 memory=280331307663760 CPUtime=0 cores=0-7
/proc/32094/task/32106/stat : 32106 (java) S 32092 32092 30924 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 114833752 26628161536 11489 33554432000 4194304 4196468 140720407565744 139633219036272 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32107] ppid=32092 vsize=26004064 memory=280331307604912 CPUtime=0 cores=0-7
/proc/32094/task/32107/stat : 32107 (java) S 32092 32092 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114833755 26628161536 11489 33554432000 4194304 4196468 140720407565744 139633217984592 139634680514459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32108] ppid=32092 vsize=26004064 memory=280331307677584 CPUtime=0 cores=0-7
/proc/32094/task/32108/stat : 32108 (java) S 32092 32092 30924 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 20 0 114833755 26628161536 11489 33554432000 4194304 4196468 140720407565744 139633216932464 139634680507010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32109] ppid=32092 vsize=26004064 memory=280331307684496 CPUtime=0.04 cores=0-7
/proc/32094/task/32109/stat : 32109 (java) S 32092 32092 30924 0 -1 1077944384 219 0 0 0 4 0 0 0 20 0 20 0 114833755 26628161536 11489 33554432000 4194304 4196468 140720407565744 139633215879664 139634680507010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32110] ppid=32092 vsize=26004064 memory=280331307682192 CPUtime=0.01 cores=0-7
/proc/32094/task/32110/stat : 32110 (java) S 32092 32092 30924 0 -1 1077944384 238 0 0 0 1 0 0 0 20 0 20 0 114833755 26628161536 11489 33554432000 4194304 4196468 140720407565744 139633214827376 139634680507010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32111] ppid=32092 vsize=26004064 memory=280331307698352 CPUtime=0.11 cores=0-7
/proc/32094/task/32111/stat : 32111 (java) S 32092 32092 30924 0 -1 1077944384 818 0 0 0 11 0 0 0 20 0 20 0 114833755 26628161536 11489 33554432000 4194304 4196468 140720407565744 139633213774576 139634680507010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32112] ppid=32092 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32112/stat : 32112 (java) S 32092 32092 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114833755 26628161536 11489 33554432000 4194304 4196468 140720407565744 139632406686048 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32113] ppid=32092 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32094/task/32113/stat : 32113 (java) S 32092 32092 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114833755 26628161536 11489 33554432000 4194304 4196468 140720407565744 139632405633328 139634680507010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47340 KiB
[startup+0.701007 s]
/proc/loadavg: 4.76 6.74 5.59 3/201 32113
/proc/meminfo: memFree=31449360/32770624 swapFree=67108860/67108860
[pid=32092] ppid=32089 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32092/stat : 32092 (xcsp3-exec) S 32089 32092 30924 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114833749 9740288 346 33554432000 4194304 5098028 140734202415808 140734202413912 139914983580284 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24612864 140734202418277 140734202418487 140734202418487 140734202421227 0
/proc/32092/statm: 2378 346 289 221 0 87 0
[pid=32094] ppid=32092 vsize=26538700 memory=183360 CPUtime=1.5 cores=0-7
/proc/32094/stat : 32094 (java) S 32092 32092 30924 0 -1 1077944320 12711 0 0 0 143 7 0 0 20 0 28 0 114833749 27175628800 45840 33554432000 4194304 4196468 140720407565744 140720407548288 139634680495863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
/proc/32094/statm: 6634675 45840 3184 1 0 6621909 0
[pid=32094/tid=32095] ppid=32092 vsize=26538700 memory=280331308056240 CPUtime=0.66 cores=0-7
/proc/32094/task/32095/stat : 32095 (java) S 32092 32092 30924 0 -1 1077944384 6815 0 0 0 62 4 0 0 20 0 28 0 114833749 27175628800 45840 33554432000 4194304 4196468 140720407565744 139634684736640 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32096] ppid=32092 vsize=26538700 memory=140165654029168 CPUtime=0 cores=0-7
/proc/32094/task/32096/stat : 32096 (java) S 32092 32092 30924 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 114833750 27175628800 45840 33554432000 4194304 4196468 140720407565744 139634633116048 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32097] ppid=32092 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32097/stat : 32097 (java) S 32092 32092 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 114833750 27175628800 45840 33554432000 4194304 4196468 140720407565744 139634632063248 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32098] ppid=32092 vsize=26538700 memory=10928 CPUtime=0 cores=0-7
/proc/32094/task/32098/stat : 32098 (java) S 32092 32092 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 114833750 27175628800 45840 33554432000 4194304 4196468 140720407565744 139634631010960 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
################
# More data... #
################
[pid=32094/tid=32103] ppid=32092 vsize=26538700 memory=4572432629712724375 CPUtime=0 cores=0-7
/proc/32094/task/32103/stat : 32103 (java) S 32092 32092 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 114833750 27175628800 45899 33554432000 4194304 4196468 140720407565744 139634625747984 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32104] ppid=32092 vsize=26538700 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/32094/task/32104/stat : 32104 (java) S 32092 32092 30924 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 114833752 27175628800 45899 33554432000 4194304 4196468 140720407565744 139633221142640 139634680507010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32105] ppid=32092 vsize=26538700 memory=164 CPUtime=0 cores=0-7
/proc/32094/task/32105/stat : 32105 (java) S 32092 32092 30924 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 114833752 27175628800 45899 33554432000 4194304 4196468 140720407565744 139633220088608 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32106] ppid=32092 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32106/stat : 32106 (java) S 32092 32092 30924 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 114833752 27175628800 45899 33554432000 4194304 4196468 140720407565744 139633219036272 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32107] ppid=32092 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32107/stat : 32107 (java) S 32092 32092 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 114833755 27175628800 45899 33554432000 4194304 4196468 140720407565744 139633217984592 139634680514459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32108] ppid=32092 vsize=26538700 memory=0 CPUtime=0.19 cores=0-7
/proc/32094/task/32108/stat : 32108 (java) R 32092 32092 30924 0 -1 4202560 1294 0 0 0 19 0 0 0 20 0 28 0 114833755 27175628800 45899 33554432000 4194304 4196468 140720407565744 139633216932464 139634658512880 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32109] ppid=32092 vsize=26538700 memory=0 CPUtime=0.23 cores=0-7
/proc/32094/task/32109/stat : 32109 (java) R 32092 32092 30924 0 -1 1077944384 981 0 0 0 23 0 0 0 20 0 28 0 114833755 27175628800 45899 33554432000 4194304 4196468 140720407565744 139633215879664 139634680507010 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32110] ppid=32092 vsize=26538700 memory=0 CPUtime=0.21 cores=0-7
/proc/32094/task/32110/stat : 32110 (java) R 32092 32092 30924 0 -1 4202560 952 0 0 0 21 0 0 0 20 0 28 0 114833755 27175628800 45899 33554432000 4194304 4196468 140720407565744 139633214808784 139634663906664 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32111] ppid=32092 vsize=26538700 memory=0 CPUtime=0.26 cores=0-7
/proc/32094/task/32111/stat : 32111 (java) S 32092 32092 30924 0 -1 1077944384 1147 0 0 0 26 0 0 0 20 0 28 0 114833755 27175628800 45899 33554432000 4194304 4196468 140720407565744 139633213774576 139634680507010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32112] ppid=32092 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32112/stat : 32112 (java) S 32092 32092 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 114833755 27175628800 45899 33554432000 4194304 4196468 140720407565744 139632406686048 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32113] ppid=32092 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32113/stat : 32113 (java) S 32092 32092 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 114833755 27175628800 45899 33554432000 4194304 4196468 140720407565744 139632405633328 139634680507010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
Current children cumulated CPU time: 2.28 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 184980 KiB
[startup+1.00092 s]*
/proc/loadavg: 4.76 6.74 5.59 10/209 32121
/proc/meminfo: memFree=31356176/32770624 swapFree=67108860/67108860
[pid=32092] ppid=32089 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32092/stat : 32092 (xcsp3-exec) S 32089 32092 30924 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114833749 9740288 346 33554432000 4194304 5098028 140734202415808 140734202413912 139914983580284 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24612864 140734202418277 140734202418487 140734202418487 140734202421227 0
/proc/32092/statm: 2378 346 289 221 0 87 0
[pid=32094] ppid=32092 vsize=26538700 memory=184208 CPUtime=3.92 cores=0-7
/proc/32094/stat : 32094 (java) S 32092 32092 30924 0 -1 1077944320 12974 0 0 0 384 8 0 0 20 0 28 0 114833749 27175628800 46052 33554432000 4194304 4196468 140720407565744 140720407548288 139634680495863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
/proc/32094/statm: 6634675 46052 3197 1 0 6621909 0
[pid=32094/tid=32095] ppid=32092 vsize=26538700 memory=0 CPUtime=0.66 cores=0-7
/proc/32094/task/32095/stat : 32095 (java) S 32092 32092 30924 0 -1 1077944384 6815 0 0 0 62 4 0 0 20 0 28 0 114833749 27175628800 46052 33554432000 4194304 4196468 140720407565744 139634684736640 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32096] ppid=32092 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32096/stat : 32096 (java) S 32092 32092 30924 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 114833750 27175628800 46052 33554432000 4194304 4196468 140720407565744 139634633116048 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32097] ppid=32092 vsize=26538700 memory=280331460791664 CPUtime=0 cores=0-7
/proc/32094/task/32097/stat : 32097 (java) S 32092 32092 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 114833750 27175628800 46052 33554432000 4194304 4196468 140720407565744 139634632063248 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32098] ppid=32092 vsize=26538700 memory=-1 CPUtime=0 cores=0-7
/proc/32094/task/32098/stat : 32098 (java) S 32092 32092 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 114833750 27175628800 46052 33554432000 4194304 4196468 140720407565744 139634631010960 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32099] ppid=32092 vsize=26538700 memory=7881981390957337245 CPUtime=0 cores=0-7
/proc/32094/task/32099/stat : 32099 (java) S 32092 32092 30924 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 114833750 27175628800 46052 33554432000 4194304 4196468 140720407565744 139634629958160 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32100] ppid=32092 vsize=26538700 memory=7162531440177276259 CPUtime=0 cores=0-7
/proc/32094/task/32100/stat : 32100 (java) S 32092 32092 30924 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 114833750 27175628800 46052 33554432000 4194304 4196468 140720407565744 139634628905872 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32101] ppid=32092 vsize=26538700 memory=3905523804517969951 CPUtime=0 cores=0-7
/proc/32094/task/32101/stat : 32101 (java) S 32092 32092 30924 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 114833750 27175628800 46052 33554432000 4194304 4196468 140720407565744 139634627853072 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32102] ppid=32092 vsize=26538700 memory=8318255677412212789 CPUtime=0 cores=0-7
/proc/32094/task/32102/stat : 32102 (java) S 32092 32092 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 114833750 27175628800 46052 33554432000 4194304 4196468 140720407565744 139634626800784 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32103] ppid=32092 vsize=26538700 memory=303711711247204705 CPUtime=0 cores=0-7
/proc/32094/task/32103/stat : 32103 (java) S 32092 32092 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 114833750 27175628800 46052 33554432000 4194304 4196468 140720407565744 139634625747984 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32104] ppid=32092 vsize=26538700 memory=288230376152200434 CPUtime=0 cores=0-7
/proc/32094/task/32104/stat : 32104 (java) S 32092 32092 30924 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 114833752 27175628800 46052 33554432000 4194304 4196468 140720407565744 139633221142640 139634680507010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32105] ppid=32092 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32105/stat : 32105 (java) S 32092 32092 30924 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 114833752 27175628800 46052 33554432000 4194304 4196468 140720407565744 139633220088608 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32106] ppid=32092 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32106/stat : 32106 (java) S 32092 32092 30924 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 114833752 27175628800 46052 33554432000 4194304 4196468 140720407565744 139633219036272 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32107] ppid=32092 vsize=26538700 memory=20516 CPUtime=0 cores=0-7
/proc/32094/task/32107/stat : 32107 (java) S 32092 32092 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 114833755 27175628800 46052 33554432000 4194304 4196468 140720407565744 139633217984592 139634680514459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32108] ppid=32092 vsize=26538700 memory=0 CPUtime=0.27 cores=0-7
/proc/32094/task/32108/stat : 32108 (java) S 32092 32092 30924 0 -1 1077944384 1346 0 0 0 27 0 0 0 20 0 28 0 114833755 27175628800 46052 33554432000 4194304 4196468 140720407565744 139633216932464 139634680507010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32109] ppid=32092 vsize=26538700 memory=0 CPUtime=0.3 cores=0-7
/proc/32094/task/32109/stat : 32109 (java) S 32092 32092 30924 0 -1 1077944384 1002 0 0 0 30 0 0 0 20 0 28 0 114833755 27175628800 46052 33554432000 4194304 4196468 140720407565744 139633215879664 139634680507010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32110] ppid=32092 vsize=26538700 memory=0 CPUtime=0.28 cores=0-7
/proc/32094/task/32110/stat : 32110 (java) S 32092 32092 30924 0 -1 1077944384 970 0 0 0 28 0 0 0 20 0 28 0 114833755 27175628800 46052 33554432000 4194304 4196468 140720407565744 139633214827376 139634680507010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32111] ppid=32092 vsize=26538700 memory=0 CPUtime=0.28 cores=0-7
/proc/32094/task/32111/stat : 32111 (java) S 32092 32092 30924 0 -1 1077944384 1178 0 0 0 28 0 0 0 20 0 28 0 114833755 27175628800 46052 33554432000 4194304 4196468 140720407565744 139633213774576 139634680507010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32112] ppid=32092 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32112/stat : 32112 (java) S 32092 32092 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 114833755 27175628800 46052 33554432000 4194304 4196468 140720407565744 139632406686048 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32113] ppid=32092 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32113/stat : 32113 (java) S 32092 32092 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 114833755 27175628800 46052 33554432000 4194304 4196468 140720407565744 139632405633328 139634680507010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32114] ppid=32092 vsize=26538700 memory=0 CPUtime=0.29 cores=0-7
/proc/32094/task/32114/stat : 32114 (java) R 32092 32092 30924 0 -1 4202560 65 0 0 0 29 0 0 0 20 0 28 0 114833819 27175628800 46052 33554432000 4194304 4196468 140720407565744 139632398119808 139634306138332 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32115] ppid=32092 vsize=26538700 memory=0 CPUtime=0.28 cores=0-7
/proc/32094/task/32115/stat : 32115 (java) R 32092 32092 30924 0 -1 4202560 37 0 0 0 28 0 0 0 20 0 28 0 114833819 27175628800 46052 33554432000 4194304 4196468 140720407565744 139632397069336 139634306138265 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32116] ppid=32092 vsize=26538700 memory=140170101999231 CPUtime=0.29 cores=0-7
/proc/32094/task/32116/stat : 32116 (java) R 32092 32092 30924 0 -1 4202560 44 0 0 0 29 0 0 0 20 0 28 0 114833819 27175628800 46052 33554432000 4194304 4196468 140720407565744 139632396013080 139634306138287 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32117] ppid=32092 vsize=26538700 memory=0 CPUtime=0.22 cores=0-7
/proc/32094/task/32117/stat : 32117 (java) R 32092 32092 30924 0 -1 4202560 34 0 0 0 22 0 0 0 20 0 28 0 114833819 27175628800 46052 33554432000 4194304 4196468 140720407565744 139632394963320 139634306197474 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32118] ppid=32092 vsize=26538700 memory=0 CPUtime=0.25 cores=0-7
/proc/32094/task/32118/stat : 32118 (java) R 32092 32092 30924 0 -1 4202560 35 0 0 0 25 0 0 0 20 0 28 0 114833819 27175628800 46052 33554432000 4194304 4196468 140720407565744 139632393907704 139634306138265 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32119] ppid=32092 vsize=26538700 memory=0 CPUtime=0.22 cores=0-7
/proc/32094/task/32119/stat : 32119 (java) R 32092 32092 30924 0 -1 4202560 33 0 0 0 22 0 0 0 20 0 28 0 114833819 27175628800 46052 33554432000 4194304 4196468 140720407565744 139632392855816 139634306375699 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32120] ppid=32092 vsize=26538700 memory=0 CPUtime=0.22 cores=0-7
/proc/32094/task/32120/stat : 32120 (java) R 32092 32092 30924 0 -1 4202560 28 0 0 0 22 0 0 0 20 0 28 0 114833819 27175628800 46052 33554432000 4194304 4196468 140720407565744 139632391805392 139634306375803 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32121] ppid=32092 vsize=26538700 memory=0 CPUtime=0.25 cores=0-7
/proc/32094/task/32121/stat : 32121 (java) R 32092 32092 30924 0 -1 4202560 29 0 0 0 25 0 0 0 20 0 28 0 114833819 27175628800 46052 33554432000 4194304 4196468 140720407565744 139632390748832 139634306138260 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
Current children cumulated CPU time: 3.92 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 185592 KiB
[startup+1.11049 s]
/proc/loadavg: 4.76 6.74 5.59 10/209 32121
/proc/meminfo: memFree=31356176/32770624 swapFree=67108860/67108860
[pid=32092] ppid=32089 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32092/stat : 32092 (xcsp3-exec) S 32089 32092 30924 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114833749 9740288 346 33554432000 4194304 5098028 140734202415808 140734202413912 139914983580284 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24612864 140734202418277 140734202418487 140734202418487 140734202421227 0
/proc/32092/statm: 2378 346 289 221 0 87 0
[pid=32094] ppid=32092 vsize=26538700 memory=184244 CPUtime=4.67 cores=0-7
/proc/32094/stat : 32094 (java) S 32092 32092 30924 0 -1 1077944320 12994 0 0 0 459 8 0 0 20 0 28 0 114833749 27175628800 46061 33554432000 4194304 4196468 140720407565744 140720407548288 139634680495863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
/proc/32094/statm: 6634675 46061 3197 1 0 6621909 0
[pid=32094/tid=32095] ppid=32092 vsize=26538700 memory=0 CPUtime=0.66 cores=0-7
/proc/32094/task/32095/stat : 32095 (java) S 32092 32092 30924 0 -1 1077944384 6815 0 0 0 62 4 0 0 20 0 28 0 114833749 27175628800 46061 33554432000 4194304 4196468 140720407565744 139634684736640 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32096] ppid=32092 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32096/stat : 32096 (java) S 32092 32092 30924 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 114833750 27175628800 46061 33554432000 4194304 4196468 140720407565744 139634633116048 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32097] ppid=32092 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32097/stat : 32097 (java) S 32092 32092 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 114833750 27175628800 46061 33554432000 4194304 4196468 140720407565744 139634632063248 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32098] ppid=32092 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/32094/task/32098/stat : 32098 (java) S 32092 32092 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 114833750 27175628800 46061 33554432000 4194304 4196468 140720407565744 139634631010960 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32099] ppid=32092 vsize=26538700 memory=183360 CPUtime=0 cores=0-7
/proc/32094/task/32099/stat : 32099 (java) S 32092 32092 30924 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 114833750 27175628800 46061 33554432000 4194304 4196468 140720407565744 139634629958160 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32100] ppid=32092 vsize=26538700 memory=280331308056240 CPUtime=0 cores=0-7
/proc/32094/task/32100/stat : 32100 (java) S 32092 32092 30924 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 114833750 27175628800 46061 33554432000 4194304 4196468 140720407565744 139634628905872 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32101] ppid=32092 vsize=26538700 memory=140165654029168 CPUtime=0 cores=0-7
/proc/32094/task/32101/stat : 32101 (java) S 32092 32092 30924 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 114833750 27175628800 46061 33554432000 4194304 4196468 140720407565744 139634627853072 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32102] ppid=32092 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32102/stat : 32102 (java) S 32092 32092 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 114833750 27175628800 46061 33554432000 4194304 4196468 140720407565744 139634626800784 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32103] ppid=32092 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32094/task/32103/stat : 32103 (java) S 32092 32092 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 114833750 27175628800 46061 33554432000 4194304 4196468 140720407565744 139634625747984 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32104] ppid=32092 vsize=26538700 memory=137834090527432 CPUtime=0 cores=0-7
/proc/32094/task/32104/stat : 32104 (java) S 32092 32092 30924 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 114833752 27175628800 46061 33554432000 4194304 4196468 140720407565744 139633221142640 139634680507010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32105] ppid=32092 vsize=26538700 memory=137834090527433 CPUtime=0 cores=0-7
/proc/32094/task/32105/stat : 32105 (java) S 32092 32092 30924 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 114833752 27175628800 46061 33554432000 4194304 4196468 140720407565744 139633220088608 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32106] ppid=32092 vsize=26538700 memory=137834090527434 CPUtime=0 cores=0-7
/proc/32094/task/32106/stat : 32106 (java) S 32092 32092 30924 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 114833752 27175628800 46061 33554432000 4194304 4196468 140720407565744 139633219036272 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32107] ppid=32092 vsize=26538700 memory=137834090527435 CPUtime=0 cores=0-7
/proc/32094/task/32107/stat : 32107 (java) S 32092 32092 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 114833755 27175628800 46061 33554432000 4194304 4196468 140720407565744 139633217984592 139634680514459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32108] ppid=32092 vsize=26538700 memory=137834090527436 CPUtime=0.29 cores=0-7
/proc/32094/task/32108/stat : 32108 (java) S 32092 32092 30924 0 -1 1077944384 1349 0 0 0 29 0 0 0 20 0 28 0 114833755 27175628800 46061 33554432000 4194304 4196468 140720407565744 139633216932464 139634680507010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32109] ppid=32092 vsize=26538700 memory=137834090527437 CPUtime=0.34 cores=0-7
/proc/32094/task/32109/stat : 32109 (java) S 32092 32092 30924 0 -1 1077944384 1010 0 0 0 34 0 0 0 20 0 28 0 114833755 27175628800 46061 33554432000 4194304 4196468 140720407565744 139633215879664 139634680507010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32110] ppid=32092 vsize=26538700 memory=10928 CPUtime=0.29 cores=0-7
/proc/32094/task/32110/stat : 32110 (java) S 32092 32092 30924 0 -1 1077944384 971 0 0 0 29 0 0 0 20 0 28 0 114833755 27175628800 46061 33554432000 4194304 4196468 140720407565744 139633214827376 139634680507010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32111] ppid=32092 vsize=26538700 memory=796 CPUtime=0.28 cores=0-7
/proc/32094/task/32111/stat : 32111 (java) S 32092 32092 30924 0 -1 1077944384 1183 0 0 0 28 0 0 0 20 0 28 0 114833755 27175628800 46061 33554432000 4194304 4196468 140720407565744 139633213774576 139634680507010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32112] ppid=32092 vsize=26538700 memory=1424 CPUtime=0 cores=0-7
/proc/32094/task/32112/stat : 32112 (java) S 32092 32092 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 114833755 27175628800 46061 33554432000 4194304 4196468 140720407565744 139632406686048 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32113] ppid=32092 vsize=26538700 memory=15872 CPUtime=0 cores=0-7
/proc/32094/task/32113/stat : 32113 (java) S 32092 32092 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 114833755 27175628800 46061 33554432000 4194304 4196468 140720407565744 139632405633328 139634680507010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32114] ppid=32092 vsize=26538700 memory=4052 CPUtime=0.38 cores=0-7
/proc/32094/task/32114/stat : 32114 (java) S 32092 32092 30924 0 -1 1077944384 65 0 0 0 38 0 0 0 20 0 28 0 114833819 27175628800 46061 33554432000 4194304 4196468 140720407565744 139632398122720 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32115] ppid=32092 vsize=26538700 memory=19036 CPUtime=0.37 cores=0-7
/proc/32094/task/32115/stat : 32115 (java) S 32092 32092 30924 0 -1 1077944384 37 0 0 0 37 0 0 0 20 0 28 0 114833819 27175628800 46061 33554432000 4194304 4196468 140720407565744 139632397071312 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32116] ppid=32092 vsize=26538700 memory=18444 CPUtime=0.33 cores=0-7
/proc/32094/task/32116/stat : 32116 (java) S 32092 32092 30924 0 -1 1077944384 46 0 0 0 33 0 0 0 20 0 28 0 114833819 27175628800 46061 33554432000 4194304 4196468 140720407565744 139632396019024 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32117] ppid=32092 vsize=26538700 memory=1788 CPUtime=0.32 cores=0-7
/proc/32094/task/32117/stat : 32117 (java) R 32092 32092 30924 0 -1 4202560 34 0 0 0 32 0 0 0 20 0 28 0 114833819 27175628800 46061 33554432000 4194304 4196468 140720407565744 139632394962472 139634306374921 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32118] ppid=32092 vsize=26538700 memory=640 CPUtime=0.34 cores=0-7
/proc/32094/task/32118/stat : 32118 (java) S 32092 32092 30924 0 -1 1077944384 36 0 0 0 34 0 0 0 20 0 28 0 114833819 27175628800 46061 33554432000 4194304 4196468 140720407565744 139632393913936 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32119] ppid=32092 vsize=26538700 memory=952 CPUtime=0.31 cores=0-7
/proc/32094/task/32119/stat : 32119 (java) R 32092 32092 30924 0 -1 4202560 33 0 0 0 31 0 0 0 20 0 28 0 114833819 27175628800 46061 33554432000 4194304 4196468 140720407565744 139632392858112 139634306197505 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32120] ppid=32092 vsize=26538700 memory=22244 CPUtime=0.3 cores=0-7
/proc/32094/task/32120/stat : 32120 (java) S 32092 32092 30924 0 -1 1077944384 28 0 0 0 30 0 0 0 20 0 28 0 114833819 27175628800 46061 33554432000 4194304 4196468 140720407565744 139632391807824 139634680506069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
[pid=32094/tid=32121] ppid=32092 vsize=26538700 memory=56 CPUtime=0.35 cores=0-7
/proc/32094/task/32121/stat : 32121 (java) R 32092 32092 30924 0 -1 4202560 29 0 0 0 35 0 0 0 20 0 28 0 114833819 27175628800 46061 33554432000 4194304 4196468 140720407565744 139632390749040 139634306450744 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8515584 140720407569554 140720407569731 140720407569731 140720407572431 0
Current children cumulated CPU time: 4.67 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 185628 KiB
Child status: 0
Real time (s): 1.15286
CPU time (s): 4.77325
CPU user time (s): 4.68566
CPU system time (s): 0.087598
CPU usage (%): 414.036
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 185628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.68565
system time used= 0.087598
maximum resident set size= 185776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13569
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2540
involuntary context switches= 99
# summary of solver processes directly reported to runsolver:
# pid: 32092
# total CPU time (s): 4.77325
# total CPU user time (s): 4.68566
# total CPU system time (s): 0.087598
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037095 second user time and 0.047416 second system time
The end
Begin job on node115 at 2017-08-15 19:03:22
IDJOB=4270911
IDBENCH=138759
IDSOLVER=2662
FILE ID=node115/4270911-1502817461
RUNJOBID= node115-1502815183-30951
PBS_JOBID= 20629824
Free space on /tmp= 61824 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Domino/Domino-m1-s1/Domino-100-300.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-4270911-1502817461/watcher-4270911-1502817461 -o /tmp/evaluation-result-4270911-1502817461/solver-4270911-1502817461 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1502815183-30951 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 263286424 HOME/instance-4270911-1502817461.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 3788e9c2f49b3f59f660c6492b6c4c4d
RANDOM SEED=263286424
node115.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.69
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.69
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.69
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.69
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: 31528332 kB
MemAvailable: 31983332 kB
Buffers: 190392 kB
Cached: 551420 kB
SwapCached: 0 kB
Active: 543408 kB
Inactive: 254440 kB
Active(anon): 4328 kB
Inactive(anon): 79412 kB
Active(file): 539080 kB
Inactive(file): 175028 kB
Unevictable: 6188 kB
Mlocked: 6188 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 8224 kB
Writeback: 0 kB
AnonPages: 71808 kB
Mapped: 45952 kB
Shmem: 25224 kB
Slab: 139688 kB
SReclaimable: 113452 kB
SUnreclaim: 26236 kB
KernelStack: 3552 kB
PageTables: 5536 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 323440 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 105856 kB
DirectMap2M: 33439744 kB
Free space on /tmp at the end= 61816 MiB
End job on node115 at 2017-08-15 19:03:23