Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 41 | 89.7186 | 12.6846 |
Name | PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-25-5-5-0.xml |
MD5SUM | 297e7ff3843a631e244fdcc6d730e090 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 41 |
Best CPU time to get the best result obtained on this benchmark | 34.5009 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 75 |
Number of constraints | 101 |
Number of domains | 24 |
Minimum domain size | 4 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":4,"count":12},{"size":5,"count":7},{"size":6,"count":6},{"size":26,"count":50}] |
Minimum variable degree | 2 |
Maximum variable degree | 28 |
Distribution of variable degrees | [{"degree":2,"count":25},{"degree":26,"count":24},{"degree":27,"count":1},{"degree":28,"count":25}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 26 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":50},{"arity":25,"count":25},{"arity":26,"count":25}] |
Number of extensional constraints | 50 |
Number of intensional constraints | 26 |
Distribution of constraint types | [{"type":"extension","count":50},{"type":"intension","count":26},{"type":"count","count":25}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407112-1569351696.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407112-1569351696.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 5.09/1.97 c solve instance... 5.36/2.09 o -1000 18.59/3.70 o -963 20.17/3.99 o -959 21.83/4.15 o 27 24.08/4.42 o 29 24.08/4.42 o 32 27.21/4.80 o 41 89.14/12.67 s OPTIMUM FOUND 89.14/12.67 v <instantiation> 89.14/12.67 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] g[20] g[21] g[22] g[23] g[24] </list> 89.14/12.67 v <values>5 0 1 2 3 6 7 12 9 4 15 10 11 8 13 16 17 18 19 14 -1 -1 -1 -1 -1 0 19 18 17 16 1 2 3 14 15 6 5 4 13 12 7 8 9 10 11 -1 -1 -1 -1 -1 -3 -4 6 6 -2 0 -3 -6 6 1 0 3 7 5 7 3 3 6 4 2 0 0 0 0 0 </values> 89.14/12.67 v </instantiation>
OK 41
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 (13800 MiB free) memory of node 1: 16384 MiB (11315 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407112-1569351696/watcher-4407112-1569351696 -o /tmp/evaluation-result-4407112-1569351696/solver-4407112-1569351696 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569349242-16448 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1340964528 HOME/instance-4407112-1569351696.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=17875, runsolver pid=17872 Current StackSize limit: 8192 KiB [startup+0.100135 s]* /proc/loadavg: 7.21 7.40 7.51 2/212 17896 /proc/meminfo: memFree=25700040/32770624 swapFree=66959708/67108860 [pid=17875] ppid=17872 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17875/stat : 17875 (xcsp3-exec) S 17872 17875 16421 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511438449 115843072 363 33554432000 4194304 5098028 140734871121664 140734871119768 140265991639676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25759744 140734871126901 140734871127145 140734871127145 140734871130058 0 /proc/17875/statm: 28282 363 304 221 0 87 0 [pid=17877] ppid=17875 vsize=28227396 memory=29956 CPUtime=0.12 cores=0-7 /proc/17877/stat : 17877 (java) S 17875 17875 16421 0 -1 1077944320 5965 0 0 0 11 1 0 0 20 0 20 0 511438449 28904853504 7489 33554432000 4194304 4196468 140733612066688 140733612049232 140550773055223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 /proc/17877/statm: 7056849 7489 3123 1 0 7019032 0 [pid=17877/tid=17878] ppid=17875 vsize=28227396 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/17877/task/17878/stat : 17878 (java) R 17875 17875 16421 0 -1 4202560 3882 0 0 0 8 0 0 0 20 0 20 0 511438449 28904853504 7489 33554432000 4194304 4196468 140733612066688 140550777287136 140550758748689 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17879] ppid=17875 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17879/stat : 17879 (java) S 17875 17875 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511438450 28904853504 7489 33554432000 4194304 4196468 140733612066688 140550725675536 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17880] ppid=17875 vsize=28227396 memory=139879701545453 CPUtime=0 cores=0-7 /proc/17877/task/17880/stat : 17880 (java) S 17875 17875 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511438450 28904853504 7489 33554432000 4194304 4196468 140733612066688 140550323690128 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17881] ppid=17875 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17881/stat : 17881 (java) S 17875 17875 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511438450 28904853504 7489 33554432000 4194304 4196468 140733612066688 140550322637072 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17882] ppid=17875 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17882/stat : 17882 (java) S 17875 17875 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511438450 28904853504 7489 33554432000 4194304 4196468 140733612066688 140550321584528 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17883] ppid=17875 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17883/stat : 17883 (java) S 17875 17875 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511438450 28904853504 7489 33554432000 4194304 4196468 140733612066688 140550320532496 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17884] ppid=17875 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17877/task/17884/stat : 17884 (java) S 17875 17875 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511438450 28904853504 7489 33554432000 4194304 4196468 140733612066688 140550319479952 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17885] ppid=17875 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17885/stat : 17885 (java) S 17875 17875 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511438450 28904853504 7489 33554432000 4194304 4196468 140733612066688 140550318426896 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17886] ppid=17875 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17886/stat : 17886 (java) S 17875 17875 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511438450 28904853504 7489 33554432000 4194304 4196468 140733612066688 140550317374352 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17887] ppid=17875 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17887/stat : 17887 (java) S 17875 17875 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511438452 28904853504 7489 33554432000 4194304 4196468 140733612066688 140549102188784 140550773066370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17888] ppid=17875 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17888/stat : 17888 (java) S 17875 17875 16421 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511438452 28904853504 7489 33554432000 4194304 4196468 140733612066688 140549101135008 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17889] ppid=17875 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17889/stat : 17889 (java) S 17875 17875 16421 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511438452 28904853504 7489 33554432000 4194304 4196468 140733612066688 140549100081904 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17890] ppid=17875 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17890/stat : 17890 (java) S 17875 17875 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511438455 28904853504 7489 33554432000 4194304 4196468 140733612066688 140549099030480 140550773073819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17891] ppid=17875 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17891/stat : 17891 (java) S 17875 17875 16421 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 511438455 28904853504 7489 33554432000 4194304 4196468 140733612066688 140549097978608 140550773066370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17892] ppid=17875 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17892/stat : 17892 (java) S 17875 17875 16421 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 511438455 28904853504 7489 33554432000 4194304 4196468 140733612066688 140549096926064 140550773066370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17893] ppid=17875 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17893/stat : 17893 (java) S 17875 17875 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511438455 28904853504 7489 33554432000 4194304 4196468 140733612066688 140549095873008 140550773066370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17894] ppid=17875 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/17877/task/17894/stat : 17894 (java) R 17875 17875 16421 0 -1 4202560 349 0 0 0 2 0 0 0 20 0 20 0 511438455 28904853504 7489 33554432000 4194304 4196468 140733612066688 140549094820464 140550773076570 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17895] ppid=17875 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17895/stat : 17895 (java) S 17875 17875 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511438455 28904853504 7489 33554432000 4194304 4196468 140733612066688 140549093767648 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17896] ppid=17875 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17877/task/17896/stat : 17896 (java) S 17875 17875 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511438455 28904853504 7489 33554432000 4194304 4196468 140733612066688 140549092715184 140550773066370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31408 KiB [startup+0.21069 s]* /proc/loadavg: 7.21 7.40 7.51 4/212 17896 /proc/meminfo: memFree=25688464/32770624 swapFree=66959708/67108860 [pid=17875] ppid=17872 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17875/stat : 17875 (xcsp3-exec) S 17872 17875 16421 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511438449 115843072 363 33554432000 4194304 5098028 140734871121664 140734871119768 140265991639676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25759744 140734871126901 140734871127145 140734871127145 140734871130058 0 /proc/17875/statm: 28282 363 304 221 0 87 0 [pid=17877] ppid=17875 vsize=28227396 memory=41264 CPUtime=0.34 cores=0-7 /proc/17877/stat : 17877 (java) S 17875 17875 16421 0 -1 1077944320 9532 0 0 0 31 3 0 0 20 0 20 0 511438449 28904853504 10316 33554432000 4194304 4196468 140733612066688 140733612049232 140550773055223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 /proc/17877/statm: 7056849 10316 3307 1 0 7019032 0 [pid=17877/tid=17878] ppid=17875 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/17877/task/17878/stat : 17878 (java) R 17875 17875 16421 0 -1 4202560 6705 0 0 0 18 2 0 0 20 0 20 0 511438449 28904853504 10316 33554432000 4194304 4196468 140733612066688 140550777293760 140550773067158 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17879] ppid=17875 vsize=28227396 memory=288230609019732336 CPUtime=0 cores=0-7 /proc/17877/task/17879/stat : 17879 (java) S 17875 17875 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511438450 28904853504 10316 33554432000 4194304 4196468 140733612066688 140550725675536 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17880] ppid=17875 vsize=28227396 memory=3546496120584013472 CPUtime=0 cores=0-7 /proc/17877/task/17880/stat : 17880 (java) S 17875 17875 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511438450 28904853504 10316 33554432000 4194304 4196468 140733612066688 140550323690128 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17881] ppid=17875 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17877/task/17881/stat : 17881 (java) S 17875 17875 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511438450 28904853504 10316 33554432000 4194304 4196468 140733612066688 140550322637072 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17882] ppid=17875 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17882/stat : 17882 (java) S 17875 17875 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511438450 28904853504 10316 33554432000 4194304 4196468 140733612066688 140550321584528 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17883] ppid=17875 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17883/stat : 17883 (java) S 17875 17875 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511438450 28904853504 10316 33554432000 4194304 4196468 140733612066688 140550320532496 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17884] ppid=17875 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17877/task/17884/stat : 17884 (java) S 17875 17875 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511438450 28904853504 10316 33554432000 4194304 4196468 140733612066688 140550319479952 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17885] ppid=17875 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17885/stat : 17885 (java) S 17875 17875 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511438450 28904853504 10316 33554432000 4194304 4196468 140733612066688 140550318426896 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17886] ppid=17875 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17886/stat : 17886 (java) S 17875 17875 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511438450 28904853504 10316 33554432000 4194304 4196468 140733612066688 140550317374352 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17887] ppid=17875 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17887/stat : 17887 (java) S 17875 17875 16421 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511438452 28904853504 10316 33554432000 4194304 4196468 140733612066688 140549102188784 140550773066370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17888] ppid=17875 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17888/stat : 17888 (java) S 17875 17875 16421 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511438452 28904853504 10316 33554432000 4194304 4196468 140733612066688 140549101135008 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17889] ppid=17875 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17889/stat : 17889 (java) S 17875 17875 16421 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511438452 28904853504 10316 33554432000 4194304 4196468 140733612066688 140549100081904 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17890] ppid=17875 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17890/stat : 17890 (java) S 17875 17875 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511438455 28904853504 10316 33554432000 4194304 4196468 140733612066688 140549099030480 140550773073819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17891] ppid=17875 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/17877/task/17891/stat : 17891 (java) S 17875 17875 16421 0 -1 1077944384 351 0 0 0 1 0 0 0 20 0 20 0 511438455 28904853504 10316 33554432000 4194304 4196468 140733612066688 140549097978608 140550773066370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17892] ppid=17875 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/17877/task/17892/stat : 17892 (java) S 17875 17875 16421 0 -1 1077944384 246 0 0 0 1 0 0 0 20 0 20 0 511438455 28904853504 10316 33554432000 4194304 4196468 140733612066688 140549096926064 140550773066370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17893] ppid=17875 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/17877/task/17893/stat : 17893 (java) S 17875 17875 16421 0 -1 1077944384 172 0 0 0 1 0 0 0 20 0 20 0 511438455 28904853504 10316 33554432000 4194304 4196468 140733612066688 140549095873008 140550773066370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17894] ppid=17875 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7 /proc/17877/task/17894/stat : 17894 (java) R 17875 17875 16421 0 -1 4202560 744 0 0 0 8 0 0 0 20 0 20 0 511438455 28904853504 10316 33554432000 4194304 4196468 140733612066688 140549094820464 140550773067158 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17895] ppid=17875 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17895/stat : 17895 (java) S 17875 17875 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511438455 28904853504 10316 33554432000 4194304 4196468 140733612066688 140549093767648 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17896] ppid=17875 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17877/task/17896/stat : 17896 (java) S 17875 17875 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511438455 28904853504 10316 33554432000 4194304 4196468 140733612066688 140549092715184 140550773066370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42716 KiB [startup+0.312952 s]* /proc/loadavg: 7.21 7.40 7.51 4/212 17896 /proc/meminfo: memFree=25682488/32770624 swapFree=66959708/67108860 [pid=17875] ppid=17872 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17875/stat : 17875 (xcsp3-exec) S 17872 17875 16421 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511438449 115843072 363 33554432000 4194304 5098028 140734871121664 140734871119768 140265991639676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25759744 140734871126901 140734871127145 140734871127145 140734871130058 0 /proc/17875/statm: 28282 363 304 221 0 87 0 [pid=17877] ppid=17875 vsize=28231652 memory=50108 CPUtime=0.52 cores=0-7 /proc/17877/stat : 17877 (java) S 17875 17875 16421 0 -1 1077944320 10897 0 0 0 48 4 0 0 20 0 20 0 511438449 28909211648 12527 33554432000 4194304 4196468 140733612066688 140733612049232 140550773055223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 /proc/17877/statm: 7057913 12527 3361 1 0 7019032 0 [pid=17877/tid=17878] ppid=17875 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/17877/task/17878/stat : 17878 (java) R 17875 17875 16421 0 -1 4202560 7810 0 0 0 27 2 0 0 20 0 20 0 511438449 28909211648 12527 33554432000 4194304 4196468 140733612066688 140550777289008 140550757135710 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17879] ppid=17875 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17879/stat : 17879 (java) S 17875 17875 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511438450 28909211648 12527 33554432000 4194304 4196468 140733612066688 140550725675536 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17880] ppid=17875 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17880/stat : 17880 (java) S 17875 17875 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511438450 28909211648 12527 33554432000 4194304 4196468 140733612066688 140550323690128 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17881] ppid=17875 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17881/stat : 17881 (java) S 17875 17875 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511438450 28909211648 12527 33554432000 4194304 4196468 140733612066688 140550322637072 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17882] ppid=17875 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17882/stat : 17882 (java) S 17875 17875 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511438450 28909211648 12527 33554432000 4194304 4196468 140733612066688 140550321584528 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17883] ppid=17875 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17883/stat : 17883 (java) S 17875 17875 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511438450 28909211648 12527 33554432000 4194304 4196468 140733612066688 140550320532496 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17884] ppid=17875 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17884/stat : 17884 (java) S 17875 17875 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511438450 28909211648 12527 33554432000 4194304 4196468 140733612066688 140550319479952 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17885] ppid=17875 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17885/stat : 17885 (java) S 17875 17875 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511438450 28909211648 12527 33554432000 4194304 4196468 140733612066688 140550318426896 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17886] ppid=17875 vsize=28231652 memory=6872598998417432672 CPUtime=0 cores=0-7 /proc/17877/task/17886/stat : 17886 (java) S 17875 17875 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511438450 28909211648 12527 33554432000 4194304 4196468 140733612066688 140550317374352 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17887] ppid=17875 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17887/stat : 17887 (java) S 17875 17875 16421 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511438452 28909211648 12527 33554432000 4194304 4196468 140733612066688 140549102188784 140550773066370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17888] ppid=17875 vsize=28231652 memory=279759137480064 CPUtime=0 cores=0-7 /proc/17877/task/17888/stat : 17888 (java) S 17875 17875 16421 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511438452 28909211648 12527 33554432000 4194304 4196468 140733612066688 140549101135008 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17889] ppid=17875 vsize=28231652 memory=279759137484672 CPUtime=0 cores=0-7 /proc/17877/task/17889/stat : 17889 (java) S 17875 17875 16421 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511438452 28909211648 12527 33554432000 4194304 4196468 140733612066688 140549100081904 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17890] ppid=17875 vsize=28231652 memory=279759137489280 CPUtime=0 cores=0-7 /proc/17877/task/17890/stat : 17890 (java) S 17875 17875 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511438455 28909211648 12527 33554432000 4194304 4196468 140733612066688 140549099030480 140550773073819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17891] ppid=17875 vsize=28231652 memory=279759137493888 CPUtime=0.02 cores=0-7 /proc/17877/task/17891/stat : 17891 (java) S 17875 17875 16421 0 -1 1077944384 359 0 0 0 2 0 0 0 20 0 20 0 511438455 28909211648 12527 33554432000 4194304 4196468 140733612066688 140549097978608 140550773066370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17892] ppid=17875 vsize=28231652 memory=279759137498496 CPUtime=0.02 cores=0-7 /proc/17877/task/17892/stat : 17892 (java) R 17875 17875 16421 0 -1 4202560 369 0 0 0 2 0 0 0 20 0 20 0 511438455 28909211648 12556 33554432000 4194304 4196468 140733612066688 140549096925248 140550773076570 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17893] ppid=17875 vsize=28231652 memory=279759137503104 CPUtime=0.03 cores=0-7 /proc/17877/task/17893/stat : 17893 (java) S 17875 17875 16421 0 -1 1077944384 209 0 0 0 3 0 0 0 20 0 20 0 511438455 28909211648 12556 33554432000 4194304 4196468 140733612066688 140549095873008 140550773066370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17894] ppid=17875 vsize=28231652 memory=279759137507712 CPUtime=0.12 cores=0-7 /proc/17877/task/17894/stat : 17894 (java) S 17875 17875 16421 0 -1 1077944384 841 0 0 0 12 0 0 0 20 0 20 0 511438455 28909211648 12556 33554432000 4194304 4196468 140733612066688 140549094820464 140550773066370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17895] ppid=17875 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17895/stat : 17895 (java) S 17875 17875 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511438455 28909211648 12556 33554432000 4194304 4196468 140733612066688 140549093767648 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17896] ppid=17875 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/17877/task/17896/stat : 17896 (java) S 17875 17875 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511438455 28909211648 12556 33554432000 4194304 4196468 140733612066688 140549092715184 140550773066370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51560 KiB [startup+0.701004 s] /proc/loadavg: 7.21 7.40 7.51 5/212 17896 /proc/meminfo: memFree=25649484/32770624 swapFree=66959708/67108860 [pid=17875] ppid=17872 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17875/stat : 17875 (xcsp3-exec) S 17872 17875 16421 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511438449 115843072 363 33554432000 4194304 5098028 140734871121664 140734871119768 140265991639676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25759744 140734871126901 140734871127145 140734871127145 140734871130058 0 /proc/17875/statm: 28282 363 304 221 0 87 0 [pid=17877] ppid=17875 vsize=28233776 memory=118812 CPUtime=1.9 cores=0-7 /proc/17877/stat : 17877 (java) S 17875 17875 16421 0 -1 1077944320 15777 0 0 0 183 7 0 0 20 0 20 0 511438449 28911386624 29703 33554432000 4194304 4196468 140733612066688 140733612049232 140550773055223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 /proc/17877/statm: 7058444 29703 3442 1 0 7019544 0 [pid=17877/tid=17878] ppid=17875 vsize=28233776 memory=4580 CPUtime=0.67 cores=0-7 /proc/17877/task/17878/stat : 17878 (java) R 17875 17875 16421 0 -1 4202560 9134 0 0 0 63 4 0 0 20 0 20 0 511438449 28911386624 29703 33554432000 4194304 4196468 140733612066688 140550777281472 140550773077149 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17879] ppid=17875 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17879/stat : 17879 (java) S 17875 17875 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511438450 28911386624 29703 33554432000 4194304 4196468 140733612066688 140550725675536 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17880] ppid=17875 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17880/stat : 17880 (java) S 17875 17875 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511438450 28911386624 29703 33554432000 4194304 4196468 140733612066688 140550323690128 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17881] ppid=17875 vsize=28233776 memory=1188 CPUtime=0 cores=0-7 /proc/17877/task/17881/stat : 17881 (java) S 17875 17875 16421 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511438450 28911386624 29703 33554432000 4194304 4196468 140733612066688 140550322637072 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 ################ # More data... # ################ [pid=17877/tid=17894] ppid=17875 vsize=28768336 memory=-5587106306044206369 CPUtime=0.88 cores=0-7 /proc/17877/task/17894/stat : 17894 (java) S 17875 17875 16421 0 -1 1077944384 6438 0 0 0 87 1 0 0 20 0 28 0 511438455 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549094820464 140550773066370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17895] ppid=17875 vsize=28768336 memory=8128038100524242582 CPUtime=0 cores=0-7 /proc/17877/task/17895/stat : 17895 (java) S 17875 17875 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511438455 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549093767648 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17896] ppid=17875 vsize=28768336 memory=-7522837582236181595 CPUtime=0 cores=0-7 /proc/17877/task/17896/stat : 17896 (java) S 17875 17875 16421 0 -1 1077944384 521 0 0 0 0 0 0 0 20 0 28 0 511438455 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549092715184 140550773066370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17953] ppid=17875 vsize=28768336 memory=4137282616176384387 CPUtime=6.99 cores=0-7 /proc/17877/task/17953/stat : 17953 (java) R 17875 17875 16421 0 -1 4202560 239 0 0 0 699 0 0 0 20 0 28 0 511438929 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549079529840 140550413264594 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17954] ppid=17875 vsize=28768336 memory=0 CPUtime=7.04 cores=0-7 /proc/17877/task/17954/stat : 17954 (java) R 17875 17875 16421 0 -1 4202560 73 0 0 0 704 0 0 0 20 0 28 0 511438929 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549077425648 140550413264438 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17955] ppid=17875 vsize=28768336 memory=0 CPUtime=7.07 cores=0-7 /proc/17877/task/17955/stat : 17955 (java) R 17875 17875 16421 0 -1 4202560 200 0 0 0 707 0 0 0 20 0 28 0 511438929 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549080584552 140550413657968 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17956] ppid=17875 vsize=28768336 memory=0 CPUtime=6.97 cores=0-7 /proc/17877/task/17956/stat : 17956 (java) R 17875 17875 16421 0 -1 4202560 479 0 0 0 697 0 0 0 20 0 28 0 511438929 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549081637352 140550413264714 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17957] ppid=17875 vsize=28768336 memory=0 CPUtime=6.94 cores=0-7 /proc/17877/task/17957/stat : 17957 (java) R 17875 17875 16421 0 -1 4202560 269 0 0 0 694 0 0 0 20 0 28 0 511438929 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549076373608 140550413264576 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17958] ppid=17875 vsize=28768336 memory=0 CPUtime=7.12 cores=0-7 /proc/17877/task/17958/stat : 17958 (java) R 17875 17875 16421 0 -1 4202560 252 0 0 0 712 0 0 0 20 0 28 0 511438929 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549075323416 140550413264719 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17959] ppid=17875 vsize=28768336 memory=3760822589630723640 CPUtime=7.06 cores=0-7 /proc/17877/task/17959/stat : 17959 (java) R 17875 17875 16421 0 -1 4202560 256 0 0 0 706 0 0 0 20 0 28 0 511438929 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549078478472 140550413264538 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17960] ppid=17875 vsize=28768336 memory=4639948313719891052 CPUtime=7.08 cores=0-7 /proc/17877/task/17960/stat : 17960 (java) R 17875 17875 16421 0 -1 4202560 102 0 0 0 708 0 0 0 20 0 28 0 511438929 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549074268136 140550413264546 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 Current children cumulated CPU time: 84.42 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 434316 KiB [startup+12.4018 s] /proc/loadavg: 7.64 7.48 7.54 10/221 17982 /proc/meminfo: memFree=25298464/32770624 swapFree=66959708/67108860 [pid=17875] ppid=17872 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17875/stat : 17875 (xcsp3-exec) S 17872 17875 16421 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511438449 115843072 363 33554432000 4194304 5098028 140734871121664 140734871119768 140265991639676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25759744 140734871126901 140734871127145 140734871127145 140734871130058 0 /proc/17875/statm: 28282 363 304 221 0 87 0 [pid=17877] ppid=17875 vsize=28768336 memory=432864 CPUtime=87.54 cores=0-7 /proc/17877/stat : 17877 (java) S 17875 17875 16421 0 -1 1077944320 41181 0 0 0 8706 48 0 0 20 0 28 0 511438449 29458776064 108216 33554432000 4194304 4196468 140733612066688 140733612049232 140550773055223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 /proc/17877/statm: 7192084 108216 3524 1 0 7153184 0 [pid=17877/tid=17878] ppid=17875 vsize=28768336 memory=1412 CPUtime=1.9 cores=0-7 /proc/17877/task/17878/stat : 17878 (java) S 17875 17875 16421 0 -1 1077944384 9836 0 0 0 182 8 0 0 20 0 28 0 511438449 29458776064 108216 33554432000 4194304 4196468 140733612066688 140550777296000 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17879] ppid=17875 vsize=28768336 memory=2828 CPUtime=0.06 cores=0-7 /proc/17877/task/17879/stat : 17879 (java) S 17875 17875 16421 0 -1 1077944384 103 0 0 0 4 2 0 0 20 0 28 0 511438450 29458776064 108216 33554432000 4194304 4196468 140733612066688 140550725675536 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17880] ppid=17875 vsize=28768336 memory=4100 CPUtime=0.03 cores=0-7 /proc/17877/task/17880/stat : 17880 (java) S 17875 17875 16421 0 -1 1077944384 35 0 0 0 2 1 0 0 20 0 28 0 511438450 29458776064 108216 33554432000 4194304 4196468 140733612066688 140550323690128 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17881] ppid=17875 vsize=28768336 memory=1804 CPUtime=0.05 cores=0-7 /proc/17877/task/17881/stat : 17881 (java) S 17875 17875 16421 0 -1 1077944384 89 0 0 0 2 3 0 0 20 0 28 0 511438450 29458776064 108216 33554432000 4194304 4196468 140733612066688 140550322637072 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17882] ppid=17875 vsize=28768336 memory=916 CPUtime=0.03 cores=0-7 /proc/17877/task/17882/stat : 17882 (java) S 17875 17875 16421 0 -1 1077944384 84 0 0 0 1 2 0 0 20 0 28 0 511438450 29458776064 108216 33554432000 4194304 4196468 140733612066688 140550321584528 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17883] ppid=17875 vsize=28768336 memory=4416 CPUtime=0.06 cores=0-7 /proc/17877/task/17883/stat : 17883 (java) S 17875 17875 16421 0 -1 1077944384 95 0 0 0 3 3 0 0 20 0 28 0 511438450 29458776064 108216 33554432000 4194304 4196468 140733612066688 140550320532496 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17884] ppid=17875 vsize=28768336 memory=1412 CPUtime=0.06 cores=0-7 /proc/17877/task/17884/stat : 17884 (java) S 17875 17875 16421 0 -1 1077944384 107 0 0 0 4 2 0 0 20 0 28 0 511438450 29458776064 108216 33554432000 4194304 4196468 140733612066688 140550319479952 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17885] ppid=17875 vsize=28768336 memory=2908 CPUtime=0.06 cores=0-7 /proc/17877/task/17885/stat : 17885 (java) S 17875 17875 16421 0 -1 1077944384 104 0 0 0 4 2 0 0 20 0 28 0 511438450 29458776064 108216 33554432000 4194304 4196468 140733612066688 140550318426896 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17886] ppid=17875 vsize=28768336 memory=1452 CPUtime=0.05 cores=0-7 /proc/17877/task/17886/stat : 17886 (java) S 17875 17875 16421 0 -1 1077944384 84 0 0 0 2 3 0 0 20 0 28 0 511438450 29458776064 108216 33554432000 4194304 4196468 140733612066688 140550317374352 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17887] ppid=17875 vsize=28768336 memory=432740 CPUtime=0.01 cores=0-7 /proc/17877/task/17887/stat : 17887 (java) S 17875 17875 16421 0 -1 1077944384 381 0 0 0 1 0 0 0 20 0 28 0 511438452 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549102188784 140550773066370 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17888] ppid=17875 vsize=28768336 memory=1768 CPUtime=0 cores=0-7 /proc/17877/task/17888/stat : 17888 (java) S 17875 17875 16421 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 511438452 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549101135072 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17889] ppid=17875 vsize=28768336 memory=1398722017469774279 CPUtime=0 cores=0-7 /proc/17877/task/17889/stat : 17889 (java) S 17875 17875 16421 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 511438452 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549100081920 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17890] ppid=17875 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17890/stat : 17890 (java) S 17875 17875 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511438455 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549099030480 140550773073819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17891] ppid=17875 vsize=28768336 memory=0 CPUtime=2.07 cores=0-7 /proc/17877/task/17891/stat : 17891 (java) S 17875 17875 16421 0 -1 1077944384 4936 0 0 0 205 2 0 0 20 0 28 0 511438455 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549097978608 140550773066370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17892] ppid=17875 vsize=28768336 memory=0 CPUtime=1.99 cores=0-7 /proc/17877/task/17892/stat : 17892 (java) R 17875 17875 16421 0 -1 1077944384 6416 0 0 0 198 1 0 0 20 0 28 0 511438455 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549096919088 140550773065429 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17893] ppid=17875 vsize=28768336 memory=0 CPUtime=1.76 cores=0-7 /proc/17877/task/17893/stat : 17893 (java) S 17875 17875 16421 0 -1 1077944384 6319 0 0 0 174 2 0 0 20 0 28 0 511438455 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549095873008 140550773066370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17894] ppid=17875 vsize=28768336 memory=0 CPUtime=0.89 cores=0-7 /proc/17877/task/17894/stat : 17894 (java) S 17875 17875 16421 0 -1 1077944384 6711 0 0 0 87 2 0 0 20 0 28 0 511438455 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549094820464 140550773066370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17895] ppid=17875 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17895/stat : 17895 (java) S 17875 17875 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511438455 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549093767648 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17896] ppid=17875 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17896/stat : 17896 (java) S 17875 17875 16421 0 -1 1077944384 523 0 0 0 0 0 0 0 20 0 28 0 511438455 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549092715184 140550773066370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17953] ppid=17875 vsize=28768336 memory=0 CPUtime=7.37 cores=0-7 /proc/17877/task/17953/stat : 17953 (java) R 17875 17875 16421 0 -1 4202560 247 0 0 0 737 0 0 0 20 0 28 0 511438929 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549079529976 140550413264812 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17954] ppid=17875 vsize=28768336 memory=0 CPUtime=7.42 cores=0-7 /proc/17877/task/17954/stat : 17954 (java) R 17875 17875 16421 0 -1 4202560 73 0 0 0 742 0 0 0 20 0 28 0 511438929 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549077425648 140550413264354 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17955] ppid=17875 vsize=28768336 memory=0 CPUtime=7.46 cores=0-7 /proc/17877/task/17955/stat : 17955 (java) R 17875 17875 16421 0 -1 4202560 200 0 0 0 746 0 0 0 20 0 28 0 511438929 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549080584552 140550413264443 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17956] ppid=17875 vsize=28768336 memory=0 CPUtime=7.36 cores=0-7 /proc/17877/task/17956/stat : 17956 (java) R 17875 17875 16421 0 -1 4202560 479 0 0 0 736 0 0 0 20 0 28 0 511438929 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549081637352 140550413264526 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17957] ppid=17875 vsize=28768336 memory=2209 CPUtime=7.32 cores=0-7 /proc/17877/task/17957/stat : 17957 (java) R 17875 17875 16421 0 -1 4202560 366 0 0 0 732 0 0 0 20 0 28 0 511438929 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549076373608 140550413264812 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17958] ppid=17875 vsize=28768336 memory=0 CPUtime=7.51 cores=0-7 /proc/17877/task/17958/stat : 17958 (java) R 17875 17875 16421 0 -1 4202560 253 0 0 0 751 0 0 0 20 0 28 0 511438929 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549075323416 140550413264719 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17959] ppid=17875 vsize=28768336 memory=0 CPUtime=7.45 cores=0-7 /proc/17877/task/17959/stat : 17959 (java) R 17875 17875 16421 0 -1 4202560 302 0 0 0 745 0 0 0 20 0 28 0 511438929 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549078481240 140550413264719 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17960] ppid=17875 vsize=28768336 memory=0 CPUtime=7.48 cores=0-7 /proc/17877/task/17960/stat : 17960 (java) R 17875 17875 16421 0 -1 4202560 102 0 0 0 748 0 0 0 20 0 28 0 511438929 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549074268136 140550413264556 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 Current children cumulated CPU time: 87.54 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 434316 KiB [startup+12.6018 s] /proc/loadavg: 7.64 7.48 7.54 10/221 17982 /proc/meminfo: memFree=25298464/32770624 swapFree=66959708/67108860 [pid=17875] ppid=17872 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17875/stat : 17875 (xcsp3-exec) S 17872 17875 16421 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511438449 115843072 363 33554432000 4194304 5098028 140734871121664 140734871119768 140265991639676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25759744 140734871126901 140734871127145 140734871127145 140734871130058 0 /proc/17875/statm: 28282 363 304 221 0 87 0 [pid=17877] ppid=17875 vsize=28768336 memory=432864 CPUtime=89.14 cores=0-7 /proc/17877/stat : 17877 (java) S 17875 17875 16421 0 -1 1077944320 41288 0 0 0 8866 48 0 0 20 0 28 0 511438449 29458776064 108216 33554432000 4194304 4196468 140733612066688 140733612049232 140550773055223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 /proc/17877/statm: 7192084 108216 3524 1 0 7153184 0 [pid=17877/tid=17878] ppid=17875 vsize=28768336 memory=0 CPUtime=1.9 cores=0-7 /proc/17877/task/17878/stat : 17878 (java) S 17875 17875 16421 0 -1 1077944384 9836 0 0 0 182 8 0 0 20 0 28 0 511438449 29458776064 108216 33554432000 4194304 4196468 140733612066688 140550777296000 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17879] ppid=17875 vsize=28768336 memory=0 CPUtime=0.06 cores=0-7 /proc/17877/task/17879/stat : 17879 (java) S 17875 17875 16421 0 -1 1077944384 103 0 0 0 4 2 0 0 20 0 28 0 511438450 29458776064 108216 33554432000 4194304 4196468 140733612066688 140550725675536 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17880] ppid=17875 vsize=28768336 memory=0 CPUtime=0.03 cores=0-7 /proc/17877/task/17880/stat : 17880 (java) S 17875 17875 16421 0 -1 1077944384 35 0 0 0 2 1 0 0 20 0 28 0 511438450 29458776064 108216 33554432000 4194304 4196468 140733612066688 140550323690128 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17881] ppid=17875 vsize=28768336 memory=0 CPUtime=0.05 cores=0-7 /proc/17877/task/17881/stat : 17881 (java) S 17875 17875 16421 0 -1 1077944384 89 0 0 0 2 3 0 0 20 0 28 0 511438450 29458776064 108216 33554432000 4194304 4196468 140733612066688 140550322637072 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17882] ppid=17875 vsize=28768336 memory=0 CPUtime=0.03 cores=0-7 /proc/17877/task/17882/stat : 17882 (java) S 17875 17875 16421 0 -1 1077944384 84 0 0 0 1 2 0 0 20 0 28 0 511438450 29458776064 108216 33554432000 4194304 4196468 140733612066688 140550321584528 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17883] ppid=17875 vsize=28768336 memory=0 CPUtime=0.06 cores=0-7 /proc/17877/task/17883/stat : 17883 (java) S 17875 17875 16421 0 -1 1077944384 95 0 0 0 3 3 0 0 20 0 28 0 511438450 29458776064 108216 33554432000 4194304 4196468 140733612066688 140550320532496 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17884] ppid=17875 vsize=28768336 memory=0 CPUtime=0.06 cores=0-7 /proc/17877/task/17884/stat : 17884 (java) S 17875 17875 16421 0 -1 1077944384 107 0 0 0 4 2 0 0 20 0 28 0 511438450 29458776064 108216 33554432000 4194304 4196468 140733612066688 140550319479952 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17885] ppid=17875 vsize=28768336 memory=0 CPUtime=0.06 cores=0-7 /proc/17877/task/17885/stat : 17885 (java) S 17875 17875 16421 0 -1 1077944384 104 0 0 0 4 2 0 0 20 0 28 0 511438450 29458776064 108216 33554432000 4194304 4196468 140733612066688 140550318426896 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17886] ppid=17875 vsize=28768336 memory=0 CPUtime=0.05 cores=0-7 /proc/17877/task/17886/stat : 17886 (java) S 17875 17875 16421 0 -1 1077944384 84 0 0 0 2 3 0 0 20 0 28 0 511438450 29458776064 108216 33554432000 4194304 4196468 140733612066688 140550317374352 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17887] ppid=17875 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/17877/task/17887/stat : 17887 (java) S 17875 17875 16421 0 -1 1077944384 381 0 0 0 1 0 0 0 20 0 28 0 511438452 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549102188784 140550773066370 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17888] ppid=17875 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17888/stat : 17888 (java) S 17875 17875 16421 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 511438452 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549101135072 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17889] ppid=17875 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/17877/task/17889/stat : 17889 (java) S 17875 17875 16421 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 511438452 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549100081920 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17890] ppid=17875 vsize=28768336 memory=4951091520899161460 CPUtime=0 cores=0-7 /proc/17877/task/17890/stat : 17890 (java) S 17875 17875 16421 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511438455 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549099030480 140550773073819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17891] ppid=17875 vsize=28768336 memory=-7739291840220455296 CPUtime=2.07 cores=0-7 /proc/17877/task/17891/stat : 17891 (java) S 17875 17875 16421 0 -1 1077944384 4936 0 0 0 205 2 0 0 20 0 28 0 511438455 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549097978608 140550773066370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17892] ppid=17875 vsize=28768336 memory=-7533229591096565664 CPUtime=1.99 cores=0-7 /proc/17877/task/17892/stat : 17892 (java) S 17875 17875 16421 0 -1 1077944384 6523 0 0 0 198 1 0 0 20 0 28 0 511438455 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549096926064 140550773066370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17893] ppid=17875 vsize=28768336 memory=-7523660553960122769 CPUtime=1.76 cores=0-7 /proc/17877/task/17893/stat : 17893 (java) S 17875 17875 16421 0 -1 1077944384 6319 0 0 0 174 2 0 0 20 0 28 0 511438455 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549095873008 140550773066370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17894] ppid=17875 vsize=28768336 memory=-7606742959547834223 CPUtime=0.89 cores=0-7 /proc/17877/task/17894/stat : 17894 (java) S 17875 17875 16421 0 -1 1077944384 6711 0 0 0 87 2 0 0 20 0 28 0 511438455 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549094820464 140550773066370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17895] ppid=17875 vsize=28768336 memory=-2892745056951965031 CPUtime=0 cores=0-7 /proc/17877/task/17895/stat : 17895 (java) S 17875 17875 16421 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511438455 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549093767648 140550773065429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17896] ppid=17875 vsize=28768336 memory=6944656592455359545 CPUtime=0 cores=0-7 /proc/17877/task/17896/stat : 17896 (java) S 17875 17875 16421 0 -1 1077944384 523 0 0 0 0 0 0 0 20 0 28 0 511438455 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549092715184 140550773066370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17953] ppid=17875 vsize=28768336 memory=6944656592455097440 CPUtime=7.57 cores=0-7 /proc/17877/task/17953/stat : 17953 (java) R 17875 17875 16421 0 -1 4202560 247 0 0 0 757 0 0 0 20 0 28 0 511438929 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549079529976 140550413264719 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17954] ppid=17875 vsize=28768336 memory=6944652177228980320 CPUtime=7.62 cores=0-7 /proc/17877/task/17954/stat : 17954 (java) R 17875 17875 16421 0 -1 4202560 73 0 0 0 762 0 0 0 20 0 28 0 511438929 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549077425648 140550413264775 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17955] ppid=17875 vsize=28768336 memory=6656426216303648864 CPUtime=7.66 cores=0-7 /proc/17877/task/17955/stat : 17955 (java) R 17875 17875 16421 0 -1 4202560 200 0 0 0 766 0 0 0 20 0 28 0 511438929 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549080584552 140550413550020 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17956] ppid=17875 vsize=28768336 memory=6944656592387989600 CPUtime=7.56 cores=0-7 /proc/17877/task/17956/stat : 17956 (java) R 17875 17875 16421 0 -1 4202560 479 0 0 0 756 0 0 0 20 0 28 0 511438929 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549081637352 140550413550120 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17957] ppid=17875 vsize=28768336 memory=-7522837415797432224 CPUtime=7.52 cores=0-7 /proc/17877/task/17957/stat : 17957 (java) R 17875 17875 16421 0 -1 4202560 366 0 0 0 752 0 0 0 20 0 28 0 511438929 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549076373608 140550413264492 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17958] ppid=17875 vsize=28768336 memory=7682475212697334586 CPUtime=7.71 cores=0-7 /proc/17877/task/17958/stat : 17958 (java) R 17875 17875 16421 0 -1 4202560 253 0 0 0 771 0 0 0 20 0 28 0 511438929 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549075323416 140550413264526 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17959] ppid=17875 vsize=28768336 memory=0 CPUtime=7.65 cores=0-7 /proc/17877/task/17959/stat : 17959 (java) R 17875 17875 16421 0 -1 4202560 302 0 0 0 765 0 0 0 20 0 28 0 511438929 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549078481240 140550413264812 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 [pid=17877/tid=17960] ppid=17875 vsize=28768336 memory=0 CPUtime=7.68 cores=0-7 /proc/17877/task/17960/stat : 17960 (java) R 17875 17875 16421 0 -1 4202560 102 0 0 0 768 0 0 0 20 0 28 0 511438929 29458776064 108216 33554432000 4194304 4196468 140733612066688 140549074268136 140550413264594 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31154176 140733612073962 140733612074134 140733612074134 140733612077007 0 Current children cumulated CPU time: 89.14 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 434316 KiB Child status: 0 Real time (s): 12.6846 CPU time (s): 89.7186 CPU user time (s): 89.2176 CPU system time (s): 0.500998 CPU usage (%): 707.302 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 434316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 89.2176 system time used= 0.500998 maximum resident set size= 432864 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42639 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5576 involuntary context switches= 1870 # summary of solver processes directly reported to runsolver: # pid: 17875 # total CPU time (s): 89.7186 # total CPU user time (s): 89.2176 # total CPU system time (s): 0.500998 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.129277 second user time and 0.188857 second system time The end
Begin job on node127 at 2019-09-24 21:00:56 IDJOB=4407112 IDBENCH=128018 IDSOLVER=2871 FILE ID=node127/4407112-1569351696 RUNJOBID= node127-1569349242-16448 PBS_JOBID= 21705087 Free space on /tmp= 35920 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-25-5-5-0.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4407112-1569351696/watcher-4407112-1569351696 -o /tmp/evaluation-result-4407112-1569351696/solver-4407112-1569351696 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569349242-16448 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1340964528 HOME/instance-4407112-1569351696.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 297e7ff3843a631e244fdcc6d730e090 RANDOM SEED=1340964528 node127.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.55 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.55 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.55 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.55 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: 25718344 kB MemAvailable: 31796648 kB Buffers: 89296 kB Cached: 6189200 kB SwapCached: 44644 kB Active: 3062844 kB Inactive: 3268112 kB Active(anon): 3968 kB Inactive(anon): 105944 kB Active(file): 3058876 kB Inactive(file): 3162168 kB Unevictable: 107788 kB Mlocked: 107788 kB SwapTotal: 67108860 kB SwapFree: 66959708 kB Dirty: 27088 kB Writeback: 0 kB AnonPages: 124408 kB Mapped: 57844 kB Shmem: 49032 kB Slab: 314724 kB SReclaimable: 285720 kB SUnreclaim: 29004 kB KernelStack: 3728 kB PageTables: 6180 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514956 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 77824 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 35896 MiB End job on node127 at 2019-09-24 21:01:09