Trace number 4081332

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)11 1800.89 896.777

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_10_15.r.opb
MD5SUM7e1b8a9f40a52781f7629bf04a2d5793
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark500.006
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 10
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint15
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4081332-1465231375.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.09/0.17	c ... done. Wall clock time 0.053s.
0.09/0.17	c declared #vars     100
0.09/0.17	c #constraints  100
0.09/0.18	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.18	c constraints type 
0.09/0.18	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
0.09/0.18	c 100 constraints processed.
0.09/0.18	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.18	c constraints type 
0.09/0.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 100
0.09/0.18	c 100 constraints processed.
0.09/0.18	c objective function length is 100 literals
0.09/0.18	c And the winner is solver0
0.21/0.68	c SATISFIABLE
0.21/0.68	c OPTIMIZING...
0.21/0.68	c Got one! Elapsed wall clock time (in seconds):0.558
0.21/0.68	o 16
0.21/0.69	c And the winner is solver0
0.23/1.18	c Got one! Elapsed wall clock time (in seconds):1.061
0.23/1.18	o 15
0.23/1.20	c And the winner is solver0
0.42/1.68	c Got one! Elapsed wall clock time (in seconds):1.562
0.42/1.68	o 14
0.87/1.86	c And the winner is solver1
1.38/2.18	c Got one! Elapsed wall clock time (in seconds):2.064
1.38/2.18	o 13
1.86/2.34	c cleaning 2745 clauses out of 5490 with flag 5751/5490
2.61/2.53	c cleaning 4370 clauses out of 8744 with flag 22835/11489
3.17/2.75	c cleaning 5688 clauses out of 11376 with flag 42214/18491
3.92/3.03	c cleaning 6843 clauses out of 13686 with flag 63014/26489
4.55/3.34	c cleaning 7925 clauses out of 15853 with flag 87139/35499
5.37/3.71	c cleaning 8951 clauses out of 17918 with flag 113579/45489
6.39/4.24	c cleaning 9974 clauses out of 19968 with flag 141693/56490
7.43/4.76	c cleaning 10995 clauses out of 21997 with flag 173943/68493
8.63/5.34	c cleaning 11995 clauses out of 23998 with flag 209519/81489
10.04/6.04	c cleaning 12994 clauses out of 26003 with flag 245410/95489
11.46/6.78	c cleaning 14000 clauses out of 28010 with flag 286503/110490
13.29/7.70	c cleaning 14998 clauses out of 30009 with flag 330831/126489
15.49/8.72	c cleaning 16006 clauses out of 32012 with flag 379709/143490
17.70/9.90	c cleaning 17001 clauses out of 34005 with flag 428915/161489
20.68/11.20	c cleaning 17991 clauses out of 36007 with flag 480348/180492
23.08/12.49	c cleaning 19000 clauses out of 38013 with flag 532609/200489
26.32/14.03	c cleaning 19998 clauses out of 40015 with flag 587742/221491
29.52/15.67	c cleaning 21007 clauses out of 42015 with flag 649433/243489
33.37/17.50	c cleaning 22006 clauses out of 44012 with flag 715027/266493
36.77/19.29	c cleaning 22993 clauses out of 46002 with flag 783095/290489
40.76/21.28	c cleaning 24002 clauses out of 48013 with flag 854770/315493
45.01/23.35	c cleaning 25002 clauses out of 50007 with flag 927425/341489
49.82/25.75	c cleaning 25996 clauses out of 52005 with flag 999991/368489
55.21/28.48	c cleaning 26999 clauses out of 54009 with flag 1077584/396489
56.82/29.29	c cleaning 0 clauses out of 5080 with flag 0/5081
61.27/31.23	c cleaning 27998 clauses out of 56010 with flag 1155839/425489
67.61/34.34	c cleaning 29003 clauses out of 58013 with flag 1232498/455490
74.61/37.81	c cleaning 29998 clauses out of 60009 with flag 1312720/486489
82.26/41.64	c cleaning 30998 clauses out of 62011 with flag 1396582/518489
86.46/43.71	c And the winner is solver1
86.49/44.20	c Got one! Elapsed wall clock time (in seconds):44.077
86.49/44.20	o 12
87.89/44.92	c cleaning 28654 clauses out of 57308 with flag 14446/544784
88.69/45.33	c cleaning 17330 clauses out of 34659 with flag 31690/550789
89.29/45.63	c cleaning 12160 clauses out of 24324 with flag 51579/557784
89.89/45.93	c cleaning 10080 clauses out of 20164 with flag 74774/565784
90.51/46.25	c cleaning 9539 clauses out of 19085 with flag 101792/574785
91.29/46.62	c cleaning 9767 clauses out of 19546 with flag 131403/584785
92.09/47.04	c cleaning 10387 clauses out of 20779 with flag 164834/595785
93.09/47.52	c cleaning 11196 clauses out of 22393 with flag 202037/607786
94.09/48.06	c cleaning 12090 clauses out of 24195 with flag 243068/620784
95.34/48.68	c cleaning 13052 clauses out of 26105 with flag 285867/634784
96.73/49.36	c cleaning 14026 clauses out of 28053 with flag 328192/649784
98.35/50.14	c cleaning 15007 clauses out of 30027 with flag 376660/665784
100.15/51.07	c cleaning 16010 clauses out of 32020 with flag 429763/682784
102.15/52.04	c cleaning 17004 clauses out of 34010 with flag 485567/700784
104.15/53.07	c cleaning 18002 clauses out of 36006 with flag 548711/719784
106.55/54.23	c cleaning 19000 clauses out of 38004 with flag 614405/739784
108.95/55.43	c cleaning 20000 clauses out of 40006 with flag 688004/760786
111.59/56.77	c cleaning 21003 clauses out of 42005 with flag 765330/782785
114.39/58.19	c cleaning 21996 clauses out of 44002 with flag 854165/805785
117.41/59.67	c cleaning 23003 clauses out of 46006 with flag 944228/829785
120.62/61.24	c cleaning 23993 clauses out of 48002 with flag 1039729/854784
124.02/62.94	c cleaning 25001 clauses out of 50009 with flag 1145280/880784
127.87/64.81	c cleaning 26000 clauses out of 52008 with flag 1251759/907784
132.48/67.17	c cleaning 26998 clauses out of 54008 with flag 1335547/935784
137.27/69.51	c cleaning 28001 clauses out of 56014 with flag 1421413/964788
142.51/72.19	c cleaning 29002 clauses out of 58009 with flag 1512185/994784
147.71/74.75	c cleaning 30004 clauses out of 60010 with flag 1613280/1025787
154.32/78.01	c cleaning 31001 clauses out of 62005 with flag 1721711/1057786
160.36/81.01	c cleaning 31996 clauses out of 64002 with flag 1838000/1090784
167.36/84.52	c cleaning 33005 clauses out of 66009 with flag 1953680/1124787
174.00/87.85	c cleaning 33997 clauses out of 68001 with flag 2081870/1159784
181.60/91.67	c cleaning 35003 clauses out of 70005 with flag 2214961/1195785
188.44/95.08	c cleaning 36001 clauses out of 72003 with flag 2358433/1232786
195.65/98.61	c cleaning 37000 clauses out of 74001 with flag 2512822/1270785
203.49/102.50	c cleaning 37999 clauses out of 76000 with flag 2687190/1309784
212.68/107.10	c cleaning 38997 clauses out of 78001 with flag 2816289/1349784
222.48/112.08	c cleaning 40000 clauses out of 80004 with flag 2942409/1390784
232.90/117.25	c cleaning 41003 clauses out of 82006 with flag 3074061/1432786
243.74/122.65	c cleaning 41997 clauses out of 84001 with flag 3206124/1475784
254.00/127.75	c cleaning 42995 clauses out of 86004 with flag 3348004/1519784
254.98/128.24	c cleaning 0 clauses out of 10091 with flag 0/10092
265.02/133.24	c cleaning 43999 clauses out of 88011 with flag 3490979/1564786
276.07/138.77	c cleaning 44996 clauses out of 90010 with flag 3622528/1610784
287.88/144.66	c cleaning 46000 clauses out of 92014 with flag 3761124/1657784
300.17/150.76	c cleaning 47002 clauses out of 94015 with flag 3913471/1705785
312.60/156.93	c cleaning 48006 clauses out of 96012 with flag 4078688/1754784
324.45/162.81	c cleaning 48997 clauses out of 98006 with flag 4238954/1804784
338.31/169.73	c cleaning 50001 clauses out of 100010 with flag 4411202/1855785
352.58/176.83	c cleaning 51002 clauses out of 102009 with flag 4591699/1907785
365.85/183.50	c cleaning 52004 clauses out of 104007 with flag 4797169/1960785
380.71/190.89	c cleaning 53000 clauses out of 106004 with flag 4987309/2014786
393.56/197.20	c And the winner is solver1
393.56/197.25	c Got one! Elapsed wall clock time (in seconds):197.134
393.56/197.25	o 11
396.13/198.56	c cleaning 53952 clauses out of 107910 with flag 15045/2069692
397.58/199.23	c cleaning 29976 clauses out of 59962 with flag 34037/2075696
398.36/199.65	c cleaning 18489 clauses out of 36982 with flag 54568/2082692
398.96/199.99	c cleaning 13245 clauses out of 26493 with flag 79068/2090692
399.78/200.32	c cleaning 11125 clauses out of 22251 with flag 107727/2099695
400.37/200.63	c cleaning 10560 clauses out of 21124 with flag 141354/2109693
401.17/201.01	c cleaning 10780 clauses out of 21566 with flag 178778/2120695
402.00/201.46	c cleaning 11388 clauses out of 22783 with flag 220117/2132692
403.00/201.91	c cleaning 12193 clauses out of 24395 with flag 267937/2145692
404.01/202.43	c cleaning 13099 clauses out of 26205 with flag 314090/2159695
405.19/203.07	c cleaning 14050 clauses out of 28105 with flag 357194/2174694
406.79/203.80	c cleaning 15026 clauses out of 30053 with flag 405096/2190692
408.42/204.62	c cleaning 16014 clauses out of 32028 with flag 458890/2207693
410.21/205.51	c cleaning 17004 clauses out of 34013 with flag 517293/2225692
412.01/206.49	c cleaning 18005 clauses out of 36009 with flag 585314/2244692
414.24/207.50	c cleaning 18998 clauses out of 38004 with flag 654767/2264692
416.43/208.62	c cleaning 19998 clauses out of 40006 with flag 728282/2285692
418.85/209.84	c cleaning 20998 clauses out of 42009 with flag 803270/2307693
421.25/211.09	c cleaning 22002 clauses out of 44011 with flag 877787/2330693
424.47/212.61	c cleaning 23004 clauses out of 46008 with flag 952909/2354692
427.51/214.17	c cleaning 24002 clauses out of 48005 with flag 1037234/2379693
430.77/215.78	c cleaning 24998 clauses out of 50002 with flag 1133909/2405692
434.35/217.53	c cleaning 26002 clauses out of 52004 with flag 1236568/2432692
437.96/219.39	c cleaning 26999 clauses out of 54002 with flag 1348562/2460692
442.18/221.45	c cleaning 28001 clauses out of 56004 with flag 1468980/2489693
446.40/223.51	c cleaning 28995 clauses out of 58002 with flag 1595093/2519692
450.85/225.72	c cleaning 30001 clauses out of 60007 with flag 1731819/2550692
455.69/228.12	c cleaning 31003 clauses out of 62006 with flag 1880715/2582692
460.71/230.67	c cleaning 32003 clauses out of 64005 with flag 1986304/2615694
466.95/233.79	c cleaning 32997 clauses out of 66000 with flag 2087665/2649692
473.01/236.79	c cleaning 33996 clauses out of 68005 with flag 2198402/2684694
479.64/240.04	c cleaning 35001 clauses out of 70007 with flag 2316184/2720692
486.26/243.38	c cleaning 35999 clauses out of 72006 with flag 2440592/2757692
493.29/246.83	c cleaning 37001 clauses out of 74007 with flag 2567428/2795692
500.36/250.33	c cleaning 37998 clauses out of 76006 with flag 2712517/2834692
508.62/254.47	c cleaning 39004 clauses out of 78010 with flag 2856774/2874694
517.90/259.02	c cleaning 39992 clauses out of 80004 with flag 2977018/2915692
526.77/263.46	c cleaning 41004 clauses out of 82012 with flag 3098927/2957692
535.83/267.95	c cleaning 42002 clauses out of 84010 with flag 3233844/3000694
544.87/272.45	c cleaning 43002 clauses out of 86006 with flag 3371064/3044692
554.77/277.34	c cleaning 43998 clauses out of 88004 with flag 3527626/3089692
566.25/283.09	c cleaning 45001 clauses out of 90006 with flag 3681136/3135692
578.08/288.94	c cleaning 46001 clauses out of 92005 with flag 3818851/3182692
590.19/294.92	c cleaning 47004 clauses out of 94007 with flag 3957006/3230695
602.61/301.18	c cleaning 47990 clauses out of 96000 with flag 4102302/3279692
615.50/307.54	c cleaning 49005 clauses out of 98011 with flag 4265188/3329693
627.97/313.73	c cleaning 50003 clauses out of 100005 with flag 4421482/3380692
639.87/319.64	c cleaning 50997 clauses out of 102003 with flag 4599558/3432693
652.54/325.91	c cleaning 52003 clauses out of 104009 with flag 4796850/3485696
664.02/331.64	c cleaning 0 clauses out of 15302 with flag 0/15303
666.65/332.92	c cleaning 53000 clauses out of 106002 with flag 5011024/3539692
680.10/339.64	c cleaning 53997 clauses out of 108003 with flag 5219085/3594693
695.18/347.17	c cleaning 55000 clauses out of 110005 with flag 5455422/3650692
710.69/354.80	c cleaning 56003 clauses out of 112006 with flag 5697120/3707693
725.40/362.11	c cleaning 57002 clauses out of 114004 with flag 5949996/3765694
744.33/371.51	c cleaning 57998 clauses out of 116001 with flag 6138605/3824693
761.64/380.15	c cleaning 59000 clauses out of 118002 with flag 6362281/3884692
779.37/388.90	c cleaning 60002 clauses out of 120004 with flag 6584321/3945694
797.70/398.09	c cleaning 60997 clauses out of 122001 with flag 6845763/4007693
816.62/407.40	c cleaning 62001 clauses out of 124006 with flag 7116405/4070695
838.77/418.44	c cleaning 63002 clauses out of 126003 with flag 7311344/4134693
861.69/429.82	c cleaning 64005 clauses out of 128009 with flag 7507624/4199701
886.86/442.37	c cleaning 64996 clauses out of 129995 with flag 7704042/4265692
912.19/454.91	c cleaning 65995 clauses out of 131999 with flag 7915850/4332692
935.33/466.66	c cleaning 66999 clauses out of 134004 with flag 8164553/4400692
957.42/477.68	c cleaning 67998 clauses out of 136006 with flag 8438281/4469693
979.33/488.57	c cleaning 69003 clauses out of 138007 with flag 8705951/4539692
1005.03/501.36	c cleaning 69998 clauses out of 140004 with flag 8935066/4610692
1030.16/513.85	c cleaning 70992 clauses out of 142007 with flag 9150879/4682693
1057.48/527.45	c cleaning 72002 clauses out of 144014 with flag 9398980/4755692
1085.07/541.10	c cleaning 73005 clauses out of 146015 with flag 9661034/4829695
1114.03/555.55	c cleaning 74003 clauses out of 148007 with flag 9906171/4904692
1144.19/570.51	c cleaning 74997 clauses out of 150005 with flag 10161217/4980693
1173.58/585.16	c cleaning 76004 clauses out of 152008 with flag 10425011/5057693
1202.58/599.51	c cleaning 77001 clauses out of 154005 with flag 10710228/5135694
1238.18/617.22	c cleaning 77993 clauses out of 156002 with flag 10964525/5214692
1271.75/633.93	c cleaning 79005 clauses out of 158009 with flag 11207159/5294692
1307.37/651.68	c cleaning 79998 clauses out of 160004 with flag 11454971/5375692
1344.64/670.19	c cleaning 80995 clauses out of 162006 with flag 11712742/5457692
1382.06/688.98	c cleaning 82004 clauses out of 164014 with flag 11959052/5540695
1417.92/706.74	c cleaning 83005 clauses out of 166011 with flag 12217779/5624696
1437.18/716.32	c cleaning 0 clauses out of 21305 with flag 0/21306
1454.51/724.93	c cleaning 84001 clauses out of 168006 with flag 12492404/5709696
1493.30/744.28	c cleaning 85000 clauses out of 170001 with flag 12781488/5795692
1534.09/764.56	c cleaning 86001 clauses out of 172004 with flag 13040792/5882695
1575.31/785.00	c cleaning 86999 clauses out of 174001 with flag 13325818/5970693
1614.17/804.37	c cleaning 87998 clauses out of 176001 with flag 13630071/6059692
1651.62/822.93	c cleaning 89000 clauses out of 178003 with flag 13973514/6149692
1687.67/840.89	c cleaning 90001 clauses out of 180005 with flag 14333139/6240694
1733.79/863.73	c cleaning 90994 clauses out of 182003 with flag 14615172/6332693
1777.01/885.29	c cleaning 91997 clauses out of 184008 with flag 14913381/6425692
1800.10/896.70	c >>>>>>>>>> Solver number 0 (3 answers) <<<<<<<<<<<<<<<<<<
1800.10/896.70	c starts		: 113848
1800.10/896.70	c conflicts		: 6479401
1800.10/896.70	c decisions		: 15406210
1800.10/896.70	c propagations		: 85121739
1800.10/896.70	c inspects		: 14852607332
1800.10/896.70	c shortcuts		: 0
1800.10/896.70	c learnt literals	: 0
1800.10/896.70	c learnt binary clauses	: 0
1800.10/896.70	c learnt ternary clauses	: 0
1800.10/896.70	c learnt constraints	: 6479402
1800.10/896.70	c ignored constraints	: 0
1800.10/896.70	c root simplifications	: 0
1800.10/896.70	c removed literals (reason simplification)	: 28564458
1800.10/896.70	c reason swapping (by a shorter reason)	: 0
1800.10/896.70	c Calls to reduceDB	: 167
1800.10/896.70	c Number of update (reduction) of LBD	: 1770561
1800.10/896.70	c Imported unit clauses	: 0
1800.10/896.70	c number of reductions to clauses (during analyze)	: 0
1800.10/896.70	c number of learned constraints concerned by reduction	: 0
1800.10/896.70	c number of learning phase by resolution	: 0
1800.10/896.70	c number of learning phase by cutting planes	: 0
1800.10/896.70	c speed (assignments/second)	: 121698.104224748
1800.10/896.70	c non guided choices	0
1800.10/896.74	c learnt constraints type 
1800.10/896.74	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 145721
1800.10/896.74	c >>>>>>>>>> Solver number 1 (3 answers) <<<<<<<<<<<<<<<<<<
1800.10/896.74	c starts		: 58
1800.10/896.74	c conflicts		: 23691
1800.10/896.74	c decisions		: 67141
1800.10/896.74	c propagations		: 308806
1800.10/896.74	c inspects		: 979038493
1800.10/896.74	c shortcuts		: 0
1800.10/896.74	c learnt literals	: 0
1800.10/896.74	c learnt binary clauses	: 0
1800.10/896.74	c learnt ternary clauses	: 0
1800.10/896.74	c learnt constraints	: 23690
1800.10/896.74	c ignored constraints	: 0
1800.10/896.74	c root simplifications	: 0
1800.10/896.74	c removed literals (reason simplification)	: 0
1800.10/896.74	c reason swapping (by a shorter reason)	: 0
1800.10/896.74	c Calls to reduceDB	: 4
1800.10/896.74	c Number of update (reduction) of LBD	: 0
1800.10/896.74	c Imported unit clauses	: 0
1800.10/896.74	c number of reductions to clauses (during analyze)	: 0
1800.10/896.74	c number of learned constraints concerned by reduction	: 0
1800.10/896.74	c number of learning phase by resolution	: 0
1800.10/896.74	c number of learning phase by cutting planes	: 0
1800.10/896.74	c speed (assignments/second)	: 345.01382039519405
1800.10/896.74	c non guided choices	0
1800.10/896.75	c learnt constraints type 
1800.10/896.75	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 198
1800.10/896.75	c org.sat4j.pb.constraints.pb.MaxWatchPb => 23492
1800.10/896.75	s SATISFIABLE
1800.10/896.75	c Found 6 solution(s)
1800.10/896.75	v -x1 -x2 -x3 x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 x74 -x75 x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 
1800.10/896.75	c objective function=11
1800.10/896.75	c Total wall clock time (in seconds): 896.631

Verifier Data 

OK	11

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-4081332-1465231375/watcher-4081332-1465231375 -o /tmp/evaluation-result-4081332-1465231375/solver-4081332-1465231375 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465223671-12332 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081332-1465231375.opb 

pid=14933
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.12 4.10 4.09 4/197 14936
/proc/meminfo: memFree=29343700/32872528 swapFree=11320/319964
[pid=14936] ppid=14933 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/14936/stat : 14936 (java) D 14933 14936 12316 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 105070775 9515008 182 33554432000 1073741824 1073778376 140734253447648 140734253438680 262962757301 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/14936/statm: 2323 182 140 9 0 71 0

[startup+0.100098 s]
/proc/loadavg: 4.12 4.10 4.09 4/197 14936
/proc/meminfo: memFree=29343700/32872528 swapFree=11320/319964
[pid=14936] ppid=14933 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/14936/stat : 14936 (java) S 14933 14936 12316 0 -1 4202496 4407 0 1 0 8 1 0 0 20 0 18 0 105070775 9787879424 6034 33554432000 1073741824 1073778376 140735252070976 140735252062112 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/14936/statm: 2389619 6034 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.20029 s]
/proc/loadavg: 4.12 4.10 4.09 4/197 14936
/proc/meminfo: memFree=29343700/32872528 swapFree=11320/319964
[pid=14936] ppid=14933 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/14936/stat : 14936 (java) S 14933 14936 12316 0 -1 4202496 4797 0 1 0 20 1 0 0 20 0 19 0 105070775 10060525568 7889 33554432000 1073741824 1073778376 140735252070976 140735252062112 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/14936/statm: 2456183 7889 2207 9 0 2446860 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9824732

[startup+0.30036 s]
/proc/loadavg: 4.12 4.10 4.09 4/197 14936
/proc/meminfo: memFree=29343700/32872528 swapFree=11320/319964
[pid=14936] ppid=14933 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/14936/stat : 14936 (java) S 14933 14936 12316 0 -1 4202496 4797 0 1 0 20 1 0 0 20 0 19 0 105070775 10060525568 7889 33554432000 1073741824 1073778376 140735252070976 140735252062112 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/14936/statm: 2456183 7889 2207 9 0 2446860 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9824732

[startup+0.700153 s]
/proc/loadavg: 4.12 4.10 4.09 4/197 14936
/proc/meminfo: memFree=29343700/32872528 swapFree=11320/319964
[pid=14936] ppid=14933 vsize=9824732 CPUtime=0.23 cores=0,2,4,6
/proc/14936/stat : 14936 (java) S 14933 14936 12316 0 -1 4202496 4822 0 1 0 21 2 0 0 20 0 19 0 105070775 10060525568 8924 33554432000 1073741824 1073778376 140735252070976 140735252062112 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/14936/statm: 2456183 8924 2207 9 0 2446860 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9824732

[startup+1.50079 s]
/proc/loadavg: 4.12 4.10 4.09 3/216 14961
/proc/meminfo: memFree=29316700/32872528 swapFree=11320/319964
[pid=14936] ppid=14933 vsize=9824732 CPUtime=0.42 cores=0,2,4,6
/proc/14936/stat : 14936 (java) S 14933 14936 12316 0 -1 4202496 8062 0 1 0 37 5 0 0 20 0 19 0 105070775 10060525568 11427 33554432000 1073741824 1073778376 140735252070976 140735252062112 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/14936/statm: 2456183 11427 2243 9 0 2446860 0
[pid=14936/tid=14938] ppid=14933 vsize=9824732 CPUtime=0.15 cores=0,2,4,6
/proc/14936/task/14938/stat : 14938 (java) S 14933 14936 12316 0 -1 4202560 2417 0 1 0 15 0 0 0 20 0 19 0 105070777 10060525568 11427 33554432000 1073741824 1073778376 140735252070976 139674029781880 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14936/tid=14939] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14939/stat : 14939 (java) S 14933 14936 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105070778 10060525568 11427 33554432000 1073741824 1073778376 140735252070976 139674018843688 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14940] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14940/stat : 14940 (java) S 14933 14936 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105070778 10060525568 11427 33554432000 1073741824 1073778376 140735252070976 139674017790888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14936/tid=14941] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14941/stat : 14941 (java) S 14933 14936 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105070778 10060525568 11427 33554432000 1073741824 1073778376 140735252070976 139674016738088 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14936/tid=14942] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14942/stat : 14942 (java) S 14933 14936 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105070778 10060525568 11427 33554432000 1073741824 1073778376 140735252070976 139674015685288 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14936/tid=14943] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14943/stat : 14943 (java) S 14933 14936 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105070778 10060525568 11427 33554432000 1073741824 1073778376 140735252070976 139673869171240 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14944] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14944/stat : 14944 (java) S 14933 14936 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105070778 10060525568 11427 33554432000 1073741824 1073778376 140735252070976 139673868118440 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14936/tid=14945] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14945/stat : 14945 (java) S 14933 14936 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105070778 10060525568 11427 33554432000 1073741824 1073778376 140735252070976 139673867065640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14936/tid=14946] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14946/stat : 14946 (java) S 14933 14936 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105070778 10060525568 11427 33554432000 1073741824 1073778376 140735252070976 139673866012840 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14947] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14947/stat : 14947 (java) S 14933 14936 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105070779 10060525568 11427 33554432000 1073741824 1073778376 140735252070976 139673853815784 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14936/tid=14948] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14948/stat : 14948 (java) S 14933 14936 12316 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105070779 10060525568 11427 33554432000 1073741824 1073778376 140735252070976 139673852761848 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14949] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14949/stat : 14949 (java) S 14933 14936 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105070779 10060525568 11427 33554432000 1073741824 1073778376 140735252070976 139673851708936 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14950] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14950/stat : 14950 (java) S 14933 14936 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105070782 10060525568 11427 33554432000 1073741824 1073778376 140735252070976 139673850657424 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14951] ppid=14933 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/14936/task/14951/stat : 14951 (java) S 14933 14936 12316 0 -1 4202560 2457 0 0 0 9 0 0 0 20 0 19 0 105070782 10060525568 11427 33554432000 1073741824 1073778376 140735252070976 139673849604536 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14952] ppid=14933 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/14936/task/14952/stat : 14952 (java) S 14933 14936 12316 0 -1 4202560 1823 0 0 0 8 0 0 0 20 0 19 0 105070782 10060525568 11427 33554432000 1073741824 1073778376 140735252070976 139673848551736 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14936/tid=14953] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14953/stat : 14953 (java) S 14933 14936 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105070782 10060525568 11427 33554432000 1073741824 1073778376 140735252070976 139673847499128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14936/tid=14954] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14954/stat : 14954 (java) S 14933 14936 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105070782 10060525568 11427 33554432000 1073741824 1073778376 140735252070976 139673846446536 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14936/tid=14958] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14958/stat : 14958 (java) S 14933 14936 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105070794 10060525568 11427 33554432000 1073741824 1073778376 140735252070976 139673842234664 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 9824732

[startup+3.10094 s]
/proc/loadavg: 4.12 4.10 4.09 7/219 14970
/proc/meminfo: memFree=29280892/32872528 swapFree=11320/319964
[pid=14936] ppid=14933 vsize=9824732 CPUtime=4.13 cores=0,2,4,6
/proc/14936/stat : 14936 (java) S 14933 14936 12316 0 -1 4202496 21610 0 1 0 400 13 0 0 20 0 22 0 105070775 10060525568 46124 33554432000 1073741824 1073778376 140735252070976 140735252062112 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/14936/statm: 2456183 46124 2278 9 0 2446860 0
[pid=14936/tid=14938] ppid=14933 vsize=9824732 CPUtime=0.15 cores=0,2,4,6
/proc/14936/task/14938/stat : 14938 (java) S 14933 14936 12316 0 -1 4202560 2418 0 1 0 15 0 0 0 20 0 22 0 105070777 10060525568 46124 33554432000 1073741824 1073778376 140735252070976 139674029781880 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14936/tid=14939] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14939/stat : 14939 (java) S 14933 14936 12316 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 105070778 10060525568 46124 33554432000 1073741824 1073778376 140735252070976 139674018843688 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14940] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14940/stat : 14940 (java) S 14933 14936 12316 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 105070778 10060525568 46124 33554432000 1073741824 1073778376 140735252070976 139674017790888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14936/tid=14941] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14941/stat : 14941 (java) S 14933 14936 12316 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 105070778 10060525568 46124 33554432000 1073741824 1073778376 140735252070976 139674016738088 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14936/tid=14942] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14942/stat : 14942 (java) S 14933 14936 12316 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 105070778 10060525568 46124 33554432000 1073741824 1073778376 140735252070976 139674015685288 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14936/tid=14943] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14943/stat : 14943 (java) S 14933 14936 12316 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 105070778 10060525568 46124 33554432000 1073741824 1073778376 140735252070976 139673869171240 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14944] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14944/stat : 14944 (java) S 14933 14936 12316 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 105070778 10060525568 46124 33554432000 1073741824 1073778376 140735252070976 139673868118440 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14936/tid=14945] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14945/stat : 14945 (java) S 14933 14936 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105070778 10060525568 46124 33554432000 1073741824 1073778376 140735252070976 139673867065640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14936/tid=14946] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14946/stat : 14946 (java) S 14933 14936 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105070778 10060525568 46124 33554432000 1073741824 1073778376 140735252070976 139673866012840 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14947] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14947/stat : 14947 (java) S 14933 14936 12316 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 105070779 10060525568 46124 33554432000 1073741824 1073778376 140735252070976 139673853815784 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14936/tid=14948] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14948/stat : 14948 (java) S 14933 14936 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105070779 10060525568 46124 33554432000 1073741824 1073778376 140735252070976 139673852761848 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14949] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14949/stat : 14949 (java) S 14933 14936 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105070779 10060525568 46124 33554432000 1073741824 1073778376 140735252070976 139673851708936 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14950] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14950/stat : 14950 (java) S 14933 14936 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105070782 10060525568 46124 33554432000 1073741824 1073778376 140735252070976 139673850657424 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14951] ppid=14933 vsize=9824732 CPUtime=0.84 cores=0,2,4,6
/proc/14936/task/14951/stat : 14951 (java) S 14933 14936 12316 0 -1 4202560 10683 0 0 0 81 3 0 0 20 0 22 0 105070782 10060525568 46124 33554432000 1073741824 1073778376 140735252070976 139673849604536 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14952] ppid=14933 vsize=9824732 CPUtime=0.84 cores=0,2,4,6
/proc/14936/task/14952/stat : 14952 (java) S 14933 14936 12316 0 -1 4202560 6960 0 0 0 84 0 0 0 20 0 22 0 105070782 10060525568 46124 33554432000 1073741824 1073778376 140735252070976 139673848551736 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14936/tid=14953] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14953/stat : 14953 (java) S 14933 14936 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105070782 10060525568 46124 33554432000 1073741824 1073778376 140735252070976 139673847499128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14936/tid=14954] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14954/stat : 14954 (java) S 14933 14936 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105070782 10060525568 46124 33554432000 1073741824 1073778376 140735252070976 139673846446536 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14936/tid=14967] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14967/stat : 14967 (java) S 14933 14936 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105070944 10060525568 46124 33554432000 1073741824 1073778376 140735252070976 139673844339880 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14936/tid=14968] ppid=14933 vsize=9824732 CPUtime=0.88 cores=0,2,4,6
/proc/14936/task/14968/stat : 14968 (java) R 14933 14936 12316 0 -1 4202560 5 0 0 0 88 0 0 0 20 0 22 0 105070994 10060525568 46124 33554432000 1073741824 1073778376 140735252070976 139673845383072 139673897266011 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14936/tid=14969] ppid=14933 vsize=9824732 CPUtime=0.88 cores=0,2,4,6
/proc/14936/task/14969/stat : 14969 (java) R 14933 14936 12316 0 -1 4202560 56 0 0 0 86 2 0 0 20 0 22 0 105070994 10060525568 46124 33554432000 1073741824 1073778376 140735252070976 139673843286024 139673897317830 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14936/tid=14970] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14970/stat : 14970 (java) S 14933 14936 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105070994 10060525568 46124 33554432000 1073741824 1073778376 140735252070976 139673842234152 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.13
Current children cumulated vsize (KiB) 9824732

[startup+6.30102 s]
/proc/loadavg: 4.27 4.13 4.10 5/219 14970
/proc/meminfo: memFree=28949660/32872528 swapFree=11320/319964
[pid=14936] ppid=14933 vsize=9824732 CPUtime=10.64 cores=0,2,4,6
/proc/14936/stat : 14936 (java) S 14933 14936 12316 0 -1 4202496 22758 0 1 0 1040 24 0 0 20 0 22 0 105070775 10060525568 146582 33554432000 1073741824 1073778376 140735252070976 140735252062112 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/14936/statm: 2456183 146582 2278 9 0 2446860 0
[pid=14936/tid=14938] ppid=14933 vsize=9824732 CPUtime=0.15 cores=0,2,4,6
/proc/14936/task/14938/stat : 14938 (java) S 14933 14936 12316 0 -1 4202560 2418 0 1 0 15 0 0 0 20 0 22 0 105070777 10060525568 146582 33554432000 1073741824 1073778376 140735252070976 139674029781880 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14936/tid=14939] ppid=14933 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/14936/task/14939/stat : 14939 (java) S 14933 14936 12316 0 -1 4202560 68 0 0 0 3 0 0 0 20 0 22 0 105070778 10060525568 146582 33554432000 1073741824 1073778376 140735252070976 139674018843688 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14936/tid=14940] ppid=14933 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/14936/task/14940/stat : 14940 (java) S 14933 14936 12316 0 -1 4202560 101 0 0 0 2 0 0 0 20 0 22 0 105070778 10060525568 146582 33554432000 1073741824 1073778376 140735252070976 139674017790888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14936/tid=14941] ppid=14933 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/14936/task/14941/stat : 14941 (java) S 14933 14936 12316 0 -1 4202560 46 0 0 0 1 1 0 0 20 0 22 0 105070778 10060525568 146582 33554432000 1073741824 1073778376 140735252070976 139674016738088 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14936/tid=14942] ppid=14933 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/14936/task/14942/stat : 14942 (java) S 14933 14936 12316 0 -1 4202560 117 0 0 0 3 0 0 0 20 0 22 0 105070778 10060525568 146582 33554432000 1073741824 1073778376 140735252070976 139674015685288 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14936/tid=14943] ppid=14933 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/14936/task/14943/stat : 14943 (java) S 14933 14936 12316 0 -1 4202560 112 0 0 0 3 0 0 0 20 0 22 0 105070778 10060525568 146582 33554432000 1073741824 1073778376 140735252070976 139673869171240 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14944] ppid=14933 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/14936/task/14944/stat : 14944 (java) S 14933 14936 12316 0 -1 4202560 136 0 0 0 2 2 0 0 20 0 22 0 105070778 10060525568 146582 33554432000 1073741824 1073778376 140735252070976 139673868118440 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14936/tid=14945] ppid=14933 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/14936/task/14945/stat : 14945 (java) S 14933 14936 12316 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 105070778 10060525568 146582 33554432000 1073741824 1073778376 140735252070976 139673867065640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14936/tid=14946] ppid=14933 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/14936/task/14946/stat : 14946 (java) S 14933 14936 12316 0 -1 4202560 63 0 0 0 1 2 0 0 20 0 22 0 105070778 10060525568 146582 33554432000 1073741824 1073778376 140735252070976 139673866012840 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14936/tid=14947] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14947/stat : 14947 (java) S 14933 14936 12316 0 -1 4202560 439 0 0 0 0 0 0 0 20 0 22 0 105070779 10060525568 146582 33554432000 1073741824 1073778376 140735252070976 139673853815784 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14936/tid=14948] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14948/stat : 14948 (java) S 14933 14936 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105070779 10060525568 146582 33554432000 1073741824 1073778376 140735252070976 139673852761848 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14949] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14949/stat : 14949 (java) S 14933 14936 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105070779 10060525568 146582 33554432000 1073741824 1073778376 140735252070976 139673851708936 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14950] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14950/stat : 14950 (java) S 14933 14936 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105070782 10060525568 146582 33554432000 1073741824 1073778376 140735252070976 139673850657424 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14951] ppid=14933 vsize=9824732 CPUtime=0.86 cores=0,2,4,6
/proc/14936/task/14951/stat : 14951 (java) S 14933 14936 12316 0 -1 4202560 10683 0 0 0 83 3 0 0 20 0 22 0 105070782 10060525568 146582 33554432000 1073741824 1073778376 140735252070976 139673849604536 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14952] ppid=14933 vsize=9824732 CPUtime=0.84 cores=0,2,4,6
/proc/14936/task/14952/stat : 14952 (java) S 14933 14936 12316 0 -1 4202560 6960 0 0 0 84 0 0 0 20 0 22 0 105070782 10060525568 146582 33554432000 1073741824 1073778376 140735252070976 139673848551736 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14936/tid=14953] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14953/stat : 14953 (java) S 14933 14936 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105070782 10060525568 146582 33554432000 1073741824 1073778376 140735252070976 139673847499128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14936/tid=14954] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6

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


[startup+882.308 s]
/proc/loadavg: 4.05 4.08 4.09 6/219 15066
/proc/meminfo: memFree=28996324/32872528 swapFree=11320/319964
[pid=14936] ppid=14933 vsize=9824732 CPUtime=1771.2 cores=0,2,4,6
/proc/14936/stat : 14936 (java) S 14933 14936 12316 0 -1 4202496 33648 0 1 0 176966 154 0 0 20 0 22 0 105070775 10060525568 566702 33554432000 1073741824 1073778376 140735252070976 140735252062112 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/14936/statm: 2456183 566702 2288 9 0 2446860 0
[pid=14936/tid=14938] ppid=14933 vsize=9824732 CPUtime=0.2 cores=0,2,4,6
/proc/14936/task/14938/stat : 14938 (java) S 14933 14936 12316 0 -1 4202560 2431 0 1 0 17 3 0 0 20 0 22 0 105070777 10060525568 566702 33554432000 1073741824 1073778376 140735252070976 139674029781880 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14936/tid=14939] ppid=14933 vsize=9824732 CPUtime=2.9 cores=0,2,4,6
/proc/14936/task/14939/stat : 14939 (java) S 14933 14936 12316 0 -1 4202560 412 0 0 0 284 6 0 0 20 0 22 0 105070778 10060525568 566702 33554432000 1073741824 1073778376 140735252070976 139674018843688 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14940] ppid=14933 vsize=9824732 CPUtime=2.89 cores=0,2,4,6
/proc/14936/task/14940/stat : 14940 (java) S 14933 14936 12316 0 -1 4202560 461 0 0 0 282 7 0 0 20 0 22 0 105070778 10060525568 566702 33554432000 1073741824 1073778376 140735252070976 139674017790888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14936/tid=14941] ppid=14933 vsize=9824732 CPUtime=3.05 cores=0,2,4,6
/proc/14936/task/14941/stat : 14941 (java) S 14933 14936 12316 0 -1 4202560 432 0 0 0 298 7 0 0 20 0 22 0 105070778 10060525568 566702 33554432000 1073741824 1073778376 140735252070976 139674016738088 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14942] ppid=14933 vsize=9824732 CPUtime=2.91 cores=0,2,4,6
/proc/14936/task/14942/stat : 14942 (java) S 14933 14936 12316 0 -1 4202560 433 0 0 0 286 5 0 0 20 0 22 0 105070778 10060525568 566702 33554432000 1073741824 1073778376 140735252070976 139674015685288 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14943] ppid=14933 vsize=9824732 CPUtime=2.87 cores=0,2,4,6
/proc/14936/task/14943/stat : 14943 (java) S 14933 14936 12316 0 -1 4202560 458 0 0 0 280 7 0 0 20 0 22 0 105070778 10060525568 566702 33554432000 1073741824 1073778376 140735252070976 139673869171240 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14936/tid=14944] ppid=14933 vsize=9824732 CPUtime=3.19 cores=0,2,4,6
/proc/14936/task/14944/stat : 14944 (java) S 14933 14936 12316 0 -1 4202560 515 0 0 0 311 8 0 0 20 0 22 0 105070778 10060525568 566702 33554432000 1073741824 1073778376 140735252070976 139673868118440 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14936/tid=14945] ppid=14933 vsize=9824732 CPUtime=2.91 cores=0,2,4,6
/proc/14936/task/14945/stat : 14945 (java) S 14933 14936 12316 0 -1 4202560 327 0 0 0 286 5 0 0 20 0 22 0 105070778 10060525568 566702 33554432000 1073741824 1073778376 140735252070976 139673867065640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14936/tid=14946] ppid=14933 vsize=9824732 CPUtime=3 cores=0,2,4,6
/proc/14936/task/14946/stat : 14946 (java) S 14933 14936 12316 0 -1 4202560 367 0 0 0 295 5 0 0 20 0 22 0 105070778 10060525568 566702 33554432000 1073741824 1073778376 140735252070976 139673866012840 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14936/tid=14947] ppid=14933 vsize=9824732 CPUtime=1.13 cores=0,2,4,6
/proc/14936/task/14947/stat : 14947 (java) S 14933 14936 12316 0 -1 4202560 1504 0 0 0 89 24 0 0 20 0 22 0 105070779 10060525568 566702 33554432000 1073741824 1073778376 140735252070976 139673853815784 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14936/tid=14948] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14948/stat : 14948 (java) S 14933 14936 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105070779 10060525568 566702 33554432000 1073741824 1073778376 140735252070976 139673852761848 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14949] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14949/stat : 14949 (java) S 14933 14936 12316 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 105070779 10060525568 566702 33554432000 1073741824 1073778376 140735252070976 139673851708936 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14950] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14950/stat : 14950 (java) S 14933 14936 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105070782 10060525568 566702 33554432000 1073741824 1073778376 140735252070976 139673850657424 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14951] ppid=14933 vsize=9824732 CPUtime=1.63 cores=0,2,4,6
/proc/14936/task/14951/stat : 14951 (java) S 14933 14936 12316 0 -1 4202560 15842 0 0 0 160 3 0 0 20 0 22 0 105070782 10060525568 566702 33554432000 1073741824 1073778376 140735252070976 139673849604536 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14952] ppid=14933 vsize=9824732 CPUtime=0.89 cores=0,2,4,6
/proc/14936/task/14952/stat : 14952 (java) S 14933 14936 12316 0 -1 4202560 6960 0 0 0 89 0 0 0 20 0 22 0 105070782 10060525568 566702 33554432000 1073741824 1073778376 140735252070976 139673848551736 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14936/tid=14953] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14953/stat : 14953 (java) S 14933 14936 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105070782 10060525568 566702 33554432000 1073741824 1073778376 140735252070976 139673847499128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14936/tid=14954] ppid=14933 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/14936/task/14954/stat : 14954 (java) S 14933 14936 12316 0 -1 4202560 51 0 0 0 12 19 0 0 20 0 22 0 105070782 10060525568 566702 33554432000 1073741824 1073778376 140735252070976 139673846446536 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14936/tid=14967] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14967/stat : 14967 (java) S 14933 14936 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105070944 10060525568 566702 33554432000 1073741824 1073778376 140735252070976 139673844339880 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14936/tid=14977] ppid=14933 vsize=9824732 CPUtime=678.17 cores=0,2,4,6
/proc/14936/task/14977/stat : 14977 (java) R 14933 14936 12316 0 -1 4202560 163 0 0 0 67804 13 0 0 20 0 22 0 105090501 10060525568 566702 33554432000 1073741824 1073778376 140735252070976 139673845391104 139673897266066 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14936/tid=14978] ppid=14933 vsize=9824732 CPUtime=678.13 cores=0,2,4,6
/proc/14936/task/14978/stat : 14978 (java) R 14933 14936 12316 0 -1 4202560 141 0 0 0 67801 12 0 0 20 0 22 0 105090501 10060525568 566702 33554432000 1073741824 1073778376 140735252070976 139673842231792 139673897340036 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14936/tid=14979] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14979/stat : 14979 (java) S 14933 14936 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105090501 10060525568 566702 33554432000 1073741824 1073778376 140735252070976 139673843287080 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1771.2
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+896.701 s]
/proc/loadavg: 4.11 4.09 4.09 5/219 15066
/proc/meminfo: memFree=29002092/32872528 swapFree=11320/319964
[pid=14936] ppid=14933 vsize=9824732 CPUtime=1800.1 cores=0,2,4,6
/proc/14936/stat : 14936 (java) S 14933 14936 12316 0 -1 4202496 33888 0 1 0 179855 155 0 0 20 0 22 0 105070775 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 140735252062112 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/14936/statm: 2456183 565498 2288 9 0 2446860 0
[pid=14936/tid=14938] ppid=14933 vsize=9824732 CPUtime=0.2 cores=0,2,4,6
/proc/14936/task/14938/stat : 14938 (java) S 14933 14936 12316 0 -1 4202560 2431 0 1 0 17 3 0 0 20 0 22 0 105070777 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139674029781880 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14936/tid=14939] ppid=14933 vsize=9824732 CPUtime=2.95 cores=0,2,4,6
/proc/14936/task/14939/stat : 14939 (java) S 14933 14936 12316 0 -1 4202560 466 0 0 0 289 6 0 0 20 0 22 0 105070778 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139674018843688 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14936/tid=14940] ppid=14933 vsize=9824732 CPUtime=2.92 cores=0,2,4,6
/proc/14936/task/14940/stat : 14940 (java) S 14933 14936 12316 0 -1 4202560 461 0 0 0 285 7 0 0 20 0 22 0 105070778 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139674017790888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14936/tid=14941] ppid=14933 vsize=9824732 CPUtime=3.11 cores=0,2,4,6
/proc/14936/task/14941/stat : 14941 (java) S 14933 14936 12316 0 -1 4202560 564 0 0 0 304 7 0 0 20 0 22 0 105070778 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139674016738088 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14942] ppid=14933 vsize=9824732 CPUtime=2.94 cores=0,2,4,6
/proc/14936/task/14942/stat : 14942 (java) S 14933 14936 12316 0 -1 4202560 433 0 0 0 289 5 0 0 20 0 22 0 105070778 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139674015685288 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14936/tid=14943] ppid=14933 vsize=9824732 CPUtime=2.89 cores=0,2,4,6
/proc/14936/task/14943/stat : 14943 (java) S 14933 14936 12316 0 -1 4202560 477 0 0 0 281 8 0 0 20 0 22 0 105070778 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139673869171240 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14944] ppid=14933 vsize=9824732 CPUtime=3.2 cores=0,2,4,6
/proc/14936/task/14944/stat : 14944 (java) S 14933 14936 12316 0 -1 4202560 515 0 0 0 312 8 0 0 20 0 22 0 105070778 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139673868118440 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14936/tid=14945] ppid=14933 vsize=9824732 CPUtime=2.96 cores=0,2,4,6
/proc/14936/task/14945/stat : 14945 (java) S 14933 14936 12316 0 -1 4202560 331 0 0 0 291 5 0 0 20 0 22 0 105070778 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139673867065640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14936/tid=14946] ppid=14933 vsize=9824732 CPUtime=3.06 cores=0,2,4,6
/proc/14936/task/14946/stat : 14946 (java) S 14933 14936 12316 0 -1 4202560 394 0 0 0 301 5 0 0 20 0 22 0 105070778 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139673866012840 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14947] ppid=14933 vsize=9824732 CPUtime=1.14 cores=0,2,4,6
/proc/14936/task/14947/stat : 14947 (java) S 14933 14936 12316 0 -1 4202560 1504 0 0 0 90 24 0 0 20 0 22 0 105070779 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139673853815784 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14948] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14948/stat : 14948 (java) S 14933 14936 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105070779 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139673852761848 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14949] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14949/stat : 14949 (java) S 14933 14936 12316 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 105070779 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139673851708936 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14950] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14950/stat : 14950 (java) S 14933 14936 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105070782 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139673850657424 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14951] ppid=14933 vsize=9824732 CPUtime=1.63 cores=0,2,4,6
/proc/14936/task/14951/stat : 14951 (java) S 14933 14936 12316 0 -1 4202560 15842 0 0 0 160 3 0 0 20 0 22 0 105070782 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139673849604536 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14952] ppid=14933 vsize=9824732 CPUtime=0.89 cores=0,2,4,6
/proc/14936/task/14952/stat : 14952 (java) S 14933 14936 12316 0 -1 4202560 6960 0 0 0 89 0 0 0 20 0 22 0 105070782 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139673848551736 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14936/tid=14953] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14953/stat : 14953 (java) S 14933 14936 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105070782 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139673847499128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14936/tid=14954] ppid=14933 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/14936/task/14954/stat : 14954 (java) S 14933 14936 12316 0 -1 4202560 51 0 0 0 13 19 0 0 20 0 22 0 105070782 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139673846446536 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14936/tid=14967] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14967/stat : 14967 (java) S 14933 14936 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105070944 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139673844339880 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14936/tid=14977] ppid=14933 vsize=9824732 CPUtime=692.46 cores=0,2,4,6
/proc/14936/task/14977/stat : 14977 (java) R 14933 14936 12316 0 -1 4202560 166 0 0 0 69233 13 0 0 20 0 22 0 105090501 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139673845390320 139673897251582 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14936/tid=14978] ppid=14933 vsize=9824732 CPUtime=692.42 cores=0,2,4,6
/proc/14936/task/14978/stat : 14978 (java) R 14933 14936 12316 0 -1 4202560 142 0 0 0 69230 12 0 0 20 0 22 0 105090501 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139673842232608 139673897414380 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14936/tid=14979] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14979/stat : 14979 (java) S 14933 14936 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105090501 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139673843287080 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
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 14936 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+896.701 s]
/proc/loadavg: 4.11 4.09 4.09 5/219 15066
/proc/meminfo: memFree=29002092/32872528 swapFree=11320/319964
[pid=14936] ppid=14933 vsize=9824732 CPUtime=1800.1 cores=0,2,4,6
/proc/14936/stat : 14936 (java) S 14933 14936 12316 0 -1 4202496 33888 0 1 0 179855 155 0 0 20 0 22 0 105070775 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 140735252062112 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/14936/statm: 2456183 565498 2288 9 0 2446860 0
[pid=14936/tid=14938] ppid=14933 vsize=9824732 CPUtime=0.2 cores=0,2,4,6
/proc/14936/task/14938/stat : 14938 (java) S 14933 14936 12316 0 -1 4202560 2431 0 1 0 17 3 0 0 20 0 22 0 105070777 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139674029781880 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14936/tid=14939] ppid=14933 vsize=9824732 CPUtime=2.95 cores=0,2,4,6
/proc/14936/task/14939/stat : 14939 (java) S 14933 14936 12316 0 -1 4202560 466 0 0 0 289 6 0 0 20 0 22 0 105070778 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139674018843688 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14936/tid=14940] ppid=14933 vsize=9824732 CPUtime=2.92 cores=0,2,4,6
/proc/14936/task/14940/stat : 14940 (java) S 14933 14936 12316 0 -1 4202560 461 0 0 0 285 7 0 0 20 0 22 0 105070778 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139674017790888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14936/tid=14941] ppid=14933 vsize=9824732 CPUtime=3.11 cores=0,2,4,6
/proc/14936/task/14941/stat : 14941 (java) S 14933 14936 12316 0 -1 4202560 564 0 0 0 304 7 0 0 20 0 22 0 105070778 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139674016738088 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14942] ppid=14933 vsize=9824732 CPUtime=2.94 cores=0,2,4,6
/proc/14936/task/14942/stat : 14942 (java) S 14933 14936 12316 0 -1 4202560 433 0 0 0 289 5 0 0 20 0 22 0 105070778 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139674015685288 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14936/tid=14943] ppid=14933 vsize=9824732 CPUtime=2.89 cores=0,2,4,6
/proc/14936/task/14943/stat : 14943 (java) S 14933 14936 12316 0 -1 4202560 477 0 0 0 281 8 0 0 20 0 22 0 105070778 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139673869171240 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14944] ppid=14933 vsize=9824732 CPUtime=3.2 cores=0,2,4,6
/proc/14936/task/14944/stat : 14944 (java) S 14933 14936 12316 0 -1 4202560 515 0 0 0 312 8 0 0 20 0 22 0 105070778 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139673868118440 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14936/tid=14945] ppid=14933 vsize=9824732 CPUtime=2.96 cores=0,2,4,6
/proc/14936/task/14945/stat : 14945 (java) S 14933 14936 12316 0 -1 4202560 331 0 0 0 291 5 0 0 20 0 22 0 105070778 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139673867065640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14936/tid=14946] ppid=14933 vsize=9824732 CPUtime=3.06 cores=0,2,4,6
/proc/14936/task/14946/stat : 14946 (java) S 14933 14936 12316 0 -1 4202560 394 0 0 0 301 5 0 0 20 0 22 0 105070778 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139673866012840 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14947] ppid=14933 vsize=9824732 CPUtime=1.14 cores=0,2,4,6
/proc/14936/task/14947/stat : 14947 (java) S 14933 14936 12316 0 -1 4202560 1504 0 0 0 90 24 0 0 20 0 22 0 105070779 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139673853815784 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14948] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14948/stat : 14948 (java) S 14933 14936 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105070779 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139673852761848 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14949] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14949/stat : 14949 (java) S 14933 14936 12316 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 105070779 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139673851708936 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14950] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14950/stat : 14950 (java) S 14933 14936 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105070782 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139673850657424 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14951] ppid=14933 vsize=9824732 CPUtime=1.63 cores=0,2,4,6
/proc/14936/task/14951/stat : 14951 (java) S 14933 14936 12316 0 -1 4202560 15842 0 0 0 160 3 0 0 20 0 22 0 105070782 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139673849604536 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14936/tid=14952] ppid=14933 vsize=9824732 CPUtime=0.89 cores=0,2,4,6
/proc/14936/task/14952/stat : 14952 (java) S 14933 14936 12316 0 -1 4202560 6960 0 0 0 89 0 0 0 20 0 22 0 105070782 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139673848551736 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14936/tid=14953] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14953/stat : 14953 (java) S 14933 14936 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105070782 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139673847499128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14936/tid=14954] ppid=14933 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/14936/task/14954/stat : 14954 (java) S 14933 14936 12316 0 -1 4202560 51 0 0 0 13 19 0 0 20 0 22 0 105070782 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139673846446536 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14936/tid=14967] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14967/stat : 14967 (java) S 14933 14936 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105070944 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139673844339880 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14936/tid=14977] ppid=14933 vsize=9824732 CPUtime=692.46 cores=0,2,4,6
/proc/14936/task/14977/stat : 14977 (java) R 14933 14936 12316 0 -1 4202560 166 0 0 0 69233 13 0 0 20 0 22 0 105090501 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139673845390320 139673897251582 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14936/tid=14978] ppid=14933 vsize=9824732 CPUtime=692.42 cores=0,2,4,6
/proc/14936/task/14978/stat : 14978 (java) R 14933 14936 12316 0 -1 4202560 142 0 0 0 69230 12 0 0 20 0 22 0 105090501 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139673842232608 139673897414380 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14936/tid=14979] ppid=14933 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14936/task/14979/stat : 14979 (java) S 14933 14936 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105090501 10060525568 565498 33554432000 1073741824 1073778376 140735252070976 139673843287080 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9824732

Child status: 143
Real time (s): 896.777
CPU time (s): 1800.89
CPU user time (s): 1798.95
CPU system time (s): 1.9417
CPU usage (%): 200.818
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.95
system time used= 1.9417
maximum resident set size= 2816620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33934
page faults= 1
swaps= 0
block input operations= 0
block output operations= 920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31955
involuntary context switches= 48113

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.80512 second user time and 7.40187 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-06 18:42:55
IDJOB=4081332
IDBENCH=2874
IDSOLVER=2543
FILE ID=node128/4081332-1465231375
RUNJOBID= node128-1465223671-12332
PBS_JOBID= 19843236
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_10_15.r.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081332-1465231375/watcher-4081332-1465231375 -o /tmp/evaluation-result-4081332-1465231375/solver-4081332-1465231375 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465223671-12332 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081332-1465231375.opb

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

MD5SUM BENCH= 7e1b8a9f40a52781f7629bf04a2d5793
RANDOM SEED=374326854

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29344608 kB
Buffers:           23236 kB
Cached:            83372 kB
SwapCached:         1660 kB
Active:          2455408 kB
Inactive:          47596 kB
Active(anon):    2398492 kB
Inactive(anon):      512 kB
Active(file):      56916 kB
Inactive(file):    47084 kB
Unevictable:      319964 kB
Mlocked:           11320 kB
SwapTotal:      67108856 kB
SwapFree:       67098448 kB
Dirty:               864 kB
Writeback:             0 kB
AnonPages:       2716224 kB
Mapped:            15308 kB
Shmem:                 0 kB
Slab:             568216 kB
SReclaimable:      11664 kB
SUnreclaim:       556552 kB
KernelStack:        1592 kB
PageTables:        10264 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2902696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2654208 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= 71748 MiB
End job on node128 at 2016-06-06 18:57:52