Trace number 4105418

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)23 1800.09 902.753

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_300_10_14.r.opb
MD5SUMf1b978cb920387bc2a07b8b1a528a68d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 19
Optimality of the best value was proved YES
Number of variables297
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 constraint14
Number of terms in the objective function 297
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 297
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 297
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.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.11	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@16fd0b7
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@4413ee
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@75786e64
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@4413ee
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-4105418-1466253673.opb
0.07/0.13	c reading problem ... 
0.07/0.13	c  objective function found
0.07/0.19	c ... done. Wall clock time 0.058s.
0.07/0.19	c declared #vars     297
0.07/0.19	c #constraints  100
0.07/0.19	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.07/0.19	c constraints type 
0.07/0.19	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
0.07/0.19	c 100 constraints processed.
0.07/0.19	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.07/0.19	c constraints type 
0.07/0.19	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 100
0.07/0.19	c 100 constraints processed.
0.07/0.19	c objective function length is 297 literals
0.22/0.20	c And the winner is solver0
0.22/0.70	c SATISFIABLE
0.22/0.70	c OPTIMIZING...
0.22/0.70	c Got one! Elapsed wall clock time (in seconds):0.563
0.22/0.70	o 32
0.22/0.71	c And the winner is solver0
0.30/1.20	c Got one! Elapsed wall clock time (in seconds):1.068
0.30/1.20	o 31
0.30/1.22	c And the winner is solver0
0.38/1.70	c Got one! Elapsed wall clock time (in seconds):1.57
0.38/1.70	o 30
1.13/1.97	c And the winner is solver1
1.61/2.21	c Got one! Elapsed wall clock time (in seconds):2.073
1.61/2.21	o 29
1.61/2.27	c And the winner is solver1
2.00/2.71	c Got one! Elapsed wall clock time (in seconds):2.575
2.00/2.71	o 28
2.00/2.77	c cleaning 2635 clauses out of 5270 with flag 3059/5270
2.81/3.07	c cleaning 4315 clauses out of 8635 with flag 21703/11270
3.47/3.39	c And the winner is solver1
3.66/3.71	c Got one! Elapsed wall clock time (in seconds):3.578
3.66/3.71	o 27
4.31/4.10	c cleaning 7791 clauses out of 15581 with flag 15463/22531
5.29/4.45	c cleaning 6892 clauses out of 13790 with flag 33937/28531
6.11/4.81	c cleaning 6945 clauses out of 13897 with flag 55251/35530
6.98/5.27	c cleaning 7476 clauses out of 14952 with flag 80008/43530
8.28/5.82	c cleaning 8235 clauses out of 16476 with flag 106217/52530
9.54/6.42	c cleaning 9122 clauses out of 18243 with flag 135068/62532
11.08/7.15	c cleaning 10056 clauses out of 20120 with flag 166880/73531
12.69/7.96	c cleaning 11031 clauses out of 22065 with flag 200913/85532
14.59/8.89	c cleaning 12009 clauses out of 24032 with flag 236754/98530
16.60/9.85	c cleaning 13012 clauses out of 26023 with flag 275430/112530
18.90/10.92	c cleaning 14007 clauses out of 28013 with flag 315739/127532
21.31/12.15	c cleaning 14997 clauses out of 30004 with flag 358867/143530
24.20/13.55	c cleaning 15999 clauses out of 32011 with flag 404404/160534
24.79/13.85	c And the winner is solver1
24.87/14.21	c Got one! Elapsed wall clock time (in seconds):14.081
24.87/14.21	o 26
25.45/14.58	c cleaning 13089 clauses out of 26180 with flag 15821/170702
26.25/14.93	c cleaning 9545 clauses out of 19089 with flag 33695/176700
27.05/15.31	c cleaning 8271 clauses out of 16544 with flag 54365/183700
27.85/15.79	c cleaning 8137 clauses out of 16274 with flag 77963/191701
28.25/15.93	c And the winner is solver1
28.32/16.22	c Got one! Elapsed wall clock time (in seconds):16.083
28.32/16.22	o 25
28.47/16.32	c cleaning 6679 clauses out of 13362 with flag 6145/196926
28.89/16.60	c cleaning 6343 clauses out of 12686 with flag 24050/202929
29.98/17.03	c cleaning 6670 clauses out of 13340 with flag 44808/209926
30.78/17.47	c cleaning 7330 clauses out of 14670 with flag 68852/217926
31.78/17.95	c cleaning 8167 clauses out of 16340 with flag 96576/226926
32.98/18.51	c cleaning 9087 clauses out of 18173 with flag 126411/236926
34.18/19.16	c cleaning 10040 clauses out of 20086 with flag 159261/247926
35.60/19.85	c cleaning 11018 clauses out of 22046 with flag 196451/259926
37.38/20.71	c cleaning 12013 clauses out of 24028 with flag 237197/272926
38.98/21.58	c cleaning 13008 clauses out of 26016 with flag 280309/286927
41.27/22.64	c cleaning 14001 clauses out of 28010 with flag 324480/301929
43.47/23.74	c cleaning 15004 clauses out of 30007 with flag 371845/317927
45.86/24.97	c cleaning 15996 clauses out of 32003 with flag 422590/334927
48.66/26.32	c cleaning 17004 clauses out of 34008 with flag 475828/352928
50.66/27.33	c And the winner is solver1
50.69/27.72	c Got one! Elapsed wall clock time (in seconds):27.587
50.69/27.72	o 24
51.50/28.14	c cleaning 17655 clauses out of 35310 with flag 15159/371234
52.12/28.49	c cleaning 11821 clauses out of 23652 with flag 33932/377231
52.92/28.87	c cleaning 9408 clauses out of 18831 with flag 55317/384231
53.72/29.27	c cleaning 8713 clauses out of 17425 with flag 78821/392233
54.73/29.77	c cleaning 8852 clauses out of 17710 with flag 105424/401231
55.72/30.29	c cleaning 9429 clauses out of 18858 with flag 135118/411231
57.13/30.96	c cleaning 10210 clauses out of 20429 with flag 168412/422231
58.72/31.70	c cleaning 11109 clauses out of 22222 with flag 204616/434234
60.12/32.46	c cleaning 12052 clauses out of 24110 with flag 244172/447231
61.92/33.33	c cleaning 13029 clauses out of 26059 with flag 288900/461232
63.74/34.28	c cleaning 14015 clauses out of 28032 with flag 338624/476234
65.93/35.35	c cleaning 15003 clauses out of 30014 with flag 388097/492231
68.71/36.74	c cleaning 16004 clauses out of 32012 with flag 439201/509232
71.31/38.02	c cleaning 16994 clauses out of 34007 with flag 495982/527231
74.32/39.52	c cleaning 18006 clauses out of 36013 with flag 553560/546231
77.91/41.36	c cleaning 19004 clauses out of 38009 with flag 615551/566233
81.33/43.05	c cleaning 19999 clauses out of 40004 with flag 679551/587232
85.53/45.14	c cleaning 21000 clauses out of 42004 with flag 745948/609231
89.31/47.03	c cleaning 21993 clauses out of 44004 with flag 814608/632231
93.51/49.12	c cleaning 23003 clauses out of 46011 with flag 885697/656231
98.52/51.60	c cleaning 23999 clauses out of 48009 with flag 960596/681232
103.51/54.19	c cleaning 25003 clauses out of 50009 with flag 1037169/707231
109.22/56.90	c cleaning 26004 clauses out of 52008 with flag 1118558/734233
114.62/59.66	c cleaning 26999 clauses out of 54002 with flag 1203747/762231
120.62/62.69	c cleaning 27999 clauses out of 56003 with flag 1291977/791231
126.43/65.53	c cleaning 29000 clauses out of 58004 with flag 1382866/821231
132.43/68.57	c cleaning 30000 clauses out of 60004 with flag 1479319/852231
139.23/71.95	c cleaning 30996 clauses out of 62004 with flag 1574762/884231
146.03/75.33	c cleaning 32002 clauses out of 64009 with flag 1674689/917232
152.63/78.65	c cleaning 33004 clauses out of 66008 with flag 1774514/951233
160.64/82.66	c cleaning 33998 clauses out of 68002 with flag 1880355/986231
168.22/86.40	c cleaning 35002 clauses out of 70004 with flag 1991663/1022231
176.42/90.50	c cleaning 35999 clauses out of 72002 with flag 2103099/1059231
184.22/94.47	c cleaning 36996 clauses out of 74003 with flag 2218052/1097231
193.82/99.29	c cleaning 38002 clauses out of 76007 with flag 2331973/1136231
204.02/104.30	c cleaning 38995 clauses out of 78005 with flag 2451509/1176231
213.02/108.81	c cleaning 40006 clauses out of 80011 with flag 2573081/1217232
223.61/114.15	c cleaning 40995 clauses out of 82004 with flag 2699271/1259231
229.41/117.02	c And the winner is solver1
229.41/117.29	c Got one! Elapsed wall clock time (in seconds):117.154
229.41/117.29	o 23
230.90/118.07	c cleaning 38004 clauses out of 76008 with flag 15032/1294230
231.71/118.47	c cleaning 21999 clauses out of 44004 with flag 32614/1300230
232.87/118.96	c cleaning 14496 clauses out of 29005 with flag 54483/1307230
233.65/119.37	c cleaning 11253 clauses out of 22509 with flag 78995/1315230
234.65/119.85	c cleaning 10121 clauses out of 20257 with flag 106217/1324231
235.85/120.40	c cleaning 10070 clauses out of 20139 with flag 137235/1334234
237.07/121.04	c cleaning 10529 clauses out of 21065 with flag 170026/1345230
238.25/121.68	c cleaning 11264 clauses out of 22536 with flag 205241/1357230
239.85/122.43	c cleaning 12132 clauses out of 24273 with flag 244418/1370231
241.67/123.32	c cleaning 13071 clauses out of 26142 with flag 288191/1384232
243.67/124.30	c cleaning 14033 clauses out of 28069 with flag 333265/1399230
245.95/125.41	c cleaning 15012 clauses out of 30036 with flag 380477/1415230
248.15/126.58	c cleaning 16013 clauses out of 32025 with flag 430104/1432231
250.74/127.86	c cleaning 17006 clauses out of 34011 with flag 483146/1450230
253.53/129.27	c cleaning 18000 clauses out of 36005 with flag 540526/1469230
256.33/130.62	c cleaning 19002 clauses out of 38007 with flag 600874/1489232
259.53/132.26	c cleaning 19995 clauses out of 40003 with flag 664358/1510230
262.93/133.95	c cleaning 21000 clauses out of 42008 with flag 729479/1532230
266.53/135.78	c cleaning 21995 clauses out of 44008 with flag 798926/1555230
270.35/137.67	c cleaning 23007 clauses out of 46013 with flag 870965/1579230
274.55/139.79	c cleaning 24003 clauses out of 48006 with flag 945504/1604230
278.95/141.91	c cleaning 25001 clauses out of 50003 with flag 1023060/1630230
283.94/144.41	c cleaning 26001 clauses out of 52002 with flag 1105520/1657230
289.34/147.12	c cleaning 27000 clauses out of 54003 with flag 1188733/1685232
294.55/149.79	c cleaning 28002 clauses out of 56003 with flag 1275012/1714232
300.95/152.91	c cleaning 28994 clauses out of 57999 with flag 1365817/1744230
306.13/155.54	c cleaning 29999 clauses out of 60005 with flag 1460697/1775230
312.73/158.83	c cleaning 30998 clauses out of 62006 with flag 1558667/1807230
319.53/162.25	c cleaning 32001 clauses out of 64008 with flag 1659974/1840230
325.93/165.49	c cleaning 32998 clauses out of 66007 with flag 1764349/1874230
332.73/168.89	c cleaning 34004 clauses out of 68010 with flag 1870261/1909231
339.93/172.41	c cleaning 35001 clauses out of 70005 with flag 1979146/1945230
348.33/176.63	c cleaning 35996 clauses out of 72008 with flag 2088895/1982234
356.72/180.87	c cleaning 36999 clauses out of 74008 with flag 2207449/2020230
364.74/184.86	c cleaning 38002 clauses out of 76009 with flag 2326877/2059230
373.32/189.19	c cleaning 38996 clauses out of 78008 with flag 2453382/2099231
383.12/194.05	c cleaning 40002 clauses out of 80013 with flag 2581390/2140232
394.12/199.59	c cleaning 41001 clauses out of 82009 with flag 2710465/2182230
405.11/205.01	c cleaning 41999 clauses out of 84009 with flag 2842919/2225231
414.91/209.96	c cleaning 43003 clauses out of 86010 with flag 2983851/2269231
426.53/215.79	c cleaning 44002 clauses out of 88006 with flag 3133119/2314230
437.91/221.43	c cleaning 45000 clauses out of 90006 with flag 3290496/2360232
449.32/227.18	c cleaning 46002 clauses out of 92004 with flag 3452383/2407230
460.51/232.76	c cleaning 46995 clauses out of 94003 with flag 3634452/2455231
471.82/238.34	c cleaning 48005 clauses out of 96012 with flag 3832106/2504235
483.63/244.24	c cleaning 49001 clauses out of 98002 with flag 4018763/2554230
495.81/250.39	c cleaning 50001 clauses out of 100001 with flag 4218632/2605230
508.21/256.59	c cleaning 51002 clauses out of 102004 with flag 4447481/2657234
520.61/262.76	c cleaning 51997 clauses out of 103999 with flag 4678368/2710231
535.20/270.02	c cleaning 53002 clauses out of 106003 with flag 4913543/2764232
548.20/276.56	c cleaning 53998 clauses out of 108000 with flag 5156020/2819231
562.40/283.70	c cleaning 54995 clauses out of 110001 with flag 5395335/2875230
577.20/291.00	c cleaning 56002 clauses out of 112006 with flag 5645298/2932230
590.60/297.78	c cleaning 56994 clauses out of 114004 with flag 5917166/2990230
604.19/304.54	c cleaning 58003 clauses out of 116010 with flag 6185797/3049230
619.19/312.08	c cleaning 59003 clauses out of 118007 with flag 6452702/3109230
635.79/320.33	c cleaning 60002 clauses out of 120004 with flag 6688418/3170230
656.19/330.54	c cleaning 60999 clauses out of 122002 with flag 6886085/3232230
676.39/340.61	c cleaning 61998 clauses out of 124003 with flag 7075800/3295230
700.98/352.93	c cleaning 62989 clauses out of 126005 with flag 7269655/3359230
724.58/364.80	c cleaning 64008 clauses out of 128018 with flag 7467522/3424232
746.37/375.62	c cleaning 65003 clauses out of 130008 with flag 7667695/3490230
769.17/387.04	c cleaning 66000 clauses out of 132005 with flag 7873042/3557230
792.56/398.74	c cleaning 67000 clauses out of 134005 with flag 8081031/3625230
815.77/410.37	c cleaning 67998 clauses out of 136005 with flag 8292393/3694230
840.96/422.97	c cleaning 69003 clauses out of 138008 with flag 8509308/3764231
868.90/437.08	c cleaning 70003 clauses out of 140005 with flag 8730446/3835231
893.90/449.53	c cleaning 70994 clauses out of 142002 with flag 8946802/3907231
920.29/462.77	c cleaning 72002 clauses out of 144008 with flag 9164594/3980231
947.29/476.24	c cleaning 73002 clauses out of 146008 with flag 9386637/4054233
972.89/489.09	c cleaning 74002 clauses out of 148003 with flag 9612332/4129230
999.88/502.59	c cleaning 75000 clauses out of 150001 with flag 9839748/4205230
1028.48/516.88	c cleaning 75991 clauses out of 152001 with flag 10070519/4282230
1060.08/532.62	c cleaning 77002 clauses out of 154010 with flag 10305429/4360230
1091.87/548.52	c cleaning 78005 clauses out of 156009 with flag 10556735/4439231
1126.06/565.62	c cleaning 78999 clauses out of 158004 with flag 10798034/4519231
1157.85/581.56	c cleaning 79999 clauses out of 160004 with flag 11048097/4600230
1188.65/596.93	c cleaning 81003 clauses out of 162008 with flag 11309107/4682233
1221.05/613.20	c cleaning 82003 clauses out of 164007 with flag 11566213/4765235
1257.24/631.27	c cleaning 82991 clauses out of 165999 with flag 11818262/4849230
1288.84/647.01	c cleaning 84003 clauses out of 168009 with flag 12074995/4934231
1322.43/663.89	c cleaning 85001 clauses out of 170008 with flag 12325232/5020233
1354.97/680.04	c cleaning 85995 clauses out of 172005 with flag 12580175/5107231
1387.59/696.33	c cleaning 86995 clauses out of 174011 with flag 12854591/5195232
1424.77/714.92	c cleaning 88004 clauses out of 176014 with flag 13123186/5284230
1468.16/736.62	c cleaning 89002 clauses out of 178010 with flag 13387376/5374230
1505.67/755.59	c cleaning 90003 clauses out of 180008 with flag 13655574/5465230
1542.66/774.05	c cleaning 90992 clauses out of 182005 with flag 13929326/5557230
1584.65/795.05	c cleaning 91999 clauses out of 184014 with flag 14200169/5650231
1626.46/815.97	c cleaning 93007 clauses out of 186018 with flag 14474470/5744234
1671.06/838.22	c cleaning 94001 clauses out of 188007 with flag 14752289/5839230
1716.24/860.88	c cleaning 95000 clauses out of 190007 with flag 15037388/5935231
1759.05/882.29	c cleaning 96002 clauses out of 192006 with flag 15320899/6032230
1800.09/902.70	c >>>>>>>>>> Solver number 0 (3 answers) <<<<<<<<<<<<<<<<<<
1800.09/902.70	c starts		: 111081
1800.09/902.70	c conflicts		: 6127430
1800.09/902.70	c decisions		: 19267896
1800.09/902.70	c propagations		: 382315922
1800.09/902.70	c inspects		: 19595836701
1800.09/902.70	c shortcuts		: 0
1800.09/902.70	c learnt literals	: 0
1800.09/902.70	c learnt binary clauses	: 0
1800.09/902.70	c learnt ternary clauses	: 0
1800.09/902.70	c learnt constraints	: 6127430
1800.09/902.70	c ignored constraints	: 0
1800.09/902.70	c root simplifications	: 0
1800.09/902.70	c removed literals (reason simplification)	: 25610933
1800.09/902.70	c reason swapping (by a shorter reason)	: 0
1800.09/902.70	c Calls to reduceDB	: 164
1800.09/902.70	c Number of update (reduction) of LBD	: 1767775
1800.09/902.70	c Imported unit clauses	: 0
1800.09/902.70	c number of reductions to clauses (during analyze)	: 0
1800.09/902.70	c number of learned constraints concerned by reduction	: 0
1800.09/902.70	c number of learning phase by resolution	: 0
1800.09/902.70	c number of learning phase by cutting planes	: 0
1800.09/902.70	c speed (assignments/second)	: 486769.3155847546
1800.09/902.70	c non guided choices	0
1800.09/902.73	c learnt constraints type 
1800.09/902.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 191204
1800.09/902.73	c >>>>>>>>>> Solver number 1 (7 answers) <<<<<<<<<<<<<<<<<<
1800.09/902.73	c starts		: 30
1800.09/902.73	c conflicts		: 4204
1800.09/902.73	c decisions		: 41567
1800.09/902.73	c propagations		: 159064
1800.09/902.73	c inspects		: 50015643
1800.09/902.73	c shortcuts		: 0
1800.09/902.73	c learnt literals	: 0
1800.09/902.73	c learnt binary clauses	: 0
1800.09/902.73	c learnt ternary clauses	: 0
1800.09/902.73	c learnt constraints	: 4203
1800.09/902.73	c ignored constraints	: 0
1800.09/902.73	c root simplifications	: 0
1800.09/902.73	c removed literals (reason simplification)	: 0
1800.09/902.73	c reason swapping (by a shorter reason)	: 0
1800.09/902.73	c Calls to reduceDB	: 0
1800.09/902.73	c Number of update (reduction) of LBD	: 0
1800.09/902.73	c Imported unit clauses	: 0
1800.09/902.73	c number of reductions to clauses (during analyze)	: 0
1800.09/902.73	c number of learned constraints concerned by reduction	: 0
1800.09/902.73	c number of learning phase by resolution	: 0
1800.09/902.73	c number of learning phase by cutting planes	: 0
1800.09/902.73	c speed (assignments/second)	: 176.5365261379805
1800.09/902.73	c non guided choices	0
1800.09/902.73	c learnt constraints type 
1800.09/902.73	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 255
1800.09/902.73	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3948
1800.09/902.73	s SATISFIABLE
1800.09/902.73	c Found 10 solution(s)
1800.09/902.74	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 
1800.09/902.74	c objective function=23
1800.09/902.74	c Total wall clock time (in seconds): 902.604

Verifier Data 

OK	23

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-4105418-1466253673/watcher-4105418-1466253673 -o /tmp/evaluation-result-4105418-1466253673/solver-4105418-1466253673 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466240588-22108 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4105418-1466253673.opb 

pid=25588
running on 4 cores: 1,3,5,7

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.42 4.32 4.27 4/197 25591
/proc/meminfo: memFree=27345132/32872528 swapFree=1459628/1655852
[pid=25591] ppid=25588 vsize=5632 CPUtime=0 cores=1,3,5,7
/proc/25591/stat : 25591 (java) R 25588 25591 22091 0 -1 4202496 179 0 0 0 0 0 0 0 20 0 1 0 27412850 5767168 55 33554432000 1073741824 1073778376 140736405456176 140736405453304 239863950631 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25591/statm: 2303 59 47 9 0 30 0

[startup+0.100192 s]
/proc/loadavg: 4.42 4.32 4.27 4/197 25591
/proc/meminfo: memFree=27345132/32872528 swapFree=1459628/1655852
[pid=25591] ppid=25588 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/25591/stat : 25591 (java) S 25588 25591 22091 0 -1 4202496 3887 0 1 0 6 1 0 0 20 0 18 0 27412850 9787879424 5018 33554432000 1073741824 1073778376 140733832537152 140733832528288 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25591/statm: 2389619 5018 2002 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476

[startup+0.200257 s]
/proc/loadavg: 4.42 4.32 4.27 4/197 25591
/proc/meminfo: memFree=27345132/32872528 swapFree=1459628/1655852
[pid=25591] ppid=25588 vsize=9691604 CPUtime=0.22 cores=1,3,5,7
/proc/25591/stat : 25591 (java) S 25588 25591 22091 0 -1 4202496 4801 0 1 0 21 1 0 0 20 0 20 0 27412850 9924202496 7399 33554432000 1073741824 1073778376 140733832537152 140733832528288 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25591/statm: 2422901 7399 2206 9 0 2413578 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9691604

[startup+0.300254 s]
/proc/loadavg: 4.42 4.32 4.27 4/197 25591
/proc/meminfo: memFree=27345132/32872528 swapFree=1459628/1655852
[pid=25591] ppid=25588 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/25591/stat : 25591 (java) S 25588 25591 22091 0 -1 4202496 4833 0 1 0 21 1 0 0 20 0 19 0 27412850 10060525568 7930 33554432000 1073741824 1073778376 140733832537152 140733832528288 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25591/statm: 2456183 7930 2208 9 0 2446860 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9824732

[startup+0.700217 s]
/proc/loadavg: 4.42 4.32 4.27 4/197 25591
/proc/meminfo: memFree=27345132/32872528 swapFree=1459628/1655852
[pid=25591] ppid=25588 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/25591/stat : 25591 (java) S 25588 25591 22091 0 -1 4202496 4833 0 1 0 21 1 0 0 20 0 19 0 27412850 10060525568 7930 33554432000 1073741824 1073778376 140733832537152 140733832528288 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25591/statm: 2456183 7930 2208 9 0 2446860 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9824732

[startup+1.50084 s]
/proc/loadavg: 4.42 4.32 4.27 3/216 25616
/proc/meminfo: memFree=27317920/32872528 swapFree=1459628/1655852
[pid=25591] ppid=25588 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/25591/stat : 25591 (java) S 25588 25591 22091 0 -1 4202496 7560 0 1 0 34 4 0 0 20 0 19 0 27412850 10060525568 11781 33554432000 1073741824 1073778376 140733832537152 140733832528288 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25591/statm: 2456183 11781 2247 9 0 2446860 0
[pid=25591/tid=25593] ppid=25588 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/25591/task/25593/stat : 25593 (java) S 25588 25591 22091 0 -1 4202560 2420 0 1 0 15 2 0 0 20 0 19 0 27412852 10060525568 11781 33554432000 1073741824 1073778376 140733832537152 139948712059768 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25591/tid=25594] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25594/stat : 25594 (java) S 25588 25591 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27412853 10060525568 11781 33554432000 1073741824 1073778376 140733832537152 139948701120680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25595] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25595/stat : 25595 (java) S 25588 25591 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27412853 10060525568 11781 33554432000 1073741824 1073778376 140733832537152 139948700068136 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25591/tid=25596] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25596/stat : 25596 (java) S 25588 25591 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27412853 10060525568 11781 33554432000 1073741824 1073778376 140733832537152 139948699015592 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25591/tid=25597] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25597/stat : 25597 (java) S 25588 25591 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27412853 10060525568 11781 33554432000 1073741824 1073778376 140733832537152 139948697963048 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25598] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25598/stat : 25598 (java) S 25588 25591 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27412853 10060525568 11781 33554432000 1073741824 1073778376 140733832537152 139948696910504 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25591/tid=25599] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25599/stat : 25599 (java) S 25588 25591 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27412853 10060525568 11781 33554432000 1073741824 1073778376 140733832537152 139948695857960 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25591/tid=25600] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25600/stat : 25600 (java) S 25588 25591 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27412853 10060525568 11781 33554432000 1073741824 1073778376 140733832537152 139948694805416 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25601] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25601/stat : 25601 (java) S 25588 25591 22091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27412853 10060525568 11781 33554432000 1073741824 1073778376 140733832537152 139948693752872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25602] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25602/stat : 25602 (java) S 25588 25591 22091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27412854 10060525568 11781 33554432000 1073741824 1073778376 140733832537152 139948536277096 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25591/tid=25603] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25603/stat : 25603 (java) S 25588 25591 22091 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27412855 10060525568 11781 33554432000 1073741824 1073778376 140733832537152 139948535223416 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25604] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25604/stat : 25604 (java) S 25588 25591 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27412855 10060525568 11781 33554432000 1073741824 1073778376 140733832537152 139948534170760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25605] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25605/stat : 25605 (java) S 25588 25591 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27412858 10060525568 11781 33554432000 1073741824 1073778376 140733832537152 139948533119504 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25606] ppid=25588 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/25591/task/25606/stat : 25606 (java) S 25588 25591 22091 0 -1 4202560 1606 0 0 0 5 0 0 0 20 0 19 0 27412858 10060525568 11781 33554432000 1073741824 1073778376 140733832537152 139948532066872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25591/tid=25607] ppid=25588 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/25591/task/25607/stat : 25607 (java) S 25588 25591 22091 0 -1 4202560 2187 0 0 0 7 0 0 0 20 0 19 0 27412858 10060525568 11781 33554432000 1073741824 1073778376 140733832537152 139948531014328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25591/tid=25608] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25608/stat : 25608 (java) S 25588 25591 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27412858 10060525568 11781 33554432000 1073741824 1073778376 140733832537152 139948529961976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25591/tid=25609] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25609/stat : 25609 (java) S 25588 25591 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27412858 10060525568 11781 33554432000 1073741824 1073778376 140733832537152 139948528909640 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25591/tid=25613] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25613/stat : 25613 (java) S 25588 25591 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27412871 10060525568 11781 33554432000 1073741824 1073778376 140733832537152 139948524696744 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 9824732

[startup+3.1024 s]
/proc/loadavg: 4.30 4.29 4.26 3/216 25622
/proc/meminfo: memFree=27282192/32872528 swapFree=1459628/1655852
[pid=25591] ppid=25588 vsize=9824732 CPUtime=3.06 cores=1,3,5,7
/proc/25591/stat : 25591 (java) S 25588 25591 22091 0 -1 4202496 15834 0 1 0 295 11 0 0 20 0 22 0 27412850 10060525568 44409 33554432000 1073741824 1073778376 140733832537152 140733832528288 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25591/statm: 2456183 44409 2279 9 0 2446860 0
[pid=25591/tid=25593] ppid=25588 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/25591/task/25593/stat : 25593 (java) S 25588 25591 22091 0 -1 4202560 2420 0 1 0 15 2 0 0 20 0 22 0 27412852 10060525568 44409 33554432000 1073741824 1073778376 140733832537152 139948712059768 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25591/tid=25594] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25594/stat : 25594 (java) R 25588 25591 22091 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 27412853 10060525568 44409 33554432000 1073741824 1073778376 140733832537152 139948701120856 139948719554807 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25595] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25595/stat : 25595 (java) R 25588 25591 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27412853 10060525568 44409 33554432000 1073741824 1073778376 140733832537152 139948700068264 239873068167 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=25591/tid=25596] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25596/stat : 25596 (java) R 25588 25591 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27412853 10060525568 44409 33554432000 1073741824 1073778376 140733832537152 139948699015768 139948715816016 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25591/tid=25597] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25597/stat : 25597 (java) R 25588 25591 22091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27412853 10060525568 44409 33554432000 1073741824 1073778376 140733832537152 139948697963224 139948715811840 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=25591/tid=25598] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25598/stat : 25598 (java) R 25588 25591 22091 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 27412853 10060525568 44409 33554432000 1073741824 1073778376 140733832537152 139948696910504 239873068167 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25591/tid=25599] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25599/stat : 25599 (java) R 25588 25591 22091 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 27412853 10060525568 44409 33554432000 1073741824 1073778376 140733832537152 139948695857960 239873068167 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25591/tid=25600] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25600/stat : 25600 (java) D 25588 25591 22091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27412853 10060525568 44409 33554432000 1073741824 1073778376 140733832537152 139948694805592 139948715811840 0 4 0 16800975 18446744071579943789 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25601] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25601/stat : 25601 (java) R 25588 25591 22091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27412853 10060525568 44409 33554432000 1073741824 1073778376 140733832537152 139948693752872 239873068167 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25602] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25602/stat : 25602 (java) S 25588 25591 22091 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 27412854 10060525568 44409 33554432000 1073741824 1073778376 140733832537152 139948536275976 239876486204 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25591/tid=25603] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25603/stat : 25603 (java) S 25588 25591 22091 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 27412855 10060525568 44409 33554432000 1073741824 1073778376 140733832537152 139948535223416 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25604] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25604/stat : 25604 (java) S 25588 25591 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27412855 10060525568 44409 33554432000 1073741824 1073778376 140733832537152 139948534170760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25605] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25605/stat : 25605 (java) S 25588 25591 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27412858 10060525568 44409 33554432000 1073741824 1073778376 140733832537152 139948533119504 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25606] ppid=25588 vsize=9824732 CPUtime=0.69 cores=1,3,5,7
/proc/25591/task/25606/stat : 25606 (java) S 25588 25591 22091 0 -1 4202560 6358 0 0 0 68 1 0 0 20 0 22 0 27412858 10060525568 44409 33554432000 1073741824 1073778376 140733832537152 139948532066872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25607] ppid=25588 vsize=9824732 CPUtime=0.67 cores=1,3,5,7
/proc/25591/task/25607/stat : 25607 (java) S 25588 25591 22091 0 -1 4202560 5592 0 0 0 67 0 0 0 20 0 22 0 27412858 10060525568 44409 33554432000 1073741824 1073778376 140733832537152 139948531014328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25591/tid=25608] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25608/stat : 25608 (java) S 25588 25591 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27412858 10060525568 44409 33554432000 1073741824 1073778376 140733832537152 139948529961976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25591/tid=25609] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25609/stat : 25609 (java) S 25588 25591 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27412858 10060525568 44409 33554432000 1073741824 1073778376 140733832537152 139948528909640 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25591/tid=25622] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25622/stat : 25622 (java) S 25588 25591 22091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27413021 10060525568 44409 33554432000 1073741824 1073778376 140733832537152 139948526802216 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 9824732

[startup+6.30096 s]
/proc/loadavg: 4.30 4.29 4.26 6/219 25631
/proc/meminfo: memFree=27116732/32872528 swapFree=1459628/1655852
[pid=25591] ppid=25588 vsize=9824732 CPUtime=9.34 cores=1,3,5,7
/proc/25591/stat : 25591 (java) S 25588 25591 22091 0 -1 4202496 17541 0 1 0 908 26 0 0 20 0 22 0 27412850 10060525568 89025 33554432000 1073741824 1073778376 140733832537152 140733832528288 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25591/statm: 2456183 89025 2285 9 0 2446860 0
[pid=25591/tid=25593] ppid=25588 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/25591/task/25593/stat : 25593 (java) S 25588 25591 22091 0 -1 4202560 2420 0 1 0 15 2 0 0 20 0 22 0 27412852 10060525568 89025 33554432000 1073741824 1073778376 140733832537152 139948712059768 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25591/tid=25594] ppid=25588 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/25591/task/25594/stat : 25594 (java) S 25588 25591 22091 0 -1 4202560 122 0 0 0 6 2 0 0 20 0 22 0 27412853 10060525568 89025 33554432000 1073741824 1073778376 140733832537152 139948701120680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25591/tid=25595] ppid=25588 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/25591/task/25595/stat : 25595 (java) S 25588 25591 22091 0 -1 4202560 28 0 0 0 4 2 0 0 20 0 22 0 27412853 10060525568 89025 33554432000 1073741824 1073778376 140733832537152 139948700068136 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25591/tid=25596] ppid=25588 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/25591/task/25596/stat : 25596 (java) S 25588 25591 22091 0 -1 4202560 31 0 0 0 3 0 0 0 20 0 22 0 27412853 10060525568 89025 33554432000 1073741824 1073778376 140733832537152 139948699015592 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25597] ppid=25588 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/25591/task/25597/stat : 25597 (java) S 25588 25591 22091 0 -1 4202560 121 0 0 0 4 2 0 0 20 0 22 0 27412853 10060525568 89025 33554432000 1073741824 1073778376 140733832537152 139948697963048 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25591/tid=25598] ppid=25588 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/25591/task/25598/stat : 25598 (java) S 25588 25591 22091 0 -1 4202560 28 0 0 0 6 0 0 0 20 0 22 0 27412853 10060525568 89025 33554432000 1073741824 1073778376 140733832537152 139948696910504 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25591/tid=25599] ppid=25588 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/25591/task/25599/stat : 25599 (java) S 25588 25591 22091 0 -1 4202560 111 0 0 0 4 0 0 0 20 0 22 0 27412853 10060525568 89025 33554432000 1073741824 1073778376 140733832537152 139948695857960 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25591/tid=25600] ppid=25588 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/25591/task/25600/stat : 25600 (java) S 25588 25591 22091 0 -1 4202560 99 0 0 0 4 2 0 0 20 0 22 0 27412853 10060525568 89025 33554432000 1073741824 1073778376 140733832537152 139948694805416 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25601] ppid=25588 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/25591/task/25601/stat : 25601 (java) S 25588 25591 22091 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 22 0 27412853 10060525568 89025 33554432000 1073741824 1073778376 140733832537152 139948693752872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25602] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25602/stat : 25602 (java) S 25588 25591 22091 0 -1 4202560 210 0 0 0 0 0 0 0 20 0 22 0 27412854 10060525568 89025 33554432000 1073741824 1073778376 140733832537152 139948536277096 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25591/tid=25603] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25603/stat : 25603 (java) S 25588 25591 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27412855 10060525568 89025 33554432000 1073741824 1073778376 140733832537152 139948535223416 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25604] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25604/stat : 25604 (java) S 25588 25591 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27412855 10060525568 89025 33554432000 1073741824 1073778376 140733832537152 139948534170760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25605] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25605/stat : 25605 (java) S 25588 25591 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27412858 10060525568 89025 33554432000 1073741824 1073778376 140733832537152 139948533119504 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25606] ppid=25588 vsize=9824732 CPUtime=0.85 cores=1,3,5,7
/proc/25591/task/25606/stat : 25606 (java) S 25588 25591 22091 0 -1 4202560 6359 0 0 0 84 1 0 0 20 0 22 0 27412858 10060525568 89025 33554432000 1073741824 1073778376 140733832537152 139948532066872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25607] ppid=25588 vsize=9824732 CPUtime=0.8 cores=1,3,5,7
/proc/25591/task/25607/stat : 25607 (java) S 25588 25591 22091 0 -1 4202560 6508 0 0 0 80 0 0 0 20 0 22 0 27412858 10060525568 89025 33554432000 1073741824 1073778376 140733832537152 139948531014328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25591/tid=25608] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25608/stat : 25608 (java) S 25588 25591 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27412858 10060525568 89025 33554432000 1073741824 1073778376 140733832537152 139948529961976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25591/tid=25609] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25609/stat : 25609 (java) S 25588 25591 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27412858 10060525568 89025 33554432000 1073741824 1073778376 140733832537152 139948528909640 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25591/tid=25622] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25622/stat : 25622 (java) S 25588 25591 22091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27413021 10060525568 89025 33554432000 1073741824 1073778376 140733832537152 139948526802216 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25591/tid=25629] ppid=25588 vsize=9824732 CPUtime=2.42 cores=1,3,5,7
/proc/25591/task/25629/stat : 25629 (java) R 25588 25591 22091 0 -1 4202560 9 0 0 0 242 0 0 0 20 0 22 0 27413222 10060525568 89025 33554432000 1073741824 1073778376 140733832537152 139948527845392 139948573849196 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25591/tid=25630] ppid=25588 vsize=9824732 CPUtime=2.42 cores=1,3,5,7

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

[pid=25591/tid=25601] ppid=25588 vsize=9824732 CPUtime=0.41 cores=1,3,5,7
/proc/25591/task/25601/stat : 25601 (java) S 25588 25591 22091 0 -1 4202560 267 0 0 0 31 10 0 0 20 0 22 0 27412853 10060525568 781324 33554432000 1073741824 1073778376 140733832537152 139948693752872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25591/tid=25602] ppid=25588 vsize=9824732 CPUtime=0.81 cores=1,3,5,7
/proc/25591/task/25602/stat : 25602 (java) S 25588 25591 22091 0 -1 4202560 1588 0 0 0 79 2 0 0 20 0 22 0 27412854 10060525568 781324 33554432000 1073741824 1073778376 140733832537152 139948536277096 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25603] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25603/stat : 25603 (java) S 25588 25591 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27412855 10060525568 781324 33554432000 1073741824 1073778376 140733832537152 139948535223416 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25604] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25604/stat : 25604 (java) S 25588 25591 22091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 27412855 10060525568 781324 33554432000 1073741824 1073778376 140733832537152 139948534170760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25605] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25605/stat : 25605 (java) S 25588 25591 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27412858 10060525568 781324 33554432000 1073741824 1073778376 140733832537152 139948533119504 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25606] ppid=25588 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/25591/task/25606/stat : 25606 (java) S 25588 25591 22091 0 -1 4202560 6372 0 0 0 107 2 0 0 20 0 22 0 27412858 10060525568 781324 33554432000 1073741824 1073778376 140733832537152 139948532066872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25607] ppid=25588 vsize=9824732 CPUtime=0.8 cores=1,3,5,7
/proc/25591/task/25607/stat : 25607 (java) S 25588 25591 22091 0 -1 4202560 6508 0 0 0 80 0 0 0 20 0 22 0 27412858 10060525568 781324 33554432000 1073741824 1073778376 140733832537152 139948531014328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25591/tid=25608] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25608/stat : 25608 (java) S 25588 25591 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27412858 10060525568 781324 33554432000 1073741824 1073778376 140733832537152 139948529961976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25591/tid=25609] ppid=25588 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/25591/task/25609/stat : 25609 (java) S 25588 25591 22091 0 -1 4202560 51 0 0 0 6 11 0 0 20 0 22 0 27412858 10060525568 781324 33554432000 1073741824 1073778376 140733832537152 139948528909640 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25591/tid=25622] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25622/stat : 25622 (java) S 25588 25591 22091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27413021 10060525568 781324 33554432000 1073741824 1073778376 140733832537152 139948526802216 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25591/tid=25642] ppid=25588 vsize=9824732 CPUtime=761.67 cores=1,3,5,7
/proc/25591/task/25642/stat : 25642 (java) R 25588 25591 22091 0 -1 4202560 6 0 0 0 76156 11 0 0 20 0 22 0 27424580 10060525568 781324 33554432000 1073741824 1073778376 140733832537152 139948527845968 139948573826501 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25591/tid=25643] ppid=25588 vsize=9824732 CPUtime=761.8 cores=1,3,5,7
/proc/25591/task/25643/stat : 25643 (java) R 25588 25591 22091 0 -1 4202560 11 0 0 0 76169 11 0 0 20 0 22 0 27424580 10060525568 781324 33554432000 1073741824 1073778376 140733832537152 139948525747296 139948574044732 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25591/tid=25644] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25644/stat : 25644 (java) S 25588 25591 22091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27424580 10060525568 781324 33554432000 1073741824 1073778376 140733832537152 139948524696488 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1758.87
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+902.701 s]
/proc/loadavg: 4.06 4.19 4.20 5/219 25835
/proc/meminfo: memFree=26087060/32872528 swapFree=1459628/1655852
[pid=25591] ppid=25588 vsize=9824732 CPUtime=1799.71 cores=1,3,5,7
/proc/25591/stat : 25591 (java) S 25588 25591 22091 0 -1 4202496 22366 0 1 0 179815 156 0 0 20 0 22 0 27412850 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 140733832528288 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25591/statm: 2456183 768606 2294 9 0 2446860 0
[pid=25591/tid=25593] ppid=25588 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/25591/task/25593/stat : 25593 (java) S 25588 25591 22091 0 -1 4202560 2421 0 1 0 18 2 0 0 20 0 22 0 27412852 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948712059768 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25591/tid=25594] ppid=25588 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/25591/task/25594/stat : 25594 (java) S 25588 25591 22091 0 -1 4202560 379 0 0 0 38 13 0 0 20 0 22 0 27412853 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948701120680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25595] ppid=25588 vsize=9824732 CPUtime=0.44 cores=1,3,5,7
/proc/25591/task/25595/stat : 25595 (java) S 25588 25591 22091 0 -1 4202560 231 0 0 0 33 11 0 0 20 0 22 0 27412853 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948700068136 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25591/tid=25596] ppid=25588 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/25591/task/25596/stat : 25596 (java) S 25588 25591 22091 0 -1 4202560 263 0 0 0 30 10 0 0 20 0 22 0 27412853 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948699015592 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25597] ppid=25588 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/25591/task/25597/stat : 25597 (java) S 25588 25591 22091 0 -1 4202560 482 0 0 0 42 14 0 0 20 0 22 0 27412853 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948697963048 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25598] ppid=25588 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/25591/task/25598/stat : 25598 (java) S 25588 25591 22091 0 -1 4202560 267 0 0 0 28 7 0 0 20 0 22 0 27412853 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948696910504 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25599] ppid=25588 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/25591/task/25599/stat : 25599 (java) S 25588 25591 22091 0 -1 4202560 452 0 0 0 35 13 0 0 20 0 22 0 27412853 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948695857960 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25600] ppid=25588 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/25591/task/25600/stat : 25600 (java) S 25588 25591 22091 0 -1 4202560 322 0 0 0 31 11 0 0 20 0 22 0 27412853 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948694805416 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25601] ppid=25588 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/25591/task/25601/stat : 25601 (java) S 25588 25591 22091 0 -1 4202560 272 0 0 0 35 10 0 0 20 0 22 0 27412853 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948693752872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25591/tid=25602] ppid=25588 vsize=9824732 CPUtime=0.81 cores=1,3,5,7
/proc/25591/task/25602/stat : 25602 (java) S 25588 25591 22091 0 -1 4202560 1590 0 0 0 79 2 0 0 20 0 22 0 27412854 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948536277096 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25603] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25603/stat : 25603 (java) S 25588 25591 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27412855 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948535223416 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25604] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25604/stat : 25604 (java) S 25588 25591 22091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 27412855 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948534170760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25605] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25605/stat : 25605 (java) S 25588 25591 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27412858 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948533119504 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25606] ppid=25588 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/25591/task/25606/stat : 25606 (java) S 25588 25591 22091 0 -1 4202560 6372 0 0 0 107 2 0 0 20 0 22 0 27412858 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948532066872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25607] ppid=25588 vsize=9824732 CPUtime=0.8 cores=1,3,5,7
/proc/25591/task/25607/stat : 25607 (java) S 25588 25591 22091 0 -1 4202560 6508 0 0 0 80 0 0 0 20 0 22 0 27412858 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948531014328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25591/tid=25608] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25608/stat : 25608 (java) S 25588 25591 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27412858 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948529961976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25591/tid=25609] ppid=25588 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/25591/task/25609/stat : 25609 (java) S 25588 25591 22091 0 -1 4202560 51 0 0 0 6 11 0 0 20 0 22 0 27412858 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948528909640 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25622] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25622/stat : 25622 (java) S 25588 25591 22091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27413021 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948526802216 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25591/tid=25642] ppid=25588 vsize=9824732 CPUtime=781.97 cores=1,3,5,7
/proc/25591/task/25642/stat : 25642 (java) R 25588 25591 22091 0 -1 4202560 7 0 0 0 78186 11 0 0 20 0 22 0 27424580 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948527852880 139948574530274 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25591/tid=25643] ppid=25588 vsize=9824732 CPUtime=782.1 cores=1,3,5,7
/proc/25591/task/25643/stat : 25643 (java) R 25588 25591 22091 0 -1 4202560 11 0 0 0 78199 11 0 0 20 0 22 0 27424580 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948525747296 139948574044715 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25591/tid=25644] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25644/stat : 25644 (java) S 25588 25591 22091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27424580 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948524696488 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.71
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 25591 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+902.701 s]
/proc/loadavg: 4.06 4.19 4.20 5/219 25835
/proc/meminfo: memFree=26087060/32872528 swapFree=1459628/1655852
[pid=25591] ppid=25588 vsize=9824732 CPUtime=1799.71 cores=1,3,5,7
/proc/25591/stat : 25591 (java) S 25588 25591 22091 0 -1 4202496 22366 0 1 0 179815 156 0 0 20 0 22 0 27412850 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 140733832528288 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25591/statm: 2456183 768606 2294 9 0 2446860 0
[pid=25591/tid=25593] ppid=25588 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/25591/task/25593/stat : 25593 (java) S 25588 25591 22091 0 -1 4202560 2421 0 1 0 18 2 0 0 20 0 22 0 27412852 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948712059768 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25591/tid=25594] ppid=25588 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/25591/task/25594/stat : 25594 (java) S 25588 25591 22091 0 -1 4202560 379 0 0 0 38 13 0 0 20 0 22 0 27412853 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948701120680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25595] ppid=25588 vsize=9824732 CPUtime=0.44 cores=1,3,5,7
/proc/25591/task/25595/stat : 25595 (java) S 25588 25591 22091 0 -1 4202560 231 0 0 0 33 11 0 0 20 0 22 0 27412853 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948700068136 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25591/tid=25596] ppid=25588 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/25591/task/25596/stat : 25596 (java) S 25588 25591 22091 0 -1 4202560 263 0 0 0 30 10 0 0 20 0 22 0 27412853 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948699015592 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25597] ppid=25588 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/25591/task/25597/stat : 25597 (java) S 25588 25591 22091 0 -1 4202560 482 0 0 0 42 14 0 0 20 0 22 0 27412853 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948697963048 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25598] ppid=25588 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/25591/task/25598/stat : 25598 (java) S 25588 25591 22091 0 -1 4202560 267 0 0 0 28 7 0 0 20 0 22 0 27412853 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948696910504 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25599] ppid=25588 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/25591/task/25599/stat : 25599 (java) S 25588 25591 22091 0 -1 4202560 452 0 0 0 35 13 0 0 20 0 22 0 27412853 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948695857960 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25600] ppid=25588 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/25591/task/25600/stat : 25600 (java) S 25588 25591 22091 0 -1 4202560 322 0 0 0 31 11 0 0 20 0 22 0 27412853 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948694805416 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25601] ppid=25588 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/25591/task/25601/stat : 25601 (java) S 25588 25591 22091 0 -1 4202560 272 0 0 0 35 10 0 0 20 0 22 0 27412853 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948693752872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25591/tid=25602] ppid=25588 vsize=9824732 CPUtime=0.81 cores=1,3,5,7
/proc/25591/task/25602/stat : 25602 (java) S 25588 25591 22091 0 -1 4202560 1590 0 0 0 79 2 0 0 20 0 22 0 27412854 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948536277096 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25603] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25603/stat : 25603 (java) S 25588 25591 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27412855 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948535223416 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25604] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25604/stat : 25604 (java) S 25588 25591 22091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 27412855 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948534170760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25605] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25605/stat : 25605 (java) S 25588 25591 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27412858 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948533119504 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25606] ppid=25588 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/25591/task/25606/stat : 25606 (java) S 25588 25591 22091 0 -1 4202560 6372 0 0 0 107 2 0 0 20 0 22 0 27412858 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948532066872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25607] ppid=25588 vsize=9824732 CPUtime=0.8 cores=1,3,5,7
/proc/25591/task/25607/stat : 25607 (java) S 25588 25591 22091 0 -1 4202560 6508 0 0 0 80 0 0 0 20 0 22 0 27412858 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948531014328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25591/tid=25608] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25608/stat : 25608 (java) S 25588 25591 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27412858 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948529961976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25591/tid=25609] ppid=25588 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/25591/task/25609/stat : 25609 (java) S 25588 25591 22091 0 -1 4202560 51 0 0 0 6 11 0 0 20 0 22 0 27412858 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948528909640 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25591/tid=25622] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25622/stat : 25622 (java) S 25588 25591 22091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27413021 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948526802216 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25591/tid=25642] ppid=25588 vsize=9824732 CPUtime=781.97 cores=1,3,5,7
/proc/25591/task/25642/stat : 25642 (java) R 25588 25591 22091 0 -1 4202560 7 0 0 0 78186 11 0 0 20 0 22 0 27424580 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948527852880 139948574530274 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25591/tid=25643] ppid=25588 vsize=9824732 CPUtime=782.1 cores=1,3,5,7
/proc/25591/task/25643/stat : 25643 (java) R 25588 25591 22091 0 -1 4202560 11 0 0 0 78199 11 0 0 20 0 22 0 27424580 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948525747296 139948574044715 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25591/tid=25644] ppid=25588 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25591/task/25644/stat : 25644 (java) S 25588 25591 22091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27424580 10060525568 768606 33554432000 1073741824 1073778376 140733832537152 139948524696488 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.71
Current children cumulated vsize (KiB) 9824732

Child status: 143

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


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.380005
#  lost CPU user time (s): 0.410004
#  lost CPU system time (s): -0.03

Real time (s): 902.753
CPU time (s): 1800.09
CPU user time (s): 1798.56
CPU system time (s): 1.53
CPU usage (%): 199.4
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.14
system time used= 1.93171
maximum resident set size= 3145056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22409
page faults= 1
swaps= 0
block input operations= 0
block output operations= 616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22001
involuntary context switches= 24092

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.20221 second user time and 7.63384 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-18 14:41:13
IDJOB=4105418
IDBENCH=2859
IDSOLVER=2543
FILE ID=node136/4105418-1466253673
RUNJOBID= node136-1466240588-22108
PBS_JOBID= 19918192
Free space on /tmp= 71736 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_300_10_14.r.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105418-1466253673/watcher-4105418-1466253673 -o /tmp/evaluation-result-4105418-1466253673/solver-4105418-1466253673 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466240588-22108 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4105418-1466253673.opb

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

MD5SUM BENCH= f1b978cb920387bc2a07b8b1a528a68d
RANDOM SEED=1521800144

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
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:        27346304 kB
Buffers:           18468 kB
Cached:           102848 kB
SwapCached:        47324 kB
Active:          3034752 kB
Inactive:         126968 kB
Active(anon):    2995528 kB
Inactive(anon):    47248 kB
Active(file):      39224 kB
Inactive(file):    79720 kB
Unevictable:     1655852 kB
Mlocked:         1459628 kB
SwapTotal:      67108856 kB
SwapFree:       67054628 kB
Dirty:               468 kB
Writeback:             0 kB
AnonPages:       4601332 kB
Mapped:            16996 kB
Shmem:                 0 kB
Slab:             569716 kB
SReclaimable:      13740 kB
SUnreclaim:       555976 kB
KernelStack:        1784 kB
PageTables:        13624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5076928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3088384 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= 71736 MiB
End job on node136 at 2016-06-18 14:56:16