Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-20 parallel | SAT | 212.107 | 27.4532 |
Name | Primes/ Primes-m1-p20/Primes-20-60-3-5.xml |
MD5SUM | 0dd1a305ead2bfc8d563708a38f33655 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 27.4678 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 60 |
Number of domains | 1 |
Minimum domain size | 70 |
Maximum domain size | 70 |
Distribution of domain sizes | [{"size":70,"count":99}] |
Minimum variable degree | 0 |
Maximum variable degree | 8 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":14},{"degree":2,"count":13},{"degree":3,"count":22},{"degree":4,"count":24},{"degree":5,"count":17},{"degree":6,"count":6},{"degree":7,"count":2},{"degree":8,"count":1}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 8 |
Distribution of constraint arities | [{"arity":3,"count":5},{"arity":4,"count":10},{"arity":5,"count":15},{"arity":6,"count":8},{"arity":7,"count":9},{"arity":8,"count":13}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":60}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404435-1569002124.xml" -tl '20160s' -p 8 0.12/0.20 c Choco 3fb4b153 0.12/0.20 c [HOME/instance-4404435-1569002124.xml, -tl, 20160s, -p, 8] 0.34/0.25 c 8 solvers in parallel 0.34/0.32 c parse instance... 2.33/1.04 c solve instance... 211.79/27.44 s SATISFIABLE 211.79/27.44 v <instantiation> 211.79/27.44 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[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> 211.79/27.44 v <values>7 46 61 53 43 53 17 41 29 3 5 19 31 71 7 17 2 17 41 59 30 23 19 29 5 31 5 7 19 53 29 5 5 67 29 19 43 59 37 5 29 43 3 71 11 61 67 11 53 31 43 17 37 2 59 43 5 31 59 3 13 13 11 19 59 13 17 29 43 61 11 53 5 13 47 19 47 7 31 19 23 59 67 23 11 7 37 47 71 41 49 52 23 71 41 17 17 47 71 </values> 211.79/27.44 v </instantiation>
OK
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: 16375 MiB (12358 MiB free) memory of node 1: 16384 MiB (12377 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404435-1569002124/watcher-4404435-1569002124 -o /tmp/evaluation-result-4404435-1569002124/solver-4404435-1569002124 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324510577-22426 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 874772427 HOME/instance-4404435-1569002124.xml running on 8 cores: 0-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=24584, runsolver pid=24581 Current StackSize limit: 8192 KiB [startup+0.100112 s]* /proc/loadavg: 6.85 8.07 8.27 2/212 24605 /proc/meminfo: memFree=25313816/32770688 swapFree=66927236/67108860 [pid=24584] ppid=24581 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24584/stat : 24584 (xcsp3-exec) S 24581 24584 22399 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476218612 115843072 363 33554432000 4194304 5098028 140731175189680 140731175187784 139639449268860 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9342976 140731175191414 140731175191657 140731175191657 140731175194570 0 /proc/24584/statm: 28282 363 305 221 0 87 0 [pid=24586] ppid=24584 vsize=28227396 memory=28792 CPUtime=0.12 cores=0-7 /proc/24586/stat : 24586 (java) S 24584 24584 22399 0 -1 1077944320 5666 0 0 0 11 1 0 0 20 0 20 0 476218613 28904853504 7198 33554432000 4194304 4196468 140720865470544 140720865453088 140497258712823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 /proc/24586/statm: 7056849 7198 3122 1 0 7019032 0 [pid=24586/tid=24587] ppid=24584 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/24586/task/24587/stat : 24587 (java) R 24584 24584 22399 0 -1 4202560 3580 0 0 0 8 0 0 0 20 0 20 0 476218613 28904853504 7198 33554432000 4194304 4196468 140720865470544 140497262947880 140497242793310 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24588] ppid=24584 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/24586/task/24588/stat : 24588 (java) S 24584 24584 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476218614 28904853504 7198 33554432000 4194304 4196468 140720865470544 140497178565520 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24589] ppid=24584 vsize=28227396 memory=140701187475072 CPUtime=0 cores=0-7 /proc/24586/task/24589/stat : 24589 (java) S 24584 24584 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476218614 28904853504 7198 33554432000 4194304 4196468 140720865470544 140497177512720 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24590] ppid=24584 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24590/stat : 24590 (java) S 24584 24584 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476218614 28904853504 7198 33554432000 4194304 4196468 140720865470544 140497176460432 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24591] ppid=24584 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24591/stat : 24591 (java) S 24584 24584 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476218614 28904853504 7198 33554432000 4194304 4196468 140720865470544 140497175407632 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24592] ppid=24584 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24592/stat : 24592 (java) S 24584 24584 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476218614 28904853504 7198 33554432000 4194304 4196468 140720865470544 140497174354320 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24593] ppid=24584 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/24586/task/24593/stat : 24593 (java) S 24584 24584 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476218614 28904853504 7198 33554432000 4194304 4196468 140720865470544 140497173301520 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24594] ppid=24584 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24594/stat : 24594 (java) S 24584 24584 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476218614 28904853504 7198 33554432000 4194304 4196468 140720865470544 140496803584656 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24595] ppid=24584 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24595/stat : 24595 (java) S 24584 24584 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476218614 28904853504 7198 33554432000 4194304 4196468 140720865470544 140496802531856 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24596] ppid=24584 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24596/stat : 24596 (java) S 24584 24584 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476218615 28904853504 7198 33554432000 4194304 4196468 140720865470544 140496643119728 140497258723970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24597] ppid=24584 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24597/stat : 24597 (java) S 24584 24584 22399 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476218616 28904853504 7198 33554432000 4194304 4196468 140720865470544 140496642065696 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24598] ppid=24584 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24598/stat : 24598 (java) S 24584 24584 22399 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476218616 28904853504 7198 33554432000 4194304 4196468 140720865470544 140496641013360 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24599] ppid=24584 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24599/stat : 24599 (java) S 24584 24584 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476218619 28904853504 7198 33554432000 4194304 4196468 140720865470544 140496639961680 140497258731419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24600] ppid=24584 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24600/stat : 24600 (java) S 24584 24584 22399 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 476218619 28904853504 7198 33554432000 4194304 4196468 140720865470544 140496638908528 140497258723970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24601] ppid=24584 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24601/stat : 24601 (java) S 24584 24584 22399 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 476218619 28904853504 7198 33554432000 4194304 4196468 140720865470544 140496637855728 140497258723970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24602] ppid=24584 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24602/stat : 24602 (java) S 24584 24584 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476218619 28904853504 7198 33554432000 4194304 4196468 140720865470544 140496636803440 140497258723970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24603] ppid=24584 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/24586/task/24603/stat : 24603 (java) S 24584 24584 22399 0 -1 1077944384 354 0 0 0 1 0 0 0 20 0 20 0 476218619 28904853504 7198 33554432000 4194304 4196468 140720865470544 140496635750640 140497258723970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24604] ppid=24584 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24604/stat : 24604 (java) S 24584 24584 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476218619 28904853504 7198 33554432000 4194304 4196468 140720865470544 140496299092832 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24605] ppid=24584 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/24586/task/24605/stat : 24605 (java) S 24584 24584 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476218619 28904853504 7198 33554432000 4194304 4196468 140720865470544 140496298040112 140497258723970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30244 KiB [startup+0.211291 s]* /proc/loadavg: 6.85 8.07 8.27 3/212 24605 /proc/meminfo: memFree=25300428/32770688 swapFree=66927236/67108860 [pid=24584] ppid=24581 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24584/stat : 24584 (xcsp3-exec) S 24581 24584 22399 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476218612 115843072 363 33554432000 4194304 5098028 140731175189680 140731175187784 139639449268860 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9342976 140731175191414 140731175191657 140731175191657 140731175194570 0 /proc/24584/statm: 28282 363 305 221 0 87 0 [pid=24586] ppid=24584 vsize=28227396 memory=40460 CPUtime=0.34 cores=0-7 /proc/24586/stat : 24586 (java) S 24584 24584 22399 0 -1 1077944320 9314 0 0 0 31 3 0 0 20 0 20 0 476218613 28904853504 10115 33554432000 4194304 4196468 140720865470544 140720865453088 140497258712823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 /proc/24586/statm: 7056849 10115 3296 1 0 7019032 0 [pid=24586/tid=24587] ppid=24584 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/24586/task/24587/stat : 24587 (java) R 24584 24584 22399 0 -1 4202560 6560 0 0 0 18 2 0 0 20 0 20 0 476218613 28904853504 10115 33554432000 4194304 4196468 140720865470544 140497262932160 140497242793310 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24588] ppid=24584 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/24586/task/24588/stat : 24588 (java) S 24584 24584 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476218614 28904853504 10115 33554432000 4194304 4196468 140720865470544 140497178565520 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24589] ppid=24584 vsize=28227396 memory=4123244645453956768 CPUtime=0 cores=0-7 /proc/24586/task/24589/stat : 24589 (java) S 24584 24584 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476218614 28904853504 10115 33554432000 4194304 4196468 140720865470544 140497177512720 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24590] ppid=24584 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/24586/task/24590/stat : 24590 (java) S 24584 24584 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476218614 28904853504 10115 33554432000 4194304 4196468 140720865470544 140497176460432 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24591] ppid=24584 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24591/stat : 24591 (java) S 24584 24584 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476218614 28904853504 10115 33554432000 4194304 4196468 140720865470544 140497175407632 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24592] ppid=24584 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24592/stat : 24592 (java) S 24584 24584 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476218614 28904853504 10115 33554432000 4194304 4196468 140720865470544 140497174354320 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24593] ppid=24584 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/24586/task/24593/stat : 24593 (java) S 24584 24584 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476218614 28904853504 10115 33554432000 4194304 4196468 140720865470544 140497173301520 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24594] ppid=24584 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24594/stat : 24594 (java) S 24584 24584 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476218614 28904853504 10115 33554432000 4194304 4196468 140720865470544 140496803584656 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24595] ppid=24584 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24595/stat : 24595 (java) S 24584 24584 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476218614 28904853504 10115 33554432000 4194304 4196468 140720865470544 140496802531856 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24596] ppid=24584 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24596/stat : 24596 (java) S 24584 24584 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476218615 28904853504 10115 33554432000 4194304 4196468 140720865470544 140496643119728 140497258723970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24597] ppid=24584 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24597/stat : 24597 (java) S 24584 24584 22399 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476218616 28904853504 10115 33554432000 4194304 4196468 140720865470544 140496642065696 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24598] ppid=24584 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24598/stat : 24598 (java) S 24584 24584 22399 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476218616 28904853504 10115 33554432000 4194304 4196468 140720865470544 140496641013360 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24599] ppid=24584 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24599/stat : 24599 (java) S 24584 24584 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476218619 28904853504 10115 33554432000 4194304 4196468 140720865470544 140496639961680 140497258731419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24600] ppid=24584 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/24586/task/24600/stat : 24600 (java) S 24584 24584 22399 0 -1 1077944384 389 0 0 0 2 0 0 0 20 0 20 0 476218619 28904853504 10115 33554432000 4194304 4196468 140720865470544 140496638908528 140497258723970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24601] ppid=24584 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24601/stat : 24601 (java) S 24584 24584 22399 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 20 0 476218619 28904853504 10115 33554432000 4194304 4196468 140720865470544 140496637855728 140497258723970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24602] ppid=24584 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/24586/task/24602/stat : 24602 (java) S 24584 24584 22399 0 -1 1077944384 112 0 0 0 2 0 0 0 20 0 20 0 476218619 28904853504 10115 33554432000 4194304 4196468 140720865470544 140496636803440 140497258723970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24603] ppid=24584 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/24586/task/24603/stat : 24603 (java) S 24584 24584 22399 0 -1 1077944384 803 0 0 0 7 0 0 0 20 0 20 0 476218619 28904853504 10115 33554432000 4194304 4196468 140720865470544 140496635750640 140497258723970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24604] ppid=24584 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24604/stat : 24604 (java) S 24584 24584 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476218619 28904853504 10115 33554432000 4194304 4196468 140720865470544 140496299092832 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24605] ppid=24584 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/24586/task/24605/stat : 24605 (java) S 24584 24584 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476218619 28904853504 10115 33554432000 4194304 4196468 140720865470544 140496298040112 140497258723970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41912 KiB [startup+0.311022 s]* /proc/loadavg: 6.85 8.07 8.27 4/212 24605 /proc/meminfo: memFree=25295824/32770688 swapFree=66927236/67108860 [pid=24584] ppid=24581 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24584/stat : 24584 (xcsp3-exec) S 24581 24584 22399 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476218612 115843072 363 33554432000 4194304 5098028 140731175189680 140731175187784 139639449268860 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9342976 140731175191414 140731175191657 140731175191657 140731175194570 0 /proc/24584/statm: 28282 363 305 221 0 87 0 [pid=24586] ppid=24584 vsize=28231652 memory=46672 CPUtime=0.52 cores=0-7 /proc/24586/stat : 24586 (java) S 24584 24584 22399 0 -1 1077944320 10510 0 0 0 48 4 0 0 20 0 20 0 476218613 28909211648 11668 33554432000 4194304 4196468 140720865470544 140720865453088 140497258712823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 /proc/24586/statm: 7057913 11668 3350 1 0 7019032 0 [pid=24586/tid=24587] ppid=24584 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/24586/task/24587/stat : 24587 (java) R 24584 24584 22399 0 -1 4202560 7547 0 0 0 27 2 0 0 20 0 20 0 476218613 28909211648 11668 33554432000 4194304 4196468 140720865470544 140497262950048 140497242793310 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24588] ppid=24584 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24588/stat : 24588 (java) S 24584 24584 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476218614 28909211648 11668 33554432000 4194304 4196468 140720865470544 140497178565520 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24589] ppid=24584 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24589/stat : 24589 (java) S 24584 24584 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476218614 28909211648 11668 33554432000 4194304 4196468 140720865470544 140497177512720 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24590] ppid=24584 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24590/stat : 24590 (java) S 24584 24584 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476218614 28909211648 11668 33554432000 4194304 4196468 140720865470544 140497176460432 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24591] ppid=24584 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24591/stat : 24591 (java) S 24584 24584 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476218614 28909211648 11668 33554432000 4194304 4196468 140720865470544 140497175407632 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24592] ppid=24584 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24592/stat : 24592 (java) S 24584 24584 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476218614 28909211648 11668 33554432000 4194304 4196468 140720865470544 140497174354320 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24593] ppid=24584 vsize=28231652 memory=140701048335023 CPUtime=0 cores=0-7 /proc/24586/task/24593/stat : 24593 (java) S 24584 24584 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476218614 28909211648 11668 33554432000 4194304 4196468 140720865470544 140497173301520 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24594] ppid=24584 vsize=28231652 memory=140701048337328 CPUtime=0 cores=0-7 /proc/24586/task/24594/stat : 24594 (java) S 24584 24584 22399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476218614 28909211648 11668 33554432000 4194304 4196468 140720865470544 140496803584656 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24595] ppid=24584 vsize=28231652 memory=140701048339632 CPUtime=0 cores=0-7 /proc/24586/task/24595/stat : 24595 (java) S 24584 24584 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476218614 28909211648 11668 33554432000 4194304 4196468 140720865470544 140496802531856 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24596] ppid=24584 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24596/stat : 24596 (java) S 24584 24584 22399 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476218615 28909211648 11668 33554432000 4194304 4196468 140720865470544 140496643119728 140497258723970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24597] ppid=24584 vsize=28231652 memory=281402096693136 CPUtime=0 cores=0-7 /proc/24586/task/24597/stat : 24597 (java) S 24584 24584 22399 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476218616 28909211648 11668 33554432000 4194304 4196468 140720865470544 140496642065696 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24598] ppid=24584 vsize=28231652 memory=281402096690832 CPUtime=0 cores=0-7 /proc/24586/task/24598/stat : 24598 (java) S 24584 24584 22399 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476218616 28909211648 11668 33554432000 4194304 4196468 140720865470544 140496641013360 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24599] ppid=24584 vsize=28231652 memory=281402096697744 CPUtime=0 cores=0-7 /proc/24586/task/24599/stat : 24599 (java) S 24584 24584 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476218619 28909211648 11668 33554432000 4194304 4196468 140720865470544 140496639961680 140497258731419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24600] ppid=24584 vsize=28231652 memory=281402096639024 CPUtime=0.02 cores=0-7 /proc/24586/task/24600/stat : 24600 (java) S 24584 24584 22399 0 -1 1077944384 412 0 0 0 2 0 0 0 20 0 20 0 476218619 28909211648 11668 33554432000 4194304 4196468 140720865470544 140496638908528 140497258723970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24601] ppid=24584 vsize=28231652 memory=281402096711568 CPUtime=0.01 cores=0-7 /proc/24586/task/24601/stat : 24601 (java) S 24584 24584 22399 0 -1 1077944384 149 0 0 0 1 0 0 0 20 0 20 0 476218619 28909211648 11668 33554432000 4194304 4196468 140720865470544 140496637855728 140497258723970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24602] ppid=24584 vsize=28231652 memory=281402096718480 CPUtime=0.03 cores=0-7 /proc/24586/task/24602/stat : 24602 (java) S 24584 24584 22399 0 -1 1077944384 140 0 0 0 3 0 0 0 20 0 20 0 476218619 28909211648 11668 33554432000 4194304 4196468 140720865470544 140496636803440 140497258723970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24603] ppid=24584 vsize=28231652 memory=281402096716176 CPUtime=0.12 cores=0-7 /proc/24586/task/24603/stat : 24603 (java) S 24584 24584 22399 0 -1 1077944384 952 0 0 0 12 0 0 0 20 0 20 0 476218619 28909211648 11668 33554432000 4194304 4196468 140720865470544 140496635750640 140497258723970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24604] ppid=24584 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24604/stat : 24604 (java) S 24584 24584 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476218619 28909211648 11668 33554432000 4194304 4196468 140720865470544 140496299092832 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24605] ppid=24584 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/24586/task/24605/stat : 24605 (java) S 24584 24584 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476218619 28909211648 11668 33554432000 4194304 4196468 140720865470544 140496298040112 140497258723970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 48124 KiB [startup+0.700935 s] /proc/loadavg: 6.85 8.07 8.27 3/212 24605 /proc/meminfo: memFree=25286156/32770688 swapFree=66927236/67108860 [pid=24584] ppid=24581 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24584/stat : 24584 (xcsp3-exec) S 24581 24584 22399 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476218612 115843072 363 33554432000 4194304 5098028 140731175189680 140731175187784 139639449268860 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9342976 140731175191414 140731175191657 140731175191657 140731175194570 0 /proc/24584/statm: 28282 363 305 221 0 87 0 [pid=24586] ppid=24584 vsize=28233776 memory=70224 CPUtime=1.44 cores=0-7 /proc/24586/stat : 24586 (java) S 24584 24584 22399 0 -1 1077944320 14344 0 0 0 138 6 0 0 20 0 20 0 476218613 28911386624 17556 33554432000 4194304 4196468 140720865470544 140720865453088 140497258712823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 /proc/24586/statm: 7058444 17556 3449 1 0 7019544 0 [pid=24586/tid=24587] ppid=24584 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/24586/task/24587/stat : 24587 (java) R 24584 24584 22399 0 -1 4202560 9163 0 0 0 63 4 0 0 20 0 20 0 476218613 28911386624 17556 33554432000 4194304 4196468 140720865470544 140497262947040 140496855330902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24588] ppid=24584 vsize=28233776 memory=140701048546160 CPUtime=0 cores=0-7 /proc/24586/task/24588/stat : 24588 (java) S 24584 24584 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476218614 28911386624 17556 33554432000 4194304 4196468 140720865470544 140497178565520 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24589] ppid=24584 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24589/stat : 24589 (java) S 24584 24584 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476218614 28911386624 17556 33554432000 4194304 4196468 140720865470544 140497177512720 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24590] ppid=24584 vsize=28233776 memory=1176 CPUtime=0 cores=0-7 /proc/24586/task/24590/stat : 24590 (java) S 24584 24584 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476218614 28911386624 17556 33554432000 4194304 4196468 140720865470544 140497176460432 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 ################ # More data... # ################ [pid=24586/tid=24603] ppid=24584 vsize=28766288 memory=7345 CPUtime=0.67 cores=0-7 /proc/24586/task/24603/stat : 24603 (java) S 24584 24584 22399 0 -1 1077944384 4466 0 0 0 67 0 0 0 20 0 28 0 476218619 29456678912 142987 33554432000 4194304 4196468 140720865470544 140496635750640 140497258723970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24604] ppid=24584 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24604/stat : 24604 (java) S 24584 24584 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476218619 29456678912 142987 33554432000 4194304 4196468 140720865470544 140496299092832 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24605] ppid=24584 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24605/stat : 24605 (java) S 24584 24584 22399 0 -1 1077944384 179 0 0 0 0 0 0 0 20 0 28 0 476218619 29456678912 142987 33554432000 4194304 4196468 140720865470544 140496298040112 140497258723970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24606] ppid=24584 vsize=28766288 memory=0 CPUtime=24.5 cores=0-7 /proc/24586/task/24606/stat : 24606 (java) R 24584 24584 22399 0 -1 4202560 505 0 0 0 2449 1 0 0 20 0 28 0 476218718 29456678912 142987 33554432000 4194304 4196468 140720865470544 140496289058360 140497239555336 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24607] ppid=24584 vsize=28766288 memory=0 CPUtime=24.9 cores=0-7 /proc/24586/task/24607/stat : 24607 (java) R 24584 24584 22399 0 -1 4202560 389 0 0 0 2490 0 0 0 20 0 28 0 476218718 29456678912 142987 33554432000 4194304 4196468 140720865470544 140496288006696 140496858850996 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24608] ppid=24584 vsize=28766288 memory=0 CPUtime=24.68 cores=0-7 /proc/24586/task/24608/stat : 24608 (java) R 24584 24584 22399 0 -1 4202560 976 0 0 0 2465 3 0 0 20 0 28 0 476218718 29456678912 142987 33554432000 4194304 4196468 140720865470544 140496286955920 140496859132728 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24609] ppid=24584 vsize=28766288 memory=0 CPUtime=24.55 cores=0-7 /proc/24586/task/24609/stat : 24609 (java) R 24584 24584 22399 0 -1 4202560 1317 0 0 0 2450 5 0 0 20 0 28 0 476218718 29456678912 142987 33554432000 4194304 4196468 140720865470544 140496285901000 140496859080268 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24610] ppid=24584 vsize=28766288 memory=0 CPUtime=24.69 cores=0-7 /proc/24586/task/24610/stat : 24610 (java) R 24584 24584 22399 0 -1 4202560 777 0 0 0 2467 2 0 0 20 0 28 0 476218718 29456678912 142987 33554432000 4194304 4196468 140720865470544 140496284848144 140496859656184 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24611] ppid=24584 vsize=28766288 memory=0 CPUtime=24.6 cores=0-7 /proc/24586/task/24611/stat : 24611 (java) R 24584 24584 22399 0 -1 4202560 815 0 0 0 2457 3 0 0 20 0 28 0 476218718 29456678912 142987 33554432000 4194304 4196468 140720865470544 140496283795912 140496859079638 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24612] ppid=24584 vsize=28766288 memory=0 CPUtime=24.84 cores=0-7 /proc/24586/task/24612/stat : 24612 (java) R 24584 24584 22399 0 -1 4202560 341 0 0 0 2484 0 0 0 20 0 28 0 476218718 29456678912 142987 33554432000 4194304 4196468 140720865470544 140496282743192 140496858495150 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24613] ppid=24584 vsize=28766288 memory=0 CPUtime=24.98 cores=0-7 /proc/24586/task/24613/stat : 24613 (java) R 24584 24584 22399 0 -1 4202560 945 0 0 0 2494 4 0 0 20 0 28 0 476218718 29456678912 142987 33554432000 4194304 4196468 140720865470544 140496281690328 140496859081189 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 Current children cumulated CPU time: 203.83 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 573400 KiB [startup+27.2016 s] /proc/loadavg: 7.65 8.15 8.29 9/219 24613 /proc/meminfo: memFree=24771528/32770688 swapFree=66927236/67108860 [pid=24584] ppid=24581 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24584/stat : 24584 (xcsp3-exec) S 24581 24584 22399 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476218612 115843072 363 33554432000 4194304 5098028 140731175189680 140731175187784 139639449268860 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9342976 140731175191414 140731175191657 140731175191657 140731175194570 0 /proc/24584/statm: 28282 363 305 221 0 87 0 [pid=24586] ppid=24584 vsize=28766288 memory=571948 CPUtime=210.2 cores=0-7 /proc/24586/stat : 24586 (java) S 24584 24584 22399 0 -1 1077944320 40610 0 0 0 20975 45 0 0 20 0 28 0 476218613 29456678912 142987 33554432000 4194304 4196468 140720865470544 140720865453088 140497258712823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 /proc/24586/statm: 7191572 142987 3527 1 0 7152672 0 [pid=24586/tid=24587] ppid=24584 vsize=28766288 memory=1556 CPUtime=1.03 cores=0-7 /proc/24586/task/24587/stat : 24587 (java) S 24584 24584 22399 0 -1 1077944384 9679 0 0 0 98 5 0 0 20 0 28 0 476218613 29456678912 142987 33554432000 4194304 4196468 140720865470544 140497262953600 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24588] ppid=24584 vsize=28766288 memory=9588 CPUtime=0.03 cores=0-7 /proc/24586/task/24588/stat : 24588 (java) S 24584 24584 22399 0 -1 1077944384 282 0 0 0 2 1 0 0 20 0 28 0 476218614 29456678912 142987 33554432000 4194304 4196468 140720865470544 140497178565520 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24589] ppid=24584 vsize=28766288 memory=1712 CPUtime=0.04 cores=0-7 /proc/24586/task/24589/stat : 24589 (java) S 24584 24584 22399 0 -1 1077944384 198 0 0 0 3 1 0 0 20 0 28 0 476218614 29456678912 142987 33554432000 4194304 4196468 140720865470544 140497177512720 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24590] ppid=24584 vsize=28766288 memory=6028 CPUtime=0.03 cores=0-7 /proc/24586/task/24590/stat : 24590 (java) S 24584 24584 22399 0 -1 1077944384 273 0 0 0 2 1 0 0 20 0 28 0 476218614 29456678912 142987 33554432000 4194304 4196468 140720865470544 140497176460432 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24591] ppid=24584 vsize=28766288 memory=3668 CPUtime=0.04 cores=0-7 /proc/24586/task/24591/stat : 24591 (java) S 24584 24584 22399 0 -1 1077944384 145 0 0 0 3 1 0 0 20 0 28 0 476218614 29456678912 142987 33554432000 4194304 4196468 140720865470544 140497175407632 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24592] ppid=24584 vsize=28766288 memory=1056 CPUtime=0.04 cores=0-7 /proc/24586/task/24592/stat : 24592 (java) S 24584 24584 22399 0 -1 1077944384 844 0 0 0 3 1 0 0 20 0 28 0 476218614 29456678912 142987 33554432000 4194304 4196468 140720865470544 140497174354320 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24593] ppid=24584 vsize=28766288 memory=2820 CPUtime=0.03 cores=0-7 /proc/24586/task/24593/stat : 24593 (java) S 24584 24584 22399 0 -1 1077944384 445 0 0 0 2 1 0 0 20 0 28 0 476218614 29456678912 142987 33554432000 4194304 4196468 140720865470544 140497173301520 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24594] ppid=24584 vsize=28766288 memory=1176 CPUtime=0.04 cores=0-7 /proc/24586/task/24594/stat : 24594 (java) S 24584 24584 22399 0 -1 1077944384 1282 0 0 0 3 1 0 0 20 0 28 0 476218614 29456678912 142987 33554432000 4194304 4196468 140720865470544 140496803584656 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24595] ppid=24584 vsize=28766288 memory=980 CPUtime=0.04 cores=0-7 /proc/24586/task/24595/stat : 24595 (java) S 24584 24584 22399 0 -1 1077944384 1142 0 0 0 3 1 0 0 20 0 28 0 476218614 29456678912 142987 33554432000 4194304 4196468 140720865470544 140496802531856 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24596] ppid=24584 vsize=28766288 memory=14008 CPUtime=0.03 cores=0-7 /proc/24586/task/24596/stat : 24596 (java) S 24584 24584 22399 0 -1 1077944384 1721 0 0 0 3 0 0 0 20 0 28 0 476218615 29456678912 142987 33554432000 4194304 4196468 140720865470544 140496643119728 140497258723970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24597] ppid=24584 vsize=28766288 memory=12028 CPUtime=0 cores=0-7 /proc/24586/task/24597/stat : 24597 (java) S 24584 24584 22399 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 476218616 29456678912 142987 33554432000 4194304 4196468 140720865470544 140496642065760 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24598] ppid=24584 vsize=28766288 memory=33280 CPUtime=0 cores=0-7 /proc/24586/task/24598/stat : 24598 (java) S 24584 24584 22399 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 476218616 29456678912 142987 33554432000 4194304 4196468 140720865470544 140496641013376 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24599] ppid=24584 vsize=28766288 memory=2120 CPUtime=0 cores=0-7 /proc/24586/task/24599/stat : 24599 (java) S 24584 24584 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476218619 29456678912 142987 33554432000 4194304 4196468 140720865470544 140496639961680 140497258731419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24600] ppid=24584 vsize=28766288 memory=496 CPUtime=1.42 cores=0-7 /proc/24586/task/24600/stat : 24600 (java) S 24584 24584 22399 0 -1 1077944384 5916 0 0 0 140 2 0 0 20 0 28 0 476218619 29456678912 142987 33554432000 4194304 4196468 140720865470544 140496638908528 140497258723970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24601] ppid=24584 vsize=28766288 memory=1560 CPUtime=1.31 cores=0-7 /proc/24586/task/24601/stat : 24601 (java) S 24584 24584 22399 0 -1 1077944384 3047 0 0 0 131 0 0 0 20 0 28 0 476218619 29456678912 142987 33554432000 4194304 4196468 140720865470544 140496637855728 140497258723970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24602] ppid=24584 vsize=28766288 memory=928 CPUtime=1.1 cores=0-7 /proc/24586/task/24602/stat : 24602 (java) S 24584 24584 22399 0 -1 1077944384 3372 0 0 0 109 1 0 0 20 0 28 0 476218619 29456678912 142987 33554432000 4194304 4196468 140720865470544 140496636803440 140497258723970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24603] ppid=24584 vsize=28766288 memory=1724 CPUtime=0.67 cores=0-7 /proc/24586/task/24603/stat : 24603 (java) S 24584 24584 22399 0 -1 1077944384 4466 0 0 0 67 0 0 0 20 0 28 0 476218619 29456678912 142987 33554432000 4194304 4196468 140720865470544 140496635750640 140497258723970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24604] ppid=24584 vsize=28766288 memory=1964 CPUtime=0 cores=0-7 /proc/24586/task/24604/stat : 24604 (java) S 24584 24584 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476218619 29456678912 142987 33554432000 4194304 4196468 140720865470544 140496299092832 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24605] ppid=24584 vsize=28766288 memory=1656 CPUtime=0 cores=0-7 /proc/24586/task/24605/stat : 24605 (java) R 24584 24584 22399 0 -1 1077944384 179 0 0 0 0 0 0 0 20 0 28 0 476218619 29456678912 142987 33554432000 4194304 4196468 140720865470544 140496298040112 140497258723970 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24606] ppid=24584 vsize=28766288 memory=1398722017469774279 CPUtime=25.3 cores=0-7 /proc/24586/task/24606/stat : 24606 (java) R 24584 24584 22399 0 -1 4202560 511 0 0 0 2529 1 0 0 20 0 28 0 476218718 29456678912 142987 33554432000 4194304 4196468 140720865470544 140496289058360 140496858926966 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24607] ppid=24584 vsize=28766288 memory=4872558044660077418 CPUtime=25.7 cores=0-7 /proc/24586/task/24607/stat : 24607 (java) R 24584 24584 22399 0 -1 4202560 397 0 0 0 2570 0 0 0 20 0 28 0 476218718 29456678912 142987 33554432000 4194304 4196468 140720865470544 140496288006696 140496858078715 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24608] ppid=24584 vsize=28766288 memory=1808 CPUtime=25.47 cores=0-7 /proc/24586/task/24608/stat : 24608 (java) R 24584 24584 22399 0 -1 4202560 989 0 0 0 2544 3 0 0 20 0 28 0 476218718 29456678912 142987 33554432000 4194304 4196468 140720865470544 140496286955920 140496859132526 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24609] ppid=24584 vsize=28766288 memory=924 CPUtime=25.35 cores=0-7 /proc/24586/task/24609/stat : 24609 (java) R 24584 24584 22399 0 -1 4202560 1360 0 0 0 2530 5 0 0 20 0 28 0 476218718 29456678912 142987 33554432000 4194304 4196468 140720865470544 140496285901000 140496858927031 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24610] ppid=24584 vsize=28766288 memory=4448 CPUtime=25.5 cores=0-7 /proc/24586/task/24610/stat : 24610 (java) R 24584 24584 22399 0 -1 4202560 838 0 0 0 2547 3 0 0 20 0 28 0 476218718 29456678912 142987 33554432000 4194304 4196468 140720865470544 140496284848032 140496858495395 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24611] ppid=24584 vsize=28766288 memory=4104 CPUtime=25.4 cores=0-7 /proc/24586/task/24611/stat : 24611 (java) R 24584 24584 22399 0 -1 4202560 849 0 0 0 2537 3 0 0 20 0 28 0 476218718 29456678912 142987 33554432000 4194304 4196468 140720865470544 140496283795912 140496859133099 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24612] ppid=24584 vsize=28766288 memory=1408 CPUtime=25.63 cores=0-7 /proc/24586/task/24612/stat : 24612 (java) R 24584 24584 22399 0 -1 4202560 352 0 0 0 2563 0 0 0 20 0 28 0 476218718 29456678912 142987 33554432000 4194304 4196468 140720865470544 140496282743192 140496858926753 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24613] ppid=24584 vsize=28766288 memory=2928 CPUtime=25.78 cores=0-7 /proc/24586/task/24613/stat : 24613 (java) R 24584 24584 22399 0 -1 4202560 955 0 0 0 2574 4 0 0 20 0 28 0 476218718 29456678912 142987 33554432000 4194304 4196468 140720865470544 140496281690328 140720865728955 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 Current children cumulated CPU time: 210.2 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 573400 KiB [startup+27.4016 s] /proc/loadavg: 7.65 8.15 8.29 9/219 24613 /proc/meminfo: memFree=24771528/32770688 swapFree=66927236/67108860 [pid=24584] ppid=24581 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24584/stat : 24584 (xcsp3-exec) S 24581 24584 22399 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476218612 115843072 363 33554432000 4194304 5098028 140731175189680 140731175187784 139639449268860 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9342976 140731175191414 140731175191657 140731175191657 140731175194570 0 /proc/24584/statm: 28282 363 305 221 0 87 0 [pid=24586] ppid=24584 vsize=28766288 memory=564764 CPUtime=211.79 cores=0-7 /proc/24586/stat : 24586 (java) S 24584 24584 22399 0 -1 1077944320 40628 0 0 0 21134 45 0 0 20 0 28 0 476218613 29456678912 141191 33554432000 4194304 4196468 140720865470544 140720865453088 140497258712823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 /proc/24586/statm: 7191572 141191 3527 1 0 7152672 0 [pid=24586/tid=24587] ppid=24584 vsize=28766288 memory=1656 CPUtime=1.03 cores=0-7 /proc/24586/task/24587/stat : 24587 (java) S 24584 24584 22399 0 -1 1077944384 9679 0 0 0 98 5 0 0 20 0 28 0 476218613 29456678912 141191 33554432000 4194304 4196468 140720865470544 140497262953600 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24588] ppid=24584 vsize=28766288 memory=739 CPUtime=0.03 cores=0-7 /proc/24586/task/24588/stat : 24588 (java) S 24584 24584 22399 0 -1 1077944384 282 0 0 0 2 1 0 0 20 0 28 0 476218614 29456678912 141191 33554432000 4194304 4196468 140720865470544 140497178565520 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24589] ppid=24584 vsize=28766288 memory=353 CPUtime=0.04 cores=0-7 /proc/24586/task/24589/stat : 24589 (java) S 24584 24584 22399 0 -1 1077944384 198 0 0 0 3 1 0 0 20 0 28 0 476218614 29456678912 141191 33554432000 4194304 4196468 140720865470544 140497177512720 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24590] ppid=24584 vsize=28766288 memory=281402097703920 CPUtime=0.04 cores=0-7 /proc/24586/task/24590/stat : 24590 (java) S 24584 24584 22399 0 -1 1077944384 273 0 0 0 3 1 0 0 20 0 28 0 476218614 29456678912 141191 33554432000 4194304 4196468 140720865470544 140497176460432 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24591] ppid=24584 vsize=28766288 memory=1915807 CPUtime=0.04 cores=0-7 /proc/24586/task/24591/stat : 24591 (java) S 24584 24584 22399 0 -1 1077944384 146 0 0 0 3 1 0 0 20 0 28 0 476218614 29456678912 141191 33554432000 4194304 4196468 140720865470544 140497175407632 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24592] ppid=24584 vsize=28766288 memory=1917183 CPUtime=0.04 cores=0-7 /proc/24586/task/24592/stat : 24592 (java) S 24584 24584 22399 0 -1 1077944384 845 0 0 0 3 1 0 0 20 0 28 0 476218614 29456678912 141191 33554432000 4194304 4196468 140720865470544 140497174354320 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24593] ppid=24584 vsize=28766288 memory=0 CPUtime=0.03 cores=0-7 /proc/24586/task/24593/stat : 24593 (java) S 24584 24584 22399 0 -1 1077944384 445 0 0 0 2 1 0 0 20 0 28 0 476218614 29456678912 141191 33554432000 4194304 4196468 140720865470544 140497173301520 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24594] ppid=24584 vsize=28766288 memory=0 CPUtime=0.04 cores=0-7 /proc/24586/task/24594/stat : 24594 (java) S 24584 24584 22399 0 -1 1077944384 1282 0 0 0 3 1 0 0 20 0 28 0 476218614 29456678912 141191 33554432000 4194304 4196468 140720865470544 140496803584656 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24595] ppid=24584 vsize=28766288 memory=0 CPUtime=0.04 cores=0-7 /proc/24586/task/24595/stat : 24595 (java) S 24584 24584 22399 0 -1 1077944384 1142 0 0 0 3 1 0 0 20 0 28 0 476218614 29456678912 141191 33554432000 4194304 4196468 140720865470544 140496802531856 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24596] ppid=24584 vsize=28766288 memory=0 CPUtime=0.03 cores=0-7 /proc/24586/task/24596/stat : 24596 (java) S 24584 24584 22399 0 -1 1077944384 1722 0 0 0 3 0 0 0 20 0 28 0 476218615 29456678912 141191 33554432000 4194304 4196468 140720865470544 140496643119728 140497258723970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24597] ppid=24584 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24597/stat : 24597 (java) S 24584 24584 22399 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 476218616 29456678912 141191 33554432000 4194304 4196468 140720865470544 140496642065760 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24598] ppid=24584 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24598/stat : 24598 (java) S 24584 24584 22399 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 476218616 29456678912 141191 33554432000 4194304 4196468 140720865470544 140496641013376 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24599] ppid=24584 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/24586/task/24599/stat : 24599 (java) S 24584 24584 22399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476218619 29456678912 141191 33554432000 4194304 4196468 140720865470544 140496639961680 140497258731419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24600] ppid=24584 vsize=28766288 memory=0 CPUtime=1.42 cores=0-7 /proc/24586/task/24600/stat : 24600 (java) S 24584 24584 22399 0 -1 1077944384 5916 0 0 0 140 2 0 0 20 0 28 0 476218619 29456678912 141191 33554432000 4194304 4196468 140720865470544 140496638908528 140497258723970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24601] ppid=24584 vsize=28766288 memory=281402097237200 CPUtime=1.31 cores=0-7 /proc/24586/task/24601/stat : 24601 (java) S 24584 24584 22399 0 -1 1077944384 3047 0 0 0 131 0 0 0 20 0 28 0 476218619 29456678912 141191 33554432000 4194304 4196468 140720865470544 140496637855728 140497258723970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24602] ppid=24584 vsize=28766288 memory=6791534058613427641 CPUtime=1.1 cores=0-7 /proc/24586/task/24602/stat : 24602 (java) S 24584 24584 22399 0 -1 1077944384 3372 0 0 0 109 1 0 0 20 0 28 0 476218619 29456678912 141191 33554432000 4194304 4196468 140720865470544 140496636803440 140497258723970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24603] ppid=24584 vsize=28766288 memory=0 CPUtime=0.67 cores=0-7 /proc/24586/task/24603/stat : 24603 (java) S 24584 24584 22399 0 -1 1077944384 4466 0 0 0 67 0 0 0 20 0 28 0 476218619 29456678912 141191 33554432000 4194304 4196468 140720865470544 140496635750640 140497258723970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24604] ppid=24584 vsize=28766288 memory=2776 CPUtime=0 cores=0-7 /proc/24586/task/24604/stat : 24604 (java) S 24584 24584 22399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476218619 29456678912 141191 33554432000 4194304 4196468 140720865470544 140496299092832 140497258723029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24605] ppid=24584 vsize=28766288 memory=924 CPUtime=0 cores=0-7 /proc/24586/task/24605/stat : 24605 (java) S 24584 24584 22399 0 -1 1077944384 179 0 0 0 0 0 0 0 20 0 28 0 476218619 29456678912 141191 33554432000 4194304 4196468 140720865470544 140496298040112 140497258723970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24606] ppid=24584 vsize=28766288 memory=1444 CPUtime=25.5 cores=0-7 /proc/24586/task/24606/stat : 24606 (java) R 24584 24584 22399 0 -1 4202560 511 0 0 0 2549 1 0 0 20 0 28 0 476218718 29456678912 141191 33554432000 4194304 4196468 140720865470544 140496289058360 140496858933869 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24607] ppid=24584 vsize=28766288 memory=1764 CPUtime=25.9 cores=0-7 /proc/24586/task/24607/stat : 24607 (java) R 24584 24584 22399 0 -1 4202560 398 0 0 0 2590 0 0 0 20 0 28 0 476218718 29456678912 141191 33554432000 4194304 4196468 140720865470544 140496288007208 140496858931179 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24608] ppid=24584 vsize=28766288 memory=111632 CPUtime=25.66 cores=0-7 /proc/24586/task/24608/stat : 24608 (java) R 24584 24584 22399 0 -1 4202560 989 0 0 0 2563 3 0 0 20 0 28 0 476218718 29456678912 141191 33554432000 4194304 4196468 140720865470544 140496286953384 140496858496042 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24609] ppid=24584 vsize=28766288 memory=800 CPUtime=25.55 cores=0-7 /proc/24586/task/24609/stat : 24609 (java) R 24584 24584 22399 0 -1 4202560 1360 0 0 0 2550 5 0 0 20 0 28 0 476218718 29456678912 141191 33554432000 4194304 4196468 140720865470544 140496285900192 140496859079989 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24610] ppid=24584 vsize=28766288 memory=1808 CPUtime=25.69 cores=0-7 /proc/24586/task/24610/stat : 24610 (java) R 24584 24584 22399 0 -1 4202560 849 0 0 0 2566 3 0 0 20 0 28 0 476218718 29456678912 141191 33554432000 4194304 4196468 140720865470544 140496284851120 140497244780948 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24611] ppid=24584 vsize=28766288 memory=924 CPUtime=25.6 cores=0-7 /proc/24586/task/24611/stat : 24611 (java) R 24584 24584 22399 0 -1 4202560 849 0 0 0 2557 3 0 0 20 0 28 0 476218718 29456678912 141191 33554432000 4194304 4196468 140720865470544 140496283795280 140496858077243 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24612] ppid=24584 vsize=28766288 memory=4448 CPUtime=25.83 cores=0-7 /proc/24586/task/24612/stat : 24612 (java) R 24584 24584 22399 0 -1 4202560 355 0 0 0 2583 0 0 0 20 0 28 0 476218718 29456678912 141191 33554432000 4194304 4196468 140720865470544 140496282742960 140496858926949 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 [pid=24586/tid=24613] ppid=24584 vsize=28766288 memory=4104 CPUtime=25.97 cores=0-7 /proc/24586/task/24613/stat : 24613 (java) R 24584 24584 22399 0 -1 4202560 955 0 0 0 2593 4 0 0 20 0 28 0 476218718 29456678912 141191 33554432000 4194304 4196468 140720865470544 140496281690392 140496859274130 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15441920 140720865477610 140720865477782 140720865477782 140720865480655 0 Current children cumulated CPU time: 211.79 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 566216 KiB Child status: 0 Real time (s): 27.4532 CPU time (s): 212.107 CPU user time (s): 211.631 CPU system time (s): 0.476241 CPU usage (%): 772.614 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 609108 getrusage(RUSAGE_CHILDREN,...) data: user time used= 211.631 system time used= 0.476241 maximum resident set size= 614260 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43400 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= 5907 involuntary context switches= 2963 # summary of solver processes directly reported to runsolver: # pid: 24584 # total CPU time (s): 212.107 # total CPU user time (s): 211.631 # total CPU system time (s): 0.476241 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.268368 second user time and 0.390853 second system time The end
Begin job on node120 at 2011-12-22 02:15:45 IDJOB=4404435 IDBENCH=133319 IDSOLVER=2865 FILE ID=node120/4404435-1569002124 RUNJOBID= node120-1324510577-22426 PBS_JOBID= 21704737 Free space on /tmp= 23412 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/Primes/Primes-m1-p20/Primes-20-60-3-5.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-4404435-1569002124/watcher-4404435-1569002124 -o /tmp/evaluation-result-4404435-1569002124/solver-4404435-1569002124 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324510577-22426 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 874772427 HOME/instance-4404435-1569002124.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0dd1a305ead2bfc8d563708a38f33655 RANDOM SEED=874772427 node120.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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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 : 5329.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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.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 : 2667.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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 25329664 kB MemAvailable: 31790020 kB Buffers: 54672 kB Cached: 6680364 kB SwapCached: 68652 kB Active: 3323232 kB Inactive: 3485128 kB Active(anon): 4240 kB Inactive(anon): 125084 kB Active(file): 3318992 kB Inactive(file): 3360044 kB Unevictable: 107788 kB Mlocked: 107788 kB SwapTotal: 67108860 kB SwapFree: 66927236 kB Dirty: 26244 kB Writeback: 0 kB AnonPages: 125352 kB Mapped: 57588 kB Shmem: 47352 kB Slab: 223248 kB SReclaimable: 194312 kB SUnreclaim: 28936 kB KernelStack: 3728 kB PageTables: 5704 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 523240 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 79872 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 23384 MiB End job on node120 at 2011-12-22 02:16:13