Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | SAT | 11840.5 | 1492.89 |
Name | Random/Random-RB-3-28-28f/ rand-3-28-28-93-632f-05.xml |
MD5SUM | 1bf4ccefbf8ae7bb3bb3e34b69384fe1 |
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 | 687.52002 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 28 |
Number of constraints | 93 |
Number of domains | 1 |
Minimum domain size | 28 |
Maximum domain size | 28 |
Distribution of domain sizes | [{"size":28,"count":28}] |
Minimum variable degree | 4 |
Maximum variable degree | 16 |
Distribution of variable degrees | [{"degree":4,"count":1},{"degree":5,"count":2},{"degree":6,"count":1},{"degree":7,"count":4},{"degree":9,"count":3},{"degree":10,"count":3},{"degree":11,"count":6},{"degree":12,"count":2},{"degree":13,"count":3},{"degree":14,"count":1},{"degree":15,"count":1},{"degree":16,"count":1}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 3 |
Distribution of constraint arities | [{"arity":3,"count":93}] |
Number of extensional constraints | 93 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":93}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281000-1503124335.xml" -tl '20160s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4281000-1503124335.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 19.59/11.13 c solve instance... 11840.05/1492.85 s SATISFIABLE 11840.05/1492.85 v <instantiation> 11840.05/1492.85 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] </list> 11840.05/1492.85 v <values>23 4 18 0 18 21 22 12 26 5 23 3 3 4 20 14 2 3 5 9 20 13 8 16 25 10 0 23 </values> 11840.05/1492.85 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: 16374 MiB (13010 MiB free) memory of node 1: 16384 MiB (12575 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281000-1503124335/watcher-4281000-1503124335 -o /tmp/evaluation-result-4281000-1503124335/solver-4281000-1503124335 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503120685-6639 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 735842977 HOME/instance-4281000-1503124335.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=7269, runsolver pid=7266 Current StackSize limit: 8192 KiB [startup+0.100161 s]* /proc/loadavg: 7.08 7.17 7.71 2/199 7290 /proc/meminfo: memFree=26184536/32770624 swapFree=67108860/67108860 [pid=7269] ppid=7266 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/7269/stat : 7269 (xcsp3-exec) S 7266 7269 6612 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 145521204 9740288 345 33554432000 4194304 5098028 140734255882240 140734255880344 140139523089020 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16482304 140734255883365 140734255883575 140734255883575 140734255886315 0 /proc/7269/statm: 2378 345 289 221 0 87 0 [pid=7271] ppid=7269 vsize=25999808 memory=26308 CPUtime=0.11 cores=0-7 /proc/7271/stat : 7271 (java) S 7269 7269 6612 0 -1 1077944320 5477 0 0 0 10 1 0 0 20 0 20 0 145521204 26623803392 6577 33554432000 4194304 4196468 140721738223328 140721738205872 139993967832823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 /proc/7271/statm: 6499952 6577 2845 1 0 6488269 0 [pid=7271/tid=7272] ppid=7269 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/7271/task/7272/stat : 7272 (java) R 7269 7269 6612 0 -1 4202560 3490 0 0 0 8 1 0 0 20 0 20 0 145521205 26623803392 6577 33554432000 4194304 4196468 140721738223328 139993972066096 139993967854749 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7273] ppid=7269 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/7271/task/7273/stat : 7273 (java) S 7269 7269 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145521205 26623803392 6577 33554432000 4194304 4196468 140721738223328 139993924385040 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7274] ppid=7269 vsize=25999808 memory=140111578683008 CPUtime=0 cores=0-7 /proc/7271/task/7274/stat : 7274 (java) S 7269 7269 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145521205 26623803392 6577 33554432000 4194304 4196468 140721738223328 139993923332496 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7275] ppid=7269 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7271/task/7275/stat : 7275 (java) S 7269 7269 6612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145521205 26623803392 6577 33554432000 4194304 4196468 140721738223328 139993524337168 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7276] ppid=7269 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7271/task/7276/stat : 7276 (java) S 7269 7269 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145521206 26623803392 6577 33554432000 4194304 4196468 140721738223328 139993523284624 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7277] ppid=7269 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7271/task/7277/stat : 7277 (java) S 7269 7269 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145521206 26623803392 6577 33554432000 4194304 4196468 140721738223328 139993522232080 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7278] ppid=7269 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/7271/task/7278/stat : 7278 (java) S 7269 7269 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145521206 26623803392 6577 33554432000 4194304 4196468 140721738223328 139993521179536 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7279] ppid=7269 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7271/task/7279/stat : 7279 (java) S 7269 7269 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145521206 26623803392 6577 33554432000 4194304 4196468 140721738223328 139993520126992 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7280] ppid=7269 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7271/task/7280/stat : 7280 (java) S 7269 7269 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145521206 26623803392 6577 33554432000 4194304 4196468 140721738223328 139993519074448 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7281] ppid=7269 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7271/task/7281/stat : 7281 (java) S 7269 7269 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145521207 26623803392 6577 33554432000 4194304 4196468 140721738223328 139992239151088 139993967843970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7282] ppid=7269 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7271/task/7282/stat : 7282 (java) S 7269 7269 6612 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145521207 26623803392 6577 33554432000 4194304 4196468 140721738223328 139992238097312 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7283] ppid=7269 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7271/task/7283/stat : 7283 (java) S 7269 7269 6612 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145521208 26623803392 6577 33554432000 4194304 4196468 140721738223328 139992237044720 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7284] ppid=7269 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7271/task/7284/stat : 7284 (java) S 7269 7269 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145521210 26623803392 6577 33554432000 4194304 4196468 140721738223328 139992235993296 139993967851419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7285] ppid=7269 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7271/task/7285/stat : 7285 (java) R 7269 7269 6612 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 145521210 26623803392 6577 33554432000 4194304 4196468 140721738223328 139992234940912 139993967843970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7286] ppid=7269 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7271/task/7286/stat : 7286 (java) S 7269 7269 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145521210 26623803392 6577 33554432000 4194304 4196468 140721738223328 139992233888368 139993967843970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7287] ppid=7269 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7271/task/7287/stat : 7287 (java) S 7269 7269 6612 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 145521210 26623803392 6577 33554432000 4194304 4196468 140721738223328 139992232835824 139993967843970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7288] ppid=7269 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/7271/task/7288/stat : 7288 (java) R 7269 7269 6612 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 20 0 145521210 26623803392 6577 33554432000 4194304 4196468 140721738223328 139992231783280 139993967844758 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7289] ppid=7269 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7271/task/7289/stat : 7289 (java) S 7269 7269 6612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145521210 26623803392 6577 33554432000 4194304 4196468 140721738223328 139992230729952 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7290] ppid=7269 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/7271/task/7290/stat : 7290 (java) S 7269 7269 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145521210 26623803392 6577 33554432000 4194304 4196468 140721738223328 139992229677488 139993967843970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27688 KiB [startup+0.210035 s]* /proc/loadavg: 7.08 7.17 7.71 2/199 7290 /proc/meminfo: memFree=26173248/32770624 swapFree=67108860/67108860 [pid=7269] ppid=7266 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/7269/stat : 7269 (xcsp3-exec) S 7266 7269 6612 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 145521204 9740288 345 33554432000 4194304 5098028 140734255882240 140734255880344 140139523089020 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16482304 140734255883365 140734255883575 140734255883575 140734255886315 0 /proc/7269/statm: 2378 345 289 221 0 87 0 [pid=7271] ppid=7269 vsize=26004064 memory=38860 CPUtime=0.33 cores=0-7 /proc/7271/stat : 7271 (java) S 7269 7269 6612 0 -1 1077944320 8299 0 0 0 31 2 0 0 20 0 20 0 145521204 26628161536 9715 33554432000 4194304 4196468 140721738223328 140721738205872 139993967832823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 /proc/7271/statm: 6501016 9715 3018 1 0 6488269 0 [pid=7271/tid=7272] ppid=7269 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/7271/task/7272/stat : 7272 (java) D 7269 7269 6612 0 -1 1077944384 5409 0 0 0 18 2 0 0 20 0 20 0 145521205 26628161536 9715 33554432000 4194304 4196468 140721738223328 139993972043632 139993960512045 0 4 0 16800975 18446744072101625380 0 0 -1 6 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7273] ppid=7269 vsize=26004064 memory=342 CPUtime=0 cores=0-7 /proc/7271/task/7273/stat : 7273 (java) S 7269 7269 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145521205 26628161536 9715 33554432000 4194304 4196468 140721738223328 139993924385040 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7274] ppid=7269 vsize=26004064 memory=140111579340856 CPUtime=0 cores=0-7 /proc/7271/task/7274/stat : 7274 (java) S 7269 7269 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145521205 26628161536 9715 33554432000 4194304 4196468 140721738223328 139993923332496 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7275] ppid=7269 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/7271/task/7275/stat : 7275 (java) S 7269 7269 6612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145521205 26628161536 9715 33554432000 4194304 4196468 140721738223328 139993524337168 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7276] ppid=7269 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7271/task/7276/stat : 7276 (java) S 7269 7269 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145521206 26628161536 9715 33554432000 4194304 4196468 140721738223328 139993523284624 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7277] ppid=7269 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/7271/task/7277/stat : 7277 (java) S 7269 7269 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145521206 26628194304 9715 33554432000 4194304 4196468 140721738223328 139993522232080 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7278] ppid=7269 vsize=26004096 memory=-1 CPUtime=0 cores=0-7 /proc/7271/task/7278/stat : 7278 (java) S 7269 7269 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145521206 26628194304 9715 33554432000 4194304 4196468 140721738223328 139993521179536 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7279] ppid=7269 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7271/task/7279/stat : 7279 (java) S 7269 7269 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145521206 26628161536 9736 33554432000 4194304 4196468 140721738223328 139993520126992 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7280] ppid=7269 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7271/task/7280/stat : 7280 (java) S 7269 7269 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145521206 26628161536 9736 33554432000 4194304 4196468 140721738223328 139993519074448 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7281] ppid=7269 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7271/task/7281/stat : 7281 (java) S 7269 7269 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145521207 26628161536 9736 33554432000 4194304 4196468 140721738223328 139992239151088 139993967843970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7282] ppid=7269 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7271/task/7282/stat : 7282 (java) S 7269 7269 6612 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145521207 26628161536 9736 33554432000 4194304 4196468 140721738223328 139992238097312 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7283] ppid=7269 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7271/task/7283/stat : 7283 (java) S 7269 7269 6612 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145521208 26628161536 9736 33554432000 4194304 4196468 140721738223328 139992237044720 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7284] ppid=7269 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7271/task/7284/stat : 7284 (java) S 7269 7269 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145521210 26628161536 9736 33554432000 4194304 4196468 140721738223328 139992235993296 139993967851419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7285] ppid=7269 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/7271/task/7285/stat : 7285 (java) S 7269 7269 6612 0 -1 1077944384 547 0 0 0 2 0 0 0 20 0 20 0 145521210 26628161536 9736 33554432000 4194304 4196468 140721738223328 139992234940912 139993967843970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7286] ppid=7269 vsize=26004096 memory=0 CPUtime=0.02 cores=0-7 /proc/7271/task/7286/stat : 7286 (java) S 7269 7269 6612 0 -1 1077944384 157 0 0 0 2 0 0 0 20 0 20 0 145521210 26628194304 9736 33554432000 4194304 4196468 140721738223328 139992233888368 139993967843970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7287] ppid=7269 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/7271/task/7287/stat : 7287 (java) S 7269 7269 6612 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 20 0 145521210 26628161536 9736 33554432000 4194304 4196468 140721738223328 139992232835824 139993967843970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7288] ppid=7269 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/7271/task/7288/stat : 7288 (java) S 7269 7269 6612 0 -1 1077944384 754 0 0 0 7 0 0 0 20 0 20 0 145521210 26628161536 9736 33554432000 4194304 4196468 140721738223328 139992231783280 139993967843970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7289] ppid=7269 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7271/task/7289/stat : 7289 (java) S 7269 7269 6612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145521210 26628161536 9736 33554432000 4194304 4196468 140721738223328 139992230729952 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7290] ppid=7269 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/7271/task/7290/stat : 7290 (java) S 7269 7269 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145521210 26628161536 9736 33554432000 4194304 4196468 140721738223328 139992229677488 139993967843970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40240 KiB [startup+0.30945 s]* /proc/loadavg: 7.08 7.17 7.71 3/199 7290 /proc/meminfo: memFree=26166392/32770624 swapFree=67108860/67108860 [pid=7269] ppid=7266 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/7269/stat : 7269 (xcsp3-exec) S 7266 7269 6612 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 145521204 9740288 345 33554432000 4194304 5098028 140734255882240 140734255880344 140139523089020 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16482304 140734255883365 140734255883575 140734255883575 140734255886315 0 /proc/7269/statm: 2378 345 289 221 0 87 0 [pid=7271] ppid=7269 vsize=26004064 memory=45836 CPUtime=0.49 cores=0-7 /proc/7271/stat : 7271 (java) S 7269 7269 6612 0 -1 1077944320 9132 0 0 0 46 3 0 0 20 0 20 0 145521204 26628161536 11459 33554432000 4194304 4196468 140721738223328 140721738205872 139993967832823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 /proc/7271/statm: 6501016 11459 3105 1 0 6488269 0 [pid=7271/tid=7272] ppid=7269 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/7271/task/7272/stat : 7272 (java) R 7269 7269 6612 0 -1 4202560 6073 0 0 0 27 2 0 0 20 0 20 0 145521205 26628161536 11459 33554432000 4194304 4196468 140721738223328 139993972070336 139993967854749 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7273] ppid=7269 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7271/task/7273/stat : 7273 (java) S 7269 7269 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145521205 26628161536 11459 33554432000 4194304 4196468 140721738223328 139993924385040 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7274] ppid=7269 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7271/task/7274/stat : 7274 (java) S 7269 7269 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145521205 26628161536 11459 33554432000 4194304 4196468 140721738223328 139993923332496 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7275] ppid=7269 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7271/task/7275/stat : 7275 (java) S 7269 7269 6612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145521205 26628161536 11459 33554432000 4194304 4196468 140721738223328 139993524337168 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7276] ppid=7269 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7271/task/7276/stat : 7276 (java) S 7269 7269 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145521206 26628161536 11459 33554432000 4194304 4196468 140721738223328 139993523284624 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7277] ppid=7269 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/7271/task/7277/stat : 7277 (java) S 7269 7269 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145521206 26628161536 11459 33554432000 4194304 4196468 140721738223328 139993522232080 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7278] ppid=7269 vsize=26004064 memory=140111429858223 CPUtime=0 cores=0-7 /proc/7271/task/7278/stat : 7278 (java) S 7269 7269 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145521206 26628161536 11459 33554432000 4194304 4196468 140721738223328 139993521179536 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7279] ppid=7269 vsize=26004064 memory=140111429860528 CPUtime=0 cores=0-7 /proc/7271/task/7279/stat : 7279 (java) S 7269 7269 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145521206 26628161536 11459 33554432000 4194304 4196468 140721738223328 139993520126992 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7280] ppid=7269 vsize=26004064 memory=140111429862832 CPUtime=0 cores=0-7 /proc/7271/task/7280/stat : 7280 (java) S 7269 7269 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145521206 26628161536 11459 33554432000 4194304 4196468 140721738223328 139993519074448 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7281] ppid=7269 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7271/task/7281/stat : 7281 (java) S 7269 7269 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145521207 26628161536 11459 33554432000 4194304 4196468 140721738223328 139992239151088 139993967843970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7282] ppid=7269 vsize=26004064 memory=280222859732624 CPUtime=0 cores=0-7 /proc/7271/task/7282/stat : 7282 (java) S 7269 7269 6612 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145521207 26628161536 11459 33554432000 4194304 4196468 140721738223328 139992238097312 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7283] ppid=7269 vsize=26004064 memory=280222859739536 CPUtime=0 cores=0-7 /proc/7271/task/7283/stat : 7283 (java) S 7269 7269 6612 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145521208 26628161536 11459 33554432000 4194304 4196468 140721738223328 139992237044720 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7284] ppid=7269 vsize=26004064 memory=280222859680816 CPUtime=0 cores=0-7 /proc/7271/task/7284/stat : 7284 (java) S 7269 7269 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145521210 26628161536 11459 33554432000 4194304 4196468 140721738223328 139992235993296 139993967851419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7285] ppid=7269 vsize=26004064 memory=280222859753360 CPUtime=0.02 cores=0-7 /proc/7271/task/7285/stat : 7285 (java) R 7269 7269 6612 0 -1 4202560 547 0 0 0 2 0 0 0 20 0 20 0 145521210 26628161536 11459 33554432000 4194304 4196468 140721738223328 139992234940912 139993951361543 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7286] ppid=7269 vsize=26004064 memory=280222859760272 CPUtime=0.03 cores=0-7 /proc/7271/task/7286/stat : 7286 (java) S 7269 7269 6612 0 -1 1077944384 209 0 0 0 3 0 0 0 20 0 20 0 145521210 26628161536 11459 33554432000 4194304 4196468 140721738223328 139992233888368 139993967843970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7287] ppid=7269 vsize=26004064 memory=280222859757968 CPUtime=0.01 cores=0-7 /proc/7271/task/7287/stat : 7287 (java) R 7269 7269 6612 0 -1 4202560 178 0 0 0 1 0 0 0 20 0 20 0 145521210 26628161536 11459 33554432000 4194304 4196468 140721738223328 139992232826208 139993952256469 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7288] ppid=7269 vsize=26004064 memory=280222859774128 CPUtime=0.12 cores=0-7 /proc/7271/task/7288/stat : 7288 (java) S 7269 7269 6612 0 -1 1077944384 830 0 0 0 12 0 0 0 20 0 20 0 145521210 26628161536 11459 33554432000 4194304 4196468 140721738223328 139992231783280 139993967843970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7289] ppid=7269 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7271/task/7289/stat : 7289 (java) S 7269 7269 6612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145521210 26628161536 11459 33554432000 4194304 4196468 140721738223328 139992230729952 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7290] ppid=7269 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/7271/task/7290/stat : 7290 (java) S 7269 7269 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145521210 26628161536 11459 33554432000 4194304 4196468 140721738223328 139992229677488 139993967843970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47216 KiB [startup+0.700937 s] /proc/loadavg: 7.08 7.17 7.71 5/199 7290 /proc/meminfo: memFree=26119304/32770624 swapFree=67108860/67108860 [pid=7269] ppid=7266 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/7269/stat : 7269 (xcsp3-exec) S 7266 7269 6612 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 145521204 9740288 345 33554432000 4194304 5098028 140734255882240 140734255880344 140139523089020 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16482304 140734255883365 140734255883575 140734255883575 140734255886315 0 /proc/7269/statm: 2378 345 289 221 0 87 0 [pid=7271] ppid=7269 vsize=26004140 memory=199596 CPUtime=1.68 cores=0-7 /proc/7271/stat : 7271 (java) S 7269 7269 6612 0 -1 1077944320 12478 0 0 0 158 10 0 0 20 0 20 0 145521204 26628239360 49899 33554432000 4194304 4196468 140721738223328 140721738205872 139993967832823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 /proc/7271/statm: 6501035 49899 3209 1 0 6488269 0 [pid=7271/tid=7272] ppid=7269 vsize=26004140 memory=280222860132016 CPUtime=0.66 cores=0-7 /proc/7271/task/7272/stat : 7272 (java) R 7269 7269 6612 0 -1 4202560 6404 0 0 0 62 4 0 0 20 0 20 0 145521205 26628239360 49899 33554432000 4194304 4196468 140721738223328 139993972068792 139993603711762 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7273] ppid=7269 vsize=26004140 memory=140111430067056 CPUtime=0 cores=0-7 /proc/7271/task/7273/stat : 7273 (java) S 7269 7269 6612 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 145521205 26628239360 49899 33554432000 4194304 4196468 140721738223328 139993924385040 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7274] ppid=7269 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/7271/task/7274/stat : 7274 (java) S 7269 7269 6612 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 145521205 26628239360 49899 33554432000 4194304 4196468 140721738223328 139993923332496 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7275] ppid=7269 vsize=26004140 memory=1004 CPUtime=0 cores=0-7 /proc/7271/task/7275/stat : 7275 (java) S 7269 7269 6612 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 145521205 26628239360 49899 33554432000 4194304 4196468 140721738223328 139993524337168 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 ################ # More data... # ################ [pid=7271/tid=7288] ppid=7269 vsize=26538700 memory=2236 CPUtime=0.72 cores=0-7 /proc/7271/task/7288/stat : 7288 (java) S 7269 7269 6612 0 -1 1077944384 9434 0 0 0 71 1 0 0 20 0 28 0 145521210 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992231783280 139993967843970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7289] ppid=7269 vsize=26538700 memory=4084 CPUtime=0 cores=0-7 /proc/7271/task/7289/stat : 7289 (java) S 7269 7269 6612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145521210 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992230729952 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7290] ppid=7269 vsize=26538700 memory=5237064 CPUtime=0.5 cores=0-7 /proc/7271/task/7290/stat : 7290 (java) S 7269 7269 6612 0 -1 1077944384 2179 0 0 0 25 25 0 0 20 0 28 0 145521210 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992229677488 139993967843970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7291] ppid=7269 vsize=26538700 memory=5237064 CPUtime=1476.96 cores=0-7 /proc/7271/task/7291/stat : 7291 (java) R 7269 7269 6612 0 -1 4202560 3857 0 0 0 147691 5 0 0 20 0 28 0 145522319 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992222161752 139993609410363 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7292] ppid=7269 vsize=26538700 memory=5237064 CPUtime=1479.25 cores=0-7 /proc/7271/task/7292/stat : 7292 (java) R 7269 7269 6612 0 -1 4202560 3709 0 0 0 147921 4 0 0 20 0 28 0 145522319 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992221110568 139993609411425 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7293] ppid=7269 vsize=26538700 memory=4084 CPUtime=1474.16 cores=0-7 /proc/7271/task/7293/stat : 7293 (java) R 7269 7269 6612 0 -1 4202560 19047 0 0 0 147322 94 0 0 20 0 28 0 145522319 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992220057912 139993609411067 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7294] ppid=7269 vsize=26538700 memory=8112282956445269571 CPUtime=1474.07 cores=0-7 /proc/7271/task/7294/stat : 7294 (java) R 7269 7269 6612 0 -1 4202560 18971 0 0 0 147307 100 0 0 20 0 28 0 145522319 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992219005480 139993609410321 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7295] ppid=7269 vsize=26538700 memory=50 CPUtime=1477.76 cores=0-7 /proc/7271/task/7295/stat : 7295 (java) R 7269 7269 6612 0 -1 4202560 3715 0 0 0 147774 2 0 0 20 0 28 0 145522319 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992217952696 139993609385030 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7296] ppid=7269 vsize=26538700 memory=146496 CPUtime=1476.62 cores=0-7 /proc/7271/task/7296/stat : 7296 (java) R 7269 7269 6612 0 -1 4202560 23367 0 0 0 147563 99 0 0 20 0 28 0 145522319 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992216900280 139993609410795 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7297] ppid=7269 vsize=26538700 memory=146725 CPUtime=1468.35 cores=0-7 /proc/7271/task/7297/stat : 7297 (java) R 7269 7269 6612 0 -1 4202560 8835 0 0 0 146801 34 0 0 20 0 28 0 145522319 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992215846584 139993609411067 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7298] ppid=7269 vsize=26538700 memory=146216 CPUtime=1478.94 cores=0-7 /proc/7271/task/7298/stat : 7298 (java) R 7269 7269 6612 0 -1 4202560 3475 0 0 0 147889 5 0 0 20 0 28 0 145522319 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992214793920 139993609601391 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 Current children cumulated CPU time: 11833.7 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 5238444 KiB [startup+1492.4 s] /proc/loadavg: 8.37 8.35 8.21 9/208 7324 /proc/meminfo: memFree=20969856/32770624 swapFree=67108860/67108860 [pid=7269] ppid=7266 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/7269/stat : 7269 (xcsp3-exec) S 7266 7269 6612 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 145521204 9740288 345 33554432000 4194304 5098028 140734255882240 140734255880344 140139523089020 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16482304 140734255883365 140734255883575 140734255883575 140734255886315 0 /proc/7269/statm: 2378 345 289 221 0 87 0 [pid=7271] ppid=7269 vsize=26538700 memory=5237064 CPUtime=11836.8 cores=0-7 /proc/7271/stat : 7271 (java) S 7269 7269 6612 0 -1 1077944320 167809 0 0 0 1182984 701 0 0 20 0 28 0 145521204 27175628800 1309266 33554432000 4194304 4196468 140721738223328 140721738205872 139993967832823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 /proc/7271/statm: 6634675 1309266 3289 1 0 6621909 0 [pid=7271/tid=7272] ppid=7269 vsize=26538700 memory=2200 CPUtime=10.04 cores=0-7 /proc/7271/task/7272/stat : 7272 (java) S 7269 7269 6612 0 -1 1077944384 10806 0 0 0 970 34 0 0 20 0 28 0 145521205 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139993972073600 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7273] ppid=7269 vsize=26538700 memory=8048 CPUtime=1.54 cores=0-7 /proc/7271/task/7273/stat : 7273 (java) S 7269 7269 6612 0 -1 1077944384 2553 0 0 0 117 37 0 0 20 0 28 0 145521205 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139993924385040 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7274] ppid=7269 vsize=26538700 memory=836 CPUtime=1.52 cores=0-7 /proc/7271/task/7274/stat : 7274 (java) S 7269 7269 6612 0 -1 1077944384 1896 0 0 0 114 38 0 0 20 0 28 0 145521205 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139993923332496 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7275] ppid=7269 vsize=26538700 memory=1696 CPUtime=1.52 cores=0-7 /proc/7271/task/7275/stat : 7275 (java) S 7269 7269 6612 0 -1 1077944384 2168 0 0 0 113 39 0 0 20 0 28 0 145521205 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139993524337168 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7276] ppid=7269 vsize=26538700 memory=1380 CPUtime=1.53 cores=0-7 /proc/7271/task/7276/stat : 7276 (java) S 7269 7269 6612 0 -1 1077944384 2526 0 0 0 113 40 0 0 20 0 28 0 145521206 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139993523284624 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7277] ppid=7269 vsize=26538700 memory=5237064 CPUtime=1.53 cores=0-7 /proc/7271/task/7277/stat : 7277 (java) S 7269 7269 6612 0 -1 1077944384 2242 0 0 0 117 36 0 0 20 0 28 0 145521206 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139993522232080 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7278] ppid=7269 vsize=26538700 memory=14971170273368733 CPUtime=1.53 cores=0-7 /proc/7271/task/7278/stat : 7278 (java) S 7269 7269 6612 0 -1 1077944384 2375 0 0 0 116 37 0 0 20 0 28 0 145521206 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139993521179536 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7279] ppid=7269 vsize=26538700 memory=4424 CPUtime=1.53 cores=0-7 /proc/7271/task/7279/stat : 7279 (java) S 7269 7269 6612 0 -1 1077944384 2441 0 0 0 113 40 0 0 20 0 28 0 145521206 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139993520126992 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7280] ppid=7269 vsize=26538700 memory=4104 CPUtime=1.53 cores=0-7 /proc/7271/task/7280/stat : 7280 (java) S 7269 7269 6612 0 -1 1077944384 2717 0 0 0 113 40 0 0 20 0 28 0 145521206 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139993519074448 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7281] ppid=7269 vsize=26538700 memory=1156 CPUtime=0.27 cores=0-7 /proc/7271/task/7281/stat : 7281 (java) S 7269 7269 6612 0 -1 1077944384 10506 0 0 0 25 2 0 0 20 0 28 0 145521207 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992239151088 139993967843970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7282] ppid=7269 vsize=26538700 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/7271/task/7282/stat : 7282 (java) S 7269 7269 6612 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 145521207 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992238097376 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7283] ppid=7269 vsize=26538700 memory=18292 CPUtime=0 cores=0-7 /proc/7271/task/7283/stat : 7283 (java) S 7269 7269 6612 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 145521208 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992237044736 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7284] ppid=7269 vsize=26538700 memory=1792 CPUtime=0 cores=0-7 /proc/7271/task/7284/stat : 7284 (java) S 7269 7269 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145521210 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992235993296 139993967851419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7285] ppid=7269 vsize=26538700 memory=5237064 CPUtime=1.2 cores=0-7 /proc/7271/task/7285/stat : 7285 (java) S 7269 7269 6612 0 -1 1077944384 10953 0 0 0 118 2 0 0 20 0 28 0 145521210 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992234940912 139993967843970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7286] ppid=7269 vsize=26538700 memory=288230596050944315 CPUtime=1.36 cores=0-7 /proc/7271/task/7286/stat : 7286 (java) S 7269 7269 6612 0 -1 1077944384 11170 0 0 0 134 2 0 0 20 0 28 0 145521210 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992233888368 139993967843970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7287] ppid=7269 vsize=26538700 memory=14971170273368733 CPUtime=1.09 cores=0-7 /proc/7271/task/7287/stat : 7287 (java) S 7269 7269 6612 0 -1 1077944384 7386 0 0 0 109 0 0 0 20 0 28 0 145521210 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992232835824 139993967843970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7288] ppid=7269 vsize=26538700 memory=8048 CPUtime=0.72 cores=0-7 /proc/7271/task/7288/stat : 7288 (java) S 7269 7269 6612 0 -1 1077944384 9434 0 0 0 71 1 0 0 20 0 28 0 145521210 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992231783280 139993967843970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7289] ppid=7269 vsize=26538700 memory=836 CPUtime=0 cores=0-7 /proc/7271/task/7289/stat : 7289 (java) S 7269 7269 6612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145521210 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992230729952 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7290] ppid=7269 vsize=26538700 memory=8112282956445269571 CPUtime=0.5 cores=0-7 /proc/7271/task/7290/stat : 7290 (java) S 7269 7269 6612 0 -1 1077944384 2181 0 0 0 25 25 0 0 20 0 28 0 145521210 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992229677488 139993967843970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7291] ppid=7269 vsize=26538700 memory=1380 CPUtime=1477.35 cores=0-7 /proc/7271/task/7291/stat : 7291 (java) R 7269 7269 6612 0 -1 4202560 3866 0 0 0 147730 5 0 0 20 0 28 0 145522319 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992222161752 139993609384545 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7292] ppid=7269 vsize=26538700 memory=5237064 CPUtime=1479.64 cores=0-7 /proc/7271/task/7292/stat : 7292 (java) R 7269 7269 6612 0 -1 4202560 3728 0 0 0 147960 4 0 0 20 0 28 0 145522319 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992221110568 139993609437141 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7293] ppid=7269 vsize=26538700 memory=8112282956445269571 CPUtime=1474.55 cores=0-7 /proc/7271/task/7293/stat : 7293 (java) R 7269 7269 6612 0 -1 4202560 19060 0 0 0 147361 94 0 0 20 0 28 0 145522319 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992220057912 139993609410263 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7294] ppid=7269 vsize=26538700 memory=4126316290023845779 CPUtime=1474.46 cores=0-7 /proc/7271/task/7294/stat : 7294 (java) R 7269 7269 6612 0 -1 4202560 18991 0 0 0 147346 100 0 0 20 0 28 0 145522319 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992219005480 139993609408629 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7295] ppid=7269 vsize=26538700 memory=960 CPUtime=1478.15 cores=0-7 /proc/7271/task/7295/stat : 7295 (java) R 7269 7269 6612 0 -1 4202560 3737 0 0 0 147813 2 0 0 20 0 28 0 145522319 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992217952696 139993609386115 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7296] ppid=7269 vsize=26538700 memory=2424 CPUtime=1477.01 cores=0-7 /proc/7271/task/7296/stat : 7296 (java) R 7269 7269 6612 0 -1 4202560 23382 0 0 0 147602 99 0 0 20 0 28 0 145522319 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992216900280 139993609385054 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7297] ppid=7269 vsize=26538700 memory=2236 CPUtime=1468.74 cores=0-7 /proc/7271/task/7297/stat : 7297 (java) R 7269 7269 6612 0 -1 4202560 8843 0 0 0 146840 34 0 0 20 0 28 0 145522319 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992215846584 139993609410703 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7298] ppid=7269 vsize=26538700 memory=4084 CPUtime=1479.33 cores=0-7 /proc/7271/task/7298/stat : 7298 (java) R 7269 7269 6612 0 -1 4202560 3485 0 0 0 147928 5 0 0 20 0 28 0 145522319 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992214793920 139993609410703 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 Current children cumulated CPU time: 11836.8 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 5238444 KiB [startup+1492.8 s] /proc/loadavg: 8.37 8.35 8.21 9/208 7324 /proc/meminfo: memFree=20969856/32770624 swapFree=67108860/67108860 [pid=7269] ppid=7266 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/7269/stat : 7269 (xcsp3-exec) S 7266 7269 6612 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 145521204 9740288 345 33554432000 4194304 5098028 140734255882240 140734255880344 140139523089020 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16482304 140734255883365 140734255883575 140734255883575 140734255886315 0 /proc/7269/statm: 2378 345 289 221 0 87 0 [pid=7271] ppid=7269 vsize=26538700 memory=5237064 CPUtime=11840 cores=0-7 /proc/7271/stat : 7271 (java) S 7269 7269 6612 0 -1 1077944320 167817 0 0 0 1183304 701 0 0 20 0 28 0 145521204 27175628800 1309266 33554432000 4194304 4196468 140721738223328 140721738205872 139993967832823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 /proc/7271/statm: 6634675 1309266 3289 1 0 6621909 0 [pid=7271/tid=7272] ppid=7269 vsize=26538700 memory=5237064 CPUtime=10.04 cores=0-7 /proc/7271/task/7272/stat : 7272 (java) S 7269 7269 6612 0 -1 1077944384 10806 0 0 0 970 34 0 0 20 0 28 0 145521205 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139993972073600 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7273] ppid=7269 vsize=26538700 memory=1380 CPUtime=1.54 cores=0-7 /proc/7271/task/7273/stat : 7273 (java) S 7269 7269 6612 0 -1 1077944384 2553 0 0 0 117 37 0 0 20 0 28 0 145521205 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139993924385040 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7274] ppid=7269 vsize=26538700 memory=5237064 CPUtime=1.52 cores=0-7 /proc/7271/task/7274/stat : 7274 (java) S 7269 7269 6612 0 -1 1077944384 1896 0 0 0 114 38 0 0 20 0 28 0 145521205 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139993923332496 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7275] ppid=7269 vsize=26538700 memory=8112282956445269571 CPUtime=1.52 cores=0-7 /proc/7271/task/7275/stat : 7275 (java) S 7269 7269 6612 0 -1 1077944384 2168 0 0 0 113 39 0 0 20 0 28 0 145521205 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139993524337168 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7276] ppid=7269 vsize=26538700 memory=960 CPUtime=1.53 cores=0-7 /proc/7271/task/7276/stat : 7276 (java) S 7269 7269 6612 0 -1 1077944384 2526 0 0 0 113 40 0 0 20 0 28 0 145521206 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139993523284624 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7277] ppid=7269 vsize=26538700 memory=2424 CPUtime=1.53 cores=0-7 /proc/7271/task/7277/stat : 7277 (java) S 7269 7269 6612 0 -1 1077944384 2242 0 0 0 117 36 0 0 20 0 28 0 145521206 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139993522232080 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7278] ppid=7269 vsize=26538700 memory=2236 CPUtime=1.53 cores=0-7 /proc/7271/task/7278/stat : 7278 (java) S 7269 7269 6612 0 -1 1077944384 2375 0 0 0 116 37 0 0 20 0 28 0 145521206 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139993521179536 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7279] ppid=7269 vsize=26538700 memory=4084 CPUtime=1.53 cores=0-7 /proc/7271/task/7279/stat : 7279 (java) S 7269 7269 6612 0 -1 1077944384 2441 0 0 0 113 40 0 0 20 0 28 0 145521206 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139993520126992 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7280] ppid=7269 vsize=26538700 memory=8112282956445269571 CPUtime=1.53 cores=0-7 /proc/7271/task/7280/stat : 7280 (java) S 7269 7269 6612 0 -1 1077944384 2717 0 0 0 113 40 0 0 20 0 28 0 145521206 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139993519074448 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7281] ppid=7269 vsize=26538700 memory=1696 CPUtime=0.27 cores=0-7 /proc/7271/task/7281/stat : 7281 (java) S 7269 7269 6612 0 -1 1077944384 10508 0 0 0 25 2 0 0 20 0 28 0 145521207 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992239151088 139993967843970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7282] ppid=7269 vsize=26538700 memory=916 CPUtime=0 cores=0-7 /proc/7271/task/7282/stat : 7282 (java) S 7269 7269 6612 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 145521207 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992238097376 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7283] ppid=7269 vsize=26538700 memory=4424 CPUtime=0 cores=0-7 /proc/7271/task/7283/stat : 7283 (java) S 7269 7269 6612 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 145521208 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992237044736 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7284] ppid=7269 vsize=26538700 memory=4104 CPUtime=0 cores=0-7 /proc/7271/task/7284/stat : 7284 (java) S 7269 7269 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145521210 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992235993296 139993967851419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7285] ppid=7269 vsize=26538700 memory=8112282956445269571 CPUtime=1.2 cores=0-7 /proc/7271/task/7285/stat : 7285 (java) S 7269 7269 6612 0 -1 1077944384 10953 0 0 0 118 2 0 0 20 0 28 0 145521210 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992234940912 139993967843970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7286] ppid=7269 vsize=26538700 memory=1572 CPUtime=1.36 cores=0-7 /proc/7271/task/7286/stat : 7286 (java) S 7269 7269 6612 0 -1 1077944384 11170 0 0 0 134 2 0 0 20 0 28 0 145521210 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992233888368 139993967843970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7287] ppid=7269 vsize=26538700 memory=2200 CPUtime=1.09 cores=0-7 /proc/7271/task/7287/stat : 7287 (java) S 7269 7269 6612 0 -1 1077944384 7386 0 0 0 109 0 0 0 20 0 28 0 145521210 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992232835824 139993967843970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7288] ppid=7269 vsize=26538700 memory=8048 CPUtime=0.72 cores=0-7 /proc/7271/task/7288/stat : 7288 (java) S 7269 7269 6612 0 -1 1077944384 9434 0 0 0 71 1 0 0 20 0 28 0 145521210 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992231783280 139993967843970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7289] ppid=7269 vsize=26538700 memory=836 CPUtime=0 cores=0-7 /proc/7271/task/7289/stat : 7289 (java) S 7269 7269 6612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145521210 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992230729952 139993967843029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7290] ppid=7269 vsize=26538700 memory=1696 CPUtime=0.5 cores=0-7 /proc/7271/task/7290/stat : 7290 (java) S 7269 7269 6612 0 -1 1077944384 2181 0 0 0 25 25 0 0 20 0 28 0 145521210 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992229677488 139993967843970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7291] ppid=7269 vsize=26538700 memory=8048 CPUtime=1477.75 cores=0-7 /proc/7271/task/7291/stat : 7291 (java) R 7269 7269 6612 0 -1 4202560 3866 0 0 0 147770 5 0 0 20 0 28 0 145522319 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992222161752 139993609385030 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7292] ppid=7269 vsize=26538700 memory=836 CPUtime=1480.04 cores=0-7 /proc/7271/task/7292/stat : 7292 (java) R 7269 7269 6612 0 -1 4202560 3728 0 0 0 148000 4 0 0 20 0 28 0 145522319 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992221110568 139993609385030 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7293] ppid=7269 vsize=26538700 memory=1696 CPUtime=1474.95 cores=0-7 /proc/7271/task/7293/stat : 7293 (java) R 7269 7269 6612 0 -1 4202560 19063 0 0 0 147401 94 0 0 20 0 28 0 145522319 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992220057912 139993609411126 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7294] ppid=7269 vsize=26538700 memory=916 CPUtime=1474.86 cores=0-7 /proc/7271/task/7294/stat : 7294 (java) R 7269 7269 6612 0 -1 4202560 18993 0 0 0 147386 100 0 0 20 0 28 0 145522319 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992219005480 139993610283925 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7295] ppid=7269 vsize=26538700 memory=4424 CPUtime=1478.55 cores=0-7 /proc/7271/task/7295/stat : 7295 (java) R 7269 7269 6612 0 -1 4202560 3737 0 0 0 147853 2 0 0 20 0 28 0 145522319 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992217952696 139993609411072 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7296] ppid=7269 vsize=26538700 memory=0 CPUtime=1477.41 cores=0-7 /proc/7271/task/7296/stat : 7296 (java) R 7269 7269 6612 0 -1 4202560 23383 0 0 0 147642 99 0 0 20 0 28 0 145522319 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992216900280 139993609410263 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7297] ppid=7269 vsize=26538700 memory=288293285494280815 CPUtime=1469.14 cores=0-7 /proc/7271/task/7297/stat : 7297 (java) R 7269 7269 6612 0 -1 4202560 8843 0 0 0 146880 34 0 0 20 0 28 0 145522319 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992215846584 139993609222281 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 [pid=7271/tid=7298] ppid=7269 vsize=26538700 memory=28829630602021044 CPUtime=1479.73 cores=0-7 /proc/7271/task/7298/stat : 7298 (java) R 7269 7269 6612 0 -1 4202560 3485 0 0 0 147968 5 0 0 20 0 28 0 145522319 27175628800 1309266 33554432000 4194304 4196468 140721738223328 139992214793920 139993609411006 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 8581120 140721738224786 140721738224963 140721738224963 140721738227663 0 Current children cumulated CPU time: 11840 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 5238444 KiB Child status: 0 Real time (s): 1492.89 CPU time (s): 11840.5 CPU user time (s): 11833.5 CPU system time (s): 7.04832 CPU usage (%): 793.128 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 5238444 getrusage(RUSAGE_CHILDREN,...) data: user time used= 11833.5 system time used= 7.04832 maximum resident set size= 5237440 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 170534 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1360 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38993 involuntary context switches= 119711 # summary of solver processes directly reported to runsolver: # pid: 7269 # total CPU time (s): 11840.5 # total CPU user time (s): 11833.5 # total CPU system time (s): 7.04832 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.0005 second user time and 18.8971 second system time The end
Begin job on node112 at 2017-08-19 08:17:56 IDJOB=4281000 IDBENCH=122829 IDSOLVER=2675 FILE ID=node112/4281000-1503124335 RUNJOBID= node112-1503120685-6639 PBS_JOBID= 20630770 Free space on /tmp= 61848 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Random/Random-RB-3-28-28f/rand-3-28-28-93-632f-05.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4281000-1503124335/watcher-4281000-1503124335 -o /tmp/evaluation-result-4281000-1503124335/solver-4281000-1503124335 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503120685-6639 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 735842977 HOME/instance-4281000-1503124335.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 1bf4ccefbf8ae7bb3bb3e34b69384fe1 RANDOM SEED=735842977 node112.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.24 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.24 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.24 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.24 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: 26199696 kB MemAvailable: 31968904 kB Buffers: 244580 kB Cached: 5814832 kB SwapCached: 0 kB Active: 1095344 kB Inactive: 5016064 kB Active(anon): 3992 kB Inactive(anon): 84428 kB Active(file): 1091352 kB Inactive(file): 4931636 kB Unevictable: 7840 kB Mlocked: 7840 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 14512 kB Writeback: 0 kB AnonPages: 60072 kB Mapped: 50448 kB Shmem: 33416 kB Slab: 151124 kB SReclaimable: 124112 kB SUnreclaim: 27012 kB KernelStack: 3136 kB PageTables: 4800 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333364 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61840 MiB End job on node112 at 2017-08-19 08:42:49