Trace number 4256431

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2017-07-26SAT (TO)0 252.099 179.56799

General information on the benchmark

NameBinPacking/BinPacking-tab-sw120/
BinPacking-tab-sw120-31.xml
MD5SUM67c04303171609b86978ceecc7dcafe8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark252.078
Satisfiable
(Un)Satisfiability was proved
Number of variables133
Number of constraints25
Number of domains2
Minimum domain size23
Maximum domain size46
Distribution of domain sizes[{"size":23,"count":1},{"size":46,"count":132}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":110},{"degree":4,"count":22}]
Minimum constraint arity6
Maximum constraint arity132
Distribution of constraint arities[{"arity":6,"count":22},{"arity":23,"count":1},{"arity":132,"count":2}]
Number of extensional constraints22
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":22},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Solver Data 

0.29/0.37	c version: 2017-07-26
0.29/0.37	c seed: 472159306
0.29/0.37	c timeout: 252
0.29/0.37	c memlimit: 11000
0.29/0.37	c nbcore: 4
0.29/0.39	c Parsing instance...
152.18/83.74	c Parsing done, starting first complete search...
154.45/84.88	o 0
171.26/100.16	c First complete search done, starting ALNS search...
252.02/179.50	s SATISFIABLE
252.02/179.50	v <instantiation>
252.02/179.50	v 	<list>
252.02/179.50	v 		x b[0][0] b[0][1] b[0][2] b[0][3] b[0][4] b[0][5] b[1][0] b[1][1] b[1][2] b[1][3] b[1][4] b[1][5] b[2][0] b[2][1] b[2][2] b[2][3] b[2][4] b[2][5] b[3][0] b[3][1] b[3][2] b[3][3] b[3][4] b[3][5] b[4][0] b[4][1] b[4][2] b[4][3] b[4][4] b[4][5] b[5][0] b[5][1] b[5][2] b[5][3] b[5][4] b[5][5] b[6][0] b[6][1] b[6][2] b[6][3] b[6][4] b[6][5] b[7][0] b[7][1] b[7][2] b[7][3] b[7][4] b[7][5] b[8][0] b[8][1] b[8][2] b[8][3] b[8][4] b[8][5] b[9][0] b[9][1] b[9][2] b[9][3] b[9][4] b[9][5] b[10][0] b[10][1] b[10][2] b[10][3] b[10][4] b[10][5] b[11][0] b[11][1] b[11][2] b[11][3] b[11][4] b[11][5] b[12][0] b[12][1] b[12][2] b[12][3] b[12][4] b[12][5] b[13][0] b[13][1] b[13][2] b[13][3] b[13][4] b[13][5] b[14][0] b[14][1] b[14][2] b[14][3] b[14][4] b[14][5] b[15][0] b[15][1] b[15][2] b[15][3] b[15][4] b[15][5] b[16][0] b[16][1] b[16][2] b[16][3] b[16][4] b[16][5] b[17][0] b[17][1] b[17][2] b[17][3] b[17][4] b[17][5] b[18][0] b[18][1] b[18][2] b[18][3] b[18][4] b[18][5] b[19][0] b[19][1] b[19][2] b[19][3] b[19][4] b[19][5] b[20][0] b[20][1] b[20][2] b[20][3] b[20][4] b[20][5] b[21][0] b[21][1] b[21][2] b[21][3] b[21][4] b[21][5]
252.02/179.50	v 	</list>
252.02/179.50	v 	<values>
252.02/179.50	v 		0 200 199 199 198 185 0 199 198 198 198 197 0 198 198 198 197 197 0 197 197 196 196 195 0 195 193 192 192 191 0 194 193 193 192 190 0 190 190 190 185 185 0 189 189 188 188 187 0 185 185 185 184 181 0 183 177 177 173 172 0 182 169 165 157 153 150 182 169 162 158 154 150 181 169 163 160 155 150 180 169 162 161 155 150 179 167 162 161 155 151 178 169 161 160 157 151 178 168 161 159 157 152 177 169 165 158 154 152 176 167 163 158 156 151 173 168 167 157 152 150 172 172 171 171 171 0 172 171 171 171 169 0 
252.02/179.50	v 	</values>
252.02/179.50	v </instantiation>

Verifier Data 

OK	0

Watcher Data 

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 (14870 MiB free)
  memory of node 1: 16384 MiB (8550 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4256431-1502644211/watcher-4256431-1502644211 -o /tmp/evaluation-result-4256431-1502644211/solver-4256431-1502644211 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502642251-32116 --watchdog 312 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 472159306 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4256431-1502644211.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=555, runsolver pid=552

[startup+0.100113 s]*
/proc/loadavg: 1.87 1.97 1.84 6/200 561
/proc/meminfo: memFree=23932616/32770624 swapFree=67108860/67108860
[pid=555] ppid=552 vsize=13440536 memory=15984 CPUtime=0.01 cores=0,2,4,6
/proc/555/stat : 555 (java) S 552 555 897 0 -1 1077944320 3840 0 0 0 1 0 0 0 20 0 7 0 66641871 13763108864 3996 18446744073709551615 4194304 4196468 140733887261616 140733887244160 140097661337335 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
/proc/555/statm: 3360134 3996 2033 1 0 3349631 0
[pid=555/tid=557] ppid=552 vsize=13573664 memory=8390339637985935414 CPUtime=0.01 cores=0,2,4,6
/proc/555/task/557/stat : 557 (java) R 552 555 897 0 -1 4202560 2645 0 0 0 1 0 0 0 20 0 9 0 66641879 13899431936 4108 18446744073709551615 4194304 4196468 140733887261616 140097665577080 140097642986283 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=558] ppid=552 vsize=13573664 memory=4294967624 CPUtime=0 cores=0,2,4,6
/proc/555/task/558/stat : 558 (java) S 552 555 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 66641879 13899431936 4108 18446744073709551615 4194304 4196468 140733887261616 140097618303760 140097661347541 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=559] ppid=552 vsize=13573664 memory=139908408724196 CPUtime=0 cores=0,2,4,6
/proc/555/task/559/stat : 559 (java) S 552 555 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 66641879 13899431936 4108 18446744073709551615 4194304 4196468 140733887261616 140097617251216 140097661347541 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=560] ppid=552 vsize=13573664 memory=0 CPUtime=0 cores=0,2,4,6
/proc/555/task/560/stat : 560 (java) S 552 555 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 66641879 13899431936 4108 18446744073709551615 4194304 4196468 140733887261616 140097616198672 140097661347541 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=561] ppid=552 vsize=13573664 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/555/task/561/stat : 561 (java) S 552 555 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 66641879 13899431936 4108 18446744073709551615 4194304 4196468 140733887261616 140097615146128 140097661347541 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=562] ppid=552 vsize=13573664 memory=139908408702592 CPUtime=0 cores=0,2,4,6
/proc/555/task/562/stat : 562 (java) S 552 555 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 66641881 13899431936 4108 18446744073709551615 4194304 4196468 140733887261616 140097207949296 140097661348482 0 0 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=563] ppid=552 vsize=13573664 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/555/task/563/stat : 563 (java) S 552 555 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 66641881 13899431936 4108 18446744073709551615 4194304 4196468 140733887261616 140097206895520 140097661347541 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=564] ppid=552 vsize=13573664 memory=0 CPUtime=0 cores=0,2,4,6
/proc/555/task/564/stat : 564 (java) S 552 555 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 66641881 13899431936 4108 18446744073709551615 4194304 4196468 140733887261616 140097205842992 140097661347541 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13440536 KiB
Current children cumulated memory: 15984 KiB

[startup+0.209861 s]*
/proc/loadavg: 1.87 1.97 1.84 6/209 570
/proc/meminfo: memFree=23920240/32770624 swapFree=67108860/67108860
[pid=555] ppid=552 vsize=13976944 memory=34680 CPUtime=0.12 cores=0,2,4,6
/proc/555/stat : 555 (java) S 552 555 897 0 -1 1077944320 9360 0 0 0 10 2 0 0 20 0 15 0 66641871 14312390656 8604 18446744073709551615 4194304 4196468 140733887261616 140733887244160 140097661337335 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
/proc/555/statm: 3494236 8670 3383 1 0 3483015 0
[pid=555/tid=557] ppid=552 vsize=13975920 memory=8390339637985935414 CPUtime=0.1 cores=0,2,4,6
/proc/555/task/557/stat : 557 (java) R 552 555 897 0 -1 4202560 7445 0 0 0 8 2 0 0 20 0 15 0 66641879 14311342080 8539 18446744073709551615 4194304 4196468 140733887261616 140097665546864 140097286662561 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=558] ppid=552 vsize=13975920 memory=4294967624 CPUtime=0 cores=0,2,4,6
/proc/555/task/558/stat : 558 (java) S 552 555 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66641879 14311342080 8539 18446744073709551615 4194304 4196468 140733887261616 140097618303760 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=559] ppid=552 vsize=13975920 memory=139908408724196 CPUtime=0 cores=0,2,4,6
/proc/555/task/559/stat : 559 (java) S 552 555 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66641879 14311342080 8539 18446744073709551615 4194304 4196468 140733887261616 140097617251216 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=560] ppid=552 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/555/task/560/stat : 560 (java) S 552 555 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66641879 14311342080 8539 18446744073709551615 4194304 4196468 140733887261616 140097616198672 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=561] ppid=552 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/555/task/561/stat : 561 (java) S 552 555 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66641879 14311342080 8539 18446744073709551615 4194304 4196468 140733887261616 140097615146128 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=562] ppid=552 vsize=13975920 memory=139908408702592 CPUtime=0 cores=0,2,4,6
/proc/555/task/562/stat : 562 (java) S 552 555 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66641881 14311342080 8539 18446744073709551615 4194304 4196468 140733887261616 140097207949296 140097661348482 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=563] ppid=552 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/555/task/563/stat : 563 (java) S 552 555 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66641881 14311342080 8539 18446744073709551615 4194304 4196468 140733887261616 140097206895520 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=564] ppid=552 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/555/task/564/stat : 564 (java) S 552 555 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66641881 14311342080 8539 18446744073709551615 4194304 4196468 140733887261616 140097205842928 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=565] ppid=552 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/555/task/565/stat : 565 (java) S 552 555 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66641884 14311342080 8539 18446744073709551615 4194304 4196468 140733887261616 140097204791504 140097661355931 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=566] ppid=552 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/555/task/566/stat : 566 (java) S 552 555 897 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 66641884 14311342080 8539 18446744073709551615 4194304 4196468 140733887261616 140097203739120 140097661348482 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=567] ppid=552 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/555/task/567/stat : 567 (java) S 552 555 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66641884 14311342080 8539 18446744073709551615 4194304 4196468 140733887261616 140097135569520 140097661348482 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=568] ppid=552 vsize=13975920 memory=139908408702592 CPUtime=0.01 cores=0,2,4,6
/proc/555/task/568/stat : 568 (java) R 552 555 897 0 -1 4202560 362 0 0 0 1 0 0 0 20 0 15 0 66641884 14311342080 8539 18446744073709551615 4194304 4196468 140733887261616 140097134516976 140097639705680 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=569] ppid=552 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/555/task/569/stat : 569 (java) S 552 555 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66641884 14311342080 8539 18446744073709551615 4194304 4196468 140733887261616 140097133464672 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=570] ppid=552 vsize=13975920 memory=139908408702592 CPUtime=0 cores=0,2,4,6
/proc/555/task/570/stat : 570 (java) S 552 555 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66641887 14311342080 8539 18446744073709551615 4194304 4196468 140733887261616 140097132411184 140097661348482 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13976944 KiB
Current children cumulated memory: 34680 KiB

[startup+0.310409 s]*
/proc/loadavg: 1.87 1.97 1.84 7/209 570
/proc/meminfo: memFree=23912356/32770624 swapFree=67108860/67108860
[pid=555] ppid=552 vsize=13975920 memory=42744 CPUtime=0.29 cores=0,2,4,6
/proc/555/stat : 555 (java) S 552 555 897 0 -1 1077944320 10948 0 0 0 26 3 0 0 20 0 15 0 66641871 14311342080 10686 18446744073709551615 4194304 4196468 140733887261616 140733887244160 140097661337335 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
/proc/555/statm: 3493980 10686 3579 1 0 3482759 0
[pid=555/tid=557] ppid=552 vsize=13975920 memory=-8774313645642428999 CPUtime=0.19 cores=0,2,4,6
/proc/555/task/557/stat : 557 (java) R 552 555 897 0 -1 4202560 8587 0 0 0 17 2 0 0 20 0 15 0 66641879 14311342080 10686 18446744073709551615 4194304 4196468 140733887261616 140097665560640 140097647553632 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=558] ppid=552 vsize=13975920 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/555/task/558/stat : 558 (java) S 552 555 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66641879 14311342080 10686 18446744073709551615 4194304 4196468 140733887261616 140097618303760 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=559] ppid=552 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/555/task/559/stat : 559 (java) S 552 555 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66641879 14311342080 10686 18446744073709551615 4194304 4196468 140733887261616 140097617251216 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=560] ppid=552 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/555/task/560/stat : 560 (java) S 552 555 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66641879 14311342080 10686 18446744073709551615 4194304 4196468 140733887261616 140097616198672 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=561] ppid=552 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/555/task/561/stat : 561 (java) S 552 555 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66641879 14311342080 10686 18446744073709551615 4194304 4196468 140733887261616 140097615146128 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=562] ppid=552 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/555/task/562/stat : 562 (java) S 552 555 897 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 66641881 14311342080 10686 18446744073709551615 4194304 4196468 140733887261616 140097207949296 140097661348482 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=563] ppid=552 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/555/task/563/stat : 563 (java) S 552 555 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66641881 14311342080 10686 18446744073709551615 4194304 4196468 140733887261616 140097206895520 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=564] ppid=552 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/555/task/564/stat : 564 (java) S 552 555 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66641881 14311342080 10686 18446744073709551615 4194304 4196468 140733887261616 140097205842928 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=565] ppid=552 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/555/task/565/stat : 565 (java) S 552 555 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66641884 14311342080 10686 18446744073709551615 4194304 4196468 140733887261616 140097204791504 140097661355931 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=566] ppid=552 vsize=13975920 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/555/task/566/stat : 566 (java) S 552 555 897 0 -1 1077944384 587 0 0 0 2 0 0 0 20 0 15 0 66641884 14311342080 10686 18446744073709551615 4194304 4196468 140733887261616 140097203739120 140097661348482 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=567] ppid=552 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/555/task/567/stat : 567 (java) S 552 555 897 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 66641884 14311342080 10686 18446744073709551615 4194304 4196468 140733887261616 140097135569520 140097661348482 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=568] ppid=552 vsize=13975920 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/555/task/568/stat : 568 (java) S 552 555 897 0 -1 1077944384 387 0 0 0 5 0 0 0 20 0 15 0 66641884 14311342080 10686 18446744073709551615 4194304 4196468 140733887261616 140097134516976 140097661348482 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=569] ppid=552 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/555/task/569/stat : 569 (java) S 552 555 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66641884 14311342080 10686 18446744073709551615 4194304 4196468 140733887261616 140097133464672 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=570] ppid=552 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/555/task/570/stat : 570 (java) S 552 555 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66641887 14311342080 10686 18446744073709551615 4194304 4196468 140733887261616 140097132411184 140097661348482 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 42744 KiB

[startup+0.700807 s]
/proc/loadavg: 1.87 1.97 1.84 6/209 570
/proc/meminfo: memFree=23897900/32770624 swapFree=67108860/67108860
[pid=555] ppid=552 vsize=13975940 memory=164720 CPUtime=0.94 cores=0,2,4,6
/proc/555/stat : 555 (java) S 552 555 897 0 -1 1077944320 13365 0 0 0 86 8 0 0 20 0 15 0 66641871 14311362560 41180 18446744073709551615 4194304 4196468 140733887261616 140733887244160 140097661337335 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
/proc/555/statm: 3493985 41180 3719 1 0 3482759 0
[pid=555/tid=557] ppid=552 vsize=13975940 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/555/task/557/stat : 557 (java) R 552 555 897 0 -1 4202560 10109 0 0 0 51 6 0 0 20 0 15 0 66641879 14311362560 41180 18446744073709551615 4194304 4196468 140733887261616 140097665562304 140097286906642 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=558] ppid=552 vsize=13975940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/555/task/558/stat : 558 (java) S 552 555 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66641879 14311362560 41692 18446744073709551615 4194304 4196468 140733887261616 140097618303760 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=559] ppid=552 vsize=13975940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/555/task/559/stat : 559 (java) S 552 555 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66641879 14311362560 41692 18446744073709551615 4194304 4196468 140733887261616 140097617251216 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=560] ppid=552 vsize=13975940 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/555/task/560/stat : 560 (java) S 552 555 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66641879 14311362560 41692 18446744073709551615 4194304 4196468 140733887261616 140097616198672 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=561] ppid=552 vsize=13975940 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/555/task/561/stat : 561 (java) S 552 555 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66641879 14311362560 41692 18446744073709551615 4194304 4196468 140733887261616 140097615146128 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=562] ppid=552 vsize=13975940 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/555/task/562/stat : 562 (java) S 552 555 897 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 66641881 14311362560 41692 18446744073709551615 4194304 4196468 140733887261616 140097207949296 140097661348482 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=563] ppid=552 vsize=13975940 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/555/task/563/stat : 563 (java) S 552 555 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66641881 14311362560 41692 18446744073709551615 4194304 4196468 140733887261616 140097206895520 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=564] ppid=552 vsize=13975940 memory=10164 CPUtime=0 cores=0,2,4,6
/proc/555/task/564/stat : 564 (java) S 552 555 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66641881 14311362560 41692 18446744073709551615 4194304 4196468 140733887261616 140097205842928 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=565] ppid=552 vsize=13975940 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/555/task/565/stat : 565 (java) S 552 555 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66641884 14311362560 41692 18446744073709551615 4194304 4196468 140733887261616 140097204791504 140097661355931 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=566] ppid=552 vsize=13975940 memory=2000 CPUtime=0.11 cores=0,2,4,6
/proc/555/task/566/stat : 566 (java) S 552 555 897 0 -1 1077944384 859 0 0 0 11 0 0 0 20 0 15 0 66641884 14311362560 41692 18446744073709551615 4194304 4196468 140733887261616 140097203739120 140097661348482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=567] ppid=552 vsize=13975940 memory=10976 CPUtime=0.09 cores=0,2,4,6
/proc/555/task/567/stat : 567 (java) S 552 555 897 0 -1 1077944384 395 0 0 0 9 0 0 0 20 0 15 0 66641884 14311362560 41692 18446744073709551615 4194304 4196468 140733887261616 140097135569520 140097661348482 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=568] ppid=552 vsize=13975940 memory=1292 CPUtime=0.14 cores=0,2,4,6
/proc/555/task/568/stat : 568 (java) S 552 555 897 0 -1 1077944384 620 0 0 0 14 0 0 0 20 0 15 0 66641884 14311362560 41692 18446744073709551615 4194304 4196468 140733887261616 140097134516976 140097661348482 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=569] ppid=552 vsize=13975940 memory=2316 CPUtime=0 cores=0,2,4,6
/proc/555/task/569/stat : 569 (java) S 552 555 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66641884 14311362560 41692 18446744073709551615 4194304 4196468 140733887261616 140097133464672 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=570] ppid=552 vsize=13975940 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/555/task/570/stat : 570 (java) S 552 555 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66641887 14311362560 41692 18446744073709551615 4194304 4196468 140733887261616 140097132411184 140097661348482 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
Current children cumulated CPU time: 0.94 s
Current children cumulated vsize: 13975940 KiB
Current children cumulated memory: 164720 KiB

[startup+1.50159 s]
/proc/loadavg: 1.87 1.97 1.84 9/209 570
/proc/meminfo: memFree=23545400/32770624 swapFree=67108860/67108860
[pid=555] ppid=552 vsize=13977988 memory=1063696 CPUtime=2.88 cores=0,2,4,6
/proc/555/stat : 555 (java) S 552 555 897 0 -1 1077944320 18204 0 0 0 245 43 0 0 20 0 15 0 66641871 14313459712 265924 18446744073709551615 4194304 4196468 140733887261616 140733887244160 140097661337335 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
/proc/555/statm: 3494497 265924 3781 1 0 3483271 0
[pid=555/tid=557] ppid=552 vsize=13977988 memory=10 CPUtime=1.16 cores=0,2,4,6
/proc/555/task/557/stat : 557 (java) S 552 555 897 0 -1 1077944384 11064 0 0 0 100 16 0 0 20 0 15 0 66641879 14313459712 265924 18446744073709551615 4194304 4196468 140733887261616 140097665573328 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=558] ppid=552 vsize=13977988 memory=9 CPUtime=0.18 cores=0,2,4,6
/proc/555/task/558/stat : 558 (java) R 552 555 897 0 -1 4202560 122 0 0 0 13 5 0 0 20 0 15 0 66641879 14313459712 265924 18446744073709551615 4194304 4196468 140733887261616 140097618303760 140097654440321 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=559] ppid=552 vsize=13977988 memory=164720 CPUtime=0.19 cores=0,2,4,6
/proc/555/task/559/stat : 559 (java) R 552 555 897 0 -1 4202560 386 0 0 0 13 6 0 0 20 0 15 0 66641879 14313459712 265924 18446744073709551615 4194304 4196468 140733887261616 140097617251104 140097654440328 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=560] ppid=552 vsize=13977988 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/555/task/560/stat : 560 (java) R 552 555 897 0 -1 4202560 435 0 0 0 13 6 0 0 20 0 15 0 66641879 14313459712 265924 18446744073709551615 4194304 4196468 140733887261616 140097616198672 140097654440321 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=561] ppid=552 vsize=13977988 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/555/task/561/stat : 561 (java) R 552 555 897 0 -1 4202560 509 0 0 0 13 6 0 0 20 0 15 0 66641879 14313459712 265924 18446744073709551615 4194304 4196468 140733887261616 140097615146328 140097654440321 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=562] ppid=552 vsize=13977988 memory=279816582563040 CPUtime=0 cores=0,2,4,6
/proc/555/task/562/stat : 562 (java) S 552 555 897 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 15 0 66641881 14313459712 265924 18446744073709551615 4194304 4196468 140733887261616 140097207947840 140097661347541 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=563] ppid=552 vsize=13977988 memory=4134931637327791675 CPUtime=0 cores=0,2,4,6
/proc/555/task/563/stat : 563 (java) S 552 555 897 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 66641881 14313459712 265924 18446744073709551615 4194304 4196468 140733887261616 140097206895584 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=564] ppid=552 vsize=13977988 memory=640 CPUtime=0 cores=0,2,4,6
/proc/555/task/564/stat : 564 (java) S 552 555 897 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 66641881 14313459712 265924 18446744073709551615 4194304 4196468 140733887261616 140097205842944 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=565] ppid=552 vsize=13977988 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/555/task/565/stat : 565 (java) S 552 555 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66641884 14313459712 265924 18446744073709551615 4194304 4196468 140733887261616 140097204791504 140097661355931 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=566] ppid=552 vsize=13977988 memory=3904 CPUtime=0.32 cores=0,2,4,6
/proc/555/task/566/stat : 566 (java) S 552 555 897 0 -1 1077944384 1743 0 0 0 32 0 0 0 20 0 15 0 66641884 14313459712 265924 18446744073709551615 4194304 4196468 140733887261616 140097203730400 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=567] ppid=552 vsize=13977988 memory=960 CPUtime=0.32 cores=0,2,4,6
/proc/555/task/567/stat : 567 (java) S 552 555 897 0 -1 1077944384 1270 0 0 0 32 0 0 0 20 0 15 0 66641884 14313459712 265924 18446744073709551615 4194304 4196468 140733887261616 140097135554512 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=568] ppid=552 vsize=13977988 memory=978784 CPUtime=0.23 cores=0,2,4,6
/proc/555/task/568/stat : 568 (java) S 552 555 897 0 -1 1077944384 1203 0 0 0 23 0 0 0 20 0 15 0 66641884 14313459712 265924 18446744073709551615 4194304 4196468 140733887261616 140097134516976 140097661348482 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0

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

/proc/555/task/557/stat : 557 (java) R 552 555 897 0 -1 4202560 76581 0 0 0 6157 29 0 0 20 0 15 0 66641879 14317654016 2269577 18446744073709551615 4194304 4196468 140733887261616 140097665570552 140097292423059 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=558] ppid=552 vsize=13982084 memory=279816583560960 CPUtime=22.51 cores=0,2,4,6
/proc/555/task/558/stat : 558 (java) S 552 555 897 0 -1 1077944384 94619 0 0 0 2069 182 0 0 20 0 15 0 66641879 14317654016 2269577 18446744073709551615 4194304 4196468 140733887261616 140097618303760 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=559] ppid=552 vsize=13982084 memory=0 CPUtime=22.51 cores=0,2,4,6
/proc/555/task/559/stat : 559 (java) S 552 555 897 0 -1 1077944384 111974 0 0 0 2088 163 0 0 20 0 15 0 66641879 14317654016 2269577 18446744073709551615 4194304 4196468 140733887261616 140097617251216 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=560] ppid=552 vsize=13982084 memory=9062340 CPUtime=22.52 cores=0,2,4,6
/proc/555/task/560/stat : 560 (java) S 552 555 897 0 -1 1077944384 75463 0 0 0 2083 169 0 0 20 0 15 0 66641879 14317654016 2269577 18446744073709551615 4194304 4196468 140733887261616 140097616198672 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=561] ppid=552 vsize=13982084 memory=1440 CPUtime=22.61 cores=0,2,4,6
/proc/555/task/561/stat : 561 (java) S 552 555 897 0 -1 1077944384 81541 0 0 0 2086 175 0 0 20 0 15 0 66641879 14317654016 2269577 18446744073709551615 4194304 4196468 140733887261616 140097615146128 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=562] ppid=552 vsize=13982084 memory=4116 CPUtime=17.58 cores=0,2,4,6
/proc/555/task/562/stat : 562 (java) S 552 555 897 0 -1 1077944384 27321 0 0 0 1755 3 0 0 20 0 15 0 66641881 14317654016 2269577 18446744073709551615 4194304 4196468 140733887261616 140097207949296 140097661348482 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=563] ppid=552 vsize=13982084 memory=37612 CPUtime=0 cores=0,2,4,6
/proc/555/task/563/stat : 563 (java) S 552 555 897 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 66641881 14317654016 2269577 18446744073709551615 4194304 4196468 140733887261616 140097206895584 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=564] ppid=552 vsize=13982084 memory=2868 CPUtime=0 cores=0,2,4,6
/proc/555/task/564/stat : 564 (java) S 552 555 897 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 66641881 14317654016 2269577 18446744073709551615 4194304 4196468 140733887261616 140097205842944 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=565] ppid=552 vsize=13982084 memory=7929784 CPUtime=0 cores=0,2,4,6
/proc/555/task/565/stat : 565 (java) S 552 555 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66641884 14317654016 2269577 18446744073709551615 4194304 4196468 140733887261616 140097204791504 140097661355931 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=566] ppid=552 vsize=13982084 memory=1728 CPUtime=1.86 cores=0,2,4,6
/proc/555/task/566/stat : 566 (java) S 552 555 897 0 -1 1077944384 7745 0 0 0 184 2 0 0 20 0 15 0 66641884 14317654016 2269577 18446744073709551615 4194304 4196468 140733887261616 140097203739120 140097661348482 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=567] ppid=552 vsize=13982084 memory=3539 CPUtime=1.63 cores=0,2,4,6
/proc/555/task/567/stat : 567 (java) S 552 555 897 0 -1 1077944384 6010 0 0 0 162 1 0 0 20 0 15 0 66641884 14317654016 2269577 18446744073709551615 4194304 4196468 140733887261616 140097135569520 140097661348482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=568] ppid=552 vsize=13982084 memory=2029 CPUtime=0.61 cores=0,2,4,6
/proc/555/task/568/stat : 568 (java) S 552 555 897 0 -1 1077944384 4075 0 0 0 60 1 0 0 20 0 15 0 66641884 14317654016 2269577 18446744073709551615 4194304 4196468 140733887261616 140097134516976 140097661348482 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=569] ppid=552 vsize=13982084 memory=2030 CPUtime=0 cores=0,2,4,6
/proc/555/task/569/stat : 569 (java) S 552 555 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66641884 14317654016 2269577 18446744073709551615 4194304 4196468 140733887261616 140097133464672 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=570] ppid=552 vsize=13982084 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/555/task/570/stat : 570 (java) S 552 555 897 0 -1 1077944384 567 0 0 0 2 3 0 0 20 0 15 0 66641887 14317654016 2269577 18446744073709551615 4194304 4196468 140733887261616 140097132411184 140097661348482 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
Current children cumulated CPU time: 173.83 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 9078308 KiB

[startup+162.301 s]
/proc/loadavg: 2.01 2.03 1.89 3/209 680
/proc/meminfo: memFree=19740012/32770624 swapFree=67108860/67108860
[pid=555] ppid=552 vsize=13982084 memory=9079328 CPUtime=234.7 cores=0,2,4,6
/proc/555/stat : 555 (java) S 552 555 897 0 -1 1077944320 539528 0 0 0 22733 737 0 0 20 0 15 0 66641871 14317654016 2269832 18446744073709551615 4194304 4196468 140733887261616 140733887244160 140097661337335 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
/proc/555/statm: 3495521 2269832 3823 1 0 3484295 0
[pid=555/tid=557] ppid=552 vsize=13982084 memory=9079276 CPUtime=121.86 cores=0,2,4,6
/proc/555/task/557/stat : 557 (java) R 552 555 897 0 -1 4202560 124242 0 0 0 12155 31 0 0 20 0 15 0 66641879 14317654016 2269832 18446744073709551615 4194304 4196468 140733887261616 140097665573688 140097292421654 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=558] ppid=552 vsize=13982084 memory=9079304 CPUtime=22.51 cores=0,2,4,6
/proc/555/task/558/stat : 558 (java) S 552 555 897 0 -1 1077944384 94619 0 0 0 2069 182 0 0 20 0 15 0 66641879 14317654016 2269832 18446744073709551615 4194304 4196468 140733887261616 140097618303760 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=559] ppid=552 vsize=13982084 memory=9079304 CPUtime=22.51 cores=0,2,4,6
/proc/555/task/559/stat : 559 (java) S 552 555 897 0 -1 1077944384 111974 0 0 0 2088 163 0 0 20 0 15 0 66641879 14317654016 2269832 18446744073709551615 4194304 4196468 140733887261616 140097617251216 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=560] ppid=552 vsize=13982084 memory=9079328 CPUtime=22.52 cores=0,2,4,6
/proc/555/task/560/stat : 560 (java) S 552 555 897 0 -1 1077944384 75463 0 0 0 2083 169 0 0 20 0 15 0 66641879 14317654016 2269832 18446744073709551615 4194304 4196468 140733887261616 140097616198672 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=561] ppid=552 vsize=13982084 memory=9079328 CPUtime=22.61 cores=0,2,4,6
/proc/555/task/561/stat : 561 (java) S 552 555 897 0 -1 1077944384 81541 0 0 0 2086 175 0 0 20 0 15 0 66641879 14317654016 2269832 18446744073709551615 4194304 4196468 140733887261616 140097615146128 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=562] ppid=552 vsize=13982084 memory=9079304 CPUtime=17.59 cores=0,2,4,6
/proc/555/task/562/stat : 562 (java) S 552 555 897 0 -1 1077944384 27365 0 0 0 1755 4 0 0 20 0 15 0 66641881 14317654016 2269832 18446744073709551615 4194304 4196468 140733887261616 140097207949296 140097661348482 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=563] ppid=552 vsize=13982084 memory=9079304 CPUtime=0 cores=0,2,4,6
/proc/555/task/563/stat : 563 (java) S 552 555 897 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 66641881 14317654016 2269832 18446744073709551615 4194304 4196468 140733887261616 140097206895584 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=564] ppid=552 vsize=13982084 memory=9079320 CPUtime=0 cores=0,2,4,6
/proc/555/task/564/stat : 564 (java) S 552 555 897 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 66641881 14317654016 2269832 18446744073709551615 4194304 4196468 140733887261616 140097205842944 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=565] ppid=552 vsize=13982084 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/555/task/565/stat : 565 (java) S 552 555 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66641884 14317654016 2269832 18446744073709551615 4194304 4196468 140733887261616 140097204791504 140097661355931 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=566] ppid=552 vsize=13982084 memory=9079320 CPUtime=2.3 cores=0,2,4,6
/proc/555/task/566/stat : 566 (java) S 552 555 897 0 -1 1077944384 9112 0 0 0 228 2 0 0 20 0 15 0 66641884 14317654016 2269832 18446744073709551615 4194304 4196468 140733887261616 140097203739120 140097661348482 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=567] ppid=552 vsize=13982084 memory=9079320 CPUtime=1.86 cores=0,2,4,6
/proc/555/task/567/stat : 567 (java) S 552 555 897 0 -1 1077944384 7332 0 0 0 185 1 0 0 20 0 15 0 66641884 14317654016 2269832 18446744073709551615 4194304 4196468 140733887261616 140097135569520 140097661348482 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=568] ppid=552 vsize=13982084 memory=4304 CPUtime=0.73 cores=0,2,4,6
/proc/555/task/568/stat : 568 (java) S 552 555 897 0 -1 1077944384 5806 0 0 0 72 1 0 0 20 0 15 0 66641884 14317654016 2269832 18446744073709551615 4194304 4196468 140733887261616 140097134516976 140097661348482 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=569] ppid=552 vsize=13982084 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/555/task/569/stat : 569 (java) S 552 555 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66641884 14317654016 2269832 18446744073709551615 4194304 4196468 140733887261616 140097133464672 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=570] ppid=552 vsize=13982084 memory=9079328 CPUtime=0.09 cores=0,2,4,6
/proc/555/task/570/stat : 570 (java) S 552 555 897 0 -1 1077944384 650 0 0 0 4 5 0 0 20 0 15 0 66641887 14317654016 2269832 18446744073709551615 4194304 4196468 140733887261616 140097132411184 140097661348482 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
Current children cumulated CPU time: 234.7 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 9079328 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+179.501 s]
/proc/loadavg: 2.23 2.08 1.91 7/209 680
/proc/meminfo: memFree=16352844/32770624 swapFree=67108860/67108860
[pid=555] ppid=552 vsize=13982084 memory=9079524 CPUtime=252.02 cores=0,2,4,6
/proc/555/stat : 555 (java) S 552 555 897 0 -1 1077944320 542995 0 0 0 24464 738 0 0 20 0 15 0 66641871 14317654016 2269881 18446744073709551615 4194304 4196468 140733887261616 140733887244160 140097661337335 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
/proc/555/statm: 3495521 2269881 3825 1 0 3484295 0
[pid=555/tid=557] ppid=552 vsize=13982084 memory=9079328 CPUtime=139.07 cores=0,2,4,6
/proc/555/task/557/stat : 557 (java) R 552 555 897 0 -1 4202560 126940 0 0 0 13875 32 0 0 20 0 15 0 66641879 14317654016 2269881 18446744073709551615 4194304 4196468 140733887261616 140097665570576 140097291685712 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=558] ppid=552 vsize=13982084 memory=9079328 CPUtime=22.51 cores=0,2,4,6
/proc/555/task/558/stat : 558 (java) S 552 555 897 0 -1 1077944384 94619 0 0 0 2069 182 0 0 20 0 15 0 66641879 14317654016 2269881 18446744073709551615 4194304 4196468 140733887261616 140097618303760 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=559] ppid=552 vsize=13982084 memory=9079360 CPUtime=22.51 cores=0,2,4,6
/proc/555/task/559/stat : 559 (java) S 552 555 897 0 -1 1077944384 111974 0 0 0 2088 163 0 0 20 0 15 0 66641879 14317654016 2269881 18446744073709551615 4194304 4196468 140733887261616 140097617251216 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=560] ppid=552 vsize=13982084 memory=9079428 CPUtime=22.52 cores=0,2,4,6
/proc/555/task/560/stat : 560 (java) S 552 555 897 0 -1 1077944384 75463 0 0 0 2083 169 0 0 20 0 15 0 66641879 14317654016 2269881 18446744073709551615 4194304 4196468 140733887261616 140097616198672 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=561] ppid=552 vsize=13982084 memory=9079428 CPUtime=22.61 cores=0,2,4,6
/proc/555/task/561/stat : 561 (java) S 552 555 897 0 -1 1077944384 81541 0 0 0 2086 175 0 0 20 0 15 0 66641879 14317654016 2269881 18446744073709551615 4194304 4196468 140733887261616 140097615146128 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=562] ppid=552 vsize=13982084 memory=9079524 CPUtime=17.6 cores=0,2,4,6
/proc/555/task/562/stat : 562 (java) S 552 555 897 0 -1 1077944384 27366 0 0 0 1756 4 0 0 20 0 15 0 66641881 14317654016 2269881 18446744073709551615 4194304 4196468 140733887261616 140097207949296 140097661348482 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=563] ppid=552 vsize=13982084 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/555/task/563/stat : 563 (java) S 552 555 897 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 66641881 14317654016 2269881 18446744073709551615 4194304 4196468 140733887261616 140097206895584 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=564] ppid=552 vsize=13982084 memory=2972 CPUtime=0 cores=0,2,4,6
/proc/555/task/564/stat : 564 (java) S 552 555 897 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 66641881 14317654016 2269881 18446744073709551615 4194304 4196468 140733887261616 140097205842944 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=565] ppid=552 vsize=13982084 memory=9079304 CPUtime=0 cores=0,2,4,6
/proc/555/task/565/stat : 565 (java) S 552 555 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66641884 14317654016 2269881 18446744073709551615 4194304 4196468 140733887261616 140097204791504 140097661355931 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=566] ppid=552 vsize=13982084 memory=9079304 CPUtime=2.34 cores=0,2,4,6
/proc/555/task/566/stat : 566 (java) S 552 555 897 0 -1 1077944384 9153 0 0 0 232 2 0 0 20 0 15 0 66641884 14317654016 2269881 18446744073709551615 4194304 4196468 140733887261616 140097203739120 140097661348482 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=567] ppid=552 vsize=13982084 memory=1292 CPUtime=1.89 cores=0,2,4,6
/proc/555/task/567/stat : 567 (java) S 552 555 897 0 -1 1077944384 7465 0 0 0 188 1 0 0 20 0 15 0 66641884 14317654016 2269881 18446744073709551615 4194304 4196468 140733887261616 140097135569520 140097661348482 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=568] ppid=552 vsize=13982084 memory=2316 CPUtime=0.77 cores=0,2,4,6
/proc/555/task/568/stat : 568 (java) S 552 555 897 0 -1 1077944384 6397 0 0 0 76 1 0 0 20 0 15 0 66641884 14317654016 2269881 18446744073709551615 4194304 4196468 140733887261616 140097134516976 140097661348482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=569] ppid=552 vsize=13982084 memory=9079428 CPUtime=0 cores=0,2,4,6
/proc/555/task/569/stat : 569 (java) S 552 555 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66641884 14317654016 2269881 18446744073709551615 4194304 4196468 140733887261616 140097133464672 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=570] ppid=552 vsize=13982084 memory=9079396 CPUtime=0.11 cores=0,2,4,6
/proc/555/task/570/stat : 570 (java) S 552 555 897 0 -1 1077944384 653 0 0 0 5 6 0 0 20 0 15 0 66641887 14317654016 2269881 18446744073709551615 4194304 4196468 140733887261616 140097132411184 140097661348482 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 9079524 KiB

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

[startup+179.568 s]
# the end of solver process 555 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=244.659 s, system=7.44016 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+179.501 s]
/proc/loadavg: 2.23 2.08 1.91 7/209 680
/proc/meminfo: memFree=16352844/32770624 swapFree=67108860/67108860
[pid=555] ppid=552 vsize=13982084 memory=9079524 CPUtime=252.02 cores=0,2,4,6
/proc/555/stat : 555 (java) S 552 555 897 0 -1 1077944320 542995 0 0 0 24464 738 0 0 20 0 15 0 66641871 14317654016 2269881 18446744073709551615 4194304 4196468 140733887261616 140733887244160 140097661337335 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
/proc/555/statm: 3495521 2269881 3825 1 0 3484295 0
[pid=555/tid=557] ppid=552 vsize=13982084 memory=9079328 CPUtime=139.07 cores=0,2,4,6
/proc/555/task/557/stat : 557 (java) R 552 555 897 0 -1 4202560 126940 0 0 0 13875 32 0 0 20 0 15 0 66641879 14317654016 2269881 18446744073709551615 4194304 4196468 140733887261616 140097665570576 140097291685712 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=558] ppid=552 vsize=13982084 memory=9079328 CPUtime=22.51 cores=0,2,4,6
/proc/555/task/558/stat : 558 (java) S 552 555 897 0 -1 1077944384 94619 0 0 0 2069 182 0 0 20 0 15 0 66641879 14317654016 2269881 18446744073709551615 4194304 4196468 140733887261616 140097618303760 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=559] ppid=552 vsize=13982084 memory=9079360 CPUtime=22.51 cores=0,2,4,6
/proc/555/task/559/stat : 559 (java) S 552 555 897 0 -1 1077944384 111974 0 0 0 2088 163 0 0 20 0 15 0 66641879 14317654016 2269881 18446744073709551615 4194304 4196468 140733887261616 140097617251216 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=560] ppid=552 vsize=13982084 memory=9079428 CPUtime=22.52 cores=0,2,4,6
/proc/555/task/560/stat : 560 (java) S 552 555 897 0 -1 1077944384 75463 0 0 0 2083 169 0 0 20 0 15 0 66641879 14317654016 2269881 18446744073709551615 4194304 4196468 140733887261616 140097616198672 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=561] ppid=552 vsize=13982084 memory=9079428 CPUtime=22.61 cores=0,2,4,6
/proc/555/task/561/stat : 561 (java) S 552 555 897 0 -1 1077944384 81541 0 0 0 2086 175 0 0 20 0 15 0 66641879 14317654016 2269881 18446744073709551615 4194304 4196468 140733887261616 140097615146128 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=562] ppid=552 vsize=13982084 memory=9079524 CPUtime=17.6 cores=0,2,4,6
/proc/555/task/562/stat : 562 (java) S 552 555 897 0 -1 1077944384 27366 0 0 0 1756 4 0 0 20 0 15 0 66641881 14317654016 2269881 18446744073709551615 4194304 4196468 140733887261616 140097207949296 140097661348482 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=563] ppid=552 vsize=13982084 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/555/task/563/stat : 563 (java) S 552 555 897 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 66641881 14317654016 2269881 18446744073709551615 4194304 4196468 140733887261616 140097206895584 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=564] ppid=552 vsize=13982084 memory=2972 CPUtime=0 cores=0,2,4,6
/proc/555/task/564/stat : 564 (java) S 552 555 897 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 66641881 14317654016 2269881 18446744073709551615 4194304 4196468 140733887261616 140097205842944 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=565] ppid=552 vsize=13982084 memory=9079304 CPUtime=0 cores=0,2,4,6
/proc/555/task/565/stat : 565 (java) S 552 555 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66641884 14317654016 2269881 18446744073709551615 4194304 4196468 140733887261616 140097204791504 140097661355931 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=566] ppid=552 vsize=13982084 memory=9079304 CPUtime=2.34 cores=0,2,4,6
/proc/555/task/566/stat : 566 (java) S 552 555 897 0 -1 1077944384 9153 0 0 0 232 2 0 0 20 0 15 0 66641884 14317654016 2269881 18446744073709551615 4194304 4196468 140733887261616 140097203739120 140097661348482 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=567] ppid=552 vsize=13982084 memory=1292 CPUtime=1.89 cores=0,2,4,6
/proc/555/task/567/stat : 567 (java) S 552 555 897 0 -1 1077944384 7465 0 0 0 188 1 0 0 20 0 15 0 66641884 14317654016 2269881 18446744073709551615 4194304 4196468 140733887261616 140097135569520 140097661348482 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=568] ppid=552 vsize=13982084 memory=2316 CPUtime=0.77 cores=0,2,4,6
/proc/555/task/568/stat : 568 (java) S 552 555 897 0 -1 1077944384 6397 0 0 0 76 1 0 0 20 0 15 0 66641884 14317654016 2269881 18446744073709551615 4194304 4196468 140733887261616 140097134516976 140097661348482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=569] ppid=552 vsize=13982084 memory=9079428 CPUtime=0 cores=0,2,4,6
/proc/555/task/569/stat : 569 (java) S 552 555 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66641884 14317654016 2269881 18446744073709551615 4194304 4196468 140733887261616 140097133464672 140097661347541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
[pid=555/tid=570] ppid=552 vsize=13982084 memory=9079396 CPUtime=0.11 cores=0,2,4,6
/proc/555/task/570/stat : 570 (java) S 552 555 897 0 -1 1077944384 653 0 0 0 5 6 0 0 20 0 15 0 66641887 14317654016 2269881 18446744073709551615 4194304 4196468 140733887261616 140097132411184 140097661348482 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36405248 140733887267193 140733887267374 140733887267374 140733887270863 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 9079524 KiB

Child status: 143
Real time (s): 179.568
CPU time (s): 252.099
CPU user time (s): 244.659
CPU system time (s): 7.44016
CPU usage (%): 140.392
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 9134672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.659
system time used= 7.44016
maximum resident set size= 9134672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 543328
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10043
involuntary context switches= 1218


# summary of solver processes directly reported to runsolver:
#   pid: 555
#   total CPU time (s): 252.099
#   total CPU user time (s): 244.659
#   total CPU system time (s): 7.44016

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.999866 second user time and 1.78837 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-13 18:56:06
IDJOB=4256431
IDBENCH=138074
IDSOLVER=2640
FILE ID=node125/4256431-1502644211
RUNJOBID= node125-1502642251-32116
PBS_JOBID= 
Free space on /tmp= 61828 MiB

SOLVER NAME= OscaR - Hybrid 2017-07-26
BENCH NAME= XCSP17/BinPacking/BinPacking-tab-sw120/BinPacking-tab-sw120-31.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4256431-1502644211/watcher-4256431-1502644211 -o /tmp/evaluation-result-4256431-1502644211/solver-4256431-1502644211 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502642251-32116 --watchdog 312  java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 472159306 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4256431-1502644211.xml

TIME LIMIT= 252 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 67c04303171609b86978ceecc7dcafe8
RANDOM SEED=472159306

node125.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.07
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.07
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.07
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.07
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:        23992940 kB
MemAvailable:   25136908 kB
Buffers:          286076 kB
Cached:          1151112 kB
SwapCached:            0 kB
Active:          7750028 kB
Inactive:         583304 kB
Active(anon):    6896784 kB
Inactive(anon):    33100 kB
Active(file):     853244 kB
Inactive(file):   550204 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            117628 kB
Writeback:             0 kB
AnonPages:       6693060 kB
Mapped:            61628 kB
Shmem:             33444 kB
Slab:             138704 kB
SReclaimable:     112712 kB
SUnreclaim:        25992 kB
KernelStack:        3392 kB
PageTables:        17944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    7935792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6342656 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61792 MiB
End job on node125 at 2017-08-13 18:59:06