Trace number 3735380

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
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31SAT (TO)-11 1800.01 908.053

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555-max.opb
MD5SUM2533454829254b6bcc39aa8d9b25219b
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-18535
Best CPU time to get the best result obtained on this benchmark886.746
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -18535
Optimality of the best value was proved NO
Number of variables901
Total number of constraints2521
Number of constraints which are clauses2520
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint840
Number of terms in the objective function 21
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 2097151
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 576460752303423488
Number of bits of the biggest number in a constraint 60
Biggest sum of numbers in a constraint 2305842614989581580
Number of bits of the biggest sum of numbers61
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.08	c version 2.2.0.v20100531
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		1349517296
0.00/0.08	c Max memory 		1356595200
0.00/0.08	c Total memory 		1356595200
0.00/0.08	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization
0.09/0.11	c ManyCore solver with 2 solvers running in parallel
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c Stops conflict analysis at the first Unique Implication Point
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@431b9fb1
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c Expensive reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c Stops conflict analysis at the first Unique Implication Point
0.09/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@5b2558d6
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	
0.09/0.11	c solving HOME/instance-3735380-1338748694.opb
0.09/0.11	c reading problem ... 
0.48/0.30	c ... done. Wall clock time 0.195s.
0.48/0.30	c #vars     901
0.48/0.30	c #constraints  2732
0.48/0.30	c constraints type 
0.48/0.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 840
0.48/0.30	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1680
0.48/0.30	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2
0.48/0.30	c constraints type 
0.48/0.30	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1680
0.48/0.31	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 840
0.48/0.31	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2
6.70/2.70	c cleaning 2500 clauses out of 5000 with flag 5000/5000
13.41/6.03	c cleaning 4250 clauses out of 8500 with flag 11000/11000
20.83/9.78	c cleaning 5626 clauses out of 11251 with flag 18001/18001
28.83/13.74	c cleaning 6811 clauses out of 13624 with flag 26000/26000
38.28/18.40	c cleaning 7904 clauses out of 15815 with flag 35002/35002
47.49/23.02	c cleaning 8949 clauses out of 17909 with flag 45000/45000
57.13/27.89	c cleaning 9476 clauses out of 18961 with flag 55001/55001
68.16/33.33	c cleaning 9740 clauses out of 19484 with flag 65000/65000
77.14/37.86	c cleaning 9862 clauses out of 19744 with flag 75000/75000
86.94/42.73	c cleaning 9935 clauses out of 19884 with flag 85002/85002
96.31/47.49	c cleaning 9967 clauses out of 19948 with flag 95001/95001
106.71/52.63	c cleaning 9982 clauses out of 19980 with flag 105000/105000
116.86/57.77	c cleaning 9993 clauses out of 19999 with flag 115001/115001
127.45/63.06	c cleaning 9998 clauses out of 20005 with flag 125000/125000
138.25/68.43	c cleaning 10002 clauses out of 20013 with flag 135006/135006
148.46/73.55	c cleaning 9997 clauses out of 20005 with flag 145000/145000
159.03/78.88	c cleaning 9999 clauses out of 20009 with flag 155001/155001
170.43/84.57	c cleaning 10000 clauses out of 20010 with flag 165001/165001
182.23/90.44	c cleaning 9998 clauses out of 20010 with flag 175001/175001
194.85/96.75	c cleaning 9999 clauses out of 20012 with flag 185001/185001
204.96/101.84	c cleaning 9999 clauses out of 20013 with flag 195001/195001
215.75/107.23	c cleaning 9999 clauses out of 20013 with flag 205000/205000
226.74/112.73	c cleaning 10005 clauses out of 20018 with flag 215004/215004
238.29/118.58	c cleaning 10000 clauses out of 20010 with flag 225001/225001
250.04/124.46	c cleaning 9994 clauses out of 20010 with flag 235001/235001
261.84/130.39	c cleaning 10003 clauses out of 20015 with flag 245000/245000
273.87/136.31	c cleaning 10001 clauses out of 20012 with flag 255000/255000
284.82/141.82	c cleaning 10003 clauses out of 20011 with flag 265000/265000
295.36/147.18	c cleaning 9999 clauses out of 20008 with flag 275000/275000
305.33/152.11	c cleaning 9998 clauses out of 20012 with flag 285003/285003
318.33/158.67	c cleaning 9999 clauses out of 20012 with flag 295001/295001
331.28/165.17	c cleaning 9998 clauses out of 20012 with flag 305000/305000
345.41/172.29	c cleaning 9999 clauses out of 20015 with flag 315001/315001
356.57/177.82	c cleaning 9998 clauses out of 20016 with flag 325001/325001
366.95/183.01	c cleaning 10001 clauses out of 20021 with flag 335004/335004
377.93/188.54	c cleaning 9995 clauses out of 20017 with flag 345001/345001
388.24/193.73	c cleaning 10000 clauses out of 20022 with flag 355001/355001
398.79/199.04	c cleaning 10005 clauses out of 20022 with flag 365001/365001
410.10/204.78	c cleaning 9995 clauses out of 20016 with flag 375000/375000
422.07/210.72	c cleaning 10004 clauses out of 20022 with flag 385001/385001
433.59/216.57	c cleaning 10001 clauses out of 20017 with flag 395000/395000
445.93/222.76	c cleaning 9999 clauses out of 20016 with flag 405000/405000
456.91/228.24	c cleaning 10004 clauses out of 20018 with flag 415001/415001
465.63/232.68	c cleaning 10002 clauses out of 20013 with flag 425000/425000
474.69/237.22	c cleaning 10003 clauses out of 20013 with flag 435002/435002
485.41/242.62	c cleaning 9999 clauses out of 20008 with flag 445000/445000
495.17/247.56	c cleaning 9992 clauses out of 20009 with flag 455000/455000
503.93/251.91	c cleaning 10001 clauses out of 20017 with flag 465000/465000
512.78/256.45	c cleaning 10003 clauses out of 20017 with flag 475001/475001
521.54/260.88	c cleaning 9998 clauses out of 20015 with flag 485002/485002
525.06/262.64	c And the winner is Resolution
524.03/263.42	c SATISFIABLE
524.03/263.42	c OPTIMIZING...
524.03/263.42	c Got one! Elapsed wall clock time (in seconds):263.311
524.03/263.42	o -1
530.41/266.66	c cleaning 9998 clauses out of 20015 with flag 495000/495000
541.99/272.43	c cleaning 9997 clauses out of 20018 with flag 505001/505001
553.44/278.25	c cleaning 9992 clauses out of 20021 with flag 515001/515001
565.20/284.16	c cleaning 9995 clauses out of 20028 with flag 525000/525000
576.13/289.69	c cleaning 10016 clauses out of 20033 with flag 535000/535000
587.26/295.29	c cleaning 10001 clauses out of 20017 with flag 545001/545001
598.54/300.98	c cleaning 10003 clauses out of 20018 with flag 555003/555003
608.49/305.91	c cleaning 10001 clauses out of 20012 with flag 565000/565000
618.65/311.08	c cleaning 9999 clauses out of 20012 with flag 575001/575001
629.00/316.27	c cleaning 9992 clauses out of 20012 with flag 585000/585000
639.72/321.68	c cleaning 10001 clauses out of 20020 with flag 595000/595000
650.25/326.93	c cleaning 10008 clauses out of 20021 with flag 605002/605002
660.20/331.91	c cleaning 10004 clauses out of 20013 with flag 615002/615002
669.13/336.44	c cleaning 10000 clauses out of 20007 with flag 625000/625000
678.22/341.04	c cleaning 9995 clauses out of 20006 with flag 635000/635000
689.54/346.74	c cleaning 9994 clauses out of 20011 with flag 645000/645000
698.87/351.45	c cleaning 10004 clauses out of 20017 with flag 655000/655000
708.41/356.29	c cleaning 10000 clauses out of 20014 with flag 665001/665001
718.46/361.33	c cleaning 9999 clauses out of 20013 with flag 675000/675000
727.20/365.71	c cleaning 10005 clauses out of 20015 with flag 685001/685001
735.50/369.99	c cleaning 9996 clauses out of 20010 with flag 695001/695001
744.85/374.62	c cleaning 10001 clauses out of 20014 with flag 705001/705001
755.09/379.80	c cleaning 10002 clauses out of 20015 with flag 715003/715003
765.41/385.02	c cleaning 9995 clauses out of 20011 with flag 725001/725001
776.53/390.66	c cleaning 10000 clauses out of 20016 with flag 735001/735001
787.29/396.05	c cleaning 10003 clauses out of 20016 with flag 745001/745001
802.99/403.98	c cleaning 9997 clauses out of 20012 with flag 755000/755000
815.53/410.23	c cleaning 10003 clauses out of 20016 with flag 765001/765001
828.04/416.50	c cleaning 10001 clauses out of 20013 with flag 775001/775001
837.77/421.43	c cleaning 10000 clauses out of 20011 with flag 785000/785000
848.24/426.75	c cleaning 9998 clauses out of 20011 with flag 795000/795000
857.55/431.46	c cleaning 10001 clauses out of 20014 with flag 805001/805001
867.45/436.47	c cleaning 10000 clauses out of 20013 with flag 815001/815001
876.10/440.86	c cleaning 10000 clauses out of 20013 with flag 825001/825001
885.52/445.61	c cleaning 9998 clauses out of 20012 with flag 835000/835000
894.02/449.94	c cleaning 10000 clauses out of 20014 with flag 845000/845000
904.36/455.15	c cleaning 9997 clauses out of 20014 with flag 855000/855000
915.29/460.68	c cleaning 10002 clauses out of 20019 with flag 865002/865002
925.49/465.80	c cleaning 10001 clauses out of 20017 with flag 875002/875002
937.64/471.91	c cleaning 9998 clauses out of 20015 with flag 885001/885001
947.75/477.03	c cleaning 10003 clauses out of 20017 with flag 895001/895001
959.09/482.74	c cleaning 9999 clauses out of 20013 with flag 905000/905000
969.32/487.96	c cleaning 10003 clauses out of 20017 with flag 915003/915003
980.84/493.74	c cleaning 10002 clauses out of 20012 with flag 925001/925001
989.99/498.31	c cleaning 9996 clauses out of 20010 with flag 935001/935001
998.54/502.70	c cleaning 10003 clauses out of 20016 with flag 945003/945003
1008.14/507.58	c cleaning 9997 clauses out of 20010 with flag 955000/955000
1018.09/512.53	c cleaning 10006 clauses out of 20018 with flag 965005/965005
1027.60/517.31	c cleaning 9997 clauses out of 20008 with flag 975001/975001
1036.11/521.64	c cleaning 9997 clauses out of 20010 with flag 985000/985000
1045.71/526.54	c cleaning 10000 clauses out of 20013 with flag 995000/995000
1055.07/531.26	c cleaning 10002 clauses out of 20014 with flag 1005001/1005001
1064.55/536.09	c cleaning 10002 clauses out of 20011 with flag 1015000/1015000
1074.68/541.16	c cleaning 9995 clauses out of 20009 with flag 1025000/1025000
1083.69/545.78	c cleaning 10004 clauses out of 20015 with flag 1035001/1035001
1094.02/550.92	c cleaning 10000 clauses out of 20012 with flag 1045002/1045002
1103.95/555.92	c cleaning 9989 clauses out of 20011 with flag 1055001/1055001
1107.25/557.66	c And the winner is Resolution
1106.38/558.41	c Got one! Elapsed wall clock time (in seconds):558.305
1106.38/558.41	o -11
1113.80/562.14	c cleaning 9999 clauses out of 20022 with flag 1065001/1065001
1125.23/567.99	c cleaning 10000 clauses out of 20022 with flag 1075000/1075000
1136.35/573.51	c cleaning 10000 clauses out of 20023 with flag 1085001/1085001
1147.47/579.14	c cleaning 10004 clauses out of 20022 with flag 1095000/1095000
1158.79/584.83	c cleaning 10002 clauses out of 20020 with flag 1105002/1105002
1170.64/590.84	c cleaning 9996 clauses out of 20017 with flag 1115001/1115001
1182.37/596.75	c cleaning 10004 clauses out of 20021 with flag 1125002/1125002
1192.72/601.98	c cleaning 9998 clauses out of 20015 with flag 1135000/1135000
1204.28/607.71	c cleaning 9999 clauses out of 20021 with flag 1145004/1145004
1215.31/613.38	c cleaning 10005 clauses out of 20020 with flag 1155002/1155002
1226.01/618.79	c cleaning 10000 clauses out of 20014 with flag 1165001/1165001
1237.32/624.46	c cleaning 10001 clauses out of 20014 with flag 1175001/1175001
1248.65/630.14	c cleaning 9993 clauses out of 20014 with flag 1185002/1185002
1260.49/636.18	c cleaning 9999 clauses out of 20019 with flag 1195000/1195000
1271.19/641.53	c cleaning 10003 clauses out of 20022 with flag 1205002/1205002
1281.10/646.56	c cleaning 9998 clauses out of 20017 with flag 1215000/1215000
1291.24/651.68	c cleaning 10005 clauses out of 20019 with flag 1225000/1225000
1300.86/656.52	c cleaning 10002 clauses out of 20014 with flag 1235000/1235000
1309.97/661.15	c cleaning 10001 clauses out of 20013 with flag 1245001/1245001
1319.45/665.92	c cleaning 9996 clauses out of 20012 with flag 1255001/1255001
1329.96/671.22	c cleaning 9994 clauses out of 20015 with flag 1265000/1265000
1339.78/676.21	c cleaning 10008 clauses out of 20023 with flag 1275002/1275002
1348.68/680.79	c cleaning 10000 clauses out of 20014 with flag 1285001/1285001
1358.35/685.65	c cleaning 10005 clauses out of 20014 with flag 1295001/1295001
1368.47/690.74	c cleaning 9999 clauses out of 20009 with flag 1305001/1305001
1379.88/696.53	c cleaning 9991 clauses out of 20010 with flag 1315001/1315001
1391.01/702.18	c cleaning 10003 clauses out of 20018 with flag 1325000/1325000
1401.36/707.37	c cleaning 9997 clauses out of 20015 with flag 1335000/1335000
1411.86/712.68	c cleaning 9997 clauses out of 20018 with flag 1345000/1345000
1422.49/718.07	c cleaning 10008 clauses out of 20025 with flag 1355004/1355004
1432.97/723.34	c cleaning 9999 clauses out of 20015 with flag 1365002/1365002
1444.10/728.93	c cleaning 10003 clauses out of 20014 with flag 1375002/1375002
1454.84/734.33	c cleaning 10000 clauses out of 20009 with flag 1385000/1385000
1464.82/739.45	c cleaning 10002 clauses out of 20012 with flag 1395003/1395003
1474.71/744.47	c cleaning 9997 clauses out of 20007 with flag 1405000/1405000
1485.01/749.67	c cleaning 9999 clauses out of 20011 with flag 1415001/1415001
1500.12/757.20	c cleaning 10001 clauses out of 20014 with flag 1425003/1425003
1510.13/762.39	c cleaning 10000 clauses out of 20010 with flag 1435000/1435000
1520.23/767.40	c cleaning 10001 clauses out of 20011 with flag 1445001/1445001
1528.73/771.70	c cleaning 9999 clauses out of 20009 with flag 1455000/1455000
1538.23/776.60	c cleaning 10001 clauses out of 20011 with flag 1465001/1465001
1548.41/781.73	c cleaning 9993 clauses out of 20009 with flag 1475000/1475000
1558.53/786.87	c cleaning 10004 clauses out of 20017 with flag 1485001/1485001
1568.46/791.81	c cleaning 9996 clauses out of 20014 with flag 1495002/1495002
1578.34/796.86	c cleaning 10004 clauses out of 20017 with flag 1505001/1505001
1590.34/802.95	c cleaning 9998 clauses out of 20012 with flag 1515000/1515000
1601.80/808.70	c cleaning 9993 clauses out of 20015 with flag 1525001/1525001
1612.49/814.13	c cleaning 10001 clauses out of 20021 with flag 1535000/1535000
1623.75/819.88	c cleaning 10002 clauses out of 20020 with flag 1545000/1545000
1635.35/825.78	c cleaning 9998 clauses out of 20018 with flag 1555000/1555000
1646.64/831.46	c cleaning 10002 clauses out of 20022 with flag 1565002/1565002
1657.80/837.05	c cleaning 10003 clauses out of 20018 with flag 1575000/1575000
1669.10/842.73	c cleaning 10002 clauses out of 20016 with flag 1585001/1585001
1680.68/848.66	c cleaning 10000 clauses out of 20013 with flag 1595000/1595000
1691.39/854.05	c cleaning 10002 clauses out of 20014 with flag 1605001/1605001
1702.28/859.59	c cleaning 9997 clauses out of 20012 with flag 1615001/1615001
1712.39/864.62	c cleaning 10003 clauses out of 20014 with flag 1625000/1625000
1721.94/869.53	c cleaning 9994 clauses out of 20011 with flag 1635000/1635000
1731.42/874.38	c cleaning 10000 clauses out of 20018 with flag 1645001/1645001
1740.91/879.19	c cleaning 10002 clauses out of 20019 with flag 1655002/1655002
1750.22/883.84	c cleaning 9999 clauses out of 20015 with flag 1665000/1665000
1760.59/889.13	c cleaning 10001 clauses out of 20017 with flag 1675001/1675001
1770.67/894.29	c cleaning 9999 clauses out of 20017 with flag 1685002/1685002
1781.17/899.53	c cleaning 10005 clauses out of 20020 with flag 1695004/1695004
1791.05/904.55	c cleaning 10000 clauses out of 20011 with flag 1705000/1705000
1797.81/908.03	c starts		: 211
1797.81/908.03	c conflicts		: 1712783
1797.81/908.03	c decisions		: 1925186
1797.81/908.03	c propagations		: 79983816
1797.81/908.03	c inspects		: 1383093346
1797.81/908.03	c learnt literals	: 5
1797.81/908.03	c learnt binary clauses	: 144
1797.81/908.03	c learnt ternary clauses	: 523
1797.81/908.03	c learnt clauses	: 1712777
1797.81/908.03	c ignored clauses	: 0
1797.81/908.03	c root simplifications	: 0
1797.81/908.03	c removed literals (reason simplification)	: 351551773
1797.81/908.03	c reason swapping (by a shorter reason)	: 0
1797.81/908.03	c Calls to reduceDB	: 172
1797.81/908.03	c number of reductions to clauses (during analyze)	: 0
1797.81/908.03	c number of learned constraints concerned by reduction	: 0
1797.81/908.03	c number of learning phase by resolution	: 0
1797.81/908.03	c number of learning phase by cutting planes	: 0
1797.81/908.03	c speed (assignments/second)	: 228778.1518421798
1797.81/908.03	c non guided choices	32
1797.81/908.04	c learnt constraints type 
1797.81/908.04	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 17667
1797.81/908.04	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 144
1797.81/908.04	c constraints type 
1797.81/908.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 840
1797.81/908.04	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1680
1797.81/908.04	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3
1797.81/908.04	c constraints type 
1797.81/908.04	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1680
1797.81/908.04	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 840
1797.81/908.04	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3
1797.81/908.04	s SATISFIABLE
1797.81/908.04	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 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 x511 x512 -x513 -x514 x515 x516 -x517 x518 x519 x520 x521 -x522 x523 -x524 x525 x526 -x527 x528 x529 -x530 x531 x532 x533 -x534 x535 x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x630 x631 x632 -x633 -x634 x635 x636 -x637 x638 x639 x640 x641 -x642 x643 -x644 x645 x646 -x647 x648 x649 -x650 x651 x652 x653 -x654 x655 x656 x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 
1797.81/908.04	c objective function=-11
1797.81/908.04	c Total wall clock time (in seconds): 907.932

Verifier Data 

OK	-11

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-3735380-1338748694/watcher-3735380-1338748694 -o /tmp/evaluation-result-3735380-1338748694/solver-3735380-1338748694 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3735380-1338748694.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: 4.10 4.01 3.85 4/197 28841
/proc/meminfo: memFree=26548920/32873660 swapFree=7120/7120
[pid=28841] ppid=28839 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/28841/stat : 28841 (java6) D 28839 28841 25443 0 -1 4202496 242 0 0 0 0 0 0 0 20 0 1 0 340995162 9515008 176 33554432000 1073741824 1073778376 140734884467648 140734884450376 270330053520 0 0 4096 0 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/28841/statm: 2323 176 133 9 0 71 0

[startup+0.0851171 s]
/proc/loadavg: 4.10 4.01 3.85 4/197 28841
/proc/meminfo: memFree=26548920/32873660 swapFree=7120/7120
[pid=28841] ppid=28839 vsize=2699928 CPUtime=0.06 cores=0,2,4,6
/proc/28841/stat : 28841 (java) S 28839 28841 25443 0 -1 4202496 3901 0 1 0 5 1 0 0 20 0 18 0 340995162 2764726272 5619 33554432000 1073741824 1073778376 140733912918240 140733912909376 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28841/statm: 674982 5619 1772 9 0 665676 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2699928

[startup+0.100186 s]
/proc/loadavg: 4.10 4.01 3.85 4/197 28841
/proc/meminfo: memFree=26548920/32873660 swapFree=7120/7120
[pid=28841] ppid=28839 vsize=2699928 CPUtime=0.09 cores=0,2,4,6
/proc/28841/stat : 28841 (java) S 28839 28841 25443 0 -1 4202496 4709 0 1 0 8 1 0 0 20 0 18 0 340995162 2764726272 6413 33554432000 1073741824 1073778376 140733912918240 140733912909376 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28841/statm: 674982 6413 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2699928

[startup+0.300149 s]
/proc/loadavg: 4.10 4.01 3.85 4/197 28841
/proc/meminfo: memFree=26548920/32873660 swapFree=7120/7120
[pid=28841] ppid=28839 vsize=2699928 CPUtime=0.48 cores=0,2,4,6
/proc/28841/stat : 28841 (java) S 28839 28841 25443 0 -1 4202496 5943 0 1 0 47 1 0 0 20 0 18 0 340995162 2764726272 9263 33554432000 1073741824 1073778376 140733912918240 140733912909376 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28841/statm: 674982 9263 2226 9 0 665676 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 2699928

[startup+0.70018 s]
/proc/loadavg: 4.10 4.01 3.85 4/197 28841
/proc/meminfo: memFree=26548920/32873660 swapFree=7120/7120
[pid=28841] ppid=28839 vsize=2966184 CPUtime=2.07 cores=0,2,4,6
/proc/28841/stat : 28841 (java) S 28839 28841 25443 0 -1 4202496 17947 0 1 0 203 4 0 0 20 0 22 0 340995162 3037372416 31783 33554432000 1073741824 1073778376 140733912918240 140733912909376 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28841/statm: 741546 31783 2238 9 0 732240 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 2966184

[startup+1.50073 s]
/proc/loadavg: 4.09 4.01 3.85 7/219 28863
/proc/meminfo: memFree=26263140/32873660 swapFree=7120/7120
[pid=28841] ppid=28839 vsize=2966184 CPUtime=4.22 cores=0,2,4,6
/proc/28841/stat : 28841 (java) S 28839 28841 25443 0 -1 4202496 18934 0 1 0 413 9 0 0 20 0 22 0 340995162 3037372416 100458 33554432000 1073741824 1073778376 140733912918240 140733912909376 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28841/statm: 741546 100458 2259 9 0 732240 0
[pid=28841/tid=28843] ppid=28839 vsize=2966184 CPUtime=0.27 cores=0,2,4,6
/proc/28841/task/28843/stat : 28843 (java) S 28839 28841 25443 0 -1 4202560 2805 0 1 0 26 1 0 0 20 0 22 0 340995163 3037372416 100458 33554432000 1073741824 1073778376 140733912918240 139993083331736 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28841/tid=28844] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28844/stat : 28844 (java) S 28839 28841 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340995164 3037372416 100458 33554432000 1073741824 1073778376 140733912918240 139993067613096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28845] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28845/stat : 28845 (java) S 28839 28841 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340995164 3037372416 100458 33554432000 1073741824 1073778376 140733912918240 139993066560552 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28841/tid=28846] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28846/stat : 28846 (java) S 28839 28841 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 340995164 3037372416 100458 33554432000 1073741824 1073778376 140733912918240 139993065507496 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28841/tid=28847] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28847/stat : 28847 (java) S 28839 28841 25443 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 340995164 3037372416 100458 33554432000 1073741824 1073778376 140733912918240 139993064454952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28841/tid=28848] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28848/stat : 28848 (java) S 28839 28841 25443 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 340995164 3037372416 100458 33554432000 1073741824 1073778376 140733912918240 139993063401896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28841/tid=28849] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28849/stat : 28849 (java) S 28839 28841 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340995164 3037372416 100458 33554432000 1073741824 1073778376 140733912918240 139993062349352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28841/tid=28850] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28850/stat : 28850 (java) S 28839 28841 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340995164 3037372416 100458 33554432000 1073741824 1073778376 140733912918240 139993061296296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28841/tid=28851] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28851/stat : 28851 (java) S 28839 28841 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 340995164 3037372416 100458 33554432000 1073741824 1073778376 140733912918240 139993060243752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28852] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28852/stat : 28852 (java) S 28839 28841 25443 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340995166 3037372416 100458 33554432000 1073741824 1073778376 140733912918240 139992930175848 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28853] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28853/stat : 28853 (java) S 28839 28841 25443 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 340995166 3037372416 100458 33554432000 1073741824 1073778376 140733912918240 139992929122168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28854] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28854/stat : 28854 (java) S 28839 28841 25443 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340995166 3037372416 100458 33554432000 1073741824 1073778376 140733912918240 139992928069000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28855] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28855/stat : 28855 (java) S 28839 28841 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340995168 3037372416 100458 33554432000 1073741824 1073778376 140733912918240 139992927017744 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28856] ppid=28839 vsize=2966184 CPUtime=0.74 cores=0,2,4,6
/proc/28841/task/28856/stat : 28856 (java) S 28839 28841 25443 0 -1 4202560 6435 0 0 0 74 0 0 0 20 0 22 0 340995168 3037372416 100458 33554432000 1073741824 1073778376 140733912918240 139992925964600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28857] ppid=28839 vsize=2966184 CPUtime=0.78 cores=0,2,4,6
/proc/28841/task/28857/stat : 28857 (java) S 28839 28841 25443 0 -1 4202560 8186 0 0 0 77 1 0 0 20 0 22 0 340995168 3037372416 100458 33554432000 1073741824 1073778376 140733912918240 139992924912056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28841/tid=28858] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28858/stat : 28858 (java) S 28839 28841 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340995168 3037372416 100458 33554432000 1073741824 1073778376 140733912918240 139992923859192 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28841/tid=28859] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28859/stat : 28859 (java) S 28839 28841 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340995168 3037372416 100458 33554432000 1073741824 1073778376 140733912918240 139992922806856 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28860] ppid=28839 vsize=2966184 CPUtime=1.16 cores=0,2,4,6
/proc/28841/task/28860/stat : 28860 (java) R 28839 28841 25443 0 -1 4202560 31 0 0 0 116 0 0 0 20 0 22 0 340995193 3037372416 100458 33554432000 1073741824 1073778376 140733912918240 139992921750160 139992932937169 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=28841/tid=28861] ppid=28839 vsize=2966184 CPUtime=1.17 cores=0,2,4,6
/proc/28841/task/28861/stat : 28861 (java) R 28839 28841 25443 0 -1 4202560 240 0 0 0 112 5 0 0 20 0 22 0 340995193 3037372416 100458 33554432000 1073741824 1073778376 140733912918240 139992920699624 139992932827252 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=28841/tid=28862] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28862/stat : 28862 (java) S 28839 28841 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340995194 3037372416 100458 33554432000 1073741824 1073778376 140733912918240 139992919647528 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28841/tid=28863] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28863/stat : 28863 (java) S 28839 28841 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340995194 3037372416 100458 33554432000 1073741824 1073778376 140733912918240 139992918594984 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 2966184

[startup+3.10073 s]
/proc/loadavg: 4.09 4.01 3.85 5/219 28863
/proc/meminfo: memFree=26143860/32873660 swapFree=7120/7120
[pid=28841] ppid=28839 vsize=2966184 CPUtime=7.5 cores=0,2,4,6
/proc/28841/stat : 28841 (java) S 28839 28841 25443 0 -1 4202496 19000 0 1 0 739 11 0 0 20 0 22 0 340995162 3037372416 108168 33554432000 1073741824 1073778376 140733912918240 140733912909376 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28841/statm: 741546 108168 2274 9 0 732240 0
[pid=28841/tid=28843] ppid=28839 vsize=2966184 CPUtime=0.27 cores=0,2,4,6
/proc/28841/task/28843/stat : 28843 (java) S 28839 28841 25443 0 -1 4202560 2805 0 1 0 26 1 0 0 20 0 22 0 340995163 3037372416 108168 33554432000 1073741824 1073778376 140733912918240 139993083331736 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28841/tid=28844] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28844/stat : 28844 (java) S 28839 28841 25443 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340995164 3037372416 108168 33554432000 1073741824 1073778376 140733912918240 139993067613096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28841/tid=28845] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28845/stat : 28845 (java) S 28839 28841 25443 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 340995164 3037372416 108168 33554432000 1073741824 1073778376 140733912918240 139993066560552 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28841/tid=28846] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28846/stat : 28846 (java) S 28839 28841 25443 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 340995164 3037372416 108168 33554432000 1073741824 1073778376 140733912918240 139993065507496 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28841/tid=28847] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28847/stat : 28847 (java) S 28839 28841 25443 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 340995164 3037372416 108168 33554432000 1073741824 1073778376 140733912918240 139993064454952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28841/tid=28848] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28848/stat : 28848 (java) S 28839 28841 25443 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340995164 3037372416 108168 33554432000 1073741824 1073778376 140733912918240 139993063401896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28841/tid=28849] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28849/stat : 28849 (java) S 28839 28841 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340995164 3037372416 108168 33554432000 1073741824 1073778376 140733912918240 139993062349352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28841/tid=28850] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28850/stat : 28850 (java) S 28839 28841 25443 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 340995164 3037372416 108168 33554432000 1073741824 1073778376 140733912918240 139993061296296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28841/tid=28851] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28851/stat : 28851 (java) S 28839 28841 25443 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 340995164 3037372416 108168 33554432000 1073741824 1073778376 140733912918240 139993060243752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28852] ppid=28839 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/28841/task/28852/stat : 28852 (java) S 28839 28841 25443 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 22 0 340995166 3037372416 108168 33554432000 1073741824 1073778376 140733912918240 139992930175848 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28841/tid=28853] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28853/stat : 28853 (java) S 28839 28841 25443 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 340995166 3037372416 108168 33554432000 1073741824 1073778376 140733912918240 139992929122168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28854] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28854/stat : 28854 (java) S 28839 28841 25443 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340995166 3037372416 108168 33554432000 1073741824 1073778376 140733912918240 139992928069000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28855] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28855/stat : 28855 (java) S 28839 28841 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340995168 3037372416 108168 33554432000 1073741824 1073778376 140733912918240 139992927017744 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28856] ppid=28839 vsize=2966184 CPUtime=0.76 cores=0,2,4,6
/proc/28841/task/28856/stat : 28856 (java) S 28839 28841 25443 0 -1 4202560 6436 0 0 0 76 0 0 0 20 0 22 0 340995168 3037372416 108168 33554432000 1073741824 1073778376 140733912918240 139992925964600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28857] ppid=28839 vsize=2966184 CPUtime=0.87 cores=0,2,4,6
/proc/28841/task/28857/stat : 28857 (java) S 28839 28841 25443 0 -1 4202560 8193 0 0 0 86 1 0 0 20 0 22 0 340995168 3037372416 108168 33554432000 1073741824 1073778376 140733912918240 139992924912056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28841/tid=28858] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28858/stat : 28858 (java) S 28839 28841 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340995168 3037372416 108168 33554432000 1073741824 1073778376 140733912918240 139992923859192 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28841/tid=28859] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28859/stat : 28859 (java) S 28839 28841 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340995168 3037372416 108168 33554432000 1073741824 1073778376 140733912918240 139992922806856 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28860] ppid=28839 vsize=2966184 CPUtime=2.69 cores=0,2,4,6
/proc/28841/task/28860/stat : 28860 (java) R 28839 28841 25443 0 -1 4202560 31 0 0 0 269 0 0 0 20 0 22 0 340995193 3037372416 108168 33554432000 1073741824 1073778376 140733912918240 139992921752400 139992932883902 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28861] ppid=28839 vsize=2966184 CPUtime=2.73 cores=0,2,4,6
/proc/28841/task/28861/stat : 28861 (java) R 28839 28841 25443 0 -1 4202560 243 0 0 0 268 5 0 0 20 0 22 0 340995193 3037372416 108168 33554432000 1073741824 1073778376 140733912918240 139992920700200 139992932892832 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=28841/tid=28862] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28862/stat : 28862 (java) S 28839 28841 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340995194 3037372416 108168 33554432000 1073741824 1073778376 140733912918240 139992919647528 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28841/tid=28863] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28863/stat : 28863 (java) S 28839 28841 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340995194 3037372416 108168 33554432000 1073741824 1073778376 140733912918240 139992918594984 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.5
Current children cumulated vsize (KiB) 2966184

[startup+6.30072 s]
/proc/loadavg: 4.08 4.01 3.85 5/219 28863
/proc/meminfo: memFree=26071872/32873660 swapFree=7120/7120
[pid=28841] ppid=28839 vsize=2966184 CPUtime=13.99 cores=0,2,4,6
/proc/28841/stat : 28841 (java) S 28839 28841 25443 0 -1 4202496 19152 0 1 0 1384 15 0 0 20 0 22 0 340995162 3037372416 132744 33554432000 1073741824 1073778376 140733912918240 140733912909376 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28841/statm: 741546 132744 2274 9 0 732240 0
[pid=28841/tid=28843] ppid=28839 vsize=2966184 CPUtime=0.27 cores=0,2,4,6
/proc/28841/task/28843/stat : 28843 (java) S 28839 28841 25443 0 -1 4202560 2805 0 1 0 26 1 0 0 20 0 22 0 340995163 3037372416 132744 33554432000 1073741824 1073778376 140733912918240 139993083331736 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28841/tid=28844] ppid=28839 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/28841/task/28844/stat : 28844 (java) S 28839 28841 25443 0 -1 4202560 27 0 0 0 2 0 0 0 20 0 22 0 340995164 3037372416 132744 33554432000 1073741824 1073778376 140733912918240 139993067613096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28841/tid=28845] ppid=28839 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/28841/task/28845/stat : 28845 (java) S 28839 28841 25443 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 22 0 340995164 3037372416 132744 33554432000 1073741824 1073778376 140733912918240 139993066560552 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28841/tid=28846] ppid=28839 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/28841/task/28846/stat : 28846 (java) S 28839 28841 25443 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 340995164 3037372416 132744 33554432000 1073741824 1073778376 140733912918240 139993065507496 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28841/tid=28847] ppid=28839 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/28841/task/28847/stat : 28847 (java) S 28839 28841 25443 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 22 0 340995164 3037372416 132744 33554432000 1073741824 1073778376 140733912918240 139993064454952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28841/tid=28848] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28848/stat : 28848 (java) S 28839 28841 25443 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 340995164 3037372416 132744 33554432000 1073741824 1073778376 140733912918240 139993063401896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28841/tid=28849] ppid=28839 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/28841/task/28849/stat : 28849 (java) S 28839 28841 25443 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 340995164 3037372416 132744 33554432000 1073741824 1073778376 140733912918240 139993062349352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28850] ppid=28839 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/28841/task/28850/stat : 28850 (java) S 28839 28841 25443 0 -1 4202560 25 0 0 0 1 0 0 0 20 0 22 0 340995164 3037372416 132744 33554432000 1073741824 1073778376 140733912918240 139993061296296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28851] ppid=28839 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/28841/task/28851/stat : 28851 (java) S 28839 28841 25443 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 22 0 340995164 3037372416 132744 33554432000 1073741824 1073778376 140733912918240 139993060243752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28841/tid=28852] ppid=28839 vsize=2966184 CPUtime=0.05 cores=0,2,4,6
/proc/28841/task/28852/stat : 28852 (java) S 28839 28841 25443 0 -1 4202560 35 0 0 0 4 1 0 0 20 0 22 0 340995166 3037372416 132744 33554432000 1073741824 1073778376 140733912918240 139992930175848 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28841/tid=28853] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28853/stat : 28853 (java) S 28839 28841 25443 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 340995166 3037372416 132744 33554432000 1073741824 1073778376 140733912918240 139992929122168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28854] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28854/stat : 28854 (java) S 28839 28841 25443 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340995166 3037372416 132744 33554432000 1073741824 1073778376 140733912918240 139992928069000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28855] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28855/stat : 28855 (java) S 28839 28841 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340995168 3037372416 132744 33554432000 1073741824 1073778376 140733912918240 139992927017744 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28856] ppid=28839 vsize=2966184 CPUtime=0.8 cores=0,2,4,6
/proc/28841/task/28856/stat : 28856 (java) S 28839 28841 25443 0 -1 4202560 6441 0 0 0 80 0 0 0 20 0 22 0 340995168 3037372416 132744 33554432000 1073741824 1073778376 140733912918240 139992925964600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0

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

[pid=28841/tid=28847] ppid=28839 vsize=2966184 CPUtime=3.29 cores=0,2,4,6
/proc/28841/task/28847/stat : 28847 (java) S 28839 28841 25443 0 -1 4202560 135 0 0 0 324 5 0 0 20 0 22 0 340995164 3037372416 187718 33554432000 1073741824 1073778376 140733912918240 139993064454952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28841/tid=28848] ppid=28839 vsize=2966184 CPUtime=3.29 cores=0,2,4,6
/proc/28841/task/28848/stat : 28848 (java) S 28839 28841 25443 0 -1 4202560 124 0 0 0 323 6 0 0 20 0 22 0 340995164 3037372416 187718 33554432000 1073741824 1073778376 140733912918240 139993063401896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28841/tid=28849] ppid=28839 vsize=2966184 CPUtime=3.2 cores=0,2,4,6
/proc/28841/task/28849/stat : 28849 (java) S 28839 28841 25443 0 -1 4202560 134 0 0 0 314 6 0 0 20 0 22 0 340995164 3037372416 187718 33554432000 1073741824 1073778376 140733912918240 139993062349352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28841/tid=28850] ppid=28839 vsize=2966184 CPUtime=3.26 cores=0,2,4,6
/proc/28841/task/28850/stat : 28850 (java) S 28839 28841 25443 0 -1 4202560 139 0 0 0 320 6 0 0 20 0 22 0 340995164 3037372416 187718 33554432000 1073741824 1073778376 140733912918240 139993061296296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28841/tid=28851] ppid=28839 vsize=2966184 CPUtime=3.25 cores=0,2,4,6
/proc/28841/task/28851/stat : 28851 (java) S 28839 28841 25443 0 -1 4202560 149 0 0 0 319 6 0 0 20 0 22 0 340995164 3037372416 187718 33554432000 1073741824 1073778376 140733912918240 139993060243752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28841/tid=28852] ppid=28839 vsize=2966184 CPUtime=23.08 cores=0,2,4,6
/proc/28841/task/28852/stat : 28852 (java) S 28839 28841 25443 0 -1 4202560 98 0 0 0 2274 34 0 0 20 0 22 0 340995166 3037372416 187718 33554432000 1073741824 1073778376 140733912918240 139992930175848 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28841/tid=28853] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28853/stat : 28853 (java) S 28839 28841 25443 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 340995166 3037372416 187718 33554432000 1073741824 1073778376 140733912918240 139992929122168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28854] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28854/stat : 28854 (java) S 28839 28841 25443 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340995166 3037372416 187718 33554432000 1073741824 1073778376 140733912918240 139992928069000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28855] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28855/stat : 28855 (java) S 28839 28841 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340995168 3037372416 187718 33554432000 1073741824 1073778376 140733912918240 139992927017744 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28856] ppid=28839 vsize=2966184 CPUtime=0.84 cores=0,2,4,6
/proc/28841/task/28856/stat : 28856 (java) S 28839 28841 25443 0 -1 4202560 6448 0 0 0 84 0 0 0 20 0 22 0 340995168 3037372416 187718 33554432000 1073741824 1073778376 140733912918240 139992925964600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28857] ppid=28839 vsize=2966184 CPUtime=1.1 cores=0,2,4,6
/proc/28841/task/28857/stat : 28857 (java) S 28839 28841 25443 0 -1 4202560 8223 0 0 0 108 2 0 0 20 0 22 0 340995168 3037372416 187718 33554432000 1073741824 1073778376 140733912918240 139992924912056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28841/tid=28858] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28858/stat : 28858 (java) S 28839 28841 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340995168 3037372416 187718 33554432000 1073741824 1073778376 140733912918240 139992923859192 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28841/tid=28859] ppid=28839 vsize=2966184 CPUtime=0.26 cores=0,2,4,6
/proc/28841/task/28859/stat : 28859 (java) S 28839 28841 25443 0 -1 4202560 46 0 0 0 11 15 0 0 20 0 22 0 340995168 3037372416 187718 33554432000 1073741824 1073778376 140733912918240 139992922806856 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28841/tid=28862] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28862/stat : 28862 (java) S 28839 28841 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340995194 3037372416 187718 33554432000 1073741824 1073778376 140733912918240 139992919647528 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28841/tid=28863] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28863/stat : 28863 (java) S 28839 28841 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340995194 3037372416 187718 33554432000 1073741824 1073778376 140733912918240 139992918594984 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28841/tid=28871] ppid=28839 vsize=2966184 CPUtime=250.88 cores=0,2,4,6
/proc/28841/task/28871/stat : 28871 (java) R 28839 28841 25443 0 -1 4202560 125 0 0 0 25085 3 0 0 20 0 22 0 341051004 3037372416 187718 33554432000 1073741824 1073778376 140733912918240 139992921750640 139992932870884 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=28841/tid=28872] ppid=28839 vsize=2966184 CPUtime=250.88 cores=0,2,4,6
/proc/28841/task/28872/stat : 28872 (java) R 28839 28841 25443 0 -1 4202560 105 0 0 0 25085 3 0 0 20 0 22 0 341051004 3037372416 187718 33554432000 1073741824 1073778376 140733912918240 139992920696848 139992932826356 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1628.52
Current children cumulated vsize (KiB) 2966184

[startup+882.301 s]
/proc/loadavg: 4.06 4.03 3.92 5/219 28950
/proc/meminfo: memFree=25742840/32873660 swapFree=7120/7120
[pid=28841] ppid=28839 vsize=2966184 CPUtime=1747.2 cores=0,2,4,6
/proc/28841/stat : 28841 (java) S 28839 28841 25443 0 -1 4202496 21159 0 1 0 174585 135 0 0 20 0 22 0 340995162 3037372416 189291 33554432000 1073741824 1073778376 140733912918240 140733912909376 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28841/statm: 741546 189291 2276 9 0 732240 0
[pid=28841/tid=28843] ppid=28839 vsize=2966184 CPUtime=0.29 cores=0,2,4,6
/proc/28841/task/28843/stat : 28843 (java) S 28839 28841 25443 0 -1 4202560 2825 0 1 0 27 2 0 0 20 0 22 0 340995163 3037372416 189291 33554432000 1073741824 1073778376 140733912918240 139993083331736 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28841/tid=28844] ppid=28839 vsize=2966184 CPUtime=3.65 cores=0,2,4,6
/proc/28841/task/28844/stat : 28844 (java) S 28839 28841 25443 0 -1 4202560 173 0 0 0 357 8 0 0 20 0 22 0 340995164 3037372416 189291 33554432000 1073741824 1073778376 140733912918240 139993067613096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28845] ppid=28839 vsize=2966184 CPUtime=3.62 cores=0,2,4,6
/proc/28841/task/28845/stat : 28845 (java) S 28839 28841 25443 0 -1 4202560 175 0 0 0 356 6 0 0 20 0 22 0 340995164 3037372416 189291 33554432000 1073741824 1073778376 140733912918240 139993066560552 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28841/tid=28846] ppid=28839 vsize=2966184 CPUtime=3.62 cores=0,2,4,6
/proc/28841/task/28846/stat : 28846 (java) S 28839 28841 25443 0 -1 4202560 153 0 0 0 356 6 0 0 20 0 22 0 340995164 3037372416 189291 33554432000 1073741824 1073778376 140733912918240 139993065507496 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28847] ppid=28839 vsize=2966184 CPUtime=3.55 cores=0,2,4,6
/proc/28841/task/28847/stat : 28847 (java) S 28839 28841 25443 0 -1 4202560 137 0 0 0 349 6 0 0 20 0 22 0 340995164 3037372416 189291 33554432000 1073741824 1073778376 140733912918240 139993064454952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28841/tid=28848] ppid=28839 vsize=2966184 CPUtime=3.59 cores=0,2,4,6
/proc/28841/task/28848/stat : 28848 (java) S 28839 28841 25443 0 -1 4202560 132 0 0 0 352 7 0 0 20 0 22 0 340995164 3037372416 189291 33554432000 1073741824 1073778376 140733912918240 139993063401896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28849] ppid=28839 vsize=2966184 CPUtime=3.5 cores=0,2,4,6
/proc/28841/task/28849/stat : 28849 (java) S 28839 28841 25443 0 -1 4202560 135 0 0 0 344 6 0 0 20 0 22 0 340995164 3037372416 189291 33554432000 1073741824 1073778376 140733912918240 139993062349352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28841/tid=28850] ppid=28839 vsize=2966184 CPUtime=3.51 cores=0,2,4,6
/proc/28841/task/28850/stat : 28850 (java) S 28839 28841 25443 0 -1 4202560 146 0 0 0 344 7 0 0 20 0 22 0 340995164 3037372416 189291 33554432000 1073741824 1073778376 140733912918240 139993061296296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28841/tid=28851] ppid=28839 vsize=2966184 CPUtime=3.51 cores=0,2,4,6
/proc/28841/task/28851/stat : 28851 (java) S 28839 28841 25443 0 -1 4202560 160 0 0 0 345 6 0 0 20 0 22 0 340995164 3037372416 189291 33554432000 1073741824 1073778376 140733912918240 139993060243752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28841/tid=28852] ppid=28839 vsize=2966184 CPUtime=25.31 cores=0,2,4,6
/proc/28841/task/28852/stat : 28852 (java) S 28839 28841 25443 0 -1 4202560 102 0 0 0 2495 36 0 0 20 0 22 0 340995166 3037372416 189291 33554432000 1073741824 1073778376 140733912918240 139992930175848 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28853] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28853/stat : 28853 (java) S 28839 28841 25443 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 340995166 3037372416 189291 33554432000 1073741824 1073778376 140733912918240 139992929122168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28854] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28854/stat : 28854 (java) S 28839 28841 25443 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340995166 3037372416 189291 33554432000 1073741824 1073778376 140733912918240 139992928069000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28855] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28855/stat : 28855 (java) S 28839 28841 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340995168 3037372416 189291 33554432000 1073741824 1073778376 140733912918240 139992927017744 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28856] ppid=28839 vsize=2966184 CPUtime=0.84 cores=0,2,4,6
/proc/28841/task/28856/stat : 28856 (java) S 28839 28841 25443 0 -1 4202560 6448 0 0 0 84 0 0 0 20 0 22 0 340995168 3037372416 189291 33554432000 1073741824 1073778376 140733912918240 139992925964600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28857] ppid=28839 vsize=2966184 CPUtime=1.1 cores=0,2,4,6
/proc/28841/task/28857/stat : 28857 (java) S 28839 28841 25443 0 -1 4202560 8223 0 0 0 108 2 0 0 20 0 22 0 340995168 3037372416 189291 33554432000 1073741824 1073778376 140733912918240 139992924912056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28841/tid=28858] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28858/stat : 28858 (java) S 28839 28841 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340995168 3037372416 189291 33554432000 1073741824 1073778376 140733912918240 139992923859192 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28841/tid=28859] ppid=28839 vsize=2966184 CPUtime=0.28 cores=0,2,4,6
/proc/28841/task/28859/stat : 28859 (java) S 28839 28841 25443 0 -1 4202560 50 0 0 0 11 17 0 0 20 0 22 0 340995168 3037372416 189291 33554432000 1073741824 1073778376 140733912918240 139992922806856 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28841/tid=28862] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28862/stat : 28862 (java) S 28839 28841 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340995194 3037372416 189291 33554432000 1073741824 1073778376 140733912918240 139992919647528 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28841/tid=28863] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28863/stat : 28863 (java) S 28839 28841 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340995194 3037372416 189291 33554432000 1073741824 1073778376 140733912918240 139992918594984 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28841/tid=28871] ppid=28839 vsize=2966184 CPUtime=307.87 cores=0,2,4,6
/proc/28841/task/28871/stat : 28871 (java) R 28839 28841 25443 0 -1 4202560 142 0 0 0 30782 5 0 0 20 0 22 0 341051004 3037372416 189291 33554432000 1073741824 1073778376 140733912918240 139992921749856 139992933075911 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28841/tid=28872] ppid=28839 vsize=2966184 CPUtime=307.87 cores=0,2,4,6
/proc/28841/task/28872/stat : 28872 (java) R 28839 28841 25443 0 -1 4202560 133 0 0 0 30783 4 0 0 20 0 22 0 341051004 3037372416 189291 33554432000 1073741824 1073778376 140733912918240 139992920697712 139992932771602 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1747.2
Current children cumulated vsize (KiB) 2966184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+908.001 s]
/proc/loadavg: 3.98 4.01 3.92 5/219 28950
/proc/meminfo: memFree=25732232/32873660 swapFree=7120/7120
[pid=28841] ppid=28839 vsize=2966184 CPUtime=1797.81 cores=0,2,4,6
/proc/28841/stat : 28841 (java) S 28839 28841 25443 0 -1 4202496 21207 0 1 0 179644 137 0 0 20 0 22 0 340995162 3037372416 190334 33554432000 1073741824 1073778376 140733912918240 140733912909376 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28841/statm: 741546 190334 2276 9 0 732240 0
[pid=28841/tid=28843] ppid=28839 vsize=2966184 CPUtime=0.29 cores=0,2,4,6
/proc/28841/task/28843/stat : 28843 (java) S 28839 28841 25443 0 -1 4202560 2827 0 1 0 27 2 0 0 20 0 22 0 340995163 3037372416 190334 33554432000 1073741824 1073778376 140733912918240 139993083331736 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28841/tid=28844] ppid=28839 vsize=2966184 CPUtime=3.74 cores=0,2,4,6
/proc/28841/task/28844/stat : 28844 (java) S 28839 28841 25443 0 -1 4202560 175 0 0 0 366 8 0 0 20 0 22 0 340995164 3037372416 190334 33554432000 1073741824 1073778376 140733912918240 139993067613096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28845] ppid=28839 vsize=2966184 CPUtime=3.75 cores=0,2,4,6
/proc/28841/task/28845/stat : 28845 (java) S 28839 28841 25443 0 -1 4202560 176 0 0 0 369 6 0 0 20 0 22 0 340995164 3037372416 190334 33554432000 1073741824 1073778376 140733912918240 139993066560552 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28841/tid=28846] ppid=28839 vsize=2966184 CPUtime=3.75 cores=0,2,4,6
/proc/28841/task/28846/stat : 28846 (java) S 28839 28841 25443 0 -1 4202560 153 0 0 0 369 6 0 0 20 0 22 0 340995164 3037372416 190334 33554432000 1073741824 1073778376 140733912918240 139993065507496 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28841/tid=28847] ppid=28839 vsize=2966184 CPUtime=3.66 cores=0,2,4,6
/proc/28841/task/28847/stat : 28847 (java) S 28839 28841 25443 0 -1 4202560 140 0 0 0 360 6 0 0 20 0 22 0 340995164 3037372416 190334 33554432000 1073741824 1073778376 140733912918240 139993064454952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28841/tid=28848] ppid=28839 vsize=2966184 CPUtime=3.72 cores=0,2,4,6
/proc/28841/task/28848/stat : 28848 (java) S 28839 28841 25443 0 -1 4202560 144 0 0 0 365 7 0 0 20 0 22 0 340995164 3037372416 190334 33554432000 1073741824 1073778376 140733912918240 139993063401896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28841/tid=28849] ppid=28839 vsize=2966184 CPUtime=3.6 cores=0,2,4,6
/proc/28841/task/28849/stat : 28849 (java) S 28839 28841 25443 0 -1 4202560 138 0 0 0 354 6 0 0 20 0 22 0 340995164 3037372416 190334 33554432000 1073741824 1073778376 140733912918240 139993062349352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28850] ppid=28839 vsize=2966184 CPUtime=3.61 cores=0,2,4,6
/proc/28841/task/28850/stat : 28850 (java) S 28839 28841 25443 0 -1 4202560 147 0 0 0 354 7 0 0 20 0 22 0 340995164 3037372416 190334 33554432000 1073741824 1073778376 140733912918240 139993061296296 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28841/tid=28851] ppid=28839 vsize=2966184 CPUtime=3.63 cores=0,2,4,6
/proc/28841/task/28851/stat : 28851 (java) S 28839 28841 25443 0 -1 4202560 160 0 0 0 357 6 0 0 20 0 22 0 340995164 3037372416 190334 33554432000 1073741824 1073778376 140733912918240 139993060243752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28852] ppid=28839 vsize=2966184 CPUtime=26.48 cores=0,2,4,6
/proc/28841/task/28852/stat : 28852 (java) S 28839 28841 25443 0 -1 4202560 104 0 0 0 2612 36 0 0 20 0 22 0 340995166 3037372416 190334 33554432000 1073741824 1073778376 140733912918240 139992930175848 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28853] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28853/stat : 28853 (java) S 28839 28841 25443 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 340995166 3037372416 190334 33554432000 1073741824 1073778376 140733912918240 139992929122168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28854] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28854/stat : 28854 (java) S 28839 28841 25443 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340995166 3037372416 190334 33554432000 1073741824 1073778376 140733912918240 139992928069000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28855] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28855/stat : 28855 (java) S 28839 28841 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340995168 3037372416 190334 33554432000 1073741824 1073778376 140733912918240 139992927017744 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28856] ppid=28839 vsize=2966184 CPUtime=0.84 cores=0,2,4,6
/proc/28841/task/28856/stat : 28856 (java) S 28839 28841 25443 0 -1 4202560 6448 0 0 0 84 0 0 0 20 0 22 0 340995168 3037372416 190334 33554432000 1073741824 1073778376 140733912918240 139992925964600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28857] ppid=28839 vsize=2966184 CPUtime=1.1 cores=0,2,4,6
/proc/28841/task/28857/stat : 28857 (java) S 28839 28841 25443 0 -1 4202560 8223 0 0 0 108 2 0 0 20 0 22 0 340995168 3037372416 190334 33554432000 1073741824 1073778376 140733912918240 139992924912056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28841/tid=28858] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28858/stat : 28858 (java) S 28839 28841 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340995168 3037372416 190334 33554432000 1073741824 1073778376 140733912918240 139992923859192 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28841/tid=28859] ppid=28839 vsize=2966184 CPUtime=0.29 cores=0,2,4,6
/proc/28841/task/28859/stat : 28859 (java) S 28839 28841 25443 0 -1 4202560 52 0 0 0 12 17 0 0 20 0 22 0 340995168 3037372416 190334 33554432000 1073741824 1073778376 140733912918240 139992922806856 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28841/tid=28862] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28862/stat : 28862 (java) S 28839 28841 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340995194 3037372416 190334 33554432000 1073741824 1073778376 140733912918240 139992919647528 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28841/tid=28863] ppid=28839 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/28841/task/28863/stat : 28863 (java) S 28839 28841 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340995194 3037372416 190334 33554432000 1073741824 1073778376 140733912918240 139992918594984 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28841/tid=28871] ppid=28839 vsize=2966184 CPUtime=332.07 cores=0,2,4,6
/proc/28841/task/28871/stat : 28871 (java) R 28839 28841 25443 0 -1 4202560 149 0 0 0 33201 6 0 0 20 0 22 0 341051004 3037372416 190334 33554432000 1073741824 1073778376 140733912918240 139992921750688 139992933076160 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28841/tid=28872] ppid=28839 vsize=2966184 CPUtime=332.08 cores=0,2,4,6
/proc/28841/task/28872/stat : 28872 (java) R 28839 28841 25443 0 -1 4202560 146 0 0 0 33203 5 0 0 20 0 22 0 341051004 3037372416 190334 33554432000 1073741824 1073778376 140733912918240 139992920697296 139992932838773 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 2966184

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28841 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=749156
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=629752
# CPU time returned by wait4() is 1796.38
# while last known CPU time is 1797.81
#
# 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): 2.19995
#  lost CPU user time (s): 2.35992
#  lost CPU system time (s): -0.16

Real time (s): 908.053
CPU time (s): 1800.01
CPU user time (s): 1798.8
CPU system time (s): 1.21
CPU usage (%): 198.227
Max. virtual memory (cumulated for all children) (KiB): 2966184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.75
system time used= 1.62975
maximum resident set size= 761552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21264
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44871
involuntary context switches= 74930

runsolver used 3.24051 second user time and 8.36373 second system time

The end

Launcher Data 

Begin job on node117 at 2012-06-03 20:38:14
IDJOB=3735380
IDBENCH=3007
IDSOLVER=2324
FILE ID=node117/3735380-1338748694
RUNJOBID= node117-1338737787-25459
PBS_JOBID= 14636766
Free space on /tmp= 69116 MiB

SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555-max.opb
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735380-1338748694/watcher-3735380-1338748694 -o /tmp/evaluation-result-3735380-1338748694/solver-3735380-1338748694 -C 1800 -W 1900 -M 15500  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3735380-1338748694.opb

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

MD5SUM BENCH= 2533454829254b6bcc39aa8d9b25219b
RANDOM SEED=118825713

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:        26549292 kB
Buffers:          628524 kB
Cached:          4154096 kB
SwapCached:          776 kB
Active:          2921920 kB
Inactive:        2469200 kB
Active(anon):     594336 kB
Inactive(anon):     9972 kB
Active(file):    2327584 kB
Inactive(file):  2459228 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67107012 kB
Dirty:                68 kB
Writeback:             0 kB
AnonPages:        626404 kB
Mapped:            20380 kB
Shmem:                80 kB
Slab:             778020 kB
SReclaimable:     222176 kB
SUnreclaim:       555844 kB
KernelStack:        1624 kB
PageTables:         5420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:    1572716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    573440 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 20:53:24