Trace number 3453928

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Res//CP 2.3.0SAT (TO)13 1800.25 948

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_4.opb
MD5SUM64354bd2b9c3cc2f1ca2c32032e5c032
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark351.395
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint26
Maximum length of a constraint51
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6260
Sum of products size (including duplicates)12520
Number of different products6260
Sum of products size12520

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		9996466904
0.00/0.09	c Max memory 		10048897024
0.00/0.09	c Total memory 		10048897024
0.00/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3453928-1307194498.opb
0.10/0.11	c reading problem ... 
1.04/0.54	c ... done. Wall clock time 0.425s.
1.04/0.54	c #vars     6460
1.04/0.54	c #constraints  12720
1.04/0.54	c constraints type 
1.04/0.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6460
1.04/0.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6260
1.04/0.54	c constraints type 
1.04/0.54	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6460
1.04/0.54	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6260
1.39/0.65	c  And the winner is Resolution
1.91/1.05	c SATISFIABLE
1.91/1.05	c OPTIMIZING...
1.91/1.05	c Got one! Elapsed wall clock time (in seconds):0.938
1.91/1.05	o 17
1.91/1.10	c  And the winner is Resolution
2.12/1.56	c Got one! Elapsed wall clock time (in seconds):1.452
2.12/1.56	o 16
3.80/2.17	c  And the winner is Resolution
3.97/2.57	c Got one! Elapsed wall clock time (in seconds):2.462
3.97/2.57	o 15
5.33/3.27	c cleaning 2798 clauses out of 5600 with flag 3000/5600
7.82/4.45	c cleaning 4398 clauses out of 8805 with flag 9003/11603
10.56/5.89	c cleaning 5700 clauses out of 11405 with flag 16001/18601
14.00/7.51	c cleaning 6847 clauses out of 13704 with flag 24000/26600
17.93/9.55	c cleaning 7926 clauses out of 15857 with flag 33000/35600
21.85/11.59	c cleaning 8961 clauses out of 17933 with flag 43002/45602
26.39/13.88	c cleaning 9979 clauses out of 19970 with flag 54000/56600
31.90/16.60	c cleaning 10990 clauses out of 21991 with flag 66000/68600
37.20/19.33	c cleaning 11997 clauses out of 24001 with flag 79000/81600
42.54/22.09	c cleaning 12498 clauses out of 25007 with flag 92003/94603
47.79/24.74	c cleaning 12749 clauses out of 25506 with flag 105000/107600
52.87/27.35	c cleaning 12875 clauses out of 25761 with flag 118004/120604
58.69/30.30	c cleaning 12937 clauses out of 25882 with flag 131000/133600
64.01/33.07	c cleaning 12968 clauses out of 25946 with flag 144001/146601
69.63/35.98	c cleaning 12980 clauses out of 25977 with flag 157000/159600
75.69/39.01	c cleaning 12995 clauses out of 25998 with flag 170001/172601
80.68/41.67	c cleaning 12996 clauses out of 26002 with flag 183000/185600
86.53/44.67	c cleaning 12997 clauses out of 26006 with flag 196000/198600
92.17/47.59	c cleaning 13000 clauses out of 26009 with flag 209000/211600
97.81/50.47	c cleaning 12997 clauses out of 26009 with flag 222000/224600
103.56/53.48	c cleaning 12999 clauses out of 26013 with flag 235001/237601
109.60/56.59	c cleaning 13000 clauses out of 26016 with flag 248003/250603
115.42/59.51	c cleaning 13003 clauses out of 26013 with flag 261000/263600
120.84/62.39	c cleaning 13001 clauses out of 26010 with flag 274000/276600
126.16/65.16	c cleaning 12996 clauses out of 26010 with flag 287001/289601
131.98/68.19	c cleaning 13002 clauses out of 26014 with flag 300001/302601
139.18/71.86	c cleaning 12999 clauses out of 26012 with flag 313001/315601
145.98/75.35	c cleaning 12999 clauses out of 26013 with flag 326001/328601
153.28/79.15	c cleaning 13001 clauses out of 26015 with flag 339002/341602
159.67/82.47	c cleaning 13001 clauses out of 26012 with flag 352000/354600
166.45/85.92	c cleaning 13000 clauses out of 26012 with flag 365001/367601
172.67/89.19	c cleaning 13000 clauses out of 26011 with flag 378000/380600
178.72/92.34	c cleaning 12998 clauses out of 26011 with flag 391000/393600
184.10/95.12	c cleaning 13003 clauses out of 26014 with flag 404001/406601
189.88/98.11	c cleaning 12999 clauses out of 26010 with flag 417000/419600
195.46/101.07	c cleaning 13000 clauses out of 26012 with flag 430001/432601
202.32/104.62	c cleaning 13002 clauses out of 26013 with flag 443002/445602
208.10/107.64	c cleaning 12996 clauses out of 26009 with flag 456000/458600
213.69/110.57	c cleaning 12998 clauses out of 26013 with flag 469000/471600
219.47/113.50	c cleaning 13001 clauses out of 26016 with flag 482001/484601
225.14/116.56	c cleaning 12999 clauses out of 26014 with flag 495000/497600
231.31/119.77	c cleaning 13001 clauses out of 26015 with flag 508000/510600
237.29/122.87	c cleaning 13003 clauses out of 26015 with flag 521001/523601
243.67/126.12	c cleaning 13002 clauses out of 26012 with flag 534001/536601
249.74/129.36	c cleaning 12998 clauses out of 26010 with flag 547001/549601
256.11/132.61	c cleaning 12998 clauses out of 26011 with flag 560000/562600
262.68/136.02	c cleaning 12999 clauses out of 26014 with flag 573001/575601
269.26/139.43	c cleaning 13003 clauses out of 26015 with flag 586001/588601
274.92/142.49	c cleaning 13001 clauses out of 26012 with flag 599001/601601
281.30/145.72	c cleaning 12999 clauses out of 26011 with flag 612001/614601
287.88/149.10	c cleaning 13001 clauses out of 26012 with flag 625001/627601
293.64/152.18	c cleaning 12998 clauses out of 26010 with flag 638000/640600
299.71/155.37	c cleaning 12999 clauses out of 26013 with flag 651001/653601
306.27/158.79	c cleaning 12999 clauses out of 26013 with flag 664000/666600
312.63/162.04	c cleaning 13003 clauses out of 26016 with flag 677002/679602
318.98/165.35	c cleaning 13000 clauses out of 26011 with flag 690000/692600
325.61/168.80	c cleaning 12999 clauses out of 26012 with flag 703001/705601
326.77/169.53	c  And the winner is Resolution
327.19/169.93	c Got one! Elapsed wall clock time (in seconds):169.819
327.19/169.93	o 14
328.12/170.47	c cleaning 9139 clauses out of 18290 with flag 3000/710878
328.87/170.94	c  And the winner is Resolution
329.52/171.60	c Got one! Elapsed wall clock time (in seconds):171.485
329.52/171.60	o 13
331.00/172.32	c cleaning 7208 clauses out of 14430 with flag 4000/716157
333.35/173.61	c cleaning 6605 clauses out of 13224 with flag 10002/722159
336.18/175.26	c cleaning 6802 clauses out of 13617 with flag 17000/729157
339.33/176.97	c cleaning 7403 clauses out of 14815 with flag 25000/737157
342.88/178.88	c cleaning 8201 clauses out of 16413 with flag 34001/746158
347.23/181.10	c cleaning 9104 clauses out of 18213 with flag 44002/756159
353.02/184.26	c cleaning 10051 clauses out of 20107 with flag 55000/767157
359.54/187.62	c cleaning 11020 clauses out of 22056 with flag 67000/779157
366.89/191.48	c cleaning 12013 clauses out of 24037 with flag 80001/792158
374.57/195.49	c cleaning 12508 clauses out of 25023 with flag 93000/805157
381.59/199.17	c cleaning 12752 clauses out of 25516 with flag 106001/818158
388.07/202.53	c cleaning 12872 clauses out of 25763 with flag 119000/831157
394.58/205.91	c cleaning 12940 clauses out of 25892 with flag 132001/844158
401.09/209.37	c cleaning 12968 clauses out of 25952 with flag 145001/857158
407.85/212.95	c cleaning 12985 clauses out of 25983 with flag 158000/870157
414.56/216.42	c cleaning 12993 clauses out of 25998 with flag 171000/883157
421.30/219.98	c cleaning 12995 clauses out of 26005 with flag 184000/896157
428.19/223.57	c cleaning 12995 clauses out of 26010 with flag 197000/909157
435.35/227.35	c cleaning 13003 clauses out of 26017 with flag 210002/922159
441.66/230.66	c cleaning 13001 clauses out of 26012 with flag 223000/935157
448.37/234.16	c cleaning 13002 clauses out of 26013 with flag 236002/948159
455.11/237.63	c cleaning 12999 clauses out of 26009 with flag 249000/961157
462.22/241.42	c cleaning 13000 clauses out of 26010 with flag 262000/974157
470.33/245.67	c cleaning 12998 clauses out of 26010 with flag 275000/987157
479.43/250.39	c cleaning 13004 clauses out of 26016 with flag 288004/1000161
487.72/254.61	c cleaning 12999 clauses out of 26008 with flag 301000/1013157
494.67/258.35	c cleaning 13000 clauses out of 26009 with flag 314000/1026157
501.97/262.15	c cleaning 12994 clauses out of 26009 with flag 327000/1039157
508.86/265.78	c cleaning 13007 clauses out of 26015 with flag 340000/1052157
515.96/269.46	c cleaning 13000 clauses out of 26010 with flag 353002/1065159
523.68/273.52	c cleaning 12999 clauses out of 26008 with flag 366000/1078157
531.16/277.46	c cleaning 12998 clauses out of 26010 with flag 379001/1091158
538.64/281.38	c cleaning 13000 clauses out of 26011 with flag 392000/1104157
546.32/285.30	c cleaning 13003 clauses out of 26012 with flag 405001/1117158
553.03/288.90	c cleaning 12999 clauses out of 26011 with flag 418003/1130160
559.53/292.38	c cleaning 13000 clauses out of 26011 with flag 431002/1143159
566.22/295.86	c cleaning 12999 clauses out of 26011 with flag 444002/1156159
573.09/299.48	c cleaning 12995 clauses out of 26010 with flag 457000/1169157
580.01/303.11	c cleaning 13001 clauses out of 26015 with flag 470000/1182157
586.69/306.65	c cleaning 12998 clauses out of 26014 with flag 483000/1195157
593.61/310.28	c cleaning 13003 clauses out of 26017 with flag 496001/1208158
600.65/313.96	c cleaning 13002 clauses out of 26013 with flag 509000/1221157
608.56/318.19	c cleaning 13000 clauses out of 26011 with flag 522000/1234157
616.67/322.33	c cleaning 12997 clauses out of 26011 with flag 535000/1247157
624.91/326.66	c cleaning 12999 clauses out of 26014 with flag 548000/1260157
632.97/330.82	c cleaning 13003 clauses out of 26016 with flag 561001/1273158
641.26/335.28	c cleaning 13001 clauses out of 26013 with flag 574001/1286158
649.91/339.71	c cleaning 13000 clauses out of 26011 with flag 587000/1299157
658.37/344.12	c cleaning 12997 clauses out of 26011 with flag 600000/1312157
666.83/348.57	c cleaning 13002 clauses out of 26014 with flag 613000/1325157
675.72/353.20	c cleaning 12998 clauses out of 26012 with flag 626000/1338157
684.57/357.86	c cleaning 13000 clauses out of 26015 with flag 639001/1351158
693.02/362.24	c cleaning 13003 clauses out of 26014 with flag 652000/1364157
699.68/365.73	c cleaning 13002 clauses out of 26013 with flag 665002/1377159
707.38/369.85	c cleaning 13001 clauses out of 26010 with flag 678001/1390158
715.04/373.91	c cleaning 12999 clauses out of 26012 with flag 691004/1403161
721.29/377.21	c cleaning 13000 clauses out of 26010 with flag 704001/1416158
728.75/381.07	c cleaning 13001 clauses out of 26011 with flag 717002/1429159
737.22/385.53	c cleaning 13000 clauses out of 26008 with flag 730000/1442157
745.07/389.69	c cleaning 12999 clauses out of 26008 with flag 743000/1455157
752.52/393.53	c cleaning 12999 clauses out of 26010 with flag 756001/1468158
759.77/397.31	c cleaning 12999 clauses out of 26010 with flag 769000/1481157
767.23/401.32	c cleaning 13001 clauses out of 26012 with flag 782001/1494158
774.07/404.94	c cleaning 13000 clauses out of 26012 with flag 795002/1507159
781.12/408.68	c cleaning 13001 clauses out of 26014 with flag 808004/1520161
788.59/412.56	c cleaning 12998 clauses out of 26010 with flag 821001/1533158
796.23/416.67	c cleaning 13003 clauses out of 26013 with flag 834002/1546159
803.67/420.59	c cleaning 12999 clauses out of 26010 with flag 847002/1559159
811.12/424.45	c cleaning 12999 clauses out of 26009 with flag 860000/1572157
818.76/428.43	c cleaning 12997 clauses out of 26011 with flag 873001/1585158
826.41/432.58	c cleaning 12999 clauses out of 26014 with flag 886001/1598158
834.49/436.79	c cleaning 12999 clauses out of 26014 with flag 899000/1611157
842.48/441.01	c cleaning 13001 clauses out of 26016 with flag 912001/1624158
850.34/445.04	c cleaning 12999 clauses out of 26014 with flag 925000/1637157
858.60/449.48	c cleaning 13000 clauses out of 26015 with flag 938000/1650157
866.42/453.50	c cleaning 13004 clauses out of 26017 with flag 951002/1663159
874.06/457.58	c cleaning 13000 clauses out of 26011 with flag 964000/1676157
881.67/461.52	c cleaning 13001 clauses out of 26013 with flag 977002/1689159
889.91/465.94	c cleaning 12996 clauses out of 26010 with flag 990000/1702157
897.94/470.19	c cleaning 12997 clauses out of 26014 with flag 1003000/1715157
905.76/474.23	c cleaning 13002 clauses out of 26018 with flag 1016001/1728158
913.80/478.49	c cleaning 13000 clauses out of 26017 with flag 1029002/1741159
922.26/482.99	c cleaning 13001 clauses out of 26015 with flag 1042000/1754157
929.64/486.80	c cleaning 12999 clauses out of 26014 with flag 1055000/1767157
937.27/490.82	c cleaning 13001 clauses out of 26016 with flag 1068001/1780158
945.12/494.98	c cleaning 13002 clauses out of 26015 with flag 1081001/1793158
950.35/497.83	c cleaning 0 clauses out of 5886 with flag 0/5887
954.04/499.70	c cleaning 13001 clauses out of 26013 with flag 1094001/1806158
961.45/503.65	c cleaning 13000 clauses out of 26011 with flag 1107000/1819157
969.08/507.60	c cleaning 12999 clauses out of 26011 with flag 1120000/1832157
977.11/511.96	c cleaning 13000 clauses out of 26013 with flag 1133001/1845158
985.14/516.16	c cleaning 13002 clauses out of 26013 with flag 1146001/1858158
993.37/520.40	c cleaning 13000 clauses out of 26010 with flag 1159000/1871157
1000.99/524.42	c cleaning 13000 clauses out of 26011 with flag 1172001/1884158
1009.43/528.91	c cleaning 12997 clauses out of 26010 with flag 1185000/1897157
1017.26/533.04	c cleaning 12999 clauses out of 26013 with flag 1198000/1910157
1024.88/537.09	c cleaning 13000 clauses out of 26014 with flag 1211000/1923157
1032.95/541.27	c cleaning 13001 clauses out of 26015 with flag 1224001/1936158
1041.37/545.78	c cleaning 13000 clauses out of 26013 with flag 1237000/1949157
1049.78/550.17	c cleaning 12999 clauses out of 26014 with flag 1250001/1962158
1058.60/554.70	c cleaning 12998 clauses out of 26015 with flag 1263001/1975158
1066.81/559.07	c cleaning 13001 clauses out of 26016 with flag 1276000/1988157
1075.42/563.61	c cleaning 13001 clauses out of 26015 with flag 1289000/2001157
1083.66/567.91	c cleaning 13002 clauses out of 26014 with flag 1302000/2014157
1091.86/572.29	c cleaning 13000 clauses out of 26014 with flag 1315002/2027159
1098.88/575.94	c cleaning 12999 clauses out of 26012 with flag 1328000/2040157
1106.09/579.83	c cleaning 13000 clauses out of 26013 with flag 1341000/2053157
1113.49/583.76	c cleaning 13004 clauses out of 26015 with flag 1354002/2066159
1120.69/587.59	c cleaning 12997 clauses out of 26010 with flag 1367001/2079158
1127.89/591.39	c cleaning 13000 clauses out of 26013 with flag 1380001/2092158
1135.29/595.34	c cleaning 13002 clauses out of 26015 with flag 1393003/2105160
1142.69/599.25	c cleaning 13002 clauses out of 26010 with flag 1406000/2118157
1151.09/603.69	c cleaning 12999 clauses out of 26008 with flag 1419000/2131157
1159.89/608.26	c cleaning 13000 clauses out of 26009 with flag 1432000/2144157
1168.68/612.98	c cleaning 12999 clauses out of 26009 with flag 1445000/2157157
1175.87/616.74	c cleaning 13002 clauses out of 26012 with flag 1458002/2170159
1182.90/620.43	c cleaning 12999 clauses out of 26010 with flag 1471002/2183159
1189.84/624.16	c cleaning 12998 clauses out of 26009 with flag 1484000/2196157
1197.03/628.03	c cleaning 13000 clauses out of 26011 with flag 1497000/2209157
1204.20/631.82	c cleaning 13003 clauses out of 26013 with flag 1510002/2222159
1211.98/635.98	c cleaning 13000 clauses out of 26009 with flag 1523001/2235158
1219.98/640.19	c cleaning 12998 clauses out of 26008 with flag 1536000/2248157
1228.36/644.66	c cleaning 12998 clauses out of 26010 with flag 1549000/2261157
1236.90/649.10	c cleaning 13000 clauses out of 26012 with flag 1562000/2274157
1245.47/653.61	c cleaning 13002 clauses out of 26014 with flag 1575002/2287159
1253.64/657.93	c cleaning 12998 clauses out of 26010 with flag 1588000/2300157
1262.20/662.54	c cleaning 13001 clauses out of 26013 with flag 1601001/2313158
1270.37/666.87	c cleaning 13001 clauses out of 26011 with flag 1614000/2326157
1278.16/670.93	c cleaning 12999 clauses out of 26011 with flag 1627001/2339158
1285.92/675.07	c cleaning 13000 clauses out of 26011 with flag 1640000/2352157
1293.88/679.34	c cleaning 12998 clauses out of 26013 with flag 1653002/2365159
1301.65/683.47	c cleaning 13001 clauses out of 26013 with flag 1666000/2378157
1309.44/687.58	c cleaning 13001 clauses out of 26012 with flag 1679000/2391157
1317.19/691.65	c cleaning 13001 clauses out of 26012 with flag 1692001/2404158
1325.52/696.13	c cleaning 13000 clauses out of 26011 with flag 1705001/2417158
1333.69/700.46	c cleaning 12998 clauses out of 26010 with flag 1718000/2430157
1341.87/704.72	c cleaning 13000 clauses out of 26013 with flag 1731001/2443158
1349.85/708.92	c cleaning 12998 clauses out of 26012 with flag 1744000/2456157
1358.40/713.51	c cleaning 13001 clauses out of 26015 with flag 1757001/2469158
1366.97/718.05	c cleaning 13001 clauses out of 26014 with flag 1770001/2482158
1376.14/722.80	c cleaning 12999 clauses out of 26012 with flag 1783000/2495157
1384.89/727.41	c cleaning 13002 clauses out of 26013 with flag 1796000/2508157
1394.03/732.32	c cleaning 13000 clauses out of 26014 with flag 1809003/2521160
1403.17/737.16	c cleaning 12999 clauses out of 26012 with flag 1822001/2534158
1412.31/741.90	c cleaning 13000 clauses out of 26013 with flag 1835001/2547158
1421.90/746.94	c cleaning 13001 clauses out of 26012 with flag 1848000/2560157
1431.40/752.06	c cleaning 13001 clauses out of 26011 with flag 1861000/2573157
1440.15/756.67	c cleaning 12999 clauses out of 26012 with flag 1874002/2586159
1449.30/761.46	c cleaning 13001 clauses out of 26014 with flag 1887003/2599160
1458.45/766.20	c cleaning 13004 clauses out of 26016 with flag 1900006/2612163
1467.38/771.08	c cleaning 12998 clauses out of 26006 with flag 1913000/2625157
1476.50/775.83	c cleaning 13000 clauses out of 26012 with flag 1926004/2638161
1484.28/779.95	c cleaning 13000 clauses out of 26010 with flag 1939002/2651159
1491.79/783.97	c cleaning 13000 clauses out of 26012 with flag 1952004/2664161
1500.74/788.73	c cleaning 13001 clauses out of 26013 with flag 1965005/2677162
1509.44/793.31	c cleaning 12997 clauses out of 26007 with flag 1978000/2690157
1517.58/797.70	c cleaning 12996 clauses out of 26010 with flag 1991000/2703157
1526.33/802.28	c cleaning 13001 clauses out of 26014 with flag 2004000/2716157
1535.02/806.91	c cleaning 13002 clauses out of 26015 with flag 2017002/2729159
1543.75/811.58	c cleaning 12999 clauses out of 26012 with flag 2030001/2742158
1552.28/816.09	c cleaning 13001 clauses out of 26013 with flag 2043001/2755158
1561.23/820.70	c cleaning 12999 clauses out of 26012 with flag 2056001/2768158
1570.32/825.61	c cleaning 12999 clauses out of 26013 with flag 2069001/2781158
1579.25/830.40	c cleaning 13002 clauses out of 26014 with flag 2082001/2794158
1588.17/835.08	c cleaning 13000 clauses out of 26012 with flag 2095001/2807158
1597.50/839.91	c cleaning 13001 clauses out of 26011 with flag 2108000/2820157
1606.38/844.79	c cleaning 12995 clauses out of 26010 with flag 2121000/2833157
1615.51/849.57	c cleaning 13002 clauses out of 26015 with flag 2134000/2846157
1624.64/854.39	c cleaning 13003 clauses out of 26015 with flag 2147002/2859159
1633.79/859.17	c cleaning 12999 clauses out of 26011 with flag 2160001/2872158
1643.62/864.41	c cleaning 12998 clauses out of 26012 with flag 2173001/2885158
1652.38/869.10	c cleaning 13002 clauses out of 26015 with flag 2186002/2898159
1661.06/873.67	c cleaning 12999 clauses out of 26012 with flag 2199001/2911158
1669.97/878.36	c cleaning 13000 clauses out of 26013 with flag 2212001/2924158
1679.04/883.31	c cleaning 13000 clauses out of 26015 with flag 2225003/2937160
1687.94/887.99	c cleaning 13001 clauses out of 26013 with flag 2238001/2950158
1697.05/892.70	c cleaning 13003 clauses out of 26013 with flag 2251002/2963159
1706.15/897.57	c cleaning 13000 clauses out of 26012 with flag 2264004/2976161
1715.59/902.60	c cleaning 12998 clauses out of 26010 with flag 2277002/2989159
1724.48/907.38	c cleaning 12997 clauses out of 26010 with flag 2290000/3002157
1733.58/912.18	c cleaning 13003 clauses out of 26019 with flag 2303006/3015163
1742.68/916.97	c cleaning 13003 clauses out of 26011 with flag 2316001/3028158
1750.32/921.12	c cleaning 13001 clauses out of 26008 with flag 2329001/3041158
1758.40/925.44	c cleaning 12999 clauses out of 26006 with flag 2342000/3054157
1766.13/929.54	c cleaning 12997 clauses out of 26007 with flag 2355000/3067157
1773.79/933.61	c cleaning 13003 clauses out of 26013 with flag 2368003/3080160
1781.42/937.87	c cleaning 12998 clauses out of 26008 with flag 2381001/3093158
1789.52/942.10	c cleaning 12999 clauses out of 26010 with flag 2394001/3106158
1796.85/946.09	c cleaning 12998 clauses out of 26011 with flag 2407001/3119158
1800.11/947.92	c starts		: 252
1800.11/947.92	c conflicts		: 3124565
1800.11/947.92	c decisions		: 4922592
1800.11/947.92	c propagations		: 641221364
1800.11/947.92	c inspects		: 6510037428
1800.11/947.92	c shortcuts		: 0
1800.11/947.92	c learnt literals	: 0
1800.11/947.92	c learnt binary clauses	: 0
1800.11/947.92	c learnt ternary clauses	: 0
1800.11/947.92	c learnt constraints	: 3124565
1800.11/947.92	c ignored constraints	: 0
1800.11/947.92	c root simplifications	: 0
1800.11/947.92	c removed literals (reason simplification)	: 11310153
1800.11/947.92	c reason swapping (by a shorter reason)	: 0
1800.11/947.92	c Calls to reduceDB	: 246
1800.11/947.92	c number of reductions to clauses (during analyze)	: 0
1800.11/947.92	c number of learned constraints concerned by reduction	: 0
1800.11/947.92	c number of learning phase by resolution	: 0
1800.11/947.92	c number of learning phase by cutting planes	: 0
1800.11/947.92	c speed (assignments/second)	: 825969.4471137126
1800.11/947.92	c non guided choices	1
1800.11/947.93	c learnt constraints type 
1800.11/947.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 18445
1800.11/947.93	c constraints type 
1800.11/947.93	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6460
1800.11/947.93	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.11/947.93	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6260
1800.11/947.93	c constraints type 
1800.11/947.93	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6460
1800.11/947.93	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.11/947.93	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6260
1800.11/947.93	s SATISFIABLE
1800.11/947.93	v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 x61 x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 x109 -x110 -x111 -x112 x113 -x114 x115 -x116 -x117 -x118 x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 
1800.11/947.93	c objective function=13
1800.11/947.93	c Total wall clock time (in seconds): 947.822

Verifier Data 

OK	13

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3453928-1307194498/watcher-3453928-1307194498 -o /tmp/evaluation-result-3453928-1307194498/solver-3453928-1307194498 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453928-1307194498.opb 

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

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: 3.44 3.53 3.55 3/510 2139
/proc/meminfo: memFree=26180932/32951124 swapFree=63649284/67111528
[pid=2139] ppid=2137 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/2139/stat : 2139 (java) R 2137 2139 28154 0 -1 4202496 817 0 0 0 0 0 0 0 25 0 1 0 831048276 23580672 560 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210199684864 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/2139/statm: 5757 574 427 9 0 124 0
[pid=2139/tid=2140] ppid=2137 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2140/stat : 2140 (java) R 2137 2139 28154 0 -1 4202560 5351 0 1 0 0 0 0 0 25 0 2 0 831048277 10694979584 6167 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210204341307 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.0942549 s]
/proc/loadavg: 3.44 3.53 3.55 3/510 2139
/proc/meminfo: memFree=26180932/32951124 swapFree=63649284/67111528
[pid=2139] ppid=2137 vsize=10540268 CPUtime=0.1 cores=0,2,4,6
/proc/2139/stat : 2139 (java) S 2137 2139 28154 0 -1 4202496 13002 0 1 0 8 2 0 0 25 0 18 0 831048276 10793234432 12671 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2139/statm: 2635067 12671 2093 9 0 2625801 0
[pid=2139/tid=2140] ppid=2137 vsize=10540268 CPUtime=0.07 cores=0,2,4,6
/proc/2139/task/2140/stat : 2140 (java) R 2137 2139 28154 0 -1 4202560 11043 0 1 0 6 1 0 0 18 0 18 0 831048277 10793234432 12671 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 47655506233473 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540268

[startup+0.100278 s]
/proc/loadavg: 3.44 3.53 3.55 3/510 2139
/proc/meminfo: memFree=26180932/32951124 swapFree=63649284/67111528
[pid=2139] ppid=2137 vsize=10540268 CPUtime=0.1 cores=0,2,4,6
/proc/2139/stat : 2139 (java) S 2137 2139 28154 0 -1 4202496 13079 0 1 0 8 2 0 0 25 0 18 0 831048276 10793234432 12748 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2139/statm: 2635067 12748 2093 9 0 2625801 0
[pid=2139/tid=2140] ppid=2137 vsize=10540268 CPUtime=0.08 cores=0,2,4,6
/proc/2139/task/2140/stat : 2140 (java) R 2137 2139 28154 0 -1 4202560 11120 0 1 0 7 1 0 0 18 0 18 0 831048277 10793234432 12748 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 47655510789278 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540268

[startup+0.300284 s]
/proc/loadavg: 3.44 3.53 3.55 3/510 2139
/proc/meminfo: memFree=26180932/32951124 swapFree=63649284/67111528
[pid=2139] ppid=2137 vsize=10541384 CPUtime=0.46 cores=0,2,4,6
/proc/2139/stat : 2139 (java) S 2137 2139 28154 0 -1 4202496 15479 0 1 0 44 2 0 0 25 0 18 0 831048276 10794377216 14876 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2139/statm: 2635346 14877 2209 9 0 2626080 0
[pid=2139/tid=2140] ppid=2137 vsize=10541384 CPUtime=0.28 cores=0,2,4,6
/proc/2139/task/2140/stat : 2140 (java) R 2137 2139 28154 0 -1 4202560 12750 0 1 0 26 2 0 0 18 0 18 0 831048277 10794377216 14877 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 46912505590590 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10541384

[startup+0.701187 s]
/proc/loadavg: 3.44 3.53 3.55 3/510 2139
/proc/meminfo: memFree=26180932/32951124 swapFree=63649284/67111528
[pid=2139] ppid=2137 vsize=10557032 CPUtime=1.72 cores=0,2,4,6
/proc/2139/stat : 2139 (java) S 2137 2139 28154 0 -1 4202496 28662 0 1 0 168 4 0 0 25 0 19 0 831048276 10810400768 24079 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2139/statm: 2639258 24079 2241 9 0 2629992 0
[pid=2139/tid=2140] ppid=2137 vsize=10557032 CPUtime=0.52 cores=0,2,4,6
/proc/2139/task/2140/stat : 2140 (java) S 2137 2139 28154 0 -1 4202560 16877 0 1 0 50 2 0 0 19 0 19 0 831048277 10810400768 24079 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 10557032

[startup+1.50108 s]
/proc/loadavg: 3.44 3.53 3.55 3/529 2161
/proc/meminfo: memFree=26091696/32951124 swapFree=63649284/67111528
[pid=2139] ppid=2137 vsize=10557032 CPUtime=2.12 cores=0,2,4,6
/proc/2139/stat : 2139 (java) S 2137 2139 28154 0 -1 4202496 30292 0 1 0 207 5 0 0 25 0 19 0 831048276 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2139/statm: 2639258 25219 2245 9 0 2629992 0
[pid=2139/tid=2140] ppid=2137 vsize=10557032 CPUtime=0.53 cores=0,2,4,6
/proc/2139/task/2140/stat : 2140 (java) S 2137 2139 28154 0 -1 4202560 16941 0 1 0 51 2 0 0 17 0 19 0 831048277 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2142] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2142/stat : 2142 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831048278 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2143] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2143/stat : 2143 (java) S 2137 2139 28154 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831048278 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2144] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2144/stat : 2144 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831048278 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2145] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2145/stat : 2145 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831048278 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2146] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2146/stat : 2146 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831048278 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2147] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2147/stat : 2147 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831048278 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2148] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2148/stat : 2148 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831048278 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2149] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2149/stat : 2149 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831048278 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2150] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2150/stat : 2150 (java) S 2137 2139 28154 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 19 0 831048279 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 0 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2151] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2151/stat : 2151 (java) S 2137 2139 28154 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831048280 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2152] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2152/stat : 2152 (java) S 2137 2139 28154 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831048280 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2153] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2153/stat : 2153 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831048282 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216470961 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2154] ppid=2137 vsize=10557032 CPUtime=0.63 cores=0,2,4,6
/proc/2139/task/2154/stat : 2154 (java) S 2137 2139 28154 0 -1 4202560 6260 0 0 0 62 1 0 0 15 0 19 0 831048282 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2155] ppid=2137 vsize=10557032 CPUtime=0.6 cores=0,2,4,6
/proc/2139/task/2155/stat : 2155 (java) S 2137 2139 28154 0 -1 4202560 4641 0 0 0 60 0 0 0 15 0 19 0 831048282 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 0 0 0 0
[pid=2139/tid=2156] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2156/stat : 2156 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831048282 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2157] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2157/stat : 2157 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831048282 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2160] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2160/stat : 2160 (java) S 2137 2139 28154 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831048332 10810400768 25219 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 10557032

[startup+3.10075 s]
/proc/loadavg: 3.44 3.53 3.55 5/532 2167
/proc/meminfo: memFree=25967300/32951124 swapFree=63649284/67111528
[pid=2139] ppid=2137 vsize=10557032 CPUtime=5.12 cores=0,2,4,6
/proc/2139/stat : 2139 (java) S 2137 2139 28154 0 -1 4202496 103847 0 1 0 499 13 0 0 25 0 22 0 831048276 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2139/statm: 2639258 95398 2247 9 0 2629992 0
[pid=2139/tid=2140] ppid=2137 vsize=10557032 CPUtime=0.54 cores=0,2,4,6
/proc/2139/task/2140/stat : 2140 (java) S 2137 2139 28154 0 -1 4202560 17018 0 1 0 52 2 0 0 15 0 22 0 831048277 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2142] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2142/stat : 2142 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831048278 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2143] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2143/stat : 2143 (java) S 2137 2139 28154 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831048278 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2144] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2144/stat : 2144 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831048278 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2145] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2145/stat : 2145 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831048278 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2146] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2146/stat : 2146 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831048278 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2147] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2147/stat : 2147 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831048278 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2148] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2148/stat : 2148 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831048278 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2149] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2149/stat : 2149 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831048278 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2150] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2150/stat : 2150 (java) S 2137 2139 28154 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 831048279 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 0 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2151] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2151/stat : 2151 (java) S 2137 2139 28154 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831048280 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2152] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2152/stat : 2152 (java) S 2137 2139 28154 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831048280 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2153] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2153/stat : 2153 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831048282 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216470961 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2154] ppid=2137 vsize=10557032 CPUtime=1.02 cores=0,2,4,6
/proc/2139/task/2154/stat : 2154 (java) S 2137 2139 28154 0 -1 4202560 6335 0 0 0 101 1 0 0 15 0 22 0 831048282 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2155] ppid=2137 vsize=10557032 CPUtime=0.95 cores=0,2,4,6
/proc/2139/task/2155/stat : 2155 (java) S 2137 2139 28154 0 -1 4202560 8060 0 0 0 94 1 0 0 15 0 22 0 831048282 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 0 0 0 0
[pid=2139/tid=2156] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2156/stat : 2156 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831048282 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2157] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2157/stat : 2157 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831048282 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2160] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2160/stat : 2160 (java) S 2137 2139 28154 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831048332 10810400768 95398 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.12
Current children cumulated vsize (KiB) 10557032

[startup+6.30121 s]
/proc/loadavg: 3.49 3.54 3.56 5/532 2171
/proc/meminfo: memFree=25487896/32951124 swapFree=63649284/67111528
[pid=2139] ppid=2137 vsize=10557032 CPUtime=11.51 cores=0,2,4,6
/proc/2139/stat : 2139 (java) S 2137 2139 28154 0 -1 4202496 184555 0 1 0 1128 23 0 0 25 0 22 0 831048276 10810400768 176092 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2139/statm: 2639258 176092 2272 9 0 2629992 0
[pid=2139/tid=2140] ppid=2137 vsize=10557032 CPUtime=0.54 cores=0,2,4,6
/proc/2139/task/2140/stat : 2140 (java) S 2137 2139 28154 0 -1 4202560 17018 0 1 0 52 2 0 0 15 0 22 0 831048277 10810400768 176092 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2142] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2142/stat : 2142 (java) S 2137 2139 28154 0 -1 4202560 612 0 0 0 0 0 0 0 15 0 22 0 831048278 10810400768 176092 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2143] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2143/stat : 2143 (java) S 2137 2139 28154 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 22 0 831048278 10810400768 176092 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2144] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2144/stat : 2144 (java) S 2137 2139 28154 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 831048278 10810400768 176092 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2145] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2145/stat : 2145 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831048278 10810400768 176092 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2146] ppid=2137 vsize=10557032 CPUtime=0.01 cores=0,2,4,6
/proc/2139/task/2146/stat : 2146 (java) S 2137 2139 28154 0 -1 4202560 988 0 0 0 1 0 0 0 15 0 22 0 831048278 10810400768 176092 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2147] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2147/stat : 2147 (java) S 2137 2139 28154 0 -1 4202560 681 0 0 0 0 0 0 0 15 0 22 0 831048278 10810400768 176092 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2148] ppid=2137 vsize=10557032 CPUtime=0.02 cores=0,2,4,6
/proc/2139/task/2148/stat : 2148 (java) S 2137 2139 28154 0 -1 4202560 2044 0 0 0 2 0 0 0 15 0 22 0 831048278 10810400768 176092 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2149] ppid=2137 vsize=10557032 CPUtime=0.02 cores=0,2,4,6
/proc/2139/task/2149/stat : 2149 (java) S 2137 2139 28154 0 -1 4202560 1291 0 0 0 2 0 0 0 15 0 22 0 831048278 10810400768 176092 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2150] ppid=2137 vsize=10557032 CPUtime=0.18 cores=0,2,4,6
/proc/2139/task/2150/stat : 2150 (java) S 2137 2139 28154 0 -1 4202560 6445 0 0 0 18 0 0 0 16 0 22 0 831048279 10810400768 176092 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 0 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2151] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2151/stat : 2151 (java) S 2137 2139 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831048280 10810400768 176092 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 0 0 0 0
[pid=2139/tid=2152] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2152/stat : 2152 (java) S 2137 2139 28154 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831048280 10810400768 176092 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 0 0 0 0
[pid=2139/tid=2153] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2153/stat : 2153 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831048282 10810400768 176092 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216470961 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2154] ppid=2137 vsize=10557032 CPUtime=1.14 cores=0,2,4,6
/proc/2139/task/2154/stat : 2154 (java) S 2137 2139 28154 0 -1 4202560 6350 0 0 0 113 1 0 0 15 0 22 0 831048282 10810400768 176092 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2155] ppid=2137 vsize=10557032 CPUtime=1 cores=0,2,4,6
/proc/2139/task/2155/stat : 2155 (java) S 2137 2139 28154 0 -1 4202560 8068 0 0 0 99 1 0 0 15 0 22 0 831048282 10810400768 176092 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 0 0 0 0

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

[pid=2139/tid=2179] ppid=2137 vsize=10557032 CPUtime=632.61 cores=0,2,4,6
/proc/2139/task/2179/stat : 2179 (java) R 2137 2139 28154 0 -1 4202560 26 0 0 0 63261 0 0 0 25 0 22 0 831065436 10810400768 265408 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 46912506065439 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2139/tid=2180] ppid=2137 vsize=10557032 CPUtime=632.62 cores=0,2,4,6
/proc/2139/task/2180/stat : 2180 (java) R 2137 2139 28154 0 -1 4202560 23 0 0 0 63262 0 0 0 25 0 22 0 831065436 10810400768 265408 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 46912506044497 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=2139/tid=2181] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2181/stat : 2181 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831065436 10810400768 265408 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1677.23
Current children cumulated vsize (KiB) 10557032

[startup+942.301 s]
/proc/loadavg: 1.87 2.20 2.86 3/505 2219
/proc/meminfo: memFree=26071460/32951124 swapFree=63649284/67111528
[pid=2139] ppid=2137 vsize=10557032 CPUtime=1789.76 cores=0,2,4,6
/proc/2139/stat : 2139 (java) S 2137 2139 28154 0 -1 4202496 276987 0 1 0 178934 42 0 0 25 0 22 0 831048276 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2139/statm: 2639258 267582 2273 9 0 2629992 0
[pid=2139/tid=2140] ppid=2137 vsize=10557032 CPUtime=0.54 cores=0,2,4,6
/proc/2139/task/2140/stat : 2140 (java) S 2137 2139 28154 0 -1 4202560 17146 0 1 0 52 2 0 0 15 0 22 0 831048277 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2142] ppid=2137 vsize=10557032 CPUtime=1.06 cores=0,2,4,6
/proc/2139/task/2142/stat : 2142 (java) S 2137 2139 28154 0 -1 4202560 1051 0 0 0 106 0 0 0 15 0 22 0 831048278 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2143] ppid=2137 vsize=10557032 CPUtime=1.11 cores=0,2,4,6
/proc/2139/task/2143/stat : 2143 (java) S 2137 2139 28154 0 -1 4202560 274 0 0 0 111 0 0 0 15 0 22 0 831048278 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2144] ppid=2137 vsize=10557032 CPUtime=1.08 cores=0,2,4,6
/proc/2139/task/2144/stat : 2144 (java) S 2137 2139 28154 0 -1 4202560 86 0 0 0 108 0 0 0 15 0 22 0 831048278 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2145] ppid=2137 vsize=10557032 CPUtime=0.98 cores=0,2,4,6
/proc/2139/task/2145/stat : 2145 (java) S 2137 2139 28154 0 -1 4202560 191 0 0 0 98 0 0 0 16 0 22 0 831048278 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2146] ppid=2137 vsize=10557032 CPUtime=1.06 cores=0,2,4,6
/proc/2139/task/2146/stat : 2146 (java) S 2137 2139 28154 0 -1 4202560 1388 0 0 0 106 0 0 0 16 0 22 0 831048278 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2147] ppid=2137 vsize=10557032 CPUtime=0.99 cores=0,2,4,6
/proc/2139/task/2147/stat : 2147 (java) S 2137 2139 28154 0 -1 4202560 855 0 0 0 99 0 0 0 15 0 22 0 831048278 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2148] ppid=2137 vsize=10557032 CPUtime=0.9 cores=0,2,4,6
/proc/2139/task/2148/stat : 2148 (java) S 2137 2139 28154 0 -1 4202560 2117 0 0 0 90 0 0 0 16 0 22 0 831048278 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2149] ppid=2137 vsize=10557032 CPUtime=1.08 cores=0,2,4,6
/proc/2139/task/2149/stat : 2149 (java) S 2137 2139 28154 0 -1 4202560 1654 0 0 0 108 0 0 0 16 0 22 0 831048278 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2150] ppid=2137 vsize=10557032 CPUtime=96.08 cores=0,2,4,6
/proc/2139/task/2150/stat : 2150 (java) R 2137 2139 28154 0 -1 4202560 68714 0 0 0 9597 11 0 0 16 0 22 0 831048279 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 47655509908626 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=2139/tid=2151] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2151/stat : 2151 (java) S 2137 2139 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831048280 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2152] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2152/stat : 2152 (java) S 2137 2139 28154 0 -1 4202560 11 0 0 0 0 0 0 0 17 0 22 0 831048280 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2153] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2153/stat : 2153 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831048282 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216470961 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2154] ppid=2137 vsize=10557032 CPUtime=1.43 cores=0,2,4,6
/proc/2139/task/2154/stat : 2154 (java) S 2137 2139 28154 0 -1 4202560 7004 0 0 0 142 1 0 0 15 0 22 0 831048282 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2155] ppid=2137 vsize=10557032 CPUtime=1.19 cores=0,2,4,6
/proc/2139/task/2155/stat : 2155 (java) S 2137 2139 28154 0 -1 4202560 8087 0 0 0 118 1 0 0 15 0 22 0 831048282 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 0 0 0 0
[pid=2139/tid=2156] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2156/stat : 2156 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831048282 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2157] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2157/stat : 2157 (java) S 2137 2139 28154 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 831048282 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2160] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2160/stat : 2160 (java) S 2137 2139 28154 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831048332 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2179] ppid=2137 vsize=10557032 CPUtime=684.71 cores=0,2,4,6
/proc/2139/task/2179/stat : 2179 (java) S 2137 2139 28154 0 -1 4202560 40 0 0 0 68471 0 0 0 25 0 22 0 831065436 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 0 0 0 0
[pid=2139/tid=2180] ppid=2137 vsize=10557032 CPUtime=684.73 cores=0,2,4,6
/proc/2139/task/2180/stat : 2180 (java) S 2137 2139 28154 0 -1 4202560 23 0 0 0 68473 0 0 0 25 0 22 0 831065436 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2181] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2181/stat : 2181 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831065436 10810400768 267582 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1789.76
Current children cumulated vsize (KiB) 10557032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+947.901 s]
/proc/loadavg: 1.88 2.20 2.86 3/505 2219
/proc/meminfo: memFree=26068980/32951124 swapFree=63649284/67111528
[pid=2139] ppid=2137 vsize=10557032 CPUtime=1800.11 cores=0,2,4,6
/proc/2139/stat : 2139 (java) S 2137 2139 28154 0 -1 4202496 277624 0 1 0 179969 42 0 0 25 0 22 0 831048276 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2139/statm: 2639258 268218 2273 9 0 2629992 0
[pid=2139/tid=2140] ppid=2137 vsize=10557032 CPUtime=0.54 cores=0,2,4,6
/proc/2139/task/2140/stat : 2140 (java) S 2137 2139 28154 0 -1 4202560 17146 0 1 0 52 2 0 0 15 0 22 0 831048277 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2142] ppid=2137 vsize=10557032 CPUtime=1.06 cores=0,2,4,6
/proc/2139/task/2142/stat : 2142 (java) S 2137 2139 28154 0 -1 4202560 1051 0 0 0 106 0 0 0 16 0 22 0 831048278 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2143] ppid=2137 vsize=10557032 CPUtime=1.12 cores=0,2,4,6
/proc/2139/task/2143/stat : 2143 (java) S 2137 2139 28154 0 -1 4202560 274 0 0 0 112 0 0 0 16 0 22 0 831048278 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2144] ppid=2137 vsize=10557032 CPUtime=1.09 cores=0,2,4,6
/proc/2139/task/2144/stat : 2144 (java) S 2137 2139 28154 0 -1 4202560 87 0 0 0 109 0 0 0 16 0 22 0 831048278 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2145] ppid=2137 vsize=10557032 CPUtime=0.98 cores=0,2,4,6
/proc/2139/task/2145/stat : 2145 (java) S 2137 2139 28154 0 -1 4202560 191 0 0 0 98 0 0 0 15 0 22 0 831048278 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2146] ppid=2137 vsize=10557032 CPUtime=1.06 cores=0,2,4,6
/proc/2139/task/2146/stat : 2146 (java) S 2137 2139 28154 0 -1 4202560 1388 0 0 0 106 0 0 0 16 0 22 0 831048278 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2147] ppid=2137 vsize=10557032 CPUtime=1 cores=0,2,4,6
/proc/2139/task/2147/stat : 2147 (java) S 2137 2139 28154 0 -1 4202560 856 0 0 0 100 0 0 0 16 0 22 0 831048278 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2148] ppid=2137 vsize=10557032 CPUtime=0.91 cores=0,2,4,6
/proc/2139/task/2148/stat : 2148 (java) S 2137 2139 28154 0 -1 4202560 2117 0 0 0 91 0 0 0 16 0 22 0 831048278 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2149] ppid=2137 vsize=10557032 CPUtime=1.08 cores=0,2,4,6
/proc/2139/task/2149/stat : 2149 (java) S 2137 2139 28154 0 -1 4202560 1654 0 0 0 108 0 0 0 15 0 22 0 831048278 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2150] ppid=2137 vsize=10557032 CPUtime=96.96 cores=0,2,4,6
/proc/2139/task/2150/stat : 2150 (java) S 2137 2139 28154 0 -1 4202560 69348 0 0 0 9685 11 0 0 15 0 22 0 831048279 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 0 0 16800975 18446604447298830592 0 0 -1 0 0 0 0
[pid=2139/tid=2151] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2151/stat : 2151 (java) S 2137 2139 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831048280 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2152] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2152/stat : 2152 (java) S 2137 2139 28154 0 -1 4202560 11 0 0 0 0 0 0 0 17 0 22 0 831048280 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2153] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2153/stat : 2153 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831048282 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216470961 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2154] ppid=2137 vsize=10557032 CPUtime=1.43 cores=0,2,4,6
/proc/2139/task/2154/stat : 2154 (java) S 2137 2139 28154 0 -1 4202560 7004 0 0 0 142 1 0 0 15 0 22 0 831048282 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2155] ppid=2137 vsize=10557032 CPUtime=1.19 cores=0,2,4,6
/proc/2139/task/2155/stat : 2155 (java) S 2137 2139 28154 0 -1 4202560 8087 0 0 0 118 1 0 0 15 0 22 0 831048282 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 0 0 0 0
[pid=2139/tid=2156] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2156/stat : 2156 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831048282 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2157] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2157/stat : 2157 (java) S 2137 2139 28154 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 831048282 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2160] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2160/stat : 2160 (java) S 2137 2139 28154 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831048332 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2179] ppid=2137 vsize=10557032 CPUtime=689.44 cores=0,2,4,6
/proc/2139/task/2179/stat : 2179 (java) R 2137 2139 28154 0 -1 4202560 41 0 0 0 68944 0 0 0 24 0 22 0 831065436 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 46912505976236 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2139/tid=2180] ppid=2137 vsize=10557032 CPUtime=689.47 cores=0,2,4,6
/proc/2139/task/2180/stat : 2180 (java) R 2137 2139 28154 0 -1 4202560 23 0 0 0 68947 0 0 0 24 0 22 0 831065436 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 46912506014028 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=2139/tid=2181] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2181/stat : 2181 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831065436 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 10557032

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

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

[startup+947.901 s]
/proc/loadavg: 1.88 2.20 2.86 3/505 2219
/proc/meminfo: memFree=26068980/32951124 swapFree=63649284/67111528
[pid=2139] ppid=2137 vsize=10557032 CPUtime=1800.11 cores=0,2,4,6
/proc/2139/stat : 2139 (java) S 2137 2139 28154 0 -1 4202496 277624 0 1 0 179969 42 0 0 25 0 22 0 831048276 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2139/statm: 2639258 268218 2273 9 0 2629992 0
[pid=2139/tid=2140] ppid=2137 vsize=10557032 CPUtime=0.54 cores=0,2,4,6
/proc/2139/task/2140/stat : 2140 (java) S 2137 2139 28154 0 -1 4202560 17146 0 1 0 52 2 0 0 15 0 22 0 831048277 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2142] ppid=2137 vsize=10557032 CPUtime=1.06 cores=0,2,4,6
/proc/2139/task/2142/stat : 2142 (java) S 2137 2139 28154 0 -1 4202560 1051 0 0 0 106 0 0 0 16 0 22 0 831048278 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2143] ppid=2137 vsize=10557032 CPUtime=1.12 cores=0,2,4,6
/proc/2139/task/2143/stat : 2143 (java) S 2137 2139 28154 0 -1 4202560 274 0 0 0 112 0 0 0 16 0 22 0 831048278 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2144] ppid=2137 vsize=10557032 CPUtime=1.09 cores=0,2,4,6
/proc/2139/task/2144/stat : 2144 (java) S 2137 2139 28154 0 -1 4202560 87 0 0 0 109 0 0 0 16 0 22 0 831048278 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2145] ppid=2137 vsize=10557032 CPUtime=0.98 cores=0,2,4,6
/proc/2139/task/2145/stat : 2145 (java) S 2137 2139 28154 0 -1 4202560 191 0 0 0 98 0 0 0 15 0 22 0 831048278 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2146] ppid=2137 vsize=10557032 CPUtime=1.06 cores=0,2,4,6
/proc/2139/task/2146/stat : 2146 (java) S 2137 2139 28154 0 -1 4202560 1388 0 0 0 106 0 0 0 16 0 22 0 831048278 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2147] ppid=2137 vsize=10557032 CPUtime=1 cores=0,2,4,6
/proc/2139/task/2147/stat : 2147 (java) S 2137 2139 28154 0 -1 4202560 856 0 0 0 100 0 0 0 16 0 22 0 831048278 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2148] ppid=2137 vsize=10557032 CPUtime=0.91 cores=0,2,4,6
/proc/2139/task/2148/stat : 2148 (java) S 2137 2139 28154 0 -1 4202560 2117 0 0 0 91 0 0 0 16 0 22 0 831048278 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2149] ppid=2137 vsize=10557032 CPUtime=1.08 cores=0,2,4,6
/proc/2139/task/2149/stat : 2149 (java) S 2137 2139 28154 0 -1 4202560 1654 0 0 0 108 0 0 0 15 0 22 0 831048278 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 6 0 0 0
[pid=2139/tid=2150] ppid=2137 vsize=10557032 CPUtime=96.96 cores=0,2,4,6
/proc/2139/task/2150/stat : 2150 (java) S 2137 2139 28154 0 -1 4202560 69348 0 0 0 9685 11 0 0 15 0 22 0 831048279 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 0 0 16800975 18446604447298830592 0 0 -1 0 0 0 0
[pid=2139/tid=2151] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2151/stat : 2151 (java) S 2137 2139 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831048280 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2152] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2152/stat : 2152 (java) S 2137 2139 28154 0 -1 4202560 11 0 0 0 0 0 0 0 17 0 22 0 831048280 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2153] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2153/stat : 2153 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831048282 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216470961 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2154] ppid=2137 vsize=10557032 CPUtime=1.43 cores=0,2,4,6
/proc/2139/task/2154/stat : 2154 (java) S 2137 2139 28154 0 -1 4202560 7004 0 0 0 142 1 0 0 15 0 22 0 831048282 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2155] ppid=2137 vsize=10557032 CPUtime=1.19 cores=0,2,4,6
/proc/2139/task/2155/stat : 2155 (java) S 2137 2139 28154 0 -1 4202560 8087 0 0 0 118 1 0 0 15 0 22 0 831048282 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 0 0 0 0
[pid=2139/tid=2156] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2156/stat : 2156 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831048282 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463257 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2157] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2157/stat : 2157 (java) S 2137 2139 28154 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 831048282 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 4 0 0 0
[pid=2139/tid=2160] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2160/stat : 2160 (java) S 2137 2139 28154 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831048332 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
[pid=2139/tid=2179] ppid=2137 vsize=10557032 CPUtime=689.44 cores=0,2,4,6
/proc/2139/task/2179/stat : 2179 (java) R 2137 2139 28154 0 -1 4202560 41 0 0 0 68944 0 0 0 24 0 22 0 831065436 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 46912505976236 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2139/tid=2180] ppid=2137 vsize=10557032 CPUtime=689.47 cores=0,2,4,6
/proc/2139/task/2180/stat : 2180 (java) R 2137 2139 28154 0 -1 4202560 23 0 0 0 68947 0 0 0 24 0 22 0 831065436 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 46912506014028 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=2139/tid=2181] ppid=2137 vsize=10557032 CPUtime=0 cores=0,2,4,6
/proc/2139/task/2181/stat : 2181 (java) S 2137 2139 28154 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831065436 10810400768 268218 33554432000 1073741824 1073778376 140735505277456 18446744073709551615 210216463872 0 4 0 16800975 18446604447298830592 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 10557032

Child status: 143
Real time (s): 948
CPU time (s): 1800.25
CPU user time (s): 1799.78
CPU system time (s): 0.470928
CPU usage (%): 189.9
Max. virtual memory (cumulated for all children) (KiB): 10559516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.470928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277653
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28728
involuntary context switches= 22674

runsolver used 5.04323 second user time and 10.5504 second system time

The end

Launcher Data 

Begin job on node130 at 2011-06-04 15:34:58
IDJOB=3453928
IDBENCH=48132
IDSOLVER=1950
FILE ID=node130/3453928-1307194498
RUNJOBID= node130-1307194125-1157
PBS_JOBID= 13508832
Free space on /tmp= 73856 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_4.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3453928-1307194498/watcher-3453928-1307194498 -o /tmp/evaluation-result-3453928-1307194498/solver-3453928-1307194498 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453928-1307194498.opb

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

MD5SUM BENCH= 64354bd2b9c3cc2f1ca2c32032e5c032
RANDOM SEED=189044050

node130.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26181088 kB
Buffers:        292820 kB
Cached:         457192 kB
SwapCached:       9700 kB
Active:        6100028 kB
Inactive:       386456 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26181088 kB
SwapTotal:    67111528 kB
SwapFree:     63649284 kB
Dirty:             464 kB
Writeback:           0 kB
AnonPages:     5734792 kB
Mapped:          38952 kB
Slab:           158744 kB
PageTables:      56280 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 155471316 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73856 MiB
End job on node130 at 2011-06-04 15:50:48