Trace number 3736833

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
PB11: Sat4j Res//CP 2.3.0SAT (TO)13 1800.1 944.732

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.226
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.05/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.09	c See www.sat4j.org for details.
0.05/0.09	c version 2.3.1.v20110525
0.05/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.09	c java.vm.version	19.1-b02
0.05/0.09	c java.vm.vendor	Sun Microsystems Inc.
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 		9996466904
0.05/0.09	c Max memory 		10048897024
0.05/0.09	c Total memory 		10048897024
0.05/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3736833-1338718233.opb
0.09/0.12	c reading problem ... 
1.03/0.52	c ... done. Wall clock time 0.407s.
1.03/0.52	c #vars     6460
1.03/0.52	c #constraints  12720
1.03/0.52	c constraints type 
1.03/0.52	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6460
1.03/0.52	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6260
1.03/0.52	c constraints type 
1.03/0.52	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6460
1.03/0.52	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6260
1.39/0.64	c  And the winner is Resolution
1.91/1.03	c SATISFIABLE
1.91/1.03	c OPTIMIZING...
1.91/1.03	c Got one! Elapsed wall clock time (in seconds):0.914
1.91/1.03	o 17
1.91/1.08	c  And the winner is Resolution
2.13/1.54	c Got one! Elapsed wall clock time (in seconds):1.421
2.13/1.54	o 16
3.61/2.07	c  And the winner is Resolution
3.80/2.54	c Got one! Elapsed wall clock time (in seconds):2.424
3.80/2.54	o 15
4.99/3.17	c cleaning 2798 clauses out of 5600 with flag 3000/5600
7.53/4.31	c cleaning 4398 clauses out of 8805 with flag 9003/11603
10.10/5.67	c cleaning 5700 clauses out of 11405 with flag 16001/18601
13.34/7.21	c cleaning 6847 clauses out of 13704 with flag 24000/26600
17.08/9.13	c cleaning 7926 clauses out of 15857 with flag 33000/35600
20.81/11.06	c cleaning 8961 clauses out of 17933 with flag 43002/45602
24.95/13.20	c cleaning 9979 clauses out of 19970 with flag 54000/56600
30.06/15.75	c cleaning 10990 clauses out of 21991 with flag 66000/68600
35.14/18.31	c cleaning 11997 clauses out of 24001 with flag 79000/81600
40.26/20.92	c cleaning 12498 clauses out of 25007 with flag 92003/94603
44.96/23.39	c cleaning 12749 clauses out of 25506 with flag 105000/107600
49.86/25.84	c cleaning 12875 clauses out of 25761 with flag 118004/120604
55.31/28.62	c cleaning 12937 clauses out of 25882 with flag 131000/133600
60.39/31.21	c cleaning 12968 clauses out of 25946 with flag 144001/146601
65.67/33.92	c cleaning 12980 clauses out of 25977 with flag 157000/159600
71.16/36.73	c cleaning 12995 clauses out of 25998 with flag 170001/172601
75.98/39.22	c cleaning 12996 clauses out of 26002 with flag 183000/185600
81.46/42.02	c cleaning 12997 clauses out of 26006 with flag 196000/198600
84.94/43.88	c  And the winner is CuttingPlanes
84.95/44.17	c Got one! Elapsed wall clock time (in seconds):44.055
84.95/44.17	o 14
87.02/45.23	c cleaning 13273 clauses out of 26551 with flag 5003/212142
89.51/46.56	c cleaning 9634 clauses out of 19275 with flag 11000/218139
92.70/48.20	c cleaning 8320 clauses out of 16643 with flag 18002/225141
96.00/49.97	c cleaning 8155 clauses out of 16321 with flag 26000/233139
99.67/51.89	c cleaning 8580 clauses out of 17168 with flag 35002/242141
104.13/54.16	c cleaning 9290 clauses out of 18587 with flag 45001/252140
108.71/56.60	c cleaning 10143 clauses out of 20299 with flag 56003/263142
113.76/59.14	c cleaning 11073 clauses out of 22155 with flag 68002/275141
119.42/62.08	c cleaning 12038 clauses out of 24081 with flag 81001/288140
124.90/64.83	c cleaning 12515 clauses out of 25043 with flag 94001/301140
130.65/67.84	c cleaning 12757 clauses out of 25527 with flag 107000/314139
136.30/70.77	c cleaning 12882 clauses out of 25771 with flag 120001/327140
142.35/73.87	c cleaning 12939 clauses out of 25889 with flag 133001/340140
148.61/77.07	c cleaning 12970 clauses out of 25949 with flag 146000/353139
154.37/80.03	c cleaning 12986 clauses out of 25979 with flag 159000/366139
160.43/83.11	c cleaning 12994 clauses out of 25994 with flag 172001/379140
165.86/85.99	c cleaning 12996 clauses out of 26001 with flag 185002/392141
172.09/89.16	c cleaning 12997 clauses out of 26004 with flag 198001/405140
178.41/92.40	c cleaning 12999 clauses out of 26006 with flag 211000/418139
184.41/95.56	c cleaning 13002 clauses out of 26007 with flag 224000/431139
190.42/98.64	c cleaning 12998 clauses out of 26006 with flag 237001/444140
196.84/101.99	c cleaning 12997 clauses out of 26008 with flag 250001/457140
203.42/105.35	c cleaning 13003 clauses out of 26012 with flag 263002/470141
209.22/108.36	c cleaning 12999 clauses out of 26007 with flag 276000/483139
214.82/111.25	c cleaning 12999 clauses out of 26008 with flag 289000/496139
220.03/113.97	c cleaning 12998 clauses out of 26010 with flag 302001/509140
225.91/117.00	c cleaning 13000 clauses out of 26011 with flag 315000/522139
231.72/120.06	c cleaning 13003 clauses out of 26012 with flag 328001/535140
238.52/123.50	c cleaning 13001 clauses out of 26009 with flag 341001/548140
244.53/126.64	c cleaning 12997 clauses out of 26010 with flag 354003/561142
250.83/129.99	c cleaning 12997 clauses out of 26010 with flag 367000/574139
257.43/133.35	c cleaning 12999 clauses out of 26013 with flag 380000/587139
263.84/136.61	c cleaning 13003 clauses out of 26015 with flag 393001/600140
269.25/139.49	c cleaning 13001 clauses out of 26012 with flag 406001/613140
275.13/142.52	c cleaning 13000 clauses out of 26011 with flag 419001/626140
281.32/145.73	c cleaning 13001 clauses out of 26011 with flag 432001/639140
287.92/149.11	c cleaning 12997 clauses out of 26009 with flag 445000/652139
294.32/152.45	c cleaning 13001 clauses out of 26015 with flag 458003/665142
301.22/156.04	c cleaning 13000 clauses out of 26011 with flag 471000/678139
307.83/159.42	c cleaning 12999 clauses out of 26011 with flag 484000/691139
314.62/162.96	c cleaning 13000 clauses out of 26012 with flag 497000/704139
321.44/166.40	c cleaning 13003 clauses out of 26013 with flag 510001/717140
328.33/170.00	c cleaning 13003 clauses out of 26009 with flag 523000/730139
334.14/173.09	c cleaning 12999 clauses out of 26006 with flag 536000/743139
340.14/176.19	c cleaning 12996 clauses out of 26007 with flag 549000/756139
346.36/179.33	c cleaning 12999 clauses out of 26011 with flag 562000/769139
352.44/182.56	c cleaning 13000 clauses out of 26012 with flag 575000/782139
358.43/185.66	c cleaning 13004 clauses out of 26012 with flag 588000/795139
364.04/188.56	c cleaning 12997 clauses out of 26008 with flag 601000/808139
370.46/191.84	c cleaning 13000 clauses out of 26012 with flag 614001/821140
376.74/195.19	c cleaning 13000 clauses out of 26011 with flag 627000/834139
382.36/198.07	c cleaning 13000 clauses out of 26014 with flag 640003/847142
387.77/200.90	c cleaning 13005 clauses out of 26013 with flag 653002/860141
393.76/203.91	c cleaning 12998 clauses out of 26007 with flag 666001/873140
398.84/206.70	c cleaning 12998 clauses out of 26008 with flag 679000/886139
405.02/209.83	c cleaning 13001 clauses out of 26011 with flag 692001/899140
410.80/212.85	c cleaning 12997 clauses out of 26011 with flag 705002/912141
417.00/216.05	c cleaning 13001 clauses out of 26014 with flag 718002/925141
423.07/219.21	c cleaning 12997 clauses out of 26012 with flag 731001/938140
428.46/222.09	c cleaning 13000 clauses out of 26014 with flag 744000/951139
434.45/225.11	c cleaning 12999 clauses out of 26014 with flag 757000/964139
440.65/228.31	c cleaning 13005 clauses out of 26015 with flag 770000/977139
446.31/231.35	c cleaning 12994 clauses out of 26011 with flag 783001/990140
452.70/234.61	c cleaning 13001 clauses out of 26017 with flag 796001/1003140
459.29/238.08	c cleaning 13002 clauses out of 26015 with flag 809000/1016139
466.07/241.59	c cleaning 12998 clauses out of 26013 with flag 822000/1029139
472.91/245.17	c cleaning 13000 clauses out of 26015 with flag 835000/1042139
479.89/248.79	c cleaning 13000 clauses out of 26015 with flag 848000/1055139
486.86/252.39	c cleaning 13000 clauses out of 26016 with flag 861001/1068140
494.24/256.13	c cleaning 13000 clauses out of 26015 with flag 874000/1081139
501.05/259.75	c cleaning 13002 clauses out of 26016 with flag 887001/1094140
506.21/262.48	c cleaning 13005 clauses out of 26013 with flag 900000/1107139
511.77/265.33	c cleaning 12996 clauses out of 26009 with flag 913001/1120140
517.74/268.45	c cleaning 13002 clauses out of 26013 with flag 926001/1133140
524.94/272.29	c cleaning 13002 clauses out of 26010 with flag 939000/1146139
531.68/275.70	c cleaning 12997 clauses out of 26008 with flag 952000/1159139
538.46/279.26	c cleaning 13003 clauses out of 26013 with flag 965002/1172141
544.60/282.46	c cleaning 13002 clauses out of 26012 with flag 978004/1185143
551.01/285.89	c cleaning 12996 clauses out of 26006 with flag 991000/1198139
557.36/289.19	c cleaning 13001 clauses out of 26014 with flag 1004004/1211143
563.51/292.38	c cleaning 12998 clauses out of 26010 with flag 1017001/1224140
569.67/295.58	c cleaning 13002 clauses out of 26013 with flag 1030002/1237141
570.30/296.06	c  And the winner is Resolution
571.07/297.39	c Got one! Elapsed wall clock time (in seconds):297.274
571.07/297.39	o 13
572.01/298.19	c cleaning 9042 clauses out of 18100 with flag 5001/1242230
574.37/299.44	c cleaning 7522 clauses out of 15058 with flag 11001/1248230
576.93/300.87	c cleaning 7263 clauses out of 14536 with flag 18001/1255230
580.08/302.52	c cleaning 7631 clauses out of 15273 with flag 26001/1263230
583.43/304.49	c cleaning 8314 clauses out of 16642 with flag 35001/1272230
587.37/306.53	c cleaning 9156 clauses out of 18327 with flag 45000/1282229
591.71/308.84	c cleaning 10078 clauses out of 20172 with flag 56001/1293230
596.46/311.37	c cleaning 11043 clauses out of 22094 with flag 68001/1305230
603.05/314.90	c cleaning 12020 clauses out of 24051 with flag 81001/1318230
609.99/318.41	c cleaning 12513 clauses out of 25031 with flag 94001/1331230
616.51/321.80	c cleaning 12754 clauses out of 25517 with flag 107000/1344229
623.06/325.27	c cleaning 12877 clauses out of 25763 with flag 120000/1357229
630.03/328.95	c cleaning 12936 clauses out of 25886 with flag 133000/1370229
637.15/332.62	c cleaning 12971 clauses out of 25950 with flag 146000/1383229
643.88/336.14	c cleaning 12983 clauses out of 25979 with flag 159000/1396229
650.20/339.49	c cleaning 12995 clauses out of 25999 with flag 172003/1409232
656.95/343.07	c cleaning 12998 clauses out of 26001 with flag 185000/1422229
664.29/346.80	c cleaning 12997 clauses out of 26003 with flag 198000/1435229
671.61/350.61	c cleaning 12998 clauses out of 26006 with flag 211000/1448229
678.93/354.47	c cleaning 12997 clauses out of 26008 with flag 224000/1461229
686.71/358.55	c cleaning 13001 clauses out of 26011 with flag 237000/1474229
694.02/362.38	c cleaning 12998 clauses out of 26010 with flag 250000/1487229
701.54/366.30	c cleaning 13000 clauses out of 26013 with flag 263001/1500230
709.06/370.18	c cleaning 12999 clauses out of 26012 with flag 276000/1513229
717.20/374.46	c cleaning 13004 clauses out of 26015 with flag 289002/1526231
724.73/378.38	c cleaning 13001 clauses out of 26009 with flag 302000/1539229
732.02/382.19	c cleaning 12997 clauses out of 26009 with flag 315001/1552230
738.14/385.40	c cleaning 13002 clauses out of 26011 with flag 328000/1565229
745.27/389.17	c cleaning 13002 clauses out of 26009 with flag 341000/1578229
751.78/392.56	c cleaning 12996 clauses out of 26008 with flag 354001/1591230
759.29/396.45	c cleaning 12999 clauses out of 26012 with flag 367001/1604230
766.00/399.95	c cleaning 13000 clauses out of 26012 with flag 380000/1617229
773.12/403.79	c cleaning 13000 clauses out of 26012 with flag 393000/1630229
780.21/407.44	c cleaning 13004 clauses out of 26013 with flag 406001/1643230
787.30/411.16	c cleaning 12997 clauses out of 26009 with flag 419001/1656230
794.63/414.98	c cleaning 13002 clauses out of 26014 with flag 432003/1669232
802.12/418.90	c cleaning 13000 clauses out of 26009 with flag 445000/1682229
808.62/422.40	c cleaning 12997 clauses out of 26009 with flag 458000/1695229
815.71/426.03	c cleaning 12999 clauses out of 26012 with flag 471000/1708229
822.61/429.68	c cleaning 13000 clauses out of 26014 with flag 484001/1721230
830.09/433.62	c cleaning 13000 clauses out of 26013 with flag 497000/1734229
837.18/437.39	c cleaning 13005 clauses out of 26015 with flag 510002/1747231
844.27/441.00	c cleaning 13000 clauses out of 26009 with flag 523001/1760230
851.12/444.68	c cleaning 12998 clauses out of 26008 with flag 536000/1773229
858.61/448.67	c cleaning 12997 clauses out of 26012 with flag 549002/1786231
866.09/452.53	c cleaning 13001 clauses out of 26013 with flag 562000/1799229
873.61/456.47	c cleaning 12998 clauses out of 26013 with flag 575001/1812230
881.08/460.39	c cleaning 13001 clauses out of 26014 with flag 588000/1825229
888.36/464.29	c cleaning 12998 clauses out of 26013 with flag 601000/1838229
895.03/467.78	c cleaning 13003 clauses out of 26015 with flag 614000/1851229
901.92/471.35	c cleaning 12999 clauses out of 26013 with flag 627001/1864230
908.79/474.95	c cleaning 13001 clauses out of 26016 with flag 640003/1877232
916.25/478.93	c cleaning 13003 clauses out of 26013 with flag 653001/1890230
922.73/482.32	c cleaning 12999 clauses out of 26011 with flag 666002/1903231
929.60/485.90	c cleaning 13002 clauses out of 26011 with flag 679001/1916230
936.29/489.44	c cleaning 12998 clauses out of 26008 with flag 692000/1929229
943.54/493.34	c cleaning 13000 clauses out of 26011 with flag 705001/1942230
950.62/497.01	c cleaning 13001 clauses out of 26013 with flag 718003/1955232
957.71/500.75	c cleaning 12998 clauses out of 26010 with flag 731001/1968230
965.21/504.60	c cleaning 13000 clauses out of 26011 with flag 744000/1981229
972.70/508.64	c cleaning 13000 clauses out of 26012 with flag 757001/1994230
978.60/511.76	c cleaning 13002 clauses out of 26011 with flag 770000/2007229
984.49/514.81	c cleaning 12996 clauses out of 26009 with flag 783000/2020229
990.37/517.99	c cleaning 12999 clauses out of 26013 with flag 796000/2033229
996.44/521.26	c cleaning 13000 clauses out of 26014 with flag 809000/2046229
1002.53/524.49	c cleaning 12999 clauses out of 26014 with flag 822000/2059229
1009.03/527.82	c cleaning 13003 clauses out of 26015 with flag 835000/2072229
1015.10/531.08	c cleaning 13002 clauses out of 26013 with flag 848001/2085230
1021.19/534.39	c cleaning 12999 clauses out of 26011 with flag 861001/2098230
1027.28/537.55	c cleaning 12996 clauses out of 26011 with flag 874000/2111229
1033.56/540.83	c cleaning 13000 clauses out of 26016 with flag 887001/2124230
1040.06/544.21	c cleaning 13000 clauses out of 26015 with flag 900000/2137229
1046.18/547.56	c cleaning 13002 clauses out of 26016 with flag 913001/2150230
1052.47/550.86	c cleaning 13000 clauses out of 26013 with flag 926000/2163229
1058.76/554.17	c cleaning 12996 clauses out of 26014 with flag 939001/2176230
1065.25/557.54	c cleaning 12997 clauses out of 26017 with flag 952000/2189229
1071.96/561.19	c cleaning 13000 clauses out of 26020 with flag 965000/2202229
1078.04/564.34	c cleaning 13006 clauses out of 26020 with flag 978000/2215229
1084.11/567.55	c cleaning 13006 clauses out of 26014 with flag 991000/2228229
1090.96/571.14	c cleaning 12996 clauses out of 26009 with flag 1004001/2241230
1097.82/574.80	c cleaning 13001 clauses out of 26013 with flag 1017001/2254230
1104.31/578.20	c cleaning 13000 clauses out of 26013 with flag 1030002/2267231
1111.40/581.91	c cleaning 12999 clauses out of 26011 with flag 1043000/2280229
1119.27/586.06	c cleaning 13002 clauses out of 26013 with flag 1056001/2293230
1126.93/590.16	c cleaning 12997 clauses out of 26010 with flag 1069000/2306229
1134.59/594.17	c cleaning 13003 clauses out of 26015 with flag 1082002/2319231
1142.46/598.25	c cleaning 13001 clauses out of 26013 with flag 1095003/2332232
1150.54/602.43	c cleaning 12998 clauses out of 26012 with flag 1108003/2345232
1157.01/605.98	c cleaning 12997 clauses out of 26012 with flag 1121001/2358230
1163.51/609.40	c cleaning 13002 clauses out of 26014 with flag 1134000/2371229
1170.18/612.84	c cleaning 13001 clauses out of 26013 with flag 1147001/2384230
1176.87/616.35	c cleaning 13002 clauses out of 26015 with flag 1160004/2397233
1183.73/620.04	c cleaning 13001 clauses out of 26009 with flag 1173000/2410229
1191.01/623.81	c cleaning 12993 clauses out of 26008 with flag 1186000/2423229
1197.89/627.46	c cleaning 12999 clauses out of 26015 with flag 1199000/2436229
1205.17/631.20	c cleaning 13003 clauses out of 26018 with flag 1212002/2449231
1212.65/635.26	c cleaning 12999 clauses out of 26013 with flag 1225000/2462229
1220.15/639.19	c cleaning 13001 clauses out of 26016 with flag 1238002/2475231
1227.61/643.06	c cleaning 13001 clauses out of 26015 with flag 1251002/2488231
1235.30/647.03	c cleaning 13001 clauses out of 26014 with flag 1264002/2501231
1243.00/651.16	c cleaning 12999 clauses out of 26012 with flag 1277001/2514230
1250.47/655.08	c cleaning 13001 clauses out of 26013 with flag 1290001/2527230
1258.16/659.01	c cleaning 13000 clauses out of 26011 with flag 1303000/2540229
1265.45/662.87	c cleaning 12997 clauses out of 26012 with flag 1316001/2553230
1273.12/666.96	c cleaning 13003 clauses out of 26016 with flag 1329002/2566231
1280.40/670.79	c cleaning 12997 clauses out of 26012 with flag 1342001/2579230
1288.10/674.75	c cleaning 13000 clauses out of 26014 with flag 1355000/2592229
1295.58/678.69	c cleaning 13000 clauses out of 26015 with flag 1368001/2605230
1303.61/682.98	c cleaning 12998 clauses out of 26014 with flag 1381000/2618229
1311.48/687.05	c cleaning 13000 clauses out of 26018 with flag 1394002/2631231
1318.97/690.93	c cleaning 13004 clauses out of 26019 with flag 1407003/2644232
1325.87/694.52	c cleaning 13000 clauses out of 26014 with flag 1420002/2657231
1333.35/698.51	c cleaning 13002 clauses out of 26014 with flag 1433002/2670231
1340.42/702.21	c cleaning 13000 clauses out of 26010 with flag 1446000/2683229
1347.71/706.03	c cleaning 13000 clauses out of 26011 with flag 1459001/2696230
1354.98/709.89	c cleaning 13001 clauses out of 26013 with flag 1472003/2709232
1362.84/714.03	c cleaning 13000 clauses out of 26010 with flag 1485001/2722230
1370.14/717.86	c cleaning 13001 clauses out of 26011 with flag 1498002/2735231
1377.41/721.69	c cleaning 12997 clauses out of 26009 with flag 1511001/2748230
1385.10/725.64	c cleaning 12999 clauses out of 26011 with flag 1524000/2761229
1392.77/729.72	c cleaning 12999 clauses out of 26014 with flag 1537002/2774231
1400.25/733.69	c cleaning 13002 clauses out of 26016 with flag 1550003/2787232
1407.92/737.65	c cleaning 12999 clauses out of 26012 with flag 1563001/2800230
1415.80/741.71	c cleaning 12995 clauses out of 26012 with flag 1576000/2813229
1423.64/745.97	c cleaning 13003 clauses out of 26020 with flag 1589003/2826232
1431.30/749.90	c cleaning 13000 clauses out of 26015 with flag 1602001/2839230
1438.96/753.96	c cleaning 13003 clauses out of 26017 with flag 1615003/2852232
1446.83/758.02	c cleaning 12998 clauses out of 26012 with flag 1628001/2865230
1454.48/762.19	c cleaning 12997 clauses out of 26013 with flag 1641000/2878229
1461.14/765.69	c cleaning 13004 clauses out of 26016 with flag 1654000/2891229
1466.80/768.66	c cleaning 0 clauses out of 6662 with flag 0/6663
1468.26/769.49	c cleaning 13000 clauses out of 26013 with flag 1667001/2904230
1475.29/773.26	c cleaning 12998 clauses out of 26012 with flag 1680000/2917229
1481.74/776.65	c cleaning 13000 clauses out of 26015 with flag 1693001/2930230
1488.39/780.15	c cleaning 13000 clauses out of 26015 with flag 1706001/2943230
1495.04/783.68	c cleaning 12998 clauses out of 26014 with flag 1719000/2956229
1502.07/787.44	c cleaning 13001 clauses out of 26016 with flag 1732000/2969229
1508.91/791.08	c cleaning 13001 clauses out of 26017 with flag 1745002/2982231
1515.98/794.79	c cleaning 13001 clauses out of 26016 with flag 1758002/2995231
1522.64/798.22	c cleaning 12998 clauses out of 26013 with flag 1771000/3008229
1530.03/802.21	c cleaning 12996 clauses out of 26015 with flag 1784000/3021229
1536.88/805.88	c cleaning 13006 clauses out of 26021 with flag 1797002/3034231
1543.94/809.57	c cleaning 12999 clauses out of 26014 with flag 1810001/3047230
1550.20/812.87	c cleaning 13001 clauses out of 26017 with flag 1823003/3060232
1557.00/816.56	c cleaning 12999 clauses out of 26013 with flag 1836000/3073229
1563.84/820.19	c cleaning 13000 clauses out of 26016 with flag 1849002/3086231
1570.88/823.84	c cleaning 12998 clauses out of 26015 with flag 1862001/3099230
1578.30/827.71	c cleaning 12999 clauses out of 26016 with flag 1875000/3112229
1585.92/831.82	c cleaning 13001 clauses out of 26018 with flag 1888001/3125230
1592.57/835.35	c cleaning 13000 clauses out of 26017 with flag 1901001/3138230
1600.01/839.25	c cleaning 12998 clauses out of 26016 with flag 1914000/3151229
1607.62/843.23	c cleaning 13001 clauses out of 26018 with flag 1927000/3164229
1613.85/846.62	c cleaning 13003 clauses out of 26018 with flag 1940001/3177230
1619.91/849.84	c cleaning 12999 clauses out of 26015 with flag 1953001/3190230
1626.36/853.24	c cleaning 13000 clauses out of 26016 with flag 1966001/3203230
1632.82/856.68	c cleaning 13002 clauses out of 26016 with flag 1979001/3216230
1639.27/860.10	c cleaning 13004 clauses out of 26015 with flag 1992002/3229231
1644.89/863.17	c cleaning 13001 clauses out of 26010 with flag 2005001/3242230
1651.14/866.47	c cleaning 12996 clauses out of 26008 with flag 2018000/3255229
1658.00/870.02	c cleaning 12999 clauses out of 26014 with flag 2031002/3268231
1665.20/873.95	c cleaning 13003 clauses out of 26014 with flag 2044001/3281230
1672.24/877.60	c cleaning 13000 clauses out of 26011 with flag 2057001/3294230
1679.09/881.22	c cleaning 13004 clauses out of 26014 with flag 2070004/3307233
1686.35/885.00	c cleaning 12997 clauses out of 26007 with flag 2083001/3320230
1693.96/889.15	c cleaning 12995 clauses out of 26011 with flag 2096002/3333231
1700.80/892.78	c cleaning 13000 clauses out of 26014 with flag 2109000/3346229
1707.64/896.32	c cleaning 13001 clauses out of 26016 with flag 2122002/3359231
1714.49/899.90	c cleaning 12999 clauses out of 26013 with flag 2135000/3372229
1721.50/903.74	c cleaning 13002 clauses out of 26014 with flag 2148000/3385229
1728.35/907.38	c cleaning 12996 clauses out of 26014 with flag 2161002/3398231
1735.20/910.97	c cleaning 13003 clauses out of 26017 with flag 2174001/3411230
1741.83/914.44	c cleaning 13001 clauses out of 26013 with flag 2187000/3424229
1748.86/918.28	c cleaning 13003 clauses out of 26013 with flag 2200001/3437230
1755.90/921.94	c cleaning 13000 clauses out of 26011 with flag 2213002/3450231
1762.96/925.67	c cleaning 12997 clauses out of 26010 with flag 2226001/3463230
1770.43/929.57	c cleaning 13000 clauses out of 26012 with flag 2239000/3476229
1778.24/933.80	c cleaning 13002 clauses out of 26014 with flag 2252002/3489231
1785.28/937.44	c cleaning 12998 clauses out of 26012 with flag 2265002/3502231
1792.72/941.32	c cleaning 13003 clauses out of 26014 with flag 2278002/3515231
1799.20/944.71	c starts		: 372
1799.20/944.71	c conflicts		: 3525385
1799.20/944.71	c decisions		: 5459145
1799.20/944.71	c propagations		: 690104829
1799.20/944.71	c inspects		: 7102793766
1799.20/944.71	c shortcuts		: 0
1799.20/944.71	c learnt literals	: 0
1799.20/944.71	c learnt binary clauses	: 0
1799.20/944.71	c learnt ternary clauses	: 0
1799.20/944.71	c learnt constraints	: 3525385
1799.20/944.71	c ignored constraints	: 0
1799.20/944.71	c root simplifications	: 0
1799.20/944.71	c removed literals (reason simplification)	: 14314205
1799.20/944.71	c reason swapping (by a shorter reason)	: 0
1799.20/944.71	c Calls to reduceDB	: 278
1799.20/944.71	c number of reductions to clauses (during analyze)	: 0
1799.20/944.71	c number of learned constraints concerned by reduction	: 0
1799.20/944.71	c number of learning phase by resolution	: 0
1799.20/944.71	c number of learning phase by cutting planes	: 0
1799.20/944.71	c speed (assignments/second)	: 1066100.3418726837
1799.20/944.71	c non guided choices	0
1799.20/944.72	c learnt constraints type 
1799.20/944.72	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 23185
1799.20/944.72	c constraints type 
1799.20/944.72	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6460
1799.20/944.72	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1799.20/944.72	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6260
1799.20/944.72	c constraints type 
1799.20/944.72	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6460
1799.20/944.72	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1799.20/944.72	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6260
1799.20/944.72	s SATISFIABLE
1799.20/944.72	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 
1799.20/944.72	c objective function=13
1799.20/944.72	c Total wall clock time (in seconds): 944.604

Verifier Data 

OK	13

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-3736833-1338718233/watcher-3736833-1338718233 -o /tmp/evaluation-result-3736833-1338718233/solver-3736833-1338718233 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3736833-1338718233.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: 4.29 4.02 3.85 4/198 20011
/proc/meminfo: memFree=25726988/32873660 swapFree=7120/7120
[pid=20011] ppid=20009 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/20011/stat : 20011 (java) R 20009 20011 18226 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 337949012 9515008 182 33554432000 1073741824 1073778376 140737445414576 140737445405608 270330052277 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20011/statm: 2323 182 140 9 0 71 0

[startup+0.0795999 s]
/proc/loadavg: 4.29 4.02 3.85 4/198 20011
/proc/meminfo: memFree=25726988/32873660 swapFree=7120/7120
[pid=20011] ppid=20009 vsize=11586392 CPUtime=0.05 cores=1,3,5,7
/proc/20011/stat : 20011 (java) S 20009 20011 18226 0 -1 4202496 4430 0 1 0 5 0 0 0 20 0 18 0 337949012 11864465408 12793 33554432000 1073741824 1073778376 140736332493104 140736332484240 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20011/statm: 2896598 12793 1766 9 0 2887285 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11586392

[startup+0.100202 s]
/proc/loadavg: 4.29 4.02 3.85 4/198 20011
/proc/meminfo: memFree=25726988/32873660 swapFree=7120/7120
[pid=20011] ppid=20009 vsize=11586392 CPUtime=0.09 cores=1,3,5,7
/proc/20011/stat : 20011 (java) S 20009 20011 18226 0 -1 4202496 5238 0 1 0 8 1 0 0 20 0 18 0 337949012 11864465408 13588 33554432000 1073741824 1073778376 140736332493104 140736332484240 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20011/statm: 2896598 13588 2116 9 0 2887285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11586392

[startup+0.300233 s]
/proc/loadavg: 4.29 4.02 3.85 4/198 20011
/proc/meminfo: memFree=25726988/32873660 swapFree=7120/7120
[pid=20011] ppid=20009 vsize=11586392 CPUtime=0.45 cores=1,3,5,7
/proc/20011/stat : 20011 (java) S 20009 20011 18226 0 -1 4202496 6260 0 1 0 44 1 0 0 20 0 18 0 337949012 11864465408 15910 33554432000 1073741824 1073778376 140736332493104 140736332484240 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20011/statm: 2896598 15910 2232 9 0 2887285 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 11586392

[startup+0.700254 s]
/proc/loadavg: 4.29 4.02 3.85 4/198 20011
/proc/meminfo: memFree=25726988/32873660 swapFree=7120/7120
[pid=20011] ppid=20009 vsize=11852648 CPUtime=1.7 cores=1,3,5,7
/proc/20011/stat : 20011 (java) S 20009 20011 18226 0 -1 4202496 14187 0 1 0 165 5 0 0 20 0 19 0 337949012 12137111552 25870 33554432000 1073741824 1073778376 140736332493104 140736332484240 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20011/statm: 2963162 25870 2264 9 0 2953849 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 11852648

[startup+1.50065 s]
/proc/loadavg: 4.35 4.03 3.85 3/217 20033
/proc/meminfo: memFree=25632260/32873660 swapFree=7120/7120
[pid=20011] ppid=20009 vsize=11852648 CPUtime=2.13 cores=1,3,5,7
/proc/20011/stat : 20011 (java) S 20009 20011 18226 0 -1 4202496 15101 0 1 0 205 8 0 0 20 0 19 0 337949012 12137111552 27961 33554432000 1073741824 1073778376 140736332493104 140736332484240 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20011/statm: 2963162 27961 2268 9 0 2953849 0
[pid=20011/tid=20013] ppid=20009 vsize=11852648 CPUtime=0.5 cores=1,3,5,7
/proc/20011/task/20013/stat : 20013 (java) S 20009 20011 18226 0 -1 4202560 3390 0 1 0 49 1 0 0 20 0 19 0 337949013 12137111552 27961 33554432000 1073741824 1073778376 140736332493104 139832469042328 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20011/tid=20014] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20014/stat : 20014 (java) S 20009 20011 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337949015 12137111552 27961 33554432000 1073741824 1073778376 140736332493104 139832306293416 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20015] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20015/stat : 20015 (java) S 20009 20011 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337949015 12137111552 27961 33554432000 1073741824 1073778376 140736332493104 139832305240872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20011/tid=20016] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20016/stat : 20016 (java) S 20009 20011 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337949015 12137111552 27961 33554432000 1073741824 1073778376 140736332493104 139832304188328 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20011/tid=20017] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20017/stat : 20017 (java) S 20009 20011 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337949015 12137111552 27961 33554432000 1073741824 1073778376 140736332493104 139832303135784 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20011/tid=20018] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20018/stat : 20018 (java) S 20009 20011 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337949015 12137111552 27961 33554432000 1073741824 1073778376 140736332493104 139832302082216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20019] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20019/stat : 20019 (java) S 20009 20011 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337949015 12137111552 27961 33554432000 1073741824 1073778376 140736332493104 139832301029672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20011/tid=20020] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20020/stat : 20020 (java) S 20009 20011 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337949015 12137111552 27961 33554432000 1073741824 1073778376 140736332493104 139832299977128 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20011/tid=20021] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20021/stat : 20021 (java) S 20009 20011 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337949015 12137111552 27961 33554432000 1073741824 1073778376 140736332493104 139832298924584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20022] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20022/stat : 20022 (java) S 20009 20011 18226 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 337949016 12137111552 27961 33554432000 1073741824 1073778376 140736332493104 139832286513768 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20023] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20023/stat : 20023 (java) S 20009 20011 18226 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337949016 12137111552 27961 33554432000 1073741824 1073778376 140736332493104 139832285460088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20024] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20024/stat : 20024 (java) S 20009 20011 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337949016 12137111552 27961 33554432000 1073741824 1073778376 140736332493104 139832284407432 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20025] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20025/stat : 20025 (java) S 20009 20011 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337949019 12137111552 27961 33554432000 1073741824 1073778376 140736332493104 139832283356176 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20026] ppid=20009 vsize=11852648 CPUtime=0.64 cores=1,3,5,7
/proc/20011/task/20026/stat : 20026 (java) S 20009 20011 18226 0 -1 4202560 5044 0 0 0 64 0 0 0 20 0 19 0 337949019 12137111552 27961 33554432000 1073741824 1073778376 140736332493104 139832282302520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20027] ppid=20009 vsize=11852648 CPUtime=0.58 cores=1,3,5,7
/proc/20011/task/20027/stat : 20027 (java) S 20009 20011 18226 0 -1 4202560 5355 0 0 0 56 2 0 0 20 0 19 0 337949019 12137111552 27961 33554432000 1073741824 1073778376 140736332493104 139832281249976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20011/tid=20028] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20028/stat : 20028 (java) S 20009 20011 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337949019 12137111552 27961 33554432000 1073741824 1073778376 140736332493104 139832280197624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20011/tid=20029] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20029/stat : 20029 (java) S 20009 20011 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337949019 12137111552 27961 33554432000 1073741824 1073778376 140736332493104 139832279145288 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20011/tid=20033] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20033/stat : 20033 (java) S 20009 20011 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337949066 12137111552 27961 33554432000 1073741824 1073778376 140736332493104 139832274933416 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 11852648

[startup+3.10065 s]
/proc/loadavg: 4.35 4.03 3.85 3/217 20039
/proc/meminfo: memFree=25487900/32873660 swapFree=7120/7120
[pid=20011] ppid=20009 vsize=11852648 CPUtime=4.99 cores=1,3,5,7
/proc/20011/stat : 20011 (java) S 20009 20011 18226 0 -1 4202496 19696 0 1 0 484 15 0 0 20 0 22 0 337949012 12137111552 101724 33554432000 1073741824 1073778376 140736332493104 140736332484240 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20011/statm: 2963162 101724 2271 9 0 2953849 0
[pid=20011/tid=20013] ppid=20009 vsize=11852648 CPUtime=0.52 cores=1,3,5,7
/proc/20011/task/20013/stat : 20013 (java) S 20009 20011 18226 0 -1 4202560 3390 0 1 0 50 2 0 0 20 0 22 0 337949013 12137111552 101724 33554432000 1073741824 1073778376 140736332493104 139832469042344 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20011/tid=20014] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20014/stat : 20014 (java) S 20009 20011 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337949015 12137111552 101724 33554432000 1073741824 1073778376 140736332493104 139832306293416 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20015] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20015/stat : 20015 (java) S 20009 20011 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337949015 12137111552 101724 33554432000 1073741824 1073778376 140736332493104 139832305240872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20011/tid=20016] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20016/stat : 20016 (java) S 20009 20011 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337949015 12137111552 101724 33554432000 1073741824 1073778376 140736332493104 139832304188328 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20011/tid=20017] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20017/stat : 20017 (java) S 20009 20011 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337949015 12137111552 101724 33554432000 1073741824 1073778376 140736332493104 139832303135784 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20011/tid=20018] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20018/stat : 20018 (java) S 20009 20011 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337949015 12137111552 101724 33554432000 1073741824 1073778376 140736332493104 139832302082216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20019] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20019/stat : 20019 (java) S 20009 20011 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337949015 12137111552 101724 33554432000 1073741824 1073778376 140736332493104 139832301029672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20011/tid=20020] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20020/stat : 20020 (java) S 20009 20011 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337949015 12137111552 101724 33554432000 1073741824 1073778376 140736332493104 139832299977128 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20011/tid=20021] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20021/stat : 20021 (java) S 20009 20011 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337949015 12137111552 101724 33554432000 1073741824 1073778376 140736332493104 139832298924584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20022] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20022/stat : 20022 (java) S 20009 20011 18226 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 337949016 12137111552 101724 33554432000 1073741824 1073778376 140736332493104 139832286513768 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20023] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20023/stat : 20023 (java) S 20009 20011 18226 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 337949016 12137111552 101724 33554432000 1073741824 1073778376 140736332493104 139832285460088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20024] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20024/stat : 20024 (java) S 20009 20011 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337949016 12137111552 101724 33554432000 1073741824 1073778376 140736332493104 139832284407432 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20025] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20025/stat : 20025 (java) S 20009 20011 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337949019 12137111552 101724 33554432000 1073741824 1073778376 140736332493104 139832283356176 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20026] ppid=20009 vsize=11852648 CPUtime=0.97 cores=1,3,5,7
/proc/20011/task/20026/stat : 20026 (java) S 20009 20011 18226 0 -1 4202560 5068 0 0 0 97 0 0 0 20 0 22 0 337949019 12137111552 101724 33554432000 1073741824 1073778376 140736332493104 139832282302520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20027] ppid=20009 vsize=11852648 CPUtime=0.95 cores=1,3,5,7
/proc/20011/task/20027/stat : 20027 (java) S 20009 20011 18226 0 -1 4202560 9766 0 0 0 92 3 0 0 20 0 22 0 337949019 12137111552 101724 33554432000 1073741824 1073778376 140736332493104 139832281249976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20011/tid=20028] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20028/stat : 20028 (java) S 20009 20011 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337949019 12137111552 101724 33554432000 1073741824 1073778376 140736332493104 139832280197624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20011/tid=20029] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20029/stat : 20029 (java) S 20009 20011 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337949019 12137111552 101724 33554432000 1073741824 1073778376 140736332493104 139832279145288 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20011/tid=20033] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20033/stat : 20033 (java) S 20009 20011 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337949066 12137111552 101724 33554432000 1073741824 1073778376 140736332493104 139832274933416 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.99
Current children cumulated vsize (KiB) 11852648

[startup+6.30072 s]
/proc/loadavg: 4.35 4.03 3.85 5/220 20042
/proc/meminfo: memFree=25036140/32873660 swapFree=7120/7120
[pid=20011] ppid=20009 vsize=11852648 CPUtime=11.52 cores=1,3,5,7
/proc/20011/stat : 20011 (java) S 20009 20011 18226 0 -1 4202496 19937 0 1 0 1129 23 0 0 20 0 22 0 337949012 12137111552 175342 33554432000 1073741824 1073778376 140736332493104 140736332484240 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20011/statm: 2963162 175342 2295 9 0 2953849 0
[pid=20011/tid=20013] ppid=20009 vsize=11852648 CPUtime=0.52 cores=1,3,5,7
/proc/20011/task/20013/stat : 20013 (java) S 20009 20011 18226 0 -1 4202560 3390 0 1 0 50 2 0 0 20 0 22 0 337949013 12137111552 175342 33554432000 1073741824 1073778376 140736332493104 139832469042344 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20011/tid=20014] ppid=20009 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/20011/task/20014/stat : 20014 (java) S 20009 20011 18226 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 337949015 12137111552 175342 33554432000 1073741824 1073778376 140736332493104 139832306293416 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20011/tid=20015] ppid=20009 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/20011/task/20015/stat : 20015 (java) S 20009 20011 18226 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 337949015 12137111552 175342 33554432000 1073741824 1073778376 140736332493104 139832305240872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20011/tid=20016] ppid=20009 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/20011/task/20016/stat : 20016 (java) S 20009 20011 18226 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 337949015 12137111552 175342 33554432000 1073741824 1073778376 140736332493104 139832304188328 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20017] ppid=20009 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/20011/task/20017/stat : 20017 (java) S 20009 20011 18226 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 337949015 12137111552 175342 33554432000 1073741824 1073778376 140736332493104 139832303135784 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20018] ppid=20009 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/20011/task/20018/stat : 20018 (java) S 20009 20011 18226 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 337949015 12137111552 175342 33554432000 1073741824 1073778376 140736332493104 139832302082216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20019] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20019/stat : 20019 (java) S 20009 20011 18226 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 337949015 12137111552 175342 33554432000 1073741824 1073778376 140736332493104 139832301029672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20011/tid=20020] ppid=20009 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/20011/task/20020/stat : 20020 (java) S 20009 20011 18226 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 22 0 337949015 12137111552 175342 33554432000 1073741824 1073778376 140736332493104 139832299977128 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20011/tid=20021] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20021/stat : 20021 (java) S 20009 20011 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337949015 12137111552 175342 33554432000 1073741824 1073778376 140736332493104 139832298924584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20022] ppid=20009 vsize=11852648 CPUtime=0.17 cores=1,3,5,7
/proc/20011/task/20022/stat : 20022 (java) S 20009 20011 18226 0 -1 4202560 43 0 0 0 17 0 0 0 20 0 22 0 337949016 12137111552 175342 33554432000 1073741824 1073778376 140736332493104 139832286513768 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20011/tid=20023] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20023/stat : 20023 (java) S 20009 20011 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337949016 12137111552 175342 33554432000 1073741824 1073778376 140736332493104 139832285460088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20024] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20024/stat : 20024 (java) S 20009 20011 18226 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337949016 12137111552 175342 33554432000 1073741824 1073778376 140736332493104 139832284407432 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20025] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20025/stat : 20025 (java) S 20009 20011 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337949019 12137111552 175342 33554432000 1073741824 1073778376 140736332493104 139832283356176 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20026] ppid=20009 vsize=11852648 CPUtime=1.09 cores=1,3,5,7
/proc/20011/task/20026/stat : 20026 (java) S 20009 20011 18226 0 -1 4202560 5070 0 0 0 109 0 0 0 20 0 22 0 337949019 12137111552 175342 33554432000 1073741824 1073778376 140736332493104 139832282302520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20027] ppid=20009 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/20011/task/20027/stat : 20027 (java) S 20009 20011 18226 0 -1 4202560 9769 0 0 0 104 3 0 0 20 0 22 0 337949019 12137111552 175342 33554432000 1073741824 1073778376 140736332493104 139832281249976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20011/tid=20028] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20028/stat : 20028 (java) S 20009 20011 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337949019 12137111552 175342 33554432000 1073741824 1073778376 140736332493104 139832280197624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20011/tid=20029] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20029/stat : 20029 (java) S 20009 20011 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337949019 12137111552 175342 33554432000 1073741824 1073778376 140736332493104 139832279145288 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20033] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20033/stat : 20033 (java) S 20009 20011 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337949066 12137111552 175342 33554432000 1073741824 1073778376 140736332493104 139832274933416 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20040] ppid=20009 vsize=11852648 CPUtime=3.48 cores=1,3,5,7
/proc/20011/task/20040/stat : 20040 (java) R 20009 20011 18226 0 -1 4202560 11 0 0 0 348 0 0 0 20 0 22 0 337949266 12137111552 175342 33554432000 1073741824 1073778376 140736332493104 139832277037904 139832341740616 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20011/tid=20041] ppid=20009 vsize=11852648 CPUtime=3.49 cores=1,3,5,7
/proc/20011/task/20041/stat : 20041 (java) R 20009 20011 18226 0 -1 4202560 197 0 0 0 343 6 0 0 20 0 22 0 337949266 12137111552 175342 33554432000 1073741824 1073778376 140736332493104 139832278090408 139832341691516 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0

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

[pid=20011/tid=20017] ppid=20009 vsize=11852648 CPUtime=1.82 cores=1,3,5,7
/proc/20011/task/20017/stat : 20017 (java) S 20009 20011 18226 0 -1 4202560 148 0 0 0 180 2 0 0 20 0 22 0 337949015 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832303135784 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20011/tid=20018] ppid=20009 vsize=11852648 CPUtime=1.95 cores=1,3,5,7
/proc/20011/task/20018/stat : 20018 (java) S 20009 20011 18226 0 -1 4202560 142 0 0 0 193 2 0 0 20 0 22 0 337949015 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832302082216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20011/tid=20019] ppid=20009 vsize=11852648 CPUtime=1.88 cores=1,3,5,7
/proc/20011/task/20019/stat : 20019 (java) S 20009 20011 18226 0 -1 4202560 130 0 0 0 188 0 0 0 20 0 22 0 337949015 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832301029672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20011/tid=20020] ppid=20009 vsize=11852648 CPUtime=1.82 cores=1,3,5,7
/proc/20011/task/20020/stat : 20020 (java) S 20009 20011 18226 0 -1 4202560 139 0 0 0 181 1 0 0 20 0 22 0 337949015 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832299977128 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20011/tid=20021] ppid=20009 vsize=11852648 CPUtime=1.73 cores=1,3,5,7
/proc/20011/task/20021/stat : 20021 (java) S 20009 20011 18226 0 -1 4202560 104 0 0 0 171 2 0 0 20 0 22 0 337949015 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832298924584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20011/tid=20022] ppid=20009 vsize=11852648 CPUtime=92.31 cores=1,3,5,7
/proc/20011/task/20022/stat : 20022 (java) S 20009 20011 18226 0 -1 4202560 226 0 0 0 9223 8 0 0 20 0 22 0 337949016 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832286513768 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20011/tid=20023] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20023/stat : 20023 (java) S 20009 20011 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337949016 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832285460088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20024] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20024/stat : 20024 (java) S 20009 20011 18226 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337949016 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832284407432 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20025] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20025/stat : 20025 (java) S 20009 20011 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337949019 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832283356176 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20026] ppid=20009 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/20011/task/20026/stat : 20026 (java) S 20009 20011 18226 0 -1 4202560 5074 0 0 0 117 0 0 0 20 0 22 0 337949019 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832282302520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20027] ppid=20009 vsize=11852648 CPUtime=1.46 cores=1,3,5,7
/proc/20011/task/20027/stat : 20027 (java) S 20009 20011 18226 0 -1 4202560 13238 0 0 0 143 3 0 0 20 0 22 0 337949019 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832281249976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20011/tid=20028] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20028/stat : 20028 (java) S 20009 20011 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337949019 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832280197624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20011/tid=20029] ppid=20009 vsize=11852648 CPUtime=0.34 cores=1,3,5,7
/proc/20011/task/20029/stat : 20029 (java) S 20009 20011 18226 0 -1 4202560 54 0 0 0 12 22 0 0 20 0 22 0 337949019 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832279145288 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20011/tid=20046] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20046/stat : 20046 (java) S 20009 20011 18226 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337953429 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832274932904 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20047] ppid=20009 vsize=11852648 CPUtime=569.88 cores=1,3,5,7
/proc/20011/task/20047/stat : 20047 (java) R 20009 20011 18226 0 -1 4202560 52 0 0 0 56979 9 0 0 20 0 22 0 337978751 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832278090320 139832341646381 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20011/tid=20048] ppid=20009 vsize=11852648 CPUtime=569.88 cores=1,3,5,7
/proc/20011/task/20048/stat : 20048 (java) R 20009 20011 18226 0 -1 4202560 25 0 0 0 56979 9 0 0 20 0 22 0 337978751 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832277035992 139832341700141 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20049] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20049/stat : 20049 (java) S 20009 20011 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337978751 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832275985960 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1794.39
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+944.701 s]
/proc/loadavg: 3.99 3.85 3.81 5/219 20138
/proc/meminfo: memFree=25334920/32873660 swapFree=7120/7120
[pid=20011] ppid=20009 vsize=11852648 CPUtime=1799.2 cores=1,3,5,7
/proc/20011/stat : 20011 (java) S 20009 20011 18226 0 -1 4202496 24983 0 1 0 179835 85 0 0 20 0 22 0 337949012 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 140736332484240 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20011/statm: 2963162 263756 2296 9 0 2953849 0
[pid=20011/tid=20013] ppid=20009 vsize=11852648 CPUtime=0.55 cores=1,3,5,7
/proc/20011/task/20013/stat : 20013 (java) S 20009 20011 18226 0 -1 4202560 3553 0 1 0 52 3 0 0 20 0 22 0 337949013 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832469042328 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20011/tid=20014] ppid=20009 vsize=11852648 CPUtime=1.73 cores=1,3,5,7
/proc/20011/task/20014/stat : 20014 (java) S 20009 20011 18226 0 -1 4202560 126 0 0 0 171 2 0 0 20 0 22 0 337949015 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832306293416 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20011/tid=20015] ppid=20009 vsize=11852648 CPUtime=1.81 cores=1,3,5,7
/proc/20011/task/20015/stat : 20015 (java) S 20009 20011 18226 0 -1 4202560 136 0 0 0 180 1 0 0 20 0 22 0 337949015 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832305240872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20016] ppid=20009 vsize=11852648 CPUtime=1.9 cores=1,3,5,7
/proc/20011/task/20016/stat : 20016 (java) S 20009 20011 18226 0 -1 4202560 128 0 0 0 188 2 0 0 20 0 22 0 337949015 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832304188328 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20011/tid=20017] ppid=20009 vsize=11852648 CPUtime=1.82 cores=1,3,5,7
/proc/20011/task/20017/stat : 20017 (java) S 20009 20011 18226 0 -1 4202560 148 0 0 0 180 2 0 0 20 0 22 0 337949015 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832303135784 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20011/tid=20018] ppid=20009 vsize=11852648 CPUtime=1.95 cores=1,3,5,7
/proc/20011/task/20018/stat : 20018 (java) S 20009 20011 18226 0 -1 4202560 142 0 0 0 193 2 0 0 20 0 22 0 337949015 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832302082216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20011/tid=20019] ppid=20009 vsize=11852648 CPUtime=1.88 cores=1,3,5,7
/proc/20011/task/20019/stat : 20019 (java) S 20009 20011 18226 0 -1 4202560 130 0 0 0 188 0 0 0 20 0 22 0 337949015 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832301029672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20011/tid=20020] ppid=20009 vsize=11852648 CPUtime=1.82 cores=1,3,5,7
/proc/20011/task/20020/stat : 20020 (java) S 20009 20011 18226 0 -1 4202560 139 0 0 0 181 1 0 0 20 0 22 0 337949015 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832299977128 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20011/tid=20021] ppid=20009 vsize=11852648 CPUtime=1.73 cores=1,3,5,7
/proc/20011/task/20021/stat : 20021 (java) S 20009 20011 18226 0 -1 4202560 104 0 0 0 171 2 0 0 20 0 22 0 337949015 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832298924584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20011/tid=20022] ppid=20009 vsize=11852648 CPUtime=92.31 cores=1,3,5,7
/proc/20011/task/20022/stat : 20022 (java) S 20009 20011 18226 0 -1 4202560 226 0 0 0 9223 8 0 0 20 0 22 0 337949016 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832286513768 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20011/tid=20023] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20023/stat : 20023 (java) S 20009 20011 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337949016 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832285460088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20024] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20024/stat : 20024 (java) S 20009 20011 18226 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337949016 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832284407432 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20025] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20025/stat : 20025 (java) S 20009 20011 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337949019 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832283356176 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20026] ppid=20009 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/20011/task/20026/stat : 20026 (java) S 20009 20011 18226 0 -1 4202560 5074 0 0 0 117 0 0 0 20 0 22 0 337949019 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832282302520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20027] ppid=20009 vsize=11852648 CPUtime=1.46 cores=1,3,5,7
/proc/20011/task/20027/stat : 20027 (java) S 20009 20011 18226 0 -1 4202560 13238 0 0 0 143 3 0 0 20 0 22 0 337949019 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832281249976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20011/tid=20028] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20028/stat : 20028 (java) S 20009 20011 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337949019 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832280197624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20011/tid=20029] ppid=20009 vsize=11852648 CPUtime=0.34 cores=1,3,5,7
/proc/20011/task/20029/stat : 20029 (java) S 20009 20011 18226 0 -1 4202560 54 0 0 0 12 22 0 0 20 0 22 0 337949019 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832279145288 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20011/tid=20046] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20046/stat : 20046 (java) S 20009 20011 18226 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337953429 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832274932904 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20047] ppid=20009 vsize=11852648 CPUtime=572.28 cores=1,3,5,7
/proc/20011/task/20047/stat : 20047 (java) R 20009 20011 18226 0 -1 4202560 52 0 0 0 57219 9 0 0 20 0 22 0 337978751 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832278090320 139832341351320 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20011/tid=20048] ppid=20009 vsize=11852648 CPUtime=572.28 cores=1,3,5,7
/proc/20011/task/20048/stat : 20048 (java) R 20009 20011 18226 0 -1 4202560 25 0 0 0 57219 9 0 0 20 0 22 0 337978751 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832277035872 139832341700146 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20049] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20049/stat : 20049 (java) S 20009 20011 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337978751 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832275985960 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1799.2
Current children cumulated vsize (KiB) 11852648

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

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

[startup+944.701 s]
/proc/loadavg: 3.99 3.85 3.81 5/219 20138
/proc/meminfo: memFree=25334920/32873660 swapFree=7120/7120
[pid=20011] ppid=20009 vsize=11852648 CPUtime=1799.2 cores=1,3,5,7
/proc/20011/stat : 20011 (java) S 20009 20011 18226 0 -1 4202496 24983 0 1 0 179835 85 0 0 20 0 22 0 337949012 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 140736332484240 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20011/statm: 2963162 263756 2296 9 0 2953849 0
[pid=20011/tid=20013] ppid=20009 vsize=11852648 CPUtime=0.55 cores=1,3,5,7
/proc/20011/task/20013/stat : 20013 (java) S 20009 20011 18226 0 -1 4202560 3553 0 1 0 52 3 0 0 20 0 22 0 337949013 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832469042328 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20011/tid=20014] ppid=20009 vsize=11852648 CPUtime=1.73 cores=1,3,5,7
/proc/20011/task/20014/stat : 20014 (java) S 20009 20011 18226 0 -1 4202560 126 0 0 0 171 2 0 0 20 0 22 0 337949015 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832306293416 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20011/tid=20015] ppid=20009 vsize=11852648 CPUtime=1.81 cores=1,3,5,7
/proc/20011/task/20015/stat : 20015 (java) S 20009 20011 18226 0 -1 4202560 136 0 0 0 180 1 0 0 20 0 22 0 337949015 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832305240872 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20016] ppid=20009 vsize=11852648 CPUtime=1.9 cores=1,3,5,7
/proc/20011/task/20016/stat : 20016 (java) S 20009 20011 18226 0 -1 4202560 128 0 0 0 188 2 0 0 20 0 22 0 337949015 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832304188328 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20011/tid=20017] ppid=20009 vsize=11852648 CPUtime=1.82 cores=1,3,5,7
/proc/20011/task/20017/stat : 20017 (java) S 20009 20011 18226 0 -1 4202560 148 0 0 0 180 2 0 0 20 0 22 0 337949015 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832303135784 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20011/tid=20018] ppid=20009 vsize=11852648 CPUtime=1.95 cores=1,3,5,7
/proc/20011/task/20018/stat : 20018 (java) S 20009 20011 18226 0 -1 4202560 142 0 0 0 193 2 0 0 20 0 22 0 337949015 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832302082216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20011/tid=20019] ppid=20009 vsize=11852648 CPUtime=1.88 cores=1,3,5,7
/proc/20011/task/20019/stat : 20019 (java) S 20009 20011 18226 0 -1 4202560 130 0 0 0 188 0 0 0 20 0 22 0 337949015 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832301029672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20011/tid=20020] ppid=20009 vsize=11852648 CPUtime=1.82 cores=1,3,5,7
/proc/20011/task/20020/stat : 20020 (java) S 20009 20011 18226 0 -1 4202560 139 0 0 0 181 1 0 0 20 0 22 0 337949015 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832299977128 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20011/tid=20021] ppid=20009 vsize=11852648 CPUtime=1.73 cores=1,3,5,7
/proc/20011/task/20021/stat : 20021 (java) S 20009 20011 18226 0 -1 4202560 104 0 0 0 171 2 0 0 20 0 22 0 337949015 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832298924584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20011/tid=20022] ppid=20009 vsize=11852648 CPUtime=92.31 cores=1,3,5,7
/proc/20011/task/20022/stat : 20022 (java) S 20009 20011 18226 0 -1 4202560 226 0 0 0 9223 8 0 0 20 0 22 0 337949016 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832286513768 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20011/tid=20023] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20023/stat : 20023 (java) S 20009 20011 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337949016 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832285460088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20024] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20024/stat : 20024 (java) S 20009 20011 18226 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337949016 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832284407432 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20025] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20025/stat : 20025 (java) S 20009 20011 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337949019 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832283356176 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20026] ppid=20009 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/20011/task/20026/stat : 20026 (java) S 20009 20011 18226 0 -1 4202560 5074 0 0 0 117 0 0 0 20 0 22 0 337949019 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832282302520 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20027] ppid=20009 vsize=11852648 CPUtime=1.46 cores=1,3,5,7
/proc/20011/task/20027/stat : 20027 (java) S 20009 20011 18226 0 -1 4202560 13238 0 0 0 143 3 0 0 20 0 22 0 337949019 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832281249976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20011/tid=20028] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20028/stat : 20028 (java) S 20009 20011 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337949019 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832280197624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20011/tid=20029] ppid=20009 vsize=11852648 CPUtime=0.34 cores=1,3,5,7
/proc/20011/task/20029/stat : 20029 (java) S 20009 20011 18226 0 -1 4202560 54 0 0 0 12 22 0 0 20 0 22 0 337949019 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832279145288 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20011/tid=20046] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20046/stat : 20046 (java) S 20009 20011 18226 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337953429 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832274932904 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20047] ppid=20009 vsize=11852648 CPUtime=572.28 cores=1,3,5,7
/proc/20011/task/20047/stat : 20047 (java) R 20009 20011 18226 0 -1 4202560 52 0 0 0 57219 9 0 0 20 0 22 0 337978751 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832278090320 139832341351320 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20011/tid=20048] ppid=20009 vsize=11852648 CPUtime=572.28 cores=1,3,5,7
/proc/20011/task/20048/stat : 20048 (java) R 20009 20011 18226 0 -1 4202560 25 0 0 0 57219 9 0 0 20 0 22 0 337978751 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832277035872 139832341700146 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20011/tid=20049] ppid=20009 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20011/task/20049/stat : 20049 (java) S 20009 20011 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337978751 12137111552 263756 33554432000 1073741824 1073778376 140736332493104 139832275985960 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1799.2
Current children cumulated vsize (KiB) 11852648

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20011 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=219085
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=83835
# CPU time returned by wait4() is 1796.3
# while last known CPU time is 1799.2
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.900024
#  lost CPU user time (s): 0.960022
#  lost CPU system time (s): -0.06

Real time (s): 944.732
CPU time (s): 1800.1
CPU user time (s): 1799.31
CPU system time (s): 0.79
CPU usage (%): 190.541
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.22
system time used= 1.08384
maximum resident set size= 1056192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25014
page faults= 1
swaps= 0
block input operations= 0
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30520
involuntary context switches= 39018

runsolver used 3.73943 second user time and 8.13576 second system time

The end

Launcher Data 

Begin job on node117 at 2012-06-03 12:10:33
IDJOB=3736833
IDBENCH=48132
IDSOLVER=2328
FILE ID=node117/3736833-1338718233
RUNJOBID= node117-1338713269-18243
PBS_JOBID= 14636728
Free space on /tmp= 69124 MiB

SOLVER NAME= PB11: 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-3736833-1338718233/watcher-3736833-1338718233 -o /tmp/evaluation-result-3736833-1338718233/solver-3736833-1338718233 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3736833-1338718233.opb

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

MD5SUM BENCH= 64354bd2b9c3cc2f1ca2c32032e5c032
RANDOM SEED=954234246

node117.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.148
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.29
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.148
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.91
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.148
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.148
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.95
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.148
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.148
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.148
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.148
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873660 kB
MemFree:        25727516 kB
Buffers:          618796 kB
Cached:          4126000 kB
SwapCached:          776 kB
Active:          3771240 kB
Inactive:        2457676 kB
Active(anon):    1469960 kB
Inactive(anon):     9972 kB
Active(file):    2301280 kB
Inactive(file):  2447704 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67107012 kB
Dirty:               132 kB
Writeback:             0 kB
AnonPages:       1485676 kB
Mapped:            20448 kB
Shmem:                80 kB
Slab:             776884 kB
SReclaimable:     221024 kB
SUnreclaim:       555860 kB
KernelStack:        1632 kB
PageTables:         7160 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:   10460896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1415168 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 69120 MiB
End job on node117 at 2012-06-03 12:26:19