Trace number 4106711

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)-105 1800.07 1783.65

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_25_3.opb
MD5SUMd487c80c335f688d99ca29b5d7c254e0
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-125
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -125
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
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 constraints1000
Minimum length of a constraint25
Maximum length of a constraint47
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31622
Sum of products size (including duplicates)63244
Number of different products15811
Sum of products size31622

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-2013 Artois University and CNRS
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 PB16.v20160501
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 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4106711-1466274644.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  objective function found
1.34/0.69	c ... done. Wall clock time 0.583s.
1.34/0.69	c declared #vars     1000
1.34/0.69	c internal #vars     16811
1.34/0.69	c #constraints  33622
1.34/0.69	c constraints type 
1.34/0.69	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15811
1.34/0.69	c org.sat4j.minisat.constraints.cnf.UnitClauses => 896
1.34/0.69	c org.sat4j.specs.Constr$1 => 1054
1.34/0.69	c org.sat4j.minisat.constraints.cnf.UnitClause => 50
1.34/0.69	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15811
1.34/0.69	c 33622 constraints processed.
1.34/0.69	c objective function length is 1000 literals
1.94/0.89	c SATISFIABLE
1.94/0.89	c OPTIMIZING...
1.94/0.89	c Got one! Elapsed wall clock time (in seconds):0.781
1.94/0.89	o -100
2.86/1.12	c Got one! Elapsed wall clock time (in seconds):1.014
2.86/1.12	o -101
2.86/1.14	c Got one! Elapsed wall clock time (in seconds):1.03
2.86/1.14	o -102
2.86/1.20	c Got one! Elapsed wall clock time (in seconds):1.091
2.86/1.20	o -103
3.78/1.76	c cleaning 2662 clauses out of 5324 with flag 10387/5324
4.48/2.37	c cleaning 4328 clauses out of 8662 with flag 22754/11324
5.18/3.08	c cleaning 5668 clauses out of 11335 with flag 37217/18325
6.39/4.12	c cleaning 6833 clauses out of 13667 with flag 53723/26325
7.44/5.18	c cleaning 7913 clauses out of 15833 with flag 72316/35324
8.64/6.35	c cleaning 8961 clauses out of 17921 with flag 93086/45325
10.23/7.77	c cleaning 9979 clauses out of 19961 with flag 115787/56326
11.63/9.16	c cleaning 10988 clauses out of 21980 with flag 140651/68324
13.13/10.65	c cleaning 11995 clauses out of 23992 with flag 167578/81324
14.73/12.28	c cleaning 12997 clauses out of 25997 with flag 196541/95324
16.63/14.13	c cleaning 14000 clauses out of 28001 with flag 227512/110325
18.64/16.10	c cleaning 14994 clauses out of 30000 with flag 260548/126324
21.05/18.34	c cleaning 16001 clauses out of 32008 with flag 295776/143326
23.25/20.55	c cleaning 16999 clauses out of 34005 with flag 333058/161324
25.75/23.01	c cleaning 18002 clauses out of 36006 with flag 372298/180324
28.34/25.55	c cleaning 18999 clauses out of 38004 with flag 413629/200324
30.83/28.05	c cleaning 20001 clauses out of 40007 with flag 457214/221326
33.53/30.73	c cleaning 20998 clauses out of 42004 with flag 502796/243324
36.43/33.66	c cleaning 21995 clauses out of 44006 with flag 550606/266324
39.24/36.49	c cleaning 23000 clauses out of 46012 with flag 600385/290325
42.53/39.75	c cleaning 24004 clauses out of 48012 with flag 652085/315325
46.20/43.15	c cleaning 24997 clauses out of 50007 with flag 705883/341324
50.41/47.37	c cleaning 26006 clauses out of 52011 with flag 761464/368325
54.81/51.74	c cleaning 27001 clauses out of 54005 with flag 819300/396325
58.80/55.71	c cleaning 27996 clauses out of 56003 with flag 879152/425324
62.90/59.81	c cleaning 29000 clauses out of 58007 with flag 941361/455324
67.84/64.45	c cleaning 30001 clauses out of 60009 with flag 1005520/486326
72.94/69.52	c cleaning 30997 clauses out of 62006 with flag 1071614/518324
77.84/74.43	c cleaning 32000 clauses out of 64009 with flag 1139812/551324
83.34/79.96	c cleaning 33003 clauses out of 66009 with flag 1210223/585324
88.94/85.51	c cleaning 34002 clauses out of 68007 with flag 1282591/620325
95.33/91.43	c cleaning 35001 clauses out of 70005 with flag 1356975/656325
101.52/97.61	c cleaning 36000 clauses out of 72004 with flag 1433659/693325
107.22/103.36	c cleaning 36998 clauses out of 74003 with flag 1512524/731324
113.22/109.30	c cleaning 38000 clauses out of 76005 with flag 1593559/770324
122.68/117.93	c cleaning 39000 clauses out of 78006 with flag 1676457/810325
128.98/124.22	c cleaning 40000 clauses out of 80005 with flag 1761187/851324
134.98/130.20	c cleaning 41003 clauses out of 82007 with flag 1847927/893326
141.29/136.58	c cleaning 41998 clauses out of 84003 with flag 1936893/936325
148.49/143.78	c cleaning 43000 clauses out of 86004 with flag 2028026/980324
156.60/151.82	c cleaning 44002 clauses out of 88004 with flag 2121231/1025324
165.79/160.53	c cleaning 44999 clauses out of 90003 with flag 2215882/1071325
174.39/169.19	c cleaning 45997 clauses out of 92004 with flag 2313236/1118325
182.29/177.05	c cleaning 46999 clauses out of 94006 with flag 2412138/1166324
191.10/185.89	c cleaning 48000 clauses out of 96008 with flag 2513556/1215325
201.10/195.88	c cleaning 49002 clauses out of 98007 with flag 2617199/1265324
212.23/205.96	c cleaning 50002 clauses out of 100006 with flag 2722730/1316325
221.53/215.28	c cleaning 50999 clauses out of 102005 with flag 2830097/1368326
230.93/224.68	c cleaning 51998 clauses out of 104005 with flag 2939552/1421325
241.63/235.34	c cleaning 52997 clauses out of 106007 with flag 3051122/1475325
253.73/247.43	c cleaning 54003 clauses out of 108010 with flag 3164976/1530325
267.08/260.01	c cleaning 55003 clauses out of 110007 with flag 3280735/1586325
279.89/272.80	c cleaning 55994 clauses out of 112004 with flag 3398295/1643325
290.79/283.80	c cleaning 57003 clauses out of 114010 with flag 3517943/1701325
302.49/295.47	c cleaning 58000 clauses out of 116006 with flag 3639368/1760324
314.29/307.28	c cleaning 59004 clauses out of 118007 with flag 3763094/1820325
326.81/319.48	c cleaning 59995 clauses out of 120003 with flag 3888610/1881325
337.91/330.51	c cleaning 61001 clauses out of 122008 with flag 4016109/1943325
350.62/343.28	c cleaning 62002 clauses out of 124006 with flag 4145924/2006324
365.02/357.68	c cleaning 63000 clauses out of 126005 with flag 4278249/2070325
379.67/371.76	c cleaning 63998 clauses out of 128006 with flag 4412289/2135326
392.27/384.39	c cleaning 64999 clauses out of 130006 with flag 4548851/2201324
404.97/397.04	c cleaning 65999 clauses out of 132007 with flag 4687379/2268324
420.48/412.56	c cleaning 67001 clauses out of 134008 with flag 4828033/2336324
436.59/428.45	c cleaning 68002 clauses out of 136008 with flag 4970517/2405325
453.80/445.65	c cleaning 68996 clauses out of 138005 with flag 5115511/2475324
472.90/464.72	c cleaning 70001 clauses out of 140009 with flag 5262737/2546324
491.50/483.30	c cleaning 71004 clauses out of 142008 with flag 5412928/2618324
508.48/499.93	c cleaning 72000 clauses out of 144004 with flag 5564813/2691324
527.98/519.41	c cleaning 72997 clauses out of 146004 with flag 5717590/2765324
549.08/540.55	c cleaning 73998 clauses out of 148008 with flag 5873033/2840325
570.30/561.25	c cleaning 75001 clauses out of 150009 with flag 6029577/2916324
593.21/584.11	c cleaning 75998 clauses out of 152009 with flag 6188066/2993325
615.71/606.65	c cleaning 77003 clauses out of 154011 with flag 6349443/3071325
635.94/626.71	c cleaning 77998 clauses out of 156008 with flag 6512819/3150325
656.54/647.30	c cleaning 79001 clauses out of 158010 with flag 6678292/3230325
677.24/668.01	c cleaning 80002 clauses out of 160008 with flag 6846411/3311324
698.53/689.05	c cleaning 81001 clauses out of 162006 with flag 7017171/3393324
723.53/714.09	c cleaning 81997 clauses out of 164005 with flag 7189543/3476324
751.48/741.53	c cleaning 83004 clauses out of 166008 with flag 7362103/3560324
780.58/770.69	c cleaning 83999 clauses out of 168005 with flag 7537195/3645325
806.99/797.06	c cleaning 85002 clauses out of 170007 with flag 7714699/3731326
831.72/821.53	c cleaning 85996 clauses out of 172003 with flag 7894537/3818324
852.74/842.56	c cleaning 87000 clauses out of 174007 with flag 8076021/3906324
879.57/869.02	c cleaning 87999 clauses out of 176008 with flag 8259756/3995325
905.77/895.23	c cleaning 89001 clauses out of 178008 with flag 8445615/4085324
927.71/916.71	c cleaning 89999 clauses out of 180007 with flag 8633691/4176324
948.52/937.53	c cleaning 91001 clauses out of 182009 with flag 8823611/4268325
975.24/963.96	c cleaning 92002 clauses out of 184008 with flag 9015538/4361325
1000.94/989.60	c cleaning 93002 clauses out of 186007 with flag 9209117/4455326
1030.68/1018.97	c cleaning 93998 clauses out of 188003 with flag 9404890/4550324
1060.69/1048.92	c cleaning 95000 clauses out of 190006 with flag 9602810/4646325
1092.94/1080.96	c cleaning 96000 clauses out of 192005 with flag 9803447/4743324
1123.44/1111.40	c cleaning 97003 clauses out of 194005 with flag 10005869/4841324
1159.18/1146.94	c cleaning 97996 clauses out of 196002 with flag 10209901/4940324
1190.98/1178.49	c cleaning 99000 clauses out of 198007 with flag 10416304/5040325
1216.88/1204.32	c cleaning 100001 clauses out of 200007 with flag 10624369/5141325
1240.87/1227.61	c cleaning 101001 clauses out of 202006 with flag 10835010/5243325
1270.36/1256.86	c cleaning 101996 clauses out of 204004 with flag 11047868/5346324
1273.55/1260.07	c Got one! Elapsed wall clock time (in seconds):1259.965
1273.55/1260.07	o -104
1273.69/1260.11	c Got one! Elapsed wall clock time (in seconds):1260.002
1273.69/1260.11	o -105
1278.16/1264.58	c cleaning 65072 clauses out of 130159 with flag 10503/5374475
1279.66/1266.08	c cleaning 35539 clauses out of 71086 with flag 22908/5380474
1280.76/1267.12	c cleaning 21269 clauses out of 42548 with flag 37653/5387475
1281.76/1268.13	c cleaning 14636 clauses out of 29280 with flag 55026/5395476
1282.66/1269.06	c cleaning 11817 clauses out of 23643 with flag 73871/5404475
1283.66/1270.06	c cleaning 10911 clauses out of 21825 with flag 94545/5414474
1284.76/1271.13	c cleaning 10954 clauses out of 21915 with flag 117227/5425475
1285.96/1272.31	c cleaning 11476 clauses out of 22960 with flag 141893/5437474
1287.26/1273.61	c cleaning 12243 clauses out of 24485 with flag 168829/5450475
1288.67/1275.09	c cleaning 13119 clauses out of 26241 with flag 197961/5464474
1290.40/1276.69	c cleaning 14057 clauses out of 28123 with flag 228856/5479475
1292.11/1278.32	c cleaning 15029 clauses out of 30066 with flag 261800/5495475
1293.90/1280.15	c cleaning 16016 clauses out of 32038 with flag 296644/5512476
1295.90/1282.10	c cleaning 17005 clauses out of 34020 with flag 333816/5530474
1297.90/1284.12	c cleaning 18004 clauses out of 36016 with flag 373074/5549475
1300.10/1286.35	c cleaning 19006 clauses out of 38011 with flag 414141/5569474
1302.50/1288.73	c cleaning 20004 clauses out of 40007 with flag 457496/5590476
1305.11/1291.40	c cleaning 20998 clauses out of 42002 with flag 502781/5612475
1308.21/1294.33	c cleaning 22002 clauses out of 44003 with flag 550117/5635474
1311.41/1297.54	c cleaning 23001 clauses out of 46002 with flag 599917/5659475
1314.61/1300.78	c cleaning 23997 clauses out of 48002 with flag 653468/5684476
1317.91/1304.05	c cleaning 24998 clauses out of 50005 with flag 708923/5710476
1321.50/1307.66	c cleaning 26000 clauses out of 52005 with flag 766006/5737474
1325.55/1311.53	c cleaning 26999 clauses out of 54005 with flag 824064/5765474
1329.15/1315.19	c cleaning 27999 clauses out of 56006 with flag 883834/5794474
1333.64/1319.62	c cleaning 29002 clauses out of 58009 with flag 946140/5824476
1338.64/1324.62	c cleaning 30003 clauses out of 60006 with flag 1010757/5855475
1343.64/1329.61	c cleaning 30996 clauses out of 62003 with flag 1076785/5887475
1349.53/1335.46	c cleaning 31999 clauses out of 64006 with flag 1145665/5920474
1355.23/1341.19	c cleaning 33005 clauses out of 66009 with flag 1215988/5954476
1360.44/1346.36	c cleaning 33997 clauses out of 68003 with flag 1287785/5989475
1365.94/1351.88	c cleaning 35000 clauses out of 70006 with flag 1361622/6025475
1371.92/1357.72	c cleaning 36002 clauses out of 72005 with flag 1437465/6062474
1378.32/1364.12	c cleaning 36996 clauses out of 74003 with flag 1515596/6100474
1385.32/1371.10	c cleaning 38004 clauses out of 76009 with flag 1596829/6139476
1394.81/1380.55	c cleaning 38997 clauses out of 78004 with flag 1681548/6179475
1402.50/1388.30	c cleaning 40000 clauses out of 80007 with flag 1765451/6220475
1409.40/1395.17	c cleaning 40996 clauses out of 82006 with flag 1851685/6262474
1416.76/1402.46	c cleaning 42001 clauses out of 84010 with flag 1940239/6305474
1423.66/1409.38	c cleaning 43003 clauses out of 86011 with flag 2030327/6349476
1430.46/1416.13	c cleaning 44003 clauses out of 88008 with flag 2123062/6394476
1438.13/1423.71	c cleaning 45001 clauses out of 90004 with flag 2217833/6440475
1445.93/1431.52	c cleaning 46002 clauses out of 92003 with flag 2314306/6487475
1454.94/1440.43	c cleaning 46998 clauses out of 94002 with flag 2413185/6535476
1465.34/1450.86	c cleaning 47995 clauses out of 96002 with flag 2514096/6584474
1475.70/1461.03	c cleaning 49001 clauses out of 98008 with flag 2616978/6634475
1485.69/1471.04	c cleaning 50003 clauses out of 100006 with flag 2722186/6685474
1498.67/1483.86	c cleaning 51002 clauses out of 102003 with flag 2832654/6737474
1509.47/1494.66	c cleaning 51993 clauses out of 104002 with flag 2941798/6790475
1521.85/1506.83	c cleaning 53000 clauses out of 106008 with flag 3056174/6844474
1534.15/1519.13	c cleaning 54001 clauses out of 108009 with flag 3172572/6899475
1547.40/1532.20	c cleaning 55000 clauses out of 110008 with flag 3287818/6955475
1558.52/1543.40	c cleaning 56002 clauses out of 112007 with flag 3405062/7012474
1573.33/1558.06	c cleaning 56997 clauses out of 114006 with flag 3527614/7070475
1585.03/1569.72	c cleaning 57998 clauses out of 116009 with flag 3652687/7129475
1596.71/1581.30	c cleaning 59002 clauses out of 118010 with flag 3776467/7189474
1609.66/1594.13	c cleaning 60005 clauses out of 120009 with flag 3902427/7250475
1621.06/1605.55	c cleaning 60999 clauses out of 122003 with flag 4030407/7312474
1633.52/1617.91	c cleaning 61996 clauses out of 124004 with flag 4160039/7375474
1647.27/1631.52	c cleaning 63002 clauses out of 126009 with flag 4292010/7439475
1660.98/1645.22	c cleaning 63997 clauses out of 128006 with flag 4426394/7504474
1678.01/1662.27	c cleaning 65000 clauses out of 130009 with flag 4562357/7570474
1694.40/1678.55	c cleaning 66003 clauses out of 132010 with flag 4700641/7637475
1711.13/1695.13	c cleaning 66998 clauses out of 134007 with flag 4841023/7705475
1727.99/1711.89	c cleaning 68000 clauses out of 136008 with flag 4983324/7774474
1747.38/1731.00	c cleaning 69001 clauses out of 138008 with flag 5127688/7844474
1767.98/1751.60	c cleaning 70003 clauses out of 140007 with flag 5274127/7915474
1790.64/1774.25	c cleaning 70996 clauses out of 142004 with flag 5422314/7987474
1800.07/1783.60	c starts		: 7
1800.07/1783.60	c conflicts		: 8022154
1800.07/1783.60	c decisions		: 9290516
1800.07/1783.60	c propagations		: 65238898
1800.07/1783.60	c inspects		: 21936841787
1800.07/1783.60	c shortcuts		: 0
1800.07/1783.60	c learnt literals	: 0
1800.07/1783.60	c learnt binary clauses	: 0
1800.07/1783.60	c learnt ternary clauses	: 0
1800.07/1783.60	c learnt constraints	: 8022154
1800.07/1783.60	c ignored constraints	: 0
1800.07/1783.60	c root simplifications	: 0
1800.07/1783.60	c removed literals (reason simplification)	: 0
1800.07/1783.60	c reason swapping (by a shorter reason)	: 0
1800.07/1783.60	c Calls to reduceDB	: 167
1800.07/1783.60	c Number of update (reduction) of LBD	: 43511
1800.07/1783.60	c Imported unit clauses	: 0
1800.07/1783.60	c number of reductions to clauses (during analyze)	: 0
1800.07/1783.60	c number of learned constraints concerned by reduction	: 0
1800.07/1783.60	c number of learning phase by resolution	: 0
1800.07/1783.60	c number of learning phase by cutting planes	: 0
1800.07/1783.60	c speed (assignments/second)	: 36592.11113778474
1800.07/1783.60	c non guided choices	0
1800.07/1783.63	c learnt constraints type 
1800.07/1783.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 105689
1800.07/1783.63	s SATISFIABLE
1800.07/1783.63	c Found 6 solution(s)
1800.07/1783.63	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 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 x928 x929 -x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 x965 -x966 -x967 -x968 -x969 -x970 -x971 x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 
1800.07/1783.63	c objective function=-105
1800.07/1783.63	c Total wall clock time (in seconds): 1783.526

Verifier Data 

OK	-105

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4106711-1466274644/watcher-4106711-1466274644 -o /tmp/evaluation-result-4106711-1466274644/solver-4106711-1466274644 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466265808-19864 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4106711-1466274644.opb 

pid=22450
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: 2.11 2.11 2.10 4/195 22453
/proc/meminfo: memFree=30274444/32872528 swapFree=877056/942464
[pid=22453] ppid=22450 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/22453/stat : 22453 (java) S 22450 22453 19848 0 -1 4202496 1352 0 0 0 0 0 0 0 20 0 2 0 29513284 98570240 976 33554432000 1073741824 1073778376 140735643529120 140735643520256 213196505149 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22453/statm: 24065 976 743 9 0 16771 0
[pid=22453/tid=22454] ppid=22450 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22454/stat : 22454 (java) R 22450 22453 19848 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 29513284 98570240 977 33554432000 1073741824 1073778376 140735643529120 139731234000424 213193147776 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100114 s]
/proc/loadavg: 2.11 2.11 2.10 4/195 22453
/proc/meminfo: memFree=30274444/32872528 swapFree=877056/942464
[pid=22453] ppid=22450 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/22453/stat : 22453 (java) S 22450 22453 19848 0 -1 4202496 4400 0 1 0 9 1 0 0 20 0 18 0 29513284 9787879424 6030 33554432000 1073741824 1073778376 140735643529120 140735643520256 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22453/statm: 2389619 6030 2125 9 0 2380296 0
[pid=22453/tid=22454] ppid=22450 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/22453/task/22454/stat : 22454 (java) R 22450 22453 19848 0 -1 4202560 2380 0 1 0 7 0 0 0 20 0 18 0 29513284 9787879424 6030 33554432000 1073741824 1073778376 140735643529120 139731234003872 213196520504 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200308 s]
/proc/loadavg: 2.11 2.11 2.10 4/195 22453
/proc/meminfo: memFree=30274444/32872528 swapFree=877056/942464
[pid=22453] ppid=22450 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/22453/stat : 22453 (java) S 22450 22453 19848 0 -1 4202496 4690 0 1 0 24 1 0 0 20 0 18 0 29513284 9787879424 6768 33554432000 1073741824 1073778376 140735643529120 140735643520256 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22453/statm: 2389619 6768 2201 9 0 2380296 0
[pid=22453/tid=22454] ppid=22450 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/22453/task/22454/stat : 22454 (java) R 22450 22453 19848 0 -1 4202560 2414 0 1 0 17 0 0 0 20 0 18 0 29513284 9787879424 6768 33554432000 1073741824 1073778376 140735643529120 139731233999800 213196520504 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300315 s]
/proc/loadavg: 2.11 2.11 2.10 4/195 22453
/proc/meminfo: memFree=30274444/32872528 swapFree=877056/942464
[pid=22453] ppid=22450 vsize=9558476 CPUtime=0.45 cores=0,2,4,6
/proc/22453/stat : 22453 (java) S 22450 22453 19848 0 -1 4202496 5437 0 1 0 44 1 0 0 20 0 18 0 29513284 9787879424 8818 33554432000 1073741824 1073778376 140735643529120 140735643520256 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22453/statm: 2389619 8818 2239 9 0 2380296 0
[pid=22453/tid=22454] ppid=22450 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/22453/task/22454/stat : 22454 (java) R 22450 22453 19848 0 -1 4202560 2417 0 1 0 27 0 0 0 20 0 18 0 29513284 9787879424 8818 33554432000 1073741824 1073778376 140735643529120 139731233999800 139731073623027 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558476

[startup+0.700272 s]
/proc/loadavg: 2.11 2.11 2.10 4/195 22453
/proc/meminfo: memFree=30274444/32872528 swapFree=877056/942464
[pid=22453] ppid=22450 vsize=9558476 CPUtime=1.64 cores=0,2,4,6
/proc/22453/stat : 22453 (java) S 22450 22453 19848 0 -1 4202496 21724 0 1 0 159 5 0 0 20 0 18 0 29513284 9787879424 28271 33554432000 1073741824 1073778376 140735643529120 140735643520256 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22453/statm: 2389619 28271 2262 9 0 2380296 0
[pid=22453/tid=22454] ppid=22450 vsize=9558476 CPUtime=0.67 cores=0,2,4,6
/proc/22453/task/22454/stat : 22454 (java) R 22450 22453 19848 0 -1 4202560 2445 0 1 0 65 2 0 0 20 0 18 0 29513284 9787879424 28271 33554432000 1073741824 1073778376 140735643529120 139731234004968 139731073623024 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 9558476

[startup+1.50082 s]
/proc/loadavg: 2.11 2.11 2.10 5/214 22472
/proc/meminfo: memFree=30175156/32872528 swapFree=877056/942464
[pid=22453] ppid=22450 vsize=9625040 CPUtime=3.57 cores=0,2,4,6
/proc/22453/stat : 22453 (java) S 22450 22453 19848 0 -1 4202496 22339 0 1 0 351 6 0 0 20 0 19 0 29513284 9856040960 30608 33554432000 1073741824 1073778376 140735643529120 140735643520256 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22453/statm: 2406260 30608 2274 9 0 2396937 0
[pid=22453/tid=22454] ppid=22450 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/22453/task/22454/stat : 22454 (java) R 22450 22453 19848 0 -1 4202560 2457 0 1 0 145 2 0 0 20 0 19 0 29513284 9856040960 30608 33554432000 1073741824 1073778376 140735643529120 139731234005336 139731074613216 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22453/tid=22456] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22456/stat : 22456 (java) S 22450 22453 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29513285 9856040960 30608 33554432000 1073741824 1073778376 140735643529120 139731195496872 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22457] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22457/stat : 22457 (java) S 22450 22453 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29513285 9856040960 30608 33554432000 1073741824 1073778376 140735643529120 139731194444328 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22453/tid=22458] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22458/stat : 22458 (java) S 22450 22453 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29513285 9856040960 30608 33554432000 1073741824 1073778376 140735643529120 139731193391272 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22453/tid=22459] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22459/stat : 22459 (java) S 22450 22453 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29513285 9856040960 30608 33554432000 1073741824 1073778376 140735643529120 139731192338728 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22460] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22460/stat : 22460 (java) S 22450 22453 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29513285 9856040960 30608 33554432000 1073741824 1073778376 140735643529120 139731073493928 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22453/tid=22461] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22461/stat : 22461 (java) S 22450 22453 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29513285 9856040960 30608 33554432000 1073741824 1073778376 140735643529120 139731072441384 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22453/tid=22462] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22462/stat : 22462 (java) S 22450 22453 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29513285 9856040960 30608 33554432000 1073741824 1073778376 140735643529120 139731071388328 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22463] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22463/stat : 22463 (java) S 22450 22453 19848 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29513285 9856040960 30608 33554432000 1073741824 1073778376 140735643529120 139731070335784 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22464] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22464/stat : 22464 (java) S 22450 22453 19848 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29513286 9856040960 30608 33554432000 1073741824 1073778376 140735643529120 139731058137448 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22465] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22465/stat : 22465 (java) S 22450 22453 19848 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29513287 9856040960 30608 33554432000 1073741824 1073778376 140735643529120 139730452735352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22466] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22466/stat : 22466 (java) S 22450 22453 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29513287 9856040960 30608 33554432000 1073741824 1073778376 140735643529120 139730451682184 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22467] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22467/stat : 22467 (java) S 22450 22453 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29513289 9856040960 30608 33554432000 1073741824 1073778376 140735643529120 139730450630928 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22468] ppid=22450 vsize=9625040 CPUtime=0.99 cores=0,2,4,6
/proc/22453/task/22468/stat : 22468 (java) S 22450 22453 19848 0 -1 4202560 7144 0 0 0 98 1 0 0 20 0 19 0 29513289 9856040960 30608 33554432000 1073741824 1073778376 140735643529120 139730449578808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22469] ppid=22450 vsize=9625040 CPUtime=1.06 cores=0,2,4,6
/proc/22453/task/22469/stat : 22469 (java) S 22450 22453 19848 0 -1 4202560 11467 0 0 0 104 2 0 0 20 0 19 0 29513289 9856040960 30608 33554432000 1073741824 1073778376 140735643529120 139730448526264 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22453/tid=22470] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22470/stat : 22470 (java) S 22450 22453 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29513289 9856040960 30608 33554432000 1073741824 1073778376 140735643529120 139730447473400 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22453/tid=22471] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22471/stat : 22471 (java) S 22450 22453 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29513289 9856040960 30608 33554432000 1073741824 1073778376 140735643529120 139730446421064 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22472] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22472/stat : 22472 (java) S 22450 22453 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29513358 9856040960 30608 33554432000 1073741824 1073778376 140735643529120 139730445366312 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 9625040

[startup+3.10083 s]
/proc/loadavg: 2.26 2.14 2.11 3/214 22472
/proc/meminfo: memFree=30135204/32872528 swapFree=877056/942464
[pid=22453] ppid=22450 vsize=9625040 CPUtime=5.29 cores=0,2,4,6
/proc/22453/stat : 22453 (java) S 22450 22453 19848 0 -1 4202496 22374 0 1 0 522 7 0 0 20 0 19 0 29513284 9856040960 44438 33554432000 1073741824 1073778376 140735643529120 140735643520256 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22453/statm: 2406260 44438 2279 9 0 2396937 0
[pid=22453/tid=22454] ppid=22450 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/22453/task/22454/stat : 22454 (java) R 22450 22453 19848 0 -1 4202560 2486 0 1 0 304 3 0 0 20 0 19 0 29513284 9856040960 44438 33554432000 1073741824 1073778376 140735643529120 139731234005512 139731074722605 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22453/tid=22456] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22456/stat : 22456 (java) S 22450 22453 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29513285 9856040960 44438 33554432000 1073741824 1073778376 140735643529120 139731195496872 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22457] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22457/stat : 22457 (java) S 22450 22453 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29513285 9856040960 44438 33554432000 1073741824 1073778376 140735643529120 139731194444328 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22453/tid=22458] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22458/stat : 22458 (java) S 22450 22453 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29513285 9856040960 44438 33554432000 1073741824 1073778376 140735643529120 139731193391272 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22453/tid=22459] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22459/stat : 22459 (java) S 22450 22453 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29513285 9856040960 44438 33554432000 1073741824 1073778376 140735643529120 139731192338728 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22460] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22460/stat : 22460 (java) S 22450 22453 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29513285 9856040960 44438 33554432000 1073741824 1073778376 140735643529120 139731073493928 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22453/tid=22461] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22461/stat : 22461 (java) S 22450 22453 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29513285 9856040960 44438 33554432000 1073741824 1073778376 140735643529120 139731072441384 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22453/tid=22462] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22462/stat : 22462 (java) S 22450 22453 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29513285 9856040960 44438 33554432000 1073741824 1073778376 140735643529120 139731071388328 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22463] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22463/stat : 22463 (java) S 22450 22453 19848 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29513285 9856040960 44438 33554432000 1073741824 1073778376 140735643529120 139731070335784 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22464] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22464/stat : 22464 (java) S 22450 22453 19848 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 29513286 9856040960 44438 33554432000 1073741824 1073778376 140735643529120 139731058137448 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22465] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22465/stat : 22465 (java) S 22450 22453 19848 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29513287 9856040960 44438 33554432000 1073741824 1073778376 140735643529120 139730452735352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22466] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22466/stat : 22466 (java) S 22450 22453 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29513287 9856040960 44438 33554432000 1073741824 1073778376 140735643529120 139730451682184 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22467] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22467/stat : 22467 (java) S 22450 22453 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29513289 9856040960 44438 33554432000 1073741824 1073778376 140735643529120 139730450630928 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22468] ppid=22450 vsize=9625040 CPUtime=1.02 cores=0,2,4,6
/proc/22453/task/22468/stat : 22468 (java) S 22450 22453 19848 0 -1 4202560 7144 0 0 0 100 2 0 0 20 0 19 0 29513289 9856040960 44438 33554432000 1073741824 1073778376 140735643529120 139730449578808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22469] ppid=22450 vsize=9625040 CPUtime=1.16 cores=0,2,4,6
/proc/22453/task/22469/stat : 22469 (java) S 22450 22453 19848 0 -1 4202560 11472 0 0 0 114 2 0 0 20 0 19 0 29513289 9856040960 44438 33554432000 1073741824 1073778376 140735643529120 139730448526264 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22453/tid=22470] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22470/stat : 22470 (java) S 22450 22453 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29513289 9856040960 44438 33554432000 1073741824 1073778376 140735643529120 139730447473400 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22453/tid=22471] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22471/stat : 22471 (java) S 22450 22453 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29513289 9856040960 44438 33554432000 1073741824 1073778376 140735643529120 139730446421064 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22472] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22472/stat : 22472 (java) S 22450 22453 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29513358 9856040960 44438 33554432000 1073741824 1073778376 140735643529120 139730445366312 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 5.29
Current children cumulated vsize (KiB) 9625040

[startup+6.30084 s]
/proc/loadavg: 2.26 2.14 2.11 3/214 22472
/proc/meminfo: memFree=30055984/32872528 swapFree=877056/942464
[pid=22453] ppid=22450 vsize=9625040 CPUtime=8.64 cores=0,2,4,6
/proc/22453/stat : 22453 (java) S 22450 22453 19848 0 -1 4202496 22551 0 1 0 851 13 0 0 20 0 19 0 29513284 9856040960 56374 33554432000 1073741824 1073778376 140735643529120 140735643520256 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22453/statm: 2406260 56374 2292 9 0 2396937 0
[pid=22453/tid=22454] ppid=22450 vsize=9625040 CPUtime=6.22 cores=0,2,4,6
/proc/22453/task/22454/stat : 22454 (java) R 22450 22453 19848 0 -1 4202560 2493 0 1 0 619 3 0 0 20 0 19 0 29513284 9856040960 56374 33554432000 1073741824 1073778376 140735643529120 139731233996448 139731074723125 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22453/tid=22456] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22456/stat : 22456 (java) S 22450 22453 19848 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 29513285 9856040960 56374 33554432000 1073741824 1073778376 140735643529120 139731195496872 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22457] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22457/stat : 22457 (java) S 22450 22453 19848 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 29513285 9856040960 56374 33554432000 1073741824 1073778376 140735643529120 139731194444328 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22453/tid=22458] ppid=22450 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/22453/task/22458/stat : 22458 (java) S 22450 22453 19848 0 -1 4202560 29 0 0 0 0 2 0 0 20 0 19 0 29513285 9856040960 56374 33554432000 1073741824 1073778376 140735643529120 139731193391272 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22459] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22459/stat : 22459 (java) S 22450 22453 19848 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 29513285 9856040960 56374 33554432000 1073741824 1073778376 140735643529120 139731192338728 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22453/tid=22460] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22460/stat : 22460 (java) S 22450 22453 19848 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 29513285 9856040960 56374 33554432000 1073741824 1073778376 140735643529120 139731073493928 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22453/tid=22461] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22461/stat : 22461 (java) S 22450 22453 19848 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29513285 9856040960 56374 33554432000 1073741824 1073778376 140735643529120 139731072441384 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22453/tid=22462] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22462/stat : 22462 (java) S 22450 22453 19848 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29513285 9856040960 56374 33554432000 1073741824 1073778376 140735643529120 139731071388328 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22463] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22463/stat : 22463 (java) S 22450 22453 19848 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 29513285 9856040960 56374 33554432000 1073741824 1073778376 140735643529120 139731070335784 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22453/tid=22464] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22464/stat : 22464 (java) S 22450 22453 19848 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 29513286 9856040960 56374 33554432000 1073741824 1073778376 140735643529120 139731058137448 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22465] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22465/stat : 22465 (java) S 22450 22453 19848 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29513287 9856040960 56374 33554432000 1073741824 1073778376 140735643529120 139730452735352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22466] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22466/stat : 22466 (java) S 22450 22453 19848 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29513287 9856040960 56374 33554432000 1073741824 1073778376 140735643529120 139730451682184 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22467] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22467/stat : 22467 (java) S 22450 22453 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29513289 9856040960 56374 33554432000 1073741824 1073778376 140735643529120 139730450630928 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22468] ppid=22450 vsize=9625040 CPUtime=1.02 cores=0,2,4,6
/proc/22453/task/22468/stat : 22468 (java) S 22450 22453 19848 0 -1 4202560 7144 0 0 0 100 2 0 0 20 0 19 0 29513289 9856040960 56374 33554432000 1073741824 1073778376 140735643529120 139730449578808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22469] ppid=22450 vsize=9625040 CPUtime=1.21 cores=0,2,4,6

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

[pid=22453/tid=22472] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22472/stat : 22472 (java) S 22450 22453 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29513358 9856040960 620023 33554432000 1073741824 1073778376 140735643529120 139730445366312 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1678.11
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.08 2.11 2.09 3/213 22578
/proc/meminfo: memFree=27166088/32872528 swapFree=877056/942464
[pid=22453] ppid=22450 vsize=9625040 CPUtime=1738.49 cores=0,2,4,6
/proc/22453/stat : 22453 (java) S 22450 22453 19848 0 -1 4202496 113662 0 1 0 173445 404 0 0 20 0 19 0 29513284 9856040960 600977 33554432000 1073741824 1073778376 140735643529120 140735643520256 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22453/statm: 2406260 600977 2301 9 0 2396937 0
[pid=22453/tid=22454] ppid=22450 vsize=9625040 CPUtime=1710.82 cores=0,2,4,6
/proc/22453/task/22454/stat : 22454 (java) R 22450 22453 19848 0 -1 4202560 3377 0 1 0 171046 36 0 0 20 0 19 0 29513284 9856040960 600977 33554432000 1073741824 1073778376 140735643529120 139731233996464 139731074824775 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22456] ppid=22450 vsize=9625040 CPUtime=2.15 cores=0,2,4,6
/proc/22453/task/22456/stat : 22456 (java) S 22450 22453 19848 0 -1 4202560 12363 0 0 0 172 43 0 0 20 0 19 0 29513285 9856040960 600977 33554432000 1073741824 1073778376 140735643529120 139731195496872 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22453/tid=22457] ppid=22450 vsize=9625040 CPUtime=2.67 cores=0,2,4,6
/proc/22453/task/22457/stat : 22457 (java) S 22450 22453 19848 0 -1 4202560 10304 0 0 0 218 49 0 0 20 0 19 0 29513285 9856040960 600977 33554432000 1073741824 1073778376 140735643529120 139731194444328 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22453/tid=22458] ppid=22450 vsize=9625040 CPUtime=2.39 cores=0,2,4,6
/proc/22453/task/22458/stat : 22458 (java) S 22450 22453 19848 0 -1 4202560 7751 0 0 0 197 42 0 0 20 0 19 0 29513285 9856040960 600977 33554432000 1073741824 1073778376 140735643529120 139731193391272 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22453/tid=22459] ppid=22450 vsize=9625040 CPUtime=2.16 cores=0,2,4,6
/proc/22453/task/22459/stat : 22459 (java) S 22450 22453 19848 0 -1 4202560 9365 0 0 0 169 47 0 0 20 0 19 0 29513285 9856040960 600977 33554432000 1073741824 1073778376 140735643529120 139731192338728 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22453/tid=22460] ppid=22450 vsize=9625040 CPUtime=2.34 cores=0,2,4,6
/proc/22453/task/22460/stat : 22460 (java) S 22450 22453 19848 0 -1 4202560 14279 0 0 0 187 47 0 0 20 0 19 0 29513285 9856040960 600977 33554432000 1073741824 1073778376 140735643529120 139731073493928 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22453/tid=22461] ppid=22450 vsize=9625040 CPUtime=2.2 cores=0,2,4,6
/proc/22453/task/22461/stat : 22461 (java) S 22450 22453 19848 0 -1 4202560 9696 0 0 0 180 40 0 0 20 0 19 0 29513285 9856040960 600977 33554432000 1073741824 1073778376 140735643529120 139731072441384 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22453/tid=22462] ppid=22450 vsize=9625040 CPUtime=2.04 cores=0,2,4,6
/proc/22453/task/22462/stat : 22462 (java) S 22450 22453 19848 0 -1 4202560 11514 0 0 0 166 38 0 0 20 0 19 0 29513285 9856040960 600977 33554432000 1073741824 1073778376 140735643529120 139731071388328 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22463] ppid=22450 vsize=9625040 CPUtime=2.49 cores=0,2,4,6
/proc/22453/task/22463/stat : 22463 (java) S 22450 22453 19848 0 -1 4202560 12674 0 0 0 191 58 0 0 20 0 19 0 29513285 9856040960 600977 33554432000 1073741824 1073778376 140735643529120 139731070335784 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22453/tid=22464] ppid=22450 vsize=9625040 CPUtime=2.03 cores=0,2,4,6
/proc/22453/task/22464/stat : 22464 (java) S 22450 22453 19848 0 -1 4202560 2358 0 0 0 201 2 0 0 20 0 19 0 29513286 9856040960 600977 33554432000 1073741824 1073778376 140735643529120 139731058137448 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22453/tid=22465] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22465/stat : 22465 (java) S 22450 22453 19848 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29513287 9856040960 600977 33554432000 1073741824 1073778376 140735643529120 139730452735352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22466] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22466/stat : 22466 (java) S 22450 22453 19848 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29513287 9856040960 600977 33554432000 1073741824 1073778376 140735643529120 139730451682184 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22467] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22467/stat : 22467 (java) S 22450 22453 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29513289 9856040960 600977 33554432000 1073741824 1073778376 140735643529120 139730450630928 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22468] ppid=22450 vsize=9625040 CPUtime=1.08 cores=0,2,4,6
/proc/22453/task/22468/stat : 22468 (java) S 22450 22453 19848 0 -1 4202560 7146 0 0 0 106 2 0 0 20 0 19 0 29513289 9856040960 600977 33554432000 1073741824 1073778376 140735643529120 139730449578808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22469] ppid=22450 vsize=9625040 CPUtime=1.28 cores=0,2,4,6
/proc/22453/task/22469/stat : 22469 (java) S 22450 22453 19848 0 -1 4202560 11478 0 0 0 126 2 0 0 20 0 19 0 29513289 9856040960 600977 33554432000 1073741824 1073778376 140735643529120 139730448526264 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22453/tid=22470] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22470/stat : 22470 (java) S 22450 22453 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29513289 9856040960 600977 33554432000 1073741824 1073778376 140735643529120 139730447473400 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22453/tid=22471] ppid=22450 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/22453/task/22471/stat : 22471 (java) S 22450 22453 19848 0 -1 4202560 99 0 0 0 27 32 0 0 20 0 19 0 29513289 9856040960 600977 33554432000 1073741824 1073778376 140735643529120 139730446421064 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22453/tid=22472] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22472/stat : 22472 (java) S 22450 22453 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29513358 9856040960 600977 33554432000 1073741824 1073778376 140735643529120 139730445366312 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1738.49
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.02 2.09 2.08 3/214 22582
/proc/meminfo: memFree=27166596/32872528 swapFree=877056/942464
[pid=22453] ppid=22450 vsize=9625040 CPUtime=1798.78 cores=0,2,4,6
/proc/22453/stat : 22453 (java) S 22450 22453 19848 0 -1 4202496 113684 0 1 0 179473 405 0 0 20 0 19 0 29513284 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 140735643520256 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22453/statm: 2406260 600979 2301 9 0 2396937 0
[pid=22453/tid=22454] ppid=22450 vsize=9625040 CPUtime=1770.55 cores=0,2,4,6
/proc/22453/task/22454/stat : 22454 (java) R 22450 22453 19848 0 -1 4202560 3380 0 1 0 177019 36 0 0 20 0 19 0 29513284 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139731234004176 139731074824583 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22456] ppid=22450 vsize=9625040 CPUtime=2.19 cores=0,2,4,6
/proc/22453/task/22456/stat : 22456 (java) S 22450 22453 19848 0 -1 4202560 12363 0 0 0 176 43 0 0 20 0 19 0 29513285 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139731195496872 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22457] ppid=22450 vsize=9625040 CPUtime=2.69 cores=0,2,4,6
/proc/22453/task/22457/stat : 22457 (java) S 22450 22453 19848 0 -1 4202560 10304 0 0 0 220 49 0 0 20 0 19 0 29513285 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139731194444328 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22453/tid=22458] ppid=22450 vsize=9625040 CPUtime=2.42 cores=0,2,4,6
/proc/22453/task/22458/stat : 22458 (java) S 22450 22453 19848 0 -1 4202560 7751 0 0 0 200 42 0 0 20 0 19 0 29513285 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139731193391272 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22453/tid=22459] ppid=22450 vsize=9625040 CPUtime=2.21 cores=0,2,4,6
/proc/22453/task/22459/stat : 22459 (java) S 22450 22453 19848 0 -1 4202560 9365 0 0 0 174 47 0 0 20 0 19 0 29513285 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139731192338728 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22453/tid=22460] ppid=22450 vsize=9625040 CPUtime=2.39 cores=0,2,4,6
/proc/22453/task/22460/stat : 22460 (java) S 22450 22453 19848 0 -1 4202560 14279 0 0 0 192 47 0 0 20 0 19 0 29513285 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139731073493928 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22453/tid=22461] ppid=22450 vsize=9625040 CPUtime=2.26 cores=0,2,4,6
/proc/22453/task/22461/stat : 22461 (java) S 22450 22453 19848 0 -1 4202560 9696 0 0 0 186 40 0 0 20 0 19 0 29513285 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139731072441384 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22453/tid=22462] ppid=22450 vsize=9625040 CPUtime=2.11 cores=0,2,4,6
/proc/22453/task/22462/stat : 22462 (java) S 22450 22453 19848 0 -1 4202560 11514 0 0 0 173 38 0 0 20 0 19 0 29513285 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139731071388328 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22453/tid=22463] ppid=22450 vsize=9625040 CPUtime=2.55 cores=0,2,4,6
/proc/22453/task/22463/stat : 22463 (java) S 22450 22453 19848 0 -1 4202560 12674 0 0 0 197 58 0 0 20 0 19 0 29513285 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139731070335784 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22453/tid=22464] ppid=22450 vsize=9625040 CPUtime=2.04 cores=0,2,4,6
/proc/22453/task/22464/stat : 22464 (java) S 22450 22453 19848 0 -1 4202560 2373 0 0 0 201 3 0 0 20 0 19 0 29513286 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139731058137448 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22453/tid=22465] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22465/stat : 22465 (java) S 22450 22453 19848 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29513287 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139730452735352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22466] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22466/stat : 22466 (java) S 22450 22453 19848 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29513287 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139730451682184 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22467] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22467/stat : 22467 (java) S 22450 22453 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29513289 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139730450630928 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22468] ppid=22450 vsize=9625040 CPUtime=1.08 cores=0,2,4,6
/proc/22453/task/22468/stat : 22468 (java) S 22450 22453 19848 0 -1 4202560 7146 0 0 0 106 2 0 0 20 0 19 0 29513289 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139730449578808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22469] ppid=22450 vsize=9625040 CPUtime=1.28 cores=0,2,4,6
/proc/22453/task/22469/stat : 22469 (java) S 22450 22453 19848 0 -1 4202560 11478 0 0 0 126 2 0 0 20 0 19 0 29513289 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139730448526264 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22453/tid=22470] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22470/stat : 22470 (java) S 22450 22453 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29513289 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139730447473400 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22453/tid=22471] ppid=22450 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/22453/task/22471/stat : 22471 (java) S 22450 22453 19848 0 -1 4202560 103 0 0 0 28 33 0 0 20 0 19 0 29513289 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139730446421064 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22453/tid=22472] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22472/stat : 22472 (java) S 22450 22453 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29513358 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139730445366312 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1798.78
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1783.6 s]
/proc/loadavg: 2.02 2.09 2.08 3/214 22582
/proc/meminfo: memFree=27166596/32872528 swapFree=877056/942464
[pid=22453] ppid=22450 vsize=9625040 CPUtime=1800.07 cores=0,2,4,6
/proc/22453/stat : 22453 (java) S 22450 22453 19848 0 -1 4202496 113684 0 1 0 179602 405 0 0 20 0 19 0 29513284 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 140735643520256 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22453/statm: 2406260 600979 2301 9 0 2396937 0
[pid=22453/tid=22454] ppid=22450 vsize=9625040 CPUtime=1771.85 cores=0,2,4,6
/proc/22453/task/22454/stat : 22454 (java) R 22450 22453 19848 0 -1 4202560 3380 0 1 0 177149 36 0 0 20 0 19 0 29513284 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139731234004176 139731074662851 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22456] ppid=22450 vsize=9625040 CPUtime=2.19 cores=0,2,4,6
/proc/22453/task/22456/stat : 22456 (java) S 22450 22453 19848 0 -1 4202560 12363 0 0 0 176 43 0 0 20 0 19 0 29513285 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139731195496872 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22457] ppid=22450 vsize=9625040 CPUtime=2.69 cores=0,2,4,6
/proc/22453/task/22457/stat : 22457 (java) S 22450 22453 19848 0 -1 4202560 10304 0 0 0 220 49 0 0 20 0 19 0 29513285 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139731194444328 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22453/tid=22458] ppid=22450 vsize=9625040 CPUtime=2.42 cores=0,2,4,6
/proc/22453/task/22458/stat : 22458 (java) S 22450 22453 19848 0 -1 4202560 7751 0 0 0 200 42 0 0 20 0 19 0 29513285 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139731193391272 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22453/tid=22459] ppid=22450 vsize=9625040 CPUtime=2.21 cores=0,2,4,6
/proc/22453/task/22459/stat : 22459 (java) S 22450 22453 19848 0 -1 4202560 9365 0 0 0 174 47 0 0 20 0 19 0 29513285 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139731192338728 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22453/tid=22460] ppid=22450 vsize=9625040 CPUtime=2.39 cores=0,2,4,6
/proc/22453/task/22460/stat : 22460 (java) S 22450 22453 19848 0 -1 4202560 14279 0 0 0 192 47 0 0 20 0 19 0 29513285 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139731073493928 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22453/tid=22461] ppid=22450 vsize=9625040 CPUtime=2.26 cores=0,2,4,6
/proc/22453/task/22461/stat : 22461 (java) S 22450 22453 19848 0 -1 4202560 9696 0 0 0 186 40 0 0 20 0 19 0 29513285 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139731072441384 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22453/tid=22462] ppid=22450 vsize=9625040 CPUtime=2.11 cores=0,2,4,6
/proc/22453/task/22462/stat : 22462 (java) S 22450 22453 19848 0 -1 4202560 11514 0 0 0 173 38 0 0 20 0 19 0 29513285 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139731071388328 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22453/tid=22463] ppid=22450 vsize=9625040 CPUtime=2.55 cores=0,2,4,6
/proc/22453/task/22463/stat : 22463 (java) S 22450 22453 19848 0 -1 4202560 12674 0 0 0 197 58 0 0 20 0 19 0 29513285 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139731070335784 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22453/tid=22464] ppid=22450 vsize=9625040 CPUtime=2.04 cores=0,2,4,6
/proc/22453/task/22464/stat : 22464 (java) S 22450 22453 19848 0 -1 4202560 2373 0 0 0 201 3 0 0 20 0 19 0 29513286 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139731058137448 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22453/tid=22465] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22465/stat : 22465 (java) S 22450 22453 19848 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29513287 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139730452735352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22466] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22466/stat : 22466 (java) S 22450 22453 19848 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29513287 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139730451682184 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22467] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22467/stat : 22467 (java) S 22450 22453 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29513289 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139730450630928 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22468] ppid=22450 vsize=9625040 CPUtime=1.08 cores=0,2,4,6
/proc/22453/task/22468/stat : 22468 (java) S 22450 22453 19848 0 -1 4202560 7146 0 0 0 106 2 0 0 20 0 19 0 29513289 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139730449578808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22453/tid=22469] ppid=22450 vsize=9625040 CPUtime=1.28 cores=0,2,4,6
/proc/22453/task/22469/stat : 22469 (java) S 22450 22453 19848 0 -1 4202560 11478 0 0 0 126 2 0 0 20 0 19 0 29513289 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139730448526264 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22453/tid=22470] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22470/stat : 22470 (java) S 22450 22453 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29513289 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139730447473400 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22453/tid=22471] ppid=22450 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/22453/task/22471/stat : 22471 (java) S 22450 22453 19848 0 -1 4202560 103 0 0 0 28 33 0 0 20 0 19 0 29513289 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139730446421064 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22453/tid=22472] ppid=22450 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/22453/task/22472/stat : 22472 (java) S 22450 22453 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29513358 9856040960 600979 33554432000 1073741824 1073778376 140735643529120 139730445366312 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 22453 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22453 and gives
#  childrusage.ru_utime.tv_sec=1791
#  childrusage.ru_utime.tv_usec=478653
#  childrusage.ru_stime.tv_sec=4
#  childrusage.ru_stime.tv_usec=542309
# CPU time returned by wait4() is 1796.02
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1783.65
CPU time (s): 1800.07
CPU user time (s): 1796.02
CPU system time (s): 4.05
CPU usage (%): 100.921
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.48
system time used= 4.54231
maximum resident set size= 3566040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113720
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42351
involuntary context switches= 12898

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.2103 second user time and 12.1652 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-18 20:30:44
IDJOB=4106711
IDBENCH=48199
IDSOLVER=2546
FILE ID=node113/4106711-1466274644
RUNJOBID= node113-1466265808-19864
PBS_JOBID= 19918235
Free space on /tmp= 71704 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_3.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106711-1466274644/watcher-4106711-1466274644 -o /tmp/evaluation-result-4106711-1466274644/solver-4106711-1466274644 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466265808-19864 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4106711-1466274644.opb

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

MD5SUM BENCH= d487c80c335f688d99ca29b5d7c254e0
RANDOM SEED=934136276

node113.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		: 2666.799
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	: 5333.59
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		: 2666.799
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	: 5332.55
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		: 2666.799
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	: 5332.56
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		: 2666.799
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	: 5332.55
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		: 2666.799
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	: 5332.55
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		: 2666.799
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	: 5332.54
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		: 2666.799
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	: 5332.54
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		: 2666.799
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	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30274980 kB
Buffers:          116048 kB
Cached:           284616 kB
SwapCached:         1896 kB
Active:           601688 kB
Inactive:         312440 kB
Active(anon):     513940 kB
Inactive(anon):     2024 kB
Active(file):      87748 kB
Inactive(file):   310416 kB
Unevictable:      942464 kB
Mlocked:          877056 kB
SwapTotal:      67108856 kB
SwapFree:       67098956 kB
Dirty:              1188 kB
Writeback:             0 kB
AnonPages:       1455284 kB
Mapped:            15348 kB
Shmem:                 0 kB
Slab:             606920 kB
SReclaimable:      50124 kB
SUnreclaim:       556796 kB
KernelStack:        1576 kB
PageTables:         7148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1623860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    561152 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node113 at 2016-06-18 21:00:27