Trace number 4274252

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 NameAnswerCPU timeWall clock time
OscaR - Conflict Ordering 2017-07-26SAT 6.6431098 5.2474198

General information on the benchmark

NameSudoku/
Sudoku-table-s1/Sudoku-s12b-table.xml
MD5SUM03c8305b156c1553c8e24fbd7657baff
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark6.6431098
Satisfiable
(Un)Satisfiability was proved
Number of variables81
Number of constraints28
Number of domains1
Minimum domain size9
Maximum domain size9
Distribution of domain sizes[{"size":9,"count":81}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":55},{"degree":4,"count":26}]
Minimum constraint arity9
Maximum constraint arity26
Distribution of constraint arities[{"arity":9,"count":27},{"arity":26,"count":1}]
Number of extensional constraints27
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":27},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.36/1.01	c version: 2017-07-26
0.36/1.01	c seed: 894504334
0.36/1.01	c timeout: 2520
0.36/1.01	c memlimit: 11000
0.36/1.01	c nbcore: 4
0.36/1.03	c Parsing instance...
6.59/5.12	c Parsing done, starting search...
6.59/5.13	s SATISFIABLE
6.59/5.13	v <instantiation>
6.59/5.13	v 	<list>
6.59/5.13	v 		x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8]
6.59/5.13	v 	</list>
6.59/5.13	v 	<values>
6.59/5.13	v 		3 8 4 5 6 7 9 2 1 1 2 6 4 3 9 7 8 5 7 5 9 8 2 1 3 4 6 5 6 3 7 9 8 2 1 4 8 4 7 3 1 2 6 5 9 9 1 2 6 4 5 8 7 3 2 3 1 9 7 4 5 6 8 4 9 5 2 8 6 1 3 7 6 7 8 1 5 3 4 9 2 
6.59/5.13	v 	</values>
6.59/5.13	v </instantiation>

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274252-1502706396/watcher-4274252-1502706396 -o /tmp/evaluation-result-4274252-1502706396/solver-4274252-1502706396 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10388 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 894504334 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274252-1502706396.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
solver pid=17288, runsolver pid=17285
Current StackSize limit: 8192 KiB


[startup+0.100158 s]*
/proc/loadavg: 1.36 1.38 1.34 2/196 17289
/proc/meminfo: memFree=31347928/32770624 swapFree=67105588/67108860
[pid=17288] ppid=17285 vsize=33976 memory=452 CPUtime=0 cores=1,3,5,7
/proc/17288/stat : 17288 (runsolver) D 17285 17288 12560 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 72835024 34791424 113 18446744073709551615 4194304 4346622 140736150279920 140736150276552 140425086116567 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6446216 6449568 9203712 140736150286401 140736150286884 140736150286884 140736150290378 0
/proc/17288/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB

[startup+0.208955 s]*
/proc/loadavg: 1.36 1.38 1.34 3/204 17297
/proc/meminfo: memFree=31338536/32770624 swapFree=67105588/67108860
[pid=17288] ppid=17285 vsize=13906484 memory=20696 CPUtime=0.05 cores=1,3,5,7
/proc/17288/stat : 17288 (java) S 17285 17288 12560 0 -1 1077944320 4630 0 0 0 4 1 0 0 20 0 14 0 72835024 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 140732659588528 139886568611575 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 15 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
/proc/17288/statm: 3476621 5174 2588 1 0 3466118 0
[pid=17288/tid=17290] ppid=17285 vsize=13906484 memory=8318255677412212789 CPUtime=0.03 cores=1,3,5,7
/proc/17288/task/17290/stat : 17290 (java) D 17285 17288 12560 0 -1 4202560 2725 0 0 0 3 0 0 0 20 0 14 0 72835040 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886572849056 139886568633597 0 4 1 16800974 18446744071580418449 0 0 -1 3 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17291] ppid=17285 vsize=13906484 memory=328 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17291/stat : 17291 (java) S 17285 17288 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 72835041 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886488026256 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17292] ppid=17285 vsize=13906484 memory=3474165289247123104 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17292/stat : 17292 (java) S 17285 17288 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 72835041 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886486973456 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17293] ppid=17285 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17293/stat : 17293 (java) S 17285 17288 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 72835041 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886485920656 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17294] ppid=17285 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17294/stat : 17294 (java) S 17285 17288 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 72835041 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886484867856 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17295] ppid=17285 vsize=13906484 memory=140425089066624 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17295/stat : 17295 (java) S 17285 17288 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 72835042 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886047242608 139886568622722 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17296] ppid=17285 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17296/stat : 17296 (java) S 17285 17288 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 72835043 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886046188576 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17297] ppid=17285 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17297/stat : 17297 (java) S 17285 17288 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 72835043 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886045135728 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17298] ppid=17285 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17298/stat : 17298 (java) S 17285 17288 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 72835045 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886044084048 139886568630171 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17299] ppid=17285 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17299/stat : 17299 (java) S 17285 17288 12560 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 14 0 72835045 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886043032432 139886568622722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17300] ppid=17285 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17300/stat : 17300 (java) S 17285 17288 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 72835045 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886041979632 139886568622722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17301] ppid=17285 vsize=13906484 memory=140425089066624 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17301/stat : 17301 (java) S 17285 17288 12560 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 14 0 72835045 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886040926832 139886568622722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17302] ppid=17285 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17302/stat : 17302 (java) S 17285 17288 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 72835046 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886039874272 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13906484 KiB
Current children cumulated memory: 20696 KiB

[startup+0.310036 s]*
/proc/loadavg: 1.36 1.38 1.34 2/209 17302
/proc/meminfo: memFree=31337520/32770624 swapFree=67105588/67108860
[pid=17288] ppid=17285 vsize=13906484 memory=20696 CPUtime=0.05 cores=1,3,5,7
/proc/17288/stat : 17288 (java) S 17285 17288 12560 0 -1 1077944320 4630 0 0 0 4 1 0 0 20 0 14 0 72835024 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 140732659588528 139886568611575 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 15 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
/proc/17288/statm: 3476621 5174 2588 1 0 3466118 0
[pid=17288/tid=17290] ppid=17285 vsize=13906484 memory=-8774313645642428999 CPUtime=0.03 cores=1,3,5,7
/proc/17288/task/17290/stat : 17290 (java) D 17285 17288 12560 0 -1 4202560 2725 0 0 0 3 0 0 0 20 0 14 0 72835040 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886572849056 139886568633597 0 4 1 16800974 18446744071580418449 0 0 -1 3 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17291] ppid=17285 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17291/stat : 17291 (java) S 17285 17288 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 72835041 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886488026256 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17292] ppid=17285 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17292/stat : 17292 (java) S 17285 17288 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 72835041 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886486973456 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17293] ppid=17285 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17293/stat : 17293 (java) S 17285 17288 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 72835041 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886485920656 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17294] ppid=17285 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17294/stat : 17294 (java) S 17285 17288 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 72835041 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886484867856 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17295] ppid=17285 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17295/stat : 17295 (java) S 17285 17288 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 72835042 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886047242608 139886568622722 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17296] ppid=17285 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17296/stat : 17296 (java) S 17285 17288 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 72835043 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886046188576 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17297] ppid=17285 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17297/stat : 17297 (java) S 17285 17288 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 72835043 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886045135728 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17298] ppid=17285 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17298/stat : 17298 (java) S 17285 17288 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 72835045 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886044084048 139886568630171 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17299] ppid=17285 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17299/stat : 17299 (java) S 17285 17288 12560 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 14 0 72835045 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886043032432 139886568622722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17300] ppid=17285 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17300/stat : 17300 (java) S 17285 17288 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 72835045 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886041979632 139886568622722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17301] ppid=17285 vsize=13906484 memory=140425089066624 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17301/stat : 17301 (java) S 17285 17288 12560 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 14 0 72835045 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886040926832 139886568622722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17302] ppid=17285 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17302/stat : 17302 (java) S 17285 17288 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 72835046 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886039874272 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13906484 KiB
Current children cumulated memory: 20696 KiB

[startup+0.700621 s]
/proc/loadavg: 1.41 1.39 1.34 2/209 17302
/proc/meminfo: memFree=31337520/32770624 swapFree=67105588/67108860
[pid=17288] ppid=17285 vsize=13906484 memory=20696 CPUtime=0.05 cores=1,3,5,7
/proc/17288/stat : 17288 (java) S 17285 17288 12560 0 -1 1077944320 4630 0 0 0 4 1 0 0 20 0 14 0 72835024 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 140732659588528 139886568611575 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 15 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
/proc/17288/statm: 3476621 5174 2588 1 0 3466118 0
[pid=17288/tid=17290] ppid=17285 vsize=13906484 memory=28 CPUtime=0.03 cores=1,3,5,7
/proc/17288/task/17290/stat : 17290 (java) D 17285 17288 12560 0 -1 4202560 2725 0 0 0 3 0 0 0 20 0 14 0 72835040 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886572849056 139886568633597 0 4 1 16800974 18446744071580418449 0 0 -1 3 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17291] ppid=17285 vsize=13906484 memory=25 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17291/stat : 17291 (java) S 17285 17288 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 72835041 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886488026256 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17292] ppid=17285 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17292/stat : 17292 (java) S 17285 17288 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 72835041 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886486973456 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17293] ppid=17285 vsize=13906484 memory=936 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17293/stat : 17293 (java) S 17285 17288 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 72835041 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886485920656 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17294] ppid=17285 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17294/stat : 17294 (java) S 17285 17288 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 72835041 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886484867856 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17295] ppid=17285 vsize=13906484 memory=7379241913509833303 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17295/stat : 17295 (java) S 17285 17288 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 72835042 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886047242608 139886568622722 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17296] ppid=17285 vsize=13906484 memory=6154820267226784105 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17296/stat : 17296 (java) S 17285 17288 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 72835043 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886046188576 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17297] ppid=17285 vsize=13906484 memory=6935649255759569728 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17297/stat : 17297 (java) S 17285 17288 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 72835043 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886045135728 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17298] ppid=17285 vsize=13906484 memory=8041645962788481611 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17298/stat : 17298 (java) S 17285 17288 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 72835045 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886044084048 139886568630171 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17299] ppid=17285 vsize=13906484 memory=2160 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17299/stat : 17299 (java) S 17285 17288 12560 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 14 0 72835045 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886043032432 139886568622722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17300] ppid=17285 vsize=13906484 memory=832 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17300/stat : 17300 (java) S 17285 17288 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 72835045 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886041979632 139886568622722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17301] ppid=17285 vsize=13906484 memory=16448 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17301/stat : 17301 (java) S 17285 17288 12560 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 14 0 72835045 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886040926832 139886568622722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17302] ppid=17285 vsize=13906484 memory=2764 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17302/stat : 17302 (java) S 17285 17288 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 72835046 14240239616 5174 18446744073709551615 4194304 4196468 140732659605984 139886039874272 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13906484 KiB
Current children cumulated memory: 20696 KiB

[startup+1.50129 s]
/proc/loadavg: 1.41 1.39 1.34 3/210 17303
/proc/meminfo: memFree=31313756/32770624 swapFree=67105588/67108860
[pid=17288] ppid=17285 vsize=13977988 memory=268036 CPUtime=1.51 cores=1,3,5,7
/proc/17288/stat : 17288 (java) S 17285 17288 12560 0 -1 1077944320 14777 0 0 0 138 13 0 0 20 0 15 0 72835024 14313459712 67009 18446744073709551615 4194304 4196468 140732659605984 140732659588528 139886568611575 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 15 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
/proc/17288/statm: 3494497 67009 3759 1 0 3483271 0
[pid=17288/tid=17290] ppid=17285 vsize=13977988 memory=-8774313645642428999 CPUtime=0.69 cores=1,3,5,7
/proc/17288/task/17290/stat : 17290 (java) R 17285 17288 12560 0 -1 4202560 9866 0 0 0 63 6 0 0 20 0 15 0 72835040 14313459712 67009 18446744073709551615 4194304 4196468 140732659605984 139886572847184 139886164110735 0 4 1 16800974 0 0 0 -1 1 0 0 60 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17291] ppid=17285 vsize=13977988 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/17288/task/17291/stat : 17291 (java) S 17285 17288 12560 0 -1 1077944384 37 0 0 0 1 1 0 0 20 0 15 0 72835041 14313459712 67009 18446744073709551615 4194304 4196468 140732659605984 139886488026256 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17292] ppid=17285 vsize=13977988 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/17288/task/17292/stat : 17292 (java) S 17285 17288 12560 0 -1 1077944384 33 0 0 0 1 1 0 0 20 0 15 0 72835041 14313459712 67009 18446744073709551615 4194304 4196468 140732659605984 139886486973456 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17293] ppid=17285 vsize=13977988 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17288/task/17293/stat : 17293 (java) S 17285 17288 12560 0 -1 1077944384 13 0 0 0 0 1 0 0 20 0 15 0 72835041 14313459712 67009 18446744073709551615 4194304 4196468 140732659605984 139886485920656 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17294] ppid=17285 vsize=13977988 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/17288/task/17294/stat : 17294 (java) S 17285 17288 12560 0 -1 1077944384 25 0 0 0 1 1 0 0 20 0 15 0 72835041 14313459712 67009 18446744073709551615 4194304 4196468 140732659605984 139886484867856 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17295] ppid=17285 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17295/stat : 17295 (java) S 17285 17288 12560 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 72835042 14313459712 67009 18446744073709551615 4194304 4196468 140732659605984 139886047242608 139886568622722 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17296] ppid=17285 vsize=13977988 memory=280849924821728 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17296/stat : 17296 (java) S 17285 17288 12560 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 72835043 14313459712 67009 18446744073709551615 4194304 4196468 140732659605984 139886046188640 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17297] ppid=17285 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17297/stat : 17297 (java) S 17285 17288 12560 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 72835043 14313459712 67009 18446744073709551615 4194304 4196468 140732659605984 139886045135728 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17298] ppid=17285 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17298/stat : 17298 (java) S 17285 17288 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72835045 14313459712 67009 18446744073709551615 4194304 4196468 140732659605984 139886044084048 139886568630171 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17299] ppid=17285 vsize=13977988 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/17288/task/17299/stat : 17299 (java) R 17285 17288 12560 0 -1 4202560 1276 0 0 0 22 0 0 0 20 0 15 0 72835045 14313459712 67009 18446744073709551615 4194304 4196468 140732659605984 139886043013544 139886549315270 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17300] ppid=17285 vsize=13977988 memory=3690546724019987807 CPUtime=0.24 cores=1,3,5,7
/proc/17288/task/17300/stat : 17300 (java) R 17285 17288 12560 0 -1 4202560 1177 0 0 0 24 0 0 0 20 0 15 0 72835045 14313459712 67009 18446744073709551615 4194304 4196468 140732659605984 139886041966176 139886550132643 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17301] ppid=17285 vsize=13977988 memory=280849925309680 CPUtime=0.22 cores=1,3,5,7
/proc/17288/task/17301/stat : 17301 (java) S 17285 17288 12560 0 -1 1077944384 891 0 0 0 22 0 0 0 20 0 15 0 72835045 14313459712 67009 18446744073709551615 4194304 4196468 140732659605984 139886040926832 139886568622722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17302] ppid=17285 vsize=13977988 memory=280849925003312 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17302/stat : 17302 (java) S 17285 17288 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72835046 14313459712 67009 18446744073709551615 4194304 4196468 140732659605984 139886039874272 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17303] ppid=17285 vsize=13977988 memory=280849925003376 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17303/stat : 17303 (java) S 17285 17288 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72835106 14313459712 67009 18446744073709551615 4194304 4196468 140732659605984 139886038821552 139886568622722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 268036 KiB

[startup+3.10981 s]
/proc/loadavg: 1.41 1.39 1.34 3/210 17303
/proc/meminfo: memFree=30610732/32770624 swapFree=67105588/67108860
[pid=17288] ppid=17285 vsize=13977988 memory=748916 CPUtime=4.16 cores=1,3,5,7
/proc/17288/stat : 17288 (java) S 17285 17288 12560 0 -1 1077944320 17851 0 0 0 385 31 0 0 20 0 15 0 72835024 14313459712 187229 18446744073709551615 4194304 4196468 140732659605984 140732659588528 139886568611575 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 15 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
/proc/17288/statm: 3494497 187229 3784 1 0 3483271 0
[pid=17288/tid=17290] ppid=17285 vsize=13977988 memory=56 CPUtime=2.2 cores=1,3,5,7
/proc/17288/task/17290/stat : 17290 (java) R 17285 17288 12560 0 -1 4202560 10735 0 0 0 209 11 0 0 20 0 15 0 72835040 14313459712 187229 18446744073709551615 4194304 4196468 140732659605984 139886572848448 139886165403092 0 4 1 16800974 0 0 0 -1 1 0 0 60 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17291] ppid=17285 vsize=13977988 memory=4634581502636080739 CPUtime=0.1 cores=1,3,5,7
/proc/17288/task/17291/stat : 17291 (java) S 17285 17288 12560 0 -1 1077944384 149 0 0 0 6 4 0 0 20 0 15 0 72835041 14313459712 187229 18446744073709551615 4194304 4196468 140732659605984 139886488026256 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17292] ppid=17285 vsize=13977988 memory=-8774313645642428999 CPUtime=0.1 cores=1,3,5,7
/proc/17288/task/17292/stat : 17292 (java) S 17285 17288 12560 0 -1 1077944384 231 0 0 0 6 4 0 0 20 0 15 0 72835041 14313459712 187229 18446744073709551615 4194304 4196468 140732659605984 139886486973456 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17293] ppid=17285 vsize=13977988 memory=1744 CPUtime=0.1 cores=1,3,5,7
/proc/17288/task/17293/stat : 17293 (java) S 17285 17288 12560 0 -1 1077944384 112 0 0 0 6 4 0 0 20 0 15 0 72835041 14313459712 187229 18446744073709551615 4194304 4196468 140732659605984 139886485920656 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17294] ppid=17285 vsize=13977988 memory=956 CPUtime=0.1 cores=1,3,5,7
/proc/17288/task/17294/stat : 17294 (java) S 17285 17288 12560 0 -1 1077944384 126 0 0 0 6 4 0 0 20 0 15 0 72835041 14313459712 187229 18446744073709551615 4194304 4196468 140732659605984 139886484867856 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17295] ppid=17285 vsize=13977988 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17295/stat : 17295 (java) S 17285 17288 12560 0 -1 1077944384 524 0 0 0 0 0 0 0 20 0 15 0 72835042 14313459712 187229 18446744073709551615 4194304 4196468 140732659605984 139886047242608 139886568622722 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17296] ppid=17285 vsize=13977988 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17296/stat : 17296 (java) S 17285 17288 12560 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 72835043 14313459712 187229 18446744073709551615 4194304 4196468 140732659605984 139886046188640 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17297] ppid=17285 vsize=13977988 memory=280849925256160 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17297/stat : 17297 (java) S 17285 17288 12560 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 72835043 14313459712 187229 18446744073709551615 4194304 4196468 140732659605984 139886045135744 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17298] ppid=17285 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17298/stat : 17298 (java) S 17285 17288 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72835045 14313459712 187229 18446744073709551615 4194304 4196468 140732659605984 139886044084048 139886568630171 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17299] ppid=17285 vsize=13977988 memory=0 CPUtime=0.6 cores=1,3,5,7
/proc/17288/task/17299/stat : 17299 (java) S 17285 17288 12560 0 -1 1077944384 1663 0 0 0 60 0 0 0 20 0 15 0 72835045 14313459712 187229 18446744073709551615 4194304 4196468 140732659605984 139886043032432 139886568622722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17300] ppid=17285 vsize=13977988 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/17288/task/17300/stat : 17300 (java) S 17285 17288 12560 0 -1 1077944384 2007 0 0 0 63 0 0 0 20 0 15 0 72835045 14313459712 187229 18446744073709551615 4194304 4196468 140732659605984 139886041979632 139886568622722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17301] ppid=17285 vsize=13977988 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/17288/task/17301/stat : 17301 (java) S 17285 17288 12560 0 -1 1077944384 930 0 0 0 24 0 0 0 20 0 15 0 72835045 14313459712 187229 18446744073709551615 4194304 4196468 140732659605984 139886040926832 139886568622722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17302] ppid=17285 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17302/stat : 17302 (java) S 17285 17288 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72835046 14313459712 187229 18446744073709551615 4194304 4196468 140732659605984 139886039874272 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17303] ppid=17285 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17303/stat : 17303 (java) S 17285 17288 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72835106 14313459712 187229 18446744073709551615 4194304 4196468 140732659605984 139886038821552 139886568622722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
Current children cumulated CPU time: 4.16 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 748916 KiB

[startup+5.24737 s]
# the end of solver process 17288 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=6.09846 s, system=0.54465 s

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

[startup+3.20089 s]
/proc/loadavg: 1.41 1.39 1.34 3/210 17303
/proc/meminfo: memFree=30610732/32770624 swapFree=67105588/67108860
[pid=17288] ppid=17285 vsize=13977988 memory=748916 CPUtime=4.25 cores=1,3,5,7
/proc/17288/stat : 17288 (java) S 17285 17288 12560 0 -1 1077944320 18411 0 0 0 394 31 0 0 20 0 15 0 72835024 14313459712 187229 18446744073709551615 4194304 4196468 140732659605984 140732659588528 139886568611575 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 15 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
/proc/17288/statm: 3494497 187229 3784 1 0 3483271 0
[pid=17288/tid=17290] ppid=17285 vsize=13977988 memory=0 CPUtime=2.29 cores=1,3,5,7
/proc/17288/task/17290/stat : 17290 (java) R 17285 17288 12560 0 -1 4202560 11295 0 0 0 218 11 0 0 20 0 15 0 72835040 14313459712 187229 18446744073709551615 4194304 4196468 140732659605984 139886572848448 139886165468958 0 4 1 16800974 0 0 0 -1 1 0 0 60 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17291] ppid=17285 vsize=13977988 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/17288/task/17291/stat : 17291 (java) S 17285 17288 12560 0 -1 1077944384 149 0 0 0 6 4 0 0 20 0 15 0 72835041 14313459712 187229 18446744073709551615 4194304 4196468 140732659605984 139886488026256 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17292] ppid=17285 vsize=13977988 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/17288/task/17292/stat : 17292 (java) S 17285 17288 12560 0 -1 1077944384 231 0 0 0 6 4 0 0 20 0 15 0 72835041 14313459712 187229 18446744073709551615 4194304 4196468 140732659605984 139886486973456 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17293] ppid=17285 vsize=13977988 memory=554492 CPUtime=0.1 cores=1,3,5,7
/proc/17288/task/17293/stat : 17293 (java) S 17285 17288 12560 0 -1 1077944384 112 0 0 0 6 4 0 0 20 0 15 0 72835041 14313459712 187229 18446744073709551615 4194304 4196468 140732659605984 139886485920656 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17294] ppid=17285 vsize=13977988 memory=280849925282976 CPUtime=0.1 cores=1,3,5,7
/proc/17288/task/17294/stat : 17294 (java) S 17285 17288 12560 0 -1 1077944384 126 0 0 0 6 4 0 0 20 0 15 0 72835041 14313459712 187229 18446744073709551615 4194304 4196468 140732659605984 139886484867856 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17295] ppid=17285 vsize=13977988 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17295/stat : 17295 (java) S 17285 17288 12560 0 -1 1077944384 524 0 0 0 0 0 0 0 20 0 15 0 72835042 14313459712 187229 18446744073709551615 4194304 4196468 140732659605984 139886047242608 139886568622722 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17296] ppid=17285 vsize=13977988 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17296/stat : 17296 (java) S 17285 17288 12560 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 72835043 14313459712 187229 18446744073709551615 4194304 4196468 140732659605984 139886046188640 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17297] ppid=17285 vsize=13977988 memory=6944656592385698452 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17297/stat : 17297 (java) S 17285 17288 12560 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 72835043 14313459712 187229 18446744073709551615 4194304 4196468 140732659605984 139886045135744 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17298] ppid=17285 vsize=13977988 memory=4279353494052561728 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17298/stat : 17298 (java) S 17285 17288 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72835045 14313459712 187229 18446744073709551615 4194304 4196468 140732659605984 139886044084048 139886568630171 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17299] ppid=17285 vsize=13977988 memory=0 CPUtime=0.6 cores=1,3,5,7
/proc/17288/task/17299/stat : 17299 (java) S 17285 17288 12560 0 -1 1077944384 1663 0 0 0 60 0 0 0 20 0 15 0 72835045 14313459712 187229 18446744073709551615 4194304 4196468 140732659605984 139886043032432 139886568622722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17300] ppid=17285 vsize=13977988 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/17288/task/17300/stat : 17300 (java) S 17285 17288 12560 0 -1 1077944384 2007 0 0 0 63 0 0 0 20 0 15 0 72835045 14313459712 187229 18446744073709551615 4194304 4196468 140732659605984 139886041979632 139886568622722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17301] ppid=17285 vsize=13977988 memory=-8033973626532799130 CPUtime=0.24 cores=1,3,5,7
/proc/17288/task/17301/stat : 17301 (java) S 17285 17288 12560 0 -1 1077944384 930 0 0 0 24 0 0 0 20 0 15 0 72835045 14313459712 187229 18446744073709551615 4194304 4196468 140732659605984 139886040926832 139886568622722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17302] ppid=17285 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17302/stat : 17302 (java) S 17285 17288 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72835046 14313459712 187229 18446744073709551615 4194304 4196468 140732659605984 139886039874272 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17303] ppid=17285 vsize=13977988 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17303/stat : 17303 (java) S 17285 17288 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72835106 14313459712 187229 18446744073709551615 4194304 4196468 140732659605984 139886038821552 139886568622722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
Current children cumulated CPU time: 4.25 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 748916 KiB

[startup+4.0007 s]*
/proc/loadavg: 1.41 1.39 1.34 4/210 17303
/proc/meminfo: memFree=30556000/32770624 swapFree=67105588/67108860
[pid=17288] ppid=17285 vsize=13980036 memory=804308 CPUtime=5.71 cores=1,3,5,7
/proc/17288/stat : 17288 (java) S 17285 17288 12560 0 -1 1077944320 22156 0 0 0 534 37 0 0 20 0 15 0 72835024 14315556864 201077 18446744073709551615 4194304 4196468 140732659605984 140732659588528 139886568611575 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 15 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
/proc/17288/statm: 3495009 201077 3789 1 0 3483783 0
[pid=17288/tid=17290] ppid=17285 vsize=13980036 memory=-8774313645642428999 CPUtime=3.06 cores=1,3,5,7
/proc/17288/task/17290/stat : 17290 (java) R 17285 17288 12560 0 -1 4202560 13019 0 0 0 295 11 0 0 20 0 15 0 72835040 14315556864 201077 18446744073709551615 4194304 4196468 140732659605984 139886572846264 139886166583274 0 4 1 16800974 0 0 0 -1 1 0 0 60 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17291] ppid=17285 vsize=13980036 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/17288/task/17291/stat : 17291 (java) S 17285 17288 12560 0 -1 1077944384 179 0 0 0 9 5 0 0 20 0 15 0 72835041 14315556864 201077 18446744073709551615 4194304 4196468 140732659605984 139886488026256 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17292] ppid=17285 vsize=13980036 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/17288/task/17292/stat : 17292 (java) S 17285 17288 12560 0 -1 1077944384 257 0 0 0 9 5 0 0 20 0 15 0 72835041 14315556864 201077 18446744073709551615 4194304 4196468 140732659605984 139886486973456 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17293] ppid=17285 vsize=13980036 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/17288/task/17293/stat : 17293 (java) S 17285 17288 12560 0 -1 1077944384 136 0 0 0 8 5 0 0 20 0 15 0 72835041 14315556864 201077 18446744073709551615 4194304 4196468 140732659605984 139886485920656 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17294] ppid=17285 vsize=13980036 memory=3544385890265608239 CPUtime=0.14 cores=1,3,5,7
/proc/17288/task/17294/stat : 17294 (java) S 17285 17288 12560 0 -1 1077944384 150 0 0 0 9 5 0 0 20 0 15 0 72835041 14315556864 201077 18446744073709551615 4194304 4196468 140732659605984 139886484867856 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17295] ppid=17285 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17295/stat : 17295 (java) S 17285 17288 12560 0 -1 1077944384 524 0 0 0 0 0 0 0 20 0 15 0 72835042 14315556864 201077 18446744073709551615 4194304 4196468 140732659605984 139886047242608 139886568622722 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17296] ppid=17285 vsize=13980036 memory=3472328296227680303 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17296/stat : 17296 (java) S 17285 17288 12560 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 72835043 14315556864 201077 18446744073709551615 4194304 4196468 140732659605984 139886046188640 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17297] ppid=17285 vsize=13980036 memory=-6586668835053290905 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17297/stat : 17297 (java) S 17285 17288 12560 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 72835043 14315556864 201077 18446744073709551615 4194304 4196468 140732659605984 139886045135744 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17298] ppid=17285 vsize=13980036 memory=-6586668835053290905 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17298/stat : 17298 (java) S 17285 17288 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72835045 14315556864 201077 18446744073709551615 4194304 4196468 140732659605984 139886044084048 139886568630171 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17299] ppid=17285 vsize=13980036 memory=0 CPUtime=0.8 cores=1,3,5,7
/proc/17288/task/17299/stat : 17299 (java) S 17285 17288 12560 0 -1 1077944384 2207 0 0 0 80 0 0 0 20 0 15 0 72835045 14315556864 201077 18446744073709551615 4194304 4196468 140732659605984 139886043032432 139886568622722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17300] ppid=17285 vsize=13980036 memory=3472328296227680303 CPUtime=0.84 cores=1,3,5,7
/proc/17288/task/17300/stat : 17300 (java) R 17285 17288 12560 0 -1 4202560 2527 0 0 0 84 0 0 0 20 0 15 0 72835045 14315556864 201077 18446744073709551615 4194304 4196468 140732659605984 139886041959696 139886550021725 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17301] ppid=17285 vsize=13980036 memory=280850051444040 CPUtime=0.36 cores=1,3,5,7
/proc/17288/task/17301/stat : 17301 (java) S 17285 17288 12560 0 -1 1077944384 1782 0 0 0 36 0 0 0 20 0 15 0 72835045 14315556864 201077 18446744073709551615 4194304 4196468 140732659605984 139886040926832 139886568622722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17302] ppid=17285 vsize=13980036 memory=2319690487180112946 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17302/stat : 17302 (java) S 17285 17288 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72835046 14315556864 201077 18446744073709551615 4194304 4196468 140732659605984 139886039874272 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17303] ppid=17285 vsize=13980036 memory=280850051809984 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17303/stat : 17303 (java) S 17285 17288 12560 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 72835106 14315556864 201077 18446744073709551615 4194304 4196468 140732659605984 139886038821552 139886568622722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
Current children cumulated CPU time: 5.71 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 804308 KiB

[startup+4.80061 s]
/proc/loadavg: 1.41 1.39 1.34 4/210 17303
/proc/meminfo: memFree=30556000/32770624 swapFree=67105588/67108860
[pid=17288] ppid=17285 vsize=13980036 memory=1381836 CPUtime=6.5 cores=1,3,5,7
/proc/17288/stat : 17288 (java) S 17285 17288 12560 0 -1 1077944320 25032 0 0 0 598 52 0 0 20 0 15 0 72835024 14315556864 345459 18446744073709551615 4194304 4196468 140732659605984 140732659588528 139886568611575 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 15 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
/proc/17288/statm: 3495009 345459 3789 1 0 3483783 0
[pid=17288/tid=17290] ppid=17285 vsize=13980036 memory=280849925151520 CPUtime=3.48 cores=1,3,5,7
/proc/17288/task/17290/stat : 17290 (java) S 17285 17288 12560 0 -1 1077944384 14180 0 0 0 330 18 0 0 20 0 15 0 72835040 14315556864 345459 18446744073709551615 4194304 4196468 140732659605984 139886572847376 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 60 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17291] ppid=17285 vsize=13980036 memory=-8774313645642428999 CPUtime=0.21 cores=1,3,5,7
/proc/17288/task/17291/stat : 17291 (java) S 17285 17288 12560 0 -1 1077944384 335 0 0 0 14 7 0 0 20 0 15 0 72835041 14315556864 345459 18446744073709551615 4194304 4196468 140732659605984 139886488026256 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17292] ppid=17285 vsize=13980036 memory=6944656592452807316 CPUtime=0.22 cores=1,3,5,7
/proc/17288/task/17292/stat : 17292 (java) S 17285 17288 12560 0 -1 1077944384 918 0 0 0 14 8 0 0 20 0 15 0 72835041 14315556864 345459 18446744073709551615 4194304 4196468 140732659605984 139886486973456 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17293] ppid=17285 vsize=13980036 memory=-7737605734073691286 CPUtime=0.2 cores=1,3,5,7
/proc/17288/task/17293/stat : 17293 (java) S 17285 17288 12560 0 -1 1077944384 290 0 0 0 13 7 0 0 20 0 15 0 72835041 14315556864 345459 18446744073709551615 4194304 4196468 140732659605984 139886485920656 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17294] ppid=17285 vsize=13980036 memory=4206468019014099040 CPUtime=0.21 cores=1,3,5,7
/proc/17288/task/17294/stat : 17294 (java) S 17285 17288 12560 0 -1 1077944384 224 0 0 0 14 7 0 0 20 0 15 0 72835041 14315556864 345459 18446744073709551615 4194304 4196468 140732659605984 139886484867856 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17295] ppid=17285 vsize=13980036 memory=4138356658378995242 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17295/stat : 17295 (java) D 17285 17288 12560 0 -1 4202560 738 0 0 0 0 0 0 0 20 0 15 0 72835042 14315556864 345459 18446744073709551615 4194304 4196468 140732659605984 139886047241008 139886553649205 0 0 1 16800974 18446744072099589253 0 0 -1 7 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17296] ppid=17285 vsize=13980036 memory=280849924755968 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17296/stat : 17296 (java) S 17285 17288 12560 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 72835043 14315556864 345459 18446744073709551615 4194304 4196468 140732659605984 139886046188640 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17297] ppid=17285 vsize=13980036 memory=288230377007612190 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17297/stat : 17297 (java) S 17285 17288 12560 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 72835043 14315556864 345459 18446744073709551615 4194304 4196468 140732659605984 139886045135744 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17298] ppid=17285 vsize=13980036 memory=288293289772450965 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17298/stat : 17298 (java) S 17285 17288 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72835045 14315556864 345459 18446744073709551615 4194304 4196468 140732659605984 139886044084048 139886568630171 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17299] ppid=17285 vsize=13980036 memory=0 CPUtime=0.84 cores=1,3,5,7
/proc/17288/task/17299/stat : 17299 (java) S 17285 17288 12560 0 -1 1077944384 2404 0 0 0 84 0 0 0 20 0 15 0 72835045 14315556864 345459 18446744073709551615 4194304 4196468 140732659605984 139886043032432 139886568622722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17300] ppid=17285 vsize=13980036 memory=-3253322038155611931 CPUtime=0.86 cores=1,3,5,7
/proc/17288/task/17300/stat : 17300 (java) S 17285 17288 12560 0 -1 1077944384 2567 0 0 0 86 0 0 0 20 0 15 0 72835045 14315556864 345459 18446744073709551615 4194304 4196468 140732659605984 139886041979632 139886568622722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17301] ppid=17285 vsize=13980036 memory=6944656592455360604 CPUtime=0.38 cores=1,3,5,7
/proc/17288/task/17301/stat : 17301 (java) S 17285 17288 12560 0 -1 1077944384 1994 0 0 0 38 0 0 0 20 0 15 0 72835045 14315556864 345459 18446744073709551615 4194304 4196468 140732659605984 139886040926832 139886568622722 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17302] ppid=17285 vsize=13980036 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17302/stat : 17302 (java) S 17285 17288 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72835046 14315556864 345459 18446744073709551615 4194304 4196468 140732659605984 139886039874272 139886568621781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
[pid=17288/tid=17303] ppid=17285 vsize=13980036 memory=485372 CPUtime=0 cores=1,3,5,7
/proc/17288/task/17303/stat : 17303 (java) D 17285 17288 12560 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 15 0 72835106 14315556864 345459 18446744073709551615 4194304 4196468 140732659605984 139886038821472 139886553467662 0 4 1 16800974 18446744072099589253 0 0 -1 3 0 0 0 0 0 6293624 6294260 39669760 140732659609967 140732659610153 140732659610153 140732659613647 0
Current children cumulated CPU time: 6.5 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 1381836 KiB

[startup+5.20074 s]*
/proc/loadavg: 1.41 1.39 1.34 2/197 17304
/proc/meminfo: memFree=31338628/32770624 swapFree=67105588/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 5.24742
CPU time (s): 6.64311
CPU user time (s): 6.09846
CPU system time (s): 0.54465
CPU usage (%): 126.598
Max. virtual memory (cumulated for all children) (KiB): 13980036
Max. memory (cumulated for all children) (KiB): 1383948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.09846
system time used= 0.54465
maximum resident set size= 1384720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26511
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2513
involuntary context switches= 37


# summary of solver processes directly reported to runsolver:
#   pid: 17288
#   total CPU time (s): 6.64311
#   total CPU user time (s): 6.09846
#   total CPU system time (s): 0.54465

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.05231 second user time and 0.088927 second system time

The end

Launcher Data 

Begin job on node126 at 2017-08-14 12:12:34
IDJOB=4274252
IDBENCH=120364
IDSOLVER=2666
FILE ID=node126/4274252-1502706396
RUNJOBID= node126-1502662832-10388
PBS_JOBID= 
Free space on /tmp= 61972 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-07-26
BENCH NAME= XCSP17/Sudoku/Sudoku-table-s1/Sudoku-s12b-table.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4274252-1502706396/watcher-4274252-1502706396 -o /tmp/evaluation-result-4274252-1502706396/solver-4274252-1502706396 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10388 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 894504334 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274252-1502706396.xml

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

MD5SUM BENCH= 03c8305b156c1553c8e24fbd7657baff
RANDOM SEED=894504334

node126.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.81
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.81
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.81
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.81
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:        31347928 kB
MemAvailable:   31829736 kB
Buffers:          299100 kB
Cached:           451760 kB
SwapCached:          524 kB
Active:           715340 kB
Inactive:         223492 kB
Active(anon):     136432 kB
Inactive(anon):    85396 kB
Active(file):     578908 kB
Inactive(file):   138096 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67105588 kB
Dirty:             62848 kB
Writeback:             4 kB
AnonPages:        187816 kB
Mapped:            62736 kB
Shmem:             33440 kB
Slab:             187964 kB
SReclaimable:     161276 kB
SUnreclaim:        26688 kB
KernelStack:        3456 kB
PageTables:         5076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1171568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     90112 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 61928 MiB
End job on node126 at 2017-08-14 12:12:40