Trace number 4105517

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)8 1800.03 1797.55

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_10_15.r.opb
MD5SUM68c43c42d601fb3367802646c07cb8c3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark1.07583
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 8
Optimality of the best value was proved YES
Number of variables100
Total number of constraints50
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint15
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
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.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/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.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4105517-1466261481.opb
0.09/0.11	c reading problem ... 
0.09/0.11	c  objective function found
0.09/0.14	c ... done. Wall clock time 0.029s.
0.09/0.14	c declared #vars     100
0.09/0.14	c #constraints  50
0.09/0.14	c constraints type 
0.09/0.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 50
0.09/0.14	c 50 constraints processed.
0.09/0.14	c objective function length is 100 literals
0.09/0.15	c SATISFIABLE
0.09/0.15	c OPTIMIZING...
0.09/0.15	c Got one! Elapsed wall clock time (in seconds):0.034
0.09/0.15	o 12
0.09/0.15	c Got one! Elapsed wall clock time (in seconds):0.039
0.09/0.15	o 11
0.09/0.16	c Got one! Elapsed wall clock time (in seconds):0.042
0.09/0.16	o 10
0.66/0.43	c cleaning 2507 clauses out of 5014 with flag 12951/5014
1.13/0.62	c cleaning 4254 clauses out of 8507 with flag 28344/11014
1.33/0.87	c cleaning 5614 clauses out of 11255 with flag 46125/18016
1.64/1.17	c cleaning 6818 clauses out of 13639 with flag 66844/26014
1.64/1.19	c Got one! Elapsed wall clock time (in seconds):1.076
1.64/1.19	o 9
1.91/1.34	c cleaning 6234 clauses out of 12467 with flag 13603/31660
2.11/1.54	c cleaning 6112 clauses out of 12230 with flag 29242/37657
2.41/1.82	c cleaning 6558 clauses out of 13119 with flag 47262/44658
2.71/2.13	c cleaning 7280 clauses out of 14560 with flag 68018/52657
3.11/2.59	c cleaning 8140 clauses out of 16280 with flag 90847/61657
3.61/3.01	c cleaning 9068 clauses out of 18141 with flag 115899/71658
4.11/3.51	c cleaning 10035 clauses out of 20072 with flag 144865/82657
4.70/4.12	c cleaning 11002 clauses out of 22037 with flag 175020/94657
5.30/4.72	c cleaning 12015 clauses out of 24036 with flag 207856/107658
6.11/5.53	c cleaning 13013 clauses out of 26026 with flag 244136/121663
7.10/6.57	c cleaning 14003 clauses out of 28007 with flag 283071/136657
8.42/7.85	c cleaning 14998 clauses out of 30005 with flag 323942/152658
9.61/9.09	c cleaning 15999 clauses out of 32007 with flag 367114/169658
11.01/10.47	c cleaning 16999 clauses out of 34007 with flag 412793/187657
12.61/12.05	c cleaning 17993 clauses out of 36009 with flag 462996/206658
14.21/13.68	c cleaning 19005 clauses out of 38015 with flag 516074/226657
15.81/15.24	c cleaning 20005 clauses out of 40011 with flag 571643/247658
17.51/16.99	c cleaning 21000 clauses out of 42009 with flag 628492/269661
19.61/19.05	c cleaning 21994 clauses out of 44005 with flag 689295/292657
21.61/21.07	c cleaning 23004 clauses out of 46018 with flag 753113/316664
24.01/23.48	c cleaning 23994 clauses out of 48007 with flag 820189/341657
26.60/26.08	c cleaning 24993 clauses out of 50013 with flag 888848/367657
29.40/28.89	c cleaning 26002 clauses out of 52020 with flag 962065/394657
32.40/31.84	c cleaning 27004 clauses out of 54019 with flag 1038780/422658
35.50/34.96	c cleaning 28008 clauses out of 56018 with flag 1122074/451661
38.90/38.31	c cleaning 28990 clauses out of 58006 with flag 1199985/481657
43.00/42.42	c cleaning 30002 clauses out of 60016 with flag 1282518/512657
46.40/45.89	c cleaning 31001 clauses out of 62014 with flag 1369830/544657
50.21/49.64	c cleaning 31995 clauses out of 64013 with flag 1462035/577657
54.20/53.68	c cleaning 33002 clauses out of 66018 with flag 1556645/611657
58.70/58.14	c cleaning 33997 clauses out of 68016 with flag 1654783/646657
63.10/62.57	c cleaning 35006 clauses out of 70019 with flag 1757395/682657
68.00/67.44	c cleaning 36007 clauses out of 72016 with flag 1863336/719660
73.10/72.51	c cleaning 36997 clauses out of 74006 with flag 1963945/757657
78.70/78.12	c cleaning 38001 clauses out of 76009 with flag 2064624/796657
84.61/84.01	c cleaning 39005 clauses out of 78010 with flag 2168258/836659
90.40/89.83	c cleaning 39994 clauses out of 80005 with flag 2278332/877659
96.50/95.98	c cleaning 40993 clauses out of 82009 with flag 2389998/919657
102.80/102.22	c cleaning 42011 clauses out of 84021 with flag 2507962/962662
108.85/108.23	c cleaning 43002 clauses out of 86008 with flag 2631019/1006660
115.25/114.68	c cleaning 44002 clauses out of 88004 with flag 2758920/1051658
122.35/121.79	c cleaning 44993 clauses out of 90004 with flag 2890123/1097660
130.25/129.62	c cleaning 45997 clauses out of 92009 with flag 3026582/1144658
138.35/137.71	c cleaning 46999 clauses out of 94012 with flag 3156396/1192658
146.44/145.86	c cleaning 47993 clauses out of 96012 with flag 3286126/1241657
155.24/154.69	c cleaning 49003 clauses out of 98019 with flag 3425927/1291657
165.44/164.89	c cleaning 50008 clauses out of 100022 with flag 3562704/1342663
175.84/175.25	c cleaning 50997 clauses out of 102009 with flag 3708334/1394658
184.95/184.37	c cleaning 52005 clauses out of 104014 with flag 3858645/1447660
195.75/195.18	c cleaning 53002 clauses out of 106009 with flag 4007794/1501660
206.55/205.98	c cleaning 54000 clauses out of 108004 with flag 4153794/1556657
219.15/218.56	c cleaning 54990 clauses out of 110005 with flag 4301532/1612658
230.45/229.90	c cleaning 55998 clauses out of 112014 with flag 4454581/1669657
236.85/236.28	c Got one! Elapsed wall clock time (in seconds):236.163
236.85/236.28	o 8
238.05/237.46	c cleaning 49666 clauses out of 99349 with flag 13674/1712990
238.67/238.03	c cleaning 27829 clauses out of 55684 with flag 29025/1718991
239.07/238.42	c cleaning 17419 clauses out of 34856 with flag 47219/1725992
239.38/238.79	c cleaning 12712 clauses out of 25436 with flag 67708/1733991
239.77/239.14	c cleaning 10858 clauses out of 21724 with flag 91079/1742991
240.17/239.50	c cleaning 10428 clauses out of 20867 with flag 116384/1752992
240.58/239.92	c cleaning 10717 clauses out of 21440 with flag 145871/1763993
241.07/240.44	c cleaning 11357 clauses out of 22721 with flag 177324/1775991
241.58/240.99	c cleaning 12171 clauses out of 24365 with flag 211621/1788992
242.17/241.59	c cleaning 13085 clauses out of 26192 with flag 248584/1802990
242.97/242.37	c cleaning 14041 clauses out of 28107 with flag 286929/1817990
243.77/243.17	c cleaning 15031 clauses out of 30066 with flag 327899/1833990
244.77/244.15	c cleaning 16017 clauses out of 32035 with flag 371410/1850990
245.78/245.11	c cleaning 17007 clauses out of 34018 with flag 418410/1868990
246.88/246.27	c cleaning 17996 clauses out of 36012 with flag 471762/1887991
248.18/247.60	c cleaning 19005 clauses out of 38015 with flag 526690/1907990
249.48/248.84	c cleaning 19993 clauses out of 40010 with flag 582013/1928990
250.98/250.38	c cleaning 20995 clauses out of 42017 with flag 642841/1950990
252.58/251.96	c cleaning 22005 clauses out of 44022 with flag 703310/1973990
254.38/253.74	c cleaning 23003 clauses out of 46017 with flag 769612/1997990
256.08/255.49	c cleaning 24004 clauses out of 48015 with flag 836153/2022991
258.20/257.53	c cleaning 24997 clauses out of 50011 with flag 908986/2048991
260.49/259.85	c cleaning 26004 clauses out of 52013 with flag 986241/2075990
262.99/262.33	c cleaning 26995 clauses out of 54011 with flag 1066652/2103992
265.59/264.94	c cleaning 28004 clauses out of 56014 with flag 1148368/2132990
268.39/267.75	c cleaning 29003 clauses out of 58013 with flag 1233230/2162993
271.30/270.68	c cleaning 29999 clauses out of 60007 with flag 1322201/2193990
274.60/273.91	c cleaning 30994 clauses out of 62008 with flag 1412633/2225990
277.90/277.29	c cleaning 32000 clauses out of 64015 with flag 1502877/2258991
281.60/280.84	c cleaning 33000 clauses out of 66017 with flag 1592018/2292993
285.77/284.74	c cleaning 34007 clauses out of 68015 with flag 1685097/2327991
289.87/288.87	c cleaning 34998 clauses out of 70008 with flag 1779750/2363991
294.37/293.37	c cleaning 35998 clauses out of 72009 with flag 1879633/2400990
299.28/298.23	c cleaning 36999 clauses out of 74014 with flag 1982017/2438993
304.17/303.16	c cleaning 37995 clauses out of 76012 with flag 2085328/2477990
308.77/307.76	c cleaning 39002 clauses out of 78017 with flag 2193583/2517990
314.37/313.37	c cleaning 40006 clauses out of 80019 with flag 2303136/2558994
320.57/319.50	c cleaning 40996 clauses out of 82009 with flag 2413403/2600990
326.17/325.12	c cleaning 41993 clauses out of 84013 with flag 2524905/2643990
332.47/331.44	c cleaning 43008 clauses out of 86020 with flag 2638849/2687990
338.68/337.67	c cleaning 43996 clauses out of 88014 with flag 2758140/2732992
345.49/344.43	c cleaning 45006 clauses out of 90017 with flag 2881515/2778991
352.58/351.56	c cleaning 45997 clauses out of 92010 with flag 3014057/2825990
359.79/358.79	c cleaning 47003 clauses out of 94015 with flag 3152806/2873992
367.08/366.06	c cleaning 47998 clauses out of 96011 with flag 3293911/2922991
374.58/373.57	c cleaning 48995 clauses out of 98015 with flag 3431865/2972993
382.18/381.12	c cleaning 50009 clauses out of 100018 with flag 3568444/3023991
389.58/388.50	c cleaning 50994 clauses out of 102008 with flag 3716198/3075990
396.70/395.61	c cleaning 52002 clauses out of 104015 with flag 3865576/3128991
403.80/402.71	c cleaning 53003 clauses out of 106014 with flag 4011880/3182992
411.60/410.57	c cleaning 53998 clauses out of 108009 with flag 4151975/3237990
420.01/418.98	c cleaning 54997 clauses out of 110011 with flag 4296893/3293990
428.90/427.88	c cleaning 56000 clauses out of 112014 with flag 4442076/3350990
438.00/436.99	c cleaning 57007 clauses out of 114020 with flag 4591288/3408996
446.50/445.45	c cleaning 57997 clauses out of 116007 with flag 4753721/3467990
456.11/455.01	c cleaning 59002 clauses out of 118011 with flag 4911418/3527991
466.02/464.98	c cleaning 59993 clauses out of 120008 with flag 5076312/3588990
476.12/475.07	c cleaning 60995 clauses out of 122015 with flag 5246628/3650990
486.82/485.78	c cleaning 62005 clauses out of 124020 with flag 5416334/3713990
497.61/496.53	c cleaning 62995 clauses out of 126015 with flag 5586538/3777990
508.41/507.35	c cleaning 63991 clauses out of 128021 with flag 5761607/3842991
520.21/519.13	c cleaning 64998 clauses out of 130029 with flag 5938768/3908990
531.92/530.87	c cleaning 66006 clauses out of 132031 with flag 6118872/3975990
544.42/543.32	c cleaning 67008 clauses out of 134025 with flag 6311092/4043990
557.12/556.02	c cleaning 68005 clauses out of 136017 with flag 6500748/4112990
569.07/567.99	c cleaning 69003 clauses out of 138013 with flag 6694266/4182991
581.48/580.33	c cleaning 69994 clauses out of 140009 with flag 6889242/4253990
594.47/592.97	c cleaning 71001 clauses out of 142016 with flag 7092118/4325991
607.84/605.99	c cleaning 72005 clauses out of 144018 with flag 7294554/4398994
621.75/619.86	c cleaning 72999 clauses out of 146009 with flag 7502398/4472990
635.15/633.21	c cleaning 73999 clauses out of 148012 with flag 7702497/4547992
650.15/648.28	c cleaning 74997 clauses out of 150011 with flag 7900548/4623990
664.16/662.25	c cleaning 76003 clauses out of 152014 with flag 8117476/4700990
679.15/677.20	c cleaning 77000 clauses out of 154011 with flag 8334838/4778990
693.75/691.83	c cleaning 78001 clauses out of 156012 with flag 8552040/4857991
709.36/707.47	c cleaning 78996 clauses out of 158010 with flag 8773138/4937990
725.66/723.77	c cleaning 80009 clauses out of 160020 with flag 8996380/5018996
740.86/738.91	c cleaning 81004 clauses out of 162011 with flag 9219353/5100996
757.96/756.00	c cleaning 81997 clauses out of 164001 with flag 9444517/5183990
774.65/772.67	c cleaning 82998 clauses out of 166006 with flag 9677232/5267992
790.86/788.84	c cleaning 84001 clauses out of 168007 with flag 9922380/5352991
807.56/805.51	c cleaning 85002 clauses out of 170013 with flag 10168231/5438998
825.46/823.43	c cleaning 85994 clauses out of 172003 with flag 10406735/5525990
842.96/840.92	c cleaning 87000 clauses out of 174010 with flag 10657362/5613991
861.56/859.55	c cleaning 87999 clauses out of 176009 with flag 10922852/5702990
880.36/878.38	c cleaning 88995 clauses out of 178010 with flag 11178528/5792990
901.07/899.02	c cleaning 89994 clauses out of 180015 with flag 11432191/5883990
922.37/920.32	c cleaning 91005 clauses out of 182021 with flag 11674609/5975990
942.07/940.09	c cleaning 92007 clauses out of 184016 with flag 11928892/6068990
963.87/961.89	c cleaning 93003 clauses out of 186009 with flag 12192093/6162990
984.68/982.69	c cleaning 93996 clauses out of 188008 with flag 12459626/6257992
1004.73/1002.65	c cleaning 94995 clauses out of 190010 with flag 12730993/6353990
1023.64/1021.56	c cleaning 96005 clauses out of 192016 with flag 12996390/6450991
1044.75/1042.67	c cleaning 96997 clauses out of 194010 with flag 13257486/6548990
1064.85/1062.75	c cleaning 97998 clauses out of 196013 with flag 13527783/6647990
1086.55/1084.49	c cleaning 99002 clauses out of 198015 with flag 13801334/6747990
1108.95/1106.80	c cleaning 100004 clauses out of 200014 with flag 14084566/6848991
1132.66/1130.59	c cleaning 101003 clauses out of 202010 with flag 14367642/6950991
1156.56/1154.43	c cleaning 101996 clauses out of 204005 with flag 14639909/7053990
1184.68/1182.51	c cleaning 102999 clauses out of 206010 with flag 14932401/7157991
1214.27/1212.01	c cleaning 104000 clauses out of 208011 with flag 15222776/7262991
1240.99/1238.75	c cleaning 105001 clauses out of 210010 with flag 15512931/7368990
1269.49/1267.24	c cleaning 106000 clauses out of 212009 with flag 15810095/7475990
1298.20/1295.94	c cleaning 106997 clauses out of 214013 with flag 16098094/7583994
1326.39/1324.14	c cleaning 107999 clauses out of 216015 with flag 16394783/7692993
1353.40/1351.19	c cleaning 109005 clauses out of 218014 with flag 16690750/7802991
1382.00/1379.72	c cleaning 110002 clauses out of 220008 with flag 16995194/7913990
1413.20/1410.94	c cleaning 111000 clauses out of 222008 with flag 17318508/8025992
1443.00/1440.74	c cleaning 111994 clauses out of 224006 with flag 17638127/8138990
1474.91/1472.58	c cleaning 112999 clauses out of 226011 with flag 17947132/8252990
1507.21/1504.84	c cleaning 114005 clauses out of 228014 with flag 18258636/8367992
1544.32/1541.91	c cleaning 114994 clauses out of 230007 with flag 18580299/8483990
1582.61/1580.24	c cleaning 116004 clauses out of 232015 with flag 18897995/8600992
1620.12/1617.79	c cleaning 116996 clauses out of 234011 with flag 19227377/8718992
1656.14/1653.79	c cleaning 118001 clauses out of 236013 with flag 19558056/8837990
1697.83/1695.47	c cleaning 118999 clauses out of 238012 with flag 19880337/8957990
1736.53/1734.15	c cleaning 119995 clauses out of 240014 with flag 20205378/9078991
1775.94/1773.53	c cleaning 121005 clauses out of 242018 with flag 20522612/9200990
1800.03/1797.51	c starts		: 4309
1800.03/1797.51	c conflicts		: 9286268
1800.03/1797.51	c decisions		: 19773549
1800.03/1797.51	c propagations		: 128986055
1800.03/1797.51	c inspects		: 42028795492
1800.03/1797.51	c shortcuts		: 0
1800.03/1797.51	c learnt literals	: 2
1800.03/1797.51	c learnt binary clauses	: 13
1800.03/1797.51	c learnt ternary clauses	: 68
1800.03/1797.51	c learnt constraints	: 9286266
1800.03/1797.51	c ignored constraints	: 0
1800.03/1797.51	c root simplifications	: 0
1800.03/1797.51	c removed literals (reason simplification)	: 0
1800.03/1797.51	c reason swapping (by a shorter reason)	: 0
1800.03/1797.51	c Calls to reduceDB	: 175
1800.03/1797.51	c Number of update (reduction) of LBD	: 2187665
1800.03/1797.51	c Imported unit clauses	: 0
1800.03/1797.51	c number of reductions to clauses (during analyze)	: 0
1800.03/1797.51	c number of learned constraints concerned by reduction	: 0
1800.03/1797.51	c number of learning phase by resolution	: 0
1800.03/1797.51	c number of learning phase by cutting planes	: 0
1800.03/1797.51	c speed (assignments/second)	: 71763.97949220108
1800.03/1797.51	c non guided choices	0
1800.03/1797.54	c learnt constraints type 
1800.03/1797.54	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 13
1800.03/1797.54	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 206279
1800.03/1797.54	s SATISFIABLE
1800.03/1797.54	c Found 5 solution(s)
1800.03/1797.54	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 
1800.03/1797.54	c objective function=8
1800.03/1797.54	c Total wall clock time (in seconds): 1797.429

Verifier Data 

OK	8

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-4105517-1466261481/watcher-4105517-1466261481 -o /tmp/evaluation-result-4105517-1466261481/solver-4105517-1466261481 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466259510-25911 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4105517-1466261481.opb 

pid=26204
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.16 2.18 2.29 4/194 26207
/proc/meminfo: memFree=30310692/32872528 swapFree=1191052/1305516
[pid=26207] ppid=26204 vsize=9212 CPUtime=0 cores=0,2,4,6
/proc/26207/stat : 26207 (java) R 26204 26207 20157 0 -1 4202496 389 0 0 0 0 0 0 0 20 0 1 0 28194744 9433088 59 33554432000 1073741824 1073778376 140736016346256 140736016343384 214528257834 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26207/statm: 2304 68 54 9 0 36 0

[startup+0.100061 s]
/proc/loadavg: 2.16 2.18 2.29 4/194 26207
/proc/meminfo: memFree=30310692/32872528 swapFree=1191052/1305516
[pid=26207] ppid=26204 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/26207/stat : 26207 (java) S 26204 26207 20157 0 -1 4202496 4402 0 1 0 8 1 0 0 20 0 18 0 28194744 9787879424 6024 33554432000 1073741824 1073778376 140736016346256 140736016337392 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26207/statm: 2389619 6024 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200219 s]
/proc/loadavg: 2.16 2.18 2.29 4/194 26207
/proc/meminfo: memFree=30310692/32872528 swapFree=1191052/1305516
[pid=26207] ppid=26204 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/26207/stat : 26207 (java) S 26204 26207 20157 0 -1 4202496 6822 0 1 0 27 1 0 0 20 0 19 0 28194744 9856040960 7795 33554432000 1073741824 1073778376 140736016346256 140736016337392 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26207/statm: 2406260 7795 2228 9 0 2396937 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9625040

[startup+0.300229 s]
/proc/loadavg: 2.16 2.18 2.29 4/194 26207
/proc/meminfo: memFree=30310692/32872528 swapFree=1191052/1305516
[pid=26207] ppid=26204 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/26207/stat : 26207 (java) S 26204 26207 20157 0 -1 4202496 7644 0 1 0 51 1 0 0 20 0 19 0 28194744 9856040960 8403 33554432000 1073741824 1073778376 140736016346256 140736016337392 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26207/statm: 2406260 8403 2238 9 0 2396937 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9625040

[startup+0.700172 s]
/proc/loadavg: 2.16 2.18 2.29 4/194 26207
/proc/meminfo: memFree=30310692/32872528 swapFree=1191052/1305516
[pid=26207] ppid=26204 vsize=9625040 CPUtime=1.23 cores=0,2,4,6
/proc/26207/stat : 26207 (java) S 26204 26207 20157 0 -1 4202496 14997 0 1 0 120 3 0 0 20 0 19 0 28194744 9856040960 13475 33554432000 1073741824 1073778376 140736016346256 140736016337392 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26207/statm: 2406260 13475 2248 9 0 2396937 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 9625040

[startup+1.50072 s]
/proc/loadavg: 2.16 2.18 2.29 4/213 26226
/proc/meminfo: memFree=30262748/32872528 swapFree=1191052/1305516
[pid=26207] ppid=26204 vsize=9625040 CPUtime=2.11 cores=0,2,4,6
/proc/26207/stat : 26207 (java) S 26204 26207 20157 0 -1 4202496 15865 0 1 0 208 3 0 0 20 0 19 0 28194744 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140736016337392 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26207/statm: 2406260 14745 2250 9 0 2396937 0
[pid=26207/tid=26209] ppid=26204 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/26207/task/26209/stat : 26209 (java) R 26204 26207 20157 0 -1 4202560 2415 0 1 0 144 1 0 0 20 0 19 0 28194745 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140018264432352 140018098590011 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=26207/tid=26210] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26210/stat : 26210 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140018225932456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26211] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26211/stat : 26211 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140018224879912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26207/tid=26212] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26212/stat : 26212 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140018223827368 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26207/tid=26213] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26213/stat : 26213 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140018222774824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26214] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26214/stat : 26214 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140018221722280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26207/tid=26215] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26215/stat : 26215 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140018220669736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26216] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26216/stat : 26216 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140018219617192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26207/tid=26217] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26217/stat : 26217 (java) S 26204 26207 20157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140018218564648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26218] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26218/stat : 26218 (java) S 26204 26207 20157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28194747 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140018088630376 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26219] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26219/stat : 26219 (java) S 26204 26207 20157 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28194747 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140018087576696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26220] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26220/stat : 26220 (java) S 26204 26207 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28194747 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140018086524040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26221] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26221/stat : 26221 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194750 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140018085472784 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26222] ppid=26204 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/26207/task/26222/stat : 26222 (java) S 26204 26207 20157 0 -1 4202560 3558 0 0 0 27 0 0 0 20 0 19 0 28194750 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140018084420152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26223] ppid=26204 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/26207/task/26223/stat : 26223 (java) S 26204 26207 20157 0 -1 4202560 8621 0 0 0 32 2 0 0 20 0 19 0 28194750 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140018083367608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26207/tid=26224] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26224/stat : 26224 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194750 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140017208912888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26207/tid=26225] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26225/stat : 26225 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194750 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140017207860552 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26207/tid=26226] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26226/stat : 26226 (java) S 26204 26207 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28194759 9856040960 14745 33554432000 1073741824 1073778376 140736016346256 140017206805288 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 9625040

[startup+3.10071 s]
/proc/loadavg: 2.16 2.18 2.29 4/213 26226
/proc/meminfo: memFree=30257240/32872528 swapFree=1191052/1305516
[pid=26207] ppid=26204 vsize=9625040 CPUtime=3.71 cores=0,2,4,6
/proc/26207/stat : 26207 (java) S 26204 26207 20157 0 -1 4202496 15868 0 1 0 368 3 0 0 20 0 19 0 28194744 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140736016337392 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26207/statm: 2406260 15769 2250 9 0 2396937 0
[pid=26207/tid=26209] ppid=26204 vsize=9625040 CPUtime=3.04 cores=0,2,4,6
/proc/26207/task/26209/stat : 26209 (java) R 26204 26207 20157 0 -1 4202560 2418 0 1 0 303 1 0 0 20 0 19 0 28194745 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140018264432352 140018098565112 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26210] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26210/stat : 26210 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140018225932456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26211] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26211/stat : 26211 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140018224879912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26207/tid=26212] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26212/stat : 26212 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140018223827368 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26207/tid=26213] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26213/stat : 26213 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140018222774824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26214] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26214/stat : 26214 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140018221722280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26207/tid=26215] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26215/stat : 26215 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140018220669736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26216] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26216/stat : 26216 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140018219617192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26207/tid=26217] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26217/stat : 26217 (java) S 26204 26207 20157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140018218564648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26218] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26218/stat : 26218 (java) S 26204 26207 20157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28194747 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140018088630376 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26219] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26219/stat : 26219 (java) S 26204 26207 20157 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28194747 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140018087576696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26220] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26220/stat : 26220 (java) S 26204 26207 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28194747 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140018086524040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26221] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26221/stat : 26221 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194750 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140018085472784 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26222] ppid=26204 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/26207/task/26222/stat : 26222 (java) S 26204 26207 20157 0 -1 4202560 3558 0 0 0 27 0 0 0 20 0 19 0 28194750 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140018084420152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26223] ppid=26204 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/26207/task/26223/stat : 26223 (java) S 26204 26207 20157 0 -1 4202560 8621 0 0 0 32 2 0 0 20 0 19 0 28194750 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140018083367608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26207/tid=26224] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26224/stat : 26224 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194750 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140017208912888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26207/tid=26225] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26225/stat : 26225 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194750 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140017207860552 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26207/tid=26226] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26226/stat : 26226 (java) S 26204 26207 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28194759 9856040960 15769 33554432000 1073741824 1073778376 140736016346256 140017206805288 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.71
Current children cumulated vsize (KiB) 9625040

[startup+6.30074 s]
/proc/loadavg: 2.22 2.20 2.30 3/212 26226
/proc/meminfo: memFree=30249200/32872528 swapFree=1191052/1305516
[pid=26207] ppid=26204 vsize=9625040 CPUtime=6.9 cores=0,2,4,6
/proc/26207/stat : 26207 (java) S 26204 26207 20157 0 -1 4202496 15874 0 1 0 687 3 0 0 20 0 19 0 28194744 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140736016337392 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26207/statm: 2406260 17489 2251 9 0 2396937 0
[pid=26207/tid=26209] ppid=26204 vsize=9625040 CPUtime=6.22 cores=0,2,4,6
/proc/26207/task/26209/stat : 26209 (java) R 26204 26207 20157 0 -1 4202560 2423 0 1 0 621 1 0 0 20 0 19 0 28194745 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140018264432336 140018098555901 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26210] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26210/stat : 26210 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140018225932456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26211] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26211/stat : 26211 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140018224879912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26207/tid=26212] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26212/stat : 26212 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140018223827368 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26207/tid=26213] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26213/stat : 26213 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140018222774824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26214] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26214/stat : 26214 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140018221722280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26207/tid=26215] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26215/stat : 26215 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140018220669736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26216] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26216/stat : 26216 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140018219617192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26207/tid=26217] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26217/stat : 26217 (java) S 26204 26207 20157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28194746 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140018218564648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26218] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26218/stat : 26218 (java) S 26204 26207 20157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28194747 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140018088630376 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26219] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26219/stat : 26219 (java) S 26204 26207 20157 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28194747 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140018087576696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26220] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26220/stat : 26220 (java) S 26204 26207 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28194747 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140018086524040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26221] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26221/stat : 26221 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194750 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140018085472784 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26222] ppid=26204 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/26207/task/26222/stat : 26222 (java) S 26204 26207 20157 0 -1 4202560 3558 0 0 0 27 0 0 0 20 0 19 0 28194750 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140018084420152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26223] ppid=26204 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/26207/task/26223/stat : 26223 (java) S 26204 26207 20157 0 -1 4202560 8621 0 0 0 32 2 0 0 20 0 19 0 28194750 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140018083367608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26207/tid=26224] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26224/stat : 26224 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194750 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140017208912888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26207/tid=26225] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26225/stat : 26225 (java) S 26204 26207 20157 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 28194750 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140017207860552 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26207/tid=26226] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26226/stat : 26226 (java) S 26204 26207 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28194759 9856040960 17489 33554432000 1073741824 1073778376 140736016346256 140017206805288 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.9
Current children cumulated vsize (KiB) 9625040


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

[pid=26207/tid=26226] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26226/stat : 26226 (java) S 26204 26207 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28194759 9856040960 65907 33554432000 1073741824 1073778376 140736016346256 140017206805288 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1724.73
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.47 2.24 2.18 4/213 26553
/proc/meminfo: memFree=28008320/32872528 swapFree=1191052/1305516
[pid=26207] ppid=26204 vsize=9625040 CPUtime=1784.83 cores=0,2,4,6
/proc/26207/stat : 26207 (java) S 26204 26207 20157 0 -1 4202496 19681 0 1 0 178447 36 0 0 20 0 19 0 28194744 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140736016337392 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26207/statm: 2406260 67271 2272 9 0 2396937 0
[pid=26207/tid=26209] ppid=26204 vsize=9625040 CPUtime=1777.47 cores=0,2,4,6
/proc/26207/task/26209/stat : 26209 (java) R 26204 26207 20157 0 -1 4202560 2501 0 1 0 177718 29 0 0 20 0 19 0 28194745 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018264440032 140018098590034 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26207/tid=26210] ppid=26204 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/26207/task/26210/stat : 26210 (java) S 26204 26207 20157 0 -1 4202560 20 0 0 0 6 0 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018225932456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26207/tid=26211] ppid=26204 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/26207/task/26211/stat : 26211 (java) S 26204 26207 20157 0 -1 4202560 10 0 0 0 4 0 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018224879912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26207/tid=26212] ppid=26204 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/26207/task/26212/stat : 26212 (java) S 26204 26207 20157 0 -1 4202560 77 0 0 0 8 1 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018223827368 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26207/tid=26213] ppid=26204 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/26207/task/26213/stat : 26213 (java) S 26204 26207 20157 0 -1 4202560 34 0 0 0 6 1 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018222774824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26207/tid=26214] ppid=26204 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/26207/task/26214/stat : 26214 (java) S 26204 26207 20157 0 -1 4202560 78 0 0 0 8 2 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018221722280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26207/tid=26215] ppid=26204 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/26207/task/26215/stat : 26215 (java) S 26204 26207 20157 0 -1 4202560 19 0 0 0 10 0 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018220669736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26207/tid=26216] ppid=26204 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/26207/task/26216/stat : 26216 (java) S 26204 26207 20157 0 -1 4202560 42 0 0 0 10 1 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018219617192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26217] ppid=26204 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/26207/task/26217/stat : 26217 (java) S 26204 26207 20157 0 -1 4202560 42 0 0 0 9 0 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018218564648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26207/tid=26218] ppid=26204 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/26207/task/26218/stat : 26218 (java) S 26204 26207 20157 0 -1 4202560 38 0 0 0 0 2 0 0 20 0 19 0 28194747 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018088630376 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26219] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26219/stat : 26219 (java) S 26204 26207 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28194747 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018087576696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26220] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26220/stat : 26220 (java) S 26204 26207 20157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28194747 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018086524040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26221] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26221/stat : 26221 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194750 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018085472784 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26222] ppid=26204 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/26207/task/26222/stat : 26222 (java) S 26204 26207 20157 0 -1 4202560 3578 0 0 0 32 0 0 0 20 0 19 0 28194750 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018084420152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26207/tid=26223] ppid=26204 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/26207/task/26223/stat : 26223 (java) S 26204 26207 20157 0 -1 4202560 11879 0 0 0 144 2 0 0 20 0 19 0 28194750 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018083367608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26207/tid=26224] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26224/stat : 26224 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194750 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140017208912888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26207/tid=26225] ppid=26204 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/26207/task/26225/stat : 26225 (java) S 26204 26207 20157 0 -1 4202560 104 0 0 0 29 30 0 0 20 0 19 0 28194750 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140017207860552 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26226] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26226/stat : 26226 (java) S 26204 26207 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28194759 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140017206805288 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1784.83
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.51 s]
/proc/loadavg: 2.36 2.23 2.17 3/213 26554
/proc/meminfo: memFree=27967764/32872528 swapFree=1191052/1305516
[pid=26207] ppid=26204 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6
/proc/26207/stat : 26207 (java) S 26204 26207 20157 0 -1 4202496 19681 0 1 0 179967 36 0 0 20 0 19 0 28194744 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140736016337392 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26207/statm: 2406260 67271 2272 9 0 2396937 0
[pid=26207/tid=26209] ppid=26204 vsize=9625040 CPUtime=1792.64 cores=0,2,4,6
/proc/26207/task/26209/stat : 26209 (java) R 26204 26207 20157 0 -1 4202560 2501 0 1 0 179235 29 0 0 20 0 19 0 28194745 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018264440032 140018098590034 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26207/tid=26210] ppid=26204 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/26207/task/26210/stat : 26210 (java) S 26204 26207 20157 0 -1 4202560 20 0 0 0 6 0 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018225932456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26207/tid=26211] ppid=26204 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/26207/task/26211/stat : 26211 (java) S 26204 26207 20157 0 -1 4202560 10 0 0 0 4 0 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018224879912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26207/tid=26212] ppid=26204 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/26207/task/26212/stat : 26212 (java) S 26204 26207 20157 0 -1 4202560 77 0 0 0 8 1 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018223827368 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26207/tid=26213] ppid=26204 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/26207/task/26213/stat : 26213 (java) S 26204 26207 20157 0 -1 4202560 34 0 0 0 6 1 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018222774824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26207/tid=26214] ppid=26204 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/26207/task/26214/stat : 26214 (java) S 26204 26207 20157 0 -1 4202560 78 0 0 0 8 2 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018221722280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26207/tid=26215] ppid=26204 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/26207/task/26215/stat : 26215 (java) S 26204 26207 20157 0 -1 4202560 19 0 0 0 10 0 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018220669736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26207/tid=26216] ppid=26204 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/26207/task/26216/stat : 26216 (java) S 26204 26207 20157 0 -1 4202560 42 0 0 0 10 1 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018219617192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26217] ppid=26204 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/26207/task/26217/stat : 26217 (java) S 26204 26207 20157 0 -1 4202560 42 0 0 0 9 0 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018218564648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26207/tid=26218] ppid=26204 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/26207/task/26218/stat : 26218 (java) S 26204 26207 20157 0 -1 4202560 38 0 0 0 0 2 0 0 20 0 19 0 28194747 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018088630376 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26219] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26219/stat : 26219 (java) S 26204 26207 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28194747 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018087576696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26220] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26220/stat : 26220 (java) S 26204 26207 20157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28194747 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018086524040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26221] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26221/stat : 26221 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194750 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018085472784 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26222] ppid=26204 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/26207/task/26222/stat : 26222 (java) S 26204 26207 20157 0 -1 4202560 3578 0 0 0 32 0 0 0 20 0 19 0 28194750 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018084420152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26207/tid=26223] ppid=26204 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/26207/task/26223/stat : 26223 (java) S 26204 26207 20157 0 -1 4202560 11879 0 0 0 144 2 0 0 20 0 19 0 28194750 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018083367608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26207/tid=26224] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26224/stat : 26224 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194750 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140017208912888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26207/tid=26225] ppid=26204 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/26207/task/26225/stat : 26225 (java) S 26204 26207 20157 0 -1 4202560 104 0 0 0 30 30 0 0 20 0 19 0 28194750 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140017207860552 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26226] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26226/stat : 26226 (java) S 26204 26207 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28194759 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140017206805288 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 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 26207 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1797.51 s]
/proc/loadavg: 2.36 2.23 2.17 3/213 26554
/proc/meminfo: memFree=27967764/32872528 swapFree=1191052/1305516
[pid=26207] ppid=26204 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6
/proc/26207/stat : 26207 (java) S 26204 26207 20157 0 -1 4202496 19681 0 1 0 179967 36 0 0 20 0 19 0 28194744 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140736016337392 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26207/statm: 2406260 67271 2272 9 0 2396937 0
[pid=26207/tid=26209] ppid=26204 vsize=9625040 CPUtime=1792.64 cores=0,2,4,6
/proc/26207/task/26209/stat : 26209 (java) R 26204 26207 20157 0 -1 4202560 2501 0 1 0 179235 29 0 0 20 0 19 0 28194745 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018264440032 140018098590034 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26207/tid=26210] ppid=26204 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/26207/task/26210/stat : 26210 (java) S 26204 26207 20157 0 -1 4202560 20 0 0 0 6 0 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018225932456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26207/tid=26211] ppid=26204 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/26207/task/26211/stat : 26211 (java) S 26204 26207 20157 0 -1 4202560 10 0 0 0 4 0 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018224879912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26207/tid=26212] ppid=26204 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/26207/task/26212/stat : 26212 (java) S 26204 26207 20157 0 -1 4202560 77 0 0 0 8 1 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018223827368 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26207/tid=26213] ppid=26204 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/26207/task/26213/stat : 26213 (java) S 26204 26207 20157 0 -1 4202560 34 0 0 0 6 1 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018222774824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26207/tid=26214] ppid=26204 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/26207/task/26214/stat : 26214 (java) S 26204 26207 20157 0 -1 4202560 78 0 0 0 8 2 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018221722280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26207/tid=26215] ppid=26204 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/26207/task/26215/stat : 26215 (java) S 26204 26207 20157 0 -1 4202560 19 0 0 0 10 0 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018220669736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26207/tid=26216] ppid=26204 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/26207/task/26216/stat : 26216 (java) S 26204 26207 20157 0 -1 4202560 42 0 0 0 10 1 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018219617192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26217] ppid=26204 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/26207/task/26217/stat : 26217 (java) S 26204 26207 20157 0 -1 4202560 42 0 0 0 9 0 0 0 20 0 19 0 28194746 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018218564648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26207/tid=26218] ppid=26204 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/26207/task/26218/stat : 26218 (java) S 26204 26207 20157 0 -1 4202560 38 0 0 0 0 2 0 0 20 0 19 0 28194747 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018088630376 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26219] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26219/stat : 26219 (java) S 26204 26207 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28194747 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018087576696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26220] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26220/stat : 26220 (java) S 26204 26207 20157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28194747 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018086524040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26221] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26221/stat : 26221 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194750 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018085472784 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26222] ppid=26204 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/26207/task/26222/stat : 26222 (java) S 26204 26207 20157 0 -1 4202560 3578 0 0 0 32 0 0 0 20 0 19 0 28194750 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018084420152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26207/tid=26223] ppid=26204 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/26207/task/26223/stat : 26223 (java) S 26204 26207 20157 0 -1 4202560 11879 0 0 0 144 2 0 0 20 0 19 0 28194750 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140018083367608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26207/tid=26224] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26224/stat : 26224 (java) S 26204 26207 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28194750 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140017208912888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26207/tid=26225] ppid=26204 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/26207/task/26225/stat : 26225 (java) S 26204 26207 20157 0 -1 4202560 104 0 0 0 30 30 0 0 20 0 19 0 28194750 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140017207860552 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26207/tid=26226] ppid=26204 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26207/task/26226/stat : 26226 (java) S 26204 26207 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28194759 9856040960 67271 33554432000 1073741824 1073778376 140736016346256 140017206805288 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 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 26207 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=229083
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=819875
# CPU time returned by wait4() is 1796.05
# 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): 1797.55
CPU time (s): 1800.03
CPU user time (s): 1799.67
CPU system time (s): 0.36
CPU usage (%): 100.138
Max. virtual memory (cumulated for all children) (KiB): 9626688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.23
system time used= 0.819875
maximum resident set size= 269256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19729
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38272
involuntary context switches= 3553

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.8432 second user time and 11.9642 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 16:51:21
IDJOB=4105517
IDBENCH=2885
IDSOLVER=2546
FILE ID=node127/4105517-1466261481
RUNJOBID= node127-1466259510-25911
PBS_JOBID= 19918213
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m50_100_10_15.r.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105517-1466261481/watcher-4105517-1466261481 -o /tmp/evaluation-result-4105517-1466261481/solver-4105517-1466261481 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466259510-25911 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4105517-1466261481.opb

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

MD5SUM BENCH= 68c43c42d601fb3367802646c07cb8c3
RANDOM SEED=266251775

node127.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.769
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.53
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.769
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.769
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.769
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.56
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.769
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.769
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.769
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.56
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.769
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:        30310608 kB
Buffers:           76540 kB
Cached:           221624 kB
SwapCached:          516 kB
Active:           266144 kB
Inactive:         243120 kB
Active(anon):     210928 kB
Inactive(anon):     2184 kB
Active(file):      55216 kB
Inactive(file):   240936 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:               460 kB
Writeback:             0 kB
AnonPages:       1474808 kB
Mapped:            15352 kB
Shmem:                 0 kB
Slab:             603380 kB
SReclaimable:      47456 kB
SUnreclaim:       555924 kB
KernelStack:        1760 kB
PageTables:         7600 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1994452 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    270336 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= 71724 MiB
End job on node127 at 2016-06-18 17:21:19