Trace number 4092110

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 NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16MSAT (TO) 1800 898.865

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom30a-3_wcsp.wbo
MD5SUM531d8636127ef9c1ca088d2ef0ec4c38
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark11
Best CPU time to get the best result obtained on this benchmark1.59676
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables90
Total number of constraints273
Number of soft constraints243
Number of constraints which are clauses243
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Top cost 82
Min constraint cost 1
Max constraint cost 1
Sum of constraints costs 243
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4
Number of bits of the biggest sum of numbers3
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@16fd0b7
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@4413ee
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@75786e64
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@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4092110-1466108693.wbo
0.09/0.12	c reading problem ... 
0.09/0.17	c ... done. Wall clock time 0.049s.
0.09/0.17	c declared #vars     90
0.09/0.17	c internal #vars     333
0.09/0.17	c #constraints  303
0.09/0.17	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.17	c constraints type 
0.09/0.17	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 273
0.09/0.17	c org.sat4j.minisat.constraints.card.MinWatchCard => 30
0.09/0.17	c 303 constraints processed.
0.09/0.17	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.17	c constraints type 
0.09/0.17	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 273
0.09/0.17	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 30
0.09/0.17	c 303 constraints processed.
0.09/0.17	c objective function length is 243 literals
0.25/0.20	c And the winner is solver0
0.31/0.67	c SATISFIABLE
0.31/0.67	c OPTIMIZING...
0.31/0.67	c Got one! Elapsed wall clock time (in seconds):0.554
0.31/0.67	o 25
0.36/0.70	c And the winner is solver1
0.47/1.18	c Got one! Elapsed wall clock time (in seconds):1.057
0.47/1.18	o 17
0.47/1.19	c And the winner is solver0
0.54/1.68	c Got one! Elapsed wall clock time (in seconds):1.559
0.54/1.68	o 16
0.54/1.68	c And the winner is solver1
0.56/2.18	c Got one! Elapsed wall clock time (in seconds):2.062
0.56/2.18	o 15
0.99/2.34	c And the winner is solver1
1.37/2.68	c Got one! Elapsed wall clock time (in seconds):2.564
1.37/2.68	o 14
1.37/2.69	c And the winner is solver1
1.46/3.19	c Got one! Elapsed wall clock time (in seconds):3.066
1.46/3.19	o 13
2.27/3.42	c cleaning 2637 clauses out of 5274 with flag 11043/5274
3.39/3.72	c cleaning 4319 clauses out of 8637 with flag 34534/11274
4.00/4.05	c cleaning 5652 clauses out of 11317 with flag 58855/18273
4.88/4.46	c cleaning 6827 clauses out of 13665 with flag 87899/26273
5.90/4.93	c cleaning 7919 clauses out of 15839 with flag 119862/35274
7.16/5.51	c cleaning 8954 clauses out of 17921 with flag 153577/45275
8.39/6.17	c cleaning 9973 clauses out of 19965 with flag 193570/56273
10.04/6.92	c cleaning 10991 clauses out of 21992 with flag 231993/68273
11.65/7.75	c cleaning 11993 clauses out of 24003 with flag 276395/81275
13.52/8.66	c cleaning 13001 clauses out of 26008 with flag 322931/95273
15.60/9.63	c cleaning 14004 clauses out of 28007 with flag 372662/110273
17.80/10.70	c cleaning 14998 clauses out of 30003 with flag 427317/126273
19.81/11.80	c cleaning 15993 clauses out of 32007 with flag 486656/143275
22.53/13.06	c cleaning 17000 clauses out of 34012 with flag 554488/161273
25.73/14.60	c cleaning 17997 clauses out of 36014 with flag 617652/180275
28.81/16.17	c cleaning 18997 clauses out of 38016 with flag 688477/200274
32.03/17.77	c cleaning 20004 clauses out of 40021 with flag 763432/221276
35.41/19.44	c cleaning 20998 clauses out of 42015 with flag 846074/243274
39.09/21.29	c cleaning 21999 clauses out of 44017 with flag 926694/266274
43.11/23.27	c cleaning 23006 clauses out of 46020 with flag 1004826/290276
47.36/25.38	c cleaning 24003 clauses out of 48014 with flag 1099549/315276
51.76/27.53	c cleaning 25000 clauses out of 50010 with flag 1198879/341275
56.74/30.02	c cleaning 26000 clauses out of 52009 with flag 1303594/368274
61.75/32.52	c cleaning 27002 clauses out of 54010 with flag 1407667/396275
67.47/35.31	c cleaning 27996 clauses out of 56006 with flag 1517066/425273
72.86/38.09	c cleaning 29003 clauses out of 58010 with flag 1630037/455273
79.45/41.34	c cleaning 30000 clauses out of 60007 with flag 1754462/486273
83.15/43.14	c cleaning 0 clauses out of 5077 with flag 0/5077
86.95/44.84	c cleaning 30994 clauses out of 62007 with flag 1876453/518273
93.98/48.33	c cleaning 32001 clauses out of 64013 with flag 2003163/551273
101.25/51.93	c cleaning 33005 clauses out of 66013 with flag 2130608/585274
109.04/55.82	c cleaning 33998 clauses out of 68007 with flag 2264503/620273
117.04/59.83	c cleaning 35001 clauses out of 70011 with flag 2402008/656275
125.71/64.13	c cleaning 35997 clauses out of 72010 with flag 2539221/693275
134.91/68.73	c cleaning 36999 clauses out of 74011 with flag 2681095/731273
144.78/73.61	c cleaning 38002 clauses out of 76013 with flag 2833309/770274
155.06/78.78	c cleaning 39007 clauses out of 78013 with flag 2981152/810276
165.86/84.13	c cleaning 39998 clauses out of 80003 with flag 3134251/851273
178.12/90.28	c cleaning 40998 clauses out of 82005 with flag 3276730/893273
191.57/96.97	c cleaning 41990 clauses out of 84007 with flag 3421727/936273
204.40/103.30	c cleaning 43001 clauses out of 86017 with flag 3571778/980273
217.65/109.93	c cleaning 44006 clauses out of 88018 with flag 3731260/1025275
232.08/117.14	c cleaning 45003 clauses out of 90012 with flag 3890798/1071275
246.52/124.34	c cleaning 45996 clauses out of 92007 with flag 4051510/1118273
258.76/130.42	c cleaning 47000 clauses out of 94012 with flag 4217059/1166274
271.82/137.00	c cleaning 48002 clauses out of 96014 with flag 4382628/1215276
284.86/143.40	c cleaning 49000 clauses out of 98009 with flag 4547628/1265273
297.51/149.77	c cleaning 49994 clauses out of 100009 with flag 4723879/1316273
311.56/156.76	c cleaning 50993 clauses out of 102015 with flag 4913539/1368273
325.85/163.83	c cleaning 52003 clauses out of 104022 with flag 5089891/1421273
340.31/171.06	c cleaning 53005 clauses out of 106020 with flag 5261619/1475274
355.57/178.66	c cleaning 53999 clauses out of 108014 with flag 5448094/1530273
372.44/187.02	c cleaning 55002 clauses out of 110015 with flag 5626874/1586273
389.10/195.31	c cleaning 56001 clauses out of 112015 with flag 5820496/1643275
392.35/196.92	c And the winner is solver1
392.35/197.24	c Got one! Elapsed wall clock time (in seconds):197.117
392.35/197.24	o 12
393.88/198.05	c cleaning 38901 clauses out of 77805 with flag 15487/1665066
395.08/198.65	c cleaning 22446 clauses out of 44903 with flag 35660/1671065
396.15/199.15	c cleaning 14718 clauses out of 29456 with flag 59521/1678064
397.11/199.62	c cleaning 11376 clauses out of 22752 with flag 87527/1686078
398.11/200.11	c cleaning 10178 clauses out of 20363 with flag 121072/1695065
399.11/200.63	c cleaning 10083 clauses out of 20188 with flag 160527/1705068
400.31/201.21	c cleaning 10550 clauses out of 21103 with flag 201082/1716066
401.51/201.86	c cleaning 11276 clauses out of 22556 with flag 250424/1728069
403.13/202.62	c cleaning 12133 clauses out of 24276 with flag 298756/1741065
404.73/203.44	c cleaning 13066 clauses out of 26143 with flag 351787/1755065
406.52/204.32	c cleaning 14039 clauses out of 28081 with flag 405519/1770069
408.32/205.23	c cleaning 15019 clauses out of 30037 with flag 468258/1786064
410.35/206.25	c cleaning 16009 clauses out of 32019 with flag 538005/1803065
412.55/207.36	c cleaning 17006 clauses out of 34011 with flag 615375/1821066
415.20/208.64	c cleaning 17996 clauses out of 36003 with flag 701442/1840064
417.99/210.04	c cleaning 18997 clauses out of 38007 with flag 789112/1860064
421.05/211.51	c cleaning 19995 clauses out of 40010 with flag 883555/1881064
424.04/213.03	c cleaning 21003 clauses out of 42015 with flag 986213/1903064
427.28/214.65	c cleaning 22006 clauses out of 44012 with flag 1098712/1926064
430.66/216.39	c cleaning 23004 clauses out of 46009 with flag 1221838/1950067
434.71/218.34	c cleaning 23999 clauses out of 48003 with flag 1357199/1975065
438.94/220.41	c cleaning 25002 clauses out of 50004 with flag 1500420/2001065
443.59/222.70	c cleaning 25989 clauses out of 52001 with flag 1651719/2028064
448.41/225.15	c cleaning 26999 clauses out of 54013 with flag 1801640/2056065
453.46/227.66	c cleaning 28007 clauses out of 56016 with flag 1909470/2085067
458.70/230.28	c cleaning 29000 clauses out of 58006 with flag 2018217/2115064
464.77/233.21	c cleaning 29999 clauses out of 60006 with flag 2136167/2146064
470.60/236.15	c cleaning 31002 clauses out of 62009 with flag 2254296/2178066
476.99/239.33	c cleaning 31999 clauses out of 64005 with flag 2384706/2211064
483.63/242.62	c cleaning 33000 clauses out of 66006 with flag 2505035/2245064
490.65/246.10	c cleaning 33999 clauses out of 68006 with flag 2641166/2280064
498.38/250.35	c cleaning 35002 clauses out of 70010 with flag 2787875/2316067
506.05/254.20	c cleaning 35998 clauses out of 72005 with flag 2961472/2353064
513.49/257.80	c cleaning 37001 clauses out of 74011 with flag 3096556/2391068
521.53/261.85	c cleaning 38003 clauses out of 76008 with flag 3251411/2430066
530.16/266.15	c cleaning 39002 clauses out of 78003 with flag 3417435/2470064
539.60/270.86	c cleaning 39998 clauses out of 80001 with flag 3594418/2511064
549.29/275.62	c cleaning 40996 clauses out of 82004 with flag 3790271/2553065
559.13/280.59	c cleaning 42000 clauses out of 84007 with flag 3982444/2596064
568.75/285.39	c cleaning 42998 clauses out of 86007 with flag 4142174/2640064
578.79/290.40	c cleaning 44003 clauses out of 88011 with flag 4320198/2685066
590.10/295.92	c cleaning 44988 clauses out of 90006 with flag 4495996/2731064
601.95/301.80	c cleaning 46005 clauses out of 92019 with flag 4669832/2778065
613.59/307.60	c cleaning 47006 clauses out of 94013 with flag 4848561/2826064
624.84/313.29	c cleaning 48002 clauses out of 96009 with flag 5015921/2875066
637.32/319.40	c cleaning 49001 clauses out of 98007 with flag 5193166/2925066
649.56/325.53	c cleaning 50000 clauses out of 100004 with flag 5372734/2976064
662.82/332.18	c cleaning 50976 clauses out of 102004 with flag 5555975/3028064
676.53/338.95	c cleaning 52014 clauses out of 104028 with flag 5756016/3081064
690.63/345.98	c cleaning 53004 clauses out of 106018 with flag 5958473/3135068
704.69/352.98	c cleaning 54001 clauses out of 108010 with flag 6174873/3190064
718.76/359.92	c cleaning 55001 clauses out of 110010 with flag 6423982/3246065
733.44/367.23	c cleaning 56002 clauses out of 112008 with flag 6669890/3303064
749.28/375.14	c cleaning 56999 clauses out of 114008 with flag 6890207/3361066
766.18/383.54	c cleaning 57997 clauses out of 116007 with flag 7142983/3420064
783.68/392.25	c cleaning 59000 clauses out of 118010 with flag 7376934/3480064
800.57/400.63	c cleaning 60006 clauses out of 120011 with flag 7623997/3541065
818.85/409.70	c cleaning 60993 clauses out of 122004 with flag 7863822/3603064
837.92/419.26	c cleaning 61994 clauses out of 124011 with flag 8110035/3666064
856.44/428.47	c cleaning 63003 clauses out of 126017 with flag 8368754/3730064
876.94/438.68	c cleaning 64008 clauses out of 128021 with flag 8601025/3795071
898.46/449.31	c cleaning 64999 clauses out of 130006 with flag 8836862/3861064
919.61/459.85	c cleaning 65995 clauses out of 132007 with flag 9111141/3928064
923.79/461.92	c cleaning 0 clauses out of 15677 with flag 0/15677
941.76/471.36	c cleaning 67004 clauses out of 134012 with flag 9419844/3996064
963.47/482.18	c cleaning 67990 clauses out of 136008 with flag 9755855/4065064
985.04/492.90	c cleaning 69003 clauses out of 138018 with flag 10137367/4135064
1006.92/503.78	c cleaning 70006 clauses out of 140015 with flag 10408428/4206064
1029.23/514.81	c cleaning 70997 clauses out of 142009 with flag 10650653/4278064
1053.38/526.87	c cleaning 72009 clauses out of 144017 with flag 10916830/4351069
1078.48/539.35	c cleaning 72999 clauses out of 146004 with flag 11179999/4425065
1103.37/551.75	c cleaning 73997 clauses out of 148004 with flag 11437118/4500064
1131.28/565.60	c cleaning 75002 clauses out of 150007 with flag 11707153/4576064
1158.45/579.15	c cleaning 76000 clauses out of 152006 with flag 11996944/4653065
1185.46/592.56	c cleaning 76999 clauses out of 154005 with flag 12277207/4731064
1213.69/606.50	c cleaning 77997 clauses out of 156006 with flag 12599528/4810064
1238.19/618.78	c cleaning 79005 clauses out of 158011 with flag 12914018/4890066
1267.92/633.59	c cleaning 79994 clauses out of 160004 with flag 13217157/4971064
1298.09/648.57	c cleaning 81003 clauses out of 162010 with flag 13561236/5053064
1326.98/662.95	c cleaning 81995 clauses out of 164008 with flag 13969063/5136065
1358.78/678.72	c cleaning 83006 clauses out of 166012 with flag 14347226/5220064
1389.88/694.22	c cleaning 84004 clauses out of 168007 with flag 14730011/5305065
1421.84/710.16	c cleaning 84996 clauses out of 170002 with flag 15135495/5391064
1453.60/726.00	c cleaning 85995 clauses out of 172006 with flag 15580458/5478064
1486.78/742.50	c cleaning 87001 clauses out of 174014 with flag 15915160/5566067
1520.68/759.39	c cleaning 88002 clauses out of 176010 with flag 16362088/5655064
1556.45/777.13	c cleaning 89003 clauses out of 178008 with flag 16808257/5745064
1593.90/796.40	c cleaning 89997 clauses out of 180005 with flag 17221334/5836064
1630.49/814.57	c cleaning 91000 clauses out of 182010 with flag 17697767/5928066
1665.93/832.11	c cleaning 92000 clauses out of 184009 with flag 18127053/6021065
1702.89/850.53	c cleaning 93004 clauses out of 186009 with flag 18531400/6115065
1743.09/870.58	c cleaning 94002 clauses out of 188006 with flag 18890241/6210066
1783.54/890.64	c cleaning 94998 clauses out of 190004 with flag 19302809/6306066
1800.00/898.81	c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<<
1800.00/898.81	c starts		: 88882
1800.00/898.81	c conflicts		: 6354122
1800.00/898.81	c decisions		: 16318996
1800.00/898.81	c propagations		: 322637415
1800.00/898.81	c inspects		: 13646106887
1800.00/898.81	c shortcuts		: 0
1800.00/898.81	c learnt literals	: 0
1800.00/898.81	c learnt binary clauses	: 0
1800.00/898.81	c learnt ternary clauses	: 0
1800.00/898.81	c learnt constraints	: 6354122
1800.00/898.81	c ignored constraints	: 0
1800.00/898.81	c root simplifications	: 0
1800.00/898.81	c removed literals (reason simplification)	: 19943459
1800.00/898.81	c reason swapping (by a shorter reason)	: 0
1800.00/898.81	c Calls to reduceDB	: 145
1800.00/898.81	c Number of update (reduction) of LBD	: 2464180
1800.00/898.81	c Imported unit clauses	: 0
1800.00/898.81	c number of reductions to clauses (during analyze)	: 0
1800.00/898.81	c number of learned constraints concerned by reduction	: 0
1800.00/898.81	c number of learning phase by resolution	: 0
1800.00/898.81	c number of learning phase by cutting planes	: 0
1800.00/898.81	c speed (assignments/second)	: 459879.14962156303
1800.00/898.81	c non guided choices	24
1800.00/898.84	c learnt constraints type 
1800.00/898.84	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 143062
1800.00/898.84	c >>>>>>>>>> Solver number 1 (5 answers) <<<<<<<<<<<<<<<<<<
1800.00/898.84	c starts		: 53
1800.00/898.84	c conflicts		: 20802
1800.00/898.84	c decisions		: 94914
1800.00/898.84	c propagations		: 573158
1800.00/898.84	c inspects		: 936770326
1800.00/898.84	c shortcuts		: 0
1800.00/898.84	c learnt literals	: 0
1800.00/898.84	c learnt binary clauses	: 0
1800.00/898.84	c learnt ternary clauses	: 0
1800.00/898.84	c learnt constraints	: 20801
1800.00/898.84	c ignored constraints	: 0
1800.00/898.84	c root simplifications	: 0
1800.00/898.84	c removed literals (reason simplification)	: 0
1800.00/898.84	c reason swapping (by a shorter reason)	: 0
1800.00/898.84	c Calls to reduceDB	: 2
1800.00/898.84	c Number of update (reduction) of LBD	: 0
1800.00/898.84	c Imported unit clauses	: 0
1800.00/898.84	c number of reductions to clauses (during analyze)	: 0
1800.00/898.84	c number of learned constraints concerned by reduction	: 0
1800.00/898.84	c number of learning phase by resolution	: 0
1800.00/898.84	c number of learning phase by cutting planes	: 0
1800.00/898.84	c speed (assignments/second)	: 638.8610230550763
1800.00/898.84	c non guided choices	45
1800.00/898.85	c learnt constraints type 
1800.00/898.85	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 405
1800.00/898.85	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 43
1800.00/898.85	c org.sat4j.pb.constraints.pb.MaxWatchPb => 20353
1800.00/898.85	s SATISFIABLE
1800.00/898.85	c Found 7 solution(s)
1800.00/898.85	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 
1800.00/898.85	c objective function=12
1800.00/898.85	c Total wall clock time (in seconds): 898.729

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-4092110-1466108693/watcher-4092110-1466108693 -o /tmp/evaluation-result-4092110-1466108693/solver-4092110-1466108693 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466104172-22200 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092110-1466108693.wbo 

pid=23089
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: 3.96 4.07 3.79 3/197 23092
/proc/meminfo: memFree=28660568/32872528 swapFree=248296/248296
[pid=23092] ppid=23089 vsize=8 CPUtime=0 cores=1,3,5,7
/proc/23092/stat : 23092 (java) R 23089 23092 21438 0 -1 4202496 329 0 0 0 0 0 0 0 20 0 1 0 12919759 8192 1 33554432000 0 0 0 140734643980344 247064063415 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23092/statm: 33 2 0 0 0 22 0

[startup+0.100061 s]
/proc/loadavg: 3.96 4.07 3.79 3/197 23092
/proc/meminfo: memFree=28660568/32872528 swapFree=248296/248296
[pid=23092] ppid=23089 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/23092/stat : 23092 (java) S 23089 23092 21438 0 -1 4202496 4399 0 1 0 8 1 0 0 20 0 18 0 12919759 9787879424 6028 33554432000 1073741824 1073778376 140734411792768 140734411783904 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23092/statm: 2389619 6028 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200248 s]
/proc/loadavg: 3.96 4.07 3.79 3/197 23092
/proc/meminfo: memFree=28660568/32872528 swapFree=248296/248296
[pid=23092] ppid=23089 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/23092/stat : 23092 (java) S 23089 23092 21438 0 -1 4202496 5144 0 1 0 24 1 0 0 20 0 22 0 12919759 10060525568 8050 33554432000 1073741824 1073778376 140734411792768 140734411783904 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23092/statm: 2456183 8053 2208 9 0 2446860 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9824732

[startup+0.300275 s]
/proc/loadavg: 3.96 4.07 3.79 3/197 23092
/proc/meminfo: memFree=28660568/32872528 swapFree=248296/248296
[pid=23092] ppid=23089 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/23092/stat : 23092 (java) S 23089 23092 21438 0 -1 4202496 5973 0 1 0 28 3 0 0 20 0 19 0 12919759 10060525568 8416 33554432000 1073741824 1073778376 140734411792768 140734411783904 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23092/statm: 2456183 8416 2224 9 0 2446860 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9824732

[startup+0.700173 s]
/proc/loadavg: 3.96 4.07 3.79 3/197 23092
/proc/meminfo: memFree=28660568/32872528 swapFree=248296/248296
[pid=23092] ppid=23089 vsize=9825080 CPUtime=0.36 cores=1,3,5,7
/proc/23092/stat : 23092 (java) S 23089 23092 21438 0 -1 4202496 6175 0 1 0 33 3 0 0 20 0 22 0 12919759 10060881920 9641 33554432000 1073741824 1073778376 140734411792768 140734411783904 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23092/statm: 2456270 9671 2239 9 0 2446947 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 9825080

[startup+1.50072 s]
/proc/loadavg: 3.96 4.07 3.79 3/216 23117
/proc/meminfo: memFree=28623832/32872528 swapFree=248296/248296
[pid=23092] ppid=23089 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/23092/stat : 23092 (java) S 23089 23092 21438 0 -1 4202496 8925 0 1 0 47 7 0 0 20 0 19 0 12919759 10060525568 12412 33554432000 1073741824 1073778376 140734411792768 140734411783904 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23092/statm: 2456183 12412 2252 9 0 2446860 0
[pid=23092/tid=23094] ppid=23089 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/23092/task/23094/stat : 23094 (java) S 23089 23092 21438 0 -1 4202560 2420 0 1 0 14 0 0 0 20 0 19 0 12919760 10060525568 12412 33554432000 1073741824 1073778376 140734411792768 140260841898872 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23095] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23095/stat : 23095 (java) S 23089 23092 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12919761 10060525568 12412 33554432000 1073741824 1073778376 140734411792768 140260685687336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23096] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23096/stat : 23096 (java) S 23089 23092 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12919761 10060525568 12412 33554432000 1073741824 1073778376 140734411792768 140260684634536 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23092/tid=23097] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23097/stat : 23097 (java) S 23089 23092 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12919761 10060525568 12412 33554432000 1073741824 1073778376 140734411792768 140260683581736 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23092/tid=23098] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23098/stat : 23098 (java) S 23089 23092 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12919761 10060525568 12412 33554432000 1073741824 1073778376 140734411792768 140260682528936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23092/tid=23099] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23099/stat : 23099 (java) S 23089 23092 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12919761 10060525568 12412 33554432000 1073741824 1073778376 140734411792768 140260681477160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23100] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23100/stat : 23100 (java) S 23089 23092 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12919761 10060525568 12412 33554432000 1073741824 1073778376 140734411792768 140260344327080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23092/tid=23101] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23101/stat : 23101 (java) S 23089 23092 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12919761 10060525568 12412 33554432000 1073741824 1073778376 140734411792768 140260343274280 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23092/tid=23102] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23102/stat : 23102 (java) S 23089 23092 21438 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12919761 10060525568 12412 33554432000 1073741824 1073778376 140734411792768 140260342221480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23103] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23103/stat : 23103 (java) S 23089 23092 21438 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 12919762 10060525568 12412 33554432000 1073741824 1073778376 140734411792768 140260330023400 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23104] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23104/stat : 23104 (java) S 23089 23092 21438 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12919763 10060525568 12412 33554432000 1073741824 1073778376 140734411792768 140260328969464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23105] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23105/stat : 23105 (java) S 23089 23092 21438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12919763 10060525568 12412 33554432000 1073741824 1073778376 140734411792768 140260327916552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23106] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23106/stat : 23106 (java) S 23089 23092 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12919765 10060525568 12412 33554432000 1073741824 1073778376 140734411792768 140260326865040 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23107] ppid=23089 vsize=9824732 CPUtime=0.13 cores=1,3,5,7
/proc/23092/task/23107/stat : 23107 (java) S 23089 23092 21438 0 -1 4202560 2638 0 0 0 13 0 0 0 20 0 19 0 12919765 10060525568 12412 33554432000 1073741824 1073778376 140734411792768 140260325813176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23108] ppid=23089 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/23092/task/23108/stat : 23108 (java) S 23089 23092 21438 0 -1 4202560 2520 0 0 0 10 0 0 0 20 0 19 0 12919765 10060525568 12412 33554432000 1073741824 1073778376 140734411792768 140260324760376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23092/tid=23109] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23109/stat : 23109 (java) S 23089 23092 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12919765 10060525568 12412 33554432000 1073741824 1073778376 140734411792768 140260323707768 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23092/tid=23110] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23110/stat : 23110 (java) S 23089 23092 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12919765 10060525568 12412 33554432000 1073741824 1073778376 140734411792768 140260322655176 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9824732

[startup+3.10077 s]
/proc/loadavg: 3.96 4.07 3.79 8/219 23126
/proc/meminfo: memFree=28610572/32872528 swapFree=248296/248296
[pid=23092] ppid=23089 vsize=9824732 CPUtime=1.46 cores=1,3,5,7
/proc/23092/stat : 23092 (java) S 23089 23092 21438 0 -1 4202496 16114 0 1 0 136 10 0 0 20 0 19 0 12919759 10060525568 18642 33554432000 1073741824 1073778376 140734411792768 140734411783904 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23092/statm: 2456183 18642 2258 9 0 2446860 0
[pid=23092/tid=23094] ppid=23089 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/23092/task/23094/stat : 23094 (java) S 23089 23092 21438 0 -1 4202560 2421 0 1 0 15 0 0 0 20 0 19 0 12919760 10060525568 18642 33554432000 1073741824 1073778376 140734411792768 140260841898872 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23095] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23095/stat : 23095 (java) S 23089 23092 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12919761 10060525568 18642 33554432000 1073741824 1073778376 140734411792768 140260685687336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23096] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23096/stat : 23096 (java) S 23089 23092 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12919761 10060525568 18642 33554432000 1073741824 1073778376 140734411792768 140260684634536 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23092/tid=23097] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23097/stat : 23097 (java) S 23089 23092 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12919761 10060525568 18642 33554432000 1073741824 1073778376 140734411792768 140260683581736 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23092/tid=23098] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23098/stat : 23098 (java) S 23089 23092 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12919761 10060525568 18642 33554432000 1073741824 1073778376 140734411792768 140260682528936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23092/tid=23099] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23099/stat : 23099 (java) S 23089 23092 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12919761 10060525568 18642 33554432000 1073741824 1073778376 140734411792768 140260681477160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23100] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23100/stat : 23100 (java) S 23089 23092 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12919761 10060525568 18642 33554432000 1073741824 1073778376 140734411792768 140260344327080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23092/tid=23101] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23101/stat : 23101 (java) S 23089 23092 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12919761 10060525568 18642 33554432000 1073741824 1073778376 140734411792768 140260343274280 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23092/tid=23102] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23102/stat : 23102 (java) S 23089 23092 21438 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12919761 10060525568 18642 33554432000 1073741824 1073778376 140734411792768 140260342221480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23103] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23103/stat : 23103 (java) S 23089 23092 21438 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 12919762 10060525568 18642 33554432000 1073741824 1073778376 140734411792768 140260330023400 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23104] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23104/stat : 23104 (java) S 23089 23092 21438 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12919763 10060525568 18642 33554432000 1073741824 1073778376 140734411792768 140260328969464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23105] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23105/stat : 23105 (java) S 23089 23092 21438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12919763 10060525568 18642 33554432000 1073741824 1073778376 140734411792768 140260327916552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23106] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23106/stat : 23106 (java) S 23089 23092 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12919765 10060525568 18642 33554432000 1073741824 1073778376 140734411792768 140260326865040 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23107] ppid=23089 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/23092/task/23107/stat : 23107 (java) S 23089 23092 21438 0 -1 4202560 5705 0 0 0 38 1 0 0 20 0 19 0 12919765 10060525568 18642 33554432000 1073741824 1073778376 140734411792768 140260325813176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23108] ppid=23089 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/23092/task/23108/stat : 23108 (java) S 23089 23092 21438 0 -1 4202560 6604 0 0 0 45 1 0 0 20 0 19 0 12919765 10060525568 18642 33554432000 1073741824 1073778376 140734411792768 140260324760376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23092/tid=23109] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23109/stat : 23109 (java) S 23089 23092 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12919765 10060525568 18642 33554432000 1073741824 1073778376 140734411792768 140260323707768 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23092/tid=23110] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23110/stat : 23110 (java) S 23089 23092 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12919765 10060525568 18642 33554432000 1073741824 1073778376 140734411792768 140260322655176 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23123] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23123/stat : 23123 (java) S 23089 23092 21438 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 12919928 10060525568 18642 33554432000 1073741824 1073778376 140734411792768 140260319397544 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9824732
heavy processes:

[startup+6.301 s]
/proc/loadavg: 4.12 4.10 3.80 5/219 23132
/proc/meminfo: memFree=28436400/32872528 swapFree=248296/248296
[pid=23092] ppid=23089 vsize=9824732 CPUtime=8.79 cores=1,3,5,7
/proc/23092/stat : 23092 (java) S 23089 23092 21438 0 -1 4202496 24512 0 1 0 858 21 0 0 20 0 22 0 12919759 10060525568 87130 33554432000 1073741824 1073778376 140734411792768 140734411783904 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23092/statm: 2456183 87130 2285 9 0 2446860 0
[pid=23092/tid=23094] ppid=23089 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/23092/task/23094/stat : 23094 (java) S 23089 23092 21438 0 -1 4202560 2422 0 1 0 15 0 0 0 20 0 22 0 12919760 10060525568 87130 33554432000 1073741824 1073778376 140734411792768 140260841898872 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23095] ppid=23089 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/23092/task/23095/stat : 23095 (java) S 23089 23092 21438 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 22 0 12919761 10060525568 87130 33554432000 1073741824 1073778376 140734411792768 140260685687336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23092/tid=23096] ppid=23089 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/23092/task/23096/stat : 23096 (java) S 23089 23092 21438 0 -1 4202560 26 0 0 0 3 1 0 0 20 0 22 0 12919761 10060525568 87130 33554432000 1073741824 1073778376 140734411792768 140260684634536 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23092/tid=23097] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23097/stat : 23097 (java) S 23089 23092 21438 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 12919761 10060525568 87130 33554432000 1073741824 1073778376 140734411792768 140260683581736 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23092/tid=23098] ppid=23089 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/23092/task/23098/stat : 23098 (java) S 23089 23092 21438 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 12919761 10060525568 87130 33554432000 1073741824 1073778376 140734411792768 140260682528936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23092/tid=23099] ppid=23089 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/23092/task/23099/stat : 23099 (java) S 23089 23092 21438 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 22 0 12919761 10060525568 87130 33554432000 1073741824 1073778376 140734411792768 140260681477160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23092/tid=23100] ppid=23089 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/23092/task/23100/stat : 23100 (java) S 23089 23092 21438 0 -1 4202560 27 0 0 0 2 1 0 0 20 0 22 0 12919761 10060525568 87130 33554432000 1073741824 1073778376 140734411792768 140260344327080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23092/tid=23101] ppid=23089 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/23092/task/23101/stat : 23101 (java) S 23089 23092 21438 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 12919761 10060525568 87130 33554432000 1073741824 1073778376 140734411792768 140260343274280 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23092/tid=23102] ppid=23089 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/23092/task/23102/stat : 23102 (java) S 23089 23092 21438 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 12919761 10060525568 87130 33554432000 1073741824 1073778376 140734411792768 140260342221480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23103] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23103/stat : 23103 (java) S 23089 23092 21438 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 12919762 10060525568 87130 33554432000 1073741824 1073778376 140734411792768 140260330023400 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23104] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23104/stat : 23104 (java) S 23089 23092 21438 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 12919763 10060525568 87130 33554432000 1073741824 1073778376 140734411792768 140260328969464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23105] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23105/stat : 23105 (java) S 23089 23092 21438 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 12919763 10060525568 87130 33554432000 1073741824 1073778376 140734411792768 140260327916552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23106] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23106/stat : 23106 (java) S 23089 23092 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12919765 10060525568 87130 33554432000 1073741824 1073778376 140734411792768 140260326865040 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23107] ppid=23089 vsize=9824732 CPUtime=0.9 cores=1,3,5,7
/proc/23092/task/23107/stat : 23107 (java) S 23089 23092 21438 0 -1 4202560 9040 0 0 0 88 2 0 0 20 0 22 0 12919765 10060525568 87130 33554432000 1073741824 1073778376 140734411792768 140260325813176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23092/tid=23108] ppid=23089 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/23092/task/23108/stat : 23108 (java) S 23089 23092 21438 0 -1 4202560 11220 0 0 0 94 2 0 0 20 0 22 0 12919765 10060525568 87130 33554432000 1073741824 1073778376 140734411792768 140260324760376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23092/tid=23109] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23109/stat : 23109 (java) S 23089 23092 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12919765 10060525568 87130 33554432000 1073741824 1073778376 140734411792768 140260323707768 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23092/tid=23110] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23110/stat : 23110 (java) S 23089 23092 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12919765 10060525568 87130 33554432000 1073741824 1073778376 140734411792768 140260322655176 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23123] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23123/stat : 23123 (java) S 23089 23092 21438 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 12919928 10060525568 87130 33554432000 1073741824 1073778376 140734411792768 140260319397544 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23130] ppid=23089 vsize=9824732 CPUtime=2.98 cores=1,3,5,7
/proc/23092/task/23130/stat : 23130 (java) R 23089 23092 21438 0 -1 4202560 7 0 0 0 298 0 0 0 20 0 22 0 12920078 10060525568 87130 33554432000 1073741824 1073778376 140734411792768 140260318343552 140260697144624 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23092/tid=23131] ppid=23089 vsize=9824732 CPUtime=2.99 cores=1,3,5,7
/proc/23092/task/23131/stat : 23131 (java) R 23089 23092 21438 0 -1 4202560 102 0 0 0 296 3 0 0 20 0 22 0 12920078 10060525568 87130 33554432000 1073741824 1073778376 140734411792768 140260321500896 140260697869267 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0

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

[pid=23092/tid=23102] ppid=23089 vsize=9824732 CPUtime=2.51 cores=1,3,5,7
/proc/23092/task/23102/stat : 23102 (java) S 23089 23092 21438 0 -1 4202560 471 0 0 0 242 9 0 0 20 0 22 0 12919761 10060525568 618231 33554432000 1073741824 1073778376 140734411792768 140260342221480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23092/tid=23103] ppid=23089 vsize=9824732 CPUtime=2.92 cores=1,3,5,7
/proc/23092/task/23103/stat : 23103 (java) S 23089 23092 21438 0 -1 4202560 1671 0 0 0 280 12 0 0 20 0 22 0 12919762 10060525568 618231 33554432000 1073741824 1073778376 140734411792768 140260330023400 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23104] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23104/stat : 23104 (java) S 23089 23092 21438 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 12919763 10060525568 618231 33554432000 1073741824 1073778376 140734411792768 140260328969464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23105] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23105/stat : 23105 (java) S 23089 23092 21438 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 12919763 10060525568 618231 33554432000 1073741824 1073778376 140734411792768 140260327916552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23106] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23106/stat : 23106 (java) S 23089 23092 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12919765 10060525568 618231 33554432000 1073741824 1073778376 140734411792768 140260326865040 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23107] ppid=23089 vsize=9824732 CPUtime=1.39 cores=1,3,5,7
/proc/23092/task/23107/stat : 23107 (java) S 23089 23092 21438 0 -1 4202560 13498 0 0 0 136 3 0 0 20 0 22 0 12919765 10060525568 618231 33554432000 1073741824 1073778376 140734411792768 140260325813176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23092/tid=23108] ppid=23089 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/23092/task/23108/stat : 23108 (java) S 23089 23092 21438 0 -1 4202560 11225 0 0 0 118 3 0 0 20 0 22 0 12919765 10060525568 618231 33554432000 1073741824 1073778376 140734411792768 140260324760376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23092/tid=23109] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23109/stat : 23109 (java) S 23089 23092 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12919765 10060525568 618231 33554432000 1073741824 1073778376 140734411792768 140260323707768 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23092/tid=23110] ppid=23089 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/23092/task/23110/stat : 23110 (java) S 23089 23092 21438 0 -1 4202560 46 0 0 0 12 21 0 0 20 0 22 0 12919765 10060525568 618231 33554432000 1073741824 1073778376 140734411792768 140260322655176 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23123] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23123/stat : 23123 (java) S 23089 23092 21438 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 12919928 10060525568 618231 33554432000 1073741824 1073778376 140734411792768 140260319397544 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23137] ppid=23089 vsize=9824732 CPUtime=616.34 cores=1,3,5,7
/proc/23092/task/23137/stat : 23137 (java) R 23089 23092 21438 0 -1 4202560 92 0 0 0 61624 10 0 0 20 0 22 0 12939483 10060525568 618231 33554432000 1073741824 1073778376 140734411792768 140260318343056 140260697164862 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23092/tid=23138] ppid=23089 vsize=9824732 CPUtime=616.21 cores=1,3,5,7
/proc/23092/task/23138/stat : 23138 (java) R 23089 23092 21438 0 -1 4202560 56 0 0 0 61611 10 0 0 20 0 22 0 12939483 10060525568 618231 33554432000 1073741824 1073778376 140734411792768 140260321499936 140260697868683 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23092/tid=23139] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23139/stat : 23139 (java) S 23089 23092 21438 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 12939483 10060525568 618231 33554432000 1073741824 1073778376 140734411792768 140260320449704 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1645.27
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 2.19 3.27 3.65 3/191 23187
/proc/meminfo: memFree=29317956/32872528 swapFree=248296/248296
[pid=23092] ppid=23089 vsize=9824732 CPUtime=1765.9 cores=1,3,5,7
/proc/23092/stat : 23092 (java) S 23089 23092 21438 0 -1 4202496 35580 0 1 0 176428 162 0 0 20 0 22 0 12919759 10060525568 608292 33554432000 1073741824 1073778376 140734411792768 140734411783904 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23092/statm: 2456183 608292 2294 9 0 2446860 0
[pid=23092/tid=23094] ppid=23089 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/23092/task/23094/stat : 23094 (java) S 23089 23092 21438 0 -1 4202560 2428 0 1 0 18 2 0 0 20 0 22 0 12919760 10060525568 608292 33554432000 1073741824 1073778376 140734411792768 140260841898872 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23095] ppid=23089 vsize=9824732 CPUtime=2.44 cores=1,3,5,7
/proc/23092/task/23095/stat : 23095 (java) S 23089 23092 21438 0 -1 4202560 443 0 0 0 236 8 0 0 20 0 22 0 12919761 10060525568 608292 33554432000 1073741824 1073778376 140734411792768 140260685687336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23092/tid=23096] ppid=23089 vsize=9824732 CPUtime=2.7 cores=1,3,5,7
/proc/23092/task/23096/stat : 23096 (java) S 23089 23092 21438 0 -1 4202560 514 0 0 0 260 10 0 0 20 0 22 0 12919761 10060525568 608292 33554432000 1073741824 1073778376 140734411792768 140260684634536 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23097] ppid=23089 vsize=9824732 CPUtime=2.39 cores=1,3,5,7
/proc/23092/task/23097/stat : 23097 (java) S 23089 23092 21438 0 -1 4202560 473 0 0 0 231 8 0 0 20 0 22 0 12919761 10060525568 608292 33554432000 1073741824 1073778376 140734411792768 140260683581736 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23092/tid=23098] ppid=23089 vsize=9824732 CPUtime=2.64 cores=1,3,5,7
/proc/23092/task/23098/stat : 23098 (java) S 23089 23092 21438 0 -1 4202560 449 0 0 0 253 11 0 0 20 0 22 0 12919761 10060525568 608292 33554432000 1073741824 1073778376 140734411792768 140260682528936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23092/tid=23099] ppid=23089 vsize=9824732 CPUtime=2.5 cores=1,3,5,7
/proc/23092/task/23099/stat : 23099 (java) S 23089 23092 21438 0 -1 4202560 416 0 0 0 241 9 0 0 20 0 22 0 12919761 10060525568 608292 33554432000 1073741824 1073778376 140734411792768 140260681477160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23092/tid=23100] ppid=23089 vsize=9824732 CPUtime=2.69 cores=1,3,5,7
/proc/23092/task/23100/stat : 23100 (java) S 23089 23092 21438 0 -1 4202560 442 0 0 0 260 9 0 0 20 0 22 0 12919761 10060525568 608292 33554432000 1073741824 1073778376 140734411792768 140260344327080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23092/tid=23101] ppid=23089 vsize=9824732 CPUtime=2.77 cores=1,3,5,7
/proc/23092/task/23101/stat : 23101 (java) S 23089 23092 21438 0 -1 4202560 435 0 0 0 266 11 0 0 20 0 22 0 12919761 10060525568 608292 33554432000 1073741824 1073778376 140734411792768 140260343274280 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23092/tid=23102] ppid=23089 vsize=9824732 CPUtime=2.67 cores=1,3,5,7
/proc/23092/task/23102/stat : 23102 (java) S 23089 23092 21438 0 -1 4202560 471 0 0 0 258 9 0 0 20 0 22 0 12919761 10060525568 608292 33554432000 1073741824 1073778376 140734411792768 140260342221480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23092/tid=23103] ppid=23089 vsize=9824732 CPUtime=2.93 cores=1,3,5,7
/proc/23092/task/23103/stat : 23103 (java) S 23089 23092 21438 0 -1 4202560 1675 0 0 0 280 13 0 0 20 0 22 0 12919762 10060525568 608292 33554432000 1073741824 1073778376 140734411792768 140260330023400 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23104] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23104/stat : 23104 (java) S 23089 23092 21438 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 12919763 10060525568 608292 33554432000 1073741824 1073778376 140734411792768 140260328969464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23105] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23105/stat : 23105 (java) S 23089 23092 21438 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 12919763 10060525568 608292 33554432000 1073741824 1073778376 140734411792768 140260327916552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23106] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23106/stat : 23106 (java) S 23089 23092 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12919765 10060525568 608292 33554432000 1073741824 1073778376 140734411792768 140260326865040 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23107] ppid=23089 vsize=9824732 CPUtime=1.39 cores=1,3,5,7
/proc/23092/task/23107/stat : 23107 (java) S 23089 23092 21438 0 -1 4202560 13498 0 0 0 136 3 0 0 20 0 22 0 12919765 10060525568 608292 33554432000 1073741824 1073778376 140734411792768 140260325813176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23092/tid=23108] ppid=23089 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/23092/task/23108/stat : 23108 (java) S 23089 23092 21438 0 -1 4202560 11225 0 0 0 118 3 0 0 20 0 22 0 12919765 10060525568 608292 33554432000 1073741824 1073778376 140734411792768 140260324760376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23092/tid=23109] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23109/stat : 23109 (java) S 23089 23092 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12919765 10060525568 608292 33554432000 1073741824 1073778376 140734411792768 140260323707768 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23092/tid=23110] ppid=23089 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/23092/task/23110/stat : 23110 (java) S 23089 23092 21438 0 -1 4202560 50 0 0 0 13 23 0 0 20 0 22 0 12919765 10060525568 608292 33554432000 1073741824 1073778376 140734411792768 140260322655176 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23123] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23123/stat : 23123 (java) S 23089 23092 21438 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 12919928 10060525568 608292 33554432000 1073741824 1073778376 140734411792768 140260319397544 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23137] ppid=23089 vsize=9824732 CPUtime=675.8 cores=1,3,5,7
/proc/23092/task/23137/stat : 23137 (java) R 23089 23092 21438 0 -1 4202560 103 0 0 0 67569 11 0 0 20 0 22 0 12939483 10060525568 608292 33554432000 1073741824 1073778376 140734411792768 140260318343056 140260697447940 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23138] ppid=23089 vsize=9824732 CPUtime=675.68 cores=1,3,5,7
/proc/23092/task/23138/stat : 23138 (java) R 23089 23092 21438 0 -1 4202560 58 0 0 0 67557 11 0 0 20 0 22 0 12939483 10060525568 608292 33554432000 1073741824 1073778376 140734411792768 140260321499712 140260697858919 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23092/tid=23139] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23139/stat : 23139 (java) S 23089 23092 21438 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 12939483 10060525568 608292 33554432000 1073741824 1073778376 140734411792768 140260320449704 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1765.9
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+898.808 s]
/proc/loadavg: 2.13 3.18 3.61 3/191 23188
/proc/meminfo: memFree=29324780/32872528 swapFree=248296/248296
[pid=23092] ppid=23089 vsize=9824732 CPUtime=1799.07 cores=1,3,5,7
/proc/23092/stat : 23092 (java) S 23089 23092 21438 0 -1 4202496 35583 0 1 0 179744 163 0 0 20 0 22 0 12919759 10060525568 606528 33554432000 1073741824 1073778376 140734411792768 140734411783904 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23092/statm: 2456183 606528 2294 9 0 2446860 0
[pid=23092/tid=23094] ppid=23089 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/23092/task/23094/stat : 23094 (java) S 23089 23092 21438 0 -1 4202560 2428 0 1 0 18 2 0 0 20 0 22 0 12919760 10060525568 606528 33554432000 1073741824 1073778376 140734411792768 140260841898872 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23095] ppid=23089 vsize=9824732 CPUtime=2.48 cores=1,3,5,7
/proc/23092/task/23095/stat : 23095 (java) S 23089 23092 21438 0 -1 4202560 443 0 0 0 240 8 0 0 20 0 22 0 12919761 10060525568 606528 33554432000 1073741824 1073778376 140734411792768 140260685687336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23092/tid=23096] ppid=23089 vsize=9824732 CPUtime=2.76 cores=1,3,5,7
/proc/23092/task/23096/stat : 23096 (java) S 23089 23092 21438 0 -1 4202560 514 0 0 0 266 10 0 0 20 0 22 0 12919761 10060525568 606528 33554432000 1073741824 1073778376 140734411792768 140260684634536 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23092/tid=23097] ppid=23089 vsize=9824732 CPUtime=2.45 cores=1,3,5,7
/proc/23092/task/23097/stat : 23097 (java) S 23089 23092 21438 0 -1 4202560 473 0 0 0 237 8 0 0 20 0 22 0 12919761 10060525568 606528 33554432000 1073741824 1073778376 140734411792768 140260683581736 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23092/tid=23098] ppid=23089 vsize=9824732 CPUtime=2.69 cores=1,3,5,7
/proc/23092/task/23098/stat : 23098 (java) S 23089 23092 21438 0 -1 4202560 449 0 0 0 258 11 0 0 20 0 22 0 12919761 10060525568 606528 33554432000 1073741824 1073778376 140734411792768 140260682528936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23092/tid=23099] ppid=23089 vsize=9824732 CPUtime=2.53 cores=1,3,5,7
/proc/23092/task/23099/stat : 23099 (java) S 23089 23092 21438 0 -1 4202560 416 0 0 0 244 9 0 0 20 0 22 0 12919761 10060525568 606528 33554432000 1073741824 1073778376 140734411792768 140260681477160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23092/tid=23100] ppid=23089 vsize=9824732 CPUtime=2.72 cores=1,3,5,7
/proc/23092/task/23100/stat : 23100 (java) S 23089 23092 21438 0 -1 4202560 442 0 0 0 263 9 0 0 20 0 22 0 12919761 10060525568 606528 33554432000 1073741824 1073778376 140734411792768 140260344327080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23092/tid=23101] ppid=23089 vsize=9824732 CPUtime=2.81 cores=1,3,5,7
/proc/23092/task/23101/stat : 23101 (java) S 23089 23092 21438 0 -1 4202560 435 0 0 0 270 11 0 0 20 0 22 0 12919761 10060525568 606528 33554432000 1073741824 1073778376 140734411792768 140260343274280 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23092/tid=23102] ppid=23089 vsize=9824732 CPUtime=2.74 cores=1,3,5,7
/proc/23092/task/23102/stat : 23102 (java) S 23089 23092 21438 0 -1 4202560 471 0 0 0 265 9 0 0 20 0 22 0 12919761 10060525568 606528 33554432000 1073741824 1073778376 140734411792768 140260342221480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23092/tid=23103] ppid=23089 vsize=9824732 CPUtime=2.93 cores=1,3,5,7
/proc/23092/task/23103/stat : 23103 (java) S 23089 23092 21438 0 -1 4202560 1675 0 0 0 280 13 0 0 20 0 22 0 12919762 10060525568 606528 33554432000 1073741824 1073778376 140734411792768 140260330023400 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23104] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23104/stat : 23104 (java) S 23089 23092 21438 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 12919763 10060525568 606528 33554432000 1073741824 1073778376 140734411792768 140260328969464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23105] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23105/stat : 23105 (java) S 23089 23092 21438 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 12919763 10060525568 606528 33554432000 1073741824 1073778376 140734411792768 140260327916552 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23106] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23106/stat : 23106 (java) S 23089 23092 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12919765 10060525568 606528 33554432000 1073741824 1073778376 140734411792768 140260326865040 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23107] ppid=23089 vsize=9824732 CPUtime=1.39 cores=1,3,5,7
/proc/23092/task/23107/stat : 23107 (java) S 23089 23092 21438 0 -1 4202560 13498 0 0 0 136 3 0 0 20 0 22 0 12919765 10060525568 606528 33554432000 1073741824 1073778376 140734411792768 140260325813176 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23092/tid=23108] ppid=23089 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/23092/task/23108/stat : 23108 (java) S 23089 23092 21438 0 -1 4202560 11225 0 0 0 118 3 0 0 20 0 22 0 12919765 10060525568 606528 33554432000 1073741824 1073778376 140734411792768 140260324760376 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23092/tid=23109] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23109/stat : 23109 (java) S 23089 23092 21438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 12919765 10060525568 606528 33554432000 1073741824 1073778376 140734411792768 140260323707768 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23092/tid=23110] ppid=23089 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/23092/task/23110/stat : 23110 (java) S 23089 23092 21438 0 -1 4202560 50 0 0 0 13 24 0 0 20 0 22 0 12919765 10060525568 606528 33554432000 1073741824 1073778376 140734411792768 140260322655176 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23092/tid=23123] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23123/stat : 23123 (java) S 23089 23092 21438 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 12919928 10060525568 606528 33554432000 1073741824 1073778376 140734411792768 140260319397544 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23137] ppid=23089 vsize=9824732 CPUtime=692.14 cores=1,3,5,7
/proc/23092/task/23137/stat : 23137 (java) R 23089 23092 21438 0 -1 4202560 106 0 0 0 69203 11 0 0 20 0 22 0 12939483 10060525568 606528 33554432000 1073741824 1073778376 140734411792768 140260318343056 140260697203553 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23092/tid=23138] ppid=23089 vsize=9824732 CPUtime=692.04 cores=1,3,5,7
/proc/23092/task/23138/stat : 23138 (java) R 23089 23092 21438 0 -1 4202560 58 0 0 0 69193 11 0 0 20 0 22 0 12939483 10060525568 606528 33554432000 1073741824 1073778376 140734411792768 140260321499936 140260697165076 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23092/tid=23139] ppid=23089 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23092/task/23139/stat : 23139 (java) S 23089 23092 21438 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 12939483 10060525568 606528 33554432000 1073741824 1073778376 140734411792768 140260320449704 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1799.07
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 23092 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23092 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=959276
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=71685
# CPU time returned by wait4() is 1796.03
# while last known CPU time is 1799.07
#
# 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.929993
#  lost CPU user time (s): 0.970001
#  lost CPU system time (s): -0.0400001

Real time (s): 898.865
CPU time (s): 1800
CPU user time (s): 1798.41
CPU system time (s): 1.59
CPU usage (%): 200.253
Max. virtual memory (cumulated for all children) (KiB): 9825080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.96
system time used= 2.07168
maximum resident set size= 2932600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35628
page faults= 1
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27015
involuntary context switches= 43953

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9341 second user time and 7.32489 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-16 22:24:53
IDJOB=4092110
IDBENCH=79659
IDSOLVER=2552
FILE ID=node103/4092110-1466108693
RUNJOBID= node103-1466104172-22200
PBS_JOBID= 19904050
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/coloring/normalized-geom30a-3_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4092110-1466108693/watcher-4092110-1466108693 -o /tmp/evaluation-result-4092110-1466108693/solver-4092110-1466108693 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466104172-22200 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4092110-1466108693.wbo

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

MD5SUM BENCH= 531d8636127ef9c1ca088d2ef0ec4c38
RANDOM SEED=1860313001

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.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:        28661212 kB
Buffers:           40548 kB
Cached:            91188 kB
SwapCached:        41796 kB
Active:          3124808 kB
Inactive:         121048 kB
Active(anon):    3073592 kB
Inactive(anon):    43328 kB
Active(file):      51216 kB
Inactive(file):    77720 kB
Unevictable:      248296 kB
Mlocked:          248296 kB
SwapTotal:      67108856 kB
SwapFree:       67059980 kB
Dirty:               940 kB
Writeback:             0 kB
AnonPages:       3334132 kB
Mapped:            15404 kB
Shmem:                 0 kB
Slab:             568192 kB
SReclaimable:      12416 kB
SUnreclaim:       555776 kB
KernelStack:        1624 kB
PageTables:        10868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3727432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3039232 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= 71732 MiB
End job on node103 at 2016-06-16 22:39:52