2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: sat4j-CSP 2017-07-05	SAT (TO)	63	2400.18	2392.03

5.70/1.60	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
5.70/1.60	c This is free software under the dual EPL/GNU LGPL licenses.
5.70/1.60	c See www.sat4j.org for details.
5.70/1.60	c That software uses the Rhino library from the Mozilla project.
5.70/1.60	c version CUSTOM.v20170705
5.70/1.60	c java.runtime.name	Java(TM) SE Runtime Environment
5.70/1.60	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
5.70/1.60	c java.vm.version	25.131-b11
5.70/1.60	c java.vm.vendor	Oracle Corporation
5.70/1.60	c sun.arch.data.model	64
5.70/1.60	c java.version		1.8.0_131
5.70/1.60	c os.name		Linux
5.70/1.60	c os.version		3.10.0-514.16.1.el7.x86_64
5.70/1.60	c os.arch		amd64
5.70/1.60	c Free memory 		499604488
5.70/1.60	c Max memory 		7247757312
5.70/1.60	c Total memory 		504889344
5.70/1.60	c Number of processors 	8
5.70/1.60	c c --- Begin Solver configuration ---
5.70/1.60	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
5.70/1.60	c Learn all clauses as in MiniSAT
5.70/1.60	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
5.70/1.60	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
5.70/1.60	c No reason simplification
5.70/1.60	c Glucose 2.1 dynamic restart strategy
5.70/1.60	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
5.70/1.60	c timeout=2147483s
5.70/1.60	c DB Simplification allowed=false
5.70/1.60	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
5.70/1.60	c --- End Solver configuration ---
5.70/1.60	c constraints type 
5.70/1.60	c org.sat4j.minisat.constraints.card.MinWatchCard => 1120
5.70/1.60	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 689728
5.70/1.60	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 455900
5.70/1.60	c org.sat4j.minisat.constraints.cnf.UnitClause => 1118
5.70/1.60	c 1147866 constraints processed.
58.82/53.38	o 361
95.33/89.43	o 177
143.45/137.48	o 173
155.44/149.31	o 141
166.48/160.35	o 135
178.54/172.39	o 128
182.84/176.61	o 116
290.46/284.23	o 92
344.67/338.49	o 89
597.74/590.72	o 88
600.94/593.97	o 82
640.65/633.63	o 79
659.04/652.03	o 76
813.06/806.01	o 73
970.70/963.70	o 71
1151.91/1144.86	o 67
1245.43/1238.35	o 66
1812.51/1805.31	o 63
2400.16/2392.00	c starts		: 5595
2400.16/2392.00	c conflicts		: 1610913
2400.16/2392.00	c decisions		: 47173243
2400.16/2392.00	c propagations		: 6122601951
2400.16/2392.00	c inspects		: 16578499182
2400.16/2392.00	c shortcuts		: 0
2400.16/2392.00	c learnt literals	: 1557
2400.16/2392.00	c learnt binary clauses	: 7719
2400.16/2392.00	c learnt ternary clauses	: 11273
2400.16/2392.00	c learnt constraints	: 1609356
2400.16/2392.00	c ignored constraints	: 0
2400.16/2392.00	c root simplifications	: 0
2400.16/2392.00	c removed literals (reason simplification)	: 0
2400.16/2392.00	c reason swapping (by a shorter reason)	: 0
2400.16/2392.00	c Calls to reduceDB	: 147
2400.16/2392.00	c Number of update (reduction) of LBD	: 894727
2400.16/2392.00	c Imported unit clauses	: 0
2400.16/2392.00	c number of reductions to clauses (during analyze)	: 0
2400.16/2392.00	c number of learned constraints concerned by reduction	: 0
2400.16/2392.00	c number of learning phase by resolution	: 0
2400.16/2392.00	c number of learning phase by cutting planes	: 0
2400.16/2392.00	c number of rounding to 1 operations	: 0
2400.16/2392.00	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2400.16/2392.00	c number of reductions of the coefficients by power 2 	: 0
2400.16/2392.00	c number of right shift for reduction by power 2 	: 0
2400.16/2392.00	c number of reductions of the coefficients by GCD over coefficients 	: 0
2400.16/2392.00	c speed (assignments/second)	: 2561360.538175873
2400.16/2392.00	c non guided choices	24450624
2400.16/2392.00	c learnt constraints type 
2400.16/2392.00	s SATISFIABLE
2400.16/2392.01	v <instantiation type="solution">
2400.16/2392.01	v 	<list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] drd[0][0] drd[0][1] drd[0][2] drd[0][3] drd[0][4] drd[0][5] drd[0][6] drd[0][7] drd[0][8] drd[0][9] drd[0][10] drd[0][11] drd[0][12] drd[0][13] drd[0][14] drd[0][15] drd[1][0] drd[1][1] drd[1][2] drd[1][3] drd[1][4] drd[1][5] drd[1][6] drd[1][7] drd[1][8] drd[1][9] drd[1][10] drd[1][11] drd[1][12] drd[1][13] drd[1][14] drd[1][15] drd[2][0] drd[2][1] drd[2][2] drd[2][3] drd[2][4] drd[2][5] drd[2][6] drd[2][7] drd[2][8] drd[2][9] drd[2][10] drd[2][11] drd[2][12] drd[2][13] drd[2][14] drd[2][15] drd[3][0] drd[3][1] drd[3][2] drd[3][3] drd[3][4] drd[3][5] drd[3][6] drd[3][7] drd[3][8] drd[3][9] drd[3][10] drd[3][11] drd[3][12] drd[3][13] drd[3][14] drd[3][15] drd[4][0] drd[4][1] drd[4][2] drd[4][3] drd[4][4] drd[4][5] drd[4][6] drd[4][7] drd[4][8] drd[4][9] drd[4][10] drd[4][11] drd[4][12] drd[4][13] drd[4][14] drd[4][15] drd[5][0] drd[5][1] drd[5][2] drd[5][3] drd[5][4] drd[5][5] drd[5][6] drd[5][7] drd[5][8] drd[5][9] drd[5][10] drd[5][11] drd[5][12] drd[5][13] drd[5][14] drd[5][15] drd[6][0] drd[6][1] drd[6][2] drd[6][3] drd[6][4] drd[6][5] drd[6][6] drd[6][7] drd[6][8] drd[6][9] drd[6][10] drd[6][11] drd[6][12] drd[6][13] drd[6][14] drd[6][15] drd[7][0] drd[7][1] drd[7][2] drd[7][3] drd[7][4] drd[7][5] drd[7][6] drd[7][7] drd[7][8] drd[7][9] drd[7][10] drd[7][11] drd[7][12] drd[7][13] drd[7][14] drd[7][15] drd[8][0] drd[8][1] drd[8][2] drd[8][3] drd[8][4] drd[8][5] drd[8][6] drd[8][7] drd[8][8] drd[8][9] drd[8][10] drd[8][11] drd[8][12] drd[8][13] drd[8][14] drd[8][15] drd[9][0] drd[9][1] drd[9][2] drd[9][3] drd[9][4] drd[9][5] drd[9][6] drd[9][7] drd[9][8] drd[9][9] drd[9][10] drd[9][11] drd[9][12] drd[9][13] drd[9][14] drd[9][15] drd[10][0] drd[10][1] drd[10][2] drd[10][3] drd[10][4] drd[10][5] drd[10][6] drd[10][7] drd[10][8] drd[10][9] drd[10][10] drd[10][11] drd[10][12] drd[10][13] drd[10][14] drd[10][15] drd[11][0] drd[11][1] drd[11][2] drd[11][3] drd[11][4] drd[11][5] drd[11][6] drd[11][7] drd[11][8] drd[11][9] drd[11][10] drd[11][11] drd[11][12] drd[11][13] drd[11][14] drd[11][15] drd[12][0] drd[12][1] drd[12][2] drd[12][3] drd[12][4] drd[12][5] drd[12][6] drd[12][7] drd[12][8] drd[12][9] drd[12][10] drd[12][11] drd[12][12] drd[12][13] drd[12][14] drd[12][15] drd[13][0] drd[13][1] drd[13][2] drd[13][3] drd[13][4] drd[13][5] drd[13][6] drd[13][7] drd[13][8] drd[13][9] drd[13][10] drd[13][11] drd[13][12] drd[13][13] drd[13][14] drd[13][15] drd[14][0] drd[14][1] drd[14][2] drd[14][3] drd[14][4] drd[14][5] drd[14][6] drd[14][7] drd[14][8] drd[14][9] drd[14][10] drd[14][11] drd[14][12] drd[14][13] drd[14][14] drd[14][15] drd[15][0] drd[15][1] drd[15][2] drd[15][3] drd[15][4] drd[15][5] drd[15][6] drd[15][7] drd[15][8] drd[15][9] drd[15][10] drd[15][11] drd[15][12] drd[15][13] drd[15][14] drd[15][15] drd[16][0] drd[16][1] drd[16][2] drd[16][3] drd[16][4] drd[16][5] drd[16][6] drd[16][7] drd[16][8] drd[16][9] drd[16][10] drd[16][11] drd[16][12] drd[16][13] drd[16][14] drd[16][15] drd[17][0] drd[17][1] drd[17][2] drd[17][3] drd[17][4] drd[17][5] drd[17][6] drd[17][7] drd[17][8] drd[17][9] drd[17][10] drd[17][11] drd[17][12] drd[17][13] drd[17][14] drd[17][15] drd[18][0] drd[18][1] drd[18][2] drd[18][3] drd[18][4] drd[18][5] drd[18][6] drd[18][7] drd[18][8] drd[18][9] drd[18][10] drd[18][11] drd[18][12] drd[18][13] drd[18][14] drd[18][15] drd[19][0] drd[19][1] drd[19][2] drd[19][3] drd[19][4] drd[19][5] drd[19][6] drd[19][7] drd[19][8] drd[19][9] drd[19][10] drd[19][11] drd[19][12] drd[19][13] drd[19][14] drd[19][15] drd[20][0] drd[20][1] drd[20][2] drd[20][3] drd[20][4] drd[20][5] drd[20][6] drd[20][7] drd[20][8] drd[20][9] drd[20][10] drd[20][11] drd[20][12] drd[20][13] drd[20][14] drd[20][15] drd[21][0] drd[21][1] drd[21][2] drd[21][3] drd[21][4] drd[21][5] drd[21][6] drd[21][7] drd[21][8] drd[21][9] drd[21][10] drd[21][11] drd[21][12] drd[21][13] drd[21][14] drd[21][15] drd[22][0] drd[22][1] drd[22][2] drd[22][3] drd[22][4] drd[22][5] drd[22][6] drd[22][7] drd[22][8] drd[22][9] drd[22][10] drd[22][11] drd[22][12] drd[22][13] drd[22][14] drd[22][15] drd[23][0] drd[23][1] drd[23][2] drd[23][3] drd[23][4] drd[23][5] drd[23][6] drd[23][7] drd[23][8] drd[23][9] drd[23][10] drd[23][11] drd[23][12] drd[23][13] drd[23][14] drd[23][15] drd[24][0] drd[24][1] drd[24][2] drd[24][3] drd[24][4] drd[24][5] drd[24][6] drd[24][7] drd[24][8] drd[24][9] drd[24][10] drd[24][11] drd[24][12] drd[24][13] drd[24][14] drd[24][15] drd[25][0] drd[25][1] drd[25][2] drd[25][3] drd[25][4] drd[25][5] drd[25][6] drd[25][7] drd[25][8] drd[25][9] drd[25][10] drd[25][11] drd[25][12] drd[25][13] drd[25][14] drd[25][15] drd[26][0] drd[26][1] drd[26][2] drd[26][3] drd[26][4] drd[26][5] drd[26][6] drd[26][7] drd[26][8] drd[26][9] drd[26][10] drd[26][11] drd[26][12] drd[26][13] drd[26][14] drd[26][15] drd[27][0] drd[27][1] drd[27][2] drd[27][3] drd[27][4] drd[27][5] drd[27][6] drd[27][7] drd[27][8] drd[27][9] drd[27][10] drd[27][11] drd[27][12] drd[27][13] drd[27][14] drd[27][15] drd[28][0] drd[28][1] drd[28][2] drd[28][3] drd[28][4] drd[28][5] drd[28][6] drd[28][7] drd[28][8] drd[28][9] drd[28][10] drd[28][11] drd[28][12] drd[28][13] drd[28][14] drd[28][15] drd[29][0] drd[29][1] drd[29][2] drd[29][3] drd[29][4] drd[29][5] drd[29][6] drd[29][7] drd[29][8] drd[29][9] drd[29][10] drd[29][11] drd[29][12] drd[29][13] drd[29][14] drd[29][15] drd[30][0] drd[30][1] drd[30][2] drd[30][3] drd[30][4] drd[30][5] drd[30][6] drd[30][7] drd[30][8] drd[30][9] drd[30][10] drd[30][11] drd[30][12] drd[30][13] drd[30][14] drd[30][15] drd[31][0] drd[31][1] drd[31][2] drd[31][3] drd[31][4] drd[31][5] drd[31][6] drd[31][7] drd[31][8] drd[31][9] drd[31][10] drd[31][11] drd[31][12] drd[31][13] drd[31][14] drd[31][15] dr[0] dr[1] dr[2] dr[3] dr[4] dr[5] dr[6] dr[7] dr[8] dr[9] dr[10] dr[11] dr[12] dr[13] dr[14] dr[15] dr[16] dr[17] dr[18] dr[19] dr[20] dr[21] dr[22] dr[23] dr[24] dr[25] dr[26] dr[27] dr[28] dr[29] dr[30] dr[31] </list>
2400.16/2392.01	v 	<values> 23 50 62 81 98 122 160 187 209 238 467 512 548 606 661 711 114 87 75 56 39 15 23 50 72 101 330 375 411 469 524 574 27 0 12 31 48 72 110 137 159 188 417 462 498 556 611 661 99 72 60 41 24 0 38 65 87 116 345 390 426 484 539 589 99 72 60 41 24 0 38 65 87 116 345 390 426 484 539 589 64 37 25 6 11 35 73 100 122 151 380 425 461 519 574 624 58 31 19 0 17 41 79 106 128 157 386 431 467 525 580 630 164 137 125 106 89 65 27 0 22 51 280 325 361 419 474 524 35 8 4 23 40 64 102 129 151 180 409 454 490 548 603 653 137 110 98 79 62 38 0 27 49 78 307 352 388 446 501 551 75 48 36 17 0 24 62 89 111 140 369 414 450 508 563 613 72 45 33 14 3 27 65 92 114 143 372 417 453 511 566 616 2 25 37 56 73 97 135 162 184 213 442 487 523 581 636 686 0 27 39 58 75 99 137 164 186 215 444 489 525 583 638 688 688 661 649 630 613 589 551 524 502 473 244 199 163 105 50 0 18 9 21 40 57 81 119 146 168 197 426 471 507 565 620 670 489 462 450 431 414 390 352 325 303 274 45 0 36 94 149 199 489 462 450 431 414 390 352 325 303 274 45 0 36 94 149 199 81 54 42 23 6 18 56 83 105 134 363 408 444 502 557 607 44 17 5 14 31 55 93 120 142 171 400 445 481 539 594 644 638 611 599 580 563 539 501 474 452 423 194 149 113 55 0 50 638 611 599 580 563 539 501 474 452 423 194 149 113 55 0 50 444 417 405 386 369 345 307 280 258 229 0 45 81 139 194 244 444 417 405 386 369 345 307 280 258 229 0 45 81 139 194 244 215 188 176 157 140 116 78 51 29 0 229 274 310 368 423 473 39 12 0 19 36 60 98 125 147 176 405 450 486 544 599 649 39 12 0 19 36 60 98 125 147 176 405 450 486 544 599 649 583 556 544 525 508 484 446 419 397 368 139 94 58 0 55 105 583 556 544 525 508 484 446 419 397 368 139 94 58 0 55 105 186 159 147 128 111 87 49 22 0 29 258 303 339 397 452 502 11 38 50 69 86 110 148 175 197 226 455 500 536 594 649 699 525 498 486 467 450 426 388 361 339 310 81 36 0 58 113 163 523 496 484 465 448 424 386 359 337 308 79 34 2 60 115 165 15 0 0 0 6 0 0 4 0 0 3 2 0 0 9 0 0 6 5 0 0 0 0 0 0 0 0 0 0 11 0 2 </values>
2400.16/2392.01	v </instantiation>
2400.16/2392.01

Verifier Data

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4244182-1500681493/watcher-4244182-1500681493 -o /tmp/evaluation-result-4244182-1500681493/solver-4244182-1500681493 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500681493-7243 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4244182-1500681493.xml 

pid=7278
running on 8 cores: 1,3,5,7,9,11,13,15

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 7.89 7.99 5.97 3/251 7281
/proc/meminfo: memFree=32008216/32770624 swapFree=5780/234036
[pid=7281] ppid=7278 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7281/stat : 7281 (java) S 7278 7281 2448 0 -1 1077944320 1716 0 0 0 0 0 0 0 20 0 2 0 3417033 369864704 1935 33554432000 4194304 4196468 140727897082560 140727897065104 139809364487927 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
/proc/7281/statm: 90299 1935 1081 1 0 79210 0
[pid=7281/tid=7283] ppid=7278 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7283/stat : 7283 (java) S 7278 7281 2448 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 2 0 3417033 369864704 1935 33554432000 4194304 4196468 140727897082560 139809368730016 139809364499074 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0

[startup+0.100061 s]
/proc/loadavg: 7.89 7.99 5.97 3/251 7281
/proc/meminfo: memFree=32008216/32770624 swapFree=5780/234036
[pid=7281] ppid=7278 vsize=10900556 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/7281/stat : 7281 (java) S 7278 7281 2448 0 -1 1077944320 4694 0 0 0 8 1 0 0 20 0 20 0 3417033 11162169344 6326 33554432000 4194304 4196468 140727897082560 140727897065104 139809364487927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
/proc/7281/statm: 2725139 6326 2624 1 0 2713552 0
[pid=7281/tid=7283] ppid=7278 vsize=10900556 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7283/stat : 7283 (java) R 7278 7281 2448 0 -1 4202560 2792 0 0 0 7 1 0 0 20 0 20 0 3417033 11162169344 6326 33554432000 4194304 4196468 140727897082560 139809368730208 139809342620547 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900556

[startup+0.200403 s]
/proc/loadavg: 7.89 7.99 5.97 3/251 7281
/proc/meminfo: memFree=32008216/32770624 swapFree=5780/234036
[pid=7281] ppid=7278 vsize=10900556 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/7281/stat : 7281 (java) S 7278 7281 2448 0 -1 1077944320 7042 0 0 0 23 3 0 0 20 0 20 0 3417033 11162169344 8928 33554432000 4194304 4196468 140727897082560 140727897065104 139809364487927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
/proc/7281/statm: 2725139 8928 2877 1 0 2713552 0
[pid=7281/tid=7283] ppid=7278 vsize=10900556 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7283/stat : 7283 (java) R 7278 7281 2448 0 -1 4202560 4634 0 0 0 16 2 0 0 20 0 20 0 3417033 11162169344 8928 33554432000 4194304 4196468 140727897082560 139809368701008 139809364509853 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556

[startup+0.300302 s]
/proc/loadavg: 7.89 7.99 5.97 3/251 7281
/proc/meminfo: memFree=32008216/32770624 swapFree=5780/234036
[pid=7281] ppid=7278 vsize=10900556 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/7281/stat : 7281 (java) S 7278 7281 2448 0 -1 1077944320 8278 0 0 0 40 4 0 0 20 0 20 0 3417033 11162169344 10661 33554432000 4194304 4196468 140727897082560 140727897065104 139809364487927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
/proc/7281/statm: 2725139 10661 2965 1 0 2713552 0
[pid=7281/tid=7283] ppid=7278 vsize=10900556 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7283/stat : 7283 (java) R 7278 7281 2448 0 -1 4202560 5253 0 0 0 25 2 0 0 20 0 20 0 3417033 11162169344 10661 33554432000 4194304 4196468 140727897082560 139809368718304 139809346137006 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 10900556

[startup+0.700219 s]
/proc/loadavg: 7.89 7.99 5.97 3/251 7281
/proc/meminfo: memFree=32008216/32770624 swapFree=5780/234036
[pid=7281] ppid=7278 vsize=10900632 CPUtime=1.9 cores=1,3,5,7,9,11,13,15
/proc/7281/stat : 7281 (java) S 7278 7281 2448 0 -1 1077944320 12076 0 0 0 182 8 0 0 20 0 20 0 3417033 11162247168 43937 33554432000 4194304 4196468 140727897082560 140727897065104 139809364487927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
/proc/7281/statm: 2725158 43937 3093 1 0 2713552 0
[pid=7281/tid=7283] ppid=7278 vsize=10900632 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7283/stat : 7283 (java) R 7278 7281 2448 0 -1 4202560 5998 0 0 0 62 5 0 0 20 0 20 0 3417033 11162247168 43937 33554432000 4194304 4196468 140727897082560 139809368720008 139808990575109 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 10900632

[startup+1.50108 s]
/proc/loadavg: 7.89 7.99 5.97 9/281 7311
/proc/meminfo: memFree=31520172/32770624 swapFree=5780/234416
[pid=7281] ppid=7278 vsize=10900632 CPUtime=4.99 cores=1,3,5,7,9,11,13,15
/proc/7281/stat : 7281 (java) S 7278 7281 2448 0 -1 1077944320 22127 0 0 0 462 37 0 0 20 0 20 0 3417033 11162247168 100041 33554432000 4194304 4196468 140727897082560 140727897065104 139809364487927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
/proc/7281/statm: 2725158 100041 3139 1 0 2713552 0
[pid=7281/tid=7283] ppid=7278 vsize=10900632 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7283/stat : 7283 (java) S 7278 7281 2448 0 -1 1077944384 6067 0 0 0 131 6 0 0 20 0 20 0 3417033 11162247168 100041 33554432000 4194304 4196468 140727897082560 139809368723552 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7287] ppid=7278 vsize=10900632 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7287/stat : 7287 (java) R 7278 7281 2448 0 -1 4202560 58 0 0 0 4 3 0 0 20 0 20 0 3417034 11162247168 100041 33554432000 4194304 4196468 140727897082560 139808970955992 139809346113872 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7288] ppid=7278 vsize=10900632 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7288/stat : 7288 (java) R 7278 7281 2448 0 -1 4202560 90 0 0 0 4 3 0 0 20 0 20 0 3417034 11162247168 100041 33554432000 4194304 4196468 140727897082560 139808969903448 139809349512101 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7289] ppid=7278 vsize=10900632 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7289/stat : 7289 (java) R 7278 7281 2448 0 -1 4202560 73 0 0 0 3 3 0 0 20 0 20 0 3417034 11162247168 100041 33554432000 4194304 4196468 140727897082560 139808968850392 139809349515346 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7290] ppid=7278 vsize=10900632 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7290/stat : 7290 (java) R 7278 7281 2448 0 -1 4202560 59 0 0 0 3 2 0 0 20 0 20 0 3417034 11162247168 100041 33554432000 4194304 4196468 140727897082560 139808967797848 139809349515801 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7291] ppid=7278 vsize=10900632 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7291/stat : 7291 (java) R 7278 7281 2448 0 -1 4202560 90 0 0 0 4 3 0 0 20 0 20 0 3417034 11162247168 100041 33554432000 4194304 4196468 140727897082560 139808966744480 139809349512189 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7292] ppid=7278 vsize=10900632 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7292/stat : 7292 (java) R 7278 7281 2448 0 -1 4202560 102 0 0 0 5 4 0 0 20 0 20 0 3417034 11162247168 100041 33554432000 4194304 4196468 140727897082560 139808965692248 139809348936142 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7293] ppid=7278 vsize=10900632 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7293/stat : 7293 (java) R 7278 7281 2448 0 -1 4202560 101 0 0 0 6 2 0 0 20 0 20 0 3417034 11162247168 100041 33554432000 4194304 4196468 140727897082560 139808964639192 139809349515346 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7294] ppid=7278 vsize=10900632 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7294/stat : 7294 (java) R 7278 7281 2448 0 -1 4202560 88 0 0 0 3 3 0 0 20 0 20 0 3417034 11162247168 100041 33554432000 4194304 4196468 140727897082560 139808963586648 139809348936142 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7295] ppid=7278 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7295/stat : 7295 (java) S 7278 7281 2448 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 3417037 11162247168 100041 33554432000 4194304 4196468 140727897082560 139808907375904 139809364498133 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7296] ppid=7278 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7296/stat : 7296 (java) S 7278 7281 2448 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3417037 11162247168 100041 33554432000 4194304 4196468 140727897082560 139808906323616 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7297] ppid=7278 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7297/stat : 7297 (java) S 7278 7281 2448 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3417038 11162247168 100041 33554432000 4194304 4196468 140727897082560 139808905270512 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7305] ppid=7278 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7305/stat : 7305 (java) S 7278 7281 2448 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3417041 11162247168 100041 33554432000 4194304 4196468 140727897082560 139808904219088 139809364506523 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7306] ppid=7278 vsize=10900632 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7306/stat : 7306 (java) S 7278 7281 2448 0 -1 1077944384 3443 0 0 0 73 0 0 0 20 0 20 0 3417041 11162247168 100041 33554432000 4194304 4196468 140727897082560 139808178432240 139809364499074 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7307] ppid=7278 vsize=10900632 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7307/stat : 7307 (java) S 7278 7281 2448 0 -1 1077944384 4924 0 0 0 94 1 0 0 20 0 20 0 3417042 11162247168 100041 33554432000 4194304 4196468 140727897082560 139808177379696 139809364499074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7308] ppid=7278 vsize=10900632 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7308/stat : 7308 (java) S 7278 7281 2448 0 -1 1077944384 3685 0 0 0 83 0 0 0 20 0 20 0 3417042 11162247168 100041 33554432000 4194304 4196468 140727897082560 139808176326640 139809364499074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7309] ppid=7278 vsize=10900632 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7309/stat : 7309 (java) S 7278 7281 2448 0 -1 1077944384 1896 0 0 0 42 0 0 0 20 0 20 0 3417042 11162247168 100041 33554432000 4194304 4196468 140727897082560 139808175274096 139809364499074 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7310] ppid=7278 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7310/stat : 7310 (java) S 7278 7281 2448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3417042 11162247168 100041 33554432000 4194304 4196468 140727897082560 139808174222304 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7311] ppid=7278 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7311/stat : 7311 (java) S 7278 7281 2448 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3417042 11162247168 100041 33554432000 4194304 4196468 140727897082560 139808173169840 139809364499074 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
Current children cumulated CPU time (s) 4.99
Current children cumulated vsize (KiB) 10900632

[startup+3.10086 s]
/proc/loadavg: 7.66 7.94 5.96 6/283 7313
/proc/meminfo: memFree=31085572/32770624 swapFree=5780/234416
[pid=7281] ppid=7278 vsize=10967196 CPUtime=8.35 cores=1,3,5,7,9,11,13,15
/proc/7281/stat : 7281 (java) S 7278 7281 2448 0 -1 1077944320 23153 0 0 0 770 65 0 0 20 0 21 0 3417033 11230408704 116100 33554432000 4194304 4196468 140727897082560 140727897065104 139809364487927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
/proc/7281/statm: 2741799 116100 3149 1 0 2730193 0
[pid=7281/tid=7283] ppid=7278 vsize=10967196 CPUtime=2.88 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7283/stat : 7283 (java) R 7278 7281 2448 0 -1 4202560 6143 0 0 0 282 6 0 0 20 0 21 0 3417033 11230408704 116100 33554432000 4194304 4196468 140727897082560 139809368726440 139808992131457 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7287] ppid=7278 vsize=10967196 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7287/stat : 7287 (java) S 7278 7281 2448 0 -1 1077944384 96 0 0 0 10 6 0 0 20 0 21 0 3417034 11230408704 116100 33554432000 4194304 4196468 140727897082560 139808970955792 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7288] ppid=7278 vsize=10967196 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7288/stat : 7288 (java) S 7278 7281 2448 0 -1 1077944384 118 0 0 0 9 7 0 0 20 0 21 0 3417034 11230408704 116100 33554432000 4194304 4196468 140727897082560 139808969903248 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7289] ppid=7278 vsize=10967196 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7289/stat : 7289 (java) S 7278 7281 2448 0 -1 1077944384 99 0 0 0 8 6 0 0 20 0 21 0 3417034 11230408704 116100 33554432000 4194304 4196468 140727897082560 139808968850192 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7290] ppid=7278 vsize=10967196 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7290/stat : 7290 (java) S 7278 7281 2448 0 -1 1077944384 84 0 0 0 9 5 0 0 20 0 21 0 3417034 11230408704 116100 33554432000 4194304 4196468 140727897082560 139808967797648 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7291] ppid=7278 vsize=10967196 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7291/stat : 7291 (java) S 7278 7281 2448 0 -1 1077944384 115 0 0 0 10 6 0 0 20 0 21 0 3417034 11230408704 116100 33554432000 4194304 4196468 140727897082560 139808966744592 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7292] ppid=7278 vsize=10967196 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7292/stat : 7292 (java) S 7278 7281 2448 0 -1 1077944384 130 0 0 0 10 7 0 0 20 0 21 0 3417034 11230408704 116100 33554432000 4194304 4196468 140727897082560 139808965692048 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7293] ppid=7278 vsize=10967196 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7293/stat : 7293 (java) S 7278 7281 2448 0 -1 1077944384 128 0 0 0 11 6 0 0 20 0 21 0 3417034 11230408704 116100 33554432000 4194304 4196468 140727897082560 139808964638992 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7294] ppid=7278 vsize=10967196 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7294/stat : 7294 (java) S 7278 7281 2448 0 -1 1077944384 113 0 0 0 9 6 0 0 20 0 21 0 3417034 11230408704 116100 33554432000 4194304 4196468 140727897082560 139808963586448 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7295] ppid=7278 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7295/stat : 7295 (java) S 7278 7281 2448 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 21 0 3417037 11230408704 116100 33554432000 4194304 4196468 140727897082560 139808907377392 139809364499074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7296] ppid=7278 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7296/stat : 7296 (java) S 7278 7281 2448 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 3417037 11230408704 116100 33554432000 4194304 4196468 140727897082560 139808906323616 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7297] ppid=7278 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7297/stat : 7297 (java) S 7278 7281 2448 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 3417038 11230408704 116100 33554432000 4194304 4196468 140727897082560 139808905270512 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7305] ppid=7278 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7305/stat : 7305 (java) S 7278 7281 2448 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3417041 11230408704 116100 33554432000 4194304 4196468 140727897082560 139808904219088 139809364506523 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7306] ppid=7278 vsize=10967196 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7306/stat : 7306 (java) S 7278 7281 2448 0 -1 1077944384 3591 0 0 0 101 0 0 0 20 0 21 0 3417041 11230408704 116100 33554432000 4194304 4196468 140727897082560 139808178432240 139809364499074 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 8 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7307] ppid=7278 vsize=10967196 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7307/stat : 7307 (java) S 7278 7281 2448 0 -1 1077944384 5189 0 0 0 139 1 0 0 20 0 21 0 3417042 11230408704 116100 33554432000 4194304 4196468 140727897082560 139808177379696 139809364499074 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7308] ppid=7278 vsize=10967196 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7308/stat : 7308 (java) S 7278 7281 2448 0 -1 1077944384 3745 0 0 0 117 0 0 0 20 0 21 0 3417042 11230408704 116100 33554432000 4194304 4196468 140727897082560 139808176326640 139809364499074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7309] ppid=7278 vsize=10967196 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7309/stat : 7309 (java) S 7278 7281 2448 0 -1 1077944384 2001 0 0 0 50 0 0 0 20 0 21 0 3417042 11230408704 116100 33554432000 4194304 4196468 140727897082560 139808175274096 139809364499074 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7310] ppid=7278 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7310/stat : 7310 (java) S 7278 7281 2448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3417042 11230408704 116100 33554432000 4194304 4196468 140727897082560 139808174222304 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7311] ppid=7278 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7311/stat : 7311 (java) S 7278 7281 2448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3417042 11230408704 116100 33554432000 4194304 4196468 140727897082560 139808173169840 139809364499074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7312] ppid=7278 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7312/stat : 7312 (java) S 7278 7281 2448 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3417196 11230408704 116100 33554432000 4194304 4196468 140727897082560 139808172115120 139809364499074 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
Current children cumulated CPU time (s) 8.35
Current children cumulated vsize (KiB) 10967196

[startup+6.30089 s]
/proc/loadavg: 7.66 7.94 5.96 3/283 7313
/proc/meminfo: memFree=31079884/32770624 swapFree=5780/234424
[pid=7281] ppid=7278 vsize=10967196 CPUtime=11.75 cores=1,3,5,7,9,11,13,15
/proc/7281/stat : 7281 (java) S 7278 7281 2448 0 -1 1077944320 24869 0 0 0 1110 65 0 0 20 0 21 0 3417033 11230408704 116324 33554432000 4194304 4196468 140727897082560 140727897065104 139809364487927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
/proc/7281/statm: 2741799 116324 3157 1 0 2730193 0
[pid=7281/tid=7283] ppid=7278 vsize=10967196 CPUtime=6.09 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7283/stat : 7283 (java) R 7278 7281 2448 0 -1 4202560 6355 0 0 0 602 7 0 0 20 0 21 0 3417033 11230408704 116324 33554432000 4194304 4196468 140727897082560 139809368724792 139808992030277 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7287] ppid=7278 vsize=10967196 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7287/stat : 7287 (java) S 7278 7281 2448 0 -1 1077944384 96 0 0 0 10 6 0 0 20 0 21 0 3417034 11230408704 116324 33554432000 4194304 4196468 140727897082560 139808970955792 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7288] ppid=7278 vsize=10967196 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7288/stat : 7288 (java) S 7278 7281 2448 0 -1 1077944384 118 0 0 0 9 7 0 0 20 0 21 0 3417034 11230408704 116324 33554432000 4194304 4196468 140727897082560 139808969903248 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7289] ppid=7278 vsize=10967196 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7289/stat : 7289 (java) S 7278 7281 2448 0 -1 1077944384 99 0 0 0 8 6 0 0 20 0 21 0 3417034 11230408704 116324 33554432000 4194304 4196468 140727897082560 139808968850192 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7290] ppid=7278 vsize=10967196 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7290/stat : 7290 (java) S 7278 7281 2448 0 -1 1077944384 84 0 0 0 9 5 0 0 20 0 21 0 3417034 11230408704 116324 33554432000 4194304 4196468 140727897082560 139808967797648 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7291] ppid=7278 vsize=10967196 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7291/stat : 7291 (java) S 7278 7281 2448 0 -1 1077944384 115 0 0 0 10 6 0 0 20 0 21 0 3417034 11230408704 116324 33554432000 4194304 4196468 140727897082560 139808966744592 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7292] ppid=7278 vsize=10967196 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7292/stat : 7292 (java) S 7278 7281 2448 0 -1 1077944384 130 0 0 0 10 7 0 0 20 0 21 0 3417034 11230408704 116324 33554432000 4194304 4196468 140727897082560 139808965692048 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7293] ppid=7278 vsize=10967196 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7293/stat : 7293 (java) S 7278 7281 2448 0 -1 1077944384 128 0 0 0 11 6 0 0 20 0 21 0 3417034 11230408704 116324 33554432000 4194304 4196468 140727897082560 139808964638992 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7294] ppid=7278 vsize=10967196 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7294/stat : 7294 (java) S 7278 7281 2448 0 -1 1077944384 113 0 0 0 9 6 0 0 20 0 21 0 3417034 11230408704 116324 33554432000 4194304 4196468 140727897082560 139808963586448 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7295] ppid=7278 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7295/stat : 7295 (java) S 7278 7281 2448 0 -1 1077944384 215 0 0 0 0 0 0 0 20 0 21 0 3417037 11230408704 116324 33554432000 4194304 4196468 140727897082560 139808907377392 139809364499074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7296] ppid=7278 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7296/stat : 7296 (java) S 7278 7281 2448 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 3417037 11230408704 116324 33554432000 4194304 4196468 140727897082560 139808906323616 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7297] ppid=7278 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15

################
# More data... #
################

[pid=7281/tid=7310] ppid=7278 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7310/stat : 7310 (java) S 7278 7281 2448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3417042 11230408704 223802 33554432000 4194304 4196468 140727897082560 139808174222304 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7311] ppid=7278 vsize=10967196 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7311/stat : 7311 (java) S 7278 7281 2448 0 -1 1077944384 2437 0 0 0 63 73 0 0 20 0 21 0 3417042 11230408704 223802 33554432000 4194304 4196468 140727897082560 139808173169840 139809364499074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7312] ppid=7278 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7312/stat : 7312 (java) S 7278 7281 2448 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3417196 11230408704 223802 33554432000 4194304 4196468 140727897082560 139808172115120 139809364499074 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
Current children cumulated CPU time (s) 2330.51
Current children cumulated vsize (KiB) 10967196

[startup+2382.3 s]
/proc/loadavg: 1.00 1.04 1.78 2/256 7554
/proc/meminfo: memFree=31132344/32770624 swapFree=5780/236192
[pid=7281] ppid=7278 vsize=10967196 CPUtime=2390.53 cores=1,3,5,7,9,11,13,15
/proc/7281/stat : 7281 (java) S 7278 7281 2448 0 -1 1077944320 64344 0 0 0 238818 235 0 0 20 0 21 0 3417033 11230408704 223809 33554432000 4194304 4196468 140727897082560 140727897065104 139809364487927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
/proc/7281/statm: 2741799 223809 3157 1 0 2730193 0
[pid=7281/tid=7283] ppid=7278 vsize=10967196 CPUtime=2380.66 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7283/stat : 7283 (java) R 7278 7281 2448 0 -1 4202560 25798 0 0 0 238054 12 0 0 20 0 21 0 3417033 11230408704 223809 33554432000 4194304 4196468 140727897082560 139809368726728 139808991957706 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7287] ppid=7278 vsize=10967196 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7287/stat : 7287 (java) S 7278 7281 2448 0 -1 1077944384 324 0 0 0 22 18 0 0 20 0 21 0 3417034 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808970955792 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7288] ppid=7278 vsize=10967196 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7288/stat : 7288 (java) S 7278 7281 2448 0 -1 1077944384 932 0 0 0 20 19 0 0 20 0 21 0 3417034 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808969903248 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7289] ppid=7278 vsize=10967196 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7289/stat : 7289 (java) S 7278 7281 2448 0 -1 1077944384 298 0 0 0 20 18 0 0 20 0 21 0 3417034 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808968850192 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7290] ppid=7278 vsize=10967196 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7290/stat : 7290 (java) S 7278 7281 2448 0 -1 1077944384 299 0 0 0 21 16 0 0 20 0 21 0 3417034 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808967797648 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7291] ppid=7278 vsize=10967196 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7291/stat : 7291 (java) S 7278 7281 2448 0 -1 1077944384 295 0 0 0 21 18 0 0 20 0 21 0 3417034 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808966744592 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7292] ppid=7278 vsize=10967196 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7292/stat : 7292 (java) S 7278 7281 2448 0 -1 1077944384 334 0 0 0 21 20 0 0 20 0 21 0 3417034 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808965692048 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7293] ppid=7278 vsize=10967196 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7293/stat : 7293 (java) S 7278 7281 2448 0 -1 1077944384 575 0 0 0 23 18 0 0 20 0 21 0 3417034 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808964638992 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7294] ppid=7278 vsize=10967196 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7294/stat : 7294 (java) S 7278 7281 2448 0 -1 1077944384 461 0 0 0 22 17 0 0 20 0 21 0 3417034 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808963586448 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7295] ppid=7278 vsize=10967196 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7295/stat : 7295 (java) S 7278 7281 2448 0 -1 1077944384 1321 0 0 0 3 4 0 0 20 0 21 0 3417037 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808907377392 139809364499074 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7296] ppid=7278 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7296/stat : 7296 (java) S 7278 7281 2448 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 3417037 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808906323616 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7297] ppid=7278 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7297/stat : 7297 (java) S 7278 7281 2448 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 3417038 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808905270512 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7305] ppid=7278 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7305/stat : 7305 (java) S 7278 7281 2448 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3417041 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808904219088 139809364506523 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7306] ppid=7278 vsize=10967196 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7306/stat : 7306 (java) S 7278 7281 2448 0 -1 1077944384 7653 0 0 0 133 1 0 0 20 0 21 0 3417041 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808178432240 139809364499074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7307] ppid=7278 vsize=10967196 CPUtime=1.73 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7307/stat : 7307 (java) S 7278 7281 2448 0 -1 1077944384 8737 0 0 0 171 2 0 0 20 0 21 0 3417042 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808177379696 139809364499074 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7308] ppid=7278 vsize=10967196 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7308/stat : 7308 (java) S 7278 7281 2448 0 -1 1077944384 8058 0 0 0 147 1 0 0 20 0 21 0 3417042 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808176326640 139809364499074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7309] ppid=7278 vsize=10967196 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7309/stat : 7309 (java) S 7278 7281 2448 0 -1 1077944384 5430 0 0 0 56 1 0 0 20 0 21 0 3417042 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808175274096 139809364499074 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7310] ppid=7278 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7310/stat : 7310 (java) S 7278 7281 2448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3417042 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808174222304 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7311] ppid=7278 vsize=10967196 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7311/stat : 7311 (java) S 7278 7281 2448 0 -1 1077944384 2442 0 0 0 65 75 0 0 20 0 21 0 3417042 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808173169840 139809364499074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7312] ppid=7278 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7312/stat : 7312 (java) S 7278 7281 2448 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3417196 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808172115120 139809364499074 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
Current children cumulated CPU time (s) 2390.53
Current children cumulated vsize (KiB) 10967196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2391.8 s]
/proc/loadavg: 1.00 1.04 1.78 2/256 7554
/proc/meminfo: memFree=31132344/32770624 swapFree=5780/236192
[pid=7281] ppid=7278 vsize=10967196 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/7281/stat : 7281 (java) S 7278 7281 2448 0 -1 1077944320 64370 0 0 0 239768 235 0 0 20 0 21 0 3417033 11230408704 223809 33554432000 4194304 4196468 140727897082560 140727897065104 139809364487927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
/proc/7281/statm: 2741799 223809 3157 1 0 2730193 0
[pid=7281/tid=7283] ppid=7278 vsize=10967196 CPUtime=2390.15 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7283/stat : 7283 (java) R 7278 7281 2448 0 -1 4202560 25814 0 0 0 239003 12 0 0 20 0 21 0 3417033 11230408704 223809 33554432000 4194304 4196468 140727897082560 139809368726728 139808992030277 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7287] ppid=7278 vsize=10967196 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7287/stat : 7287 (java) S 7278 7281 2448 0 -1 1077944384 324 0 0 0 22 18 0 0 20 0 21 0 3417034 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808970955792 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7288] ppid=7278 vsize=10967196 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7288/stat : 7288 (java) S 7278 7281 2448 0 -1 1077944384 932 0 0 0 20 19 0 0 20 0 21 0 3417034 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808969903248 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7289] ppid=7278 vsize=10967196 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7289/stat : 7289 (java) S 7278 7281 2448 0 -1 1077944384 298 0 0 0 20 18 0 0 20 0 21 0 3417034 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808968850192 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7290] ppid=7278 vsize=10967196 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7290/stat : 7290 (java) S 7278 7281 2448 0 -1 1077944384 299 0 0 0 21 16 0 0 20 0 21 0 3417034 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808967797648 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7291] ppid=7278 vsize=10967196 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7291/stat : 7291 (java) S 7278 7281 2448 0 -1 1077944384 295 0 0 0 21 18 0 0 20 0 21 0 3417034 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808966744592 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7292] ppid=7278 vsize=10967196 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7292/stat : 7292 (java) S 7278 7281 2448 0 -1 1077944384 334 0 0 0 21 20 0 0 20 0 21 0 3417034 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808965692048 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7293] ppid=7278 vsize=10967196 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7293/stat : 7293 (java) S 7278 7281 2448 0 -1 1077944384 575 0 0 0 23 18 0 0 20 0 21 0 3417034 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808964638992 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7294] ppid=7278 vsize=10967196 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7294/stat : 7294 (java) S 7278 7281 2448 0 -1 1077944384 461 0 0 0 22 17 0 0 20 0 21 0 3417034 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808963586448 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7295] ppid=7278 vsize=10967196 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7295/stat : 7295 (java) S 7278 7281 2448 0 -1 1077944384 1321 0 0 0 3 4 0 0 20 0 21 0 3417037 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808907377392 139809364499074 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7296] ppid=7278 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7296/stat : 7296 (java) S 7278 7281 2448 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 3417037 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808906323616 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7297] ppid=7278 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7297/stat : 7297 (java) S 7278 7281 2448 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 3417038 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808905270512 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7305] ppid=7278 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7305/stat : 7305 (java) S 7278 7281 2448 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3417041 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808904219088 139809364506523 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7306] ppid=7278 vsize=10967196 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7306/stat : 7306 (java) S 7278 7281 2448 0 -1 1077944384 7655 0 0 0 133 1 0 0 20 0 21 0 3417041 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808178432240 139809364499074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7307] ppid=7278 vsize=10967196 CPUtime=1.73 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7307/stat : 7307 (java) S 7278 7281 2448 0 -1 1077944384 8739 0 0 0 171 2 0 0 20 0 21 0 3417042 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808177379696 139809364499074 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7308] ppid=7278 vsize=10967196 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7308/stat : 7308 (java) S 7278 7281 2448 0 -1 1077944384 8060 0 0 0 147 1 0 0 20 0 21 0 3417042 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808176326640 139809364499074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7309] ppid=7278 vsize=10967196 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7309/stat : 7309 (java) S 7278 7281 2448 0 -1 1077944384 5432 0 0 0 56 1 0 0 20 0 21 0 3417042 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808175274096 139809364499074 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7310] ppid=7278 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7310/stat : 7310 (java) S 7278 7281 2448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3417042 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808174222304 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7311] ppid=7278 vsize=10967196 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7311/stat : 7311 (java) S 7278 7281 2448 0 -1 1077944384 2444 0 0 0 65 75 0 0 20 0 21 0 3417042 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808173169840 139809364499074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7312] ppid=7278 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7312/stat : 7312 (java) S 7278 7281 2448 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3417196 11230408704 223809 33554432000 4194304 4196468 140727897082560 139808172115120 139809364499074 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 10967196

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7281 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2392 s]
/proc/loadavg: 1.00 1.04 1.78 2/256 7554
/proc/meminfo: memFree=31132344/32770624 swapFree=5780/236192
[pid=7281] ppid=7278 vsize=11168936 CPUtime=2400.16 cores=1,3,5,7,9,11,13,15
/proc/7281/stat : 7281 (java) S 7278 7281 2448 0 -1 1077944320 64799 0 0 0 239781 235 0 0 20 0 22 0 3417033 11436990464 223855 33554432000 4194304 4196468 140727897082560 140727897065104 139809364487927 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
/proc/7281/statm: 2792234 223855 3159 1 0 2780628 0
[pid=7281/tid=7283] ppid=7278 vsize=11168936 CPUtime=2390.25 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7283/stat : 7283 (java) S 7278 7281 2448 0 -1 1077944384 25876 0 0 0 239013 12 0 0 20 0 22 0 3417033 11436990464 223855 33554432000 4194304 4196468 140727897082560 139809368730800 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7287] ppid=7278 vsize=11168936 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7287/stat : 7287 (java) S 7278 7281 2448 0 -1 1077944384 324 0 0 0 22 18 0 0 20 0 22 0 3417034 11436990464 223855 33554432000 4194304 4196468 140727897082560 139808970955792 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7288] ppid=7278 vsize=11168936 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7288/stat : 7288 (java) S 7278 7281 2448 0 -1 1077944384 932 0 0 0 20 19 0 0 20 0 22 0 3417034 11436990464 223855 33554432000 4194304 4196468 140727897082560 139808969903248 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7289] ppid=7278 vsize=11168936 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7289/stat : 7289 (java) S 7278 7281 2448 0 -1 1077944384 298 0 0 0 20 18 0 0 20 0 22 0 3417034 11436990464 223855 33554432000 4194304 4196468 140727897082560 139808968850192 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7290] ppid=7278 vsize=11168936 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7290/stat : 7290 (java) S 7278 7281 2448 0 -1 1077944384 299 0 0 0 21 16 0 0 20 0 22 0 3417034 11436990464 223855 33554432000 4194304 4196468 140727897082560 139808967797648 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7291] ppid=7278 vsize=11168936 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7291/stat : 7291 (java) S 7278 7281 2448 0 -1 1077944384 295 0 0 0 21 18 0 0 20 0 22 0 3417034 11436990464 223855 33554432000 4194304 4196468 140727897082560 139808966744592 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7292] ppid=7278 vsize=11168936 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7292/stat : 7292 (java) S 7278 7281 2448 0 -1 1077944384 334 0 0 0 21 20 0 0 20 0 22 0 3417034 11436990464 223855 33554432000 4194304 4196468 140727897082560 139808965692048 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7293] ppid=7278 vsize=11168936 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7293/stat : 7293 (java) S 7278 7281 2448 0 -1 1077944384 575 0 0 0 23 18 0 0 20 0 22 0 3417034 11436990464 223855 33554432000 4194304 4196468 140727897082560 139808964638992 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7294] ppid=7278 vsize=11168936 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7294/stat : 7294 (java) S 7278 7281 2448 0 -1 1077944384 461 0 0 0 22 17 0 0 20 0 22 0 3417034 11436990464 223855 33554432000 4194304 4196468 140727897082560 139808963586448 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7295] ppid=7278 vsize=11168936 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7295/stat : 7295 (java) S 7278 7281 2448 0 -1 1077944384 1321 0 0 0 3 4 0 0 20 0 22 0 3417037 11436990464 223855 33554432000 4194304 4196468 140727897082560 139808907377392 139809364499074 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7296] ppid=7278 vsize=11168936 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7296/stat : 7296 (java) S 7278 7281 2448 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 22 0 3417037 11436990464 223855 33554432000 4194304 4196468 140727897082560 139808906323616 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7297] ppid=7278 vsize=11168936 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7297/stat : 7297 (java) S 7278 7281 2448 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 22 0 3417038 11436990464 223855 33554432000 4194304 4196468 140727897082560 139808905270512 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7305] ppid=7278 vsize=11168936 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7305/stat : 7305 (java) S 7278 7281 2448 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 22 0 3417041 11436990464 223855 33554432000 4194304 4196468 140727897082560 139808904219088 139809364506523 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7306] ppid=7278 vsize=11168936 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7306/stat : 7306 (java) S 7278 7281 2448 0 -1 1077944384 7710 0 0 0 134 1 0 0 20 0 22 0 3417041 11436990464 223855 33554432000 4194304 4196468 140727897082560 139808178432240 139809364499074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7307] ppid=7278 vsize=11168936 CPUtime=1.73 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7307/stat : 7307 (java) S 7278 7281 2448 0 -1 1077944384 8754 0 0 0 171 2 0 0 20 0 22 0 3417042 11436990464 223855 33554432000 4194304 4196468 140727897082560 139808177379696 139809364499074 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7308] ppid=7278 vsize=11168936 CPUtime=1.51 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7308/stat : 7308 (java) S 7278 7281 2448 0 -1 1077944384 8076 0 0 0 150 1 0 0 20 0 22 0 3417042 11436990464 223855 33554432000 4194304 4196468 140727897082560 139808176326640 139809364499074 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7309] ppid=7278 vsize=11168936 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7309/stat : 7309 (java) S 7278 7281 2448 0 -1 1077944384 5469 0 0 0 56 1 0 0 20 0 22 0 3417042 11436990464 223855 33554432000 4194304 4196468 140727897082560 139808175274096 139809364499074 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7310] ppid=7278 vsize=11168936 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7310/stat : 7310 (java) S 7278 7281 2448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 3417042 11436990464 223855 33554432000 4194304 4196468 140727897082560 139808174222304 139809364498133 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
[pid=7281/tid=7311] ppid=7278 vsize=11168936 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/7281/task/7311/stat : 7311 (java) S 7278 7281 2448 0 -1 1077944384 2444 0 0 0 65 75 0 0 20 0 22 0 3417042 11436990464 223855 33554432000 4194304 4196468 140727897082560 139808173169840 139809364499074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140727897089195 140727897089348 140727897089348 140727897092047 0
Current children cumulated CPU time (s) 2400.16
Current children cumulated vsize (KiB) 11168936

Child status: 143
Real time (s): 2392.03
CPU time (s): 2400.18
CPU user time (s): 2397.82
CPU system time (s): 2.36016
CPU usage (%): 100.341
Max. virtual memory (cumulated for all children) (KiB): 11168936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.82
system time used= 2.36016
maximum resident set size= 895900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64946
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55729
involuntary context switches= 120456

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2074 second user time and 19.3048 second system time

The end

Launcher Data

Begin job on node124 at 2017-07-22 01:58:13
IDJOB=4244182
IDBENCH=138318
IDSOLVER=2623
FILE ID=node124/4244182-1500681493
RUNJOBID= node124-1500681493-7243
PBS_JOBID= 20623296
Free space on /tmp= 62008 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff65.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244182-1500681493/watcher-4244182-1500681493 -o /tmp/evaluation-result-4244182-1500681493/solver-4244182-1500681493 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500681493-7243 --watchdog 2560  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4244182-1500681493.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 0deffa9f0e673ce4a3cf2d2074b556a7
RANDOM SEED=184790811

node124.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.16
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.16
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.16
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.16
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2000.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        32017304 kB
MemAvailable:   32030140 kB
Buffers:           45900 kB
Cached:           279224 kB
SwapCached:            0 kB
Active:           134888 kB
Inactive:         242756 kB
Active(anon):      55808 kB
Inactive(anon):     8720 kB
Active(file):      79080 kB
Inactive(file):   234036 kB
Unevictable:        5780 kB
Mlocked:            5780 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3072 kB
Writeback:             0 kB
AnonPages:         60724 kB
Mapped:            28788 kB
Shmem:              8840 kB
Slab:              63804 kB
SReclaimable:      31108 kB
SUnreclaim:        32696 kB
KernelStack:        4272 kB
PageTables:         4812 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     310112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 62008 MiB
End job on node124 at 2017-07-22 02:38:05

Name	Fastfood/Fastfood-m1-s1/ Fastfood-ff65.xml
MD5SUM	0deffa9f0e673ce4a3cf2d2074b556a7
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	63
Best CPU time to get the best result obtained on this benchmark	6.2784801
Satisfiable
(Un)Satisfiability was proved
Number of variables	560
Number of constraints	545
Number of domains	27
Minimum domain size	23
Maximum domain size	26
Distribution of domain sizes	[{"size":23,"count":17},{"size":25,"count":51},{"size":26,"count":492}]
Minimum variable degree	2
Maximum variable degree	33
Distribution of variable degrees	[{"degree":2,"count":544},{"degree":33,"count":16}]
Minimum constraint arity	2
Maximum constraint arity	17
Distribution of constraint arities	[{"arity":2,"count":512},{"arity":16,"count":1},{"arity":17,"count":32}]
Number of extensional constraints	512
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":512},{"type":"ordered","count":1},{"type":"minimum","count":32}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4244182

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data