Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | SAT | 8.8049698 | 4.56108 |
Name | Renault/Renault-m1-s1/ Renault-megane-pos.xml |
MD5SUM | 21b1bfe08dea0128787163580c257a28 |
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 | 0.463669 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 99 |
Number of constraints | 113 |
Number of domains | 15 |
Minimum domain size | 1 |
Maximum domain size | 42 |
Distribution of domain sizes | [{"size":1,"count":6},{"size":2,"count":54},{"size":3,"count":15},{"size":4,"count":3},{"size":5,"count":9},{"size":6,"count":2},{"size":7,"count":1},{"size":9,"count":1},{"size":10,"count":2},{"size":11,"count":1},{"size":12,"count":1},{"size":13,"count":1},{"size":25,"count":1},{"size":29,"count":1},{"size":42,"count":1}] |
Minimum variable degree | 1 |
Maximum variable degree | 80 |
Distribution of variable degrees | [{"degree":1,"count":58},{"degree":2,"count":17},{"degree":3,"count":8},{"degree":4,"count":5},{"degree":5,"count":1},{"degree":7,"count":1},{"degree":10,"count":1},{"degree":18,"count":1},{"degree":28,"count":1},{"degree":31,"count":1},{"degree":55,"count":2},{"degree":58,"count":1},{"degree":72,"count":1},{"degree":80,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 10 |
Distribution of constraint arities | [{"arity":2,"count":21},{"arity":3,"count":13},{"arity":4,"count":11},{"arity":5,"count":9},{"arity":6,"count":38},{"arity":7,"count":14},{"arity":8,"count":5},{"arity":9,"count":1},{"arity":10,"count":1}] |
Number of extensional constraints | 113 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":113}] |
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-4271202-1502691325.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4271202-1502691325.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 7.35/4.32 c solve instance... 8.56/4.53 s SATISFIABLE 8.56/4.53 v <instantiation> 8.56/4.53 v <list>x0 x2 x4 x9 x10 x11 x12 x14 x1[0] x1[1] x1[2] x1[3] x1[4] x1[5] x1[6] x1[7] x1[8] x3[0] x3[1] x3[2] x3[3] x3[4] x3[5] x3[6] x3[7] x3[8] x3[9] x3[10] x3[11] x3[12] x3[13] x3[14] x3[15] x3[16] x3[17] x3[18] x3[19] x3[20] x3[21] x3[22] x3[23] x3[24] x3[25] x3[26] x3[27] x3[28] x3[29] x3[30] x3[31] x3[32] x3[33] x3[34] x3[35] x3[36] x3[37] x3[38] x3[39] x3[40] x3[41] x3[42] x3[43] x3[44] x3[45] x3[46] x3[47] x3[48] x3[49] x3[50] x3[51] x3[52] x3[53] x5[0] x5[1] x5[2] x5[3] x5[4] x5[5] x6[0] x6[1] x7[0] x7[1] x7[2] x7[3] x7[4] x7[5] x7[6] x7[7] x7[8] x7[9] x7[10] x7[11] x7[12] x7[13] x7[14] x8[0] x8[1] x8[2] x13[0] x13[1] </list> 8.56/4.53 v <values>7 4 20 8 9 6 2 21 2 2 2 2 2 4 0 3 4 0 0 1 1 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 1 1 1 1 1 1 0 0 1 0 1 0 0 1 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 3 5 2 0 2 0 0 1 2 0 2 2 2 2 0 1 1 0 0 2 5 5 </values> 8.56/4.53 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 (15045 MiB free) memory of node 1: 16384 MiB (15669 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271202-1502691325/watcher-4271202-1502691325 -o /tmp/evaluation-result-4271202-1502691325/solver-4271202-1502691325 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502685167-26091 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 650029163 HOME/instance-4271202-1502691325.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=29274, runsolver pid=29271 [startup+0.100125 s]* /proc/loadavg: 6.61 7.82 8.09 4/200 29295 /proc/meminfo: memFree=31436776/32770624 swapFree=67108860/67108860 [pid=29274] ppid=29271 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/29274/stat : 29274 (xcsp3-exec) S 29271 29274 26064 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 102220303 9740288 345 33554432000 4194304 5098028 140731614297936 140731614296040 139851098526332 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20500480 140731614299237 140731614299447 140731614299447 140731614302187 0 /proc/29274/statm: 2378 345 289 221 0 87 0 [pid=29276] ppid=29274 vsize=25999808 memory=26584 CPUtime=0.12 cores=0-7 /proc/29276/stat : 29276 (java) S 29274 29274 26064 0 -1 1077944320 5504 0 0 0 11 1 0 0 20 0 20 0 102220303 26623803392 6646 33554432000 4194304 4196468 140725840732944 140725840715488 140057381252855 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 /proc/29276/statm: 6499952 6646 2865 1 0 6488269 0 [pid=29276/tid=29277] ppid=29274 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/29276/task/29277/stat : 29277 (java) R 29274 29274 26064 0 -1 4202560 3505 0 0 0 8 0 0 0 20 0 20 0 102220303 26623803392 6646 33554432000 4194304 4196468 140725840732944 140057385479456 140057381264790 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29278] ppid=29274 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/29276/task/29278/stat : 29278 (java) S 29274 29274 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102220304 26623803392 6646 33554432000 4194304 4196468 140725840732944 140056940006032 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29279] ppid=29274 vsize=25999808 memory=140043124766336 CPUtime=0 cores=0-7 /proc/29276/task/29279/stat : 29279 (java) S 29274 29274 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102220304 26623803392 6646 33554432000 4194304 4196468 140725840732944 140056938953232 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29280] ppid=29274 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29280/stat : 29280 (java) S 29274 29274 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102220304 26623803392 6646 33554432000 4194304 4196468 140725840732944 140056937900432 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29281] ppid=29274 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29281/stat : 29281 (java) S 29274 29274 26064 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102220304 26623803392 6646 33554432000 4194304 4196468 140725840732944 140056936847632 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29282] ppid=29274 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29282/stat : 29282 (java) S 29274 29274 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102220304 26623803392 6646 33554432000 4194304 4196468 140725840732944 140056935795856 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29283] ppid=29274 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/29276/task/29283/stat : 29283 (java) S 29274 29274 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102220304 26623803392 6646 33554432000 4194304 4196468 140725840732944 140056934743056 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29284] ppid=29274 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29284/stat : 29284 (java) S 29274 29274 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102220304 26623803392 6646 33554432000 4194304 4196468 140725840732944 140056933690256 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29285] ppid=29274 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29285/stat : 29285 (java) S 29274 29274 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102220304 26623803392 6646 33554432000 4194304 4196468 140725840732944 140056932637456 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29286] ppid=29274 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29286/stat : 29286 (java) S 29274 29274 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102220306 26623803392 6646 33554432000 4194304 4196468 140725840732944 140056575875440 140057381264002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29287] ppid=29274 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29287/stat : 29287 (java) S 29274 29274 26064 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102220306 26623803392 6646 33554432000 4194304 4196468 140725840732944 140056574821408 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29288] ppid=29274 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29288/stat : 29288 (java) S 29274 29274 26064 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102220306 26623803392 6646 33554432000 4194304 4196468 140725840732944 140056573768560 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29289] ppid=29274 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29289/stat : 29289 (java) S 29274 29274 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102220309 26623803392 6646 33554432000 4194304 4196468 140725840732944 140056572716880 140057381271451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29290] ppid=29274 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29290/stat : 29290 (java) S 29274 29274 26064 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 102220309 26623803392 6646 33554432000 4194304 4196468 140725840732944 140056571665264 140057381264002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29291] ppid=29274 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29291/stat : 29291 (java) S 29274 29274 26064 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 102220309 26623803392 6646 33554432000 4194304 4196468 140725840732944 140056570612464 140057381264002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29292] ppid=29274 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29292/stat : 29292 (java) S 29274 29274 26064 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102220309 26623803392 6646 33554432000 4194304 4196468 140725840732944 140056569559664 140057381264002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29293] ppid=29274 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/29276/task/29293/stat : 29293 (java) R 29274 29274 26064 0 -1 4202560 266 0 0 0 1 0 0 0 20 0 20 0 102220309 26623803392 6646 33554432000 4194304 4196468 140725840732944 140056568506864 140057365333342 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29294] ppid=29274 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29294/stat : 29294 (java) S 29274 29274 26064 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102220309 26623803392 6646 33554432000 4194304 4196468 140725840732944 140056567454304 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29295] ppid=29274 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/29276/task/29295/stat : 29295 (java) S 29274 29274 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102220309 26623803392 6646 33554432000 4194304 4196468 140725840732944 140056566401584 140057381264002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27964 KiB [startup+0.209711 s]* /proc/loadavg: 6.61 7.82 8.09 3/200 29295 /proc/meminfo: memFree=31424360/32770624 swapFree=67108860/67108860 [pid=29274] ppid=29271 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/29274/stat : 29274 (xcsp3-exec) S 29271 29274 26064 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 102220303 9740288 345 33554432000 4194304 5098028 140731614297936 140731614296040 139851098526332 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20500480 140731614299237 140731614299447 140731614299447 140731614302187 0 /proc/29274/statm: 2378 345 289 221 0 87 0 [pid=29276] ppid=29274 vsize=26004064 memory=38672 CPUtime=0.33 cores=0-7 /proc/29276/stat : 29276 (java) S 29274 29274 26064 0 -1 1077944320 8313 0 0 0 31 2 0 0 20 0 20 0 102220303 26628161536 9668 33554432000 4194304 4196468 140725840732944 140725840715488 140057381252855 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 /proc/29276/statm: 6501016 9668 2979 1 0 6488269 0 [pid=29276/tid=29277] ppid=29274 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/29276/task/29277/stat : 29277 (java) R 29274 29274 26064 0 -1 4202560 5419 0 0 0 19 1 0 0 20 0 20 0 102220303 26628161536 9668 33554432000 4194304 4196468 140725840732944 140057385473856 140057365333342 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29278] ppid=29274 vsize=26004064 memory=329 CPUtime=0 cores=0-7 /proc/29276/task/29278/stat : 29278 (java) S 29274 29274 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102220304 26628161536 9668 33554432000 4194304 4196468 140725840732944 140056940006032 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29279] ppid=29274 vsize=26004064 memory=3762387591164884640 CPUtime=0 cores=0-7 /proc/29276/task/29279/stat : 29279 (java) S 29274 29274 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102220304 26628161536 9668 33554432000 4194304 4196468 140725840732944 140056938953232 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29280] ppid=29274 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/29276/task/29280/stat : 29280 (java) S 29274 29274 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102220304 26628161536 9668 33554432000 4194304 4196468 140725840732944 140056937900432 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29281] ppid=29274 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29281/stat : 29281 (java) S 29274 29274 26064 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102220304 26628161536 9668 33554432000 4194304 4196468 140725840732944 140056936847632 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29282] ppid=29274 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29282/stat : 29282 (java) S 29274 29274 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102220304 26628161536 9668 33554432000 4194304 4196468 140725840732944 140056935795856 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29283] ppid=29274 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/29276/task/29283/stat : 29283 (java) S 29274 29274 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102220304 26628161536 9668 33554432000 4194304 4196468 140725840732944 140056934743056 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29284] ppid=29274 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29284/stat : 29284 (java) S 29274 29274 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102220304 26628161536 9668 33554432000 4194304 4196468 140725840732944 140056933690256 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29285] ppid=29274 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29285/stat : 29285 (java) S 29274 29274 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102220304 26628161536 9668 33554432000 4194304 4196468 140725840732944 140056932637456 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29286] ppid=29274 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29286/stat : 29286 (java) S 29274 29274 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102220306 26628161536 9668 33554432000 4194304 4196468 140725840732944 140056575875440 140057381264002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29287] ppid=29274 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29287/stat : 29287 (java) S 29274 29274 26064 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102220306 26628161536 9668 33554432000 4194304 4196468 140725840732944 140056574821408 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29288] ppid=29274 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29288/stat : 29288 (java) S 29274 29274 26064 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102220306 26628161536 9668 33554432000 4194304 4196468 140725840732944 140056573768560 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29289] ppid=29274 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29289/stat : 29289 (java) S 29274 29274 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102220309 26628161536 9668 33554432000 4194304 4196468 140725840732944 140056572716880 140057381271451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29290] ppid=29274 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/29276/task/29290/stat : 29290 (java) S 29274 29274 26064 0 -1 1077944384 357 0 0 0 1 0 0 0 20 0 20 0 102220309 26628161536 9668 33554432000 4194304 4196468 140725840732944 140056571665264 140057381264002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29291] ppid=29274 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29291/stat : 29291 (java) S 29274 29274 26064 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 20 0 102220309 26628161536 9668 33554432000 4194304 4196468 140725840732944 140056570612464 140057381264002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29292] ppid=29274 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7 /proc/29276/task/29292/stat : 29292 (java) S 29274 29274 26064 0 -1 1077944384 327 0 0 0 2 0 0 0 20 0 20 0 102220309 26628161536 9668 33554432000 4194304 4196468 140725840732944 140056569559664 140057381264002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29293] ppid=29274 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/29276/task/29293/stat : 29293 (java) R 29274 29274 26064 0 -1 4202560 775 0 0 0 7 0 0 0 20 0 20 0 102220309 26628161536 9668 33554432000 4194304 4196468 140725840732944 140056568506864 140057359886724 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29294] ppid=29274 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29294/stat : 29294 (java) S 29274 29274 26064 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102220309 26628161536 9668 33554432000 4194304 4196468 140725840732944 140056567454304 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29295] ppid=29274 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/29276/task/29295/stat : 29295 (java) S 29274 29274 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102220309 26628161536 9668 33554432000 4194304 4196468 140725840732944 140056566401584 140057381264002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40052 KiB [startup+0.309484 s]* /proc/loadavg: 6.61 7.82 8.09 3/200 29295 /proc/meminfo: memFree=31420216/32770624 swapFree=67108860/67108860 [pid=29274] ppid=29271 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/29274/stat : 29274 (xcsp3-exec) S 29271 29274 26064 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 102220303 9740288 345 33554432000 4194304 5098028 140731614297936 140731614296040 139851098526332 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20500480 140731614299237 140731614299447 140731614299447 140731614302187 0 /proc/29274/statm: 2378 345 289 221 0 87 0 [pid=29276] ppid=29274 vsize=26004064 memory=45640 CPUtime=0.5 cores=0-7 /proc/29276/stat : 29276 (java) S 29274 29274 26064 0 -1 1077944320 9157 0 0 0 48 2 0 0 20 0 20 0 102220303 26628161536 11410 33554432000 4194304 4196468 140725840732944 140725840715488 140057381252855 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 /proc/29276/statm: 6501016 11410 3054 1 0 6488269 0 [pid=29276/tid=29277] ppid=29274 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/29276/task/29277/stat : 29277 (java) R 29274 29274 26064 0 -1 4202560 6088 0 0 0 28 1 0 0 20 0 20 0 102220303 26628161536 11476 33554432000 4194304 4196468 140725840732944 140057385479664 140057021163623 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29278] ppid=29274 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29278/stat : 29278 (java) S 29274 29274 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102220304 26628161536 11476 33554432000 4194304 4196468 140725840732944 140056940006032 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29279] ppid=29274 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29279/stat : 29279 (java) S 29274 29274 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102220304 26628161536 11542 33554432000 4194304 4196468 140725840732944 140056938953232 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29280] ppid=29274 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29280/stat : 29280 (java) S 29274 29274 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102220304 26628161536 11542 33554432000 4194304 4196468 140725840732944 140056937900432 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29281] ppid=29274 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29281/stat : 29281 (java) S 29274 29274 26064 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102220304 26628161536 11542 33554432000 4194304 4196468 140725840732944 140056936847632 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29282] ppid=29274 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/29276/task/29282/stat : 29282 (java) S 29274 29274 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102220304 26628161536 11542 33554432000 4194304 4196468 140725840732944 140056935795856 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29283] ppid=29274 vsize=26004064 memory=140042978816943 CPUtime=0 cores=0-7 /proc/29276/task/29283/stat : 29283 (java) S 29274 29274 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102220304 26628161536 11542 33554432000 4194304 4196468 140725840732944 140056934743056 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29284] ppid=29274 vsize=26004064 memory=140042978819248 CPUtime=0 cores=0-7 /proc/29276/task/29284/stat : 29284 (java) S 29274 29274 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102220304 26628161536 11542 33554432000 4194304 4196468 140725840732944 140056933690256 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29285] ppid=29274 vsize=26004064 memory=140042978821552 CPUtime=0 cores=0-7 /proc/29276/task/29285/stat : 29285 (java) S 29274 29274 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102220304 26628161536 11542 33554432000 4194304 4196468 140725840732944 140056932637456 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29286] ppid=29274 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29286/stat : 29286 (java) S 29274 29274 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102220306 26628161536 11542 33554432000 4194304 4196468 140725840732944 140056575875440 140057381264002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29287] ppid=29274 vsize=26004064 memory=280085957650064 CPUtime=0 cores=0-7 /proc/29276/task/29287/stat : 29287 (java) S 29274 29274 26064 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102220306 26628161536 11542 33554432000 4194304 4196468 140725840732944 140056574821408 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29288] ppid=29274 vsize=26004064 memory=280085957656976 CPUtime=0 cores=0-7 /proc/29276/task/29288/stat : 29288 (java) S 29274 29274 26064 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102220306 26628161536 11542 33554432000 4194304 4196468 140725840732944 140056573768560 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29289] ppid=29274 vsize=26004064 memory=280085957598256 CPUtime=0 cores=0-7 /proc/29276/task/29289/stat : 29289 (java) S 29274 29274 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102220309 26628161536 11542 33554432000 4194304 4196468 140725840732944 140056572716880 140057381271451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29290] ppid=29274 vsize=26004064 memory=280085957670800 CPUtime=0.02 cores=0-7 /proc/29276/task/29290/stat : 29290 (java) R 29274 29274 26064 0 -1 4202560 399 0 0 0 2 0 0 0 20 0 20 0 102220309 26628161536 11542 33554432000 4194304 4196468 140725840732944 140056571646280 140057361954343 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29291] ppid=29274 vsize=26004064 memory=280085957677712 CPUtime=0.01 cores=0-7 /proc/29276/task/29291/stat : 29291 (java) R 29274 29274 26064 0 -1 4202560 250 0 0 0 1 0 0 0 20 0 20 0 102220309 26628161536 11608 33554432000 4194304 4196468 140725840732944 140056570593368 140057373542237 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29292] ppid=29274 vsize=26004064 memory=280085957675408 CPUtime=0.03 cores=0-7 /proc/29276/task/29292/stat : 29292 (java) S 29274 29274 26064 0 -1 1077944384 330 0 0 0 3 0 0 0 20 0 20 0 102220309 26628161536 11608 33554432000 4194304 4196468 140725840732944 140056569559664 140057381264002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29293] ppid=29274 vsize=26004064 memory=280085957691568 CPUtime=0.12 cores=0-7 /proc/29276/task/29293/stat : 29293 (java) R 29274 29274 26064 0 -1 4202560 926 0 0 0 12 0 0 0 20 0 20 0 102220309 26628161536 11608 33554432000 4194304 4196468 140725840732944 140056568503816 140057359621494 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29294] ppid=29274 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29294/stat : 29294 (java) S 29274 29274 26064 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102220309 26628161536 11608 33554432000 4194304 4196468 140725840732944 140056567454304 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29295] ppid=29274 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/29276/task/29295/stat : 29295 (java) S 29274 29274 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102220309 26628161536 11608 33554432000 4194304 4196468 140725840732944 140056566401584 140057381264002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47020 KiB [startup+0.7009 s] /proc/loadavg: 6.61 7.82 8.09 5/200 29295 /proc/meminfo: memFree=31376536/32770624 swapFree=67108860/67108860 [pid=29274] ppid=29271 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/29274/stat : 29274 (xcsp3-exec) S 29271 29274 26064 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 102220303 9740288 345 33554432000 4194304 5098028 140731614297936 140731614296040 139851098526332 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20500480 140731614299237 140731614299447 140731614299447 140731614302187 0 /proc/29274/statm: 2378 345 289 221 0 87 0 [pid=29276] ppid=29274 vsize=26004140 memory=195600 CPUtime=1.66 cores=0-7 /proc/29276/stat : 29276 (java) S 29274 29274 26064 0 -1 1077944320 12434 0 0 0 157 9 0 0 20 0 20 0 102220303 26628239360 48900 33554432000 4194304 4196468 140725840732944 140725840715488 140057381252855 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 /proc/29276/statm: 6501035 48900 3204 1 0 6488269 0 [pid=29276/tid=29277] ppid=29274 vsize=26004140 memory=280085958049456 CPUtime=0.66 cores=0-7 /proc/29276/task/29277/stat : 29277 (java) R 29274 29274 26064 0 -1 4202560 6462 0 0 0 63 3 0 0 20 0 20 0 102220303 26628239360 48900 33554432000 4194304 4196468 140725840732944 140057385487112 140057022243296 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29278] ppid=29274 vsize=26004140 memory=140042979025776 CPUtime=0 cores=0-7 /proc/29276/task/29278/stat : 29278 (java) S 29274 29274 26064 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 102220304 26628239360 48900 33554432000 4194304 4196468 140725840732944 140056940006032 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29279] ppid=29274 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29279/stat : 29279 (java) S 29274 29274 26064 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 102220304 26628239360 48900 33554432000 4194304 4196468 140725840732944 140056938953232 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29280] ppid=29274 vsize=26004140 memory=4612 CPUtime=0 cores=0-7 /proc/29276/task/29280/stat : 29280 (java) S 29274 29274 26064 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 102220304 26628239360 48900 33554432000 4194304 4196468 140725840732944 140056937900432 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 ################ # More data... # ################ /proc/29276/task/29294/stat : 29294 (java) S 29274 29274 26064 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102220309 26630336512 181778 33554432000 4194304 4196468 140725840732944 140056567454304 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29295] ppid=29274 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29295/stat : 29295 (java) S 29274 29274 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102220309 26630336512 181778 33554432000 4194304 4196468 140725840732944 140056566401584 140057381264002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 Current children cumulated CPU time: 6.03 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 728492 KiB [startup+4.00081 s]* /proc/loadavg: 6.16 7.70 8.05 2/200 29295 /proc/meminfo: memFree=30529588/32770624 swapFree=67108860/67108860 [pid=29274] ppid=29271 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/29274/stat : 29274 (xcsp3-exec) S 29271 29274 26064 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 102220303 9740288 345 33554432000 4194304 5098028 140731614297936 140731614296040 139851098526332 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20500480 140731614299237 140731614299447 140731614299447 140731614302187 0 /proc/29274/statm: 2378 345 289 221 0 87 0 [pid=29276] ppid=29274 vsize=26006188 memory=942360 CPUtime=7.03 cores=0-7 /proc/29276/stat : 29276 (java) S 29274 29274 26064 0 -1 1077944320 17619 0 0 0 624 79 0 0 20 0 20 0 102220303 26630336512 235590 33554432000 4194304 4196468 140725840732944 140725840715488 140057381252855 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 /proc/29276/statm: 6501547 235590 3239 1 0 6488781 0 [pid=29276/tid=29277] ppid=29274 vsize=26006188 memory=6791534058613427641 CPUtime=3.81 cores=0-7 /proc/29276/task/29277/stat : 29277 (java) R 29274 29274 26064 0 -1 4202560 7192 0 0 0 368 13 0 0 20 0 20 0 102220303 26630336512 235590 33554432000 4194304 4196468 140725840732944 140057385491168 140057022280735 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29278] ppid=29274 vsize=26006188 memory=4872558044660077418 CPUtime=0.14 cores=0-7 /proc/29276/task/29278/stat : 29278 (java) S 29274 29274 26064 0 -1 1077944384 173 0 0 0 7 7 0 0 20 0 20 0 102220304 26630336512 235590 33554432000 4194304 4196468 140725840732944 140056940006032 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29279] ppid=29274 vsize=26006188 memory=4049730679710477295 CPUtime=0.14 cores=0-7 /proc/29276/task/29279/stat : 29279 (java) S 29274 29274 26064 0 -1 1077944384 163 0 0 0 6 8 0 0 20 0 20 0 102220304 26630336512 235590 33554432000 4194304 4196468 140725840732944 140056938953232 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29280] ppid=29274 vsize=26006188 memory=4919630844377696559 CPUtime=0.14 cores=0-7 /proc/29276/task/29280/stat : 29280 (java) S 29274 29274 26064 0 -1 1077944384 151 0 0 0 7 7 0 0 20 0 20 0 102220304 26630336512 235590 33554432000 4194304 4196468 140725840732944 140056937900432 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29281] ppid=29274 vsize=26006188 memory=-8985395855772247728 CPUtime=0.14 cores=0-7 /proc/29276/task/29281/stat : 29281 (java) S 29274 29274 26064 0 -1 1077944384 183 0 0 0 6 8 0 0 20 0 20 0 102220304 26630336512 235590 33554432000 4194304 4196468 140725840732944 140056936847632 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29282] ppid=29274 vsize=26006188 memory=4486599637793467488 CPUtime=0.14 cores=0-7 /proc/29276/task/29282/stat : 29282 (java) S 29274 29274 26064 0 -1 1077944384 421 0 0 0 6 8 0 0 20 0 20 0 102220304 26630336512 235590 33554432000 4194304 4196468 140725840732944 140056935795856 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29283] ppid=29274 vsize=26006188 memory=8243103963152648755 CPUtime=0.14 cores=0-7 /proc/29276/task/29283/stat : 29283 (java) S 29274 29274 26064 0 -1 1077944384 196 0 0 0 6 8 0 0 20 0 20 0 102220304 26630336512 235590 33554432000 4194304 4196468 140725840732944 140056934743056 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29284] ppid=29274 vsize=26006188 memory=-7380419512658982528 CPUtime=0.14 cores=0-7 /proc/29276/task/29284/stat : 29284 (java) S 29274 29274 26064 0 -1 1077944384 164 0 0 0 6 8 0 0 20 0 20 0 102220304 26630336512 235590 33554432000 4194304 4196468 140725840732944 140056933690256 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29285] ppid=29274 vsize=26006188 memory=-7019868629102263675 CPUtime=0.13 cores=0-7 /proc/29276/task/29285/stat : 29285 (java) S 29274 29274 26064 0 -1 1077944384 146 0 0 0 7 6 0 0 20 0 20 0 102220304 26630336512 235590 33554432000 4194304 4196468 140725840732944 140056932637456 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29286] ppid=29274 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29286/stat : 29286 (java) S 29274 29274 26064 0 -1 1077944384 502 0 0 0 0 0 0 0 20 0 20 0 102220306 26630336512 235590 33554432000 4194304 4196468 140725840732944 140056575875440 140057381264002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29287] ppid=29274 vsize=26006188 memory=-6943855650595571281 CPUtime=0 cores=0-7 /proc/29276/task/29287/stat : 29287 (java) S 29274 29274 26064 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 102220306 26630336512 235590 33554432000 4194304 4196468 140725840732944 140056574821472 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29288] ppid=29274 vsize=26006188 memory=1380 CPUtime=0 cores=0-7 /proc/29276/task/29288/stat : 29288 (java) S 29274 29274 26064 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 102220306 26630336512 235590 33554432000 4194304 4196468 140725840732944 140056573768576 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29289] ppid=29274 vsize=26006188 memory=673204 CPUtime=0 cores=0-7 /proc/29276/task/29289/stat : 29289 (java) S 29274 29274 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102220309 26630336512 235590 33554432000 4194304 4196468 140725840732944 140056572716880 140057381271451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29290] ppid=29274 vsize=26006188 memory=8257237230052613020 CPUtime=0.65 cores=0-7 /proc/29276/task/29290/stat : 29290 (java) S 29274 29274 26064 0 -1 1077944384 2781 0 0 0 65 0 0 0 20 0 20 0 102220309 26630336512 235590 33554432000 4194304 4196468 140725840732944 140056571665264 140057381264002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29291] ppid=29274 vsize=26006188 memory=-7384994778349281184 CPUtime=0.4 cores=0-7 /proc/29276/task/29291/stat : 29291 (java) S 29274 29274 26064 0 -1 1077944384 892 0 0 0 40 0 0 0 20 0 20 0 102220309 26630336512 235590 33554432000 4194304 4196468 140725840732944 140056570612464 140057381264002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29292] ppid=29274 vsize=26006188 memory=-7522837415797432224 CPUtime=0.43 cores=0-7 /proc/29276/task/29292/stat : 29292 (java) S 29274 29274 26064 0 -1 1077944384 1189 0 0 0 43 0 0 0 20 0 20 0 102220309 26630336512 235590 33554432000 4194304 4196468 140725840732944 140056569559664 140057381264002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29293] ppid=29274 vsize=26006188 memory=-7522837583129502606 CPUtime=0.5 cores=0-7 /proc/29276/task/29293/stat : 29293 (java) S 29274 29274 26064 0 -1 1077944384 2169 0 0 0 50 0 0 0 20 0 20 0 102220309 26630336512 235590 33554432000 4194304 4196468 140725840732944 140056568506864 140057381264002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29294] ppid=29274 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29294/stat : 29294 (java) S 29274 29274 26064 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102220309 26630336512 235590 33554432000 4194304 4196468 140725840732944 140056567454304 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29295] ppid=29274 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29295/stat : 29295 (java) S 29274 29274 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102220309 26630336512 235590 33554432000 4194304 4196468 140725840732944 140056566401584 140057381264002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 Current children cumulated CPU time: 7.03 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 943740 KiB [startup+4.40175 s] /proc/loadavg: 6.16 7.70 8.05 2/200 29295 /proc/meminfo: memFree=30529588/32770624 swapFree=67108860/67108860 [pid=29274] ppid=29271 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/29274/stat : 29274 (xcsp3-exec) S 29271 29274 26064 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 102220303 9740288 345 33554432000 4194304 5098028 140731614297936 140731614296040 139851098526332 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20500480 140731614299237 140731614299447 140731614299447 140731614302187 0 /proc/29274/statm: 2378 345 289 221 0 87 0 [pid=29276] ppid=29274 vsize=26472136 memory=1221800 CPUtime=7.84 cores=0-7 /proc/29276/stat : 29276 (java) S 29274 29274 26064 0 -1 1077944320 18379 0 0 0 678 106 0 0 20 0 27 0 102220303 27107467264 305450 33554432000 4194304 4196468 140725840732944 140725840715488 140057381252855 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 /proc/29276/statm: 6618034 305450 3239 1 0 6605268 0 [pid=29276/tid=29277] ppid=29274 vsize=26472136 memory=127913991080682 CPUtime=4.14 cores=0-7 /proc/29276/task/29277/stat : 29277 (java) S 29274 29274 26064 0 -1 1077944384 7392 0 0 0 398 16 0 0 20 0 27 0 102220303 27107467264 305450 33554432000 4194304 4196468 140725840732944 140057385493632 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29278] ppid=29274 vsize=26472136 memory=127913991080682 CPUtime=0.2 cores=0-7 /proc/29276/task/29278/stat : 29278 (java) R 29274 29274 26064 0 -1 4202560 214 0 0 0 9 11 0 0 20 0 27 0 102220304 27107467264 305450 33554432000 4194304 4196468 140725840732944 140056940006032 140057366281032 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29279] ppid=29274 vsize=26472136 memory=127913991080682 CPUtime=0.19 cores=0-7 /proc/29276/task/29279/stat : 29279 (java) R 29274 29274 26064 0 -1 4202560 204 0 0 0 9 10 0 0 20 0 27 0 102220304 27107467264 305450 33554432000 4194304 4196468 140725840732944 140056938953232 140057366274976 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29280] ppid=29274 vsize=26472136 memory=127913991080426 CPUtime=0.2 cores=0-7 /proc/29276/task/29280/stat : 29280 (java) R 29274 29274 26064 0 -1 4202560 188 0 0 0 10 10 0 0 20 0 27 0 102220304 27107467264 305450 33554432000 4194304 4196468 140725840732944 140056937900632 140057374355889 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29281] ppid=29274 vsize=26472136 memory=0 CPUtime=0.19 cores=0-7 /proc/29276/task/29281/stat : 29281 (java) R 29274 29274 26064 0 -1 4202560 228 0 0 0 9 10 0 0 20 0 27 0 102220304 27107467264 305450 33554432000 4194304 4196468 140725840732944 140056936847832 140057366279664 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29282] ppid=29274 vsize=26472136 memory=7666344203699839081 CPUtime=0.19 cores=0-7 /proc/29276/task/29282/stat : 29282 (java) R 29274 29274 26064 0 -1 4202560 466 0 0 0 9 10 0 0 20 0 27 0 102220304 27107467264 305450 33554432000 4194304 4196468 140725840732944 140056935796056 140057366280274 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29283] ppid=29274 vsize=26472136 memory=7163647367288940903 CPUtime=0.19 cores=0-7 /proc/29276/task/29283/stat : 29283 (java) R 29274 29274 26064 0 -1 4202560 233 0 0 0 9 10 0 0 20 0 27 0 102220304 27107467264 305450 33554432000 4194304 4196468 140725840732944 140056934743056 140057366280274 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29284] ppid=29274 vsize=26472136 memory=6081105692001070698 CPUtime=0.2 cores=0-7 /proc/29276/task/29284/stat : 29284 (java) R 29274 29274 26064 0 -1 4202560 226 0 0 0 9 11 0 0 20 0 27 0 102220304 27107467264 305450 33554432000 4194304 4196468 140725840732944 140056933690256 140057366280274 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29285] ppid=29274 vsize=26472136 memory=7588684550706915689 CPUtime=0.18 cores=0-7 /proc/29276/task/29285/stat : 29285 (java) R 29274 29274 26064 0 -1 4202560 183 0 0 0 9 9 0 0 20 0 27 0 102220304 27107467264 305450 33554432000 4194304 4196468 140725840732944 140056932637344 140057366280274 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29286] ppid=29274 vsize=26472136 memory=7516877558933115477 CPUtime=0 cores=0-7 /proc/29276/task/29286/stat : 29286 (java) S 29274 29274 26064 0 -1 1077944384 503 0 0 0 0 0 0 0 20 0 27 0 102220306 27107467264 305450 33554432000 4194304 4196468 140725840732944 140056575873952 140057381263061 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29287] ppid=29274 vsize=26472136 memory=7881696724453321575 CPUtime=0 cores=0-7 /proc/29276/task/29287/stat : 29287 (java) S 29274 29274 26064 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 27 0 102220306 27107467264 305450 33554432000 4194304 4196468 140725840732944 140056574821472 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29288] ppid=29274 vsize=26472136 memory=5787500903046145365 CPUtime=0 cores=0-7 /proc/29276/task/29288/stat : 29288 (java) S 29274 29274 26064 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 27 0 102220306 27107467264 305450 33554432000 4194304 4196468 140725840732944 140056573768576 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29289] ppid=29274 vsize=26472136 memory=4642456196275523664 CPUtime=0 cores=0-7 /proc/29276/task/29289/stat : 29289 (java) S 29274 29274 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 27 0 102220309 27107467264 305450 33554432000 4194304 4196468 140725840732944 140056572716880 140057381271451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29290] ppid=29274 vsize=26472136 memory=5932762877087012201 CPUtime=0.65 cores=0-7 /proc/29276/task/29290/stat : 29290 (java) S 29274 29274 26064 0 -1 1077944384 2781 0 0 0 65 0 0 0 20 0 27 0 102220309 27107467264 305450 33554432000 4194304 4196468 140725840732944 140056571665264 140057381264002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29291] ppid=29274 vsize=26472136 memory=6076878065162868073 CPUtime=0.41 cores=0-7 /proc/29276/task/29291/stat : 29291 (java) S 29274 29274 26064 0 -1 1077944384 895 0 0 0 41 0 0 0 20 0 27 0 102220309 27107467264 305450 33554432000 4194304 4196468 140725840732944 140056570612464 140057381264002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29292] ppid=29274 vsize=26472136 memory=7236547281622689387 CPUtime=0.44 cores=0-7 /proc/29276/task/29292/stat : 29292 (java) S 29274 29274 26064 0 -1 1077944384 1190 0 0 0 44 0 0 0 20 0 27 0 102220309 27107467264 305450 33554432000 4194304 4196468 140725840732944 140056569559664 140057381264002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29293] ppid=29274 vsize=26472136 memory=1380 CPUtime=0.5 cores=0-7 /proc/29276/task/29293/stat : 29293 (java) S 29274 29274 26064 0 -1 1077944384 2178 0 0 0 50 0 0 0 20 0 27 0 102220309 27107467264 305450 33554432000 4194304 4196468 140725840732944 140056568506864 140057381264002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29294] ppid=29274 vsize=26472136 memory=768260 CPUtime=0 cores=0-7 /proc/29276/task/29294/stat : 29294 (java) S 29274 29274 26064 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 102220309 27107467264 305450 33554432000 4194304 4196468 140725840732944 140056567454304 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29295] ppid=29274 vsize=26472136 memory=1228 CPUtime=0 cores=0-7 /proc/29276/task/29295/stat : 29295 (java) S 29274 29274 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 27 0 102220309 27107467264 305450 33554432000 4194304 4196468 140725840732944 140056566401584 140057381264002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 Current children cumulated CPU time: 7.84 s Current children cumulated vsize: 26481648 KiB Current children cumulated memory: 1223180 KiB [startup+4.50293 s] /proc/loadavg: 6.16 7.70 8.05 2/200 29295 /proc/meminfo: memFree=30529588/32770624 swapFree=67108860/67108860 [pid=29274] ppid=29271 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/29274/stat : 29274 (xcsp3-exec) S 29271 29274 26064 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 102220303 9740288 345 33554432000 4194304 5098028 140731614297936 140731614296040 139851098526332 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20500480 140731614299237 140731614299447 140731614299447 140731614302187 0 /proc/29274/statm: 2378 345 289 221 0 87 0 [pid=29276] ppid=29274 vsize=26538700 memory=1247164 CPUtime=8.56 cores=0-7 /proc/29276/stat : 29276 (java) S 29274 29274 26064 0 -1 1077944320 19222 0 0 0 743 113 0 0 20 0 28 0 102220303 27175628800 311791 33554432000 4194304 4196468 140725840732944 140725840715488 140057381252855 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 /proc/29276/statm: 6634675 311791 3239 1 0 6621909 0 [pid=29276/tid=29277] ppid=29274 vsize=26538700 memory=1126680 CPUtime=4.14 cores=0-7 /proc/29276/task/29277/stat : 29277 (java) S 29274 29274 26064 0 -1 1077944384 7392 0 0 0 398 16 0 0 20 0 28 0 102220303 27175628800 311791 33554432000 4194304 4196468 140725840732944 140057385493632 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29278] ppid=29274 vsize=26538700 memory=727164 CPUtime=0.22 cores=0-7 /proc/29276/task/29278/stat : 29278 (java) S 29274 29274 26064 0 -1 1077944384 228 0 0 0 10 12 0 0 20 0 28 0 102220304 27175628800 311791 33554432000 4194304 4196468 140725840732944 140056940006032 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29279] ppid=29274 vsize=26538700 memory=673408 CPUtime=0.22 cores=0-7 /proc/29276/task/29279/stat : 29279 (java) S 29274 29274 26064 0 -1 1077944384 213 0 0 0 11 11 0 0 20 0 28 0 102220304 27175628800 311791 33554432000 4194304 4196468 140725840732944 140056938953232 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29280] ppid=29274 vsize=26538700 memory=14 CPUtime=0.22 cores=0-7 /proc/29276/task/29280/stat : 29280 (java) S 29274 29274 26064 0 -1 1077944384 197 0 0 0 11 11 0 0 20 0 28 0 102220304 27175628800 311791 33554432000 4194304 4196468 140725840732944 140056937900432 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29281] ppid=29274 vsize=26538700 memory=14 CPUtime=0.22 cores=0-7 /proc/29276/task/29281/stat : 29281 (java) S 29274 29274 26064 0 -1 1077944384 237 0 0 0 11 11 0 0 20 0 28 0 102220304 27175628800 311791 33554432000 4194304 4196468 140725840732944 140056936847632 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29282] ppid=29274 vsize=26538700 memory=14 CPUtime=0.21 cores=0-7 /proc/29276/task/29282/stat : 29282 (java) S 29274 29274 26064 0 -1 1077944384 477 0 0 0 10 11 0 0 20 0 28 0 102220304 27175628800 311791 33554432000 4194304 4196468 140725840732944 140056935795856 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29283] ppid=29274 vsize=26538700 memory=14 CPUtime=0.22 cores=0-7 /proc/29276/task/29283/stat : 29283 (java) S 29274 29274 26064 0 -1 1077944384 248 0 0 0 11 11 0 0 20 0 28 0 102220304 27175628800 311791 33554432000 4194304 4196468 140725840732944 140056934743056 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29284] ppid=29274 vsize=26538700 memory=14 CPUtime=0.22 cores=0-7 /proc/29276/task/29284/stat : 29284 (java) S 29274 29274 26064 0 -1 1077944384 259 0 0 0 10 12 0 0 20 0 28 0 102220304 27175628800 311791 33554432000 4194304 4196468 140725840732944 140056933690256 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29285] ppid=29274 vsize=26538700 memory=56 CPUtime=0.21 cores=0-7 /proc/29276/task/29285/stat : 29285 (java) S 29274 29274 26064 0 -1 1077944384 192 0 0 0 11 10 0 0 20 0 28 0 102220304 27175628800 311791 33554432000 4194304 4196468 140725840732944 140056932637456 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29286] ppid=29274 vsize=26538700 memory=13815 CPUtime=0.01 cores=0-7 /proc/29276/task/29286/stat : 29286 (java) S 29274 29274 26064 0 -1 1077944384 1026 0 0 0 1 0 0 0 20 0 28 0 102220306 27175628800 311791 33554432000 4194304 4196468 140725840732944 140056575875440 140057381264002 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29287] ppid=29274 vsize=26538700 memory=26188 CPUtime=0 cores=0-7 /proc/29276/task/29287/stat : 29287 (java) S 29274 29274 26064 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 102220306 27175628800 311791 33554432000 4194304 4196468 140725840732944 140056574821472 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29288] ppid=29274 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29288/stat : 29288 (java) S 29274 29274 26064 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 102220306 27175628800 311791 33554432000 4194304 4196468 140725840732944 140056573768576 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29289] ppid=29274 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/29276/task/29289/stat : 29289 (java) S 29274 29274 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102220309 27175628800 311791 33554432000 4194304 4196468 140725840732944 140056572716880 140057381271451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29290] ppid=29274 vsize=26538700 memory=280085958199072 CPUtime=0.66 cores=0-7 /proc/29276/task/29290/stat : 29290 (java) S 29274 29274 26064 0 -1 1077944384 2782 0 0 0 66 0 0 0 20 0 28 0 102220309 27175628800 311791 33554432000 4194304 4196468 140725840732944 140056571665264 140057381264002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29291] ppid=29274 vsize=26538700 memory=-6368199152461293614 CPUtime=0.42 cores=0-7 /proc/29276/task/29291/stat : 29291 (java) R 29274 29274 26064 0 -1 1077944384 907 0 0 0 42 0 0 0 20 0 28 0 102220309 27175628800 311791 33554432000 4194304 4196468 140725840732944 140056570605488 140057381263061 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29292] ppid=29274 vsize=26538700 memory=-7662980745959663145 CPUtime=0.45 cores=0-7 /proc/29276/task/29292/stat : 29292 (java) R 29274 29274 26064 0 -1 4202560 1193 0 0 0 45 0 0 0 20 0 28 0 102220309 27175628800 311791 33554432000 4194304 4196468 140725840732944 140056569541232 140057360497144 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29293] ppid=29274 vsize=26538700 memory=6944656592385698452 CPUtime=0.53 cores=0-7 /proc/29276/task/29293/stat : 29293 (java) R 29274 29274 26064 0 -1 4202560 2248 0 0 0 53 0 0 0 20 0 28 0 102220309 27175628800 311791 33554432000 4194304 4196468 140725840732944 140056568502816 140057374349691 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29294] ppid=29274 vsize=26538700 memory=-7161131788332309537 CPUtime=0 cores=0-7 /proc/29276/task/29294/stat : 29294 (java) S 29274 29274 26064 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102220309 27175628800 311791 33554432000 4194304 4196468 140725840732944 140056567454304 140057381263061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 [pid=29276/tid=29295] ppid=29274 vsize=26538700 memory=-8316900901535099443 CPUtime=0 cores=0-7 /proc/29276/task/29295/stat : 29295 (java) S 29274 29274 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102220309 27175628800 311791 33554432000 4194304 4196468 140725840732944 140056566401584 140057381264002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140725840737426 140725840737603 140725840737603 140725840740303 0 Current children cumulated CPU time: 8.56 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 1248544 KiB Child status: 0 Real time (s): 4.56108 CPU time (s): 8.80497 CPU user time (s): 7.65964 CPU system time (s): 1.14533 CPU usage (%): 193.046 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 1248544 getrusage(RUSAGE_CHILDREN,...) data: user time used= 7.65964 system time used= 1.14533 maximum resident set size= 1248584 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19842 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4165 involuntary context switches= 45 # summary of solver processes directly reported to runsolver: # pid: 29274 # total CPU time (s): 8.80497 # total CPU user time (s): 7.65964 # total CPU system time (s): 1.14533 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.055716 second user time and 0.081267 second system time The end
Begin job on node106 at 2017-08-14 08:01:07 IDJOB=4271202 IDBENCH=123010 IDSOLVER=2662 FILE ID=node106/4271202-1502691325 RUNJOBID= node106-1502685167-26091 PBS_JOBID= 20628992 Free space on /tmp= 61768 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Renault/Renault-m1-s1/Renault-megane-pos.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-4271202-1502691325/watcher-4271202-1502691325 -o /tmp/evaluation-result-4271202-1502691325/solver-4271202-1502691325 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502685167-26091 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 650029163 HOME/instance-4271202-1502691325.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 21b1bfe08dea0128787163580c257a28 RANDOM SEED=650029163 node106.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.86 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.86 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.86 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.86 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: 31452752 kB MemAvailable: 31980660 kB Buffers: 142860 kB Cached: 669840 kB SwapCached: 0 kB Active: 442708 kB Inactive: 426644 kB Active(anon): 12308 kB Inactive(anon): 72080 kB Active(file): 430400 kB Inactive(file): 354564 kB Unevictable: 6504 kB Mlocked: 6504 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 10656 kB Writeback: 0 kB AnonPages: 61848 kB Mapped: 44280 kB Shmem: 25228 kB Slab: 143748 kB SReclaimable: 117556 kB SUnreclaim: 26192 kB KernelStack: 3248 kB PageTables: 5136 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324108 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61760 MiB End job on node106 at 2017-08-14 08:01:11