Trace number 4100237

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)51 1800.03 1791.14

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-markshare2_1.opb
MD5SUMf3b3c7fec040599f5daa92cc157157c9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark55.8595
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 9
Optimality of the best value was proved NO
Number of variables330
Total number of constraints13
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 constraints13
Minimum length of a constraint11
Maximum length of a constraint150
Number of terms in the objective function 210
Biggest coefficient in the objective function 37450
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 524454
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261082
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524454
Number of bits of the biggest sum of numbers20
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-4100237-1466211516.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  objective function found
0.10/0.17	c ... done. Wall clock time 0.06s.
0.10/0.17	c declared #vars     330
0.10/0.17	c #constraints  20
0.10/0.17	c constraints type 
0.10/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 20
0.10/0.17	c 20 constraints processed.
0.10/0.17	c objective function length is 210 literals
0.87/0.68	c SATISFIABLE
0.87/0.68	c OPTIMIZING...
0.87/0.68	c Got one! Elapsed wall clock time (in seconds):0.57
0.87/0.68	o 102
1.15/0.82	c cleaning 2947 clauses out of 5910 with flag 2066/5910
1.85/1.41	c cleaning 4474 clauses out of 8964 with flag 14410/11911
2.55/2.11	c cleaning 5740 clauses out of 11496 with flag 29118/18917
3.55/3.14	c cleaning 6864 clauses out of 13747 with flag 45467/26908
4.79/4.33	c cleaning 7932 clauses out of 15885 with flag 64283/35910
5.00/4.56	c Got one! Elapsed wall clock time (in seconds):4.457
5.00/4.56	o 54
5.51/4.93	c cleaning 6862 clauses out of 13743 with flag 6121/41700
6.02/5.41	c cleaning 6430 clauses out of 12880 with flag 18899/47699
6.62/6.00	c cleaning 6720 clauses out of 13450 with flag 33701/54699
7.23/6.69	c cleaning 7355 clauses out of 14731 with flag 50458/62700
8.12/7.53	c cleaning 8177 clauses out of 16378 with flag 69367/71702
9.22/8.61	c cleaning 9087 clauses out of 18199 with flag 90438/81700
10.53/9.98	c cleaning 10044 clauses out of 20112 with flag 113836/92700
10.82/10.28	c Got one! Elapsed wall clock time (in seconds):10.173
10.82/10.28	o 53
11.03/10.46	c cleaning 7634 clauses out of 15283 with flag 4430/97915
11.53/10.94	c cleaning 6818 clauses out of 13649 with flag 17934/103915
12.13/11.54	c cleaning 6901 clauses out of 13828 with flag 33316/110912
12.93/12.31	c cleaning 7459 clauses out of 14931 with flag 50719/118916
13.74/13.19	c cleaning 8224 clauses out of 16468 with flag 68795/127912
14.54/13.95	c cleaning 9110 clauses out of 18244 with flag 89967/137912
15.14/14.57	c cleaning 10058 clauses out of 20134 with flag 114865/148912
15.94/15.38	c cleaning 11028 clauses out of 22077 with flag 142633/160913
16.85/16.25	c cleaning 12021 clauses out of 24049 with flag 172327/173913
17.85/17.23	c cleaning 13002 clauses out of 26028 with flag 203904/187913
18.95/18.32	c cleaning 13990 clauses out of 28025 with flag 237464/202912
20.15/19.53	c cleaning 14996 clauses out of 30035 with flag 273645/218912
21.45/20.89	c cleaning 16008 clauses out of 32039 with flag 311290/235912
22.95/22.38	c cleaning 17000 clauses out of 34031 with flag 351982/253912
24.75/24.14	c cleaning 18000 clauses out of 36032 with flag 395899/272913
26.64/26.07	c cleaning 19007 clauses out of 38031 with flag 441606/292912
28.94/28.34	c cleaning 20004 clauses out of 40027 with flag 489271/313915
31.35/30.71	c cleaning 20991 clauses out of 42020 with flag 539205/335912
33.84/33.24	c cleaning 22000 clauses out of 44031 with flag 590515/358914
36.44/35.87	c cleaning 22990 clauses out of 46029 with flag 646608/382912
39.54/38.93	c cleaning 23998 clauses out of 48039 with flag 702922/407912
43.14/42.51	c cleaning 25003 clauses out of 50041 with flag 761864/433912
46.37/45.74	c cleaning 26005 clauses out of 52040 with flag 823845/460914
50.47/49.83	c cleaning 27001 clauses out of 54033 with flag 886354/488912
54.27/53.69	c cleaning 28003 clauses out of 56032 with flag 955709/517912
58.98/58.39	c cleaning 28997 clauses out of 58030 with flag 1021353/547913
64.67/64.05	c cleaning 29998 clauses out of 60033 with flag 1088779/578913
71.36/70.66	c cleaning 31003 clauses out of 62034 with flag 1155977/610912
77.46/76.77	c cleaning 32002 clauses out of 64031 with flag 1230950/643912
83.96/83.27	c cleaning 32994 clauses out of 66030 with flag 1305215/677913
89.06/88.32	c cleaning 34015 clauses out of 68039 with flag 1383107/712916
94.76/94.09	c cleaning 35000 clauses out of 70020 with flag 1464367/748912
100.96/100.15	c cleaning 36000 clauses out of 72020 with flag 1549185/785912
108.05/107.25	c cleaning 37006 clauses out of 74021 with flag 1636998/823913
114.95/114.18	c cleaning 37989 clauses out of 76014 with flag 1726826/862912
122.25/121.49	c cleaning 38995 clauses out of 78026 with flag 1820404/902913
129.70/128.86	c cleaning 40005 clauses out of 80030 with flag 1916616/943912
138.40/137.57	c cleaning 40994 clauses out of 82025 with flag 2014022/985912
149.41/148.51	c cleaning 42004 clauses out of 84032 with flag 2111813/1028913
160.22/159.25	c cleaning 42999 clauses out of 86027 with flag 2206938/1072912
171.42/170.41	c cleaning 44004 clauses out of 88030 with flag 2305423/1117914
181.62/180.60	c cleaning 44995 clauses out of 90024 with flag 2408183/1163912
190.04/188.95	c Got one! Elapsed wall clock time (in seconds):188.845
190.04/188.95	o 52
191.04/190.00	c cleaning 44399 clauses out of 88820 with flag 11039/1207703
191.74/190.65	c cleaning 25199 clauses out of 50420 with flag 24447/1213702
192.34/191.27	c cleaning 16095 clauses out of 32221 with flag 39374/1220702
193.04/191.96	c cleaning 12046 clauses out of 24126 with flag 56091/1228702
193.74/192.66	c cleaning 10524 clauses out of 21083 with flag 75560/1237705
194.54/193.48	c cleaning 10257 clauses out of 20556 with flag 96968/1247702
195.34/194.27	c cleaning 10630 clauses out of 21299 with flag 120799/1258702
196.16/195.08	c cleaning 11318 clauses out of 22669 with flag 147218/1270702
197.26/196.13	c cleaning 12166 clauses out of 24352 with flag 175659/1283703
198.45/197.39	c cleaning 13086 clauses out of 26185 with flag 206092/1297702
200.17/198.95	c cleaning 14045 clauses out of 28099 with flag 238338/1312702
201.86/200.64	c cleaning 15019 clauses out of 30055 with flag 272903/1328703
203.77/202.58	c cleaning 16011 clauses out of 32035 with flag 311072/1345702
205.97/204.78	c cleaning 17002 clauses out of 34026 with flag 351785/1363704
208.66/207.49	c cleaning 18007 clauses out of 36026 with flag 392010/1382706
212.06/210.87	c cleaning 18997 clauses out of 38015 with flag 434584/1402702
215.05/213.76	c cleaning 19995 clauses out of 40019 with flag 479824/1423703
217.85/216.59	c cleaning 20998 clauses out of 42023 with flag 528503/1445702
220.75/219.43	c cleaning 22005 clauses out of 44025 with flag 578330/1468702
223.95/222.62	c cleaning 23006 clauses out of 46024 with flag 631514/1492706
227.55/226.21	c cleaning 24002 clauses out of 48017 with flag 685606/1517705
231.65/230.34	c cleaning 25000 clauses out of 50012 with flag 743550/1543702
235.97/234.68	c cleaning 25989 clauses out of 52012 with flag 803631/1570702
240.87/239.55	c cleaning 27007 clauses out of 54027 with flag 864630/1598706
245.77/244.40	c cleaning 28002 clauses out of 56016 with flag 928427/1627702
250.77/249.47	c cleaning 29004 clauses out of 58014 with flag 994648/1657702
256.71/255.32	c cleaning 30004 clauses out of 60014 with flag 1063673/1688706
263.00/261.69	c cleaning 30992 clauses out of 62006 with flag 1133768/1720702
269.50/268.14	c cleaning 31995 clauses out of 64015 with flag 1207180/1753703
276.69/275.21	c cleaning 32997 clauses out of 66020 with flag 1283106/1787703
284.30/282.86	c cleaning 34002 clauses out of 68025 with flag 1359739/1822705
292.29/290.83	c cleaning 35002 clauses out of 70022 with flag 1438118/1858704
301.19/299.70	c cleaning 36003 clauses out of 72018 with flag 1518974/1895702
309.16/307.66	c cleaning 37003 clauses out of 74015 with flag 1603276/1933702
318.46/316.96	c cleaning 37991 clauses out of 76014 with flag 1688892/1972704
328.05/326.53	c cleaning 39000 clauses out of 78021 with flag 1776085/2012702
337.59/336.02	c cleaning 40004 clauses out of 80021 with flag 1867050/2053702
347.49/345.95	c cleaning 40998 clauses out of 82020 with flag 1959218/2095705
358.18/356.57	c cleaning 42002 clauses out of 84020 with flag 2052650/2138703
370.37/368.75	c cleaning 43001 clauses out of 86017 with flag 2151552/2182702
383.97/382.32	c cleaning 44001 clauses out of 88018 with flag 2249746/2227704
399.72/398.04	c cleaning 45000 clauses out of 90015 with flag 2348642/2273702
410.52/408.84	c cleaning 45999 clauses out of 92015 with flag 2447880/2320702
424.09/422.39	c cleaning 47000 clauses out of 94017 with flag 2544451/2368703
441.10/439.32	c cleaning 47997 clauses out of 96016 with flag 2645543/2417702
450.17/448.37	c Got one! Elapsed wall clock time (in seconds):448.259
450.17/448.37	o 51
450.87/449.01	c cleaning 45018 clauses out of 90051 with flag 10181/2459734
451.47/449.66	c cleaning 25509 clauses out of 51032 with flag 24425/2465733
452.07/450.23	c cleaning 16251 clauses out of 32523 with flag 41141/2472733
452.67/450.84	c cleaning 12125 clauses out of 24273 with flag 60072/2480734
453.57/451.71	c cleaning 10561 clauses out of 21147 with flag 80406/2489733
454.57/452.78	c cleaning 10278 clauses out of 20586 with flag 104917/2499733
455.92/454.07	c cleaning 10643 clauses out of 21308 with flag 128195/2510733
457.22/455.39	c cleaning 11323 clauses out of 22665 with flag 153449/2522733
458.82/456.99	c cleaning 12162 clauses out of 24344 with flag 180948/2535735
460.82/458.96	c cleaning 13080 clauses out of 26180 with flag 209494/2549733
462.05/460.19	c cleaning 14042 clauses out of 28101 with flag 248071/2564734
463.95/462.03	c cleaning 15014 clauses out of 30059 with flag 281308/2580734
466.15/464.25	c cleaning 16011 clauses out of 32044 with flag 316760/2597733
468.48/466.57	c cleaning 17011 clauses out of 34038 with flag 356503/2615738
471.27/469.32	c cleaning 18004 clauses out of 36023 with flag 397270/2634734
473.77/471.89	c cleaning 18995 clauses out of 38020 with flag 442653/2654735
476.24/474.29	c cleaning 19994 clauses out of 40024 with flag 491530/2675734
480.13/478.13	c cleaning 20997 clauses out of 42031 with flag 539644/2697735
483.87/481.89	c cleaning 21999 clauses out of 44033 with flag 589457/2720734
488.16/486.13	c cleaning 23000 clauses out of 46033 with flag 643140/2744733
493.27/491.22	c cleaning 24002 clauses out of 48036 with flag 697843/2769736
498.11/496.10	c cleaning 25001 clauses out of 50031 with flag 758196/2795733
504.21/502.10	c cleaning 26006 clauses out of 52031 with flag 818476/2822734
508.85/506.77	c cleaning 26996 clauses out of 54024 with flag 882071/2850733
514.04/511.91	c cleaning 27999 clauses out of 56028 with flag 946787/2879733
519.99/517.83	c cleaning 29001 clauses out of 58030 with flag 1017531/2909734
525.99/523.87	c cleaning 30000 clauses out of 60029 with flag 1089732/2940734
531.55/529.36	c cleaning 31002 clauses out of 62028 with flag 1165272/2972733
536.58/534.36	c cleaning 32006 clauses out of 64026 with flag 1249730/3005733
542.94/540.61	c cleaning 32997 clauses out of 66021 with flag 1324004/3039734
549.44/547.14	c cleaning 34003 clauses out of 68023 with flag 1406581/3074733
555.18/552.84	c cleaning 34994 clauses out of 70023 with flag 1493813/3110736
562.30/559.96	c cleaning 35996 clauses out of 72026 with flag 1587677/3147733
570.03/567.67	c cleaning 37002 clauses out of 74031 with flag 1680659/3185734
576.53/574.18	c cleaning 38005 clauses out of 76028 with flag 1782979/3224733
584.58/582.18	c cleaning 38998 clauses out of 78023 with flag 1883941/3264733
591.22/588.73	c cleaning 40002 clauses out of 80025 with flag 1990899/3305733
597.68/595.16	c cleaning 41003 clauses out of 82026 with flag 2101345/3347736
605.17/602.65	c cleaning 42001 clauses out of 84020 with flag 2208756/3390733
613.59/611.06	c cleaning 42994 clauses out of 86019 with flag 2322850/3434733
623.43/620.89	c cleaning 43993 clauses out of 88026 with flag 2436489/3479734
634.30/631.68	c cleaning 45006 clauses out of 90033 with flag 2553266/3525734
645.37/642.66	c cleaning 46002 clauses out of 92027 with flag 2670442/3572734
654.71/651.93	c cleaning 46994 clauses out of 94025 with flag 2799754/3620734
664.95/662.16	c cleaning 47992 clauses out of 96030 with flag 2929256/3669733
674.08/671.27	c cleaning 49010 clauses out of 98040 with flag 3058101/3719735
684.10/681.21	c cleaning 49999 clauses out of 100029 with flag 3197390/3770734
695.22/692.23	c cleaning 51004 clauses out of 102029 with flag 3334203/3822733
704.54/701.52	c cleaning 52005 clauses out of 104028 with flag 3473552/3875736
714.58/711.56	c cleaning 52997 clauses out of 106021 with flag 3623162/3929734
725.51/722.41	c cleaning 53997 clauses out of 108023 with flag 3757587/3984733
741.28/738.12	c cleaning 55002 clauses out of 110028 with flag 3882005/4040735
754.14/750.96	c cleaning 56006 clauses out of 112025 with flag 4025408/4097734
766.15/762.97	c cleaning 57001 clauses out of 114020 with flag 4179466/4155735
780.80/777.53	c cleaning 57998 clauses out of 116017 with flag 4346695/4214733
797.16/793.83	c cleaning 59001 clauses out of 118021 with flag 4508824/4274735
813.50/810.13	c cleaning 59996 clauses out of 120023 with flag 4662583/4335738
825.27/821.86	c cleaning 60998 clauses out of 122024 with flag 4829294/4397735
839.34/835.86	c cleaning 62003 clauses out of 124024 with flag 4983634/4460733
853.40/849.89	c cleaning 62985 clauses out of 126021 with flag 5170903/4524733
870.48/866.82	c cleaning 64003 clauses out of 128036 with flag 5346089/4589733
886.53/882.85	c cleaning 64998 clauses out of 130036 with flag 5553689/4655736
903.09/899.38	c cleaning 66004 clauses out of 132037 with flag 5752109/4722735
918.39/914.51	c cleaning 66999 clauses out of 134031 with flag 5940353/4790733
936.06/932.10	c cleaning 68007 clauses out of 136034 with flag 6147486/4859735
952.35/948.33	c cleaning 69001 clauses out of 138029 with flag 6348234/4929737
971.82/967.74	c cleaning 70001 clauses out of 140025 with flag 6519682/5000734
995.82/991.63	c cleaning 71009 clauses out of 142028 with flag 6683223/5072738
1018.64/1014.33	c cleaning 71991 clauses out of 144014 with flag 6871423/5145733
1037.73/1033.37	c cleaning 72987 clauses out of 146023 with flag 7086490/5219733
1061.56/1057.03	c cleaning 74007 clauses out of 148038 with flag 7255506/5294735
1085.56/1080.90	c cleaning 75001 clauses out of 150032 with flag 7428013/5370736
1112.42/1107.63	c cleaning 76004 clauses out of 152028 with flag 7601747/5447733
1137.18/1132.26	c cleaning 76988 clauses out of 154024 with flag 7799952/5525733
1161.18/1156.20	c cleaning 78002 clauses out of 156036 with flag 7998986/5604733
1186.12/1180.94	c cleaning 79002 clauses out of 158034 with flag 8209328/5684733
1206.23/1200.98	c cleaning 79996 clauses out of 160032 with flag 8435679/5765733
1227.19/1221.74	c cleaning 81007 clauses out of 162037 with flag 8650635/5847734
1247.45/1241.86	c cleaning 81996 clauses out of 164030 with flag 8862732/5930734
1271.58/1265.87	c cleaning 83008 clauses out of 166033 with flag 9094538/6014733
1300.73/1294.82	c cleaning 83994 clauses out of 168025 with flag 9306159/6099733
1327.11/1321.01	c cleaning 84997 clauses out of 170031 with flag 9535772/6185733
1353.17/1346.92	c cleaning 86003 clauses out of 172035 with flag 9768796/6272734
1386.16/1379.72	c cleaning 87003 clauses out of 174033 with flag 9978684/6360735
1413.46/1406.89	c cleaning 88005 clauses out of 176028 with flag 10254478/6449733
1457.97/1451.16	c cleaning 89000 clauses out of 178024 with flag 10464423/6539734
1517.73/1510.71	c cleaning 89997 clauses out of 180025 with flag 10653642/6630735
1556.10/1548.99	c cleaning 90996 clauses out of 182026 with flag 10890019/6722733
1600.53/1593.16	c cleaning 92007 clauses out of 184033 with flag 11118864/6815736
1652.60/1644.97	c cleaning 92998 clauses out of 186023 with flag 11328138/6909733
1684.59/1676.67	c cleaning 93999 clauses out of 188025 with flag 11579542/7004733
1711.25/1703.04	c cleaning 94992 clauses out of 190026 with flag 11854349/7100733
1749.70/1741.26	c cleaning 96000 clauses out of 192034 with flag 12090950/7197733
1786.39/1777.65	c cleaning 96995 clauses out of 194034 with flag 12323602/7295733
1800.03/1791.10	c starts		: 15
1800.03/1791.10	c conflicts		: 7343652
1800.03/1791.10	c decisions		: 9560078
1800.03/1791.10	c propagations		: 72016519
1800.03/1791.10	c inspects		: 36094366523
1800.03/1791.10	c shortcuts		: 0
1800.03/1791.10	c learnt literals	: 0
1800.03/1791.10	c learnt binary clauses	: 0
1800.03/1791.10	c learnt ternary clauses	: 0
1800.03/1791.10	c learnt constraints	: 7343652
1800.03/1791.10	c ignored constraints	: 0
1800.03/1791.10	c root simplifications	: 0
1800.03/1791.10	c removed literals (reason simplification)	: 0
1800.03/1791.10	c reason swapping (by a shorter reason)	: 0
1800.03/1791.10	c Calls to reduceDB	: 193
1800.03/1791.10	c Number of update (reduction) of LBD	: 969172
1800.03/1791.10	c Imported unit clauses	: 0
1800.03/1791.10	c number of reductions to clauses (during analyze)	: 0
1800.03/1791.10	c number of learned constraints concerned by reduction	: 0
1800.03/1791.10	c number of learning phase by resolution	: 0
1800.03/1791.10	c number of learning phase by cutting planes	: 0
1800.03/1791.10	c speed (assignments/second)	: 40211.71243608084
1800.03/1791.10	c non guided choices	684
1800.03/1791.13	c learnt constraints type 
1800.03/1791.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 144958
1800.03/1791.13	s SATISFIABLE
1800.03/1791.13	c Found 5 solution(s)
1800.03/1791.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 
1800.03/1791.13	c objective function=51
1800.03/1791.13	c Total wall clock time (in seconds): 1791.024

Verifier Data 

OK	51

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-4100237-1466211516/watcher-4100237-1466211516 -o /tmp/evaluation-result-4100237-1466211516/solver-4100237-1466211516 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466206058-4534 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4100237-1466211516.opb 

pid=7016
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.41 2.28 2.24 3/196 7019
/proc/meminfo: memFree=30131736/32872528 swapFree=1482636/1662508
[pid=7019] ppid=7016 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/7019/stat : 7019 (java) S 7016 7019 4518 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 23198041 98570240 978 33554432000 1073741824 1073778376 140733809980000 140733809971136 273909055549 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7019/statm: 24065 978 744 9 0 16771 0
[pid=7019/tid=7020] ppid=7016 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7020/stat : 7020 (java) R 7016 7019 4518 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 23198042 98570240 978 33554432000 1073741824 1073778376 140733809980000 140672957881896 273905698176 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100092 s]
/proc/loadavg: 2.41 2.28 2.24 3/196 7019
/proc/meminfo: memFree=30131736/32872528 swapFree=1482636/1662508
[pid=7019] ppid=7016 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/7019/stat : 7019 (java) S 7016 7019 4518 0 -1 4202496 4429 0 1 0 9 1 0 0 20 0 18 0 23198041 9787879424 6062 33554432000 1073741824 1073778376 140733809980000 140733809971136 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7019/statm: 2389619 6062 2140 9 0 2380296 0
[pid=7019/tid=7020] ppid=7016 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/7019/task/7020/stat : 7020 (java) R 7016 7019 4518 0 -1 4202560 2375 0 1 0 6 1 0 0 20 0 18 0 23198042 9787879424 6065 33554432000 1073741824 1073778376 140733809980000 140672957885344 273909081357 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.200319 s]
/proc/loadavg: 2.41 2.28 2.24 3/196 7019
/proc/meminfo: memFree=30131736/32872528 swapFree=1482636/1662508
[pid=7019] ppid=7016 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/7019/stat : 7019 (java) S 7016 7019 4518 0 -1 4202496 5406 0 1 0 26 1 0 0 20 0 19 0 23198041 9856040960 7327 33554432000 1073741824 1073778376 140733809980000 140733809971136 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7019/statm: 2406260 7328 2226 9 0 2396937 0
[pid=7019/tid=7020] ppid=7016 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/7019/task/7020/stat : 7020 (java) R 7016 7019 4518 0 -1 4202560 2403 0 1 0 16 1 0 0 20 0 19 0 23198042 9856040960 7328 33554432000 1073741824 1073778376 140733809980000 140672957887104 140672812300900 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9625040

[startup+0.300328 s]
/proc/loadavg: 2.41 2.28 2.24 3/196 7019
/proc/meminfo: memFree=30131736/32872528 swapFree=1482636/1662508
[pid=7019] ppid=7016 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/7019/stat : 7019 (java) S 7016 7019 4518 0 -1 4202496 7166 0 1 0 51 2 0 0 20 0 19 0 23198041 9856040960 8166 33554432000 1073741824 1073778376 140733809980000 140733809971136 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7019/statm: 2406260 8166 2246 9 0 2396937 0
[pid=7019/tid=7020] ppid=7016 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/7019/task/7020/stat : 7020 (java) R 7016 7019 4518 0 -1 4202560 2404 0 1 0 26 1 0 0 20 0 19 0 23198042 9856040960 8166 33554432000 1073741824 1073778376 140733809980000 140672957886632 140672812665415 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.700238 s]
/proc/loadavg: 2.41 2.28 2.24 3/196 7019
/proc/meminfo: memFree=30131736/32872528 swapFree=1482636/1662508
[pid=7019] ppid=7016 vsize=9625040 CPUtime=1.02 cores=0,2,4,6
/proc/7019/stat : 7019 (java) S 7016 7019 4518 0 -1 4202496 7677 0 1 0 100 2 0 0 20 0 19 0 23198041 9856040960 12472 33554432000 1073741824 1073778376 140733809980000 140733809971136 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7019/statm: 2406260 12472 2249 9 0 2396937 0
[pid=7019/tid=7020] ppid=7016 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/7019/task/7020/stat : 7020 (java) R 7016 7019 4518 0 -1 4202560 2412 0 1 0 65 2 0 0 20 0 19 0 23198042 9856040960 12472 33554432000 1073741824 1073778376 140733809980000 140672957885216 140672812687402 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 9625040

[startup+1.50073 s]
/proc/loadavg: 2.37 2.28 2.24 3/215 7038
/proc/meminfo: memFree=30079452/32872528 swapFree=1482636/1662508
[pid=7019] ppid=7016 vsize=9625040 CPUtime=1.95 cores=0,2,4,6
/proc/7019/stat : 7019 (java) S 7016 7019 4518 0 -1 4202496 9339 0 1 0 192 3 0 0 20 0 19 0 23198041 9856040960 17542 33554432000 1073741824 1073778376 140733809980000 140733809971136 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7019/statm: 2406260 17542 2261 9 0 2396937 0
[pid=7019/tid=7020] ppid=7016 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/7019/task/7020/stat : 7020 (java) R 7016 7019 4518 0 -1 4202560 2423 0 1 0 145 2 0 0 20 0 19 0 23198042 9856040960 17542 33554432000 1073741824 1073778376 140733809980000 140672957886792 140672812731024 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7019/tid=7022] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7022/stat : 7022 (java) S 7016 7019 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23198042 9856040960 17542 33554432000 1073741824 1073778376 140733809980000 140672801221288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7023] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7023/stat : 7023 (java) S 7016 7019 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23198042 9856040960 17542 33554432000 1073741824 1073778376 140733809980000 140672800168744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7019/tid=7024] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7024/stat : 7024 (java) S 7016 7019 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23198042 9856040960 17542 33554432000 1073741824 1073778376 140733809980000 140672799116200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7019/tid=7025] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7025/stat : 7025 (java) S 7016 7019 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23198042 9856040960 17542 33554432000 1073741824 1073778376 140733809980000 140672798063656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7019/tid=7026] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7026/stat : 7026 (java) S 7016 7019 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23198042 9856040960 17542 33554432000 1073741824 1073778376 140733809980000 140672797010088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7027] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7027/stat : 7027 (java) S 7016 7019 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23198042 9856040960 17542 33554432000 1073741824 1073778376 140733809980000 140672459860264 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7019/tid=7028] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7028/stat : 7028 (java) S 7016 7019 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23198042 9856040960 17542 33554432000 1073741824 1073778376 140733809980000 140672458807720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7029] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7029/stat : 7029 (java) S 7016 7019 4518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23198042 9856040960 17542 33554432000 1073741824 1073778376 140733809980000 140672457755176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7030] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7030/stat : 7030 (java) S 7016 7019 4518 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23198044 9856040960 17542 33554432000 1073741824 1073778376 140733809980000 140672445557352 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7031] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7031/stat : 7031 (java) S 7016 7019 4518 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23198044 9856040960 17542 33554432000 1073741824 1073778376 140733809980000 140672444503672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7032] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7032/stat : 7032 (java) S 7016 7019 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23198044 9856040960 17542 33554432000 1073741824 1073778376 140733809980000 140672443451016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7033] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7033/stat : 7033 (java) S 7016 7019 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23198046 9856040960 17542 33554432000 1073741824 1073778376 140733809980000 140672442399760 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7034] ppid=7016 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/7019/task/7034/stat : 7034 (java) S 7016 7019 4518 0 -1 4202560 1908 0 0 0 17 0 0 0 20 0 19 0 23198046 9856040960 17542 33554432000 1073741824 1073778376 140733809980000 140672441346104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7035] ppid=7016 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/7019/task/7035/stat : 7035 (java) S 7016 7019 4518 0 -1 4202560 3736 0 0 0 26 0 0 0 20 0 19 0 23198046 9856040960 17542 33554432000 1073741824 1073778376 140733809980000 140672440293560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7019/tid=7036] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7036/stat : 7036 (java) S 7016 7019 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23198046 9856040960 17542 33554432000 1073741824 1073778376 140733809980000 140672439241208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7019/tid=7037] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7037/stat : 7037 (java) S 7016 7019 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23198046 9856040960 17542 33554432000 1073741824 1073778376 140733809980000 140672438188872 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7038] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7038/stat : 7038 (java) S 7016 7019 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23198059 9856040960 17542 33554432000 1073741824 1073778376 140733809980000 140672437036328 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 9625040

[startup+3.1008 s]
/proc/loadavg: 2.37 2.28 2.24 3/215 7038
/proc/meminfo: memFree=30050532/32872528 swapFree=1482636/1662508
[pid=7019] ppid=7016 vsize=9625040 CPUtime=3.55 cores=0,2,4,6
/proc/7019/stat : 7019 (java) S 7016 7019 4518 0 -1 4202496 9356 0 1 0 352 3 0 0 20 0 19 0 23198041 9856040960 26246 33554432000 1073741824 1073778376 140733809980000 140733809971136 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7019/statm: 2406260 26246 2261 9 0 2396937 0
[pid=7019/tid=7020] ppid=7016 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/7019/task/7020/stat : 7020 (java) R 7016 7019 4518 0 -1 4202560 2440 0 1 0 304 2 0 0 20 0 19 0 23198042 9856040960 26246 33554432000 1073741824 1073778376 140733809980000 140672957877968 140672812763980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7019/tid=7022] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7022/stat : 7022 (java) S 7016 7019 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23198042 9856040960 26246 33554432000 1073741824 1073778376 140733809980000 140672801221288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7023] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7023/stat : 7023 (java) S 7016 7019 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23198042 9856040960 26246 33554432000 1073741824 1073778376 140733809980000 140672800168744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7019/tid=7024] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7024/stat : 7024 (java) S 7016 7019 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23198042 9856040960 26246 33554432000 1073741824 1073778376 140733809980000 140672799116200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7019/tid=7025] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7025/stat : 7025 (java) S 7016 7019 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23198042 9856040960 26758 33554432000 1073741824 1073778376 140733809980000 140672798063656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7019/tid=7026] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7026/stat : 7026 (java) S 7016 7019 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23198042 9856040960 26758 33554432000 1073741824 1073778376 140733809980000 140672797010088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7027] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7027/stat : 7027 (java) S 7016 7019 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23198042 9856040960 26758 33554432000 1073741824 1073778376 140733809980000 140672459860264 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7019/tid=7028] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7028/stat : 7028 (java) S 7016 7019 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23198042 9856040960 26758 33554432000 1073741824 1073778376 140733809980000 140672458807720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7029] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7029/stat : 7029 (java) S 7016 7019 4518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23198042 9856040960 26758 33554432000 1073741824 1073778376 140733809980000 140672457755176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7030] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7030/stat : 7030 (java) S 7016 7019 4518 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23198044 9856040960 26758 33554432000 1073741824 1073778376 140733809980000 140672445557352 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7031] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7031/stat : 7031 (java) S 7016 7019 4518 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23198044 9856040960 26758 33554432000 1073741824 1073778376 140733809980000 140672444503672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7032] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7032/stat : 7032 (java) S 7016 7019 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23198044 9856040960 26758 33554432000 1073741824 1073778376 140733809980000 140672443451016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7033] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7033/stat : 7033 (java) S 7016 7019 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23198046 9856040960 26758 33554432000 1073741824 1073778376 140733809980000 140672442399760 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7034] ppid=7016 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/7019/task/7034/stat : 7034 (java) S 7016 7019 4518 0 -1 4202560 1908 0 0 0 18 0 0 0 20 0 19 0 23198046 9856040960 26758 33554432000 1073741824 1073778376 140733809980000 140672441346104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7035] ppid=7016 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/7019/task/7035/stat : 7035 (java) S 7016 7019 4518 0 -1 4202560 3736 0 0 0 26 0 0 0 20 0 19 0 23198046 9856040960 26758 33554432000 1073741824 1073778376 140733809980000 140672440293560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7019/tid=7036] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7036/stat : 7036 (java) S 7016 7019 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23198046 9856040960 26758 33554432000 1073741824 1073778376 140733809980000 140672439241208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7019/tid=7037] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7037/stat : 7037 (java) S 7016 7019 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23198046 9856040960 26758 33554432000 1073741824 1073778376 140733809980000 140672438188872 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7038] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7038/stat : 7038 (java) S 7016 7019 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23198059 9856040960 26758 33554432000 1073741824 1073778376 140733809980000 140672437036328 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 9625040

[startup+6.30072 s]
/proc/loadavg: 2.37 2.28 2.24 3/215 7038
/proc/meminfo: memFree=29982680/32872528 swapFree=1482636/1662508
[pid=7019] ppid=7016 vsize=9625040 CPUtime=6.92 cores=0,2,4,6
/proc/7019/stat : 7019 (java) S 7016 7019 4518 0 -1 4202496 11941 0 1 0 687 5 0 0 20 0 19 0 23198041 9856040960 41079 33554432000 1073741824 1073778376 140733809980000 140733809971136 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7019/statm: 2406260 41079 2275 9 0 2396937 0
[pid=7019/tid=7020] ppid=7016 vsize=9625040 CPUtime=6.25 cores=0,2,4,6
/proc/7019/task/7020/stat : 7020 (java) R 7016 7019 4518 0 -1 4202560 2472 0 1 0 623 2 0 0 20 0 19 0 23198042 9856040960 41079 33554432000 1073741824 1073778376 140733809980000 140672957877952 140672812686555 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7019/tid=7022] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7022/stat : 7022 (java) S 7016 7019 4518 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 23198042 9856040960 41079 33554432000 1073741824 1073778376 140733809980000 140672801221288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7023] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7023/stat : 7023 (java) S 7016 7019 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23198042 9856040960 41079 33554432000 1073741824 1073778376 140733809980000 140672800168744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7019/tid=7024] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7024/stat : 7024 (java) S 7016 7019 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23198042 9856040960 41079 33554432000 1073741824 1073778376 140733809980000 140672799116200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7019/tid=7025] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7025/stat : 7025 (java) S 7016 7019 4518 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 23198042 9856040960 41079 33554432000 1073741824 1073778376 140733809980000 140672798063656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7019/tid=7026] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7026/stat : 7026 (java) S 7016 7019 4518 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23198042 9856040960 41079 33554432000 1073741824 1073778376 140733809980000 140672797010088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7019/tid=7027] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7027/stat : 7027 (java) S 7016 7019 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23198042 9856040960 41079 33554432000 1073741824 1073778376 140733809980000 140672459860264 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7019/tid=7028] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7028/stat : 7028 (java) S 7016 7019 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23198042 9856040960 41079 33554432000 1073741824 1073778376 140733809980000 140672458807720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7029] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7029/stat : 7029 (java) S 7016 7019 4518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23198042 9856040960 41079 33554432000 1073741824 1073778376 140733809980000 140672457755176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7030] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7030/stat : 7030 (java) S 7016 7019 4518 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 23198044 9856040960 41079 33554432000 1073741824 1073778376 140733809980000 140672445557352 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7031] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7031/stat : 7031 (java) S 7016 7019 4518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23198044 9856040960 41079 33554432000 1073741824 1073778376 140733809980000 140672444503672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7032] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7032/stat : 7032 (java) S 7016 7019 4518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23198044 9856040960 41079 33554432000 1073741824 1073778376 140733809980000 140672443451016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7033] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7033/stat : 7033 (java) S 7016 7019 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23198046 9856040960 41079 33554432000 1073741824 1073778376 140733809980000 140672442399760 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7034] ppid=7016 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/7019/task/7034/stat : 7034 (java) S 7016 7019 4518 0 -1 4202560 1910 0 0 0 21 0 0 0 20 0 19 0 23198046 9856040960 41079 33554432000 1073741824 1073778376 140733809980000 140672441346104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7035] ppid=7016 vsize=9625040 CPUtime=0.4 cores=0,2,4,6

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

[pid=7019/tid=7038] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7038/stat : 7038 (java) S 7016 7019 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23198059 9856040960 55946 33554432000 1073741824 1073778376 140733809980000 140672437036328 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1730.73
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.34 2.45 2.35 3/215 7375
/proc/meminfo: memFree=29670132/32872528 swapFree=1482636/1662508
[pid=7019] ppid=7016 vsize=9625040 CPUtime=1791.15 cores=0,2,4,6
/proc/7019/stat : 7019 (java) S 7016 7019 4518 0 -1 4202496 16641 0 1 0 179023 92 0 0 20 0 19 0 23198041 9856040960 52882 33554432000 1073741824 1073778376 140733809980000 140733809971136 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7019/statm: 2406260 52882 2284 9 0 2396937 0
[pid=7019/tid=7020] ppid=7016 vsize=9625040 CPUtime=1772.64 cores=0,2,4,6
/proc/7019/task/7020/stat : 7020 (java) R 7016 7019 4518 0 -1 4202560 2770 0 1 0 177223 41 0 0 20 0 19 0 23198042 9856040960 52882 33554432000 1073741824 1073778376 140733809980000 140672957885648 140672812687397 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7019/tid=7022] ppid=7016 vsize=9625040 CPUtime=1.38 cores=0,2,4,6
/proc/7019/task/7022/stat : 7022 (java) S 7016 7019 4518 0 -1 4202560 415 0 0 0 131 7 0 0 20 0 19 0 23198042 9856040960 52882 33554432000 1073741824 1073778376 140733809980000 140672801221288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7023] ppid=7016 vsize=9625040 CPUtime=1.54 cores=0,2,4,6
/proc/7019/task/7023/stat : 7023 (java) S 7016 7019 4518 0 -1 4202560 566 0 0 0 146 8 0 0 20 0 19 0 23198042 9856040960 52882 33554432000 1073741824 1073778376 140733809980000 140672800168744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7019/tid=7024] ppid=7016 vsize=9625040 CPUtime=1.52 cores=0,2,4,6
/proc/7019/task/7024/stat : 7024 (java) S 7016 7019 4518 0 -1 4202560 532 0 0 0 143 9 0 0 20 0 19 0 23198042 9856040960 52882 33554432000 1073741824 1073778376 140733809980000 140672799116200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7019/tid=7025] ppid=7016 vsize=9625040 CPUtime=1.52 cores=0,2,4,6
/proc/7019/task/7025/stat : 7025 (java) S 7016 7019 4518 0 -1 4202560 401 0 0 0 145 7 0 0 20 0 19 0 23198042 9856040960 52882 33554432000 1073741824 1073778376 140733809980000 140672798063656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7019/tid=7026] ppid=7016 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/7019/task/7026/stat : 7026 (java) S 7016 7019 4518 0 -1 4202560 370 0 0 0 142 5 0 0 20 0 19 0 23198042 9856040960 52882 33554432000 1073741824 1073778376 140733809980000 140672797010088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7027] ppid=7016 vsize=9625040 CPUtime=1.4 cores=0,2,4,6
/proc/7019/task/7027/stat : 7027 (java) S 7016 7019 4518 0 -1 4202560 569 0 0 0 134 6 0 0 20 0 19 0 23198042 9856040960 52882 33554432000 1073741824 1073778376 140733809980000 140672459860264 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7019/tid=7028] ppid=7016 vsize=9625040 CPUtime=1.51 cores=0,2,4,6
/proc/7019/task/7028/stat : 7028 (java) S 7016 7019 4518 0 -1 4202560 572 0 0 0 143 8 0 0 20 0 19 0 23198042 9856040960 52882 33554432000 1073741824 1073778376 140733809980000 140672458807720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7019/tid=7029] ppid=7016 vsize=9625040 CPUtime=1.51 cores=0,2,4,6
/proc/7019/task/7029/stat : 7029 (java) S 7016 7019 4518 0 -1 4202560 502 0 0 0 145 6 0 0 20 0 19 0 23198042 9856040960 52882 33554432000 1073741824 1073778376 140733809980000 140672457755176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7030] ppid=7016 vsize=9625040 CPUtime=1.19 cores=0,2,4,6
/proc/7019/task/7030/stat : 7030 (java) S 7016 7019 4518 0 -1 4202560 248 0 0 0 115 4 0 0 20 0 19 0 23198044 9856040960 52882 33554432000 1073741824 1073778376 140733809980000 140672445557352 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7031] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7031/stat : 7031 (java) S 7016 7019 4518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23198044 9856040960 52882 33554432000 1073741824 1073778376 140733809980000 140672444503672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7032] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7032/stat : 7032 (java) S 7016 7019 4518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23198044 9856040960 52882 33554432000 1073741824 1073778376 140733809980000 140672443451016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7033] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7033/stat : 7033 (java) S 7016 7019 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23198046 9856040960 52882 33554432000 1073741824 1073778376 140733809980000 140672442399760 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7034] ppid=7016 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/7019/task/7034/stat : 7034 (java) S 7016 7019 4518 0 -1 4202560 1910 0 0 0 21 0 0 0 20 0 19 0 23198046 9856040960 52882 33554432000 1073741824 1073778376 140733809980000 140672441346104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7035] ppid=7016 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/7019/task/7035/stat : 7035 (java) S 7016 7019 4518 0 -1 4202560 6424 0 0 0 40 2 0 0 20 0 19 0 23198046 9856040960 52882 33554432000 1073741824 1073778376 140733809980000 140672440293560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7019/tid=7036] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7036/stat : 7036 (java) S 7016 7019 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23198046 9856040960 52882 33554432000 1073741824 1073778376 140733809980000 140672439241208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7019/tid=7037] ppid=7016 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/7019/task/7037/stat : 7037 (java) S 7016 7019 4518 0 -1 4202560 104 0 0 0 24 26 0 0 20 0 19 0 23198046 9856040960 52882 33554432000 1073741824 1073778376 140733809980000 140672438188872 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7019/tid=7038] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7038/stat : 7038 (java) S 7016 7019 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23198059 9856040960 52882 33554432000 1073741824 1073778376 140733809980000 140672437036328 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.15
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1791.1 s]
/proc/loadavg: 2.39 2.46 2.36 3/215 7375
/proc/meminfo: memFree=29670260/32872528 swapFree=1482636/1662508
[pid=7019] ppid=7016 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6
/proc/7019/stat : 7019 (java) S 7016 7019 4518 0 -1 4202496 16653 0 1 0 179911 92 0 0 20 0 19 0 23198041 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140733809971136 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7019/statm: 2406260 52827 2284 9 0 2396937 0
[pid=7019/tid=7020] ppid=7016 vsize=9625040 CPUtime=1781.37 cores=0,2,4,6
/proc/7019/task/7020/stat : 7020 (java) R 7016 7019 4518 0 -1 4202560 2775 0 1 0 178095 42 0 0 20 0 19 0 23198042 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672957885664 140672812731047 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7019/tid=7022] ppid=7016 vsize=9625040 CPUtime=1.39 cores=0,2,4,6
/proc/7019/task/7022/stat : 7022 (java) S 7016 7019 4518 0 -1 4202560 416 0 0 0 132 7 0 0 20 0 19 0 23198042 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672801221288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7019/tid=7023] ppid=7016 vsize=9625040 CPUtime=1.55 cores=0,2,4,6
/proc/7019/task/7023/stat : 7023 (java) S 7016 7019 4518 0 -1 4202560 572 0 0 0 147 8 0 0 20 0 19 0 23198042 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672800168744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7019/tid=7024] ppid=7016 vsize=9625040 CPUtime=1.53 cores=0,2,4,6
/proc/7019/task/7024/stat : 7024 (java) S 7016 7019 4518 0 -1 4202560 532 0 0 0 144 9 0 0 20 0 19 0 23198042 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672799116200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7019/tid=7025] ppid=7016 vsize=9625040 CPUtime=1.54 cores=0,2,4,6
/proc/7019/task/7025/stat : 7025 (java) S 7016 7019 4518 0 -1 4202560 401 0 0 0 147 7 0 0 20 0 19 0 23198042 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672798063656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7019/tid=7026] ppid=7016 vsize=9625040 CPUtime=1.49 cores=0,2,4,6
/proc/7019/task/7026/stat : 7026 (java) S 7016 7019 4518 0 -1 4202560 370 0 0 0 144 5 0 0 20 0 19 0 23198042 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672797010088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7027] ppid=7016 vsize=9625040 CPUtime=1.42 cores=0,2,4,6
/proc/7019/task/7027/stat : 7027 (java) S 7016 7019 4518 0 -1 4202560 569 0 0 0 136 6 0 0 20 0 19 0 23198042 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672459860264 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7028] ppid=7016 vsize=9625040 CPUtime=1.52 cores=0,2,4,6
/proc/7019/task/7028/stat : 7028 (java) S 7016 7019 4518 0 -1 4202560 572 0 0 0 144 8 0 0 20 0 19 0 23198042 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672458807720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7019/tid=7029] ppid=7016 vsize=9625040 CPUtime=1.53 cores=0,2,4,6
/proc/7019/task/7029/stat : 7029 (java) S 7016 7019 4518 0 -1 4202560 502 0 0 0 147 6 0 0 20 0 19 0 23198042 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672457755176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7030] ppid=7016 vsize=9625040 CPUtime=1.19 cores=0,2,4,6
/proc/7019/task/7030/stat : 7030 (java) S 7016 7019 4518 0 -1 4202560 248 0 0 0 115 4 0 0 20 0 19 0 23198044 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672445557352 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7031] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7031/stat : 7031 (java) S 7016 7019 4518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23198044 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672444503672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7032] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7032/stat : 7032 (java) S 7016 7019 4518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23198044 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672443451016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7033] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7033/stat : 7033 (java) S 7016 7019 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23198046 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672442399760 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7034] ppid=7016 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/7019/task/7034/stat : 7034 (java) S 7016 7019 4518 0 -1 4202560 1910 0 0 0 21 0 0 0 20 0 19 0 23198046 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672441346104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7035] ppid=7016 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/7019/task/7035/stat : 7035 (java) S 7016 7019 4518 0 -1 4202560 6424 0 0 0 40 2 0 0 20 0 19 0 23198046 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672440293560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7019/tid=7036] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7036/stat : 7036 (java) S 7016 7019 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23198046 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672439241208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7019/tid=7037] ppid=7016 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/7019/task/7037/stat : 7037 (java) S 7016 7019 4518 0 -1 4202560 104 0 0 0 24 26 0 0 20 0 19 0 23198046 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672438188872 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7019/tid=7038] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7038/stat : 7038 (java) S 7016 7019 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23198059 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672437036328 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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 7019 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1791.1 s]
/proc/loadavg: 2.39 2.46 2.36 3/215 7375
/proc/meminfo: memFree=29670260/32872528 swapFree=1482636/1662508
[pid=7019] ppid=7016 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6
/proc/7019/stat : 7019 (java) S 7016 7019 4518 0 -1 4202496 16653 0 1 0 179911 92 0 0 20 0 19 0 23198041 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140733809971136 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7019/statm: 2406260 52827 2284 9 0 2396937 0
[pid=7019/tid=7020] ppid=7016 vsize=9625040 CPUtime=1781.37 cores=0,2,4,6
/proc/7019/task/7020/stat : 7020 (java) R 7016 7019 4518 0 -1 4202560 2775 0 1 0 178095 42 0 0 20 0 19 0 23198042 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672957885664 140672812731047 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7019/tid=7022] ppid=7016 vsize=9625040 CPUtime=1.39 cores=0,2,4,6
/proc/7019/task/7022/stat : 7022 (java) S 7016 7019 4518 0 -1 4202560 416 0 0 0 132 7 0 0 20 0 19 0 23198042 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672801221288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7019/tid=7023] ppid=7016 vsize=9625040 CPUtime=1.55 cores=0,2,4,6
/proc/7019/task/7023/stat : 7023 (java) S 7016 7019 4518 0 -1 4202560 572 0 0 0 147 8 0 0 20 0 19 0 23198042 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672800168744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7019/tid=7024] ppid=7016 vsize=9625040 CPUtime=1.53 cores=0,2,4,6
/proc/7019/task/7024/stat : 7024 (java) S 7016 7019 4518 0 -1 4202560 532 0 0 0 144 9 0 0 20 0 19 0 23198042 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672799116200 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7019/tid=7025] ppid=7016 vsize=9625040 CPUtime=1.54 cores=0,2,4,6
/proc/7019/task/7025/stat : 7025 (java) S 7016 7019 4518 0 -1 4202560 401 0 0 0 147 7 0 0 20 0 19 0 23198042 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672798063656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7019/tid=7026] ppid=7016 vsize=9625040 CPUtime=1.49 cores=0,2,4,6
/proc/7019/task/7026/stat : 7026 (java) S 7016 7019 4518 0 -1 4202560 370 0 0 0 144 5 0 0 20 0 19 0 23198042 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672797010088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7027] ppid=7016 vsize=9625040 CPUtime=1.42 cores=0,2,4,6
/proc/7019/task/7027/stat : 7027 (java) S 7016 7019 4518 0 -1 4202560 569 0 0 0 136 6 0 0 20 0 19 0 23198042 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672459860264 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7028] ppid=7016 vsize=9625040 CPUtime=1.52 cores=0,2,4,6
/proc/7019/task/7028/stat : 7028 (java) S 7016 7019 4518 0 -1 4202560 572 0 0 0 144 8 0 0 20 0 19 0 23198042 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672458807720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7019/tid=7029] ppid=7016 vsize=9625040 CPUtime=1.53 cores=0,2,4,6
/proc/7019/task/7029/stat : 7029 (java) S 7016 7019 4518 0 -1 4202560 502 0 0 0 147 6 0 0 20 0 19 0 23198042 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672457755176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7030] ppid=7016 vsize=9625040 CPUtime=1.19 cores=0,2,4,6
/proc/7019/task/7030/stat : 7030 (java) S 7016 7019 4518 0 -1 4202560 248 0 0 0 115 4 0 0 20 0 19 0 23198044 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672445557352 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7031] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7031/stat : 7031 (java) S 7016 7019 4518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23198044 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672444503672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7032] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7032/stat : 7032 (java) S 7016 7019 4518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23198044 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672443451016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7033] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7033/stat : 7033 (java) S 7016 7019 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23198046 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672442399760 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7034] ppid=7016 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/7019/task/7034/stat : 7034 (java) S 7016 7019 4518 0 -1 4202560 1910 0 0 0 21 0 0 0 20 0 19 0 23198046 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672441346104 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7019/tid=7035] ppid=7016 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/7019/task/7035/stat : 7035 (java) S 7016 7019 4518 0 -1 4202560 6424 0 0 0 40 2 0 0 20 0 19 0 23198046 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672440293560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7019/tid=7036] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7036/stat : 7036 (java) S 7016 7019 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23198046 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672439241208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7019/tid=7037] ppid=7016 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/7019/task/7037/stat : 7037 (java) S 7016 7019 4518 0 -1 4202560 104 0 0 0 24 26 0 0 20 0 19 0 23198046 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672438188872 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7019/tid=7038] ppid=7016 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7019/task/7038/stat : 7038 (java) S 7016 7019 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23198059 9856040960 52827 33554432000 1073741824 1073778376 140733809980000 140672437036328 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1791.14
CPU time (s): 1800.03
CPU user time (s): 1799.11
CPU system time (s): 0.92
CPU usage (%): 100.496
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.56
system time used= 1.43978
maximum resident set size= 492916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16696
page faults= 1
swaps= 0
block input operations= 72
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47146
involuntary context switches= 40430

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.95949 second user time and 13.6479 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-18 02:58:36
IDJOB=4100237
IDBENCH=1590
IDSOLVER=2546
FILE ID=node134/4100237-1466211516
RUNJOBID= node134-1466206058-4534
PBS_JOBID= 19918143
Free space on /tmp= 71720 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-markshare2_1.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100237-1466211516/watcher-4100237-1466211516 -o /tmp/evaluation-result-4100237-1466211516/solver-4100237-1466211516 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466206058-4534 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4100237-1466211516.opb

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

MD5SUM BENCH= f3b3c7fec040599f5daa92cc157157c9
RANDOM SEED=1034146482

node134.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
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	: 7358.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
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		: 2667.020
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		: 2667.020
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		: 2667.020
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		: 2667.020
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:        30132380 kB
Buffers:           43828 kB
Cached:            77492 kB
SwapCached:         1008 kB
Active:           284252 kB
Inactive:          77808 kB
Active(anon):     241584 kB
Inactive(anon):     1580 kB
Active(file):      42668 kB
Inactive(file):    76228 kB
Unevictable:     1662508 kB
Mlocked:         1482636 kB
SwapTotal:      67108856 kB
SwapFree:       67100076 kB
Dirty:               812 kB
Writeback:             0 kB
AnonPages:       1925576 kB
Mapped:            15384 kB
Shmem:                 0 kB
Slab:             568668 kB
SReclaimable:      12616 kB
SUnreclaim:       556052 kB
KernelStack:        1784 kB
PageTables:         7892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2350860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    415744 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= 71708 MiB
End job on node134 at 2016-06-18 03:28:27