Trace number 4298345

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
MiniCPFever 2018-04-29SAT (TO)12 2520.07 2370.33

General information on the benchmark

NamePseudoBoolean-opt/
Pb-garden-7x7_c18.xml
MD5SUMb012ef5fa7bba6c8b791df977729af7d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark75.1304
Satisfiable
(Un)Satisfiability was proved
Number of variables49
Number of constraints49
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":49}]
Minimum variable degree4
Maximum variable degree6
Distribution of variable degrees[{"degree":4,"count":4},{"degree":5,"count":20},{"degree":6,"count":25}]
Minimum constraint arity3
Maximum constraint arity5
Distribution of constraint arities[{"arity":3,"count":4},{"arity":4,"count":20},{"arity":5,"count":25}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":49}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.13/0.13	c version: 2018-04-11
0.13/0.13	c seed: 1811631
0.13/0.13	c timeout: -1
0.13/0.13	c memlimit: -1
0.13/0.13	c nbcore: -1
0.32/0.31	o 18
0.32/0.31	objective:18
0.55/0.32	o 17
0.55/0.32	objective:17
0.55/0.32	o 16
0.55/0.32	objective:16
0.55/0.37	o 15
0.55/0.37	objective:15
0.87/0.42	o 14
0.87/0.42	objective:14
1.54/0.75	o 13
1.54/0.75	objective:13
564.14/542.59	o 12
564.14/542.59	objective:12
2520.02/2370.30	s SATISFIABLE
2520.02/2370.30	v <instantiation>
2520.02/2370.30	v 	<list>
2520.02/2370.30	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] 
2520.02/2370.30	v 	</list>
2520.02/2370.30	v 	<values>
2520.02/2370.30	v 		0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 
2520.02/2370.30	v 	</values>
2520.02/2370.30	v </instantiation>

Verifier Data 

OK	12

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298345-1532756142/watcher-4298345-1532756142 -o /tmp/evaluation-result-4298345-1532756142/solver-4298345-1532756142 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532741282-23861 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298345-1532756142.xml 

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

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
Current StackSize limit: 8192 KiB

solver pid=25572, runsolver pid=25569

[startup+0.101342 s]*
/proc/loadavg: 1.51 1.62 1.66 4/215 25587
/proc/meminfo: memFree=24677968/32770624 swapFree=67108496/67108860
[pid=25572] ppid=25569 vsize=10658972 memory=27644 CPUtime=0.13 cores=0,2,4,6
/proc/25572/stat : 25572 (java) S 25569 25572 23830 0 -1 1077944320 5325 0 0 0 12 1 0 0 20 0 15 0 93177381 10914787328 6911 33554432000 4194304 4196468 140726858391600 140726858374144 140430718512887 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
/proc/25572/statm: 2664743 6911 2881 1 0 2627263 0
[pid=25572/tid=25574] ppid=25569 vsize=10658972 memory=-7254949987974015097 CPUtime=0.09 cores=0,2,4,6
/proc/25572/task/25574/stat : 25574 (java) R 25569 25572 23830 0 -1 4202560 3149 0 0 0 9 0 0 0 20 0 15 0 93177382 10914787328 6911 33554432000 4194304 4196468 140726858391600 140430722738816 140430348013006 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25575] ppid=25569 vsize=10658972 memory=5793855523719285177 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25575/stat : 25575 (java) S 25569 25572 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93177382 10914787328 6911 33554432000 4194304 4196468 140726858391600 140430671133328 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25576] ppid=25569 vsize=10658972 memory=140272709392000 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25576/stat : 25576 (java) S 25569 25572 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93177382 10914787328 6911 33554432000 4194304 4196468 140726858391600 140430670080528 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25577] ppid=25569 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25577/stat : 25577 (java) S 25569 25572 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93177382 10914787328 6911 33554432000 4194304 4196468 140726858391600 140430669027728 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25578] ppid=25569 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25578/stat : 25578 (java) S 25569 25572 23830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93177382 10914787328 6911 33554432000 4194304 4196468 140726858391600 140430667974928 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25579] ppid=25569 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25579/stat : 25579 (java) S 25569 25572 23830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93177384 10914787328 6911 33554432000 4194304 4196468 140726858391600 140429754104688 140430718524034 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25580] ppid=25569 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25580/stat : 25580 (java) S 25569 25572 23830 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93177384 10914787328 6911 33554432000 4194304 4196468 140726858391600 140429753050656 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25581] ppid=25569 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25581/stat : 25581 (java) S 25569 25572 23830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93177384 10914787328 6911 33554432000 4194304 4196468 140726858391600 140429751997808 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25582] ppid=25569 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25582/stat : 25582 (java) S 25569 25572 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93177387 10914787328 6911 33554432000 4194304 4196468 140726858391600 140429750946128 140430718531483 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25583] ppid=25569 vsize=10658972 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25572/task/25583/stat : 25583 (java) S 25569 25572 23830 0 -1 1077944384 344 0 0 0 1 0 0 0 20 0 15 0 93177387 10914787328 6911 33554432000 4194304 4196468 140726858391600 140429749893488 140430718524034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25584] ppid=25569 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25584/stat : 25584 (java) S 25569 25572 23830 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 15 0 93177387 10914787328 6911 33554432000 4194304 4196468 140726858391600 140429748840688 140430718524034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25585] ppid=25569 vsize=10658972 memory=140272709392000 CPUtime=0.02 cores=0,2,4,6
/proc/25572/task/25585/stat : 25585 (java) R 25569 25572 23830 0 -1 4202560 325 0 0 0 2 0 0 0 20 0 15 0 93177387 10914787328 6911 33554432000 4194304 4196468 140726858391600 140429747787888 140430718534234 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25586] ppid=25569 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25586/stat : 25586 (java) S 25569 25572 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93177387 10914787328 6911 33554432000 4194304 4196468 140726858391600 140429746735328 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25587] ppid=25569 vsize=10658972 memory=140272709392000 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25587/stat : 25587 (java) S 25569 25572 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93177387 10914787328 6911 33554432000 4194304 4196468 140726858391600 140429745683632 140430718524034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27644 KiB

[startup+0.210506 s]*
/proc/loadavg: 1.51 1.62 1.66 3/215 25587
/proc/meminfo: memFree=24666144/32770624 swapFree=67108496/67108860
[pid=25572] ppid=25569 vsize=10659048 memory=40572 CPUtime=0.32 cores=0,2,4,6
/proc/25572/stat : 25572 (java) S 25569 25572 23830 0 -1 1077944320 8206 0 0 0 30 2 0 0 20 0 15 0 93177381 10914865152 10143 33554432000 4194304 4196468 140726858391600 140726858374144 140430718512887 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
/proc/25572/statm: 2664762 10143 2975 1 0 2627263 0
[pid=25572/tid=25574] ppid=25569 vsize=10659048 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/25572/task/25574/stat : 25574 (java) R 25569 25572 23830 0 -1 4202560 5212 0 0 0 19 1 0 0 20 0 15 0 93177382 10914865152 10143 33554432000 4194304 4196468 140726858391600 140430722745200 140430718534813 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25575] ppid=25569 vsize=10659048 memory=4211973998914182538 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25575/stat : 25575 (java) S 25569 25572 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93177382 10914865152 10143 33554432000 4194304 4196468 140726858391600 140430671133328 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25576] ppid=25569 vsize=10659048 memory=140272709392000 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25576/stat : 25576 (java) S 25569 25572 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93177382 10914865152 10143 33554432000 4194304 4196468 140726858391600 140430670080528 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25577] ppid=25569 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25577/stat : 25577 (java) S 25569 25572 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93177382 10914865152 10143 33554432000 4194304 4196468 140726858391600 140430669027728 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25578] ppid=25569 vsize=10659048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25578/stat : 25578 (java) S 25569 25572 23830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93177382 10914865152 10143 33554432000 4194304 4196468 140726858391600 140430667974928 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25579] ppid=25569 vsize=10659048 memory=140272709392000 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25579/stat : 25579 (java) S 25569 25572 23830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93177384 10914865152 10143 33554432000 4194304 4196468 140726858391600 140429754104688 140430718524034 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25580] ppid=25569 vsize=10659048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25580/stat : 25580 (java) S 25569 25572 23830 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93177384 10914865152 10143 33554432000 4194304 4196468 140726858391600 140429753050656 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25581] ppid=25569 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25581/stat : 25581 (java) S 25569 25572 23830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93177384 10914865152 10143 33554432000 4194304 4196468 140726858391600 140429751997808 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25582] ppid=25569 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25582/stat : 25582 (java) S 25569 25572 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93177387 10914865152 10143 33554432000 4194304 4196468 140726858391600 140429750946128 140430718531483 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25583] ppid=25569 vsize=10659048 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25572/task/25583/stat : 25583 (java) S 25569 25572 23830 0 -1 1077944384 634 0 0 0 2 0 0 0 20 0 15 0 93177387 10914865152 10143 33554432000 4194304 4196468 140726858391600 140429749893488 140430718524034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25584] ppid=25569 vsize=10659048 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/25572/task/25584/stat : 25584 (java) S 25569 25572 23830 0 -1 1077944384 246 0 0 0 2 0 0 0 20 0 15 0 93177387 10914865152 10143 33554432000 4194304 4196468 140726858391600 140429748840688 140430718524034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25585] ppid=25569 vsize=10659048 memory=140272709392000 CPUtime=0.07 cores=0,2,4,6
/proc/25572/task/25585/stat : 25585 (java) S 25569 25572 23830 0 -1 1077944384 746 0 0 0 7 0 0 0 20 0 15 0 93177387 10914865152 10143 33554432000 4194304 4196468 140726858391600 140429747787888 140430718524034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25586] ppid=25569 vsize=10659048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25586/stat : 25586 (java) S 25569 25572 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93177387 10914865152 10143 33554432000 4194304 4196468 140726858391600 140429746735328 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25587] ppid=25569 vsize=10659048 memory=140272709392000 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25587/stat : 25587 (java) S 25569 25572 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93177387 10914865152 10143 33554432000 4194304 4196468 140726858391600 140429745683632 140430718524034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 40572 KiB

[startup+0.310176 s]*
/proc/loadavg: 1.51 1.62 1.66 4/215 25587
/proc/meminfo: memFree=24661740/32770624 swapFree=67108496/67108860
[pid=25572] ppid=25569 vsize=10659048 memory=46688 CPUtime=0.55 cores=0,2,4,6
/proc/25572/stat : 25572 (java) S 25569 25572 23830 0 -1 1077944320 8783 0 0 0 52 3 0 0 20 0 15 0 93177381 10914865152 11672 33554432000 4194304 4196468 140726858391600 140726858374144 140430718512887 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
/proc/25572/statm: 2664762 11672 3040 1 0 2627263 0
[pid=25572/tid=25574] ppid=25569 vsize=10659048 memory=4871374705135476842 CPUtime=0.29 cores=0,2,4,6
/proc/25572/task/25574/stat : 25574 (java) R 25569 25572 23830 0 -1 4202560 5546 0 0 0 28 1 0 0 20 0 15 0 93177382 10914865152 11672 33554432000 4194304 4196468 140726858391600 140430722750712 140430702593300 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25575] ppid=25569 vsize=10659048 memory=4211973998914182538 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25575/stat : 25575 (java) S 25569 25572 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93177382 10914865152 11672 33554432000 4194304 4196468 140726858391600 140430671133328 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25576] ppid=25569 vsize=10659048 memory=140272709394344 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25576/stat : 25576 (java) S 25569 25572 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93177382 10914865152 11672 33554432000 4194304 4196468 140726858391600 140430670080528 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25577] ppid=25569 vsize=10659048 memory=140272558278438 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25577/stat : 25577 (java) S 25569 25572 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93177382 10914865152 11672 33554432000 4194304 4196468 140726858391600 140430669027728 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25578] ppid=25569 vsize=10659048 memory=140272558263759 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25578/stat : 25578 (java) S 25569 25572 23830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93177382 10914865152 11672 33554432000 4194304 4196468 140726858391600 140430667974928 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25579] ppid=25569 vsize=10659048 memory=140272709415857 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25579/stat : 25579 (java) S 25569 25572 23830 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93177384 10914865152 11672 33554432000 4194304 4196468 140726858391600 140429754104688 140430718524034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25580] ppid=25569 vsize=10659048 memory=140272558272975 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25580/stat : 25580 (java) S 25569 25572 23830 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93177384 10914865152 11672 33554432000 4194304 4196468 140726858391600 140429753050656 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25581] ppid=25569 vsize=10659048 memory=280545116536720 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25581/stat : 25581 (java) S 25569 25572 23830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93177384 10914865152 11672 33554432000 4194304 4196468 140726858391600 140429751997808 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25582] ppid=25569 vsize=10659048 memory=280545116534384 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25582/stat : 25582 (java) S 25569 25572 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93177387 10914865152 11672 33554432000 4194304 4196468 140726858391600 140429750946128 140430718531483 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25583] ppid=25569 vsize=10659048 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/25572/task/25583/stat : 25583 (java) R 25569 25572 23830 0 -1 1077944384 667 0 0 0 4 0 0 0 20 0 15 0 93177387 10914865152 11672 33554432000 4194304 4196468 140726858391600 140429749893488 140430718524034 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25584] ppid=25569 vsize=10659048 memory=2240 CPUtime=0.04 cores=0,2,4,6
/proc/25572/task/25584/stat : 25584 (java) R 25569 25572 23830 0 -1 4202560 327 0 0 0 4 0 0 0 20 0 15 0 93177387 10914865152 11672 33554432000 4194304 4196468 140726858391600 140429748833712 140430696679368 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25585] ppid=25569 vsize=10659048 memory=140272709392000 CPUtime=0.14 cores=0,2,4,6
/proc/25572/task/25585/stat : 25585 (java) R 25569 25572 23830 0 -1 4202560 873 0 0 0 14 0 0 0 20 0 15 0 93177387 10914865152 11672 33554432000 4194304 4196468 140726858391600 140429747787888 140430697487824 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25586] ppid=25569 vsize=10659048 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25586/stat : 25586 (java) S 25569 25572 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93177387 10914865152 11672 33554432000 4194304 4196468 140726858391600 140429746735328 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25587] ppid=25569 vsize=10659048 memory=140272709392000 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25587/stat : 25587 (java) S 25569 25572 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93177387 10914865152 11672 33554432000 4194304 4196468 140726858391600 140429745683632 140430718524034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 46688 KiB

[startup+0.700751 s]
/proc/loadavg: 1.51 1.62 1.66 5/215 25587
/proc/meminfo: memFree=24641640/32770624 swapFree=67108496/67108860
[pid=25572] ppid=25569 vsize=10659048 memory=86876 CPUtime=1.54 cores=0,2,4,6
/proc/25572/stat : 25572 (java) S 25569 25572 23830 0 -1 1077944320 11086 0 0 0 151 3 0 0 20 0 15 0 93177381 10914865152 21719 33554432000 4194304 4196468 140726858391600 140726858374144 140430718512887 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
/proc/25572/statm: 2664762 21719 3084 1 0 2627263 0
[pid=25572/tid=25574] ppid=25569 vsize=10659048 memory=1616 CPUtime=0.68 cores=0,2,4,6
/proc/25572/task/25574/stat : 25574 (java) R 25569 25572 23830 0 -1 4202560 5607 0 0 0 66 2 0 0 20 0 15 0 93177382 10914865152 21719 33554432000 4194304 4196468 140726858391600 140430722740016 140430350538681 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25575] ppid=25569 vsize=10659048 memory=1836 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25575/stat : 25575 (java) S 25569 25572 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93177382 10914865152 21719 33554432000 4194304 4196468 140726858391600 140430671133328 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25576] ppid=25569 vsize=10659048 memory=1132 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25576/stat : 25576 (java) S 25569 25572 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93177382 10914865152 21719 33554432000 4194304 4196468 140726858391600 140430670080528 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25577] ppid=25569 vsize=10659048 memory=7235408084361307456 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25577/stat : 25577 (java) S 25569 25572 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93177382 10914865152 21719 33554432000 4194304 4196468 140726858391600 140430669027728 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25578] ppid=25569 vsize=10659048 memory=7739276948478193257 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25578/stat : 25578 (java) S 25569 25572 23830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93177382 10914865152 21719 33554432000 4194304 4196468 140726858391600 140430667974928 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25579] ppid=25569 vsize=10659048 memory=6154282490091891024 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25579/stat : 25579 (java) S 25569 25572 23830 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93177384 10914865152 21719 33554432000 4194304 4196468 140726858391600 140429754104688 140430718524034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25580] ppid=25569 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25580/stat : 25580 (java) S 25569 25572 23830 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93177384 10914865152 21719 33554432000 4194304 4196468 140726858391600 140429753050656 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25581] ppid=25569 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25581/stat : 25581 (java) S 25569 25572 23830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93177384 10914865152 21719 33554432000 4194304 4196468 140726858391600 140429751997808 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25582] ppid=25569 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25582/stat : 25582 (java) S 25569 25572 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93177387 10914865152 21719 33554432000 4194304 4196468 140726858391600 140429750946128 140430718531483 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25583] ppid=25569 vsize=10659048 memory=3252 CPUtime=0.31 cores=0,2,4,6
/proc/25572/task/25583/stat : 25583 (java) S 25569 25572 23830 0 -1 1077944384 1617 0 0 0 31 0 0 0 20 0 15 0 93177387 10914865152 21719 33554432000 4194304 4196468 140726858391600 140429749893488 140430718524034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25584] ppid=25569 vsize=10659048 memory=4 CPUtime=0.33 cores=0,2,4,6
/proc/25572/task/25584/stat : 25584 (java) S 25569 25572 23830 0 -1 1077944384 1459 0 0 0 33 0 0 0 20 0 15 0 93177387 10914865152 21719 33554432000 4194304 4196468 140726858391600 140429748840688 140430718524034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25585] ppid=25569 vsize=10659048 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/25572/task/25585/stat : 25585 (java) S 25569 25572 23830 0 -1 1077944384 1032 0 0 0 19 0 0 0 20 0 15 0 93177387 10914865152 21719 33554432000 4194304 4196468 140726858391600 140429747787888 140430718524034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25586] ppid=25569 vsize=10659048 memory=280545116720624 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25586/stat : 25586 (java) S 25569 25572 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93177387 10914865152 21719 33554432000 4194304 4196468 140726858391600 140429746735328 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25587] ppid=25569 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25587/stat : 25587 (java) S 25569 25572 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93177387 10914865152 21719 33554432000 4194304 4196468 140726858391600 140429745683632 140430718524034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
Current children cumulated CPU time: 1.54 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 86876 KiB

[startup+1.50075 s]
/proc/loadavg: 1.51 1.62 1.66 3/215 25587
/proc/meminfo: memFree=24581832/32770624 swapFree=67108496/67108860
[pid=25572] ppid=25569 vsize=10659048 memory=180564 CPUtime=2.61 cores=0,2,4,6
/proc/25572/stat : 25572 (java) S 25569 25572 23830 0 -1 1077944320 13874 0 0 0 256 5 0 0 20 0 15 0 93177381 10914865152 45141 33554432000 4194304 4196468 140726858391600 140726858374144 140430718512887 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
/proc/25572/statm: 2664762 45141 3104 1 0 2627263 0
[pid=25572/tid=25574] ppid=25569 vsize=10659048 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/25572/task/25574/stat : 25574 (java) R 25569 25572 23830 0 -1 4202560 5781 0 0 0 144 3 0 0 20 0 15 0 93177382 10914865152 45141 33554432000 4194304 4196468 140726858391600 140430722750896 140430350574744 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25575] ppid=25569 vsize=10659048 memory=-2746958450906831424 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25575/stat : 25575 (java) S 25569 25572 23830 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 93177382 10914865152 45141 33554432000 4194304 4196468 140726858391600 140430671133328 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25576] ppid=25569 vsize=10659048 memory=4945962419314072192 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25576/stat : 25576 (java) S 25569 25572 23830 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 93177382 10914865152 45141 33554432000 4194304 4196468 140726858391600 140430670080528 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25577] ppid=25569 vsize=10659048 memory=-6007660418857049897 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25577/stat : 25577 (java) S 25569 25572 23830 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 93177382 10914865152 45141 33554432000 4194304 4196468 140726858391600 140430669027728 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25578] ppid=25569 vsize=10659048 memory=-6296138211723270019 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25578/stat : 25578 (java) S 25569 25572 23830 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 93177382 10914865152 45141 33554432000 4194304 4196468 140726858391600 140430667974928 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25579] ppid=25569 vsize=10659048 memory=-6305718308206568576 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25579/stat : 25579 (java) S 25569 25572 23830 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 15 0 93177384 10914865152 45141 33554432000 4194304 4196468 140726858391600 140429754104688 140430718524034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0

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

/proc/25572/task/25574/stat : 25574 (java) R 25569 25572 23830 0 -1 4202560 88458 0 0 0 220580 41 0 0 20 0 15 0 93177382 10914865152 1300307 33554432000 4194304 4196468 140726858391600 140430722752304 140430350859405 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25575] ppid=25569 vsize=10659048 memory=5201228 CPUtime=47.78 cores=0,2,4,6
/proc/25572/task/25575/stat : 25575 (java) S 25569 25572 23830 0 -1 1077944384 81180 0 0 0 4730 48 0 0 20 0 15 0 93177382 10914865152 1300307 33554432000 4194304 4196468 140726858391600 140430671133328 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25576] ppid=25569 vsize=10659048 memory=5201228 CPUtime=47.95 cores=0,2,4,6
/proc/25572/task/25576/stat : 25576 (java) S 25569 25572 23830 0 -1 1077944384 45860 0 0 0 4739 56 0 0 20 0 15 0 93177382 10914865152 1300307 33554432000 4194304 4196468 140726858391600 140430670080528 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25577] ppid=25569 vsize=10659048 memory=5201228 CPUtime=48 cores=0,2,4,6
/proc/25572/task/25577/stat : 25577 (java) S 25569 25572 23830 0 -1 1077944384 58964 0 0 0 4750 50 0 0 20 0 15 0 93177382 10914865152 1300307 33554432000 4194304 4196468 140726858391600 140430669027728 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25578] ppid=25569 vsize=10659048 memory=5201228 CPUtime=47.74 cores=0,2,4,6
/proc/25572/task/25578/stat : 25578 (java) S 25569 25572 23830 0 -1 1077944384 51699 0 0 0 4718 56 0 0 20 0 15 0 93177382 10914865152 1300307 33554432000 4194304 4196468 140726858391600 140430667974928 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25579] ppid=25569 vsize=10659048 memory=808 CPUtime=7.29 cores=0,2,4,6
/proc/25572/task/25579/stat : 25579 (java) S 25569 25572 23830 0 -1 1077944384 22659 0 0 0 722 7 0 0 20 0 15 0 93177384 10914865152 1300307 33554432000 4194304 4196468 140726858391600 140429754104688 140430718524034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25580] ppid=25569 vsize=10659048 memory=5192068 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25580/stat : 25580 (java) S 25569 25572 23830 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 93177384 10914865152 1300307 33554432000 4194304 4196468 140726858391600 140429753050656 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25581] ppid=25569 vsize=10659048 memory=5192068 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25581/stat : 25581 (java) S 25569 25572 23830 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 93177384 10914865152 1300307 33554432000 4194304 4196468 140726858391600 140429751997808 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25582] ppid=25569 vsize=10659048 memory=3872 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25582/stat : 25582 (java) S 25569 25572 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93177387 10914865152 1300307 33554432000 4194304 4196468 140726858391600 140429750946128 140430718531483 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25583] ppid=25569 vsize=10659048 memory=27016 CPUtime=0.49 cores=0,2,4,6
/proc/25572/task/25583/stat : 25583 (java) S 25569 25572 23830 0 -1 1077944384 3926 0 0 0 49 0 0 0 20 0 15 0 93177387 10914865152 1300307 33554432000 4194304 4196468 140726858391600 140429749893488 140430718524034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25584] ppid=25569 vsize=10659048 memory=5201228 CPUtime=0.52 cores=0,2,4,6
/proc/25572/task/25584/stat : 25584 (java) S 25569 25572 23830 0 -1 1077944384 3849 0 0 0 52 0 0 0 20 0 15 0 93177387 10914865152 1300307 33554432000 4194304 4196468 140726858391600 140429748840688 140430718524034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25585] ppid=25569 vsize=10659048 memory=1160 CPUtime=0.22 cores=0,2,4,6
/proc/25572/task/25585/stat : 25585 (java) S 25569 25572 23830 0 -1 1077944384 1499 0 0 0 22 0 0 0 20 0 15 0 93177387 10914865152 1300307 33554432000 4194304 4196468 140726858391600 140429747787888 140430718524034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25586] ppid=25569 vsize=10659048 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25586/stat : 25586 (java) S 25569 25572 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93177387 10914865152 1300307 33554432000 4194304 4196468 140726858391600 140429746735328 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25587] ppid=25569 vsize=10659048 memory=1160 CPUtime=0.78 cores=0,2,4,6
/proc/25572/task/25587/stat : 25587 (java) S 25569 25572 23830 0 -1 1077944384 876 0 0 0 41 37 0 0 20 0 15 0 93177387 10914865152 1300307 33554432000 4194304 4196468 140726858391600 140429745683632 140430718524034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
Current children cumulated CPU time: 2407.06 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 5201228 KiB

[startup+2322.3 s]
/proc/loadavg: 1.96 1.87 1.79 3/215 25760
/proc/meminfo: memFree=21744032/32770624 swapFree=67108496/67108860
[pid=25572] ppid=25569 vsize=10659048 memory=5236308 CPUtime=2469.71 cores=0,2,4,6
/proc/25572/stat : 25572 (java) S 25569 25572 23830 0 -1 1077944320 369782 0 0 0 246681 290 0 0 20 0 15 0 93177381 10914865152 1309077 33554432000 4194304 4196468 140726858391600 140726858374144 140430718512887 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
/proc/25572/statm: 2664762 1309077 3147 1 0 2627263 0
[pid=25572/tid=25574] ppid=25569 vsize=10659048 memory=5236308 CPUtime=2265.32 cores=0,2,4,6
/proc/25572/task/25574/stat : 25574 (java) R 25569 25572 23830 0 -1 4202560 89534 0 0 0 226491 41 0 0 20 0 15 0 93177382 10914865152 1309077 33554432000 4194304 4196468 140726858391600 140430722752224 140430350516685 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25575] ppid=25569 vsize=10659048 memory=5236308 CPUtime=48.66 cores=0,2,4,6
/proc/25572/task/25575/stat : 25575 (java) S 25569 25572 23830 0 -1 1077944384 82190 0 0 0 4818 48 0 0 20 0 15 0 93177382 10914865152 1309077 33554432000 4194304 4196468 140726858391600 140430671133328 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25576] ppid=25569 vsize=10659048 memory=5236308 CPUtime=48.82 cores=0,2,4,6
/proc/25572/task/25576/stat : 25576 (java) S 25569 25572 23830 0 -1 1077944384 48112 0 0 0 4826 56 0 0 20 0 15 0 93177382 10914865152 1309077 33554432000 4194304 4196468 140726858391600 140430670080528 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25577] ppid=25569 vsize=10659048 memory=5236308 CPUtime=48.88 cores=0,2,4,6
/proc/25572/task/25577/stat : 25577 (java) S 25569 25572 23830 0 -1 1077944384 60197 0 0 0 4838 50 0 0 20 0 15 0 93177382 10914865152 1309077 33554432000 4194304 4196468 140726858391600 140430669027728 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25578] ppid=25569 vsize=10659048 memory=5236308 CPUtime=48.62 cores=0,2,4,6
/proc/25572/task/25578/stat : 25578 (java) S 25569 25572 23830 0 -1 1077944384 55356 0 0 0 4805 57 0 0 20 0 15 0 93177382 10914865152 1309077 33554432000 4194304 4196468 140726858391600 140430667974928 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25579] ppid=25569 vsize=10659048 memory=5236308 CPUtime=7.29 cores=0,2,4,6
/proc/25572/task/25579/stat : 25579 (java) S 25569 25572 23830 0 -1 1077944384 22825 0 0 0 722 7 0 0 20 0 15 0 93177384 10914865152 1309077 33554432000 4194304 4196468 140726858391600 140429754104688 140430718524034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25580] ppid=25569 vsize=10659048 memory=5228116 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25580/stat : 25580 (java) S 25569 25572 23830 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 93177384 10914865152 1309077 33554432000 4194304 4196468 140726858391600 140429753050656 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25581] ppid=25569 vsize=10659048 memory=5236308 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25581/stat : 25581 (java) S 25569 25572 23830 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 93177384 10914865152 1309077 33554432000 4194304 4196468 140726858391600 140429751997808 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25582] ppid=25569 vsize=10659048 memory=3872 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25582/stat : 25582 (java) S 25569 25572 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93177387 10914865152 1309077 33554432000 4194304 4196468 140726858391600 140429750946128 140430718531483 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25583] ppid=25569 vsize=10659048 memory=1404 CPUtime=0.49 cores=0,2,4,6
/proc/25572/task/25583/stat : 25583 (java) S 25569 25572 23830 0 -1 1077944384 3926 0 0 0 49 0 0 0 20 0 15 0 93177387 10914865152 1309077 33554432000 4194304 4196468 140726858391600 140429749893488 140430718524034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25584] ppid=25569 vsize=10659048 memory=3260 CPUtime=0.52 cores=0,2,4,6
/proc/25572/task/25584/stat : 25584 (java) S 25569 25572 23830 0 -1 1077944384 3849 0 0 0 52 0 0 0 20 0 15 0 93177387 10914865152 1309077 33554432000 4194304 4196468 140726858391600 140429748840688 140430718524034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25585] ppid=25569 vsize=10659048 memory=5236308 CPUtime=0.22 cores=0,2,4,6
/proc/25572/task/25585/stat : 25585 (java) S 25569 25572 23830 0 -1 1077944384 1499 0 0 0 22 0 0 0 20 0 15 0 93177387 10914865152 1309077 33554432000 4194304 4196468 140726858391600 140429747787888 140430718524034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25586] ppid=25569 vsize=10659048 memory=5236308 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25586/stat : 25586 (java) S 25569 25572 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93177387 10914865152 1309077 33554432000 4194304 4196468 140726858391600 140429746735328 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25587] ppid=25569 vsize=10659048 memory=5236308 CPUtime=0.8 cores=0,2,4,6
/proc/25572/task/25587/stat : 25587 (java) S 25569 25572 23830 0 -1 1077944384 882 0 0 0 42 38 0 0 20 0 15 0 93177387 10914865152 1309077 33554432000 4194304 4196468 140726858391600 140429745683632 140430718524034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
Current children cumulated CPU time: 2469.71 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 5236308 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2370.3 s]
/proc/loadavg: 2.13 1.95 1.82 3/215 25760
/proc/meminfo: memFree=21744224/32770624 swapFree=67108496/67108860
[pid=25572] ppid=25569 vsize=10659048 memory=5236144 CPUtime=2520.02 cores=0,2,4,6
/proc/25572/stat : 25572 (java) S 25569 25572 23830 0 -1 1077944320 376941 0 0 0 251711 291 0 0 20 0 15 0 93177381 10914865152 1309036 33554432000 4194304 4196468 140726858391600 140726858374144 140430718512887 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
/proc/25572/statm: 2664762 1309036 3147 1 0 2627263 0
[pid=25572/tid=25574] ppid=25569 vsize=10659048 memory=5236144 CPUtime=2312.54 cores=0,2,4,6
/proc/25572/task/25574/stat : 25574 (java) R 25569 25572 23830 0 -1 4202560 91382 0 0 0 231213 41 0 0 20 0 15 0 93177382 10914865152 1309036 33554432000 4194304 4196468 140726858391600 140430722752304 140430350516716 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25575] ppid=25569 vsize=10659048 memory=5236144 CPUtime=49.43 cores=0,2,4,6
/proc/25572/task/25575/stat : 25575 (java) S 25569 25572 23830 0 -1 1077944384 83462 0 0 0 4895 48 0 0 20 0 15 0 93177382 10914865152 1309036 33554432000 4194304 4196468 140726858391600 140430671133328 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25576] ppid=25569 vsize=10659048 memory=5236144 CPUtime=49.58 cores=0,2,4,6
/proc/25572/task/25576/stat : 25576 (java) S 25569 25572 23830 0 -1 1077944384 49742 0 0 0 4902 56 0 0 20 0 15 0 93177382 10914865152 1309036 33554432000 4194304 4196468 140726858391600 140430670080528 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25577] ppid=25569 vsize=10659048 memory=5500 CPUtime=49.66 cores=0,2,4,6
/proc/25572/task/25577/stat : 25577 (java) S 25569 25572 23830 0 -1 1077944384 61412 0 0 0 4916 50 0 0 20 0 15 0 93177382 10914865152 1309036 33554432000 4194304 4196468 140726858391600 140430669027728 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25578] ppid=25569 vsize=10659048 memory=5236144 CPUtime=49.4 cores=0,2,4,6
/proc/25572/task/25578/stat : 25578 (java) S 25569 25572 23830 0 -1 1077944384 56343 0 0 0 4883 57 0 0 20 0 15 0 93177382 10914865152 1309036 33554432000 4194304 4196468 140726858391600 140430667974928 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25579] ppid=25569 vsize=10659048 memory=5236144 CPUtime=7.29 cores=0,2,4,6
/proc/25572/task/25579/stat : 25579 (java) S 25569 25572 23830 0 -1 1077944384 22994 0 0 0 722 7 0 0 20 0 15 0 93177384 10914865152 1309036 33554432000 4194304 4196468 140726858391600 140429754104688 140430718524034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25580] ppid=25569 vsize=10659048 memory=5236144 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25580/stat : 25580 (java) S 25569 25572 23830 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 93177384 10914865152 1309036 33554432000 4194304 4196468 140726858391600 140429753050656 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25581] ppid=25569 vsize=10659048 memory=5236144 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25581/stat : 25581 (java) S 25569 25572 23830 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 93177384 10914865152 1309036 33554432000 4194304 4196468 140726858391600 140429751997808 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25582] ppid=25569 vsize=10659048 memory=5236144 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25582/stat : 25582 (java) S 25569 25572 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93177387 10914865152 1309036 33554432000 4194304 4196468 140726858391600 140429750946128 140430718531483 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25583] ppid=25569 vsize=10659048 memory=5236144 CPUtime=0.49 cores=0,2,4,6
/proc/25572/task/25583/stat : 25583 (java) S 25569 25572 23830 0 -1 1077944384 3928 0 0 0 49 0 0 0 20 0 15 0 93177387 10914865152 1309036 33554432000 4194304 4196468 140726858391600 140429749893488 140430718524034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25584] ppid=25569 vsize=10659048 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/25572/task/25584/stat : 25584 (java) S 25569 25572 23830 0 -1 1077944384 3851 0 0 0 52 0 0 0 20 0 15 0 93177387 10914865152 1309036 33554432000 4194304 4196468 140726858391600 140429748840688 140430718524034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25585] ppid=25569 vsize=10659048 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/25572/task/25585/stat : 25585 (java) S 25569 25572 23830 0 -1 1077944384 1501 0 0 0 22 0 0 0 20 0 15 0 93177387 10914865152 1309036 33554432000 4194304 4196468 140726858391600 140429747787888 140430718524034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25586] ppid=25569 vsize=10659048 memory=5236144 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25586/stat : 25586 (java) S 25569 25572 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93177387 10914865152 1309036 33554432000 4194304 4196468 140726858391600 140429746735328 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25587] ppid=25569 vsize=10659048 memory=5236144 CPUtime=0.8 cores=0,2,4,6
/proc/25572/task/25587/stat : 25587 (java) S 25569 25572 23830 0 -1 1077944384 914 0 0 0 42 38 0 0 20 0 15 0 93177387 10914865152 1309036 33554432000 4194304 4196468 140726858391600 140429745683632 140430718524034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 5236144 KiB

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

[startup+2370.33 s]
# the end of solver process 25572 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.13 s, system=2.93721 s

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

[startup+2370.3 s]
/proc/loadavg: 2.13 1.95 1.82 3/215 25760
/proc/meminfo: memFree=21744224/32770624 swapFree=67108496/67108860
[pid=25572] ppid=25569 vsize=10659048 memory=5236144 CPUtime=2520.02 cores=0,2,4,6
/proc/25572/stat : 25572 (java) S 25569 25572 23830 0 -1 1077944320 376941 0 0 0 251711 291 0 0 20 0 15 0 93177381 10914865152 1309036 33554432000 4194304 4196468 140726858391600 140726858374144 140430718512887 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
/proc/25572/statm: 2664762 1309036 3147 1 0 2627263 0
[pid=25572/tid=25574] ppid=25569 vsize=10659048 memory=5236144 CPUtime=2312.54 cores=0,2,4,6
/proc/25572/task/25574/stat : 25574 (java) R 25569 25572 23830 0 -1 4202560 91382 0 0 0 231213 41 0 0 20 0 15 0 93177382 10914865152 1309036 33554432000 4194304 4196468 140726858391600 140430722752304 140430350516716 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25575] ppid=25569 vsize=10659048 memory=5236144 CPUtime=49.43 cores=0,2,4,6
/proc/25572/task/25575/stat : 25575 (java) S 25569 25572 23830 0 -1 1077944384 83462 0 0 0 4895 48 0 0 20 0 15 0 93177382 10914865152 1309036 33554432000 4194304 4196468 140726858391600 140430671133328 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25576] ppid=25569 vsize=10659048 memory=5236144 CPUtime=49.58 cores=0,2,4,6
/proc/25572/task/25576/stat : 25576 (java) S 25569 25572 23830 0 -1 1077944384 49742 0 0 0 4902 56 0 0 20 0 15 0 93177382 10914865152 1309036 33554432000 4194304 4196468 140726858391600 140430670080528 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25577] ppid=25569 vsize=10659048 memory=5500 CPUtime=49.66 cores=0,2,4,6
/proc/25572/task/25577/stat : 25577 (java) S 25569 25572 23830 0 -1 1077944384 61412 0 0 0 4916 50 0 0 20 0 15 0 93177382 10914865152 1309036 33554432000 4194304 4196468 140726858391600 140430669027728 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25578] ppid=25569 vsize=10659048 memory=5236144 CPUtime=49.4 cores=0,2,4,6
/proc/25572/task/25578/stat : 25578 (java) S 25569 25572 23830 0 -1 1077944384 56343 0 0 0 4883 57 0 0 20 0 15 0 93177382 10914865152 1309036 33554432000 4194304 4196468 140726858391600 140430667974928 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25579] ppid=25569 vsize=10659048 memory=5236144 CPUtime=7.29 cores=0,2,4,6
/proc/25572/task/25579/stat : 25579 (java) S 25569 25572 23830 0 -1 1077944384 22994 0 0 0 722 7 0 0 20 0 15 0 93177384 10914865152 1309036 33554432000 4194304 4196468 140726858391600 140429754104688 140430718524034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25580] ppid=25569 vsize=10659048 memory=5236144 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25580/stat : 25580 (java) S 25569 25572 23830 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 93177384 10914865152 1309036 33554432000 4194304 4196468 140726858391600 140429753050656 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25581] ppid=25569 vsize=10659048 memory=5236144 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25581/stat : 25581 (java) S 25569 25572 23830 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 93177384 10914865152 1309036 33554432000 4194304 4196468 140726858391600 140429751997808 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25582] ppid=25569 vsize=10659048 memory=5236144 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25582/stat : 25582 (java) S 25569 25572 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93177387 10914865152 1309036 33554432000 4194304 4196468 140726858391600 140429750946128 140430718531483 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25583] ppid=25569 vsize=10659048 memory=5236144 CPUtime=0.49 cores=0,2,4,6
/proc/25572/task/25583/stat : 25583 (java) S 25569 25572 23830 0 -1 1077944384 3928 0 0 0 49 0 0 0 20 0 15 0 93177387 10914865152 1309036 33554432000 4194304 4196468 140726858391600 140429749893488 140430718524034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25584] ppid=25569 vsize=10659048 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/25572/task/25584/stat : 25584 (java) S 25569 25572 23830 0 -1 1077944384 3851 0 0 0 52 0 0 0 20 0 15 0 93177387 10914865152 1309036 33554432000 4194304 4196468 140726858391600 140429748840688 140430718524034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25585] ppid=25569 vsize=10659048 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/25572/task/25585/stat : 25585 (java) S 25569 25572 23830 0 -1 1077944384 1501 0 0 0 22 0 0 0 20 0 15 0 93177387 10914865152 1309036 33554432000 4194304 4196468 140726858391600 140429747787888 140430718524034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25586] ppid=25569 vsize=10659048 memory=5236144 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25586/stat : 25586 (java) S 25569 25572 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93177387 10914865152 1309036 33554432000 4194304 4196468 140726858391600 140429746735328 140430718523093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
[pid=25572/tid=25587] ppid=25569 vsize=10659048 memory=5236144 CPUtime=0.8 cores=0,2,4,6
/proc/25572/task/25587/stat : 25587 (java) S 25569 25572 23830 0 -1 1077944384 914 0 0 0 42 38 0 0 20 0 15 0 93177387 10914865152 1309036 33554432000 4194304 4196468 140726858391600 140429745683632 140430718524034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27856896 140726858396845 140726858396937 140726858396937 140726858399695 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 5236144 KiB

Child status: 143
Real time (s): 2370.33
CPU time (s): 2520.07
CPU user time (s): 2517.13
CPU system time (s): 2.93721
CPU usage (%): 106.317
Max. virtual memory (cumulated for all children) (KiB): 10659048
Max. memory (cumulated for all children) (KiB): 5236656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.13
system time used= 2.93721
maximum resident set size= 5236656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 377179
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60591
involuntary context switches= 4653


# summary of solver processes directly reported to runsolver:
#   pid: 25572
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2517.13
#   total CPU system time (s): 2.93721

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4546 second user time and 20.8701 second system time

The end

Launcher Data 

Begin job on node149 at 2018-07-28 07:35:42
IDJOB=4298345
IDBENCH=141114
IDSOLVER=2763
FILE ID=node149/4298345-1532756142
RUNJOBID= node149-1532741282-23861
PBS_JOBID= 21022453
Free space on /tmp= 43240 MiB

SOLVER NAME= MiniCPFever 2018-04-29
BENCH NAME= XCSP18/PseudoBoolean-opt/Pb-garden-7x7_c18.xml
COMMAND LINE= java -jar minicp-1.0.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298345-1532756142/watcher-4298345-1532756142 -o /tmp/evaluation-result-4298345-1532756142/solver-4298345-1532756142 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532741282-23861 --watchdog 2580  java -jar minicp-1.0.jar HOME/instance-4298345-1532756142.xml

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

MD5SUM BENCH= b012ef5fa7bba6c8b791df977729af7d
RANDOM SEED=1879516228

node149.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.60
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.60
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.60
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.60
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:        24693896 kB
MemAvailable:   29111436 kB
Buffers:          121812 kB
Cached:          4515152 kB
SwapCached:           60 kB
Active:          4364400 kB
Inactive:        3138216 kB
Active(anon):    2815472 kB
Inactive(anon):    78008 kB
Active(file):    1548928 kB
Inactive(file):  3060208 kB
Unevictable:        7752 kB
Mlocked:            7752 kB
SwapTotal:      67108860 kB
SwapFree:       67108496 kB
Dirty:              1204 kB
Writeback:             0 kB
AnonPages:       2873220 kB
Mapped:            46688 kB
Shmem:             25040 kB
Slab:             265116 kB
SReclaimable:     236864 kB
SUnreclaim:        28252 kB
KernelStack:        3488 kB
PageTables:        10840 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3746348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2805760 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= 43256 MiB
End job on node149 at 2018-07-28 08:15:12