Trace number 4101314

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 Res+CP PB16SAT (TO)1381 1800.45 900.575

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell4.opb
MD5SUM51e821dd343df6d9e97b4cdfcd83ec3f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1381
Best CPU time to get the best result obtained on this benchmark1800.45
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1496
Optimality of the best value was proved NO
Number of variables1996
Total number of constraints134
Number of constraints which are clauses18
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints116
Minimum length of a constraint2
Maximum length of a constraint135
Number of terms in the objective function 1527
Biggest coefficient in the objective function 22700
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 525423
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262125
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 525423
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.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.10	c version PB16.v20160501
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization by upper bound
0.07/0.13	c ManyCore solver with 2 solvers running in parallel
0.07/0.13	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c Expensive reason simplification
0.07/0.13	c Glucose 2.1 dynamic restart strategy
0.07/0.13	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.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.07/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	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.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-4101314-1466213719.opb
0.07/0.13	c reading problem ... 
0.07/0.14	c  objective function found
0.24/0.29	c ... done. Wall clock time 0.16s.
0.24/0.29	c declared #vars     1996
0.24/0.29	c #constraints  134
0.49/0.30	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.49/0.30	c constraints type 
0.49/0.30	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 18
0.49/0.30	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 116
0.49/0.30	c 134 constraints processed.
0.49/0.30	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.49/0.30	c constraints type 
0.49/0.30	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 18
0.49/0.30	c org.sat4j.pb.constraints.pb.MaxWatchPb => 116
0.49/0.30	c 134 constraints processed.
0.49/0.30	c objective function length is 1527 literals
2.86/0.95	c And the winner is solver1
3.18/1.32	c SATISFIABLE
3.18/1.32	c OPTIMIZING...
3.18/1.32	c Got one! Elapsed wall clock time (in seconds):1.181
3.18/1.32	o 36062
3.47/1.45	c And the winner is solver1
3.47/1.48	c cleaning 2853 clauses out of 5706 with flag 8776/5709
4.16/1.82	c Got one! Elapsed wall clock time (in seconds):1.687
4.16/1.82	o 32003
4.37/1.91	c And the winner is solver0
4.43/2.33	c Got one! Elapsed wall clock time (in seconds):2.193
4.43/2.33	o 2613
4.66/2.40	c And the winner is solver0
4.71/2.83	c Got one! Elapsed wall clock time (in seconds):2.697
4.71/2.83	o 2544
4.90/2.95	c And the winner is solver1
5.07/3.33	c Got one! Elapsed wall clock time (in seconds):3.201
5.07/3.33	o 1583
5.07/3.38	c cleaning 4676 clauses out of 9360 with flag 2513/12219
6.43/3.91	c cleaning 5333 clauses out of 10682 with flag 18683/18217
7.52/4.41	c cleaning 6170 clauses out of 12349 with flag 39497/25217
7.52/4.48	c And the winner is solver1
7.70/4.84	c Got one! Elapsed wall clock time (in seconds):4.704
7.70/4.84	o 1498
8.62/5.39	c cleaning 5866 clauses out of 11746 with flag 11817/30784
10.87/6.44	c cleaning 5935 clauses out of 11882 with flag 32045/36786
12.08/7.09	c cleaning 6464 clauses out of 12947 with flag 53601/43786
12.88/7.47	c cleaning 7232 clauses out of 14481 with flag 72971/51784
14.14/8.01	c cleaning 8115 clauses out of 16250 with flag 96116/60785
15.95/8.96	c cleaning 9047 clauses out of 18134 with flag 127589/70784
18.15/10.02	c cleaning 10031 clauses out of 20087 with flag 160394/81784
20.60/11.22	c cleaning 11017 clauses out of 22057 with flag 194914/93785
23.40/12.64	c cleaning 12007 clauses out of 24041 with flag 227510/106786
26.59/14.21	c cleaning 12999 clauses out of 26033 with flag 263445/120785
30.39/16.13	c cleaning 14004 clauses out of 28036 with flag 306905/135787
34.09/17.94	c cleaning 14998 clauses out of 30031 with flag 350360/151786
38.29/20.00	c cleaning 16002 clauses out of 32033 with flag 388445/168786
44.20/22.96	c cleaning 17006 clauses out of 34031 with flag 434952/186786
50.59/26.17	c cleaning 17996 clauses out of 36023 with flag 495203/205784
57.19/29.44	c cleaning 18995 clauses out of 38027 with flag 549919/225784
63.79/32.78	c cleaning 20001 clauses out of 40033 with flag 598193/246785
73.31/37.48	c cleaning 21006 clauses out of 42033 with flag 651840/268786
85.19/43.38	c cleaning 22003 clauses out of 44025 with flag 718773/291784
96.99/49.22	c cleaning 23003 clauses out of 46024 with flag 777419/315786
105.99/53.74	c cleaning 23995 clauses out of 48021 with flag 838268/340786
118.94/60.16	c cleaning 25000 clauses out of 50027 with flag 899587/366787
128.14/64.78	c And the winner is solver1
128.35/64.95	c Got one! Elapsed wall clock time (in seconds):64.817
128.35/64.95	o 1495
130.03/65.84	c cleaning 26346 clauses out of 52694 with flag 16336/394455
131.03/66.34	c cleaning 16168 clauses out of 32348 with flag 35182/400455
132.04/66.82	c cleaning 11586 clauses out of 23183 with flag 57243/407458
133.63/67.66	c cleaning 9790 clauses out of 19595 with flag 82540/415456
136.93/69.27	c cleaning 9394 clauses out of 18805 with flag 112677/424456
141.13/71.34	c cleaning 9696 clauses out of 19410 with flag 143851/434455
146.32/73.92	c cleaning 10351 clauses out of 20714 with flag 180108/445455
152.53/77.08	c cleaning 11182 clauses out of 22363 with flag 222025/457455
160.25/80.81	c cleaning 12078 clauses out of 24181 with flag 267129/470455
168.28/84.85	c cleaning 13043 clauses out of 26103 with flag 313226/484455
175.87/88.67	c cleaning 14018 clauses out of 28060 with flag 365055/499455
186.36/93.76	c cleaning 15018 clauses out of 30042 with flag 416517/515455
198.49/99.70	c cleaning 15999 clauses out of 32025 with flag 471896/532456
202.29/101.69	c cleaning 17002 clauses out of 34025 with flag 516460/550455
205.90/103.49	c cleaning 17998 clauses out of 36023 with flag 560928/569455
213.37/107.15	c cleaning 19001 clauses out of 38025 with flag 622359/589455
225.99/113.45	c cleaning 20005 clauses out of 40024 with flag 695129/610455
229.38/115.11	c And the winner is solver0
229.56/115.52	c Got one! Elapsed wall clock time (in seconds):115.384
229.56/115.52	o 1494
229.92/115.77	c cleaning 19609 clauses out of 39219 with flag 13884/629655
230.72/116.18	c cleaning 12797 clauses out of 25611 with flag 32859/635656
231.51/116.51	c cleaning 9891 clauses out of 19814 with flag 54068/642656
232.11/116.86	c cleaning 8938 clauses out of 17922 with flag 73354/650655
233.11/117.31	c cleaning 8976 clauses out of 17984 with flag 95488/659655
235.10/118.53	c cleaning 9489 clauses out of 19009 with flag 117582/669656
236.50/119.25	c cleaning 10243 clauses out of 20519 with flag 144440/680655
238.30/120.19	c cleaning 11122 clauses out of 22276 with flag 177239/692655
240.50/121.28	c cleaning 12061 clauses out of 24155 with flag 212245/705656
242.51/122.24	c cleaning 13029 clauses out of 26093 with flag 251717/719655
245.50/123.76	c cleaning 14015 clauses out of 28064 with flag 286969/734655
249.50/125.75	c cleaning 15008 clauses out of 30049 with flag 324533/750655
253.76/127.85	c cleaning 16002 clauses out of 32041 with flag 374841/767655
258.16/130.00	c cleaning 17003 clauses out of 34039 with flag 430385/785655
258.56/130.30	c And the winner is solver1
258.77/130.43	c Got one! Elapsed wall clock time (in seconds):130.293
258.77/130.43	o 1400
258.93/130.57	c cleaning 11375 clauses out of 22754 with flag 10049/791373
260.13/131.19	c cleaning 8686 clauses out of 17383 with flag 34970/797377
261.94/132.05	c cleaning 7837 clauses out of 15693 with flag 75325/804373
264.19/133.18	c cleaning 7922 clauses out of 15856 with flag 121962/812373
266.98/134.52	c cleaning 8461 clauses out of 16935 with flag 170784/821374
269.98/136.02	c cleaning 9230 clauses out of 18473 with flag 225231/831373
276.38/139.22	c cleaning 10115 clauses out of 20244 with flag 264436/842374
284.86/143.47	c cleaning 11049 clauses out of 22134 with flag 310288/854379
293.86/147.99	c cleaning 12023 clauses out of 24079 with flag 365759/867373
304.78/153.30	c cleaning 13028 clauses out of 26056 with flag 425275/881373
314.99/158.49	c cleaning 14010 clauses out of 28028 with flag 479325/896373
326.88/164.34	c cleaning 15007 clauses out of 30018 with flag 537367/912373
338.68/170.24	c cleaning 15989 clauses out of 32013 with flag 600005/929375
349.00/175.38	c cleaning 17009 clauses out of 34022 with flag 659855/947373
356.80/179.29	c cleaning 17990 clauses out of 36013 with flag 710565/966373
371.01/186.33	c cleaning 19014 clauses out of 38028 with flag 779614/986378
380.47/191.37	c And the winner is solver0
380.74/191.64	c Got one! Elapsed wall clock time (in seconds):191.509
380.74/191.64	o 1399
381.24/191.90	c cleaning 18453 clauses out of 36926 with flag 14485/1004290
381.83/192.26	c cleaning 12235 clauses out of 24474 with flag 32438/1010291
382.44/192.57	c cleaning 9606 clauses out of 19238 with flag 50173/1017290
383.23/192.93	c cleaning 8799 clauses out of 17633 with flag 69544/1025291
384.23/193.43	c cleaning 8901 clauses out of 17833 with flag 90248/1034290
385.23/193.98	c cleaning 9452 clauses out of 18932 with flag 116379/1044290
386.23/194.40	c cleaning 10226 clauses out of 20480 with flag 144053/1055290
387.23/194.99	c cleaning 11126 clauses out of 22254 with flag 171417/1067290
388.43/195.58	c cleaning 12060 clauses out of 24130 with flag 202322/1080292
390.42/196.51	c cleaning 13025 clauses out of 26068 with flag 237499/1094290
392.62/197.69	c cleaning 14015 clauses out of 28044 with flag 279193/1109291
395.64/199.14	c cleaning 15000 clauses out of 30028 with flag 322720/1125290
397.83/200.26	c cleaning 15998 clauses out of 32028 with flag 364912/1142290
401.29/201.93	c cleaning 17000 clauses out of 34030 with flag 416790/1160290
403.89/203.29	c cleaning 18006 clauses out of 36032 with flag 463061/1179292
407.09/204.83	c cleaning 19003 clauses out of 38024 with flag 515242/1199290
410.88/206.70	c cleaning 20004 clauses out of 40023 with flag 572303/1220292
415.28/208.92	c cleaning 21005 clauses out of 42024 with flag 628686/1242297
420.10/211.40	c cleaning 21991 clauses out of 44012 with flag 691340/1265290
425.28/213.95	c cleaning 23004 clauses out of 46022 with flag 753753/1289291
431.59/217.07	c cleaning 23996 clauses out of 48018 with flag 819083/1314291
438.19/220.35	c cleaning 24998 clauses out of 50023 with flag 890107/1340292
446.40/224.41	c cleaning 26000 clauses out of 52024 with flag 964743/1367291
455.05/228.76	c cleaning 27000 clauses out of 54023 with flag 1043383/1395290
464.06/233.25	c cleaning 28006 clauses out of 56023 with flag 1120227/1424290
473.25/237.83	c cleaning 29000 clauses out of 58018 with flag 1202023/1454291
483.45/242.95	c cleaning 30001 clauses out of 60017 with flag 1285102/1485290
494.65/248.48	c cleaning 30999 clauses out of 62017 with flag 1372054/1517291
506.45/254.30	c cleaning 31997 clauses out of 64021 with flag 1458664/1550294
518.45/260.39	c cleaning 32998 clauses out of 66020 with flag 1547478/1584290
532.43/267.26	c cleaning 34004 clauses out of 68022 with flag 1639641/1619290
547.64/274.81	c cleaning 34999 clauses out of 70018 with flag 1738010/1655290
561.64/281.82	c cleaning 36000 clauses out of 72024 with flag 1836198/1692295
576.42/289.11	c cleaning 36999 clauses out of 74020 with flag 1934123/1730291
582.62/292.24	c And the winner is solver1
582.62/292.27	c Got one! Elapsed wall clock time (in seconds):292.132
582.62/292.27	o 1384
583.22/292.60	c cleaning 29509 clauses out of 59018 with flag 12566/1752288
584.02/292.96	c cleaning 17754 clauses out of 35508 with flag 27829/1758287
585.02/293.45	c cleaning 12376 clauses out of 24758 with flag 49577/1765291
586.82/294.35	c cleaning 10179 clauses out of 20378 with flag 85722/1773287
589.93/295.80	c cleaning 9595 clauses out of 19201 with flag 120244/1782289
592.73/297.22	c cleaning 9794 clauses out of 19604 with flag 168795/1792287
597.13/299.40	c cleaning 10402 clauses out of 20811 with flag 209466/1803288
603.34/302.56	c cleaning 11193 clauses out of 22408 with flag 248864/1815287
610.32/306.02	c cleaning 12105 clauses out of 24215 with flag 291199/1828287
617.72/309.74	c cleaning 13045 clauses out of 26110 with flag 342021/1842287
624.72/313.28	c cleaning 14022 clauses out of 28065 with flag 397533/1857287
633.11/317.33	c cleaning 15018 clauses out of 30043 with flag 459067/1873287
644.91/323.23	c cleaning 15989 clauses out of 32025 with flag 526027/1890287
653.90/327.79	c cleaning 17009 clauses out of 34036 with flag 595032/1908287
663.70/332.67	c cleaning 18007 clauses out of 36027 with flag 656410/1927287
679.05/340.22	c cleaning 19011 clauses out of 38021 with flag 719244/1947288
686.85/344.18	c cleaning 19982 clauses out of 40009 with flag 779761/1968287
701.65/351.55	c cleaning 21013 clauses out of 42030 with flag 856267/1990290
715.57/358.45	c cleaning 22004 clauses out of 44014 with flag 935992/2013287
728.77/365.05	c cleaning 23007 clauses out of 46013 with flag 1021016/2037290
746.05/374.19	c cleaning 23968 clauses out of 48003 with flag 1103021/2062287
764.84/383.52	c cleaning 25013 clauses out of 50035 with flag 1186621/2088287
784.29/393.24	c cleaning 26008 clauses out of 52024 with flag 1273078/2115289
804.49/403.38	c cleaning 27001 clauses out of 54014 with flag 1359397/2143287
826.97/414.51	c cleaning 27993 clauses out of 56013 with flag 1453532/2172287
850.87/426.45	c cleaning 28995 clauses out of 58020 with flag 1543118/2202287
870.00/435.91	c cleaning 30013 clauses out of 60026 with flag 1634067/2233288
878.80/440.31	c cleaning 31008 clauses out of 62016 with flag 1787781/2265291
889.60/445.70	c cleaning 31994 clauses out of 64005 with flag 1869386/2298288
902.00/451.93	c cleaning 32997 clauses out of 66011 with flag 1938785/2332288
913.21/457.59	c cleaning 34001 clauses out of 68014 with flag 2010133/2367288
929.43/465.56	c cleaning 34996 clauses out of 70012 with flag 2083341/2403287
945.21/473.36	c cleaning 36002 clauses out of 72017 with flag 2158434/2440288
962.41/481.87	c cleaning 37004 clauses out of 74019 with flag 2235988/2478292
980.21/490.65	c And the winner is solver0
980.60/490.92	c Got one! Elapsed wall clock time (in seconds):490.783
980.60/490.92	o 1383
981.58/491.48	c cleaning 35996 clauses out of 71992 with flag 22721/2513269
982.98/492.10	c cleaning 20994 clauses out of 41997 with flag 44676/2519270
984.40/492.87	c cleaning 13991 clauses out of 28002 with flag 66081/2526269
985.98/493.65	c cleaning 10997 clauses out of 22011 with flag 90106/2534269
987.78/494.53	c cleaning 10001 clauses out of 20016 with flag 120295/2543271
989.78/495.51	c cleaning 10000 clauses out of 20016 with flag 148991/2553272
991.78/496.53	c cleaning 10498 clauses out of 21015 with flag 182529/2564271
993.78/497.59	c cleaning 11252 clauses out of 22515 with flag 218934/2576269
996.38/498.81	c cleaning 12123 clauses out of 24263 with flag 257162/2589269
999.38/500.32	c cleaning 13065 clauses out of 26140 with flag 312225/2603269
1003.45/502.22	c cleaning 14032 clauses out of 28075 with flag 363102/2618269
1007.45/504.27	c cleaning 15016 clauses out of 30044 with flag 420352/2634270
1010.84/505.98	c cleaning 16002 clauses out of 32027 with flag 458964/2651269
1015.24/508.11	c cleaning 17001 clauses out of 34026 with flag 497562/2669270
1020.47/510.64	c cleaning 18002 clauses out of 36024 with flag 539804/2688269
1025.07/512.99	c cleaning 18999 clauses out of 38022 with flag 584279/2708269
1031.09/515.98	c cleaning 19998 clauses out of 40023 with flag 632592/2729269
1038.81/519.73	c cleaning 21000 clauses out of 42028 with flag 683858/2751272
1045.61/523.13	c cleaning 22003 clauses out of 44027 with flag 733905/2774271
1052.12/526.34	c cleaning 23004 clauses out of 46024 with flag 787398/2798271
1059.72/530.17	c cleaning 23996 clauses out of 48019 with flag 846874/2823270
1067.72/534.15	c cleaning 25002 clauses out of 50022 with flag 902518/2849269
1077.62/539.09	c cleaning 25999 clauses out of 52022 with flag 959158/2876271
1089.01/544.75	c cleaning 27000 clauses out of 54022 with flag 1018732/2904270
1103.15/552.67	c cleaning 28002 clauses out of 56023 with flag 1084940/2933271
1113.74/557.92	c cleaning 29005 clauses out of 58023 with flag 1151580/2963273
1125.14/563.66	c cleaning 29995 clauses out of 60014 with flag 1227909/2994269
1141.78/571.94	c cleaning 30994 clauses out of 62020 with flag 1297419/3026270
1157.18/579.61	c cleaning 32000 clauses out of 64026 with flag 1370922/3059270
1177.02/589.60	c cleaning 33001 clauses out of 66027 with flag 1450648/3093271
1200.91/601.45	c cleaning 34002 clauses out of 68025 with flag 1529535/3128270
1220.40/611.12	c cleaning 34997 clauses out of 70022 with flag 1612045/3164269
1239.71/620.76	c cleaning 36009 clauses out of 72028 with flag 1709881/3201272
1258.11/629.90	c cleaning 36995 clauses out of 74018 with flag 1820757/3239271
1275.70/638.74	c cleaning 38000 clauses out of 76024 with flag 1960291/3278272
1293.30/647.55	c cleaning 38997 clauses out of 78024 with flag 2096570/3318272
1311.71/656.74	c cleaning 40000 clauses out of 80025 with flag 2231200/3359270
1331.87/666.76	c cleaning 40998 clauses out of 82027 with flag 2383041/3401272
1350.46/676.05	c cleaning 41989 clauses out of 84027 with flag 2543877/3444270
1371.47/686.59	c cleaning 43002 clauses out of 86037 with flag 2701038/3488269
1393.66/697.65	c cleaning 44009 clauses out of 88040 with flag 2872513/3533274
1417.86/709.75	c cleaning 45003 clauses out of 90036 with flag 3047871/3579279
1444.86/723.20	c cleaning 45995 clauses out of 92024 with flag 3226078/3626270
1473.16/737.46	c cleaning 47000 clauses out of 94031 with flag 3388843/3674272
1474.58/738.12	c And the winner is solver1
1474.67/738.60	c Got one! Elapsed wall clock time (in seconds):738.47
1474.67/738.60	o 1381
1475.04/738.88	c cleaning 26264 clauses out of 52538 with flag 7813/3679779
1477.24/739.98	c cleaning 16133 clauses out of 32273 with flag 30814/3685778
1479.44/741.09	c cleaning 11567 clauses out of 23143 with flag 57457/3692781
1480.79/741.65	c cleaning 9777 clauses out of 19574 with flag 79762/3700779
1483.59/743.05	c cleaning 9384 clauses out of 18795 with flag 107455/3709778
1491.60/747.03	c cleaning 9705 clauses out of 19411 with flag 140371/3719778
1499.53/750.99	c cleaning 10346 clauses out of 20707 with flag 174602/3730779
1507.73/755.09	c cleaning 11182 clauses out of 22365 with flag 213049/3742783
1515.53/758.93	c cleaning 12086 clauses out of 24180 with flag 256062/3755780
1521.53/761.99	c cleaning 13039 clauses out of 26093 with flag 301264/3769779
1525.88/764.09	c cleaning 14022 clauses out of 28055 with flag 346048/3784781
1536.08/769.14	c cleaning 15002 clauses out of 30030 with flag 397653/3800778
1547.85/774.97	c cleaning 16011 clauses out of 32028 with flag 453284/3817778
1559.44/780.70	c cleaning 17009 clauses out of 34022 with flag 509524/3835783
1571.64/786.80	c cleaning 18005 clauses out of 36009 with flag 578206/3854779
1580.64/791.32	c cleaning 19000 clauses out of 38009 with flag 669298/3874784
1587.58/794.70	c cleaning 20000 clauses out of 40005 with flag 772550/3895780
1599.58/800.74	c cleaning 21000 clauses out of 42004 with flag 847671/3917779
1611.36/806.53	c cleaning 21989 clauses out of 44005 with flag 938066/3940780
1624.93/813.26	c cleaning 23003 clauses out of 46014 with flag 1014204/3964778
1641.10/821.22	c cleaning 24001 clauses out of 48011 with flag 1116377/3989778
1649.64/825.40	c cleaning 25004 clauses out of 50013 with flag 1198285/4015781
1654.04/827.69	c cleaning 25998 clauses out of 52008 with flag 1262148/4042780
1661.44/831.30	c cleaning 27000 clauses out of 54008 with flag 1346393/4070778
1667.64/834.45	c cleaning 27998 clauses out of 56009 with flag 1427142/4099779
1674.63/837.94	c cleaning 29004 clauses out of 58011 with flag 1509652/4129779
1682.83/842.03	c cleaning 29990 clauses out of 60006 with flag 1589416/4160778
1691.63/846.48	c cleaning 30999 clauses out of 62017 with flag 1677754/4192779
1704.63/852.92	c cleaning 32002 clauses out of 64017 with flag 1775565/4225778
1717.43/859.39	c cleaning 32996 clauses out of 66015 with flag 1881953/4259778
1738.04/869.60	c cleaning 33999 clauses out of 68019 with flag 1994476/4294778
1762.63/881.83	c cleaning 35002 clauses out of 70020 with flag 2128125/4330778
1785.64/893.35	c cleaning 36010 clauses out of 72020 with flag 2274074/4367780
1800.03/900.51	c >>>>>>>>>> Solver number 0 (5 answers) <<<<<<<<<<<<<<<<<<
1800.03/900.51	c starts		: 25442
1800.03/900.51	c conflicts		: 4403804
1800.03/900.51	c decisions		: 14164166
1800.03/900.51	c propagations		: 273117782
1800.03/900.51	c inspects		: 11561802658
1800.03/900.51	c shortcuts		: 0
1800.03/900.51	c learnt literals	: 9
1800.03/900.51	c learnt binary clauses	: 10
1800.03/900.51	c learnt ternary clauses	: 15
1800.03/900.51	c learnt constraints	: 4403795
1800.03/900.51	c ignored constraints	: 0
1800.03/900.51	c root simplifications	: 0
1800.03/900.51	c removed literals (reason simplification)	: 12032403
1800.03/900.51	c reason swapping (by a shorter reason)	: 0
1800.03/900.51	c Calls to reduceDB	: 218
1800.03/900.51	c Number of update (reduction) of LBD	: 811825
1800.03/900.51	c Imported unit clauses	: 0
1800.03/900.51	c number of reductions to clauses (during analyze)	: 0
1800.03/900.51	c number of learned constraints concerned by reduction	: 0
1800.03/900.51	c number of learning phase by resolution	: 0
1800.03/900.51	c number of learning phase by cutting planes	: 0
1800.03/900.51	c speed (assignments/second)	: 1687047.346671526
1800.03/900.51	c non guided choices	14602
1800.03/900.53	c learnt constraints type 
1800.03/900.53	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 10
1800.03/900.53	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 72024
1800.03/900.53	c >>>>>>>>>> Solver number 1 (8 answers) <<<<<<<<<<<<<<<<<<
1800.03/900.53	c starts		: 22
1800.03/900.53	c conflicts		: 4592
1800.03/900.53	c decisions		: 224767
1800.03/900.53	c propagations		: 491510
1800.03/900.53	c inspects		: 111687776
1800.03/900.53	c shortcuts		: 0
1800.03/900.53	c learnt literals	: 0
1800.03/900.53	c learnt binary clauses	: 0
1800.03/900.53	c learnt ternary clauses	: 0
1800.03/900.53	c learnt constraints	: 4588
1800.03/900.53	c ignored constraints	: 0
1800.03/900.53	c root simplifications	: 0
1800.03/900.53	c removed literals (reason simplification)	: 0
1800.03/900.53	c reason swapping (by a shorter reason)	: 0
1800.03/900.53	c Calls to reduceDB	: 0
1800.03/900.53	c Number of update (reduction) of LBD	: 0
1800.03/900.53	c Imported unit clauses	: 0
1800.03/900.53	c number of reductions to clauses (during analyze)	: 0
1800.03/900.53	c number of learned constraints concerned by reduction	: 0
1800.03/900.53	c number of learning phase by resolution	: 0
1800.03/900.53	c number of learning phase by cutting planes	: 0
1800.03/900.53	c speed (assignments/second)	: 1200.8991289688113
1800.03/900.53	c non guided choices	55
1800.03/900.54	c learnt constraints type 
1800.03/900.54	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4588
1800.03/900.54	s SATISFIABLE
1800.03/900.54	c Found 13 solution(s)
1800.03/900.55	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 x153 x154 x155 x156 x157 -x158 -x159 x160 x161 x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 x405 x406 x407 x408 x409 x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 x530 x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 x558 x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 x722 x723 x724 x725 -x726 x727 -x728 x729 x730 x731 x732 x733 x734 x735 x736 x737 x738 -x739 x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 x752 x753 x754 x755 x756 x757 x758 x759 x760 x761 x762 x763 -x764 -x765 -x766 -x767 -x768 x769 x770 -x771 -x772 -x773 x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 x1022 x1023 x1024 x1025 x1026 x1027 x1028 x1029 x1030 x1031 x1032 x1033 x1034 x1035 x1036 x1037 x1038 x1039 x1040 x1041 x1042 -x1043 -x1044 x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 x1052 -x1053 -x1054 -x1055 x1056 x1057 -x1058 x1059 -x1060 -x1061 -x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142 x1143 x1144 x1145 -x1146 -x1147 -x1148 x1149 x1150 x1151 x1152 x1153 x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 x1205 x1206 x1207 x1208 x1209 -x1210 -x1211 x1212 -x1213 x1214 x1215 x1216 -x1217 -x1218 -x1219 -x1220 x1221 x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 x1252 -x1253 -x1254 x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 x1265 x1266 x1267 x1268 x1269 x1270 x1271 x1272 x1273 x1274 x1275 x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 x1296 x1297 x1298 x1299 x1300 x1301 x1302 x1303 x1304 x1305 x1306 x1307 x1308 x1309 x1310 x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338 -x1339 x1340 x1341 -x1342 x1343 x1344 -x1345 -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 x1355 x1356 x1357 x1358 x1359 x1360 x1361 x1362 x1363 x1364 x1365 x1366 -x1367 -x1368 -x1369 -x1370 -x1371 x1372 x1373 x1374 -x1375 -x1376 x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 x1398 -x1399 x1400 -x1401 x1402 -x1403 x1404 x1405 x1406 -x1407 x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 x1434 -x1435 -x1436 -x1437 x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 x1475 x1476 x1477 x1478 -x1479 x1480 x1481 x1482 x1483 x1484 x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 x1493 -x1494 -x1495 x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 x1551 x1552 -x1553 -x1554 -x1555 -x1556 x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 x1685 x1686 x1687 -x1688 -x1689 x1690 -x1691 -x1692 x1693 -x1694 x1695 x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 x1720 x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 x1847 x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 x1928 -x1929 -x1930 x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 
1800.03/900.55	c objective function=1381
1800.03/900.55	c Total wall clock time (in seconds): 900.418

Verifier Data 

OK	1381

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-4101314-1466213719/watcher-4101314-1466213719 -o /tmp/evaluation-result-4101314-1466213719/solver-4101314-1466213719 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466206054-8353 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4101314-1466213719.opb 

pid=13943
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.28 4.37 4.34 5/197 13946
/proc/meminfo: memFree=28936928/32872528 swapFree=1499884/1696108
[pid=13946] ppid=13943 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/13946/stat : 13946 (java) D 13943 13946 8337 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 23417641 9515008 175 33554432000 1073741824 1073778376 140736735495824 140736735478552 225444709264 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/13946/statm: 2323 175 133 9 0 71 0

[startup+0.101162 s]
/proc/loadavg: 4.28 4.37 4.34 5/197 13946
/proc/meminfo: memFree=28936928/32872528 swapFree=1499884/1696108
[pid=13946] ppid=13943 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/13946/stat : 13946 (java) S 13943 13946 8337 0 -1 4202496 3964 0 1 0 7 0 0 0 20 0 18 0 23417641 9787879424 4585 33554432000 1073741824 1073778376 140733350636944 140733350628080 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/13946/statm: 2389619 4587 2008 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476

[startup+0.200248 s]
/proc/loadavg: 4.28 4.37 4.34 5/197 13946
/proc/meminfo: memFree=28936928/32872528 swapFree=1499884/1696108
[pid=13946] ppid=13943 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/13946/stat : 13946 (java) S 13943 13946 8337 0 -1 4202496 4730 0 1 0 23 1 0 0 20 0 18 0 23417641 9787879424 6288 33554432000 1073741824 1073778376 140733350636944 140733350628080 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/13946/statm: 2389619 6288 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300229 s]
/proc/loadavg: 4.28 4.37 4.34 5/197 13946
/proc/meminfo: memFree=28936928/32872528 swapFree=1499884/1696108
[pid=13946] ppid=13943 vsize=9558476 CPUtime=0.49 cores=0,2,4,6
/proc/13946/stat : 13946 (java) S 13943 13946 8337 0 -1 4202496 8123 0 1 0 47 2 0 0 20 0 18 0 23417641 9787879424 10204 33554432000 1073741824 1073778376 140733350636944 140733350628080 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/13946/statm: 2389619 10204 2238 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558476

[startup+0.700194 s]
/proc/loadavg: 4.28 4.37 4.34 5/197 13946
/proc/meminfo: memFree=28936928/32872528 swapFree=1499884/1696108
[pid=13946] ppid=13943 vsize=9824732 CPUtime=2.06 cores=0,2,4,6
/proc/13946/stat : 13946 (java) S 13943 13946 8337 0 -1 4202496 17615 0 1 0 202 4 0 0 20 0 22 0 23417641 10060525568 17261 33554432000 1073741824 1073778376 140733350636944 140733350628080 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/13946/statm: 2456183 17261 2252 9 0 2446860 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 9824732

[startup+1.50075 s]
/proc/loadavg: 4.50 4.41 4.35 4/216 13968
/proc/meminfo: memFree=28849724/32872528 swapFree=1499884/1696108
[pid=13946] ppid=13943 vsize=9824732 CPUtime=3.78 cores=0,2,4,6
/proc/13946/stat : 13946 (java) S 13943 13946 8337 0 -1 4202496 21807 0 1 0 370 8 0 0 20 0 19 0 23417641 10060525568 34192 33554432000 1073741824 1073778376 140733350636944 140733350628080 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/13946/statm: 2456183 34192 2271 9 0 2446860 0
[pid=13946/tid=13948] ppid=13943 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/13946/task/13948/stat : 13948 (java) S 13943 13946 8337 0 -1 4202560 2525 0 1 0 26 0 0 0 20 0 19 0 23417642 10060525568 34192 33554432000 1073741824 1073778376 140733350636944 140264769975160 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13946/tid=13949] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13949/stat : 13949 (java) S 13943 13946 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23417643 10060525568 34192 33554432000 1073741824 1073778376 140733350636944 140264708705064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13946/tid=13950] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13950/stat : 13950 (java) S 13943 13946 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23417643 10060525568 34192 33554432000 1073741824 1073778376 140733350636944 140264707652264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13946/tid=13951] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13951/stat : 13951 (java) S 13943 13946 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23417643 10060525568 34192 33554432000 1073741824 1073778376 140733350636944 140264611724328 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13946/tid=13952] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13952/stat : 13952 (java) S 13943 13946 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23417643 10060525568 34192 33554432000 1073741824 1073778376 140733350636944 140264610671528 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13946/tid=13953] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13953/stat : 13953 (java) S 13943 13946 8337 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23417643 10060525568 34192 33554432000 1073741824 1073778376 140733350636944 140264609618216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13946/tid=13954] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13954/stat : 13954 (java) S 13943 13946 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23417643 10060525568 34192 33554432000 1073741824 1073778376 140733350636944 140264608565416 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13946/tid=13955] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13955/stat : 13955 (java) S 13943 13946 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23417643 10060525568 34192 33554432000 1073741824 1073778376 140733350636944 140264607513128 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13946/tid=13956] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13956/stat : 13956 (java) S 13943 13946 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23417643 10060525568 34192 33554432000 1073741824 1073778376 140733350636944 140264606460328 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13946/tid=13957] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13957/stat : 13957 (java) S 13943 13946 8337 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23417645 10060525568 34192 33554432000 1073741824 1073778376 140733350636944 140264594049768 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13946/tid=13958] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13958/stat : 13958 (java) S 13943 13946 8337 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23417645 10060525568 34192 33554432000 1073741824 1073778376 140733350636944 140264592995832 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13946/tid=13959] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13959/stat : 13959 (java) S 13943 13946 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23417645 10060525568 34192 33554432000 1073741824 1073778376 140733350636944 140264591943432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13946/tid=13960] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13960/stat : 13960 (java) S 13943 13946 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23417648 10060525568 34192 33554432000 1073741824 1073778376 140733350636944 140264590891920 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13946/tid=13961] ppid=13943 vsize=9824732 CPUtime=0.92 cores=0,2,4,6
/proc/13946/task/13961/stat : 13961 (java) R 13943 13946 8337 0 -1 4202560 7545 0 0 0 89 3 0 0 20 0 19 0 23417648 10060525568 34192 33554432000 1073741824 1073778376 140733350636944 140264589838520 140264775934774 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13946/tid=13962] ppid=13943 vsize=9824732 CPUtime=0.95 cores=0,2,4,6
/proc/13946/task/13962/stat : 13962 (java) R 13943 13946 8337 0 -1 4202560 10349 0 0 0 93 2 0 0 20 0 19 0 23417648 10060525568 34192 33554432000 1073741824 1073778376 140733350636944 140264588762840 140264775935676 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=13946/tid=13963] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13963/stat : 13963 (java) S 13943 13946 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23417648 10060525568 34192 33554432000 1073741824 1073778376 140733350636944 140264587733624 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13946/tid=13964] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13964/stat : 13964 (java) S 13943 13946 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23417648 10060525568 34192 33554432000 1073741824 1073778376 140733350636944 140264586681032 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13946/tid=13968] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13968/stat : 13968 (java) S 13943 13946 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23417673 10060525568 34192 33554432000 1073741824 1073778376 140733350636944 140264581420584 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 9824732

[startup+3.10085 s]
/proc/loadavg: 4.50 4.41 4.35 4/216 13974
/proc/meminfo: memFree=28774472/32872528 swapFree=1499884/1696108
[pid=13946] ppid=13943 vsize=9824732 CPUtime=5.07 cores=0,2,4,6
/proc/13946/stat : 13946 (java) S 13943 13946 8337 0 -1 4202496 24631 0 1 0 492 15 0 0 20 0 19 0 23417641 10060525568 49451 33554432000 1073741824 1073778376 140733350636944 140733350628080 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/13946/statm: 2456183 49451 2286 9 0 2446860 0
[pid=13946/tid=13948] ppid=13943 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/13946/task/13948/stat : 13948 (java) S 13943 13946 8337 0 -1 4202560 2527 0 1 0 28 0 0 0 20 0 19 0 23417642 10060525568 49451 33554432000 1073741824 1073778376 140733350636944 140264769975160 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13946/tid=13949] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13949/stat : 13949 (java) S 13943 13946 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23417643 10060525568 49451 33554432000 1073741824 1073778376 140733350636944 140264708705064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13946/tid=13950] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13950/stat : 13950 (java) S 13943 13946 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23417643 10060525568 49451 33554432000 1073741824 1073778376 140733350636944 140264707652264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13946/tid=13951] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13951/stat : 13951 (java) S 13943 13946 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23417643 10060525568 49451 33554432000 1073741824 1073778376 140733350636944 140264611724328 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13946/tid=13952] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13952/stat : 13952 (java) S 13943 13946 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23417643 10060525568 49451 33554432000 1073741824 1073778376 140733350636944 140264610671528 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13946/tid=13953] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13953/stat : 13953 (java) S 13943 13946 8337 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 23417643 10060525568 49451 33554432000 1073741824 1073778376 140733350636944 140264609618216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13946/tid=13954] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13954/stat : 13954 (java) S 13943 13946 8337 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23417643 10060525568 49451 33554432000 1073741824 1073778376 140733350636944 140264608565416 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13946/tid=13955] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13955/stat : 13955 (java) S 13943 13946 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23417643 10060525568 49451 33554432000 1073741824 1073778376 140733350636944 140264607513128 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13946/tid=13956] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13956/stat : 13956 (java) S 13943 13946 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23417643 10060525568 49451 33554432000 1073741824 1073778376 140733350636944 140264606460328 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13946/tid=13957] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13957/stat : 13957 (java) S 13943 13946 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23417645 10060525568 49451 33554432000 1073741824 1073778376 140733350636944 140264594049768 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13946/tid=13958] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13958/stat : 13958 (java) S 13943 13946 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23417645 10060525568 49451 33554432000 1073741824 1073778376 140733350636944 140264592995832 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13946/tid=13959] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13959/stat : 13959 (java) S 13943 13946 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23417645 10060525568 49451 33554432000 1073741824 1073778376 140733350636944 140264591943432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13946/tid=13960] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13960/stat : 13960 (java) S 13943 13946 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23417648 10060525568 49451 33554432000 1073741824 1073778376 140733350636944 140264590891920 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13946/tid=13961] ppid=13943 vsize=9824732 CPUtime=1.35 cores=0,2,4,6
/proc/13946/task/13961/stat : 13961 (java) S 13943 13946 8337 0 -1 4202560 9837 0 0 0 132 3 0 0 20 0 19 0 23417648 10060525568 49451 33554432000 1073741824 1073778376 140733350636944 140264589838520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13946/tid=13962] ppid=13943 vsize=9824732 CPUtime=1.2 cores=0,2,4,6
/proc/13946/task/13962/stat : 13962 (java) S 13943 13946 8337 0 -1 4202560 10796 0 0 0 118 2 0 0 20 0 19 0 23417648 10060525568 49451 33554432000 1073741824 1073778376 140733350636944 140264588785720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13946/tid=13963] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13963/stat : 13963 (java) S 13943 13946 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23417648 10060525568 49451 33554432000 1073741824 1073778376 140733350636944 140264587733624 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13946/tid=13964] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13964/stat : 13964 (java) S 13943 13946 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23417648 10060525568 49451 33554432000 1073741824 1073778376 140733350636944 140264586681032 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.07
Current children cumulated vsize (KiB) 9824732

[startup+6.301 s]
/proc/loadavg: 4.46 4.40 4.35 5/219 13986
/proc/meminfo: memFree=28704008/32872528 swapFree=1499884/1696108
[pid=13946] ppid=13943 vsize=9824732 CPUtime=10.67 cores=0,2,4,6
/proc/13946/stat : 13946 (java) S 13943 13946 8337 0 -1 4202496 25186 0 1 0 1043 24 0 0 20 0 22 0 23417641 10060525568 61701 33554432000 1073741824 1073778376 140733350636944 140733350628080 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/13946/statm: 2456183 61701 2287 9 0 2446860 0
[pid=13946/tid=13948] ppid=13943 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/13946/task/13948/stat : 13948 (java) S 13943 13946 8337 0 -1 4202560 2527 0 1 0 28 0 0 0 20 0 22 0 23417642 10060525568 61701 33554432000 1073741824 1073778376 140733350636944 140264769975160 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13946/tid=13949] ppid=13943 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/13946/task/13949/stat : 13949 (java) S 13943 13946 8337 0 -1 4202560 72 0 0 0 4 0 0 0 20 0 22 0 23417643 10060525568 61701 33554432000 1073741824 1073778376 140733350636944 140264708705064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13946/tid=13950] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13950/stat : 13950 (java) S 13943 13946 8337 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 22 0 23417643 10060525568 61701 33554432000 1073741824 1073778376 140733350636944 140264707652264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13946/tid=13951] ppid=13943 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/13946/task/13951/stat : 13951 (java) S 13943 13946 8337 0 -1 4202560 24 0 0 0 2 2 0 0 20 0 22 0 23417643 10060525568 61701 33554432000 1073741824 1073778376 140733350636944 140264611724328 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13946/tid=13952] ppid=13943 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/13946/task/13952/stat : 13952 (java) S 13943 13946 8337 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 23417643 10060525568 61701 33554432000 1073741824 1073778376 140733350636944 140264610671528 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13946/tid=13953] ppid=13943 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/13946/task/13953/stat : 13953 (java) S 13943 13946 8337 0 -1 4202560 115 0 0 0 3 0 0 0 20 0 22 0 23417643 10060525568 61701 33554432000 1073741824 1073778376 140733350636944 140264609618216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13946/tid=13954] ppid=13943 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/13946/task/13954/stat : 13954 (java) S 13943 13946 8337 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 23417643 10060525568 61701 33554432000 1073741824 1073778376 140733350636944 140264608565416 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13946/tid=13955] ppid=13943 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/13946/task/13955/stat : 13955 (java) S 13943 13946 8337 0 -1 4202560 95 0 0 0 1 1 0 0 20 0 22 0 23417643 10060525568 61701 33554432000 1073741824 1073778376 140733350636944 140264607513128 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13946/tid=13956] ppid=13943 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/13946/task/13956/stat : 13956 (java) S 13943 13946 8337 0 -1 4202560 78 0 0 0 1 0 0 0 20 0 22 0 23417643 10060525568 61701 33554432000 1073741824 1073778376 140733350636944 140264606460328 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13946/tid=13957] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13957/stat : 13957 (java) S 13943 13946 8337 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 23417645 10060525568 61701 33554432000 1073741824 1073778376 140733350636944 140264594049768 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13946/tid=13958] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13958/stat : 13958 (java) S 13943 13946 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23417645 10060525568 61701 33554432000 1073741824 1073778376 140733350636944 140264592995832 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13946/tid=13959] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13959/stat : 13959 (java) S 13943 13946 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23417645 10060525568 61701 33554432000 1073741824 1073778376 140733350636944 140264591943432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13946/tid=13960] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13960/stat : 13960 (java) S 13943 13946 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23417648 10060525568 61701 33554432000 1073741824 1073778376 140733350636944 140264590891920 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13946/tid=13961] ppid=13943 vsize=9824732 CPUtime=1.39 cores=0,2,4,6
/proc/13946/task/13961/stat : 13961 (java) S 13943 13946 8337 0 -1 4202560 9839 0 0 0 136 3 0 0 20 0 22 0 23417648 10060525568 61701 33554432000 1073741824 1073778376 140733350636944 140264589838520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13946/tid=13962] ppid=13943 vsize=9824732 CPUtime=1.45 cores=0,2,4,6
/proc/13946/task/13962/stat : 13962 (java) S 13943 13946 8337 0 -1 4202560 10832 0 0 0 143 2 0 0 20 0 22 0 23417648 10060525568 61701 33554432000 1073741824 1073778376 140733350636944 140264588785720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13946/tid=13963] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13963/stat : 13963 (java) S 13943 13946 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23417648 10060525568 61701 33554432000 1073741824 1073778376 140733350636944 140264587733624 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13946/tid=13964] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13964/stat : 13964 (java) S 13943 13946 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23417648 10060525568 61701 33554432000 1073741824 1073778376 140733350636944 140264586681032 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13946/tid=13980] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13980/stat : 13980 (java) S 13943 13946 8337 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23417925 10060525568 61701 33554432000 1073741824 1073778376 140733350636944 140264581420072 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13946/tid=13984] ppid=13943 vsize=9824732 CPUtime=1.41 cores=0,2,4,6
/proc/13946/task/13984/stat : 13984 (java) R 13943 13946 8337 0 -1 4202560 4 0 0 0 141 0 0 0 20 0 22 0 23418125 10060525568 61701 33554432000 1073741824 1073778376 140733350636944 140264582472696 140264710392961 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13946/tid=13985] ppid=13943 vsize=9824732 CPUtime=1.4 cores=0,2,4,6
/proc/13946/task/13985/stat : 13985 (java) R 13943 13946 8337 0 -1 4202560 5 0 0 0 140 0 0 0 20 0 22 0 23418125 10060525568 61701 33554432000 1073741824 1073778376 140733350636944 140264584576264 140264710659675 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13946/tid=13986] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6

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


[startup+882.308 s]
/proc/loadavg: 4.55 4.39 4.31 5/220 14117
/proc/meminfo: memFree=23892564/32872528 swapFree=1499884/1696108
[pid=13946] ppid=13943 vsize=9824732 CPUtime=1763.64 cores=0,2,4,6
/proc/13946/stat : 13946 (java) S 13943 13946 8337 0 -1 4202496 37865 0 1 0 176046 318 0 0 20 0 22 0 23417641 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140733350628080 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/13946/statm: 2456183 1003624 2295 9 0 2446860 0
[pid=13946/tid=13948] ppid=13943 vsize=9824732 CPUtime=0.38 cores=0,2,4,6
/proc/13946/task/13948/stat : 13948 (java) S 13943 13946 8337 0 -1 4202560 2535 0 1 0 36 2 0 0 20 0 22 0 23417642 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264769975160 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13946/tid=13949] ppid=13943 vsize=9824732 CPUtime=2.1 cores=0,2,4,6
/proc/13946/task/13949/stat : 13949 (java) S 13943 13946 8337 0 -1 4202560 1045 0 0 0 183 27 0 0 20 0 22 0 23417643 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264708705064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13946/tid=13950] ppid=13943 vsize=9824732 CPUtime=2.22 cores=0,2,4,6
/proc/13946/task/13950/stat : 13950 (java) S 13943 13946 8337 0 -1 4202560 934 0 0 0 192 30 0 0 20 0 22 0 23417643 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264707652264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13946/tid=13951] ppid=13943 vsize=9824732 CPUtime=2.31 cores=0,2,4,6
/proc/13946/task/13951/stat : 13951 (java) S 13943 13946 8337 0 -1 4202560 1018 0 0 0 200 31 0 0 20 0 22 0 23417643 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264611724328 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13946/tid=13952] ppid=13943 vsize=9824732 CPUtime=2.25 cores=0,2,4,6
/proc/13946/task/13952/stat : 13952 (java) S 13943 13946 8337 0 -1 4202560 1096 0 0 0 194 31 0 0 20 0 22 0 23417643 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264610671528 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13946/tid=13953] ppid=13943 vsize=9824732 CPUtime=2.12 cores=0,2,4,6
/proc/13946/task/13953/stat : 13953 (java) S 13943 13946 8337 0 -1 4202560 1217 0 0 0 180 32 0 0 20 0 22 0 23417643 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264609618216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13946/tid=13954] ppid=13943 vsize=9824732 CPUtime=2.18 cores=0,2,4,6
/proc/13946/task/13954/stat : 13954 (java) S 13943 13946 8337 0 -1 4202560 1075 0 0 0 192 26 0 0 20 0 22 0 23417643 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264608565416 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13946/tid=13955] ppid=13943 vsize=9824732 CPUtime=2.15 cores=0,2,4,6
/proc/13946/task/13955/stat : 13955 (java) S 13943 13946 8337 0 -1 4202560 1194 0 0 0 186 29 0 0 20 0 22 0 23417643 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264607513128 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13946/tid=13956] ppid=13943 vsize=9824732 CPUtime=1.93 cores=0,2,4,6
/proc/13946/task/13956/stat : 13956 (java) S 13943 13946 8337 0 -1 4202560 1103 0 0 0 167 26 0 0 20 0 22 0 23417643 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264606460328 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13946/tid=13957] ppid=13943 vsize=9824732 CPUtime=4.05 cores=0,2,4,6
/proc/13946/task/13957/stat : 13957 (java) S 13943 13946 8337 0 -1 4202560 2753 0 0 0 399 6 0 0 20 0 22 0 23417645 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264594049768 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13946/tid=13958] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13958/stat : 13958 (java) S 13943 13946 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23417645 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264592995832 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13946/tid=13959] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13959/stat : 13959 (java) S 13943 13946 8337 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 23417645 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264591943432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13946/tid=13960] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13960/stat : 13960 (java) S 13943 13946 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23417648 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264590891920 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13946/tid=13961] ppid=13943 vsize=9824732 CPUtime=1.42 cores=0,2,4,6
/proc/13946/task/13961/stat : 13961 (java) S 13943 13946 8337 0 -1 4202560 9850 0 0 0 139 3 0 0 20 0 22 0 23417648 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264589838520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13946/tid=13962] ppid=13943 vsize=9824732 CPUtime=1.77 cores=0,2,4,6
/proc/13946/task/13962/stat : 13962 (java) S 13943 13946 8337 0 -1 4202560 10856 0 0 0 175 2 0 0 20 0 22 0 23417648 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264588785720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13946/tid=13963] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13963/stat : 13963 (java) S 13943 13946 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23417648 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264587733624 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13946/tid=13964] ppid=13943 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/13946/task/13964/stat : 13964 (java) S 13943 13946 8337 0 -1 4202560 51 0 0 0 14 14 0 0 20 0 22 0 23417648 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264586681032 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13946/tid=14020] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/14020/stat : 14020 (java) S 13943 13946 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23466766 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264581420072 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13946/tid=14109] ppid=13943 vsize=9824732 CPUtime=142.74 cores=0,2,4,6
/proc/13946/task/14109/stat : 14109 (java) R 13943 13946 8337 0 -1 4202560 6 0 0 0 14272 2 0 0 20 0 22 0 23491503 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264584569088 140264710348919 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13946/tid=14110] ppid=13943 vsize=9824732 CPUtime=142.71 cores=0,2,4,6
/proc/13946/task/14110/stat : 14110 (java) R 13943 13946 8337 0 -1 4202560 11 0 0 0 14269 2 0 0 20 0 22 0 23491503 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264582471232 140264710458032 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13946/tid=14111] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/14111/stat : 14111 (java) S 13943 13946 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23491503 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264583526056 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1763.64
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.501 s]
/proc/loadavg: 4.50 4.39 4.31 6/220 14117
/proc/meminfo: memFree=23893128/32872528 swapFree=1499884/1696108
[pid=13946] ppid=13943 vsize=9824732 CPUtime=1800.03 cores=0,2,4,6
/proc/13946/stat : 13946 (java) S 13943 13946 8337 0 -1 4202496 37867 0 1 0 179685 318 0 0 20 0 22 0 23417641 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140733350628080 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/13946/statm: 2456183 1003624 2295 9 0 2446860 0
[pid=13946/tid=13948] ppid=13943 vsize=9824732 CPUtime=0.38 cores=0,2,4,6
/proc/13946/task/13948/stat : 13948 (java) S 13943 13946 8337 0 -1 4202560 2535 0 1 0 36 2 0 0 20 0 22 0 23417642 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264769975160 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13946/tid=13949] ppid=13943 vsize=9824732 CPUtime=2.1 cores=0,2,4,6
/proc/13946/task/13949/stat : 13949 (java) S 13943 13946 8337 0 -1 4202560 1045 0 0 0 183 27 0 0 20 0 22 0 23417643 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264708705064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13946/tid=13950] ppid=13943 vsize=9824732 CPUtime=2.22 cores=0,2,4,6
/proc/13946/task/13950/stat : 13950 (java) S 13943 13946 8337 0 -1 4202560 934 0 0 0 192 30 0 0 20 0 22 0 23417643 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264707652264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13946/tid=13951] ppid=13943 vsize=9824732 CPUtime=2.31 cores=0,2,4,6
/proc/13946/task/13951/stat : 13951 (java) S 13943 13946 8337 0 -1 4202560 1018 0 0 0 200 31 0 0 20 0 22 0 23417643 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264611724328 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13946/tid=13952] ppid=13943 vsize=9824732 CPUtime=2.25 cores=0,2,4,6
/proc/13946/task/13952/stat : 13952 (java) S 13943 13946 8337 0 -1 4202560 1096 0 0 0 194 31 0 0 20 0 22 0 23417643 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264610671528 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13946/tid=13953] ppid=13943 vsize=9824732 CPUtime=2.12 cores=0,2,4,6
/proc/13946/task/13953/stat : 13953 (java) S 13943 13946 8337 0 -1 4202560 1217 0 0 0 180 32 0 0 20 0 22 0 23417643 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264609618216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13946/tid=13954] ppid=13943 vsize=9824732 CPUtime=2.18 cores=0,2,4,6
/proc/13946/task/13954/stat : 13954 (java) S 13943 13946 8337 0 -1 4202560 1075 0 0 0 192 26 0 0 20 0 22 0 23417643 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264608565416 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13946/tid=13955] ppid=13943 vsize=9824732 CPUtime=2.15 cores=0,2,4,6
/proc/13946/task/13955/stat : 13955 (java) S 13943 13946 8337 0 -1 4202560 1194 0 0 0 186 29 0 0 20 0 22 0 23417643 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264607513128 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13946/tid=13956] ppid=13943 vsize=9824732 CPUtime=1.93 cores=0,2,4,6
/proc/13946/task/13956/stat : 13956 (java) S 13943 13946 8337 0 -1 4202560 1103 0 0 0 167 26 0 0 20 0 22 0 23417643 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264606460328 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13946/tid=13957] ppid=13943 vsize=9824732 CPUtime=4.05 cores=0,2,4,6
/proc/13946/task/13957/stat : 13957 (java) S 13943 13946 8337 0 -1 4202560 2753 0 0 0 399 6 0 0 20 0 22 0 23417645 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264594049768 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13946/tid=13958] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13958/stat : 13958 (java) S 13943 13946 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23417645 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264592995832 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13946/tid=13959] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13959/stat : 13959 (java) S 13943 13946 8337 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 23417645 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264591943432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13946/tid=13960] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13960/stat : 13960 (java) S 13943 13946 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23417648 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264590891920 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13946/tid=13961] ppid=13943 vsize=9824732 CPUtime=1.42 cores=0,2,4,6
/proc/13946/task/13961/stat : 13961 (java) S 13943 13946 8337 0 -1 4202560 9850 0 0 0 139 3 0 0 20 0 22 0 23417648 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264589838520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13946/tid=13962] ppid=13943 vsize=9824732 CPUtime=1.77 cores=0,2,4,6
/proc/13946/task/13962/stat : 13962 (java) S 13943 13946 8337 0 -1 4202560 10856 0 0 0 175 2 0 0 20 0 22 0 23417648 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264588785720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13946/tid=13963] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13963/stat : 13963 (java) S 13943 13946 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23417648 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264587733624 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13946/tid=13964] ppid=13943 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/13946/task/13964/stat : 13964 (java) S 13943 13946 8337 0 -1 4202560 53 0 0 0 14 14 0 0 20 0 22 0 23417648 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264586681032 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13946/tid=14020] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/14020/stat : 14020 (java) S 13943 13946 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23466766 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264581420072 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13946/tid=14109] ppid=13943 vsize=9824732 CPUtime=160.94 cores=0,2,4,6
/proc/13946/task/14109/stat : 14109 (java) R 13943 13946 8337 0 -1 4202560 6 0 0 0 16092 2 0 0 20 0 22 0 23491503 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264584569088 140264710510289 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13946/tid=14110] ppid=13943 vsize=9824732 CPUtime=160.91 cores=0,2,4,6
/proc/13946/task/14110/stat : 14110 (java) R 13943 13946 8337 0 -1 4202560 11 0 0 0 16089 2 0 0 20 0 22 0 23491503 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264582471232 140264710458093 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13946/tid=14111] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/14111/stat : 14111 (java) S 13943 13946 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23491503 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264583526056 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9824732

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 13946 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+900.501 s]
/proc/loadavg: 4.50 4.39 4.31 6/220 14117
/proc/meminfo: memFree=23893128/32872528 swapFree=1499884/1696108
[pid=13946] ppid=13943 vsize=9824732 CPUtime=1800.03 cores=0,2,4,6
/proc/13946/stat : 13946 (java) S 13943 13946 8337 0 -1 4202496 37867 0 1 0 179685 318 0 0 20 0 22 0 23417641 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140733350628080 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/13946/statm: 2456183 1003624 2295 9 0 2446860 0
[pid=13946/tid=13948] ppid=13943 vsize=9824732 CPUtime=0.38 cores=0,2,4,6
/proc/13946/task/13948/stat : 13948 (java) S 13943 13946 8337 0 -1 4202560 2535 0 1 0 36 2 0 0 20 0 22 0 23417642 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264769975160 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13946/tid=13949] ppid=13943 vsize=9824732 CPUtime=2.1 cores=0,2,4,6
/proc/13946/task/13949/stat : 13949 (java) S 13943 13946 8337 0 -1 4202560 1045 0 0 0 183 27 0 0 20 0 22 0 23417643 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264708705064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13946/tid=13950] ppid=13943 vsize=9824732 CPUtime=2.22 cores=0,2,4,6
/proc/13946/task/13950/stat : 13950 (java) S 13943 13946 8337 0 -1 4202560 934 0 0 0 192 30 0 0 20 0 22 0 23417643 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264707652264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13946/tid=13951] ppid=13943 vsize=9824732 CPUtime=2.31 cores=0,2,4,6
/proc/13946/task/13951/stat : 13951 (java) S 13943 13946 8337 0 -1 4202560 1018 0 0 0 200 31 0 0 20 0 22 0 23417643 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264611724328 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13946/tid=13952] ppid=13943 vsize=9824732 CPUtime=2.25 cores=0,2,4,6
/proc/13946/task/13952/stat : 13952 (java) S 13943 13946 8337 0 -1 4202560 1096 0 0 0 194 31 0 0 20 0 22 0 23417643 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264610671528 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13946/tid=13953] ppid=13943 vsize=9824732 CPUtime=2.12 cores=0,2,4,6
/proc/13946/task/13953/stat : 13953 (java) S 13943 13946 8337 0 -1 4202560 1217 0 0 0 180 32 0 0 20 0 22 0 23417643 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264609618216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13946/tid=13954] ppid=13943 vsize=9824732 CPUtime=2.18 cores=0,2,4,6
/proc/13946/task/13954/stat : 13954 (java) S 13943 13946 8337 0 -1 4202560 1075 0 0 0 192 26 0 0 20 0 22 0 23417643 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264608565416 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13946/tid=13955] ppid=13943 vsize=9824732 CPUtime=2.15 cores=0,2,4,6
/proc/13946/task/13955/stat : 13955 (java) S 13943 13946 8337 0 -1 4202560 1194 0 0 0 186 29 0 0 20 0 22 0 23417643 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264607513128 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13946/tid=13956] ppid=13943 vsize=9824732 CPUtime=1.93 cores=0,2,4,6
/proc/13946/task/13956/stat : 13956 (java) S 13943 13946 8337 0 -1 4202560 1103 0 0 0 167 26 0 0 20 0 22 0 23417643 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264606460328 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13946/tid=13957] ppid=13943 vsize=9824732 CPUtime=4.05 cores=0,2,4,6
/proc/13946/task/13957/stat : 13957 (java) S 13943 13946 8337 0 -1 4202560 2753 0 0 0 399 6 0 0 20 0 22 0 23417645 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264594049768 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13946/tid=13958] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13958/stat : 13958 (java) S 13943 13946 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23417645 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264592995832 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13946/tid=13959] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13959/stat : 13959 (java) S 13943 13946 8337 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 23417645 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264591943432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13946/tid=13960] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13960/stat : 13960 (java) S 13943 13946 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23417648 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264590891920 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13946/tid=13961] ppid=13943 vsize=9824732 CPUtime=1.42 cores=0,2,4,6
/proc/13946/task/13961/stat : 13961 (java) S 13943 13946 8337 0 -1 4202560 9850 0 0 0 139 3 0 0 20 0 22 0 23417648 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264589838520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13946/tid=13962] ppid=13943 vsize=9824732 CPUtime=1.77 cores=0,2,4,6
/proc/13946/task/13962/stat : 13962 (java) S 13943 13946 8337 0 -1 4202560 10856 0 0 0 175 2 0 0 20 0 22 0 23417648 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264588785720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13946/tid=13963] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/13963/stat : 13963 (java) S 13943 13946 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23417648 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264587733624 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13946/tid=13964] ppid=13943 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/13946/task/13964/stat : 13964 (java) S 13943 13946 8337 0 -1 4202560 53 0 0 0 14 14 0 0 20 0 22 0 23417648 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264586681032 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13946/tid=14020] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/14020/stat : 14020 (java) S 13943 13946 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23466766 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264581420072 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13946/tid=14109] ppid=13943 vsize=9824732 CPUtime=160.94 cores=0,2,4,6
/proc/13946/task/14109/stat : 14109 (java) R 13943 13946 8337 0 -1 4202560 6 0 0 0 16092 2 0 0 20 0 22 0 23491503 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264584569088 140264710510289 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13946/tid=14110] ppid=13943 vsize=9824732 CPUtime=160.91 cores=0,2,4,6
/proc/13946/task/14110/stat : 14110 (java) R 13943 13946 8337 0 -1 4202560 11 0 0 0 16089 2 0 0 20 0 22 0 23491503 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264582471232 140264710458093 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13946/tid=14111] ppid=13943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13946/task/14111/stat : 14111 (java) S 13943 13946 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23491503 10060525568 1003624 33554432000 1073741824 1073778376 140733350636944 140264583526056 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9824732

Child status: 143
Real time (s): 900.575
CPU time (s): 1800.45
CPU user time (s): 1796.98
CPU system time (s): 3.47347
CPU usage (%): 199.922
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.98
system time used= 3.47347
maximum resident set size= 4014640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37917
page faults= 1
swaps= 0
block input operations= 0
block output operations= 904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23296
involuntary context switches= 20933

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.88126 second user time and 8.04578 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-18 03:35:19
IDJOB=4101314
IDBENCH=1728
IDSOLVER=2543
FILE ID=node137/4101314-1466213719
RUNJOBID= node137-1466206054-8353
PBS_JOBID= 19918140
Free space on /tmp= 71704 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell4.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101314-1466213719/watcher-4101314-1466213719 -o /tmp/evaluation-result-4101314-1466213719/solver-4101314-1466213719 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466206054-8353 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4101314-1466213719.opb

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

MD5SUM BENCH= 51e821dd343df6d9e97b4cdfcd83ec3f
RANDOM SEED=1694873325

node137.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.486
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	: 5332.97
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.486
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.486
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.486
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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.486
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.38
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.486
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.486
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:        28936448 kB
Buffers:           90296 kB
Cached:            92960 kB
SwapCached:         1268 kB
Active:          1376668 kB
Inactive:         124952 kB
Active(anon):    1319824 kB
Inactive(anon):     1024 kB
Active(file):      56844 kB
Inactive(file):   123928 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100004 kB
Dirty:               880 kB
Writeback:             0 kB
AnonPages:       3097060 kB
Mapped:            15444 kB
Shmem:                 0 kB
Slab:             600648 kB
SReclaimable:      44784 kB
SUnreclaim:       555864 kB
KernelStack:        1808 kB
PageTables:        10364 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3160044 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1544192 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= 71700 MiB
End job on node137 at 2016-06-18 03:50:20