Trace number 4085275

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)228 1800.06 1787.14

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_15.opb.PB06.opb
MD5SUM9cfc9eabeae08d1064da7d7b87db93a4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark213
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 185
Optimality of the best value was proved NO
Number of variables473
Total number of constraints473
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 constraints473
Minimum length of a constraint4
Maximum length of a constraint18
Number of terms in the objective function 473
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 473
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 473
Number of bits of the biggest sum of numbers9
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-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-4085275-1465224217.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  objective function found
0.29/0.22	c ... done. Wall clock time 0.116s.
0.29/0.22	c declared #vars     473
0.29/0.22	c #constraints  473
0.29/0.22	c constraints type 
0.29/0.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1
0.29/0.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 472
0.29/0.22	c 473 constraints processed.
0.29/0.23	c objective function length is 473 literals
0.29/0.24	c SATISFIABLE
0.29/0.24	c OPTIMIZING...
0.29/0.24	c Got one! Elapsed wall clock time (in seconds):0.129
0.29/0.24	o 234
0.29/0.26	c Got one! Elapsed wall clock time (in seconds):0.149
0.29/0.26	o 233
0.29/0.27	c Got one! Elapsed wall clock time (in seconds):0.157
0.29/0.27	o 232
0.53/0.32	c Got one! Elapsed wall clock time (in seconds):0.213
0.53/0.32	o 231
1.16/0.79	c cleaning 2527 clauses out of 5072 with flag 10862/5072
1.86/1.35	c cleaning 4265 clauses out of 8545 with flag 24312/11072
2.46/1.96	c cleaning 5638 clauses out of 11281 with flag 39877/18073
3.27/2.72	c cleaning 6815 clauses out of 13641 with flag 56562/26071
4.10/3.59	c cleaning 7904 clauses out of 15826 with flag 76109/35071
5.21/4.67	c cleaning 8955 clauses out of 17923 with flag 97548/45072
6.40/5.88	c cleaning 9978 clauses out of 19968 with flag 121276/56072
7.70/7.15	c cleaning 10989 clauses out of 21989 with flag 146846/68071
9.00/8.41	c cleaning 11990 clauses out of 24000 with flag 174418/81071
10.40/9.86	c cleaning 12999 clauses out of 26011 with flag 204184/95072
12.10/11.56	c cleaning 14000 clauses out of 28011 with flag 237464/110071
14.18/13.59	c cleaning 14999 clauses out of 30012 with flag 271537/126072
16.38/15.74	c cleaning 15997 clauses out of 32013 with flag 307429/143072
18.58/17.97	c cleaning 17000 clauses out of 34016 with flag 345203/161072
20.68/20.08	c cleaning 17997 clauses out of 36015 with flag 385188/180071
22.88/22.26	c cleaning 19001 clauses out of 38019 with flag 427104/200072
25.28/24.63	c cleaning 19996 clauses out of 40017 with flag 471178/221071
28.28/27.63	c cleaning 21003 clauses out of 42021 with flag 518177/243071
31.60/30.82	c cleaning 21997 clauses out of 44018 with flag 566976/266071
34.90/34.16	c cleaning 23005 clauses out of 46023 with flag 617750/290073
38.89/38.16	c cleaning 23999 clauses out of 48019 with flag 670585/315074
39.40/38.67	c Got one! Elapsed wall clock time (in seconds):38.566
39.40/38.67	o 230
39.66/38.87	c cleaning 14899 clauses out of 29818 with flag 2129/320872
40.35/39.53	c cleaning 10453 clauses out of 20920 with flag 15317/326873
40.95/40.17	c cleaning 8726 clauses out of 17467 with flag 30084/333873
41.75/40.95	c cleaning 8363 clauses out of 16740 with flag 47685/341872
42.55/41.71	c cleaning 8679 clauses out of 17378 with flag 66871/350873
43.45/42.64	c cleaning 9340 clauses out of 18699 with flag 88017/360873
44.45/43.66	c cleaning 10168 clauses out of 20359 with flag 111249/371873
45.65/44.82	c cleaning 11084 clauses out of 22190 with flag 136692/383872
47.40/46.52	c cleaning 12045 clauses out of 24107 with flag 164247/396873
49.20/48.32	c cleaning 13023 clauses out of 26061 with flag 193651/410872
51.00/50.16	c cleaning 14011 clauses out of 28039 with flag 224952/425873
52.90/52.09	c cleaning 15003 clauses out of 30028 with flag 258221/441873
55.10/54.25	c cleaning 16007 clauses out of 32025 with flag 294537/458873
56.10/55.28	c Got one! Elapsed wall clock time (in seconds):55.175
56.10/55.28	o 229
57.11/56.22	c cleaning 15046 clauses out of 30105 with flag 10991/472960
57.80/56.97	c cleaning 10524 clauses out of 21060 with flag 24090/478961
58.80/57.91	c cleaning 8757 clauses out of 17535 with flag 38721/485960
59.60/58.75	c cleaning 8381 clauses out of 16778 with flag 55421/493960
60.50/59.65	c cleaning 8689 clauses out of 17397 with flag 74640/502960
61.41/60.57	c cleaning 9347 clauses out of 18708 with flag 95675/512960
62.47/61.57	c cleaning 10173 clauses out of 20362 with flag 118829/523961
63.57/62.65	c cleaning 11085 clauses out of 22188 with flag 144036/535960
64.67/63.77	c cleaning 12044 clauses out of 24104 with flag 171436/548961
65.98/65.02	c cleaning 13020 clauses out of 26059 with flag 200879/562960
67.17/66.28	c cleaning 14010 clauses out of 28039 with flag 232666/577960
68.87/67.93	c cleaning 15003 clauses out of 30030 with flag 266377/593961
70.67/69.74	c cleaning 16006 clauses out of 32026 with flag 302025/610960
72.57/71.66	c cleaning 17000 clauses out of 34021 with flag 340412/628961
74.67/73.72	c cleaning 18000 clauses out of 36020 with flag 380752/647960
76.85/75.81	c cleaning 19001 clauses out of 38021 with flag 423143/667961
78.95/77.99	c cleaning 20001 clauses out of 40020 with flag 467728/688961
81.65/80.60	c cleaning 20995 clauses out of 42018 with flag 514551/710960
84.25/83.27	c cleaning 21998 clauses out of 44024 with flag 563318/733961
87.25/86.27	c cleaning 23002 clauses out of 46025 with flag 614499/757960
90.49/89.32	c cleaning 24004 clauses out of 48023 with flag 667435/782960
94.29/93.13	c cleaning 24999 clauses out of 50019 with flag 722414/808960
98.10/96.92	c cleaning 25999 clauses out of 52020 with flag 779284/835960
102.50/101.35	c cleaning 26996 clauses out of 54021 with flag 838232/863960
107.20/105.93	c cleaning 28005 clauses out of 56025 with flag 899395/892960
112.10/110.88	c cleaning 29003 clauses out of 58020 with flag 962478/922960
117.20/115.92	c cleaning 29998 clauses out of 60019 with flag 1027855/953962
123.10/121.81	c cleaning 31001 clauses out of 62020 with flag 1094938/985961
129.51/128.17	c cleaning 32000 clauses out of 64018 with flag 1164260/1018960
136.61/135.22	c cleaning 33003 clauses out of 66018 with flag 1235862/1052960
146.12/144.78	c cleaning 34002 clauses out of 68015 with flag 1309713/1087960
153.05/151.52	c cleaning 34998 clauses out of 70014 with flag 1385721/1123961
159.75/158.28	c cleaning 35996 clauses out of 72015 with flag 1463890/1160960
166.00/164.31	c cleaning 36998 clauses out of 74019 with flag 1544001/1198960
172.60/170.99	c cleaning 38001 clauses out of 76021 with flag 1626410/1237960
179.75/178.06	c cleaning 38999 clauses out of 78020 with flag 1711016/1277960
188.24/186.59	c cleaning 40004 clauses out of 80021 with flag 1797476/1318960
196.45/194.75	c cleaning 41000 clauses out of 82017 with flag 1885804/1360960
204.69/202.91	c cleaning 41998 clauses out of 84017 with flag 1976686/1403960
213.69/211.99	c cleaning 43002 clauses out of 86019 with flag 2069054/1447960
221.66/219.81	c cleaning 43996 clauses out of 88018 with flag 2163590/1492961
230.45/228.53	c cleaning 44998 clauses out of 90021 with flag 2260090/1538960
240.05/238.17	c cleaning 46004 clauses out of 92023 with flag 2358827/1585960
249.93/247.95	c cleaning 47000 clauses out of 94019 with flag 2460345/1633960
258.93/256.96	c cleaning 47996 clauses out of 96020 with flag 2563671/1682961
269.06/267.09	c cleaning 49000 clauses out of 98023 with flag 2669717/1732960
279.26/277.19	c cleaning 50004 clauses out of 100024 with flag 2777456/1783961
289.26/287.12	c cleaning 50999 clauses out of 102020 with flag 2887127/1835961
299.79/297.68	c cleaning 51998 clauses out of 104021 with flag 2999005/1888961
310.25/308.08	c cleaning 52996 clauses out of 106023 with flag 3112451/1942961
322.26/320.05	c cleaning 54001 clauses out of 108027 with flag 3232406/1997961
334.15/331.85	c cleaning 55003 clauses out of 110025 with flag 3351090/2053960
345.74/343.39	c cleaning 56000 clauses out of 112022 with flag 3472244/2110960
359.22/356.75	c cleaning 57002 clauses out of 114023 with flag 3594828/2168961
374.22/371.70	c cleaning 57998 clauses out of 116021 with flag 3719827/2227961
387.84/385.34	c cleaning 59003 clauses out of 118023 with flag 3847015/2287961
403.57/401.01	c cleaning 59998 clauses out of 120019 with flag 3975559/2348960
420.49/417.99	c cleaning 61002 clauses out of 122021 with flag 4106567/2410960
435.43/432.80	c cleaning 62001 clauses out of 124019 with flag 4239396/2473960
451.70/449.02	c cleaning 63000 clauses out of 126019 with flag 4374208/2537961
468.78/466.01	c cleaning 63997 clauses out of 128018 with flag 4511870/2602960
486.26/483.45	c cleaning 64995 clauses out of 130021 with flag 4651473/2668960
504.12/501.28	c cleaning 66005 clauses out of 132027 with flag 4792680/2735961
521.35/518.41	c cleaning 67000 clauses out of 134021 with flag 4936217/2803960
540.20/537.22	c cleaning 68002 clauses out of 136022 with flag 5081992/2872961
557.47/554.46	c cleaning 69000 clauses out of 138020 with flag 5230308/2942961
578.28/575.14	c cleaning 69998 clauses out of 140021 with flag 5380850/3013962
595.44/592.22	c Got one! Elapsed wall clock time (in seconds):592.11
595.44/592.22	o 228
598.44/595.26	c cleaning 71315 clauses out of 142644 with flag 11337/3086583
600.04/596.89	c cleaning 38657 clauses out of 77329 with flag 23907/3092583
601.14/597.94	c cleaning 22822 clauses out of 45672 with flag 39061/3099583
601.84/598.68	c cleaning 15416 clauses out of 30849 with flag 55863/3107582
602.74/599.53	c cleaning 12208 clauses out of 24435 with flag 74650/3116584
603.66/600.41	c cleaning 11104 clauses out of 22225 with flag 95579/3126582
604.46/601.26	c cleaning 11052 clauses out of 22121 with flag 118537/3137582
605.46/602.26	c cleaning 11528 clauses out of 23070 with flag 143563/3149583
606.56/603.32	c cleaning 12256 clauses out of 24542 with flag 170656/3162583
607.77/604.51	c cleaning 13134 clauses out of 26286 with flag 200815/3176583
608.97/605.78	c cleaning 14064 clauses out of 28151 with flag 232556/3191582
610.37/607.15	c cleaning 15034 clauses out of 30087 with flag 266071/3207582
612.07/608.88	c cleaning 16014 clauses out of 32053 with flag 302648/3224582
614.08/610.84	c cleaning 17009 clauses out of 34039 with flag 340648/3242582
616.09/612.88	c cleaning 18006 clauses out of 36030 with flag 380200/3261582
618.38/615.15	c cleaning 19002 clauses out of 38025 with flag 422382/3281583
620.73/617.40	c cleaning 19993 clauses out of 40022 with flag 466501/3302582
623.13/619.82	c cleaning 21005 clauses out of 42029 with flag 512518/3324582
625.75/622.48	c cleaning 22002 clauses out of 44025 with flag 560686/3347583
628.66/625.33	c cleaning 23003 clauses out of 46023 with flag 610858/3371583
631.88/628.54	c cleaning 23999 clauses out of 48020 with flag 663431/3396583
635.69/632.34	c cleaning 24996 clauses out of 50020 with flag 718095/3422582
639.93/636.59	c cleaning 26003 clauses out of 52024 with flag 775128/3449582
645.03/641.61	c cleaning 27002 clauses out of 54021 with flag 834135/3477582
649.06/645.61	c cleaning 28001 clauses out of 56020 with flag 894779/3506583
653.22/649.71	c cleaning 29002 clauses out of 58019 with flag 957863/3536583
657.72/654.20	c cleaning 29999 clauses out of 60016 with flag 1022942/3567582
662.25/658.77	c cleaning 30996 clauses out of 62018 with flag 1090787/3599583
666.69/663.16	c cleaning 32003 clauses out of 64022 with flag 1160384/3632583
671.99/668.44	c cleaning 33000 clauses out of 66019 with flag 1231896/3666583
677.23/673.62	c cleaning 33998 clauses out of 68018 with flag 1305601/3701582
682.27/678.60	c cleaning 35000 clauses out of 70021 with flag 1381915/3737583
688.03/684.38	c cleaning 36001 clauses out of 72021 with flag 1460456/3774583
693.72/690.03	c cleaning 37001 clauses out of 74020 with flag 1541123/3812583
699.85/696.11	c cleaning 38003 clauses out of 76018 with flag 1623678/3851582
705.78/702.08	c cleaning 38998 clauses out of 78016 with flag 1707940/3891583
711.89/708.16	c cleaning 39999 clauses out of 80018 with flag 1794212/3932583
718.12/714.39	c cleaning 41002 clauses out of 82018 with flag 1882793/3974582
724.74/720.95	c cleaning 41999 clauses out of 84016 with flag 1973749/4017582
731.65/727.81	c cleaning 42998 clauses out of 86019 with flag 2066885/4061584
739.96/736.19	c cleaning 44001 clauses out of 88020 with flag 2161854/4106583
747.97/744.12	c cleaning 44998 clauses out of 90018 with flag 2258936/4152582
756.30/752.41	c cleaning 46000 clauses out of 92021 with flag 2357595/4199583
766.66/762.77	c cleaning 46997 clauses out of 94020 with flag 2457764/4247582
777.10/773.17	c cleaning 48004 clauses out of 96023 with flag 2560945/4296582
785.45/781.46	c cleaning 48999 clauses out of 98019 with flag 2666009/4346582
795.71/791.60	c cleaning 49999 clauses out of 100021 with flag 2773182/4397583
804.24/800.10	c cleaning 51001 clauses out of 102022 with flag 2882880/4449583
813.72/809.57	c cleaning 52003 clauses out of 104021 with flag 2995110/4502583
823.75/819.53	c cleaning 53002 clauses out of 106018 with flag 3108882/4556583
833.74/829.45	c cleaning 53996 clauses out of 108016 with flag 3225346/4611583
845.12/840.70	c cleaning 55002 clauses out of 110019 with flag 3343375/4667582
857.43/852.93	c cleaning 56002 clauses out of 112017 with flag 3464120/4724582
867.86/863.38	c cleaning 56996 clauses out of 114016 with flag 3586787/4782583
879.23/874.62	c cleaning 57999 clauses out of 116019 with flag 3710997/4841582
891.49/886.86	c cleaning 58997 clauses out of 118020 with flag 3837750/4901582
905.21/900.43	c cleaning 60001 clauses out of 120025 with flag 3967277/4962584
918.31/913.42	c cleaning 61006 clauses out of 122022 with flag 4098278/5024582
930.21/925.21	c cleaning 61999 clauses out of 124017 with flag 4231011/5087583
943.37/938.33	c cleaning 62998 clauses out of 126018 with flag 4365909/5151583
957.39/952.25	c cleaning 63997 clauses out of 128019 with flag 4503048/5216582
972.79/967.59	c cleaning 64999 clauses out of 130023 with flag 4642351/5282583
989.40/984.08	c cleaning 66001 clauses out of 132023 with flag 4784913/5349582
1002.59/997.18	c cleaning 67001 clauses out of 134022 with flag 4929005/5417582
1017.41/1011.85	c cleaning 68003 clauses out of 136023 with flag 5075368/5486584
1032.92/1027.22	c cleaning 68999 clauses out of 138019 with flag 5223826/5556583
1047.56/1041.73	c cleaning 69997 clauses out of 140019 with flag 5373580/5627582
1062.44/1056.56	c cleaning 71000 clauses out of 142022 with flag 5525373/5699582
1079.06/1073.09	c cleaning 71997 clauses out of 144023 with flag 5679480/5772583
1095.10/1088.97	c cleaning 72998 clauses out of 146026 with flag 5835661/5846583
1111.37/1105.02	c cleaning 74002 clauses out of 148028 with flag 5994635/5921583
1128.60/1122.18	c cleaning 75001 clauses out of 150026 with flag 6155511/5997583
1147.12/1140.50	c cleaning 76000 clauses out of 152024 with flag 6317679/6074582
1166.62/1159.94	c cleaning 77000 clauses out of 154025 with flag 6481912/6152583
1186.10/1179.28	c cleaning 78003 clauses out of 156025 with flag 6648051/6231583
1207.30/1200.34	c cleaning 78998 clauses out of 158022 with flag 6815956/6311583
1229.43/1222.28	c cleaning 79999 clauses out of 160024 with flag 6985225/6392583
1251.19/1243.87	c cleaning 81003 clauses out of 162024 with flag 7157274/6474582
1270.58/1263.04	c cleaning 82003 clauses out of 164022 with flag 7333263/6557583
1289.81/1282.20	c cleaning 83000 clauses out of 166018 with flag 7510212/6641582
1311.22/1303.34	c cleaning 83995 clauses out of 168018 with flag 7689143/6726582
1332.16/1324.07	c cleaning 85003 clauses out of 170024 with flag 7869972/6812583
1353.99/1345.64	c cleaning 85997 clauses out of 172021 with flag 8053736/6899583
1383.25/1374.79	c cleaning 86999 clauses out of 174023 with flag 8239102/6987582
1407.53/1398.79	c cleaning 87999 clauses out of 176025 with flag 8427015/7076583
1432.59/1423.58	c cleaning 89001 clauses out of 178026 with flag 8617627/7166583
1461.93/1452.66	c cleaning 90001 clauses out of 180025 with flag 8809073/7257583
1486.98/1477.34	c cleaning 91003 clauses out of 182024 with flag 9002144/7349583
1517.63/1507.70	c cleaning 91998 clauses out of 184020 with flag 9197222/7442582
1547.48/1537.22	c cleaning 92998 clauses out of 186022 with flag 9394726/7536582
1581.69/1571.19	c cleaning 94005 clauses out of 188025 with flag 9594584/7631583
1610.74/1599.89	c cleaning 94999 clauses out of 190020 with flag 9796308/7727583
1641.77/1630.56	c cleaning 95999 clauses out of 192020 with flag 10000416/7824582
1671.62/1660.08	c cleaning 96999 clauses out of 194022 with flag 10206504/7922583
1700.29/1688.42	c cleaning 98001 clauses out of 196022 with flag 10414313/8021582
1731.89/1719.72	c cleaning 98996 clauses out of 198022 with flag 10624689/8121583
1764.51/1752.04	c cleaning 99999 clauses out of 200025 with flag 10837666/8222582
1793.17/1780.30	c cleaning 101002 clauses out of 202027 with flag 11053195/8324583
1800.06/1787.10	c starts		: 8
1800.06/1787.10	c conflicts		: 8367779
1800.06/1787.10	c decisions		: 11004431
1800.06/1787.10	c propagations		: 211132506
1800.06/1787.10	c inspects		: 31515542312
1800.06/1787.10	c shortcuts		: 0
1800.06/1787.10	c learnt literals	: 0
1800.06/1787.10	c learnt binary clauses	: 0
1800.06/1787.10	c learnt ternary clauses	: 0
1800.06/1787.10	c learnt constraints	: 8367779
1800.06/1787.10	c ignored constraints	: 0
1800.06/1787.10	c root simplifications	: 0
1800.06/1787.10	c removed literals (reason simplification)	: 0
1800.06/1787.10	c reason swapping (by a shorter reason)	: 0
1800.06/1787.10	c Calls to reduceDB	: 199
1800.06/1787.10	c Number of update (reduction) of LBD	: 229547
1800.06/1787.10	c Imported unit clauses	: 0
1800.06/1787.10	c number of reductions to clauses (during analyze)	: 0
1800.06/1787.10	c number of learned constraints concerned by reduction	: 0
1800.06/1787.10	c number of learning phase by resolution	: 0
1800.06/1787.10	c number of learning phase by cutting planes	: 0
1800.06/1787.10	c speed (assignments/second)	: 118157.53329979243
1800.06/1787.10	c non guided choices	0
1800.06/1787.13	c learnt constraints type 
1800.06/1787.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 144221
1800.06/1787.13	s SATISFIABLE
1800.06/1787.13	c Found 7 solution(s)
1800.06/1787.13	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 
1800.06/1787.14	c objective function=228
1800.06/1787.14	c Total wall clock time (in seconds): 1787.025

Verifier Data 

OK	228

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-4085275-1465224217/watcher-4085275-1465224217 -o /tmp/evaluation-result-4085275-1465224217/solver-4085275-1465224217 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465220260-9033 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085275-1465224217.opb 

pid=9787
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.22 2.24 2.19 3/194 9790
/proc/meminfo: memFree=30263232/32872528 swapFree=17452/1581112
[pid=9790] ppid=9787 vsize=24200 CPUtime=0 cores=0,2,4,6
/proc/9790/stat : 9790 (java) S 9787 9790 9017 0 -1 4202496 1224 0 0 0 0 0 0 0 20 0 2 0 104353661 24780800 867 33554432000 1073741824 1073778376 140736274336176 140736274327312 248793563197 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9790/statm: 22434 870 657 9 0 16769 0
[pid=9790/tid=9791] ppid=9787 vsize=89736 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9791/stat : 9791 (java) R 9787 9790 9017 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 2 0 104353661 91889664 894 33554432000 1073741824 1073778376 140736274336176 140736274325240 248781040935 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.100113 s]
/proc/loadavg: 2.22 2.24 2.19 3/194 9790
/proc/meminfo: memFree=30263232/32872528 swapFree=17452/1581112
[pid=9790] ppid=9787 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/9790/stat : 9790 (java) S 9787 9790 9017 0 -1 4202496 4455 0 1 0 9 1 0 0 20 0 18 0 104353661 9787879424 5584 33554432000 1073741824 1073778376 140736274336176 140736274327312 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9790/statm: 2389619 5584 2125 9 0 2380296 0
[pid=9790/tid=9791] ppid=9787 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/9790/task/9791/stat : 9791 (java) R 9787 9790 9017 0 -1 4202560 2433 0 1 0 6 1 0 0 20 0 18 0 104353661 9787879424 5584 33554432000 1073741824 1073778376 140736274336176 140413223095456 248793589005 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.200335 s]
/proc/loadavg: 2.22 2.24 2.19 3/194 9790
/proc/meminfo: memFree=30263232/32872528 swapFree=17452/1581112
[pid=9790] ppid=9787 vsize=9558476 CPUtime=0.29 cores=0,2,4,6
/proc/9790/stat : 9790 (java) S 9787 9790 9017 0 -1 4202496 5061 0 1 0 27 2 0 0 20 0 18 0 104353661 9787879424 6527 33554432000 1073741824 1073778376 140736274336176 140736274327312 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9790/statm: 2389619 6527 2216 9 0 2380296 0
[pid=9790/tid=9791] ppid=9787 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/9790/task/9791/stat : 9791 (java) R 9787 9790 9017 0 -1 4202560 2457 0 1 0 16 1 0 0 20 0 18 0 104353661 9787879424 6527 33554432000 1073741824 1073778376 140736274336176 140413223095456 140413095549191 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.300324 s]
/proc/loadavg: 2.22 2.24 2.19 3/194 9790
/proc/meminfo: memFree=30263232/32872528 swapFree=17452/1581112
[pid=9790] ppid=9787 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/9790/stat : 9790 (java) S 9787 9790 9017 0 -1 4202496 6948 0 1 0 51 2 0 0 20 0 19 0 104353661 9856040960 8808 33554432000 1073741824 1073778376 140736274336176 140736274327312 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9790/statm: 2406260 8812 2240 9 0 2396937 0
[pid=9790/tid=9791] ppid=9787 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/9790/task/9791/stat : 9791 (java) R 9787 9790 9017 0 -1 4202560 2470 0 1 0 26 1 0 0 20 0 19 0 104353661 9856040960 8816 33554432000 1073741824 1073778376 140736274336176 140413223109248 140413095949333 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9625040

[startup+0.70023 s]
/proc/loadavg: 2.22 2.24 2.19 3/194 9790
/proc/meminfo: memFree=30263232/32872528 swapFree=17452/1581112
[pid=9790] ppid=9787 vsize=9625040 CPUtime=1.16 cores=0,2,4,6
/proc/9790/stat : 9790 (java) S 9787 9790 9017 0 -1 4202496 8998 0 1 0 113 3 0 0 20 0 19 0 104353661 9856040960 10558 33554432000 1073741824 1073778376 140736274336176 140736274327312 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9790/statm: 2406260 10558 2250 9 0 2396937 0
[pid=9790/tid=9791] ppid=9787 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/9790/task/9791/stat : 9791 (java) R 9787 9790 9017 0 -1 4202560 2473 0 1 0 66 1 0 0 20 0 19 0 104353661 9856040960 10558 33554432000 1073741824 1073778376 140736274336176 140413223109248 140413096083411 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 9625040

[startup+1.50078 s]
/proc/loadavg: 2.22 2.24 2.19 3/213 9809
/proc/meminfo: memFree=30225240/32872528 swapFree=17452/1581112
[pid=9790] ppid=9787 vsize=9625040 CPUtime=2.07 cores=0,2,4,6
/proc/9790/stat : 9790 (java) S 9787 9790 9017 0 -1 4202496 9978 0 1 0 204 3 0 0 20 0 19 0 104353661 9856040960 12670 33554432000 1073741824 1073778376 140736274336176 140736274327312 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9790/statm: 2406260 12670 2260 9 0 2396937 0
[pid=9790/tid=9791] ppid=9787 vsize=9625040 CPUtime=1.48 cores=0,2,4,6
/proc/9790/task/9791/stat : 9791 (java) R 9787 9790 9017 0 -1 4202560 2478 0 1 0 146 2 0 0 20 0 19 0 104353661 9856040960 12670 33554432000 1073741824 1073778376 140736274336176 140413223109024 140413096020686 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9790/tid=9793] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9793/stat : 9793 (java) S 9787 9790 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104353662 9856040960 12670 33554432000 1073741824 1073778376 140736274336176 140413067098408 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9794] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9794/stat : 9794 (java) S 9787 9790 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104353662 9856040960 12670 33554432000 1073741824 1073778376 140736274336176 140413066045608 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9790/tid=9795] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9795/stat : 9795 (java) S 9787 9790 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104353662 9856040960 12670 33554432000 1073741824 1073778376 140736274336176 140413064993320 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9790/tid=9796] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9796/stat : 9796 (java) S 9787 9790 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104353662 9856040960 12670 33554432000 1073741824 1073778376 140736274336176 140413063940520 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9790/tid=9797] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9797/stat : 9797 (java) S 9787 9790 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104353662 9856040960 12670 33554432000 1073741824 1073778376 140736274336176 140413062888232 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9798] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9798/stat : 9798 (java) S 9787 9790 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104353662 9856040960 12670 33554432000 1073741824 1073778376 140736274336176 140413061835432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9790/tid=9799] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9799/stat : 9799 (java) S 9787 9790 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104353662 9856040960 12670 33554432000 1073741824 1073778376 140736274336176 140413060783144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9800] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9800/stat : 9800 (java) S 9787 9790 9017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104353662 9856040960 12670 33554432000 1073741824 1073778376 140736274336176 140413059730344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9801] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9801/stat : 9801 (java) S 9787 9790 9017 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 104353663 9856040960 12670 33554432000 1073741824 1073778376 140736274336176 140413047318760 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9802] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9802/stat : 9802 (java) S 9787 9790 9017 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104353664 9856040960 12670 33554432000 1073741824 1073778376 140736274336176 140413046264824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9803] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9803/stat : 9803 (java) S 9787 9790 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104353664 9856040960 12670 33554432000 1073741824 1073778376 140736274336176 140413045212424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9804] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9804/stat : 9804 (java) S 9787 9790 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104353666 9856040960 12670 33554432000 1073741824 1073778376 140736274336176 140413044160912 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9805] ppid=9787 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/9790/task/9805/stat : 9805 (java) S 9787 9790 9017 0 -1 4202560 3932 0 0 0 30 0 0 0 20 0 19 0 104353666 9856040960 12670 33554432000 1073741824 1073778376 140736274336176 140413043108536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9806] ppid=9787 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/9790/task/9806/stat : 9806 (java) S 9787 9790 9017 0 -1 4202560 2290 0 0 0 25 0 0 0 20 0 19 0 104353666 9856040960 12670 33554432000 1073741824 1073778376 140736274336176 140413042055736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9790/tid=9807] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9807/stat : 9807 (java) S 9787 9790 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104353666 9856040960 12670 33554432000 1073741824 1073778376 140736274336176 140413041003640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9790/tid=9808] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9808/stat : 9808 (java) S 9787 9790 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104353666 9856040960 12670 33554432000 1073741824 1073778376 140736274336176 140413039951048 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9809] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9809/stat : 9809 (java) S 9787 9790 9017 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 104353684 9856040960 12670 33554432000 1073741824 1073778376 140736274336176 140413038896040 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 9625040

[startup+3.10076 s]
/proc/loadavg: 2.20 2.24 2.19 3/213 9809
/proc/meminfo: memFree=30212456/32872528 swapFree=17452/1581112
[pid=9790] ppid=9787 vsize=9625040 CPUtime=3.7 cores=0,2,4,6
/proc/9790/stat : 9790 (java) S 9787 9790 9017 0 -1 4202496 9995 0 1 0 367 3 0 0 20 0 19 0 104353661 9856040960 17285 33554432000 1073741824 1073778376 140736274336176 140736274327312 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9790/statm: 2406260 17285 2260 9 0 2396937 0
[pid=9790/tid=9791] ppid=9787 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/9790/task/9791/stat : 9791 (java) R 9787 9790 9017 0 -1 4202560 2488 0 1 0 305 2 0 0 20 0 19 0 104353661 9856040960 17285 33554432000 1073741824 1073778376 140736274336176 140413223108888 140413096043807 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9790/tid=9793] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9793/stat : 9793 (java) S 9787 9790 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104353662 9856040960 17285 33554432000 1073741824 1073778376 140736274336176 140413067098408 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9794] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9794/stat : 9794 (java) S 9787 9790 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104353662 9856040960 17285 33554432000 1073741824 1073778376 140736274336176 140413066045608 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9790/tid=9795] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9795/stat : 9795 (java) S 9787 9790 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104353662 9856040960 17285 33554432000 1073741824 1073778376 140736274336176 140413064993320 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9790/tid=9796] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9796/stat : 9796 (java) S 9787 9790 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104353662 9856040960 17285 33554432000 1073741824 1073778376 140736274336176 140413063940520 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9790/tid=9797] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9797/stat : 9797 (java) S 9787 9790 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104353662 9856040960 17285 33554432000 1073741824 1073778376 140736274336176 140413062888232 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9798] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9798/stat : 9798 (java) S 9787 9790 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104353662 9856040960 17285 33554432000 1073741824 1073778376 140736274336176 140413061835432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9790/tid=9799] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9799/stat : 9799 (java) S 9787 9790 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104353662 9856040960 17285 33554432000 1073741824 1073778376 140736274336176 140413060783144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9800] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9800/stat : 9800 (java) S 9787 9790 9017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104353662 9856040960 17285 33554432000 1073741824 1073778376 140736274336176 140413059730344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9801] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9801/stat : 9801 (java) S 9787 9790 9017 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 104353663 9856040960 17285 33554432000 1073741824 1073778376 140736274336176 140413047318760 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9802] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9802/stat : 9802 (java) S 9787 9790 9017 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104353664 9856040960 17285 33554432000 1073741824 1073778376 140736274336176 140413046264824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9803] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9803/stat : 9803 (java) S 9787 9790 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104353664 9856040960 17285 33554432000 1073741824 1073778376 140736274336176 140413045212424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9804] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9804/stat : 9804 (java) S 9787 9790 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104353666 9856040960 17285 33554432000 1073741824 1073778376 140736274336176 140413044160912 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9805] ppid=9787 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/9790/task/9805/stat : 9805 (java) S 9787 9790 9017 0 -1 4202560 3932 0 0 0 30 0 0 0 20 0 19 0 104353666 9856040960 17285 33554432000 1073741824 1073778376 140736274336176 140413043108536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9806] ppid=9787 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/9790/task/9806/stat : 9806 (java) S 9787 9790 9017 0 -1 4202560 2297 0 0 0 28 0 0 0 20 0 19 0 104353666 9856040960 17285 33554432000 1073741824 1073778376 140736274336176 140413042055736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9790/tid=9807] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9807/stat : 9807 (java) S 9787 9790 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104353666 9856040960 17285 33554432000 1073741824 1073778376 140736274336176 140413041003640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9790/tid=9808] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9808/stat : 9808 (java) S 9787 9790 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104353666 9856040960 17285 33554432000 1073741824 1073778376 140736274336176 140413039951048 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9809] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9809/stat : 9809 (java) S 9787 9790 9017 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 104353684 9856040960 17285 33554432000 1073741824 1073778376 140736274336176 140413038896040 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 9625040

[startup+6.30079 s]
/proc/loadavg: 2.20 2.24 2.19 4/213 9809
/proc/meminfo: memFree=30180616/32872528 swapFree=17452/1581112
[pid=9790] ppid=9787 vsize=9625040 CPUtime=6.9 cores=0,2,4,6
/proc/9790/stat : 9790 (java) S 9787 9790 9017 0 -1 4202496 10011 0 1 0 686 4 0 0 20 0 19 0 104353661 9856040960 24117 33554432000 1073741824 1073778376 140736274336176 140736274327312 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9790/statm: 2406260 24117 2261 9 0 2396937 0
[pid=9790/tid=9791] ppid=9787 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/9790/task/9791/stat : 9791 (java) R 9787 9790 9017 0 -1 4202560 2503 0 1 0 624 2 0 0 20 0 19 0 104353661 9856040960 24117 33554432000 1073741824 1073778376 140736274336176 140413223100096 140413096083325 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9790/tid=9793] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9793/stat : 9793 (java) S 9787 9790 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104353662 9856040960 24117 33554432000 1073741824 1073778376 140736274336176 140413067098408 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9794] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9794/stat : 9794 (java) S 9787 9790 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104353662 9856040960 24117 33554432000 1073741824 1073778376 140736274336176 140413066045608 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9790/tid=9795] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9795/stat : 9795 (java) S 9787 9790 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104353662 9856040960 24117 33554432000 1073741824 1073778376 140736274336176 140413064993320 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9790/tid=9796] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9796/stat : 9796 (java) S 9787 9790 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104353662 9856040960 24117 33554432000 1073741824 1073778376 140736274336176 140413063940520 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9790/tid=9797] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9797/stat : 9797 (java) S 9787 9790 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104353662 9856040960 24117 33554432000 1073741824 1073778376 140736274336176 140413062888232 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9798] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9798/stat : 9798 (java) S 9787 9790 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104353662 9856040960 24117 33554432000 1073741824 1073778376 140736274336176 140413061835432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9790/tid=9799] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9799/stat : 9799 (java) S 9787 9790 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104353662 9856040960 24117 33554432000 1073741824 1073778376 140736274336176 140413060783144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9800] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9800/stat : 9800 (java) S 9787 9790 9017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104353662 9856040960 24117 33554432000 1073741824 1073778376 140736274336176 140413059730344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9801] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9801/stat : 9801 (java) S 9787 9790 9017 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 104353663 9856040960 24117 33554432000 1073741824 1073778376 140736274336176 140413047318760 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9802] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9802/stat : 9802 (java) S 9787 9790 9017 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104353664 9856040960 24117 33554432000 1073741824 1073778376 140736274336176 140413046264824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9803] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9803/stat : 9803 (java) S 9787 9790 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104353664 9856040960 24117 33554432000 1073741824 1073778376 140736274336176 140413045212424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9804] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9804/stat : 9804 (java) S 9787 9790 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104353666 9856040960 24117 33554432000 1073741824 1073778376 140736274336176 140413044160912 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9805] ppid=9787 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/9790/task/9805/stat : 9805 (java) S 9787 9790 9017 0 -1 4202560 3932 0 0 0 30 0 0 0 20 0 19 0 104353666 9856040960 24117 33554432000 1073741824 1073778376 140736274336176 140413043108536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9806] ppid=9787 vsize=9625040 CPUtime=0.28 cores=0,2,4,6

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

[pid=9790/tid=9809] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9809/stat : 9809 (java) S 9787 9790 9017 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 104353684 9856040960 71161 33554432000 1073741824 1073778376 140736274336176 140413038896040 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1734.52
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.19 2.19 2.18 4/213 9943
/proc/meminfo: memFree=29512544/32872528 swapFree=17452/1581112
[pid=9790] ppid=9787 vsize=9625040 CPUtime=1795.22 cores=0,2,4,6
/proc/9790/stat : 9790 (java) S 9787 9790 9017 0 -1 4202496 23512 0 1 0 179414 108 0 0 20 0 19 0 104353661 9856040960 80856 33554432000 1073741824 1073778376 140736274336176 140736274327312 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9790/statm: 2406260 80856 2283 9 0 2396937 0
[pid=9790/tid=9791] ppid=9787 vsize=9625040 CPUtime=1768.83 cores=0,2,4,6
/proc/9790/task/9791/stat : 9791 (java) R 9787 9790 9017 0 -1 4202560 2930 0 1 0 176851 32 0 0 20 0 19 0 104353661 9856040960 80856 33554432000 1073741824 1073778376 140736274336176 140413223107792 140413096008931 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9790/tid=9793] ppid=9787 vsize=9625040 CPUtime=2.3 cores=0,2,4,6
/proc/9790/task/9793/stat : 9793 (java) S 9787 9790 9017 0 -1 4202560 1289 0 0 0 219 11 0 0 20 0 19 0 104353662 9856040960 80856 33554432000 1073741824 1073778376 140736274336176 140413067098408 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9790/tid=9794] ppid=9787 vsize=9625040 CPUtime=2.29 cores=0,2,4,6
/proc/9790/task/9794/stat : 9794 (java) S 9787 9790 9017 0 -1 4202560 1610 0 0 0 219 10 0 0 20 0 19 0 104353662 9856040960 80856 33554432000 1073741824 1073778376 140736274336176 140413066045608 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9795] ppid=9787 vsize=9625040 CPUtime=2.27 cores=0,2,4,6
/proc/9790/task/9795/stat : 9795 (java) S 9787 9790 9017 0 -1 4202560 1735 0 0 0 216 11 0 0 20 0 19 0 104353662 9856040960 80856 33554432000 1073741824 1073778376 140736274336176 140413064993320 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9790/tid=9796] ppid=9787 vsize=9625040 CPUtime=2.3 cores=0,2,4,6
/proc/9790/task/9796/stat : 9796 (java) S 9787 9790 9017 0 -1 4202560 1016 0 0 0 220 10 0 0 20 0 19 0 104353662 9856040960 80856 33554432000 1073741824 1073778376 140736274336176 140413063940520 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9790/tid=9797] ppid=9787 vsize=9625040 CPUtime=2.15 cores=0,2,4,6
/proc/9790/task/9797/stat : 9797 (java) S 9787 9790 9017 0 -1 4202560 1584 0 0 0 205 10 0 0 20 0 19 0 104353662 9856040960 80856 33554432000 1073741824 1073778376 140736274336176 140413062888232 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9790/tid=9798] ppid=9787 vsize=9625040 CPUtime=2.21 cores=0,2,4,6
/proc/9790/task/9798/stat : 9798 (java) S 9787 9790 9017 0 -1 4202560 1555 0 0 0 211 10 0 0 20 0 19 0 104353662 9856040960 80856 33554432000 1073741824 1073778376 140736274336176 140413061835432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9790/tid=9799] ppid=9787 vsize=9625040 CPUtime=2.13 cores=0,2,4,6
/proc/9790/task/9799/stat : 9799 (java) S 9787 9790 9017 0 -1 4202560 1424 0 0 0 204 9 0 0 20 0 19 0 104353662 9856040960 80856 33554432000 1073741824 1073778376 140736274336176 140413060783144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9790/tid=9800] ppid=9787 vsize=9625040 CPUtime=2.21 cores=0,2,4,6
/proc/9790/task/9800/stat : 9800 (java) S 9787 9790 9017 0 -1 4202560 900 0 0 0 212 9 0 0 20 0 19 0 104353662 9856040960 80856 33554432000 1073741824 1073778376 140736274336176 140413059730344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9790/tid=9801] ppid=9787 vsize=9625040 CPUtime=3.3 cores=0,2,4,6
/proc/9790/task/9801/stat : 9801 (java) S 9787 9790 9017 0 -1 4202560 577 0 0 0 324 6 0 0 20 0 19 0 104353663 9856040960 80856 33554432000 1073741824 1073778376 140736274336176 140413047318760 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9790/tid=9802] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9802/stat : 9802 (java) S 9787 9790 9017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104353664 9856040960 80856 33554432000 1073741824 1073778376 140736274336176 140413046264824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9803] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9803/stat : 9803 (java) S 9787 9790 9017 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104353664 9856040960 80856 33554432000 1073741824 1073778376 140736274336176 140413045212424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9804] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9804/stat : 9804 (java) S 9787 9790 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104353666 9856040960 80856 33554432000 1073741824 1073778376 140736274336176 140413044160912 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9805] ppid=9787 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/9790/task/9805/stat : 9805 (java) S 9787 9790 9017 0 -1 4202560 3932 0 0 0 30 0 0 0 20 0 19 0 104353666 9856040960 80856 33554432000 1073741824 1073778376 140736274336176 140413043108536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9806] ppid=9787 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/9790/task/9806/stat : 9806 (java) S 9787 9790 9017 0 -1 4202560 3592 0 0 0 36 0 0 0 20 0 19 0 104353666 9856040960 80856 33554432000 1073741824 1073778376 140736274336176 140413042055736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9790/tid=9807] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9807/stat : 9807 (java) S 9787 9790 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104353666 9856040960 80856 33554432000 1073741824 1073778376 140736274336176 140413041003640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9790/tid=9808] ppid=9787 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/9790/task/9808/stat : 9808 (java) S 9787 9790 9017 0 -1 4202560 103 0 0 0 20 21 0 0 20 0 19 0 104353666 9856040960 80856 33554432000 1073741824 1073778376 140736274336176 140413039951048 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9790/tid=9809] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9809/stat : 9809 (java) S 9787 9790 9017 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 104353684 9856040960 80856 33554432000 1073741824 1073778376 140736274336176 140413038896040 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1795.22
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1787.1 s]
/proc/loadavg: 2.17 2.19 2.18 3/213 9943
/proc/meminfo: memFree=29512568/32872528 swapFree=17452/1581112
[pid=9790] ppid=9787 vsize=9625040 CPUtime=1800.06 cores=0,2,4,6
/proc/9790/stat : 9790 (java) S 9787 9790 9017 0 -1 4202496 23515 0 1 0 179898 108 0 0 20 0 19 0 104353661 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140736274327312 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9790/statm: 2406260 80857 2283 9 0 2396937 0
[pid=9790/tid=9791] ppid=9787 vsize=9625040 CPUtime=1773.57 cores=0,2,4,6
/proc/9790/task/9791/stat : 9791 (java) R 9787 9790 9017 0 -1 4202560 2932 0 1 0 177325 32 0 0 20 0 19 0 104353661 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413223107792 140413096083411 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9790/tid=9793] ppid=9787 vsize=9625040 CPUtime=2.31 cores=0,2,4,6
/proc/9790/task/9793/stat : 9793 (java) S 9787 9790 9017 0 -1 4202560 1289 0 0 0 220 11 0 0 20 0 19 0 104353662 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413067098408 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9790/tid=9794] ppid=9787 vsize=9625040 CPUtime=2.3 cores=0,2,4,6
/proc/9790/task/9794/stat : 9794 (java) S 9787 9790 9017 0 -1 4202560 1610 0 0 0 220 10 0 0 20 0 19 0 104353662 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413066045608 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9795] ppid=9787 vsize=9625040 CPUtime=2.28 cores=0,2,4,6
/proc/9790/task/9795/stat : 9795 (java) S 9787 9790 9017 0 -1 4202560 1735 0 0 0 217 11 0 0 20 0 19 0 104353662 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413064993320 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9790/tid=9796] ppid=9787 vsize=9625040 CPUtime=2.3 cores=0,2,4,6
/proc/9790/task/9796/stat : 9796 (java) S 9787 9790 9017 0 -1 4202560 1016 0 0 0 220 10 0 0 20 0 19 0 104353662 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413063940520 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9790/tid=9797] ppid=9787 vsize=9625040 CPUtime=2.16 cores=0,2,4,6
/proc/9790/task/9797/stat : 9797 (java) S 9787 9790 9017 0 -1 4202560 1584 0 0 0 206 10 0 0 20 0 19 0 104353662 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413062888232 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9790/tid=9798] ppid=9787 vsize=9625040 CPUtime=2.23 cores=0,2,4,6
/proc/9790/task/9798/stat : 9798 (java) S 9787 9790 9017 0 -1 4202560 1555 0 0 0 213 10 0 0 20 0 19 0 104353662 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413061835432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9790/tid=9799] ppid=9787 vsize=9625040 CPUtime=2.15 cores=0,2,4,6
/proc/9790/task/9799/stat : 9799 (java) S 9787 9790 9017 0 -1 4202560 1424 0 0 0 206 9 0 0 20 0 19 0 104353662 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413060783144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9790/tid=9800] ppid=9787 vsize=9625040 CPUtime=2.22 cores=0,2,4,6
/proc/9790/task/9800/stat : 9800 (java) S 9787 9790 9017 0 -1 4202560 900 0 0 0 213 9 0 0 20 0 19 0 104353662 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413059730344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9790/tid=9801] ppid=9787 vsize=9625040 CPUtime=3.3 cores=0,2,4,6
/proc/9790/task/9801/stat : 9801 (java) S 9787 9790 9017 0 -1 4202560 578 0 0 0 324 6 0 0 20 0 19 0 104353663 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413047318760 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9790/tid=9802] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9802/stat : 9802 (java) S 9787 9790 9017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104353664 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413046264824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9803] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9803/stat : 9803 (java) S 9787 9790 9017 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104353664 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413045212424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9804] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9804/stat : 9804 (java) S 9787 9790 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104353666 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413044160912 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9805] ppid=9787 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/9790/task/9805/stat : 9805 (java) S 9787 9790 9017 0 -1 4202560 3932 0 0 0 30 0 0 0 20 0 19 0 104353666 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413043108536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9806] ppid=9787 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/9790/task/9806/stat : 9806 (java) S 9787 9790 9017 0 -1 4202560 3592 0 0 0 36 0 0 0 20 0 19 0 104353666 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413042055736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9790/tid=9807] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9807/stat : 9807 (java) S 9787 9790 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104353666 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413041003640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9790/tid=9808] ppid=9787 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/9790/task/9808/stat : 9808 (java) S 9787 9790 9017 0 -1 4202560 103 0 0 0 20 21 0 0 20 0 19 0 104353666 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413039951048 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9790/tid=9809] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9809/stat : 9809 (java) S 9787 9790 9017 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 104353684 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413038896040 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 9790 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1787.1 s]
/proc/loadavg: 2.17 2.19 2.18 3/213 9943
/proc/meminfo: memFree=29512568/32872528 swapFree=17452/1581112
[pid=9790] ppid=9787 vsize=9625040 CPUtime=1800.06 cores=0,2,4,6
/proc/9790/stat : 9790 (java) S 9787 9790 9017 0 -1 4202496 23515 0 1 0 179898 108 0 0 20 0 19 0 104353661 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140736274327312 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9790/statm: 2406260 80857 2283 9 0 2396937 0
[pid=9790/tid=9791] ppid=9787 vsize=9625040 CPUtime=1773.57 cores=0,2,4,6
/proc/9790/task/9791/stat : 9791 (java) R 9787 9790 9017 0 -1 4202560 2932 0 1 0 177325 32 0 0 20 0 19 0 104353661 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413223107792 140413096083411 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9790/tid=9793] ppid=9787 vsize=9625040 CPUtime=2.31 cores=0,2,4,6
/proc/9790/task/9793/stat : 9793 (java) S 9787 9790 9017 0 -1 4202560 1289 0 0 0 220 11 0 0 20 0 19 0 104353662 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413067098408 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9790/tid=9794] ppid=9787 vsize=9625040 CPUtime=2.3 cores=0,2,4,6
/proc/9790/task/9794/stat : 9794 (java) S 9787 9790 9017 0 -1 4202560 1610 0 0 0 220 10 0 0 20 0 19 0 104353662 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413066045608 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9795] ppid=9787 vsize=9625040 CPUtime=2.28 cores=0,2,4,6
/proc/9790/task/9795/stat : 9795 (java) S 9787 9790 9017 0 -1 4202560 1735 0 0 0 217 11 0 0 20 0 19 0 104353662 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413064993320 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9790/tid=9796] ppid=9787 vsize=9625040 CPUtime=2.3 cores=0,2,4,6
/proc/9790/task/9796/stat : 9796 (java) S 9787 9790 9017 0 -1 4202560 1016 0 0 0 220 10 0 0 20 0 19 0 104353662 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413063940520 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9790/tid=9797] ppid=9787 vsize=9625040 CPUtime=2.16 cores=0,2,4,6
/proc/9790/task/9797/stat : 9797 (java) S 9787 9790 9017 0 -1 4202560 1584 0 0 0 206 10 0 0 20 0 19 0 104353662 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413062888232 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9790/tid=9798] ppid=9787 vsize=9625040 CPUtime=2.23 cores=0,2,4,6
/proc/9790/task/9798/stat : 9798 (java) S 9787 9790 9017 0 -1 4202560 1555 0 0 0 213 10 0 0 20 0 19 0 104353662 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413061835432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9790/tid=9799] ppid=9787 vsize=9625040 CPUtime=2.15 cores=0,2,4,6
/proc/9790/task/9799/stat : 9799 (java) S 9787 9790 9017 0 -1 4202560 1424 0 0 0 206 9 0 0 20 0 19 0 104353662 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413060783144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9790/tid=9800] ppid=9787 vsize=9625040 CPUtime=2.22 cores=0,2,4,6
/proc/9790/task/9800/stat : 9800 (java) S 9787 9790 9017 0 -1 4202560 900 0 0 0 213 9 0 0 20 0 19 0 104353662 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413059730344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9790/tid=9801] ppid=9787 vsize=9625040 CPUtime=3.3 cores=0,2,4,6
/proc/9790/task/9801/stat : 9801 (java) S 9787 9790 9017 0 -1 4202560 578 0 0 0 324 6 0 0 20 0 19 0 104353663 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413047318760 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9790/tid=9802] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9802/stat : 9802 (java) S 9787 9790 9017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104353664 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413046264824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9803] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9803/stat : 9803 (java) S 9787 9790 9017 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104353664 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413045212424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9804] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9804/stat : 9804 (java) S 9787 9790 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104353666 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413044160912 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9805] ppid=9787 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/9790/task/9805/stat : 9805 (java) S 9787 9790 9017 0 -1 4202560 3932 0 0 0 30 0 0 0 20 0 19 0 104353666 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413043108536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9790/tid=9806] ppid=9787 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/9790/task/9806/stat : 9806 (java) S 9787 9790 9017 0 -1 4202560 3592 0 0 0 36 0 0 0 20 0 19 0 104353666 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413042055736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9790/tid=9807] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9807/stat : 9807 (java) S 9787 9790 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104353666 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413041003640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9790/tid=9808] ppid=9787 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/9790/task/9808/stat : 9808 (java) S 9787 9790 9017 0 -1 4202560 103 0 0 0 20 21 0 0 20 0 19 0 104353666 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413039951048 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9790/tid=9809] ppid=9787 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9790/task/9809/stat : 9809 (java) S 9787 9790 9017 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 104353684 9856040960 80857 33554432000 1073741824 1073778376 140736274336176 140413038896040 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9790 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=708162
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=534766
# CPU time returned by wait4() is 1796.24
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1787.14
CPU time (s): 1800.06
CPU user time (s): 1798.98
CPU system time (s): 1.08
CPU usage (%): 100.723
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.71
system time used= 1.53477
maximum resident set size= 604672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23563
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50218
involuntary context switches= 44395

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1815 second user time and 13.474 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-06 16:43:37
IDJOB=4085275
IDBENCH=1951
IDSOLVER=2546
FILE ID=node139/4085275-1465224217
RUNJOBID= node139-1465220260-9033
PBS_JOBID= 19843218
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_15.opb.PB06.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085275-1465224217/watcher-4085275-1465224217 -o /tmp/evaluation-result-4085275-1465224217/solver-4085275-1465224217 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465220260-9033 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085275-1465224217.opb

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

MD5SUM BENCH= 9cfc9eabeae08d1064da7d7b87db93a4
RANDOM SEED=1213729021

node139.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.868
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.73
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.868
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.868
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.868
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.868
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.868
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.55
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.868
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.55
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.868
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30264032 kB
Buffers:           13944 kB
Cached:            83392 kB
SwapCached:         1464 kB
Active:           265632 kB
Inactive:          46796 kB
Active(anon):     215556 kB
Inactive(anon):     2172 kB
Active(file):      50076 kB
Inactive(file):    44624 kB
Unevictable:     1581112 kB
Mlocked:           17452 kB
SwapTotal:      67108856 kB
SwapFree:       67099760 kB
Dirty:               864 kB
Writeback:             0 kB
AnonPages:       1789164 kB
Mapped:            15404 kB
Shmem:                 0 kB
Slab:             566832 kB
SReclaimable:      10836 kB
SUnreclaim:       555996 kB
KernelStack:        1760 kB
PageTables:         7844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2269288 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1748992 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= 71716 MiB
End job on node139 at 2016-06-06 17:13:24