Trace number 3744590

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
PB07: SAT4JPseudoResolution 2007-03-23? (TO) 1800.04 1766.83

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/IC/
normalized-minisat50_6_9_6_ic.opb
MD5SUMb4594275dd418145ecf4ec914c196844
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark23421403
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables125200
Total number of constraints250157
Number of constraints which are clauses120150
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints130000
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 7400
Biggest coefficient in the objective function 169112377
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 53555449284
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 169112377
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 53555449284
Number of bits of the biggest sum of numbers36
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.01/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.01/0.06	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.01/0.06	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.01/0.06	c no version file found!!!
0.01/0.06	c sun.arch.data.model	64
0.01/0.06	c java.version	1.6.0_24
0.01/0.06	c os.name	Linux
0.01/0.06	c os.version	2.6.32-71.29.1.el6.x86_64
0.01/0.06	c os.arch	amd64
0.01/0.06	c Free memory 1599470296
0.01/0.06	c Max memory 1607860224
0.01/0.06	c Total memory 1607860224
0.01/0.06	c Number of processors 8
0.01/0.09	--- Begin Solver configuration ---
0.01/0.09	c Stops conflict analysis at the first Unique Implication Point
0.01/0.09	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1cb1c5fa
0.01/0.09	c Learn all clauses as in MiniSAT
0.01/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.01/0.09	c VSIDS like heuristics from MiniSAT using a heap
0.01/0.09	c No reason simplification
0.01/0.09	c --- End Solver configuration ---
0.01/0.09	c solving HOME/instance-3744590-1338804136.opb
0.01/0.09	c reading problem ... 
4.55/2.59	c ... done. Wall clock time 2.506s.
4.55/2.59	c CPU time (experimental) 2.35s.
4.55/2.59	c #vars     125200
4.55/2.59	c #constraints  257508
735.86/719.70	c cleaning 132739 clauses out of 265500 for limit 8.685833024754086E9
745.10/728.82	c cleaning 67622 clauses out of 135262 for limit 2.0816808348269482E11
765.65/749.01	c cleaning 36808 clauses out of 73639 for limit 1.5456750568331444E-6
787.02/770.07	c cleaning 22156 clauses out of 44331 for limit 0.004659688208791486
791.47/774.49	c cleaning 11831 clauses out of 23676 for limit 0.03917041993233869
807.13/789.83	c cleaning 8415 clauses out of 16844 for limit 8.18362432101
817.97/800.60	c cleaning 5955 clauses out of 11930 for limit 383.6862132655291
824.51/806.95	c cleaning 3979 clauses out of 7976 for limit 4249.027603370641
830.54/812.90	c cleaning 2993 clauses out of 5995 for limit 41729.19769119094
832.34/814.56	c cleaning 1997 clauses out of 4002 for limit 170005.86800526676
834.08/816.22	c cleaning 1500 clauses out of 3007 for limit 616578.4841717142
838.78/820.83	c cleaning 2247 clauses out of 4506 for limit 8268589.216454326
840.20/822.27	c cleaning 1622 clauses out of 3258 for limit 3.107053893387295E7
843.16/825.11	c cleaning 1816 clauses out of 3638 for limit 2.0621950649113178E8
844.80/826.75	c cleaning 1401 clauses out of 2820 for limit 7.220812701053548E8
846.74/828.60	c cleaning 1209 clauses out of 2419 for limit 2.2893442044586434E9
1636.58/1606.46	c cleaning 153591 clauses out of 307210 for limit 1.6463207936441848
1649.86/1619.55	c cleaning 78803 clauses out of 157622 for limit 176.06928858312472
1656.80/1626.37	c cleaning 40648 clauses out of 81317 for limit 4154.602773991112
1671.65/1640.95	c cleaning 22821 clauses out of 45669 for limit 1100647.4271337632
1676.14/1645.33	c cleaning 12160 clauses out of 24348 for limit 9259213.38360932
1699.78/1668.54	c cleaning 10583 clauses out of 21188 for limit 8.660707827412825E10
1725.03/1693.31	c cleaning 9048 clauses out of 18104 for limit 1.8376914909182539E-6
1749.70/1717.57	c cleaning 9272 clauses out of 18558 for limit 0.024112756011428614
1753.80/1721.57	c cleaning 5380 clauses out of 10785 for limit 0.18590497920367766
1758.00/1725.69	c cleaning 3692 clauses out of 7405 for limit 2.002671219121416
1774.40/1741.76	c cleaning 5350 clauses out of 10712 for limit 1521.9909207622873
1800.04/1766.81	c starts		: 21
1800.04/1766.81	c conflicts		: 669581
1800.04/1766.81	c decisions		: 744196
1800.04/1766.81	c propagations		: 934909342
1800.04/1766.81	c inspects		: 5745794567
1800.04/1766.81	c learnt literals	: 0
1800.04/1766.81	c learnt binary clauses	: 0
1800.04/1766.81	c learnt ternary clauses	: 0
1800.04/1766.81	c learnt clauses	: 669581
1800.04/1766.81	c root simplifications	: 0
1800.04/1766.81	c removed literals (reason simplification)	: 0
1800.04/1766.81	c reason swapping (by a shorter reason)	: 0
1800.04/1766.81	c Calls to reduceDB	: 27
1800.04/1766.81	c speed (decisions/second)	: 421.85112123891804
1800.04/1766.81	c non guided choices	1
1800.04/1766.81	s UNKNOWN
1800.04/1766.81	c Total wall clock time (ms): 1766.724

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3744590-1338804136/watcher-3744590-1338804136 -o /tmp/evaluation-result-3744590-1338804136/solver-3744590-1338804136 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744590-1338804136.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.95 2.03 2.00 3/194 9886
/proc/meminfo: memFree=26564860/32873648 swapFree=7388/7388
[pid=9886] ppid=9884 vsize=94176 CPUtime=0 cores=1,3,5,7
/proc/9886/stat : 9886 (java) S 9884 9886 6470 0 -1 4202496 1230 0 0 0 0 0 0 0 20 0 2 0 346538084 96436224 939 33554432000 1073741824 1073778376 140733248383232 140733248374368 212076625981 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9886/statm: 24081 943 715 9 0 16771 0
[pid=9886/tid=9887] ppid=9884 vsize=96324 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9887/stat : 9887 (java) R 9884 9886 6470 0 -1 4202560 104 0 0 0 0 0 0 0 20 0 2 0 346538085 98635776 959 33554432000 1073741824 1073778376 140733248383232 140709996846632 212064057907 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.0231211 s]
/proc/loadavg: 1.95 2.03 2.00 3/194 9886
/proc/meminfo: memFree=26564860/32873648 swapFree=7388/7388
[pid=9886] ppid=9884 vsize=2414972 CPUtime=0.01 cores=1,3,5,7
/proc/9886/stat : 9886 (java) S 9884 9886 6470 0 -1 4202496 3726 0 1 0 1 0 0 0 20 0 10 0 346538084 2472931328 4936 33554432000 1073741824 1073778376 140733248383232 140733248374368 212076625981 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9886/statm: 603743 4941 1566 9 0 594444 0
[pid=9886/tid=9887] ppid=9884 vsize=2420112 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9887/stat : 9887 (java) R 9884 9886 6470 0 -1 4202560 2580 0 1 0 0 0 0 0 20 0 10 0 346538085 2478194688 4948 33554432000 1073741824 1073778376 140733248383232 140709996847808 212072895879 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2414972

[startup+0.100291 s]
/proc/loadavg: 1.95 2.03 2.00 3/194 9886
/proc/meminfo: memFree=26564860/32873648 swapFree=7388/7388
[pid=9886] ppid=9884 vsize=2957856 CPUtime=0.1 cores=1,3,5,7
/proc/9886/stat : 9886 (java) S 9884 9886 6470 0 -1 4202496 4923 0 1 0 9 1 0 0 20 0 18 0 346538084 3028844544 8163 33554432000 1073741824 1073778376 140733248383232 140733248374368 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9886/statm: 739464 8163 2130 9 0 729885 0
[pid=9886/tid=9887] ppid=9884 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/9886/task/9887/stat : 9887 (java) R 9884 9886 6470 0 -1 4202560 3012 0 1 0 7 0 0 0 20 0 18 0 346538085 3028844544 8163 33554432000 1073741824 1073778376 140733248383232 140709996826480 140710001609688 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856

[startup+0.300206 s]
/proc/loadavg: 1.95 2.03 2.00 3/194 9886
/proc/meminfo: memFree=26564860/32873648 swapFree=7388/7388
[pid=9886] ppid=9884 vsize=2957856 CPUtime=0.53 cores=1,3,5,7
/proc/9886/stat : 9886 (java) S 9884 9886 6470 0 -1 4202496 7068 0 1 0 52 1 0 0 20 0 18 0 346538084 3028844544 13053 33554432000 1073741824 1073778376 140733248383232 140733248374368 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9886/statm: 739464 13053 2248 9 0 729885 0
[pid=9886/tid=9887] ppid=9884 vsize=2957856 CPUtime=0.27 cores=1,3,5,7
/proc/9886/task/9887/stat : 9887 (java) R 9884 9886 6470 0 -1 4202560 3031 0 1 0 27 0 0 0 20 0 18 0 346538085 3028844544 13053 33554432000 1073741824 1073778376 140733248383232 140709996851240 140709856359791 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 2957856

[startup+0.700222 s]
/proc/loadavg: 1.95 2.03 2.00 3/194 9886
/proc/meminfo: memFree=26564860/32873648 swapFree=7388/7388
[pid=9886] ppid=9884 vsize=2957856 CPUtime=1.73 cores=1,3,5,7
/proc/9886/stat : 9886 (java) S 9884 9886 6470 0 -1 4202496 21104 0 1 0 170 3 0 0 20 0 18 0 346538084 3028844544 36001 33554432000 1073741824 1073778376 140733248383232 140733248374368 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9886/statm: 739464 36002 2267 9 0 729885 0
[pid=9886/tid=9887] ppid=9884 vsize=2957856 CPUtime=0.67 cores=1,3,5,7
/proc/9886/task/9887/stat : 9887 (java) R 9884 9886 6470 0 -1 4202560 3067 0 1 0 66 1 0 0 20 0 18 0 346538085 3028844544 36003 33554432000 1073741824 1073778376 140733248383232 140709996851240 140709857108809 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 2957856

[startup+1.50064 s]
/proc/loadavg: 1.95 2.03 2.00 3/212 9904
/proc/meminfo: memFree=26265896/32873648 swapFree=7388/7388
[pid=9886] ppid=9884 vsize=2957856 CPUtime=3.15 cores=1,3,5,7
/proc/9886/stat : 9886 (java) S 9884 9886 6470 0 -1 4202496 22552 0 1 0 298 17 0 0 20 0 18 0 346538084 3028844544 135642 33554432000 1073741824 1073778376 140733248383232 140733248374368 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9886/statm: 739464 135642 2278 9 0 729885 0
[pid=9886/tid=9887] ppid=9884 vsize=2957856 CPUtime=1.39 cores=1,3,5,7
/proc/9886/task/9887/stat : 9887 (java) S 9884 9886 6470 0 -1 4202560 3232 0 1 0 133 6 0 0 20 0 18 0 346538085 3028844544 135642 33554432000 1073741824 1073778376 140733248383232 140709996850824 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9886/tid=9889] ppid=9884 vsize=2957856 CPUtime=0.01 cores=1,3,5,7
/proc/9886/task/9889/stat : 9889 (java) R 9884 9886 6470 0 -1 4202560 18 0 0 0 0 1 0 0 20 0 18 0 346538085 3028844544 135642 33554432000 1073741824 1073778376 140733248383232 140709980277208 140710003747972 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9890] ppid=9884 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/9886/task/9890/stat : 9890 (java) R 9884 9886 6470 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 18 0 346538085 3028844544 135642 33554432000 1073741824 1073778376 140733248383232 140709979224408 140710003750131 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9891] ppid=9884 vsize=2957856 CPUtime=0.03 cores=1,3,5,7
/proc/9886/task/9891/stat : 9891 (java) R 9884 9886 6470 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 18 0 346538085 3028844544 135642 33554432000 1073741824 1073778376 140733248383232 140709978172120 140710003747737 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9892] ppid=9884 vsize=2957856 CPUtime=0.06 cores=1,3,5,7
/proc/9886/task/9892/stat : 9892 (java) R 9884 9886 6470 0 -1 4202560 38 0 0 0 4 2 0 0 20 0 18 0 346538085 3028844544 135642 33554432000 1073741824 1073778376 140733248383232 140709977119144 140709999322809 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9886/tid=9893] ppid=9884 vsize=2957856 CPUtime=0.03 cores=1,3,5,7
/proc/9886/task/9893/stat : 9893 (java) R 9884 9886 6470 0 -1 4202560 19 0 0 0 2 1 0 0 20 0 18 0 346538085 3028844544 135642 33554432000 1073741824 1073778376 140733248383232 140709976067032 140709999322817 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9894] ppid=9884 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/9886/task/9894/stat : 9894 (java) R 9884 9886 6470 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 18 0 346538085 3028844544 136154 33554432000 1073741824 1073778376 140733248383232 140709975014232 140709999322801 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9895] ppid=9884 vsize=2957856 CPUtime=0.01 cores=1,3,5,7
/proc/9886/task/9895/stat : 9895 (java) R 9884 9886 6470 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 346538085 3028844544 136154 33554432000 1073741824 1073778376 140733248383232 140709856275672 140709999322809 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9896] ppid=9884 vsize=2957856 CPUtime=0.01 cores=1,3,5,7
/proc/9886/task/9896/stat : 9896 (java) R 9884 9886 6470 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 18 0 346538085 3028844544 136154 33554432000 1073741824 1073778376 140733248383232 140709855222576 140709999322825 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9897] ppid=9884 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9897/stat : 9897 (java) S 9884 9886 6470 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 346538086 3028844544 136154 33554432000 1073741824 1073778376 140733248383232 140709843022984 212076639292 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9898] ppid=9884 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9898/stat : 9898 (java) S 9884 9886 6470 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 346538087 3028844544 136154 33554432000 1073741824 1073778376 140733248383232 140709841970168 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9899] ppid=9884 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9899/stat : 9899 (java) S 9884 9886 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 346538087 3028844544 136154 33554432000 1073741824 1073778376 140733248383232 140709840917768 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9900] ppid=9884 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9900/stat : 9900 (java) S 9884 9886 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346538089 3028844544 136154 33554432000 1073741824 1073778376 140733248383232 140709101300112 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9901] ppid=9884 vsize=2957856 CPUtime=0.7 cores=1,3,5,7
/proc/9886/task/9901/stat : 9901 (java) S 9884 9886 6470 0 -1 4202560 9275 0 0 0 69 1 0 0 20 0 18 0 346538089 3028844544 136154 33554432000 1073741824 1073778376 140733248383232 140709100247736 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9902] ppid=9884 vsize=2957856 CPUtime=0.71 cores=1,3,5,7
/proc/9886/task/9902/stat : 9902 (java) S 9884 9886 6470 0 -1 4202560 8719 0 0 0 71 0 0 0 20 0 18 0 346538089 3028844544 136154 33554432000 1073741824 1073778376 140733248383232 140709099194936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9903] ppid=9884 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9903/stat : 9903 (java) S 9884 9886 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346538089 3028844544 136154 33554432000 1073741824 1073778376 140733248383232 140709098142840 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9904] ppid=9884 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9904/stat : 9904 (java) S 9884 9886 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346538089 3028844544 136154 33554432000 1073741824 1073778376 140733248383232 140709097090248 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.15
Current children cumulated vsize (KiB) 2957856

[startup+3.10081 s]
/proc/loadavg: 1.95 2.03 2.00 3/212 9904
/proc/meminfo: memFree=26013372/32873648 swapFree=7388/7388
[pid=9886] ppid=9884 vsize=3024420 CPUtime=5.44 cores=1,3,5,7
/proc/9886/stat : 9886 (java) S 9884 9886 6470 0 -1 4202496 22845 0 1 0 514 30 0 0 20 0 19 0 346538084 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140733248374368 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9886/statm: 756105 160816 2298 9 0 746526 0
[pid=9886/tid=9887] ppid=9884 vsize=3024420 CPUtime=2.86 cores=1,3,5,7
/proc/9886/task/9887/stat : 9887 (java) R 9884 9886 6470 0 -1 4202560 3240 0 1 0 279 7 0 0 20 0 19 0 346538085 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140709996843328 140709857388084 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9886/tid=9889] ppid=9884 vsize=3024420 CPUtime=0.06 cores=1,3,5,7
/proc/9886/task/9889/stat : 9889 (java) S 9884 9886 6470 0 -1 4202560 41 0 0 0 4 2 0 0 20 0 19 0 346538085 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140709980277032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9890] ppid=9884 vsize=3024420 CPUtime=0.07 cores=1,3,5,7
/proc/9886/task/9890/stat : 9890 (java) S 9884 9886 6470 0 -1 4202560 41 0 0 0 5 2 0 0 20 0 19 0 346538085 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140709979224232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9891] ppid=9884 vsize=3024420 CPUtime=0.07 cores=1,3,5,7
/proc/9886/task/9891/stat : 9891 (java) S 9884 9886 6470 0 -1 4202560 39 0 0 0 5 2 0 0 20 0 19 0 346538085 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140709978171944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9892] ppid=9884 vsize=3024420 CPUtime=0.17 cores=1,3,5,7
/proc/9886/task/9892/stat : 9892 (java) S 9884 9886 6470 0 -1 4202560 87 0 0 0 12 5 0 0 20 0 19 0 346538085 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140709977119144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9886/tid=9893] ppid=9884 vsize=3024420 CPUtime=0.09 cores=1,3,5,7
/proc/9886/task/9893/stat : 9893 (java) S 9884 9886 6470 0 -1 4202560 45 0 0 0 7 2 0 0 20 0 19 0 346538085 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140709976066856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9894] ppid=9884 vsize=3024420 CPUtime=0.14 cores=1,3,5,7
/proc/9886/task/9894/stat : 9894 (java) S 9884 9886 6470 0 -1 4202560 72 0 0 0 10 4 0 0 20 0 19 0 346538085 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140709975014056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9895] ppid=9884 vsize=3024420 CPUtime=0.05 cores=1,3,5,7
/proc/9886/task/9895/stat : 9895 (java) S 9884 9886 6470 0 -1 4202560 36 0 0 0 4 1 0 0 20 0 19 0 346538085 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140709856275496 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9896] ppid=9884 vsize=3024420 CPUtime=0.06 cores=1,3,5,7
/proc/9886/task/9896/stat : 9896 (java) S 9884 9886 6470 0 -1 4202560 40 0 0 0 4 2 0 0 20 0 19 0 346538085 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140709855222696 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9897] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9897/stat : 9897 (java) S 9884 9886 6470 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 346538086 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140709843024104 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9886/tid=9898] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9898/stat : 9898 (java) S 9884 9886 6470 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346538087 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140709841970168 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9899] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9899/stat : 9899 (java) S 9884 9886 6470 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346538087 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140709840917768 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9900] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9900/stat : 9900 (java) S 9884 9886 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346538089 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140709101300112 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9901] ppid=9884 vsize=3024420 CPUtime=0.85 cores=1,3,5,7
/proc/9886/task/9901/stat : 9901 (java) S 9884 9886 6470 0 -1 4202560 9276 0 0 0 83 2 0 0 20 0 19 0 346538089 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140709100247736 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9902] ppid=9884 vsize=3024420 CPUtime=0.85 cores=1,3,5,7
/proc/9886/task/9902/stat : 9902 (java) S 9884 9886 6470 0 -1 4202560 8736 0 0 0 85 0 0 0 20 0 19 0 346538089 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140709099194936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9903] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9903/stat : 9903 (java) S 9884 9886 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346538089 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140709098142840 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9904] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9904/stat : 9904 (java) S 9884 9886 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346538089 3097006080 160816 33554432000 1073741824 1073778376 140733248383232 140709097090248 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.44
Current children cumulated vsize (KiB) 3024420

[startup+6.30078 s]
/proc/loadavg: 1.95 2.03 2.00 3/213 9905
/proc/meminfo: memFree=25918688/32873648 swapFree=7388/7388
[pid=9886] ppid=9884 vsize=3024420 CPUtime=9.1 cores=1,3,5,7
/proc/9886/stat : 9886 (java) S 9884 9886 6470 0 -1 4202496 22908 0 1 0 879 31 0 0 20 0 19 0 346538084 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140733248374368 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9886/statm: 756105 163869 2298 9 0 746526 0
[pid=9886/tid=9887] ppid=9884 vsize=3024420 CPUtime=5.92 cores=1,3,5,7
/proc/9886/task/9887/stat : 9887 (java) R 9884 9886 6470 0 -1 4202560 3244 0 1 0 585 7 0 0 20 0 19 0 346538085 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140709996850304 140709856804148 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9889] ppid=9884 vsize=3024420 CPUtime=0.12 cores=1,3,5,7
/proc/9886/task/9889/stat : 9889 (java) S 9884 9886 6470 0 -1 4202560 48 0 0 0 9 3 0 0 20 0 19 0 346538085 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140709980277032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9890] ppid=9884 vsize=3024420 CPUtime=0.13 cores=1,3,5,7
/proc/9886/task/9890/stat : 9890 (java) S 9884 9886 6470 0 -1 4202560 50 0 0 0 11 2 0 0 20 0 19 0 346538085 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140709979224232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9886/tid=9891] ppid=9884 vsize=3024420 CPUtime=0.12 cores=1,3,5,7
/proc/9886/task/9891/stat : 9891 (java) S 9884 9886 6470 0 -1 4202560 48 0 0 0 10 2 0 0 20 0 19 0 346538085 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140709978171944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9892] ppid=9884 vsize=3024420 CPUtime=0.26 cores=1,3,5,7
/proc/9886/task/9892/stat : 9892 (java) S 9884 9886 6470 0 -1 4202560 98 0 0 0 21 5 0 0 20 0 19 0 346538085 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140709977119144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9893] ppid=9884 vsize=3024420 CPUtime=0.14 cores=1,3,5,7
/proc/9886/task/9893/stat : 9893 (java) S 9884 9886 6470 0 -1 4202560 54 0 0 0 12 2 0 0 20 0 19 0 346538085 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140709976066856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9894] ppid=9884 vsize=3024420 CPUtime=0.2 cores=1,3,5,7
/proc/9886/task/9894/stat : 9894 (java) S 9884 9886 6470 0 -1 4202560 79 0 0 0 16 4 0 0 20 0 19 0 346538085 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140709975014056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9895] ppid=9884 vsize=3024420 CPUtime=0.12 cores=1,3,5,7
/proc/9886/task/9895/stat : 9895 (java) S 9884 9886 6470 0 -1 4202560 40 0 0 0 10 2 0 0 20 0 19 0 346538085 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140709856275496 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9896] ppid=9884 vsize=3024420 CPUtime=0.15 cores=1,3,5,7
/proc/9886/task/9896/stat : 9896 (java) S 9884 9886 6470 0 -1 4202560 43 0 0 0 12 3 0 0 20 0 19 0 346538085 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140709855222696 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9886/tid=9897] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9897/stat : 9897 (java) S 9884 9886 6470 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 346538086 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140709843024104 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9898] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9898/stat : 9898 (java) S 9884 9886 6470 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346538087 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140709841970168 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9899] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9899/stat : 9899 (java) S 9884 9886 6470 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346538087 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140709840917768 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9900] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9900/stat : 9900 (java) S 9884 9886 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346538089 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140709101300112 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9901] ppid=9884 vsize=3024420 CPUtime=0.91 cores=1,3,5,7
/proc/9886/task/9901/stat : 9901 (java) S 9884 9886 6470 0 -1 4202560 9276 0 0 0 89 2 0 0 20 0 19 0 346538089 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140709100247736 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9902] ppid=9884 vsize=3024420 CPUtime=0.88 cores=1,3,5,7
/proc/9886/task/9902/stat : 9902 (java) S 9884 9886 6470 0 -1 4202560 8736 0 0 0 88 0 0 0 20 0 19 0 346538089 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140709099194936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9903] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9903/stat : 9903 (java) S 9884 9886 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346538089 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140709098142840 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9904] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9904/stat : 9904 (java) S 9884 9886 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346538089 3097006080 163869 33554432000 1073741824 1073778376 140733248383232 140709097090248 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0

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

[pid=9886/tid=9901] ppid=9884 vsize=3024420 CPUtime=1.01 cores=1,3,5,7
/proc/9886/task/9901/stat : 9901 (java) S 9884 9886 6470 0 -1 4202560 9283 0 0 0 99 2 0 0 20 0 19 0 346538089 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709100247736 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9902] ppid=9884 vsize=3024420 CPUtime=0.91 cores=1,3,5,7
/proc/9886/task/9902/stat : 9902 (java) S 9884 9886 6470 0 -1 4202560 8738 0 0 0 91 0 0 0 20 0 19 0 346538089 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709099194936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9903] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9903/stat : 9903 (java) S 9884 9886 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346538089 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709098142840 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9904] ppid=9884 vsize=3024420 CPUtime=0.71 cores=1,3,5,7
/proc/9886/task/9904/stat : 9904 (java) S 9884 9886 6470 0 -1 4202560 97 0 0 0 27 44 0 0 20 0 19 0 346538089 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709097090248 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9905] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9905/stat : 9905 (java) S 9884 9886 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346538354 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709094957992 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1693.46
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.07 2.01 2.00 3/214 9979
/proc/meminfo: memFree=24857440/32873648 swapFree=7388/7388
[pid=9886] ppid=9884 vsize=3024420 CPUtime=1754.64 cores=1,3,5,7
/proc/9886/stat : 9886 (java) S 9884 9886 6470 0 -1 4202496 30654 0 1 0 175302 162 0 0 20 0 19 0 346538084 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140733248374368 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9886/statm: 756105 427500 2310 9 0 746526 0
[pid=9886/tid=9887] ppid=9884 vsize=3024420 CPUtime=1704.35 cores=1,3,5,7
/proc/9886/task/9887/stat : 9887 (java) R 9884 9886 6470 0 -1 4202560 4042 0 1 0 170399 36 0 0 20 0 19 0 346538085 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709996850504 140709857362456 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9889] ppid=9884 vsize=3024420 CPUtime=5.28 cores=1,3,5,7
/proc/9886/task/9889/stat : 9889 (java) S 9884 9886 6470 0 -1 4202560 436 0 0 0 516 12 0 0 20 0 19 0 346538085 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709980277032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9890] ppid=9884 vsize=3024420 CPUtime=5.46 cores=1,3,5,7
/proc/9886/task/9890/stat : 9890 (java) S 9884 9886 6470 0 -1 4202560 453 0 0 0 532 14 0 0 20 0 19 0 346538085 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709979224232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9891] ppid=9884 vsize=3024420 CPUtime=5.42 cores=1,3,5,7
/proc/9886/task/9891/stat : 9891 (java) S 9884 9886 6470 0 -1 4202560 443 0 0 0 532 10 0 0 20 0 19 0 346538085 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709978171944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9892] ppid=9884 vsize=3024420 CPUtime=5.46 cores=1,3,5,7
/proc/9886/task/9892/stat : 9892 (java) S 9884 9886 6470 0 -1 4202560 489 0 0 0 530 16 0 0 20 0 19 0 346538085 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709977119144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9893] ppid=9884 vsize=3024420 CPUtime=5.54 cores=1,3,5,7
/proc/9886/task/9893/stat : 9893 (java) S 9884 9886 6470 0 -1 4202560 446 0 0 0 541 13 0 0 20 0 19 0 346538085 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709976066856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9894] ppid=9884 vsize=3024420 CPUtime=5.23 cores=1,3,5,7
/proc/9886/task/9894/stat : 9894 (java) S 9884 9886 6470 0 -1 4202560 458 0 0 0 509 14 0 0 20 0 19 0 346538085 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709975014056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9895] ppid=9884 vsize=3024420 CPUtime=5.23 cores=1,3,5,7
/proc/9886/task/9895/stat : 9895 (java) S 9884 9886 6470 0 -1 4202560 422 0 0 0 512 11 0 0 20 0 19 0 346538085 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709856275496 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9896] ppid=9884 vsize=3024420 CPUtime=5.4 cores=1,3,5,7
/proc/9886/task/9896/stat : 9896 (java) S 9884 9886 6470 0 -1 4202560 421 0 0 0 530 10 0 0 20 0 19 0 346538085 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709855222696 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9897] ppid=9884 vsize=3024420 CPUtime=0.53 cores=1,3,5,7
/proc/9886/task/9897/stat : 9897 (java) S 9884 9886 6470 0 -1 4202560 3743 0 0 0 46 7 0 0 20 0 19 0 346538086 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709843024104 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9898] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9898/stat : 9898 (java) S 9884 9886 6470 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346538087 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709841970168 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9899] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9899/stat : 9899 (java) S 9884 9886 6470 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346538087 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709840917768 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9900] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9900/stat : 9900 (java) S 9884 9886 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346538089 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709101300112 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9901] ppid=9884 vsize=3024420 CPUtime=1.01 cores=1,3,5,7
/proc/9886/task/9901/stat : 9901 (java) S 9884 9886 6470 0 -1 4202560 9283 0 0 0 99 2 0 0 20 0 19 0 346538089 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709100247736 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9902] ppid=9884 vsize=3024420 CPUtime=0.91 cores=1,3,5,7
/proc/9886/task/9902/stat : 9902 (java) S 9884 9886 6470 0 -1 4202560 8738 0 0 0 91 0 0 0 20 0 19 0 346538089 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709099194936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9903] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9903/stat : 9903 (java) S 9884 9886 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346538089 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709098142840 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9904] ppid=9884 vsize=3024420 CPUtime=0.74 cores=1,3,5,7
/proc/9886/task/9904/stat : 9904 (java) S 9884 9886 6470 0 -1 4202560 99 0 0 0 28 46 0 0 20 0 19 0 346538089 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709097090248 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9905] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9905/stat : 9905 (java) S 9884 9886 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346538354 3097006080 427500 33554432000 1073741824 1073778376 140733248383232 140709094957992 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1754.64
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1766.8 s]
/proc/loadavg: 2.03 2.01 2.00 3/213 9979
/proc/meminfo: memFree=24855032/32873648 swapFree=7388/7388
[pid=9886] ppid=9884 vsize=3024420 CPUtime=1800.04 cores=1,3,5,7
/proc/9886/stat : 9886 (java) S 9884 9886 6470 0 -1 4202496 34767 0 1 0 179838 166 0 0 20 0 19 0 346538084 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140733248374368 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9886/statm: 756105 428012 2310 9 0 746526 0
[pid=9886/tid=9887] ppid=9884 vsize=3024420 CPUtime=1747.95 cores=1,3,5,7
/proc/9886/task/9887/stat : 9887 (java) R 9884 9886 6470 0 -1 4202560 4064 0 1 0 174758 37 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709996850368 140709857432036 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9889] ppid=9884 vsize=3024420 CPUtime=5.44 cores=1,3,5,7
/proc/9886/task/9889/stat : 9889 (java) S 9884 9886 6470 0 -1 4202560 437 0 0 0 532 12 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709980277032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9890] ppid=9884 vsize=3024420 CPUtime=5.61 cores=1,3,5,7
/proc/9886/task/9890/stat : 9890 (java) S 9884 9886 6470 0 -1 4202560 453 0 0 0 547 14 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709979224232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9886/tid=9891] ppid=9884 vsize=3024420 CPUtime=5.56 cores=1,3,5,7
/proc/9886/task/9891/stat : 9891 (java) S 9884 9886 6470 0 -1 4202560 443 0 0 0 545 11 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709978171944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9892] ppid=9884 vsize=3024420 CPUtime=5.66 cores=1,3,5,7
/proc/9886/task/9892/stat : 9892 (java) S 9884 9886 6470 0 -1 4202560 489 0 0 0 550 16 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709977119144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9893] ppid=9884 vsize=3024420 CPUtime=5.71 cores=1,3,5,7
/proc/9886/task/9893/stat : 9893 (java) S 9884 9886 6470 0 -1 4202560 446 0 0 0 558 13 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709976066856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9886/tid=9894] ppid=9884 vsize=3024420 CPUtime=5.38 cores=1,3,5,7
/proc/9886/task/9894/stat : 9894 (java) S 9884 9886 6470 0 -1 4202560 458 0 0 0 524 14 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709975014056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9886/tid=9895] ppid=9884 vsize=3024420 CPUtime=5.36 cores=1,3,5,7
/proc/9886/task/9895/stat : 9895 (java) S 9884 9886 6470 0 -1 4202560 422 0 0 0 525 11 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709856275496 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9886/tid=9896] ppid=9884 vsize=3024420 CPUtime=5.58 cores=1,3,5,7
/proc/9886/task/9896/stat : 9896 (java) S 9884 9886 6470 0 -1 4202560 421 0 0 0 548 10 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709855222696 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9897] ppid=9884 vsize=3024420 CPUtime=0.91 cores=1,3,5,7
/proc/9886/task/9897/stat : 9897 (java) S 9884 9886 6470 0 -1 4202560 7829 0 0 0 84 7 0 0 20 0 19 0 346538086 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709843024104 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9898] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9898/stat : 9898 (java) S 9884 9886 6470 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346538087 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709841970168 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9899] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9899/stat : 9899 (java) S 9884 9886 6470 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346538087 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709840917768 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9900] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9900/stat : 9900 (java) S 9884 9886 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346538089 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709101300112 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9901] ppid=9884 vsize=3024420 CPUtime=1.01 cores=1,3,5,7
/proc/9886/task/9901/stat : 9901 (java) S 9884 9886 6470 0 -1 4202560 9283 0 0 0 99 2 0 0 20 0 19 0 346538089 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709100247736 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9902] ppid=9884 vsize=3024420 CPUtime=0.91 cores=1,3,5,7
/proc/9886/task/9902/stat : 9902 (java) S 9884 9886 6470 0 -1 4202560 8738 0 0 0 91 0 0 0 20 0 19 0 346538089 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709099194936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9903] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9903/stat : 9903 (java) S 9884 9886 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346538089 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709098142840 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9904] ppid=9884 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/9886/task/9904/stat : 9904 (java) S 9884 9886 6470 0 -1 4202560 103 0 0 0 28 47 0 0 20 0 19 0 346538089 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709097090248 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9886/tid=9905] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9905/stat : 9905 (java) S 9884 9886 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346538354 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709094957992 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3024420

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

Solver just ended. Dumping a history of the last processes samples

[startup+1766.8 s]
/proc/loadavg: 2.03 2.01 2.00 3/213 9979
/proc/meminfo: memFree=24855032/32873648 swapFree=7388/7388
[pid=9886] ppid=9884 vsize=3024420 CPUtime=1800.04 cores=1,3,5,7
/proc/9886/stat : 9886 (java) S 9884 9886 6470 0 -1 4202496 34767 0 1 0 179838 166 0 0 20 0 19 0 346538084 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140733248374368 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9886/statm: 756105 428012 2310 9 0 746526 0
[pid=9886/tid=9887] ppid=9884 vsize=3024420 CPUtime=1747.95 cores=1,3,5,7
/proc/9886/task/9887/stat : 9887 (java) R 9884 9886 6470 0 -1 4202560 4064 0 1 0 174758 37 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709996850368 140709857432036 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9889] ppid=9884 vsize=3024420 CPUtime=5.44 cores=1,3,5,7
/proc/9886/task/9889/stat : 9889 (java) S 9884 9886 6470 0 -1 4202560 437 0 0 0 532 12 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709980277032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9890] ppid=9884 vsize=3024420 CPUtime=5.61 cores=1,3,5,7
/proc/9886/task/9890/stat : 9890 (java) S 9884 9886 6470 0 -1 4202560 453 0 0 0 547 14 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709979224232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9886/tid=9891] ppid=9884 vsize=3024420 CPUtime=5.56 cores=1,3,5,7
/proc/9886/task/9891/stat : 9891 (java) S 9884 9886 6470 0 -1 4202560 443 0 0 0 545 11 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709978171944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9892] ppid=9884 vsize=3024420 CPUtime=5.66 cores=1,3,5,7
/proc/9886/task/9892/stat : 9892 (java) S 9884 9886 6470 0 -1 4202560 489 0 0 0 550 16 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709977119144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9893] ppid=9884 vsize=3024420 CPUtime=5.71 cores=1,3,5,7
/proc/9886/task/9893/stat : 9893 (java) S 9884 9886 6470 0 -1 4202560 446 0 0 0 558 13 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709976066856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9886/tid=9894] ppid=9884 vsize=3024420 CPUtime=5.38 cores=1,3,5,7
/proc/9886/task/9894/stat : 9894 (java) S 9884 9886 6470 0 -1 4202560 458 0 0 0 524 14 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709975014056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9886/tid=9895] ppid=9884 vsize=3024420 CPUtime=5.36 cores=1,3,5,7
/proc/9886/task/9895/stat : 9895 (java) S 9884 9886 6470 0 -1 4202560 422 0 0 0 525 11 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709856275496 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9886/tid=9896] ppid=9884 vsize=3024420 CPUtime=5.58 cores=1,3,5,7
/proc/9886/task/9896/stat : 9896 (java) S 9884 9886 6470 0 -1 4202560 421 0 0 0 548 10 0 0 20 0 19 0 346538085 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709855222696 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9897] ppid=9884 vsize=3024420 CPUtime=0.91 cores=1,3,5,7
/proc/9886/task/9897/stat : 9897 (java) S 9884 9886 6470 0 -1 4202560 7829 0 0 0 84 7 0 0 20 0 19 0 346538086 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709843024104 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9898] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9898/stat : 9898 (java) S 9884 9886 6470 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346538087 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709841970168 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9899] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9899/stat : 9899 (java) S 9884 9886 6470 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346538087 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709840917768 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9900] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9900/stat : 9900 (java) S 9884 9886 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346538089 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709101300112 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9901] ppid=9884 vsize=3024420 CPUtime=1.01 cores=1,3,5,7
/proc/9886/task/9901/stat : 9901 (java) S 9884 9886 6470 0 -1 4202560 9283 0 0 0 99 2 0 0 20 0 19 0 346538089 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709100247736 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9886/tid=9902] ppid=9884 vsize=3024420 CPUtime=0.91 cores=1,3,5,7
/proc/9886/task/9902/stat : 9902 (java) S 9884 9886 6470 0 -1 4202560 8738 0 0 0 91 0 0 0 20 0 19 0 346538089 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709099194936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9886/tid=9903] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9903/stat : 9903 (java) S 9884 9886 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346538089 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709098142840 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9886/tid=9904] ppid=9884 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/9886/task/9904/stat : 9904 (java) S 9884 9886 6470 0 -1 4202560 103 0 0 0 28 47 0 0 20 0 19 0 346538089 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709097090248 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9886/tid=9905] ppid=9884 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9886/task/9905/stat : 9905 (java) S 9884 9886 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346538354 3097006080 428012 33554432000 1073741824 1073778376 140733248383232 140709094957992 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3024420

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9886 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=18267
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=82683
# CPU time returned by wait4() is 1796.1
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1766.83
CPU time (s): 1800.04
CPU user time (s): 1798.38
CPU system time (s): 1.66
CPU usage (%): 101.88
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.02
system time used= 2.08268
maximum resident set size= 1728376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34802
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63253
involuntary context switches= 86242

runsolver used 4.48032 second user time and 16.7135 second system time

The end

Launcher Data 

Begin job on node148 at 2012-06-04 12:02:16
IDJOB=3744590
IDBENCH=92780
IDSOLVER=2319
FILE ID=node148/3744590-1338804136
RUNJOBID= node148-1338772384-6487
PBS_JOBID= 14636819
Free space on /tmp= 71304 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/IC/normalized-minisat50_6_9_6_ic.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744590-1338804136/watcher-3744590-1338804136 -o /tmp/evaluation-result-3744590-1338804136/solver-3744590-1338804136 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744590-1338804136.opb           

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

MD5SUM BENCH= b4594275dd418145ecf4ec914c196844
RANDOM SEED=300599570

node148.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.56
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
cpu MHz		: 2667.284
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.94
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
cpu MHz		: 2667.284
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
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
cpu MHz		: 2667.284
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
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
cpu MHz		: 2667.284
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
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
cpu MHz		: 2667.284
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
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
cpu MHz		: 2667.284
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
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
cpu MHz		: 2667.284
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        26564868 kB
Buffers:          611516 kB
Cached:          3067928 kB
SwapCached:          628 kB
Active:          3190984 kB
Inactive:        2208424 kB
Active(anon):    1709324 kB
Inactive(anon):    10660 kB
Active(file):    1481660 kB
Inactive(file):  2197764 kB
Unevictable:        7388 kB
Mlocked:            7388 kB
SwapTotal:      67108856 kB
SwapFree:       67107564 kB
Dirty:             15396 kB
Writeback:            16 kB
AnonPages:       1726520 kB
Mapped:            19252 kB
Shmem:                36 kB
Slab:             769120 kB
SReclaimable:     212796 kB
SUnreclaim:       556324 kB
KernelStack:        1624 kB
PageTables:         7640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1828016 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1646592 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71300 MiB
End job on node148 at 2012-06-04 12:31:45