Trace number 3730252

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.01 1795.72

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb
MD5SUMa63a973ffa65f76728fc6c6327196255
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.073988
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables3038
Total number of constraints2160
Number of constraints which are clauses2070
Number of constraints which are cardinality constraints (but not clauses)90
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint22
Maximum length of a constraint45
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.05/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.05/0.09	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.05/0.09	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.05/0.09	c no version file found!!!
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version	1.6.0_24
0.05/0.09	c os.name	Linux
0.05/0.09	c os.version	2.6.32-71.29.1.el6.x86_64
0.05/0.09	c os.arch	amd64
0.05/0.09	c Free memory 1599470296
0.05/0.09	c Max memory 1607860224
0.05/0.09	c Total memory 1607860224
0.05/0.09	c Number of processors 8
0.07/0.12	--- Begin Solver configuration ---
0.07/0.12	c Stops conflict analysis at the first Unique Implication Point
0.07/0.12	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap
0.07/0.12	c No reason simplification
0.07/0.12	c --- End Solver configuration ---
0.07/0.12	c solving HOME/instance-3730252-1338680163.opb
0.07/0.12	c reading problem ... 
0.80/0.44	c ... done. Wall clock time 0.323s.
0.80/0.44	c CPU time (experimental) 0.4s.
0.80/0.44	c #vars     3038
0.80/0.44	c #constraints  2160
773.54/770.55	c cleaning 163992 clauses out of 328000 for limit 0.0010092250790251242
775.26/772.25	c cleaning 82252 clauses out of 164512 for limit 0.003331641243582856
776.05/773.01	c cleaning 41372 clauses out of 82758 for limit 0.010900155380126002
776.55/773.52	c cleaning 20934 clauses out of 41885 for limit 0.035481790789035614
777.15/774.12	c cleaning 10715 clauses out of 21451 for limit 0.11425425813733268
777.65/774.64	c cleaning 5612 clauses out of 11239 for limit 0.36070460656855396
777.85/774.90	c cleaning 3054 clauses out of 6123 for limit 1.08750920197867
778.05/775.03	c cleaning 1778 clauses out of 3573 for limit 3.085731385186801
778.15/775.15	c cleaning 1137 clauses out of 2294 for limit 7.918065602671885
778.25/775.25	c cleaning 811 clauses out of 1654 for limit 18.056324691129543
778.35/775.35	c cleaning 665 clauses out of 1345 for limit 36.69167069677699
778.46/775.43	c cleaning 582 clauses out of 1178 for limit 68.94953545236393
778.56/775.52	c cleaning 534 clauses out of 1096 for limit 122.21428400064738
778.65/775.60	c cleaning 523 clauses out of 1062 for limit 208.00026687497015
778.65/775.68	c cleaning 511 clauses out of 1039 for limit 350.6135922403236
778.75/775.72	c cleaning 507 clauses out of 1028 for limit 584.3957761164617
778.75/775.79	c cleaning 497 clauses out of 1021 for limit 970.3542846944699
778.85/775.86	c cleaning 501 clauses out of 1029 for limit 1595.7657555878436
778.95/775.94	c cleaning 498 clauses out of 1025 for limit 2633.9832091084777
779.05/776.01	c cleaning 504 clauses out of 1028 for limit 4335.449697542113
779.05/776.07	c cleaning 505 clauses out of 1026 for limit 7178.022512593692
779.15/776.15	c cleaning 493 clauses out of 1016 for limit 11894.379668303844
779.25/776.22	c cleaning 500 clauses out of 1026 for limit 19482.629271370104
779.25/776.28	c cleaning 499 clauses out of 1024 for limit 32127.86262597618
779.35/776.34	c cleaning 499 clauses out of 1024 for limit 52930.16031534399
779.35/776.40	c cleaning 507 clauses out of 1029 for limit 87213.1003127083
779.45/776.45	c cleaning 491 clauses out of 1021 for limit 144808.05932181943
779.45/776.50	c cleaning 495 clauses out of 1027 for limit 236701.1584623036
779.56/776.56	c cleaning 498 clauses out of 1032 for limit 388460.63591134717
779.66/776.62	c cleaning 500 clauses out of 1035 for limit 639406.0821617888
779.66/776.66	c cleaning 516 clauses out of 1035 for limit 1054466.1677001214
779.75/776.71	c cleaning 496 clauses out of 1022 for limit 1766369.3749760257
779.75/776.78	c cleaning 511 clauses out of 1022 for limit 2901344.948630243
779.85/776.86	c cleaning 503 clauses out of 1011 for limit 4836765.070514867
779.95/776.95	c cleaning 489 clauses out of 1008 for limit 8000212.154074824
780.05/777.03	c cleaning 497 clauses out of 1020 for limit 1.3051254638986295E7
780.15/777.12	c cleaning 497 clauses out of 1023 for limit 2.146014678651356E7
780.25/777.21	c cleaning 513 clauses out of 1026 for limit 3.5287171496696375E7
780.25/777.29	c cleaning 506 clauses out of 1012 for limit 5.89393133075667E7
780.35/777.37	c cleaning 503 clauses out of 1006 for limit 9.77785269913529E7
780.45/777.47	c cleaning 485 clauses out of 1003 for limit 1.6173217429269937E8
780.55/777.57	c cleaning 509 clauses out of 1018 for limit 2.6278796220678553E8
780.66/777.66	c cleaning 504 clauses out of 1009 for limit 4.372380673047053E8
780.76/777.75	c cleaning 494 clauses out of 1005 for limit 7.239339723765743E8
780.85/777.84	c cleaning 514 clauses out of 1028 for limit 1.1871743144694147E9
780.95/777.93	c cleaning 482 clauses out of 997 for limit 1.9846395187147884E9
781.05/778.03	c cleaning 507 clauses out of 1015 for limit 3.214893850724581E9
781.15/778.12	c cleaning 494 clauses out of 1010 for limit 5.338708604499874E9
781.25/778.23	c cleaning 502 clauses out of 1015 for limit 8.752113150964815E9
781.35/778.30	c cleaning 497 clauses out of 1012 for limit 1.4461716005462011E10
781.35/778.40	c cleaning 507 clauses out of 1015 for limit 2.377881379204224E10
781.55/778.50	c cleaning 504 clauses out of 1008 for limit 3.948676755070749E10
1743.77/1739.52	c cleaning 163998 clauses out of 328004 for limit 2.4357850809862804E10
1745.67/1741.41	c cleaning 82246 clauses out of 164506 for limit 8.009257388864178E10
1746.37/1742.16	c cleaning 41373 clauses out of 82760 for limit 2.6254841336462372E11
1746.67/1742.42	c cleaning 20926 clauses out of 41887 for limit 8.554734003276246E11
1746.87/1742.69	c cleaning 10725 clauses out of 21461 for limit 2.753541964239463E12
1747.07/1742.83	c cleaning 5608 clauses out of 11236 for limit 8.673328801551134E12
1747.17/1742.94	c cleaning 3053 clauses out of 6128 for limit 2.6226157891652848E13
1747.27/1743.02	c cleaning 1772 clauses out of 3575 for limit 7.41367031325369E13
1747.27/1743.09	c cleaning 1142 clauses out of 2303 for limit 1.8978909905954588E14
1747.37/1743.15	c cleaning 826 clauses out of 1662 for limit 4.341347814523809E14
1747.47/1743.22	c cleaning 667 clauses out of 1335 for limit 8.90421648832257E14
1747.57/1743.30	c cleaning 585 clauses out of 1170 for limit 1.6788659652276902E15
1747.57/1743.39	c cleaning 532 clauses out of 1085 for limit 2.985575344200391E15
1747.67/1743.48	c cleaning 525 clauses out of 1051 for limit 5.072732031103553E15
1747.77/1743.56	c cleaning 510 clauses out of 1028 for limit 8.569913394852151E-5
1747.87/1743.65	c cleaning 504 clauses out of 1017 for limit 1.4271511442515717E-4
1747.99/1743.73	c cleaning 501 clauses out of 1013 for limit 2.3628565956729627E-4
1748.09/1743.81	c cleaning 497 clauses out of 1011 for limit 3.900470787716667E-4
1748.19/1743.90	c cleaning 494 clauses out of 1014 for limit 6.413367360909249E-4
1748.29/1744.00	c cleaning 501 clauses out of 1020 for limit 0.001051428603282189
1748.39/1744.10	c cleaning 505 clauses out of 1020 for limit 0.0017356821065209352
1748.39/1744.19	c cleaning 502 clauses out of 1015 for limit 0.0028764723436769607
1748.49/1744.28	c cleaning 497 clauses out of 1013 for limit 0.004753053324623492
1748.59/1744.36	c cleaning 498 clauses out of 1018 for limit 0.007815544938968832
1748.69/1744.44	c cleaning 497 clauses out of 1017 for limit 0.012862886614097162
1748.79/1744.52	c cleaning 498 clauses out of 1020 for limit 0.02115023073167635
1748.79/1744.60	c cleaning 505 clauses out of 1022 for limit 0.03481130244800069
1748.89/1744.66	c cleaning 503 clauses out of 1017 for limit 0.05769073902958357
1748.99/1744.71	c cleaning 494 clauses out of 1015 for limit 0.09542263650584995
1748.99/1744.77	c cleaning 501 clauses out of 1020 for limit 0.15643670415864866
1749.09/1744.83	c cleaning 499 clauses out of 1020 for limit 0.25824329618166336
1749.09/1744.89	c cleaning 498 clauses out of 1020 for limit 0.4254518648310789
1749.19/1744.95	c cleaning 502 clauses out of 1022 for limit 0.700253993991617
1749.29/1745.01	c cleaning 505 clauses out of 1024 for limit 1.1571787979499142
1749.29/1745.09	c cleaning 498 clauses out of 1015 for limit 1.9175743954945093
1749.39/1745.16	c cleaning 500 clauses out of 1018 for limit 3.1561736169213046
1749.49/1745.25	c cleaning 500 clauses out of 1018 for limit 5.204952519655793
1749.59/1745.34	c cleaning 495 clauses out of 1017 for limit 8.583511087763947
1749.69/1745.43	c cleaning 507 clauses out of 1022 for limit 14.086104845794978
1749.79/1745.51	c cleaning 503 clauses out of 1017 for limit 23.390837403559892
1749.79/1745.59	c cleaning 499 clauses out of 1013 for limit 38.68821145207662
1749.89/1745.67	c cleaning 489 clauses out of 1013 for limit 63.73823426450607
1749.99/1745.75	c cleaning 501 clauses out of 1027 for limit 103.99164595519417
1800.01/1795.71	c starts		: 21
1800.01/1795.71	c conflicts		: 758656
1800.01/1795.71	c decisions		: 899023
1800.01/1795.71	c propagations		: 39213166
1800.01/1795.71	c inspects		: 4210794637
1800.01/1795.71	c learnt literals	: 0
1800.01/1795.71	c learnt binary clauses	: 0
1800.01/1795.71	c learnt ternary clauses	: 0
1800.01/1795.71	c learnt clauses	: 758656
1800.01/1795.71	c root simplifications	: 0
1800.01/1795.71	c removed literals (reason simplification)	: 0
1800.01/1795.71	c reason swapping (by a shorter reason)	: 0
1800.01/1795.71	c Calls to reduceDB	: 95
1800.01/1795.71	c speed (decisions/second)	: 500.7731427584709
1800.01/1795.71	c non guided choices	970
1800.01/1795.71	s UNKNOWN
1800.01/1795.71	c Total wall clock time (ms): 1795.597

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-3730252-1338680163/watcher-3730252-1338680163 -o /tmp/evaluation-result-3730252-1338680163/solver-3730252-1338680163 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3730252-1338680163.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: 2.02 1.99 1.63 3/194 29151
/proc/meminfo: memFree=30419036/32873844 swapFree=7116/7116
[pid=29151] ppid=29149 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/29151/stat : 29151 (java) D 29149 29151 28219 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 334141238 9515008 183 33554432000 1073741824 1073778376 140737284997696 140737284988728 240565173941 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/29151/statm: 2323 183 140 9 0 71 0

[startup+0.0814681 s]
/proc/loadavg: 2.02 1.99 1.63 3/194 29151
/proc/meminfo: memFree=30419036/32873844 swapFree=7116/7116
[pid=29151] ppid=29149 vsize=2956804 CPUtime=0.05 cores=1,3,5,7
/proc/29151/stat : 29151 (java) S 29149 29151 28219 0 -1 4202496 4071 0 1 0 4 1 0 0 20 0 18 0 334141238 3027767296 5789 33554432000 1073741824 1073778376 140733865274560 140733865265696 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29151/statm: 739201 5789 1768 9 0 729885 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2956804

[startup+0.10035 s]
/proc/loadavg: 2.02 1.99 1.63 3/194 29151
/proc/meminfo: memFree=30419036/32873844 swapFree=7116/7116
[pid=29151] ppid=29149 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/29151/stat : 29151 (java) S 29149 29151 28219 0 -1 4202496 4142 0 1 0 6 1 0 0 20 0 18 0 334141238 3028844544 5859 33554432000 1073741824 1073778376 140733865274560 140733865265696 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29151/statm: 739464 5859 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.300315 s]
/proc/loadavg: 2.02 1.99 1.63 3/194 29151
/proc/meminfo: memFree=30419036/32873844 swapFree=7116/7116
[pid=29151] ppid=29149 vsize=2957856 CPUtime=0.5 cores=1,3,5,7
/proc/29151/stat : 29151 (java) S 29149 29151 28219 0 -1 4202496 8389 0 1 0 48 2 0 0 20 0 18 0 334141238 3028844544 11689 33554432000 1073741824 1073778376 140733865274560 140733865265696 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29151/statm: 739464 11689 2246 9 0 729885 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2957856

[startup+0.700311 s]
/proc/loadavg: 2.02 1.99 1.63 3/194 29151
/proc/meminfo: memFree=30419036/32873844 swapFree=7116/7116
[pid=29151] ppid=29149 vsize=3024420 CPUtime=1.38 cores=1,3,5,7
/proc/29151/stat : 29151 (java) S 29149 29151 28219 0 -1 4202496 10799 0 1 0 135 3 0 0 20 0 19 0 334141238 3097006080 19462 33554432000 1073741824 1073778376 140733865274560 140733865265696 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29151/statm: 756105 19462 2276 9 0 746526 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 3024420

[startup+1.50079 s]
/proc/loadavg: 2.01 1.99 1.63 3/213 29170
/proc/meminfo: memFree=30341048/32873844 swapFree=7116/7116
[pid=29151] ppid=29149 vsize=3024420 CPUtime=2.2 cores=1,3,5,7
/proc/29151/stat : 29151 (java) S 29149 29151 28219 0 -1 4202496 10809 0 1 0 217 3 0 0 20 0 19 0 334141238 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 140733865265696 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29151/statm: 756105 23559 2276 9 0 746526 0
[pid=29151/tid=29153] ppid=29149 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/29151/task/29153/stat : 29153 (java) R 29149 29151 28219 0 -1 4202560 3075 0 1 0 144 2 0 0 20 0 19 0 334141239 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982210331136 139982061319644 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29154] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29154/stat : 29154 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982193756328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29155] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29155/stat : 29155 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982192703784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29156] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29156/stat : 29156 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982191651240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29151/tid=29157] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29157/stat : 29157 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982190598696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29158] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29158/stat : 29158 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982189546152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29159] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29159/stat : 29159 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982188493608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29160] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29160/stat : 29160 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141241 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982187441064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29161] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29161/stat : 29161 (java) S 29149 29151 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334141241 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982186388520 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29162] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29162/stat : 29162 (java) S 29149 29151 28219 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 334141242 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982056433768 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29163] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29163/stat : 29163 (java) S 29149 29151 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334141242 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982055380088 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29164] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29164/stat : 29164 (java) S 29149 29151 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334141242 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982054327432 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29165] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29165/stat : 29165 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141245 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982053276176 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29166] ppid=29149 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/29151/task/29166/stat : 29166 (java) S 29149 29151 28219 0 -1 4202560 3341 0 0 0 38 0 0 0 20 0 19 0 334141245 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982052223544 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29167] ppid=29149 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/29151/task/29167/stat : 29167 (java) S 29149 29151 28219 0 -1 4202560 3195 0 0 0 33 0 0 0 20 0 19 0 334141245 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982051171000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29168] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29168/stat : 29168 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141245 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982050118648 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29169] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29169/stat : 29169 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141245 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982049066312 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29170] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29170/stat : 29170 (java) S 29149 29151 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334141282 3097006080 23559 33554432000 1073741824 1073778376 140733865274560 139982046933800 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 3024420

[startup+3.10083 s]
/proc/loadavg: 2.01 1.99 1.63 3/213 29170
/proc/meminfo: memFree=30322492/32873844 swapFree=7116/7116
[pid=29151] ppid=29149 vsize=3024420 CPUtime=3.87 cores=1,3,5,7
/proc/29151/stat : 29151 (java) S 29149 29151 28219 0 -1 4202496 10823 0 1 0 383 4 0 0 20 0 19 0 334141238 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 140733865265696 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29151/statm: 756105 30216 2277 9 0 746526 0
[pid=29151/tid=29153] ppid=29149 vsize=3024420 CPUtime=3.05 cores=1,3,5,7
/proc/29151/task/29153/stat : 29153 (java) R 29149 29151 28219 0 -1 4202560 3088 0 1 0 303 2 0 0 20 0 19 0 334141239 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982210331272 139982061298642 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29154] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29154/stat : 29154 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982193756328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29155] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29155/stat : 29155 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982192703784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29156] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29156/stat : 29156 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982191651240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29151/tid=29157] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29157/stat : 29157 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982190598696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29158] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29158/stat : 29158 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982189546152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29159] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29159/stat : 29159 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982188493608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29160] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29160/stat : 29160 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141241 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982187441064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29161] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29161/stat : 29161 (java) S 29149 29151 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334141241 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982186388520 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29162] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29162/stat : 29162 (java) S 29149 29151 28219 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 334141242 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982056433768 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29163] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29163/stat : 29163 (java) S 29149 29151 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334141242 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982055380088 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29164] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29164/stat : 29164 (java) S 29149 29151 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334141242 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982054327432 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29165] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29165/stat : 29165 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141245 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982053276176 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29166] ppid=29149 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/29151/task/29166/stat : 29166 (java) S 29149 29151 28219 0 -1 4202560 3342 0 0 0 44 0 0 0 20 0 19 0 334141245 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982052223544 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29167] ppid=29149 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/29151/task/29167/stat : 29167 (java) S 29149 29151 28219 0 -1 4202560 3195 0 0 0 33 0 0 0 20 0 19 0 334141245 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982051171000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29168] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29168/stat : 29168 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141245 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982050118648 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29169] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29169/stat : 29169 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141245 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982049066312 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29170] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29170/stat : 29170 (java) S 29149 29151 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334141282 3097006080 30216 33554432000 1073741824 1073778376 140733865274560 139982046933800 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 3024420

[startup+6.30083 s]
/proc/loadavg: 2.01 1.99 1.63 3/213 29170
/proc/meminfo: memFree=30277064/32873844 swapFree=7116/7116
[pid=29151] ppid=29149 vsize=3024420 CPUtime=7.09 cores=1,3,5,7
/proc/29151/stat : 29151 (java) S 29149 29151 28219 0 -1 4202496 10843 0 1 0 705 4 0 0 20 0 19 0 334141238 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 140733865265696 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29151/statm: 756105 39400 2277 9 0 746526 0
[pid=29151/tid=29153] ppid=29149 vsize=3024420 CPUtime=6.24 cores=1,3,5,7
/proc/29151/task/29153/stat : 29153 (java) R 29149 29151 28219 0 -1 4202560 3108 0 1 0 621 3 0 0 20 0 19 0 334141239 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982210329120 139982061323707 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29154] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29154/stat : 29154 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982193756328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29155] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29155/stat : 29155 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982192703784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29156] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29156/stat : 29156 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982191651240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29151/tid=29157] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29157/stat : 29157 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982190598696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29158] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29158/stat : 29158 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982189546152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29159] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29159/stat : 29159 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141240 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982188493608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29160] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29160/stat : 29160 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141241 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982187441064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29161] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29161/stat : 29161 (java) S 29149 29151 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334141241 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982186388520 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29162] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29162/stat : 29162 (java) S 29149 29151 28219 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 334141242 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982056433768 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29163] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29163/stat : 29163 (java) S 29149 29151 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334141242 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982055380088 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29164] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29164/stat : 29164 (java) S 29149 29151 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334141242 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982054327432 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29165] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29165/stat : 29165 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141245 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982053276176 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29166] ppid=29149 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/29151/task/29166/stat : 29166 (java) S 29149 29151 28219 0 -1 4202560 3342 0 0 0 46 0 0 0 20 0 19 0 334141245 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982052223544 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29167] ppid=29149 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/29151/task/29167/stat : 29167 (java) S 29149 29151 28219 0 -1 4202560 3195 0 0 0 34 0 0 0 20 0 19 0 334141245 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982051171000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29168] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29168/stat : 29168 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141245 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982050118648 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29169] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29169/stat : 29169 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141245 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982049066312 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29170] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29170/stat : 29170 (java) S 29149 29151 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334141282 3097006080 39400 33554432000 1073741824 1073778376 140733865274560 139982046933800 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]

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

[pid=29151/tid=29166] ppid=29149 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/29151/task/29166/stat : 29166 (java) S 29149 29151 28219 0 -1 4202560 3351 0 0 0 52 0 0 0 20 0 19 0 334141245 3097006080 419784 33554432000 1073741824 1073778376 140733865274560 139982052223544 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29167] ppid=29149 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/29151/task/29167/stat : 29167 (java) S 29149 29151 28219 0 -1 4202560 3199 0 0 0 38 0 0 0 20 0 19 0 334141245 3097006080 419784 33554432000 1073741824 1073778376 140733865274560 139982051171000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29168] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29168/stat : 29168 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141245 3097006080 419784 33554432000 1073741824 1073778376 140733865274560 139982050118648 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29169] ppid=29149 vsize=3024420 CPUtime=1.04 cores=1,3,5,7
/proc/29151/task/29169/stat : 29169 (java) S 29149 29151 28219 0 -1 4202560 99 0 0 0 48 56 0 0 20 0 19 0 334141245 3097006080 419784 33554432000 1073741824 1073778376 140733865274560 139982049066312 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29170] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29170/stat : 29170 (java) S 29149 29151 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334141282 3097006080 419784 33554432000 1073741824 1073778376 140733865274560 139982046933800 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1726.55
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/213 29267
/proc/meminfo: memFree=29298268/32873844 swapFree=7116/7116
[pid=29151] ppid=29149 vsize=3024420 CPUtime=1786.59 cores=1,3,5,7
/proc/29151/stat : 29151 (java) S 29149 29151 28219 0 -1 4202496 13224 0 1 0 178451 208 0 0 20 0 19 0 334141238 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 140733865265696 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29151/statm: 756105 419706 2305 9 0 746526 0
[pid=29151/tid=29153] ppid=29149 vsize=3024420 CPUtime=1775.15 cores=1,3,5,7
/proc/29151/task/29153/stat : 29153 (java) R 29149 29151 28219 0 -1 4202560 3263 0 1 0 177481 34 0 0 20 0 19 0 334141239 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982210329888 139982061297874 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29154] ppid=29149 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/29151/task/29154/stat : 29154 (java) S 29149 29151 28219 0 -1 4202560 250 0 0 0 22 18 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982193756328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29151/tid=29155] ppid=29149 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/29151/task/29155/stat : 29155 (java) S 29149 29151 28219 0 -1 4202560 237 0 0 0 33 16 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982192703784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29156] ppid=29149 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/29151/task/29156/stat : 29156 (java) S 29149 29151 28219 0 -1 4202560 215 0 0 0 31 16 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982191651240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29151/tid=29157] ppid=29149 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/29151/task/29157/stat : 29157 (java) S 29149 29151 28219 0 -1 4202560 319 0 0 0 27 24 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982190598696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29158] ppid=29149 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/29151/task/29158/stat : 29158 (java) S 29149 29151 28219 0 -1 4202560 231 0 0 0 28 18 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982189546152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29151/tid=29159] ppid=29149 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/29151/task/29159/stat : 29159 (java) S 29149 29151 28219 0 -1 4202560 191 0 0 0 24 15 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982188493608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29160] ppid=29149 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/29151/task/29160/stat : 29160 (java) S 29149 29151 28219 0 -1 4202560 194 0 0 0 21 15 0 0 20 0 19 0 334141241 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982187441064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29161] ppid=29149 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/29151/task/29161/stat : 29161 (java) S 29149 29151 28219 0 -1 4202560 267 0 0 0 21 19 0 0 20 0 19 0 334141241 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982186388520 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29162] ppid=29149 vsize=3024420 CPUtime=1.59 cores=1,3,5,7
/proc/29151/task/29162/stat : 29162 (java) S 29149 29151 28219 0 -1 4202560 220 0 0 0 149 10 0 0 20 0 19 0 334141242 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982056433768 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29163] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29163/stat : 29163 (java) S 29149 29151 28219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334141242 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982055380088 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29164] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29164/stat : 29164 (java) S 29149 29151 28219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334141242 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982054327432 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29165] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29165/stat : 29165 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141245 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982053276176 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29166] ppid=29149 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/29151/task/29166/stat : 29166 (java) S 29149 29151 28219 0 -1 4202560 3351 0 0 0 52 0 0 0 20 0 19 0 334141245 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982052223544 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29167] ppid=29149 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/29151/task/29167/stat : 29167 (java) S 29149 29151 28219 0 -1 4202560 3200 0 0 0 40 0 0 0 20 0 19 0 334141245 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982051171000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29168] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29168/stat : 29168 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141245 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982050118648 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29169] ppid=29149 vsize=3024420 CPUtime=1.08 cores=1,3,5,7
/proc/29151/task/29169/stat : 29169 (java) S 29149 29151 28219 0 -1 4202560 103 0 0 0 51 57 0 0 20 0 19 0 334141245 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982049066312 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29170] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29170/stat : 29170 (java) S 29149 29151 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334141282 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982046933800 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1786.59
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.7 s]
/proc/loadavg: 2.08 2.02 1.92 3/213 29268
/proc/meminfo: memFree=29298516/32873844 swapFree=7116/7116
[pid=29151] ppid=29149 vsize=3024420 CPUtime=1800.01 cores=1,3,5,7
/proc/29151/stat : 29151 (java) S 29149 29151 28219 0 -1 4202496 13224 0 1 0 179792 209 0 0 20 0 19 0 334141238 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 140733865265696 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29151/statm: 756105 419706 2305 9 0 746526 0
[pid=29151/tid=29153] ppid=29149 vsize=3024420 CPUtime=1788.52 cores=1,3,5,7
/proc/29151/task/29153/stat : 29153 (java) R 29149 29151 28219 0 -1 4202560 3263 0 1 0 178817 35 0 0 20 0 19 0 334141239 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982210329888 139982061298147 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29154] ppid=29149 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/29151/task/29154/stat : 29154 (java) S 29149 29151 28219 0 -1 4202560 250 0 0 0 22 18 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982193756328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29151/tid=29155] ppid=29149 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/29151/task/29155/stat : 29155 (java) S 29149 29151 28219 0 -1 4202560 237 0 0 0 33 16 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982192703784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29156] ppid=29149 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/29151/task/29156/stat : 29156 (java) S 29149 29151 28219 0 -1 4202560 215 0 0 0 31 16 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982191651240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29151/tid=29157] ppid=29149 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/29151/task/29157/stat : 29157 (java) S 29149 29151 28219 0 -1 4202560 319 0 0 0 27 24 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982190598696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29158] ppid=29149 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/29151/task/29158/stat : 29158 (java) S 29149 29151 28219 0 -1 4202560 231 0 0 0 28 18 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982189546152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29151/tid=29159] ppid=29149 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/29151/task/29159/stat : 29159 (java) S 29149 29151 28219 0 -1 4202560 191 0 0 0 24 15 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982188493608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29160] ppid=29149 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/29151/task/29160/stat : 29160 (java) S 29149 29151 28219 0 -1 4202560 194 0 0 0 21 15 0 0 20 0 19 0 334141241 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982187441064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29161] ppid=29149 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/29151/task/29161/stat : 29161 (java) S 29149 29151 28219 0 -1 4202560 267 0 0 0 21 19 0 0 20 0 19 0 334141241 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982186388520 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29162] ppid=29149 vsize=3024420 CPUtime=1.59 cores=1,3,5,7
/proc/29151/task/29162/stat : 29162 (java) S 29149 29151 28219 0 -1 4202560 220 0 0 0 149 10 0 0 20 0 19 0 334141242 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982056433768 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29163] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29163/stat : 29163 (java) S 29149 29151 28219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334141242 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982055380088 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29164] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29164/stat : 29164 (java) S 29149 29151 28219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334141242 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982054327432 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29165] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29165/stat : 29165 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141245 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982053276176 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29166] ppid=29149 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/29151/task/29166/stat : 29166 (java) S 29149 29151 28219 0 -1 4202560 3351 0 0 0 52 0 0 0 20 0 19 0 334141245 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982052223544 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29167] ppid=29149 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/29151/task/29167/stat : 29167 (java) S 29149 29151 28219 0 -1 4202560 3200 0 0 0 40 0 0 0 20 0 19 0 334141245 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982051171000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29168] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29168/stat : 29168 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141245 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982050118648 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29169] ppid=29149 vsize=3024420 CPUtime=1.09 cores=1,3,5,7
/proc/29151/task/29169/stat : 29169 (java) S 29149 29151 28219 0 -1 4202560 103 0 0 0 51 58 0 0 20 0 19 0 334141245 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982049066312 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29170] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29170/stat : 29170 (java) S 29149 29151 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334141282 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982046933800 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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+1795.7 s]
/proc/loadavg: 2.08 2.02 1.92 3/213 29268
/proc/meminfo: memFree=29298516/32873844 swapFree=7116/7116
[pid=29151] ppid=29149 vsize=3024420 CPUtime=1800.01 cores=1,3,5,7
/proc/29151/stat : 29151 (java) S 29149 29151 28219 0 -1 4202496 13224 0 1 0 179792 209 0 0 20 0 19 0 334141238 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 140733865265696 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29151/statm: 756105 419706 2305 9 0 746526 0
[pid=29151/tid=29153] ppid=29149 vsize=3024420 CPUtime=1788.52 cores=1,3,5,7
/proc/29151/task/29153/stat : 29153 (java) R 29149 29151 28219 0 -1 4202560 3263 0 1 0 178817 35 0 0 20 0 19 0 334141239 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982210329888 139982061298147 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29154] ppid=29149 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/29151/task/29154/stat : 29154 (java) S 29149 29151 28219 0 -1 4202560 250 0 0 0 22 18 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982193756328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29151/tid=29155] ppid=29149 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/29151/task/29155/stat : 29155 (java) S 29149 29151 28219 0 -1 4202560 237 0 0 0 33 16 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982192703784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29156] ppid=29149 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/29151/task/29156/stat : 29156 (java) S 29149 29151 28219 0 -1 4202560 215 0 0 0 31 16 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982191651240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29151/tid=29157] ppid=29149 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/29151/task/29157/stat : 29157 (java) S 29149 29151 28219 0 -1 4202560 319 0 0 0 27 24 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982190598696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29158] ppid=29149 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/29151/task/29158/stat : 29158 (java) S 29149 29151 28219 0 -1 4202560 231 0 0 0 28 18 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982189546152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29151/tid=29159] ppid=29149 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/29151/task/29159/stat : 29159 (java) S 29149 29151 28219 0 -1 4202560 191 0 0 0 24 15 0 0 20 0 19 0 334141240 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982188493608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29160] ppid=29149 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/29151/task/29160/stat : 29160 (java) S 29149 29151 28219 0 -1 4202560 194 0 0 0 21 15 0 0 20 0 19 0 334141241 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982187441064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29161] ppid=29149 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/29151/task/29161/stat : 29161 (java) S 29149 29151 28219 0 -1 4202560 267 0 0 0 21 19 0 0 20 0 19 0 334141241 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982186388520 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29162] ppid=29149 vsize=3024420 CPUtime=1.59 cores=1,3,5,7
/proc/29151/task/29162/stat : 29162 (java) S 29149 29151 28219 0 -1 4202560 220 0 0 0 149 10 0 0 20 0 19 0 334141242 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982056433768 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29163] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29163/stat : 29163 (java) S 29149 29151 28219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334141242 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982055380088 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29164] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29164/stat : 29164 (java) S 29149 29151 28219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334141242 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982054327432 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29165] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29165/stat : 29165 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141245 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982053276176 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29166] ppid=29149 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/29151/task/29166/stat : 29166 (java) S 29149 29151 28219 0 -1 4202560 3351 0 0 0 52 0 0 0 20 0 19 0 334141245 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982052223544 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29151/tid=29167] ppid=29149 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/29151/task/29167/stat : 29167 (java) S 29149 29151 28219 0 -1 4202560 3200 0 0 0 40 0 0 0 20 0 19 0 334141245 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982051171000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29168] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29168/stat : 29168 (java) S 29149 29151 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334141245 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982050118648 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29151/tid=29169] ppid=29149 vsize=3024420 CPUtime=1.09 cores=1,3,5,7
/proc/29151/task/29169/stat : 29169 (java) S 29149 29151 28219 0 -1 4202560 103 0 0 0 51 58 0 0 20 0 19 0 334141245 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982049066312 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29151/tid=29170] ppid=29149 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/29151/task/29170/stat : 29170 (java) S 29149 29151 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334141282 3097006080 419706 33554432000 1073741824 1073778376 140733865274560 139982046933800 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3024420

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29151 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=298377
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=572608
# CPU time returned by wait4() is 1795.87
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1795.72
CPU time (s): 1800.01
CPU user time (s): 1797.92
CPU system time (s): 2.09
CPU usage (%): 100.239
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.3
system time used= 2.57261
maximum resident set size= 1679136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13254
page faults= 1
swaps= 0
block input operations= 40
block output operations= 1040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38027
involuntary context switches= 4150

runsolver used 6.87096 second user time and 16.6615 second system time

The end

Launcher Data

Begin job on node146 at 2012-06-03 01:36:03
IDJOB=3730252
IDBENCH=1401
IDSOLVER=2319
FILE ID=node146/3730252-1338680163
RUNJOBID= node146-1338678624-28239
PBS_JOBID= 14636667
Free space on /tmp= 70908 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3730252-1338680163/watcher-3730252-1338680163 -o /tmp/evaluation-result-3730252-1338680163/solver-3730252-1338680163 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3730252-1338680163.opb           

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

MD5SUM BENCH= a63a973ffa65f76728fc6c6327196255
RANDOM SEED=1412930343

node146.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.034
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.06
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.034
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.92
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.034
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.91
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.034
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.034
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.91
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.034
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.034
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.91
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.034
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:       32873844 kB
MemFree:        30419788 kB
Buffers:          125288 kB
Cached:           227448 kB
SwapCached:         1792 kB
Active:          1479664 kB
Inactive:         207492 kB
Active(anon):    1335260 kB
Inactive(anon):     1556 kB
Active(file):     144404 kB
Inactive(file):   205936 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67099772 kB
Dirty:              3928 kB
Writeback:             0 kB
AnonPages:       1405832 kB
Mapped:            17120 kB
Shmem:                 0 kB
Slab:             609064 kB
SReclaimable:      49308 kB
SUnreclaim:       559756 kB
KernelStack:        1760 kB
PageTables:         6844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1824468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1386496 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70904 MiB
End job on node146 at 2012-06-03 02:06:01