Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | OPT | 1100 | 40.340302 | 5.90801 |
Name | Rack/ Rack-m1c-s1/Rack-m1c-r2.xml |
MD5SUM | a7a611711d538e27d6e463316b2ea293 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1100 |
Best CPU time to get the best result obtained on this benchmark | 5.7864599 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 80 |
Number of constraints | 56 |
Number of domains | 6 |
Minimum domain size | 3 |
Maximum domain size | 17 |
Distribution of domain sizes | [{"size":3,"count":50},{"size":5,"count":10},{"size":9,"count":10},{"size":17,"count":10}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":30},{"degree":3,"count":38},{"degree":4,"count":10},{"degree":5,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 10 |
Distribution of constraint arities | [{"arity":2,"count":30},{"arity":4,"count":1},{"arity":5,"count":20},{"arity":10,"count":5}] |
Number of extensional constraints | 30 |
Number of intensional constraints | 1 |
Distribution of constraint types | [{"type":"extension","count":30},{"type":"intension","count":1},{"type":"ordered","count":1},{"type":"sum","count":24}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281720-1503189352.xml" -tl '2016s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4281720-1503189352.xml, -tl, 2016s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 1.37/0.63 c solve instance... 1.37/0.66 o 1650 1.37/0.67 o 1600 1.37/0.68 o 1550 1.37/0.68 o 1400 1.37/0.69 o 1350 1.37/0.69 o 1200 1.37/0.70 o 1150 1.77/0.71 o 1100 39.67/5.89 s OPTIMUM FOUND 39.67/5.89 v <instantiation> 39.67/5.89 v <list>r[0] r[1] r[2] r[3] r[4] r[5] r[6] r[7] r[8] r[9] c[0][0] c[0][1] c[0][2] c[0][3] c[1][0] c[1][1] c[1][2] c[1][3] c[2][0] c[2][1] c[2][2] c[2][3] c[3][0] c[3][1] c[3][2] c[3][3] c[4][0] c[4][1] c[4][2] c[4][3] c[5][0] c[5][1] c[5][2] c[5][3] c[6][0] c[6][1] c[6][2] c[6][3] c[7][0] c[7][1] c[7][2] c[7][3] c[8][0] c[8][1] c[8][2] c[8][3] c[9][0] c[9][1] c[9][2] c[9][3] rpw[0] rpw[1] rpw[2] rpw[3] rpw[4] rpw[5] rpw[6] rpw[7] rpw[8] rpw[9] rcn[0] rcn[1] rcn[2] rcn[3] rcn[4] rcn[5] rcn[6] rcn[7] rcn[8] rcn[9] rpr[0] rpr[1] rpr[2] rpr[3] rpr[4] rpr[5] rpr[6] rpr[7] rpr[8] rpr[9] </list> 39.67/5.89 v <values>2 2 2 2 1 1 0 0 0 0 6 2 0 0 6 2 0 0 0 1 0 2 3 1 2 0 4 0 1 0 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 200 200 200 200 150 150 0 0 0 0 16 16 16 16 8 8 0 0 0 0 200 200 200 200 150 150 0 0 0 0 </values> 39.67/5.89 v </instantiation>
OK 1100
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 (12736 MiB free) memory of node 1: 16384 MiB (13956 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281720-1503189352/watcher-4281720-1503189352 -o /tmp/evaluation-result-4281720-1503189352/solver-4281720-1503189352 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503176127-19634 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1387478804 HOME/instance-4281720-1503189352.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=24502, runsolver pid=24499 Current StackSize limit: 8192 KiB [startup+0.100137 s]* /proc/loadavg: 6.77 6.33 6.72 2/200 24523 /proc/meminfo: memFree=27318124/32770624 swapFree=67108860/67108860 [pid=24502] ppid=24499 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/24502/stat : 24502 (xcsp3-exec) S 24499 24502 19607 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 152022810 9740288 346 33554432000 4194304 5098028 140727467149136 140727467147240 139761863733884 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37883904 140727467152490 140727467152700 140727467152700 140727467155435 0 /proc/24502/statm: 2378 346 289 221 0 87 0 [pid=24504] ppid=24502 vsize=25999808 memory=26744 CPUtime=0.12 cores=0-7 /proc/24504/stat : 24504 (java) S 24502 24502 19607 0 -1 1077944320 5485 0 0 0 11 1 0 0 20 0 20 0 152022810 26623803392 6686 33554432000 4194304 4196468 140736044424960 140736044407504 140159172288247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 /proc/24504/statm: 6499952 6686 2899 1 0 6488269 0 [pid=24504/tid=24505] ppid=24502 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/24504/task/24505/stat : 24505 (java) R 24502 24502 19607 0 -1 4202560 3486 0 0 0 8 0 0 0 20 0 20 0 152022810 26623803392 6686 33554432000 4194304 4196468 140736044424960 140159176519552 140158759431919 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24506] ppid=24502 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/24504/task/24506/stat : 24506 (java) S 24502 24502 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152022811 26623803392 6686 33554432000 4194304 4196468 140736044424960 140159079849104 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24507] ppid=24502 vsize=25999808 memory=140390119515776 CPUtime=0 cores=0-7 /proc/24504/task/24507/stat : 24507 (java) S 24502 24502 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152022811 26623803392 6686 33554432000 4194304 4196468 140736044424960 140159078796304 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24508] ppid=24502 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24508/stat : 24508 (java) S 24502 24502 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152022811 26623803392 6686 33554432000 4194304 4196468 140736044424960 140158728244112 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24509] ppid=24502 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24509/stat : 24509 (java) S 24502 24502 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152022811 26623803392 6686 33554432000 4194304 4196468 140736044424960 140158727191312 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24510] ppid=24502 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24510/stat : 24510 (java) S 24502 24502 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152022811 26623803392 6686 33554432000 4194304 4196468 140736044424960 140158726138512 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24511] ppid=24502 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/24504/task/24511/stat : 24511 (java) S 24502 24502 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152022811 26623803392 6686 33554432000 4194304 4196468 140736044424960 140158725085712 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24512] ppid=24502 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24512/stat : 24512 (java) S 24502 24502 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152022811 26623803392 6686 33554432000 4194304 4196468 140736044424960 140158724032912 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24513] ppid=24502 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24513/stat : 24513 (java) S 24502 24502 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 152022811 26623803392 6686 33554432000 4194304 4196468 140736044424960 140158722980112 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24514] ppid=24502 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24514/stat : 24514 (java) S 24502 24502 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152022813 26623803392 6686 33554432000 4194304 4196468 140736044424960 140157847227248 140159172299394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24515] ppid=24502 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24515/stat : 24515 (java) S 24502 24502 19607 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 152022813 26623803392 6686 33554432000 4194304 4196468 140736044424960 140157846173216 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24516] ppid=24502 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24516/stat : 24516 (java) S 24502 24502 19607 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 152022813 26623803392 6686 33554432000 4194304 4196468 140736044424960 140157845120368 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24517] ppid=24502 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24517/stat : 24517 (java) S 24502 24502 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152022816 26623803392 6686 33554432000 4194304 4196468 140736044424960 140157844068688 140159172306843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24518] ppid=24502 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24518/stat : 24518 (java) S 24502 24502 19607 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 20 0 152022816 26623803392 6686 33554432000 4194304 4196468 140736044424960 140157843016048 140159172299394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24519] ppid=24502 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24519/stat : 24519 (java) S 24502 24502 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152022816 26623803392 6686 33554432000 4194304 4196468 140736044424960 140157841963248 140159172299394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24520] ppid=24502 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24520/stat : 24520 (java) R 24502 24502 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 152022816 26623803392 6686 33554432000 4194304 4196468 140736044424960 140157840910448 140159172299394 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24521] ppid=24502 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/24504/task/24521/stat : 24521 (java) S 24502 24502 19607 0 -1 1077944384 271 0 0 0 1 0 0 0 20 0 20 0 152022816 26623803392 6686 33554432000 4194304 4196468 140736044424960 140157839857648 140159172299394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24522] ppid=24502 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24522/stat : 24522 (java) S 24502 24502 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 152022816 26623803392 6686 33554432000 4194304 4196468 140736044424960 140157838806112 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24523] ppid=24502 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/24504/task/24523/stat : 24523 (java) S 24502 24502 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152022816 26623803392 6686 33554432000 4194304 4196468 140736044424960 140157837753392 140159172299394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28128 KiB [startup+0.210463 s]* /proc/loadavg: 6.77 6.33 6.72 2/200 24523 /proc/meminfo: memFree=27306580/32770624 swapFree=67108860/67108860 [pid=24502] ppid=24499 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/24502/stat : 24502 (xcsp3-exec) S 24499 24502 19607 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 152022810 9740288 346 33554432000 4194304 5098028 140727467149136 140727467147240 139761863733884 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37883904 140727467152490 140727467152700 140727467152700 140727467155435 0 /proc/24502/statm: 2378 346 289 221 0 87 0 [pid=24504] ppid=24502 vsize=26004064 memory=39180 CPUtime=0.33 cores=0-7 /proc/24504/stat : 24504 (java) S 24502 24502 19607 0 -1 1077944320 8350 0 0 0 31 2 0 0 20 0 20 0 152022810 26628161536 9795 33554432000 4194304 4196468 140736044424960 140736044407504 140159172288247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 /proc/24504/statm: 6501016 9795 3062 1 0 6488269 0 [pid=24504/tid=24505] ppid=24502 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/24504/task/24505/stat : 24505 (java) R 24502 24502 19607 0 -1 1077944384 5441 0 0 0 18 1 0 0 20 0 20 0 152022810 26628161536 9795 33554432000 4194304 4196468 140736044424960 140159176499056 140159164967469 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24506] ppid=24502 vsize=26004064 memory=342 CPUtime=0 cores=0-7 /proc/24504/task/24506/stat : 24506 (java) S 24502 24502 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152022811 26628161536 9795 33554432000 4194304 4196468 140736044424960 140159079849104 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24507] ppid=24502 vsize=26004096 memory=288370766271227520 CPUtime=0 cores=0-7 /proc/24504/task/24507/stat : 24507 (java) S 24502 24502 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152022811 26628194304 9795 33554432000 4194304 4196468 140736044424960 140159078796304 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24508] ppid=24502 vsize=26004096 memory=-1 CPUtime=0 cores=0-7 /proc/24504/task/24508/stat : 24508 (java) S 24502 24502 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152022811 26628194304 9795 33554432000 4194304 4196468 140736044424960 140158728244112 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24509] ppid=24502 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24509/stat : 24509 (java) S 24502 24502 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152022811 26628161536 9795 33554432000 4194304 4196468 140736044424960 140158727191312 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24510] ppid=24502 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24510/stat : 24510 (java) S 24502 24502 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152022811 26628161536 9795 33554432000 4194304 4196468 140736044424960 140158726138512 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24511] ppid=24502 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/24504/task/24511/stat : 24511 (java) S 24502 24502 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152022811 26628161536 9795 33554432000 4194304 4196468 140736044424960 140158725085712 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24512] ppid=24502 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24512/stat : 24512 (java) S 24502 24502 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152022811 26628161536 9795 33554432000 4194304 4196468 140736044424960 140158724032912 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24513] ppid=24502 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24513/stat : 24513 (java) S 24502 24502 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 152022811 26628161536 9795 33554432000 4194304 4196468 140736044424960 140158722980112 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24514] ppid=24502 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24514/stat : 24514 (java) S 24502 24502 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152022813 26628161536 9795 33554432000 4194304 4196468 140736044424960 140157847227248 140159172299394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24515] ppid=24502 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24515/stat : 24515 (java) S 24502 24502 19607 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 152022813 26628161536 9795 33554432000 4194304 4196468 140736044424960 140157846173216 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24516] ppid=24502 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24516/stat : 24516 (java) S 24502 24502 19607 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 152022813 26628194304 9795 33554432000 4194304 4196468 140736044424960 140157845120368 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24517] ppid=24502 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24517/stat : 24517 (java) S 24502 24502 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152022816 26628194304 9795 33554432000 4194304 4196468 140736044424960 140157844068688 140159172306843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24518] ppid=24502 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/24504/task/24518/stat : 24518 (java) S 24502 24502 19607 0 -1 1077944384 688 0 0 0 1 0 0 0 20 0 20 0 152022816 26628161536 9795 33554432000 4194304 4196468 140736044424960 140157843016048 140159172299394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24519] ppid=24502 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/24504/task/24519/stat : 24519 (java) S 24502 24502 19607 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 20 0 152022816 26628161536 9795 33554432000 4194304 4196468 140736044424960 140157841963248 140159172299394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24520] ppid=24502 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/24504/task/24520/stat : 24520 (java) S 24502 24502 19607 0 -1 1077944384 157 0 0 0 1 0 0 0 20 0 20 0 152022816 26628161536 9795 33554432000 4194304 4196468 140736044424960 140157840910448 140159172299394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24521] ppid=24502 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/24504/task/24521/stat : 24521 (java) S 24502 24502 19607 0 -1 1077944384 752 0 0 0 7 0 0 0 20 0 20 0 152022816 26628161536 9795 33554432000 4194304 4196468 140736044424960 140157839857648 140159172299394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24522] ppid=24502 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24522/stat : 24522 (java) S 24502 24502 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 152022816 26628161536 9795 33554432000 4194304 4196468 140736044424960 140157838806112 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24523] ppid=24502 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/24504/task/24523/stat : 24523 (java) S 24502 24502 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152022816 26628161536 9795 33554432000 4194304 4196468 140736044424960 140157837753392 140159172299394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40564 KiB [startup+0.310445 s]* /proc/loadavg: 6.77 6.33 6.72 3/200 24523 /proc/meminfo: memFree=27300004/32770624 swapFree=67108860/67108860 [pid=24502] ppid=24499 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/24502/stat : 24502 (xcsp3-exec) S 24499 24502 19607 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 152022810 9740288 346 33554432000 4194304 5098028 140727467149136 140727467147240 139761863733884 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37883904 140727467152490 140727467152700 140727467152700 140727467155435 0 /proc/24502/statm: 2378 346 289 221 0 87 0 [pid=24504] ppid=24502 vsize=26004064 memory=46352 CPUtime=0.5 cores=0-7 /proc/24504/stat : 24504 (java) S 24502 24502 19607 0 -1 1077944320 9295 0 0 0 47 3 0 0 20 0 20 0 152022810 26628161536 11588 33554432000 4194304 4196468 140736044424960 140736044407504 140159172288247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 /proc/24504/statm: 6501016 11588 3095 1 0 6488269 0 [pid=24504/tid=24505] ppid=24502 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/24504/task/24505/stat : 24505 (java) R 24502 24502 19607 0 -1 4202560 6160 0 0 0 28 1 0 0 20 0 20 0 152022810 26628161536 11588 33554432000 4194304 4196468 140736044424960 140159176522272 140159154112784 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24506] ppid=24502 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24506/stat : 24506 (java) S 24502 24502 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152022811 26628161536 11588 33554432000 4194304 4196468 140736044424960 140159079849104 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24507] ppid=24502 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24507/stat : 24507 (java) S 24502 24502 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152022811 26628161536 11588 33554432000 4194304 4196468 140736044424960 140159078796304 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24508] ppid=24502 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24508/stat : 24508 (java) S 24502 24502 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152022811 26628161536 11588 33554432000 4194304 4196468 140736044424960 140158728244112 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24509] ppid=24502 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24509/stat : 24509 (java) S 24502 24502 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152022811 26628161536 11588 33554432000 4194304 4196468 140736044424960 140158727191312 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24510] ppid=24502 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/24504/task/24510/stat : 24510 (java) S 24502 24502 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152022811 26628161536 11588 33554432000 4194304 4196468 140736044424960 140158726138512 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24511] ppid=24502 vsize=26004064 memory=140389998752687 CPUtime=0 cores=0-7 /proc/24504/task/24511/stat : 24511 (java) S 24502 24502 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152022811 26628161536 11588 33554432000 4194304 4196468 140736044424960 140158725085712 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24512] ppid=24502 vsize=26004064 memory=140389998754992 CPUtime=0 cores=0-7 /proc/24504/task/24512/stat : 24512 (java) S 24502 24502 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152022811 26628161536 11588 33554432000 4194304 4196468 140736044424960 140158724032912 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24513] ppid=24502 vsize=26004064 memory=140389998757296 CPUtime=0 cores=0-7 /proc/24504/task/24513/stat : 24513 (java) S 24502 24502 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 152022811 26628161536 11588 33554432000 4194304 4196468 140736044424960 140158722980112 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24514] ppid=24502 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24514/stat : 24514 (java) S 24502 24502 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152022813 26628161536 11588 33554432000 4194304 4196468 140736044424960 140157847227248 140159172299394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24515] ppid=24502 vsize=26004064 memory=280779997521552 CPUtime=0 cores=0-7 /proc/24504/task/24515/stat : 24515 (java) S 24502 24502 19607 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 152022813 26628161536 11588 33554432000 4194304 4196468 140736044424960 140157846173216 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24516] ppid=24502 vsize=26004064 memory=280779997528464 CPUtime=0 cores=0-7 /proc/24504/task/24516/stat : 24516 (java) S 24502 24502 19607 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 152022813 26628161536 11588 33554432000 4194304 4196468 140736044424960 140157845120368 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24517] ppid=24502 vsize=26004064 memory=280779997469744 CPUtime=0 cores=0-7 /proc/24504/task/24517/stat : 24517 (java) S 24502 24502 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152022816 26628161536 11588 33554432000 4194304 4196468 140736044424960 140157844068688 140159172306843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24518] ppid=24502 vsize=26004064 memory=280779997542288 CPUtime=0.03 cores=0-7 /proc/24504/task/24518/stat : 24518 (java) S 24502 24502 19607 0 -1 1077944384 759 0 0 0 3 0 0 0 20 0 20 0 152022816 26628161536 11588 33554432000 4194304 4196468 140736044424960 140157843016048 140159172299394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24519] ppid=24502 vsize=26004064 memory=280779997549200 CPUtime=0.01 cores=0-7 /proc/24504/task/24519/stat : 24519 (java) S 24502 24502 19607 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 20 0 152022816 26628161536 11588 33554432000 4194304 4196468 140736044424960 140157841963248 140159172299394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24520] ppid=24502 vsize=26004064 memory=280779997546896 CPUtime=0.02 cores=0-7 /proc/24504/task/24520/stat : 24520 (java) S 24502 24502 19607 0 -1 1077944384 163 0 0 0 2 0 0 0 20 0 20 0 152022816 26628161536 11588 33554432000 4194304 4196468 140736044424960 140157840910448 140159172299394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24521] ppid=24502 vsize=26004064 memory=280779997563056 CPUtime=0.12 cores=0-7 /proc/24504/task/24521/stat : 24521 (java) R 24502 24502 19607 0 -1 4202560 876 0 0 0 12 0 0 0 20 0 20 0 152022816 26628161536 11588 33554432000 4194304 4196468 140736044424960 140157839857648 140159151233843 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24522] ppid=24502 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24522/stat : 24522 (java) S 24502 24502 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 152022816 26628161536 11588 33554432000 4194304 4196468 140736044424960 140157838806112 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24523] ppid=24502 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/24504/task/24523/stat : 24523 (java) S 24502 24502 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152022816 26628161536 11588 33554432000 4194304 4196468 140736044424960 140157837753392 140159172299394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47736 KiB [startup+0.701971 s] /proc/loadavg: 6.77 6.33 6.72 3/200 24523 /proc/meminfo: memFree=27284272/32770624 swapFree=67108860/67108860 [pid=24502] ppid=24499 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/24502/stat : 24502 (xcsp3-exec) S 24499 24502 19607 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 152022810 9740288 346 33554432000 4194304 5098028 140727467149136 140727467147240 139761863733884 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37883904 140727467152490 140727467152700 140727467152700 140727467155435 0 /proc/24502/statm: 2378 346 289 221 0 87 0 [pid=24504] ppid=24502 vsize=26605264 memory=168588 CPUtime=1.77 cores=0-7 /proc/24504/stat : 24504 (java) S 24502 24502 19607 0 -1 1077944320 13963 0 0 0 168 9 0 0 20 0 29 0 152022810 27243790336 42163 33554432000 4194304 4196468 140736044424960 140736044407504 140159172288247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 /proc/24504/statm: 6651316 42147 3222 1 0 6638550 0 [pid=24504/tid=24505] ppid=24502 vsize=26605264 memory=280779997920944 CPUtime=0.62 cores=0-7 /proc/24504/task/24505/stat : 24505 (java) R 24502 24502 19607 0 -1 4202560 6934 0 0 0 59 3 0 0 20 0 26 0 152022810 27243790336 42097 33554432000 4194304 4196468 140736044424960 140159176529024 140159153694564 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24506] ppid=24502 vsize=26605264 memory=140389998961520 CPUtime=0 cores=0-7 /proc/24504/task/24506/stat : 24506 (java) S 24502 24502 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 23 0 152022811 27243790336 42097 33554432000 4194304 4196468 140736044424960 140159079849104 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24507] ppid=24502 vsize=26605264 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24507/stat : 24507 (java) S 24502 24502 19607 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 23 0 152022811 27243790336 42097 33554432000 4194304 4196468 140736044424960 140159078796304 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24508] ppid=24502 vsize=26605264 memory=4620 CPUtime=0 cores=0-7 /proc/24504/task/24508/stat : 24508 (java) S 24502 24502 19607 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 23 0 152022811 27243790336 42097 33554432000 4194304 4196468 140736044424960 140158728244112 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 ################ # More data... # ################ [pid=24504/tid=24590] ppid=24502 vsize=26605264 memory=242576 CPUtime=3.09 cores=0-7 /proc/24504/task/24590/stat : 24590 (java) R 24502 24502 19607 0 -1 4202560 230 0 0 0 308 1 0 0 20 0 28 0 152022881 27243790336 61488 33554432000 4194304 4196468 140736044424960 140157829746640 140158765839597 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24591] ppid=24502 vsize=26605264 memory=288230376990848236 CPUtime=3.4 cores=0-7 /proc/24504/task/24591/stat : 24591 (java) R 24502 24502 19607 0 -1 4202560 123 0 0 0 337 3 0 0 20 0 28 0 152022881 27243790336 61488 33554432000 4194304 4196468 140736044424960 140157823430480 140158765028945 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24592] ppid=24502 vsize=26605264 memory=15821079792863966 CPUtime=3.26 cores=0-7 /proc/24504/task/24592/stat : 24592 (java) R 24502 24502 19607 0 -1 1077944384 244 0 0 0 324 2 0 0 20 0 28 0 152022881 27243790336 61488 33554432000 4194304 4196468 140736044424960 140157826588368 140159172298453 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24593] ppid=24502 vsize=26605264 memory=0 CPUtime=3.34 cores=0-7 /proc/24504/task/24593/stat : 24593 (java) R 24502 24502 19607 0 -1 4202560 274 0 0 0 333 1 0 0 20 0 28 0 152022881 27243790336 61488 33554432000 4194304 4196468 140736044424960 140157825535472 140158763284327 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24594] ppid=24502 vsize=26605264 memory=0 CPUtime=3.2 cores=0-7 /proc/24504/task/24594/stat : 24594 (java) S 24502 24502 19607 0 -1 1077944384 56 0 0 0 318 2 0 0 20 0 28 0 152022882 27243790336 61488 33554432000 4194304 4196468 140736044424960 140157827641808 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24595] ppid=24502 vsize=26605264 memory=0 CPUtime=3.13 cores=0-7 /proc/24504/task/24595/stat : 24595 (java) R 24502 24502 19607 0 -1 4202560 43 0 0 0 312 1 0 0 20 0 28 0 152022882 27243790336 61488 33554432000 4194304 4196468 140736044424960 140157828694352 140158761988048 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 Current children cumulated CPU time: 32.48 s Current children cumulated vsize: 26614776 KiB Current children cumulated memory: 247336 KiB [startup+5.6014 s] /proc/loadavg: 7.11 6.41 6.74 7/208 24595 /proc/meminfo: memFree=27100300/32770624 swapFree=67108860/67108860 [pid=24502] ppid=24499 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/24502/stat : 24502 (xcsp3-exec) S 24499 24502 19607 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 152022810 9740288 346 33554432000 4194304 5098028 140727467149136 140727467147240 139761863733884 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37883904 140727467152490 140727467152700 140727467152700 140727467155435 0 /proc/24502/statm: 2378 346 289 221 0 87 0 [pid=24504] ppid=24502 vsize=26605264 memory=251940 CPUtime=38.34 cores=0-7 /proc/24504/stat : 24504 (java) S 24502 24502 19607 0 -1 1077944320 32518 0 0 0 3795 39 0 0 20 0 28 0 152022810 27243790336 62985 33554432000 4194304 4196468 140736044424960 140736044407504 140159172288247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 /proc/24504/statm: 6651316 62985 3272 1 0 6638550 0 [pid=24504/tid=24505] ppid=24502 vsize=26605264 memory=0 CPUtime=0.62 cores=0-7 /proc/24504/task/24505/stat : 24505 (java) S 24502 24502 19607 0 -1 1077944384 6934 0 0 0 59 3 0 0 20 0 28 0 152022810 27243790336 62985 33554432000 4194304 4196468 140736044424960 140159176529024 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24506] ppid=24502 vsize=26605264 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24506/stat : 24506 (java) S 24502 24502 19607 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 152022811 27243790336 62985 33554432000 4194304 4196468 140736044424960 140159079849104 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24507] ppid=24502 vsize=26605264 memory=1384 CPUtime=0 cores=0-7 /proc/24504/task/24507/stat : 24507 (java) S 24502 24502 19607 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 152022811 27243790336 62985 33554432000 4194304 4196468 140736044424960 140159078796304 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24508] ppid=24502 vsize=26605264 memory=796 CPUtime=0 cores=0-7 /proc/24504/task/24508/stat : 24508 (java) S 24502 24502 19607 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 28 0 152022811 27243790336 62985 33554432000 4194304 4196468 140736044424960 140158728244112 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24509] ppid=24502 vsize=26605264 memory=1716 CPUtime=0.01 cores=0-7 /proc/24504/task/24509/stat : 24509 (java) S 24502 24502 19607 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 28 0 152022811 27243790336 62985 33554432000 4194304 4196468 140736044424960 140158727191312 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24510] ppid=24502 vsize=26605264 memory=1956 CPUtime=0.01 cores=0-7 /proc/24504/task/24510/stat : 24510 (java) S 24502 24502 19607 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 28 0 152022811 27243790336 62985 33554432000 4194304 4196468 140736044424960 140158726138512 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24511] ppid=24502 vsize=26605264 memory=8608 CPUtime=0.01 cores=0-7 /proc/24504/task/24511/stat : 24511 (java) S 24502 24502 19607 0 -1 1077944384 215 0 0 0 1 0 0 0 20 0 28 0 152022811 27243790336 62985 33554432000 4194304 4196468 140736044424960 140158725085712 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24512] ppid=24502 vsize=26605264 memory=1228 CPUtime=0 cores=0-7 /proc/24504/task/24512/stat : 24512 (java) S 24502 24502 19607 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 152022811 27243790336 62985 33554432000 4194304 4196468 140736044424960 140158724032912 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24513] ppid=24502 vsize=26605264 memory=12136 CPUtime=0 cores=0-7 /proc/24504/task/24513/stat : 24513 (java) S 24502 24502 19607 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 152022811 27243790336 62985 33554432000 4194304 4196468 140736044424960 140158722980112 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24514] ppid=24502 vsize=26605264 memory=5792 CPUtime=0.01 cores=0-7 /proc/24504/task/24514/stat : 24514 (java) S 24502 24502 19607 0 -1 1077944384 118 0 0 0 1 0 0 0 20 0 28 0 152022813 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157847227248 140159172299394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24515] ppid=24502 vsize=26605264 memory=280779998328224 CPUtime=0 cores=0-7 /proc/24504/task/24515/stat : 24515 (java) S 24502 24502 19607 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 152022813 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157846173280 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24516] ppid=24502 vsize=26605264 memory=9604 CPUtime=0 cores=0-7 /proc/24504/task/24516/stat : 24516 (java) S 24502 24502 19607 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 152022813 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157845120368 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24517] ppid=24502 vsize=26605264 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24517/stat : 24517 (java) S 24502 24502 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 152022816 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157844068688 140159172306843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24518] ppid=24502 vsize=26605264 memory=-5921431000321636112 CPUtime=1.62 cores=0-7 /proc/24504/task/24518/stat : 24518 (java) S 24502 24502 19607 0 -1 1077944384 6689 0 0 0 161 1 0 0 20 0 28 0 152022816 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157843016048 140159172299394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24519] ppid=24502 vsize=26605264 memory=6944656592455097440 CPUtime=1.53 cores=0-7 /proc/24504/task/24519/stat : 24519 (java) S 24502 24502 19607 0 -1 1077944384 4241 0 0 0 152 1 0 0 20 0 28 0 152022816 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157841963248 140159172299394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24520] ppid=24502 vsize=26605264 memory=6655300316396806240 CPUtime=1.59 cores=0-7 /proc/24504/task/24520/stat : 24520 (java) S 24502 24502 19607 0 -1 1077944384 4647 0 0 0 158 1 0 0 20 0 28 0 152022816 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157840910448 140159172299394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24521] ppid=24502 vsize=26605264 memory=6944656592455360604 CPUtime=0.7 cores=0-7 /proc/24504/task/24521/stat : 24521 (java) S 24502 24502 19607 0 -1 1077944384 4042 0 0 0 69 1 0 0 20 0 28 0 152022816 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157839857648 140159172299394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24522] ppid=24502 vsize=26605264 memory=-2331055268852096867 CPUtime=0 cores=0-7 /proc/24504/task/24522/stat : 24522 (java) S 24502 24502 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 152022816 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157838806112 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24523] ppid=24502 vsize=26605264 memory=6944656592452807325 CPUtime=0 cores=0-7 /proc/24504/task/24523/stat : 24523 (java) S 24502 24502 19607 0 -1 1077944384 926 0 0 0 0 0 0 0 20 0 28 0 152022816 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157837753392 140159172299394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24588] ppid=24502 vsize=26605264 memory=-7233780906022716832 CPUtime=4.07 cores=0-7 /proc/24504/task/24588/stat : 24588 (java) S 24502 24502 19607 0 -1 1077944384 108 0 0 0 405 2 0 0 20 0 28 0 152022881 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157821324384 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24589] ppid=24502 vsize=26605264 memory=-7395679465411340910 CPUtime=4.07 cores=0-7 /proc/24504/task/24589/stat : 24589 (java) R 24502 24502 19607 0 -1 4202560 101 0 0 0 405 2 0 0 20 0 28 0 152022881 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157822377968 140158765032860 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24590] ppid=24502 vsize=26605264 memory=1008 CPUtime=3.8 cores=0-7 /proc/24504/task/24590/stat : 24590 (java) R 24502 24502 19607 0 -1 4202560 409 0 0 0 379 1 0 0 20 0 28 0 152022881 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157829746640 140158765593429 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24591] ppid=24502 vsize=26605264 memory=4620 CPUtime=4.15 cores=0-7 /proc/24504/task/24591/stat : 24591 (java) R 24502 24502 19607 0 -1 4202560 232 0 0 0 411 4 0 0 20 0 28 0 152022881 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157823430480 140158765099754 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24592] ppid=24502 vsize=26605264 memory=1428 CPUtime=3.96 cores=0-7 /proc/24504/task/24592/stat : 24592 (java) R 24502 24502 19607 0 -1 1077944384 283 0 0 0 394 2 0 0 20 0 28 0 152022881 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157826588368 140159172298453 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24593] ppid=24502 vsize=26605264 memory=1204 CPUtime=4.07 cores=0-7 /proc/24504/task/24593/stat : 24593 (java) R 24502 24502 19607 0 -1 4202560 328 0 0 0 406 1 0 0 20 0 28 0 152022881 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157825535472 140159156665367 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24594] ppid=24502 vsize=26605264 memory=15880 CPUtime=3.89 cores=0-7 /proc/24504/task/24594/stat : 24594 (java) R 24502 24502 19607 0 -1 4202560 99 0 0 0 387 2 0 0 20 0 28 0 152022882 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157827641808 140158765839533 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24595] ppid=24502 vsize=26605264 memory=25520 CPUtime=3.82 cores=0-7 /proc/24504/task/24595/stat : 24595 (java) R 24502 24502 19607 0 -1 4202560 84 0 0 0 379 3 0 0 20 0 28 0 152022882 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157828694352 140158763283716 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 Current children cumulated CPU time: 38.34 s Current children cumulated vsize: 26614776 KiB Current children cumulated memory: 253324 KiB [startup+5.80159 s] /proc/loadavg: 7.11 6.41 6.74 7/208 24595 /proc/meminfo: memFree=27100300/32770624 swapFree=67108860/67108860 [pid=24502] ppid=24499 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/24502/stat : 24502 (xcsp3-exec) S 24499 24502 19607 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 152022810 9740288 346 33554432000 4194304 5098028 140727467149136 140727467147240 139761863733884 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37883904 140727467152490 140727467152700 140727467152700 140727467155435 0 /proc/24502/statm: 2378 346 289 221 0 87 0 [pid=24504] ppid=24502 vsize=26605264 memory=251940 CPUtime=39.67 cores=0-7 /proc/24504/stat : 24504 (java) S 24502 24502 19607 0 -1 1077944320 32563 0 0 0 3927 40 0 0 20 0 28 0 152022810 27243790336 62985 33554432000 4194304 4196468 140736044424960 140736044407504 140159172288247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 /proc/24504/statm: 6651316 62985 3272 1 0 6638550 0 [pid=24504/tid=24505] ppid=24502 vsize=26605264 memory=1796 CPUtime=0.62 cores=0-7 /proc/24504/task/24505/stat : 24505 (java) S 24502 24502 19607 0 -1 1077944384 6934 0 0 0 59 3 0 0 20 0 28 0 152022810 27243790336 62985 33554432000 4194304 4196468 140736044424960 140159176529024 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24506] ppid=24502 vsize=26605264 memory=1236 CPUtime=0 cores=0-7 /proc/24504/task/24506/stat : 24506 (java) S 24502 24502 19607 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 152022811 27243790336 62985 33554432000 4194304 4196468 140736044424960 140159079849104 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24507] ppid=24502 vsize=26605264 memory=640 CPUtime=0 cores=0-7 /proc/24504/task/24507/stat : 24507 (java) S 24502 24502 19607 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 152022811 27243790336 62985 33554432000 4194304 4196468 140736044424960 140159078796304 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24508] ppid=24502 vsize=26605264 memory=956 CPUtime=0 cores=0-7 /proc/24504/task/24508/stat : 24508 (java) S 24502 24502 19607 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 28 0 152022811 27243790336 62985 33554432000 4194304 4196468 140736044424960 140158728244112 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24509] ppid=24502 vsize=26605264 memory=2424 CPUtime=0.01 cores=0-7 /proc/24504/task/24509/stat : 24509 (java) S 24502 24502 19607 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 28 0 152022811 27243790336 62985 33554432000 4194304 4196468 140736044424960 140158727191312 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24510] ppid=24502 vsize=26605264 memory=2240 CPUtime=0.01 cores=0-7 /proc/24504/task/24510/stat : 24510 (java) S 24502 24502 19607 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 28 0 152022811 27243790336 62985 33554432000 4194304 4196468 140736044424960 140158726138512 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24511] ppid=24502 vsize=26605264 memory=4316 CPUtime=0.01 cores=0-7 /proc/24504/task/24511/stat : 24511 (java) S 24502 24502 19607 0 -1 1077944384 215 0 0 0 1 0 0 0 20 0 28 0 152022811 27243790336 62985 33554432000 4194304 4196468 140736044424960 140158725085712 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24512] ppid=24502 vsize=26605264 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/24504/task/24512/stat : 24512 (java) S 24502 24502 19607 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 152022811 27243790336 62985 33554432000 4194304 4196468 140736044424960 140158724032912 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24513] ppid=24502 vsize=26605264 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24513/stat : 24513 (java) S 24502 24502 19607 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 152022811 27243790336 62985 33554432000 4194304 4196468 140736044424960 140158722980112 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24514] ppid=24502 vsize=26605264 memory=0 CPUtime=0.01 cores=0-7 /proc/24504/task/24514/stat : 24514 (java) S 24502 24502 19607 0 -1 1077944384 118 0 0 0 1 0 0 0 20 0 28 0 152022813 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157847227248 140159172299394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24515] ppid=24502 vsize=26605264 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24515/stat : 24515 (java) S 24502 24502 19607 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 152022813 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157846173280 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24516] ppid=24502 vsize=26605264 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24516/stat : 24516 (java) S 24502 24502 19607 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 152022813 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157845120368 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24517] ppid=24502 vsize=26605264 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24517/stat : 24517 (java) S 24502 24502 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 152022816 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157844068688 140159172306843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24518] ppid=24502 vsize=26605264 memory=0 CPUtime=1.62 cores=0-7 /proc/24504/task/24518/stat : 24518 (java) S 24502 24502 19607 0 -1 1077944384 6689 0 0 0 161 1 0 0 20 0 28 0 152022816 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157843016048 140159172299394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24519] ppid=24502 vsize=26605264 memory=0 CPUtime=1.53 cores=0-7 /proc/24504/task/24519/stat : 24519 (java) S 24502 24502 19607 0 -1 1077944384 4241 0 0 0 152 1 0 0 20 0 28 0 152022816 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157841963248 140159172299394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24520] ppid=24502 vsize=26605264 memory=0 CPUtime=1.59 cores=0-7 /proc/24504/task/24520/stat : 24520 (java) S 24502 24502 19607 0 -1 1077944384 4647 0 0 0 158 1 0 0 20 0 28 0 152022816 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157840910448 140159172299394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24521] ppid=24502 vsize=26605264 memory=0 CPUtime=0.7 cores=0-7 /proc/24504/task/24521/stat : 24521 (java) S 24502 24502 19607 0 -1 1077944384 4060 0 0 0 69 1 0 0 20 0 28 0 152022816 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157839857648 140159172299394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24522] ppid=24502 vsize=26605264 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24522/stat : 24522 (java) S 24502 24502 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 152022816 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157838806112 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24523] ppid=24502 vsize=26605264 memory=0 CPUtime=0 cores=0-7 /proc/24504/task/24523/stat : 24523 (java) S 24502 24502 19607 0 -1 1077944384 926 0 0 0 0 0 0 0 20 0 28 0 152022816 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157837753392 140159172299394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24588] ppid=24502 vsize=26605264 memory=0 CPUtime=4.23 cores=0-7 /proc/24504/task/24588/stat : 24588 (java) S 24502 24502 19607 0 -1 1077944384 108 0 0 0 421 2 0 0 20 0 28 0 152022881 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157821324384 140159172298453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24589] ppid=24502 vsize=26605264 memory=0 CPUtime=4.25 cores=0-7 /proc/24504/task/24589/stat : 24589 (java) R 24502 24502 19607 0 -1 4202560 101 0 0 0 423 2 0 0 20 0 28 0 152022881 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157822378064 140158763643712 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24590] ppid=24502 vsize=26605264 memory=0 CPUtime=3.97 cores=0-7 /proc/24504/task/24590/stat : 24590 (java) R 24502 24502 19607 0 -1 4202560 416 0 0 0 395 2 0 0 20 0 28 0 152022881 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157829746640 140158765030065 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24591] ppid=24502 vsize=26605264 memory=0 CPUtime=4.32 cores=0-7 /proc/24504/task/24591/stat : 24591 (java) R 24502 24502 19607 0 -1 4202560 239 0 0 0 428 4 0 0 20 0 28 0 152022881 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157823430384 140158763284673 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24592] ppid=24502 vsize=26605264 memory=0 CPUtime=4.12 cores=0-7 /proc/24504/task/24592/stat : 24592 (java) R 24502 24502 19607 0 -1 4202560 291 0 0 0 410 2 0 0 20 0 28 0 152022881 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157826588368 140158763272108 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24593] ppid=24502 vsize=26605264 memory=0 CPUtime=4.25 cores=0-7 /proc/24504/task/24593/stat : 24593 (java) R 24502 24502 19607 0 -1 4202560 333 0 0 0 424 1 0 0 20 0 28 0 152022881 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157825535392 140158765375603 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24594] ppid=24502 vsize=26605264 memory=0 CPUtime=4.07 cores=0-7 /proc/24504/task/24594/stat : 24594 (java) R 24502 24502 19607 0 -1 4202560 99 0 0 0 405 2 0 0 20 0 28 0 152022882 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157827641808 140158763283650 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 [pid=24504/tid=24595] ppid=24502 vsize=26605264 memory=0 CPUtime=3.95 cores=0-7 /proc/24504/task/24595/stat : 24595 (java) R 24502 24502 19607 0 -1 1077944384 84 0 0 0 392 3 0 0 20 0 28 0 152022882 27243790336 62985 33554432000 4194304 4196468 140736044424960 140157828694352 140159172298453 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140736044430488 140736044430664 140736044430664 140736044433359 0 Current children cumulated CPU time: 39.67 s Current children cumulated vsize: 26614776 KiB Current children cumulated memory: 253324 KiB [startup+5.90115 s] /proc/loadavg: 7.11 6.41 6.74 7/208 24595 /proc/meminfo: memFree=27100300/32770624 swapFree=67108860/67108860 [pid=24502] ppid=24499 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/24502/stat : 24502 (xcsp3-exec) S 24499 24502 19607 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 152022810 9740288 346 33554432000 4194304 5098028 140727467149136 140727467147240 139761863733884 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37883904 140727467152490 140727467152700 140727467152700 140727467155435 0 /proc/24502/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 9512 KiB Current children cumulated memory: 1384 KiB Child status: 0 Real time (s): 5.90801 CPU time (s): 40.3403 CPU user time (s): 39.9188 CPU system time (s): 0.421441 CPU usage (%): 682.806 Max. virtual memory (cumulated for all children) (KiB): 26614776 Max. memory (cumulated for all children) (KiB): 255644 getrusage(RUSAGE_CHILDREN,...) data: user time used= 39.9188 system time used= 0.421441 maximum resident set size= 254260 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33897 page faults= 0 swaps= 0 block input operations= 0 block output operations= 120 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 64909 involuntary context switches= 583 # summary of solver processes directly reported to runsolver: # pid: 24502 # total CPU time (s): 40.3403 # total CPU user time (s): 39.9188 # total CPU system time (s): 0.421441 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.073645 second user time and 0.103308 second system time The end
Begin job on node106 at 2017-08-20 02:21:32 IDJOB=4281720 IDBENCH=140550 IDSOLVER=2676 FILE ID=node106/4281720-1503189352 RUNJOBID= node106-1503176127-19634 PBS_JOBID= 20630846 Free space on /tmp= 61820 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Rack/Rack-m1c-s1/Rack-m1c-r2.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-4281720-1503189352/watcher-4281720-1503189352 -o /tmp/evaluation-result-4281720-1503189352/solver-4281720-1503189352 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503176127-19634 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1387478804 HOME/instance-4281720-1503189352.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a7a611711d538e27d6e463316b2ea293 RANDOM SEED=1387478804 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: 27334232 kB MemAvailable: 31968308 kB Buffers: 240820 kB Cached: 4684912 kB SwapCached: 0 kB Active: 1073988 kB Inactive: 3910152 kB Active(anon): 13924 kB Inactive(anon): 80012 kB Active(file): 1060064 kB Inactive(file): 3830140 kB Unevictable: 7764 kB Mlocked: 7764 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7628 kB Writeback: 0 kB AnonPages: 65420 kB Mapped: 51704 kB Shmem: 33420 kB Slab: 146672 kB SReclaimable: 119412 kB SUnreclaim: 27260 kB KernelStack: 3584 kB PageTables: 5140 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 336040 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= 61812 MiB End job on node106 at 2017-08-20 02:21:38