Trace number 4081786

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)-47 1800.34 899.451

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_10_5.opb
MD5SUM2585c1015aa6228da840b6f61adc6732
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-50
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 -52
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint10
Maximum length of a constraint22
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2528
Sum of products size (including duplicates)5056
Number of different products1264
Sum of products size2528

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.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-4081786-1465256262.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.48/0.32	c ... done. Wall clock time 0.203s.
0.48/0.32	c declared #vars     200
0.48/0.32	c internal #vars     1464
0.48/0.32	c #constraints  2928
0.48/0.32	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.48/0.32	c constraints type 
0.48/0.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1264
0.48/0.32	c org.sat4j.minisat.constraints.cnf.UnitClauses => 155
0.48/0.32	c org.sat4j.specs.Constr$1 => 222
0.48/0.32	c org.sat4j.minisat.constraints.cnf.UnitClause => 23
0.48/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1264
0.48/0.32	c 2928 constraints processed.
0.48/0.32	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.48/0.32	c constraints type 
0.48/0.32	c org.sat4j.specs.Constr$1 => 222
0.48/0.32	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1264
0.48/0.32	c org.sat4j.pb.constraints.pb.UnitClausesPB => 155
0.48/0.32	c org.sat4j.pb.constraints.pb.UnitClausePB => 23
0.48/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1264
0.48/0.32	c 2928 constraints processed.
0.48/0.32	c objective function length is 200 literals
0.48/0.34	c And the winner is solver0
0.58/0.83	c SATISFIABLE
0.58/0.83	c OPTIMIZING...
0.58/0.83	c Got one! Elapsed wall clock time (in seconds):0.709
0.58/0.83	o -37
0.58/0.84	c And the winner is solver0
0.65/1.33	c Got one! Elapsed wall clock time (in seconds):1.21
0.65/1.33	o -38
1.31/1.50	c And the winner is solver1
1.70/1.83	c Got one! Elapsed wall clock time (in seconds):1.712
1.70/1.83	o -39
1.70/1.89	c And the winner is solver1
1.96/2.33	c Got one! Elapsed wall clock time (in seconds):2.213
1.96/2.33	o -41
2.20/2.48	c And the winner is solver1
2.55/2.84	c Got one! Elapsed wall clock time (in seconds):2.721
2.55/2.84	o -42
2.93/3.04	c And the winner is solver1
3.08/3.34	c Got one! Elapsed wall clock time (in seconds):3.223
3.08/3.34	o -43
3.20/3.43	c cleaning 3924 clauses out of 7847 with flag 2219/7847
4.16/3.80	c cleaning 4962 clauses out of 9923 with flag 15839/13847
5.02/4.27	c cleaning 5972 clauses out of 11962 with flag 31975/20848
6.34/4.88	c cleaning 6995 clauses out of 13989 with flag 51731/28847
7.63/5.49	c cleaning 7997 clauses out of 15994 with flag 71408/37847
9.31/6.22	c cleaning 8999 clauses out of 17997 with flag 92803/47847
10.95/7.00	c cleaning 9992 clauses out of 19999 with flag 115918/58848
12.86/7.93	c cleaning 11001 clauses out of 22006 with flag 141154/70847
14.98/8.95	c cleaning 12004 clauses out of 24007 with flag 168577/83849
17.37/10.14	c cleaning 13002 clauses out of 26004 with flag 198115/97850
19.97/11.45	c cleaning 13998 clauses out of 28000 with flag 229902/112848
23.29/13.03	c cleaning 15001 clauses out of 30001 with flag 263583/128847
26.49/14.68	c cleaning 16001 clauses out of 32001 with flag 299163/145848
30.22/16.49	c cleaning 16994 clauses out of 33999 with flag 337180/163847
33.82/18.29	c cleaning 18003 clauses out of 36008 with flag 377285/182850
34.41/18.53	c And the winner is solver1
34.50/18.93	c Got one! Elapsed wall clock time (in seconds):18.811
34.50/18.93	o -44
34.84/19.18	c cleaning 11719 clauses out of 23453 with flag 4501/188298
35.84/19.68	c cleaning 8860 clauses out of 17732 with flag 18515/194296
36.83/20.18	c cleaning 7931 clauses out of 15873 with flag 34626/201297
38.34/20.83	c cleaning 7965 clauses out of 15942 with flag 53046/209297
39.54/21.46	c cleaning 8484 clauses out of 16976 with flag 74395/218296
40.95/22.13	c cleaning 9247 clauses out of 18494 with flag 99147/228298
42.95/23.13	c cleaning 10119 clauses out of 20245 with flag 124901/239296
45.35/24.34	c cleaning 11063 clauses out of 22126 with flag 154006/251296
47.94/25.63	c cleaning 12027 clauses out of 24064 with flag 185092/264297
51.22/27.24	c cleaning 13015 clauses out of 26038 with flag 219811/278298
54.41/28.84	c cleaning 14008 clauses out of 28021 with flag 256628/293296
58.01/30.62	c cleaning 15004 clauses out of 30013 with flag 296511/309296
62.61/32.91	c cleaning 16005 clauses out of 32009 with flag 339406/326296
67.23/35.22	c cleaning 17001 clauses out of 34005 with flag 382501/344297
72.50/37.85	c cleaning 18000 clauses out of 36005 with flag 427159/363298
79.12/41.13	c cleaning 18999 clauses out of 38004 with flag 475645/383297
86.52/44.85	c cleaning 19998 clauses out of 40005 with flag 526095/404297
94.62/48.83	c cleaning 21001 clauses out of 42007 with flag 580017/426297
100.82/51.99	c cleaning 22001 clauses out of 44005 with flag 636088/449296
109.24/56.13	c cleaning 23002 clauses out of 46004 with flag 693708/473296
118.52/60.73	c cleaning 23999 clauses out of 48003 with flag 754343/498297
127.52/65.27	c cleaning 25001 clauses out of 50005 with flag 817241/524298
138.41/70.64	c cleaning 26000 clauses out of 52003 with flag 881507/551297
151.23/77.03	c cleaning 27002 clauses out of 54003 with flag 949163/579297
158.62/80.99	c cleaning 0 clauses out of 6034 with flag 0/6034
164.23/83.59	c cleaning 27996 clauses out of 56001 with flag 1021943/608297
176.63/89.73	c cleaning 28995 clauses out of 58004 with flag 1093992/638296
193.89/98.34	c cleaning 30000 clauses out of 60009 with flag 1170186/669296
212.99/107.83	c cleaning 31001 clauses out of 62009 with flag 1250133/701296
234.87/118.79	c cleaning 31998 clauses out of 64008 with flag 1334792/734296
248.92/125.75	c And the winner is solver1
249.07/125.95	c Got one! Elapsed wall clock time (in seconds):125.83
249.07/125.95	o -45
254.36/128.60	c cleaning 30650 clauses out of 61307 with flag 11532/763593
258.23/130.52	c cleaning 18323 clauses out of 36659 with flag 25792/769595
260.83/131.89	c cleaning 12663 clauses out of 25334 with flag 42821/776593
263.03/132.90	c cleaning 10333 clauses out of 20673 with flag 62232/784595
264.63/133.77	c cleaning 9665 clauses out of 19339 with flag 83828/793594
266.43/134.67	c cleaning 9837 clauses out of 19673 with flag 106907/803593
268.63/135.70	c cleaning 10419 clauses out of 20837 with flag 133010/814594
270.63/136.75	c cleaning 11206 clauses out of 22418 with flag 161394/826594
273.03/137.94	c cleaning 12104 clauses out of 24213 with flag 191904/839595
275.62/139.29	c cleaning 13051 clauses out of 26109 with flag 226545/853595
278.62/140.80	c cleaning 14026 clauses out of 28057 with flag 261402/868594
283.10/142.95	c cleaning 15008 clauses out of 30030 with flag 301231/884593
287.10/144.99	c cleaning 16010 clauses out of 32023 with flag 341249/901594
291.90/147.38	c cleaning 17002 clauses out of 34012 with flag 384696/919593
297.10/149.95	c cleaning 18001 clauses out of 36011 with flag 428779/938594
303.57/153.14	c cleaning 19002 clauses out of 38009 with flag 476341/958593
309.98/156.39	c cleaning 20001 clauses out of 40008 with flag 527243/979594
317.17/159.91	c cleaning 20998 clauses out of 42006 with flag 579388/1001593
324.77/163.71	c cleaning 22002 clauses out of 44009 with flag 636208/1024594
334.26/168.41	c cleaning 22998 clauses out of 46007 with flag 696810/1048594
343.66/173.19	c cleaning 24003 clauses out of 48009 with flag 761322/1073594
355.94/179.24	c cleaning 24995 clauses out of 50005 with flag 827242/1099593
366.93/184.70	c cleaning 26004 clauses out of 52011 with flag 895311/1126594
378.86/190.67	c cleaning 27002 clauses out of 54007 with flag 961884/1154594
392.05/197.26	c cleaning 27997 clauses out of 56004 with flag 1029903/1183593
406.77/204.53	c cleaning 28995 clauses out of 58008 with flag 1103322/1213594
428.26/215.28	c cleaning 30004 clauses out of 60012 with flag 1182100/1244593
447.66/224.95	c cleaning 31001 clauses out of 62008 with flag 1261956/1276593
469.55/235.87	c cleaning 32001 clauses out of 64007 with flag 1345317/1309593
495.48/248.75	c cleaning 33000 clauses out of 66007 with flag 1429767/1343594
523.19/262.56	c cleaning 34001 clauses out of 68008 with flag 1516580/1378595
546.48/274.18	c cleaning 34998 clauses out of 70006 with flag 1604524/1414594
572.00/286.84	c cleaning 35999 clauses out of 72007 with flag 1695105/1451593
599.17/300.36	c cleaning 37002 clauses out of 74009 with flag 1789195/1489594
624.04/313.14	c cleaning 38004 clauses out of 76007 with flag 1887273/1528594
624.24/313.23	c And the winner is solver1
624.40/313.46	c Got one! Elapsed wall clock time (in seconds):313.338
624.40/313.46	o -46
627.47/315.01	c cleaning 21692 clauses out of 43391 with flag 11672/1533982
629.08/315.86	c cleaning 13847 clauses out of 27700 with flag 25648/1539983
630.92/316.73	c cleaning 10423 clauses out of 20852 with flag 44094/1546982
632.32/317.49	c cleaning 9211 clauses out of 18430 with flag 64495/1554983
633.92/318.24	c cleaning 9105 clauses out of 18219 with flag 87153/1563983
635.73/319.11	c cleaning 9555 clauses out of 19113 with flag 111776/1573982
637.32/319.93	c cleaning 10277 clauses out of 20561 with flag 138028/1584985
639.52/321.00	c cleaning 11137 clauses out of 22281 with flag 168166/1596982
642.13/322.35	c cleaning 12068 clauses out of 24144 with flag 200907/1609982
645.31/323.96	c cleaning 13037 clauses out of 26077 with flag 236886/1623983
648.73/325.62	c cleaning 14011 clauses out of 28039 with flag 274664/1638982
652.32/327.49	c cleaning 15010 clauses out of 30029 with flag 312394/1654983
656.17/329.32	c cleaning 16005 clauses out of 32018 with flag 351967/1671982
660.77/331.62	c cleaning 17007 clauses out of 34014 with flag 395583/1689983
666.38/334.43	c cleaning 18003 clauses out of 36007 with flag 443155/1708983
672.57/337.50	c cleaning 18997 clauses out of 38004 with flag 494941/1728983
680.25/341.38	c cleaning 20000 clauses out of 40006 with flag 546892/1749982
687.04/344.71	c cleaning 20999 clauses out of 42006 with flag 599253/1771982
695.06/348.73	c cleaning 22000 clauses out of 44007 with flag 654951/1794982
702.53/352.49	c cleaning 23002 clauses out of 46009 with flag 711600/1818984
712.94/357.65	c cleaning 24001 clauses out of 48005 with flag 775767/1843982
723.00/362.64	c cleaning 24999 clauses out of 50004 with flag 839907/1869982
733.40/367.89	c cleaning 25999 clauses out of 52005 with flag 904643/1896982
744.68/373.44	c cleaning 27000 clauses out of 54008 with flag 970961/1924984
759.97/381.04	c cleaning 28001 clauses out of 56006 with flag 1044240/1953982
767.57/384.87	c cleaning 0 clauses out of 11878 with flag 0/11878
772.63/387.34	c cleaning 29000 clauses out of 58005 with flag 1118824/1983982
789.11/395.51	c cleaning 30000 clauses out of 60006 with flag 1195706/2014983
806.21/404.07	c cleaning 31003 clauses out of 62006 with flag 1274595/2046983
823.57/412.65	c cleaning 31995 clauses out of 64002 with flag 1357734/2079982
842.72/422.15	c cleaning 33002 clauses out of 66008 with flag 1440040/2113983
867.12/434.21	c cleaning 33995 clauses out of 68005 with flag 1527326/2148982
889.91/445.54	c cleaning 35001 clauses out of 70010 with flag 1616295/2184982
911.21/456.13	c cleaning 36004 clauses out of 72009 with flag 1707551/2221982
938.73/469.90	c cleaning 36998 clauses out of 74006 with flag 1802844/2259983
969.22/485.09	c cleaning 38004 clauses out of 76009 with flag 1901645/2298984
1005.41/503.04	c cleaning 39000 clauses out of 78003 with flag 2003024/2338982
1031.09/515.80	c cleaning 40000 clauses out of 80005 with flag 2103443/2379984
1061.98/531.23	c cleaning 41002 clauses out of 82003 with flag 2207038/2421982
1098.21/549.22	c cleaning 42001 clauses out of 84001 with flag 2314315/2464982
1128.96/564.59	c cleaning 42996 clauses out of 86000 with flag 2425252/2508982
1162.84/581.43	c cleaning 44002 clauses out of 88004 with flag 2537283/2553982
1208.85/604.30	c cleaning 44999 clauses out of 90003 with flag 2659827/2599983
1243.41/621.53	c cleaning 45997 clauses out of 92003 with flag 2775758/2646982
1292.24/645.88	c cleaning 47004 clauses out of 94007 with flag 2900387/2694983
1333.04/666.19	c cleaning 47996 clauses out of 96002 with flag 3023901/2743982
1383.09/691.65	c cleaning 49003 clauses out of 98006 with flag 3151026/2793982
1388.69/694.49	c And the winner is solver1
1388.98/694.74	c Got one! Elapsed wall clock time (in seconds):694.617
1388.98/694.74	o -47
1392.90/696.71	c cleaning 32339 clauses out of 64689 with flag 11583/2809668
1395.77/698.14	c cleaning 19164 clauses out of 38348 with flag 26418/2815666
1397.57/699.03	c cleaning 13088 clauses out of 26185 with flag 42776/2822667
1399.17/699.80	c cleaning 10549 clauses out of 21097 with flag 61492/2830667
1400.57/700.60	c cleaning 9768 clauses out of 19549 with flag 82678/2839668
1402.17/701.33	c cleaning 9890 clauses out of 19782 with flag 106109/2849669
1403.96/702.29	c cleaning 10444 clauses out of 20890 with flag 133035/2860667
1406.17/703.36	c cleaning 11223 clauses out of 22445 with flag 163374/2872666
1408.37/704.46	c cleaning 12105 clauses out of 24222 with flag 194548/2885666
1410.97/705.78	c cleaning 13054 clauses out of 26117 with flag 229649/2899666
1413.77/707.17	c cleaning 14024 clauses out of 28064 with flag 266302/2914667
1417.17/708.83	c cleaning 15019 clauses out of 30042 with flag 306086/2930669
1421.82/711.12	c cleaning 16005 clauses out of 32020 with flag 349757/2947666
1426.42/713.43	c cleaning 17008 clauses out of 34016 with flag 393102/2965667
1431.83/716.19	c cleaning 18003 clauses out of 36007 with flag 440816/2984666
1438.43/719.45	c cleaning 19002 clauses out of 38004 with flag 491899/3004666
1445.30/722.88	c cleaning 19995 clauses out of 40002 with flag 545066/3025666
1452.09/726.29	c cleaning 20998 clauses out of 42008 with flag 599530/3047667
1459.89/730.19	c cleaning 22004 clauses out of 44009 with flag 658657/3070666
1467.56/733.95	c cleaning 23000 clauses out of 46006 with flag 717669/3094667
1476.36/738.37	c cleaning 23998 clauses out of 48006 with flag 780216/3119667
1485.04/742.65	c cleaning 24998 clauses out of 50008 with flag 843565/3145667
1494.82/747.55	c cleaning 26001 clauses out of 52009 with flag 910322/3172666
1507.48/753.85	c cleaning 27002 clauses out of 54009 with flag 982999/3200667
1521.97/761.05	c cleaning 28001 clauses out of 56007 with flag 1062041/3229667
1535.17/767.64	c cleaning 29000 clauses out of 58006 with flag 1139895/3259667
1550.08/775.05	c cleaning 29997 clauses out of 60005 with flag 1218272/3290666
1566.13/783.06	c cleaning 30998 clauses out of 62008 with flag 1300133/3322666
1579.59/789.75	c cleaning 32002 clauses out of 64010 with flag 1381927/3355666
1594.06/796.97	c cleaning 32997 clauses out of 66008 with flag 1467024/3389666
1611.53/805.61	c cleaning 34002 clauses out of 68013 with flag 1557086/3424668
1632.64/816.17	c cleaning 34999 clauses out of 70010 with flag 1648829/3460667
1655.11/827.34	c cleaning 36001 clauses out of 72011 with flag 1741130/3497667
1678.42/838.93	c cleaning 36999 clauses out of 74009 with flag 1840125/3535666
1705.53/852.45	c cleaning 38006 clauses out of 76011 with flag 1936189/3574667
1729.06/864.17	c cleaning 38997 clauses out of 78006 with flag 2032640/3614668
1755.40/877.26	c cleaning 40002 clauses out of 80007 with flag 2131315/3655666
1786.78/892.87	c cleaning 40996 clauses out of 82005 with flag 2235378/3697666
1800.01/899.40	c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<<
1800.01/899.40	c starts		: 70250
1800.01/899.40	c conflicts		: 3714448
1800.01/899.40	c decisions		: 12987644
1800.01/899.40	c propagations		: 31988575
1800.01/899.40	c inspects		: 10995043352
1800.01/899.40	c shortcuts		: 0
1800.01/899.40	c learnt literals	: 0
1800.01/899.40	c learnt binary clauses	: 0
1800.01/899.40	c learnt ternary clauses	: 0
1800.01/899.40	c learnt constraints	: 3714448
1800.01/899.41	c ignored constraints	: 0
1800.01/899.41	c root simplifications	: 0
1800.01/899.41	c removed literals (reason simplification)	: 67010455
1800.01/899.41	c reason swapping (by a shorter reason)	: 0
1800.01/899.41	c Calls to reduceDB	: 163
1800.01/899.41	c Number of update (reduction) of LBD	: 123127
1800.01/899.41	c Imported unit clauses	: 0
1800.01/899.41	c number of reductions to clauses (during analyze)	: 0
1800.01/899.41	c number of learned constraints concerned by reduction	: 0
1800.01/899.41	c number of learning phase by resolution	: 0
1800.01/899.41	c number of learning phase by cutting planes	: 0
1800.01/899.41	c speed (assignments/second)	: 156294.95084722576
1800.01/899.41	c non guided choices	0
1800.01/899.43	c learnt constraints type 
1800.01/899.43	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 57791
1800.01/899.43	c >>>>>>>>>> Solver number 1 (8 answers) <<<<<<<<<<<<<<<<<<
1800.01/899.43	c starts		: 54
1800.01/899.43	c conflicts		: 17379
1800.01/899.43	c decisions		: 23876
1800.01/899.43	c propagations		: 210688
1800.01/899.43	c inspects		: 831991826
1800.01/899.43	c shortcuts		: 0
1800.01/899.43	c learnt literals	: 0
1800.01/899.43	c learnt binary clauses	: 0
1800.01/899.43	c learnt ternary clauses	: 0
1800.01/899.43	c learnt constraints	: 17379
1800.01/899.43	c ignored constraints	: 0
1800.01/899.43	c root simplifications	: 0
1800.01/899.43	c removed literals (reason simplification)	: 0
1800.01/899.43	c reason swapping (by a shorter reason)	: 0
1800.01/899.43	c Calls to reduceDB	: 2
1800.01/899.43	c Number of update (reduction) of LBD	: 0
1800.01/899.43	c Imported unit clauses	: 0
1800.01/899.43	c number of reductions to clauses (during analyze)	: 0
1800.01/899.43	c number of learned constraints concerned by reduction	: 0
1800.01/899.43	c number of learning phase by resolution	: 0
1800.01/899.43	c number of learning phase by cutting planes	: 0
1800.01/899.43	c speed (assignments/second)	: 234.59511943097144
1800.01/899.43	c non guided choices	0
1800.01/899.43	c learnt constraints type 
1800.01/899.43	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 648
1800.01/899.43	c org.sat4j.pb.constraints.pb.MaxWatchPb => 16731
1800.01/899.43	s SATISFIABLE
1800.01/899.43	c Found 10 solution(s)
1800.01/899.44	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 
1800.01/899.44	c objective function=-47
1800.01/899.44	c Total wall clock time (in seconds): 899.318

Verifier Data 

OK	-47

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-4081786-1465256262/watcher-4081786-1465256262 -o /tmp/evaluation-result-4081786-1465256262/solver-4081786-1465256262 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465253566-15535 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081786-1465256262.opb 

pid=16290
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.04 4.16 4.08 2/194 16293
/proc/meminfo: memFree=30340904/32872528 swapFree=15784/1434320
[pid=16293] ppid=16290 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/16293/stat : 16293 (java) S 16290 16293 15518 0 -1 4202496 1293 0 0 0 0 0 0 0 20 0 2 0 107559427 95129600 926 33554432000 1073741824 1073778376 140735551439216 140735551430352 214373007421 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16293/statm: 23225 926 703 9 0 16769 0
[pid=16293/tid=16294] ppid=16290 vsize=96324 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16294/stat : 16294 (java) R 16290 16293 15518 0 -1 4202560 87 0 0 0 0 0 0 0 20 0 2 0 107559428 98635776 942 33554432000 1073741824 1073778376 140735551439216 139658051243560 214360486762 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.100159 s]
/proc/loadavg: 4.04 4.16 4.08 2/194 16293
/proc/meminfo: memFree=30340904/32872528 swapFree=15784/1434320
[pid=16293] ppid=16290 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/16293/stat : 16293 (java) S 16290 16293 15518 0 -1 4202496 4445 0 1 0 9 0 0 0 20 0 18 0 107559427 9787879424 5562 33554432000 1073741824 1073778376 140735551439216 140735551430352 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16293/statm: 2389619 5563 2126 9 0 2380296 0
[pid=16293/tid=16294] ppid=16290 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/16293/task/16294/stat : 16294 (java) R 16290 16293 15518 0 -1 4202560 2443 0 1 0 7 0 0 0 20 0 18 0 107559428 9787879424 5563 33554432000 1073741824 1073778376 140735551439216 139658051238424 214373033229 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200322 s]
/proc/loadavg: 4.04 4.16 4.08 2/194 16293
/proc/meminfo: memFree=30340904/32872528 swapFree=15784/1434320
[pid=16293] ppid=16290 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/16293/stat : 16293 (java) S 16290 16293 15518 0 -1 4202496 4611 0 1 0 22 1 0 0 20 0 18 0 107559427 9787879424 6719 33554432000 1073741824 1073778376 140735551439216 140735551430352 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16293/statm: 2389619 6719 2198 9 0 2380296 0
[pid=16293/tid=16294] ppid=16290 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/16293/task/16294/stat : 16294 (java) R 16290 16293 15518 0 -1 4202560 2465 0 1 0 17 0 0 0 20 0 18 0 107559428 9787879424 6719 33554432000 1073741824 1073778376 140735551439216 139658051238680 139657923783681 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300285 s]
/proc/loadavg: 4.04 4.16 4.08 2/194 16293
/proc/meminfo: memFree=30340904/32872528 swapFree=15784/1434320
[pid=16293] ppid=16290 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/16293/stat : 16293 (java) S 16290 16293 15518 0 -1 4202496 6100 0 1 0 47 1 0 0 20 0 18 0 107559427 9787879424 8712 33554432000 1073741824 1073778376 140735551439216 140735551430352 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16293/statm: 2389619 8712 2237 9 0 2380296 0
[pid=16293/tid=16294] ppid=16290 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/16293/task/16294/stat : 16294 (java) R 16290 16293 15518 0 -1 4202560 2469 0 1 0 27 0 0 0 20 0 18 0 107559428 9787879424 8712 33554432000 1073741824 1073778376 140735551439216 139658051238680 139657923787251 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700272 s]
/proc/loadavg: 4.04 4.16 4.08 2/194 16293
/proc/meminfo: memFree=30340904/32872528 swapFree=15784/1434320
[pid=16293] ppid=16290 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/16293/stat : 16293 (java) S 16290 16293 15518 0 -1 4202496 6206 0 1 0 55 3 0 0 20 0 19 0 107559427 10060525568 9722 33554432000 1073741824 1073778376 140735551439216 140735551430352 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16293/statm: 2456183 9722 2252 9 0 2446860 0
[pid=16293/tid=16294] ppid=16290 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/16293/task/16294/stat : 16294 (java) S 16290 16293 15518 0 -1 4202560 2479 0 1 0 30 0 0 0 20 0 19 0 107559428 10060525568 9722 33554432000 1073741824 1073778376 140735551439216 139658051249016 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 9824732

[startup+1.50078 s]
/proc/loadavg: 3.87 4.12 4.07 1/213 16324
/proc/meminfo: memFree=30306316/32872528 swapFree=15784/1434320
[pid=16293] ppid=16290 vsize=9824732 CPUtime=1.31 cores=1,3,5,7
/proc/16293/stat : 16293 (java) S 16290 16293 15518 0 -1 4202496 10989 0 1 0 125 6 0 0 20 0 22 0 107559427 10060525568 16222 33554432000 1073741824 1073778376 140735551439216 140735551430352 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16293/statm: 2456183 16222 2261 9 0 2446860 0
[pid=16293/tid=16294] ppid=16290 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/16293/task/16294/stat : 16294 (java) S 16290 16293 15518 0 -1 4202560 2480 0 1 0 31 0 0 0 20 0 22 0 107559428 10060525568 16222 33554432000 1073741824 1073778376 140735551439216 139658051249016 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16293/tid=16296] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16296/stat : 16296 (java) S 16290 16293 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107559429 10060525568 16229 33554432000 1073741824 1073778376 140735551439216 139657895176616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16293/tid=16297] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16297/stat : 16297 (java) S 16290 16293 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107559429 10060525568 16229 33554432000 1073741824 1073778376 140735551439216 139657894124072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16298] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16298/stat : 16298 (java) S 16290 16293 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107559429 10060525568 16229 33554432000 1073741824 1073778376 140735551439216 139657893071016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16293/tid=16299] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16299/stat : 16299 (java) S 16290 16293 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107559429 10060525568 16229 33554432000 1073741824 1073778376 140735551439216 139657892018472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16293/tid=16300] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16300/stat : 16300 (java) S 16290 16293 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107559429 10060525568 16231 33554432000 1073741824 1073778376 140735551439216 139657890966440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16293/tid=16301] ppid=16290 vsize=9825936 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16301/stat : 16301 (java) S 16290 16293 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107559429 10061758464 16248 33554432000 1073741824 1073778376 140735551439216 139657889913896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16293/tid=16302] ppid=16290 vsize=9825936 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16302/stat : 16302 (java) S 16290 16293 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107559429 10061758464 16265 33554432000 1073741824 1073778376 140735551439216 139657888860840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16293/tid=16303] ppid=16290 vsize=9825936 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16303/stat : 16303 (java) S 16290 16293 15518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107559429 10061758464 16286 33554432000 1073741824 1073778376 140735551439216 139657887808296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16293/tid=16304] ppid=16290 vsize=9825936 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16304/stat : 16304 (java) S 16290 16293 15518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107559430 10061758464 16304 33554432000 1073741824 1073778376 140735551439216 139657875396968 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16293/tid=16305] ppid=16290 vsize=9825936 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16305/stat : 16305 (java) S 16290 16293 15518 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 107559430 10061758464 16321 33554432000 1073741824 1073778376 140735551439216 139657874343288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16293/tid=16306] ppid=16290 vsize=9825936 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16306/stat : 16306 (java) S 16290 16293 15518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107559430 10061758464 16342 33554432000 1073741824 1073778376 140735551439216 139657873290120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16293/tid=16307] ppid=16290 vsize=9825936 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16307/stat : 16307 (java) S 16290 16293 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107559433 10061758464 16360 33554432000 1073741824 1073778376 140735551439216 139657872238864 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16293/tid=16308] ppid=16290 vsize=9825936 CPUtime=0.29 cores=1,3,5,7
/proc/16293/task/16308/stat : 16308 (java) R 16290 16293 15518 0 -1 4202560 4140 0 0 0 29 0 0 0 20 0 22 0 107559433 10061758464 16380 33554432000 1073741824 1073778376 140735551439216 139657871174032 139658054825570 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16293/tid=16309] ppid=16290 vsize=9825936 CPUtime=0.28 cores=1,3,5,7
/proc/16293/task/16309/stat : 16309 (java) R 16290 16293 15518 0 -1 4202560 3179 0 0 0 28 0 0 0 20 0 22 0 107559433 10061758464 16398 33554432000 1073741824 1073778376 140735551439216 139657870128040 139658057205915 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16310] ppid=16290 vsize=9825936 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16310/stat : 16310 (java) S 16290 16293 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107559433 10061758464 16417 33554432000 1073741824 1073778376 140735551439216 139657869081336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16311] ppid=16290 vsize=9825936 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16311/stat : 16311 (java) S 16290 16293 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107559433 10061758464 16437 33554432000 1073741824 1073778376 140735551439216 139657868029000 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16293/tid=16317] ppid=16290 vsize=9825936 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16317/stat : 16317 (java) S 16290 16293 15518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107559461 10061758464 16456 33554432000 1073741824 1073778376 140735551439216 139657864868648 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 9824732

[startup+3.10084 s]
/proc/loadavg: 3.87 4.12 4.07 3/216 16336
/proc/meminfo: memFree=30230888/32872528 swapFree=15784/1434320
[pid=16293] ppid=16290 vsize=9824732 CPUtime=3.08 cores=1,3,5,7
/proc/16293/stat : 16293 (java) S 16290 16293 15518 0 -1 4202496 18142 0 1 0 291 17 0 0 20 0 19 0 107559427 10060525568 45261 33554432000 1073741824 1073778376 140735551439216 140735551430352 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16293/statm: 2456183 45261 2288 9 0 2446860 0
[pid=16293/tid=16294] ppid=16290 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/16293/task/16294/stat : 16294 (java) S 16290 16293 15518 0 -1 4202560 2481 0 1 0 31 0 0 0 20 0 19 0 107559428 10060525568 45261 33554432000 1073741824 1073778376 140735551439216 139658051249016 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16293/tid=16296] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16296/stat : 16296 (java) S 16290 16293 15518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107559429 10060525568 45261 33554432000 1073741824 1073778376 140735551439216 139657895176616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16293/tid=16297] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16297/stat : 16297 (java) S 16290 16293 15518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107559429 10060525568 45261 33554432000 1073741824 1073778376 140735551439216 139657894124072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16293/tid=16298] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16298/stat : 16298 (java) S 16290 16293 15518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107559429 10060525568 45261 33554432000 1073741824 1073778376 140735551439216 139657893071016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16293/tid=16299] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16299/stat : 16299 (java) S 16290 16293 15518 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 107559429 10060525568 45261 33554432000 1073741824 1073778376 140735551439216 139657892018472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16293/tid=16300] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16300/stat : 16300 (java) S 16290 16293 15518 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107559429 10060525568 45261 33554432000 1073741824 1073778376 140735551439216 139657890966440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16301] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16301/stat : 16301 (java) S 16290 16293 15518 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 107559429 10060525568 45261 33554432000 1073741824 1073778376 140735551439216 139657889913896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16293/tid=16302] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16302/stat : 16302 (java) S 16290 16293 15518 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 107559429 10060525568 45261 33554432000 1073741824 1073778376 140735551439216 139657888860840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16293/tid=16303] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16303/stat : 16303 (java) S 16290 16293 15518 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107559429 10060525568 45261 33554432000 1073741824 1073778376 140735551439216 139657887808296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16293/tid=16304] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16304/stat : 16304 (java) S 16290 16293 15518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107559430 10060525568 45261 33554432000 1073741824 1073778376 140735551439216 139657875396968 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16305] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16305/stat : 16305 (java) S 16290 16293 15518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107559430 10060525568 45261 33554432000 1073741824 1073778376 140735551439216 139657874343288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16293/tid=16306] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16306/stat : 16306 (java) S 16290 16293 15518 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 107559430 10060525568 45261 33554432000 1073741824 1073778376 140735551439216 139657873290120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16293/tid=16307] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16307/stat : 16307 (java) S 16290 16293 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107559433 10060525568 45261 33554432000 1073741824 1073778376 140735551439216 139657872238864 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16293/tid=16308] ppid=16290 vsize=9824732 CPUtime=0.68 cores=1,3,5,7
/proc/16293/task/16308/stat : 16308 (java) S 16290 16293 15518 0 -1 4202560 5635 0 0 0 68 0 0 0 20 0 19 0 107559433 10060525568 45261 33554432000 1073741824 1073778376 140735551439216 139657871186744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16293/tid=16309] ppid=16290 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
/proc/16293/task/16309/stat : 16309 (java) S 16290 16293 15518 0 -1 4202560 8559 0 0 0 81 2 0 0 20 0 19 0 107559433 10060525568 45261 33554432000 1073741824 1073778376 140735551439216 139657870134200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16310] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16310/stat : 16310 (java) S 16290 16293 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107559433 10060525568 45261 33554432000 1073741824 1073778376 140735551439216 139657869081336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16311] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16311/stat : 16311 (java) S 16290 16293 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107559433 10060525568 45261 33554432000 1073741824 1073778376 140735551439216 139657868029000 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16293/tid=16330] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16330/stat : 16330 (java) S 16290 16293 15518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107559561 10060525568 45261 33554432000 1073741824 1073778376 140735551439216 139657863816360 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 9824732

[startup+6.30089 s]
/proc/loadavg: 3.87 4.12 4.07 5/219 16348
/proc/meminfo: memFree=29709808/32872528 swapFree=15784/1434320
[pid=16293] ppid=16290 vsize=9824732 CPUtime=9.51 cores=1,3,5,7
/proc/16293/stat : 16293 (java) S 16290 16293 15518 0 -1 4202496 19658 0 1 0 920 31 0 0 20 0 22 0 107559427 10060525568 98558 33554432000 1073741824 1073778376 140735551439216 140735551430352 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16293/statm: 2456183 98558 2293 9 0 2446860 0
[pid=16293/tid=16294] ppid=16290 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/16293/task/16294/stat : 16294 (java) S 16290 16293 15518 0 -1 4202560 2482 0 1 0 31 0 0 0 20 0 22 0 107559428 10060525568 98558 33554432000 1073741824 1073778376 140735551439216 139658051249016 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16293/tid=16296] ppid=16290 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/16293/task/16296/stat : 16296 (java) S 16290 16293 15518 0 -1 4202560 147 0 0 0 6 1 0 0 20 0 22 0 107559429 10060525568 98558 33554432000 1073741824 1073778376 140735551439216 139657895176616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16293/tid=16297] ppid=16290 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/16293/task/16297/stat : 16297 (java) S 16290 16293 15518 0 -1 4202560 52 0 0 0 9 3 0 0 20 0 22 0 107559429 10060525568 98558 33554432000 1073741824 1073778376 140735551439216 139657894124072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16298] ppid=16290 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/16293/task/16298/stat : 16298 (java) S 16290 16293 15518 0 -1 4202560 105 0 0 0 4 0 0 0 20 0 22 0 107559429 10060525568 98558 33554432000 1073741824 1073778376 140735551439216 139657893071016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16293/tid=16299] ppid=16290 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/16293/task/16299/stat : 16299 (java) S 16290 16293 15518 0 -1 4202560 129 0 0 0 6 2 0 0 20 0 22 0 107559429 10060525568 98558 33554432000 1073741824 1073778376 140735551439216 139657892018472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16293/tid=16300] ppid=16290 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/16293/task/16300/stat : 16300 (java) S 16290 16293 15518 0 -1 4202560 164 0 0 0 10 4 0 0 20 0 22 0 107559429 10060525568 98558 33554432000 1073741824 1073778376 140735551439216 139657890966440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16293/tid=16301] ppid=16290 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/16293/task/16301/stat : 16301 (java) S 16290 16293 15518 0 -1 4202560 47 0 0 0 4 0 0 0 20 0 22 0 107559429 10060525568 98558 33554432000 1073741824 1073778376 140735551439216 139657889913896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16293/tid=16302] ppid=16290 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/16293/task/16302/stat : 16302 (java) S 16290 16293 15518 0 -1 4202560 62 0 0 0 7 2 0 0 20 0 22 0 107559429 10060525568 98558 33554432000 1073741824 1073778376 140735551439216 139657888860840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16293/tid=16303] ppid=16290 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/16293/task/16303/stat : 16303 (java) S 16290 16293 15518 0 -1 4202560 36 0 0 0 5 2 0 0 20 0 22 0 107559429 10060525568 98558 33554432000 1073741824 1073778376 140735551439216 139657887808296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16293/tid=16304] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16304/stat : 16304 (java) S 16290 16293 15518 0 -1 4202560 214 0 0 0 0 0 0 0 20 0 22 0 107559430 10060525568 98558 33554432000 1073741824 1073778376 140735551439216 139657875396968 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16293/tid=16305] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16305/stat : 16305 (java) S 16290 16293 15518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107559430 10060525568 98558 33554432000 1073741824 1073778376 140735551439216 139657874343288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16293/tid=16306] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16306/stat : 16306 (java) S 16290 16293 15518 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 107559430 10060525568 98558 33554432000 1073741824 1073778376 140735551439216 139657873290120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16293/tid=16307] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16307/stat : 16307 (java) S 16290 16293 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107559433 10060525568 98558 33554432000 1073741824 1073778376 140735551439216 139657872238864 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16293/tid=16308] ppid=16290 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
/proc/16293/task/16308/stat : 16308 (java) S 16290 16293 15518 0 -1 4202560 5649 0 0 0 83 0 0 0 20 0 22 0 107559433 10060525568 98558 33554432000 1073741824 1073778376 140735551439216 139657871186744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16293/tid=16309] ppid=16290 vsize=9824732 CPUtime=0.93 cores=1,3,5,7

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


[startup+822.301 s]
/proc/loadavg: 4.26 4.25 4.18 5/219 16400
/proc/meminfo: memFree=22926872/32872528 swapFree=15784/1434320
[pid=16293] ppid=16290 vsize=9824732 CPUtime=1645.04 cores=1,3,5,7
/proc/16293/stat : 16293 (java) S 16290 16293 15518 0 -1 4202496 32444 0 1 0 164247 257 0 0 20 0 22 0 107559427 10060525568 678664 33554432000 1073741824 1073778376 140735551439216 140735551430352 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16293/statm: 2456183 678664 2302 9 0 2446860 0
[pid=16293/tid=16294] ppid=16290 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/16293/task/16294/stat : 16294 (java) S 16290 16293 15518 0 -1 4202560 2490 0 1 0 33 3 0 0 20 0 22 0 107559428 10060525568 678664 33554432000 1073741824 1073778376 140735551439216 139658051249016 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16293/tid=16296] ppid=16290 vsize=9824732 CPUtime=2.43 cores=1,3,5,7
/proc/16293/task/16296/stat : 16296 (java) S 16290 16293 15518 0 -1 4202560 858 0 0 0 222 21 0 0 20 0 22 0 107559429 10060525568 678664 33554432000 1073741824 1073778376 140735551439216 139657895176616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16293/tid=16297] ppid=16290 vsize=9824732 CPUtime=2 cores=1,3,5,7
/proc/16293/task/16297/stat : 16297 (java) S 16290 16293 15518 0 -1 4202560 678 0 0 0 179 21 0 0 20 0 22 0 107559429 10060525568 678664 33554432000 1073741824 1073778376 140735551439216 139657894124072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16293/tid=16298] ppid=16290 vsize=9824732 CPUtime=2.21 cores=1,3,5,7
/proc/16293/task/16298/stat : 16298 (java) S 16290 16293 15518 0 -1 4202560 880 0 0 0 202 19 0 0 20 0 22 0 107559429 10060525568 678664 33554432000 1073741824 1073778376 140735551439216 139657893071016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16293/tid=16299] ppid=16290 vsize=9824732 CPUtime=2.15 cores=1,3,5,7
/proc/16293/task/16299/stat : 16299 (java) S 16290 16293 15518 0 -1 4202560 802 0 0 0 195 20 0 0 20 0 22 0 107559429 10060525568 678664 33554432000 1073741824 1073778376 140735551439216 139657892018472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16293/tid=16300] ppid=16290 vsize=9824732 CPUtime=1.84 cores=1,3,5,7
/proc/16293/task/16300/stat : 16300 (java) S 16290 16293 15518 0 -1 4202560 752 0 0 0 168 16 0 0 20 0 22 0 107559429 10060525568 678664 33554432000 1073741824 1073778376 140735551439216 139657890966440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16293/tid=16301] ppid=16290 vsize=9824732 CPUtime=1.88 cores=1,3,5,7
/proc/16293/task/16301/stat : 16301 (java) S 16290 16293 15518 0 -1 4202560 769 0 0 0 170 18 0 0 20 0 22 0 107559429 10060525568 678664 33554432000 1073741824 1073778376 140735551439216 139657889913896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16293/tid=16302] ppid=16290 vsize=9824732 CPUtime=2.26 cores=1,3,5,7
/proc/16293/task/16302/stat : 16302 (java) S 16290 16293 15518 0 -1 4202560 898 0 0 0 202 24 0 0 20 0 22 0 107559429 10060525568 678664 33554432000 1073741824 1073778376 140735551439216 139657888860840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16293/tid=16303] ppid=16290 vsize=9824732 CPUtime=2.05 cores=1,3,5,7
/proc/16293/task/16303/stat : 16303 (java) S 16290 16293 15518 0 -1 4202560 545 0 0 0 188 17 0 0 20 0 22 0 107559429 10060525568 678664 33554432000 1073741824 1073778376 140735551439216 139657887808296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16293/tid=16304] ppid=16290 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/16293/task/16304/stat : 16304 (java) S 16290 16293 15518 0 -1 4202560 2239 0 0 0 259 6 0 0 20 0 22 0 107559430 10060525568 678664 33554432000 1073741824 1073778376 140735551439216 139657875396968 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16305] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16305/stat : 16305 (java) S 16290 16293 15518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107559430 10060525568 678664 33554432000 1073741824 1073778376 140735551439216 139657874343288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16306] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16306/stat : 16306 (java) S 16290 16293 15518 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 107559430 10060525568 678664 33554432000 1073741824 1073778376 140735551439216 139657873290120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16307] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16307/stat : 16307 (java) S 16290 16293 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107559433 10060525568 678664 33554432000 1073741824 1073778376 140735551439216 139657872238864 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16293/tid=16308] ppid=16290 vsize=9824732 CPUtime=1.48 cores=1,3,5,7
/proc/16293/task/16308/stat : 16308 (java) S 16290 16293 15518 0 -1 4202560 9174 0 0 0 146 2 0 0 20 0 22 0 107559433 10060525568 678664 33554432000 1073741824 1073778376 140735551439216 139657871186744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16293/tid=16309] ppid=16290 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/16293/task/16309/stat : 16309 (java) S 16290 16293 15518 0 -1 4202560 8760 0 0 0 103 2 0 0 20 0 22 0 107559433 10060525568 678664 33554432000 1073741824 1073778376 140735551439216 139657870134200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16310] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16310/stat : 16310 (java) S 16290 16293 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107559433 10060525568 678664 33554432000 1073741824 1073778376 140735551439216 139657869081336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16311] ppid=16290 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/16293/task/16311/stat : 16311 (java) S 16290 16293 15518 0 -1 4202560 47 0 0 0 21 16 0 0 20 0 22 0 107559433 10060525568 678664 33554432000 1073741824 1073778376 140735551439216 139657868029000 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16293/tid=16330] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16330/stat : 16330 (java) S 16290 16293 15518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107559561 10060525568 678664 33554432000 1073741824 1073778376 140735551439216 139657863816360 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16293/tid=16392] ppid=16290 vsize=9824732 CPUtime=126.87 cores=1,3,5,7
/proc/16293/task/16392/stat : 16392 (java) R 16290 16293 15518 0 -1 4202560 2 0 0 0 12686 1 0 0 20 0 22 0 107628902 10060525568 678664 33554432000 1073741824 1073778376 140735551439216 139657866965264 139657924250069 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16293/tid=16393] ppid=16290 vsize=9824732 CPUtime=126.9 cores=1,3,5,7
/proc/16293/task/16393/stat : 16393 (java) R 16290 16293 15518 0 -1 4202560 16 0 0 0 12687 3 0 0 20 0 22 0 107628902 10060525568 678664 33554432000 1073741824 1073778376 140735551439216 139657865919776 139657924444627 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16394] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16394/stat : 16394 (java) S 16290 16293 15518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107628902 10060525568 678664 33554432000 1073741824 1073778376 140735551439216 139657864869032 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1645.04
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.43 4.33 4.21 5/219 16401
/proc/meminfo: memFree=22948764/32872528 swapFree=15784/1434320
[pid=16293] ppid=16290 vsize=9824732 CPUtime=1765.71 cores=1,3,5,7
/proc/16293/stat : 16293 (java) S 16290 16293 15518 0 -1 4202496 32541 0 1 0 176307 264 0 0 20 0 22 0 107559427 10060525568 608081 33554432000 1073741824 1073778376 140735551439216 140735551430352 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16293/statm: 2456183 608081 2302 9 0 2446860 0
[pid=16293/tid=16294] ppid=16290 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/16293/task/16294/stat : 16294 (java) S 16290 16293 15518 0 -1 4202560 2490 0 1 0 33 3 0 0 20 0 22 0 107559428 10060525568 608081 33554432000 1073741824 1073778376 140735551439216 139658051249016 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16293/tid=16296] ppid=16290 vsize=9824732 CPUtime=2.6 cores=1,3,5,7
/proc/16293/task/16296/stat : 16296 (java) S 16290 16293 15518 0 -1 4202560 863 0 0 0 239 21 0 0 20 0 22 0 107559429 10060525568 608081 33554432000 1073741824 1073778376 140735551439216 139657895176616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16297] ppid=16290 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/16293/task/16297/stat : 16297 (java) S 16290 16293 15518 0 -1 4202560 728 0 0 0 203 21 0 0 20 0 22 0 107559429 10060525568 608081 33554432000 1073741824 1073778376 140735551439216 139657894124072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16298] ppid=16290 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/16293/task/16298/stat : 16298 (java) S 16290 16293 15518 0 -1 4202560 886 0 0 0 221 19 0 0 20 0 22 0 107559429 10060525568 608081 33554432000 1073741824 1073778376 140735551439216 139657893071016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16293/tid=16299] ppid=16290 vsize=9824732 CPUtime=2.3 cores=1,3,5,7
/proc/16293/task/16299/stat : 16299 (java) S 16290 16293 15518 0 -1 4202560 804 0 0 0 210 20 0 0 20 0 22 0 107559429 10060525568 608081 33554432000 1073741824 1073778376 140735551439216 139657892018472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16300] ppid=16290 vsize=9824732 CPUtime=2.04 cores=1,3,5,7
/proc/16293/task/16300/stat : 16300 (java) S 16290 16293 15518 0 -1 4202560 758 0 0 0 188 16 0 0 20 0 22 0 107559429 10060525568 608081 33554432000 1073741824 1073778376 140735551439216 139657890966440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16301] ppid=16290 vsize=9824732 CPUtime=2.04 cores=1,3,5,7
/proc/16293/task/16301/stat : 16301 (java) S 16290 16293 15518 0 -1 4202560 772 0 0 0 186 18 0 0 20 0 22 0 107559429 10060525568 608081 33554432000 1073741824 1073778376 140735551439216 139657889913896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16302] ppid=16290 vsize=9824732 CPUtime=2.42 cores=1,3,5,7
/proc/16293/task/16302/stat : 16302 (java) S 16290 16293 15518 0 -1 4202560 899 0 0 0 218 24 0 0 20 0 22 0 107559429 10060525568 608081 33554432000 1073741824 1073778376 140735551439216 139657888860840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16293/tid=16303] ppid=16290 vsize=9824732 CPUtime=2.25 cores=1,3,5,7
/proc/16293/task/16303/stat : 16303 (java) S 16290 16293 15518 0 -1 4202560 550 0 0 0 207 18 0 0 20 0 22 0 107559429 10060525568 608081 33554432000 1073741824 1073778376 140735551439216 139657887808296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16293/tid=16304] ppid=16290 vsize=9824732 CPUtime=2.66 cores=1,3,5,7
/proc/16293/task/16304/stat : 16304 (java) S 16290 16293 15518 0 -1 4202560 2243 0 0 0 259 7 0 0 20 0 22 0 107559430 10060525568 608081 33554432000 1073741824 1073778376 140735551439216 139657875396968 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16293/tid=16305] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16305/stat : 16305 (java) S 16290 16293 15518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107559430 10060525568 608081 33554432000 1073741824 1073778376 140735551439216 139657874343288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16306] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16306/stat : 16306 (java) S 16290 16293 15518 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 107559430 10060525568 608081 33554432000 1073741824 1073778376 140735551439216 139657873290120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16307] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16307/stat : 16307 (java) S 16290 16293 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107559433 10060525568 608081 33554432000 1073741824 1073778376 140735551439216 139657872238864 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16293/tid=16308] ppid=16290 vsize=9824732 CPUtime=1.48 cores=1,3,5,7
/proc/16293/task/16308/stat : 16308 (java) S 16290 16293 15518 0 -1 4202560 9174 0 0 0 146 2 0 0 20 0 22 0 107559433 10060525568 608081 33554432000 1073741824 1073778376 140735551439216 139657871186744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16293/tid=16309] ppid=16290 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/16293/task/16309/stat : 16309 (java) S 16290 16293 15518 0 -1 4202560 8760 0 0 0 103 2 0 0 20 0 22 0 107559433 10060525568 608081 33554432000 1073741824 1073778376 140735551439216 139657870134200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16310] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16310/stat : 16310 (java) S 16290 16293 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107559433 10060525568 608081 33554432000 1073741824 1073778376 140735551439216 139657869081336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16311] ppid=16290 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/16293/task/16311/stat : 16311 (java) S 16290 16293 15518 0 -1 4202560 51 0 0 0 22 18 0 0 20 0 22 0 107559433 10060525568 608081 33554432000 1073741824 1073778376 140735551439216 139657868029000 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16330] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16330/stat : 16330 (java) S 16290 16293 15518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107559561 10060525568 608081 33554432000 1073741824 1073778376 140735551439216 139657863816360 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16293/tid=16392] ppid=16290 vsize=9824732 CPUtime=186.46 cores=1,3,5,7
/proc/16293/task/16392/stat : 16392 (java) R 16290 16293 15518 0 -1 4202560 9 0 0 0 18644 2 0 0 20 0 22 0 107628902 10060525568 608081 33554432000 1073741824 1073778376 140735551439216 139657866972976 139657924250069 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16293/tid=16393] ppid=16290 vsize=9824732 CPUtime=186.49 cores=1,3,5,7
/proc/16293/task/16393/stat : 16393 (java) R 16290 16293 15518 0 -1 4202560 20 0 0 0 18645 4 0 0 20 0 22 0 107628902 10060525568 608081 33554432000 1073741824 1073778376 140735551439216 139657865918960 139657924444610 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16293/tid=16394] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16394/stat : 16394 (java) S 16290 16293 15518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107628902 10060525568 608081 33554432000 1073741824 1073778376 140735551439216 139657864869032 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1765.71
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+899.401 s]
/proc/loadavg: 4.41 4.33 4.21 6/219 16488
/proc/meminfo: memFree=26958952/32872528 swapFree=15784/1434320
[pid=16293] ppid=16290 vsize=9824732 CPUtime=1800.01 cores=1,3,5,7
/proc/16293/stat : 16293 (java) S 16290 16293 15518 0 -1 4202496 32661 0 1 0 179735 266 0 0 20 0 22 0 107559427 10060525568 615336 33554432000 1073741824 1073778376 140735551439216 140735551430352 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16293/statm: 2456183 615336 2302 9 0 2446860 0
[pid=16293/tid=16294] ppid=16290 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/16293/task/16294/stat : 16294 (java) S 16290 16293 15518 0 -1 4202560 2490 0 1 0 33 3 0 0 20 0 22 0 107559428 10060525568 615336 33554432000 1073741824 1073778376 140735551439216 139658051249016 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16293/tid=16296] ppid=16290 vsize=9824732 CPUtime=2.63 cores=1,3,5,7
/proc/16293/task/16296/stat : 16296 (java) S 16290 16293 15518 0 -1 4202560 864 0 0 0 242 21 0 0 20 0 22 0 107559429 10060525568 615336 33554432000 1073741824 1073778376 140735551439216 139657895176616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16293/tid=16297] ppid=16290 vsize=9824732 CPUtime=2.31 cores=1,3,5,7
/proc/16293/task/16297/stat : 16297 (java) S 16290 16293 15518 0 -1 4202560 735 0 0 0 209 22 0 0 20 0 22 0 107559429 10060525568 615336 33554432000 1073741824 1073778376 140735551439216 139657894124072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16298] ppid=16290 vsize=9824732 CPUtime=2.43 cores=1,3,5,7
/proc/16293/task/16298/stat : 16298 (java) S 16290 16293 15518 0 -1 4202560 886 0 0 0 224 19 0 0 20 0 22 0 107559429 10060525568 615336 33554432000 1073741824 1073778376 140735551439216 139657893071016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16299] ppid=16290 vsize=9824732 CPUtime=2.34 cores=1,3,5,7
/proc/16293/task/16299/stat : 16299 (java) S 16290 16293 15518 0 -1 4202560 809 0 0 0 214 20 0 0 20 0 22 0 107559429 10060525568 615336 33554432000 1073741824 1073778376 140735551439216 139657892018472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16300] ppid=16290 vsize=9824732 CPUtime=2.06 cores=1,3,5,7
/proc/16293/task/16300/stat : 16300 (java) S 16290 16293 15518 0 -1 4202560 760 0 0 0 190 16 0 0 20 0 22 0 107559429 10060525568 615336 33554432000 1073741824 1073778376 140735551439216 139657890966440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16301] ppid=16290 vsize=9824732 CPUtime=2.07 cores=1,3,5,7
/proc/16293/task/16301/stat : 16301 (java) S 16290 16293 15518 0 -1 4202560 777 0 0 0 189 18 0 0 20 0 22 0 107559429 10060525568 615336 33554432000 1073741824 1073778376 140735551439216 139657889913896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16302] ppid=16290 vsize=9824732 CPUtime=2.46 cores=1,3,5,7
/proc/16293/task/16302/stat : 16302 (java) S 16290 16293 15518 0 -1 4202560 900 0 0 0 222 24 0 0 20 0 22 0 107559429 10060525568 615336 33554432000 1073741824 1073778376 140735551439216 139657888860840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16293/tid=16303] ppid=16290 vsize=9824732 CPUtime=2.31 cores=1,3,5,7
/proc/16293/task/16303/stat : 16303 (java) S 16290 16293 15518 0 -1 4202560 555 0 0 0 213 18 0 0 20 0 22 0 107559429 10060525568 615336 33554432000 1073741824 1073778376 140735551439216 139657887808296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16304] ppid=16290 vsize=9824732 CPUtime=2.67 cores=1,3,5,7
/proc/16293/task/16304/stat : 16304 (java) S 16290 16293 15518 0 -1 4202560 2334 0 0 0 259 8 0 0 20 0 22 0 107559430 10060525568 615336 33554432000 1073741824 1073778376 140735551439216 139657875396968 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16293/tid=16305] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16305/stat : 16305 (java) S 16290 16293 15518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107559430 10060525568 615336 33554432000 1073741824 1073778376 140735551439216 139657874343288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16306] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16306/stat : 16306 (java) S 16290 16293 15518 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 107559430 10060525568 615336 33554432000 1073741824 1073778376 140735551439216 139657873290120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16307] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16307/stat : 16307 (java) S 16290 16293 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107559433 10060525568 615336 33554432000 1073741824 1073778376 140735551439216 139657872238864 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16293/tid=16308] ppid=16290 vsize=9824732 CPUtime=1.48 cores=1,3,5,7
/proc/16293/task/16308/stat : 16308 (java) S 16290 16293 15518 0 -1 4202560 9174 0 0 0 146 2 0 0 20 0 22 0 107559433 10060525568 615336 33554432000 1073741824 1073778376 140735551439216 139657871186744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16293/tid=16309] ppid=16290 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/16293/task/16309/stat : 16309 (java) S 16290 16293 15518 0 -1 4202560 8760 0 0 0 103 2 0 0 20 0 22 0 107559433 10060525568 615336 33554432000 1073741824 1073778376 140735551439216 139657870134200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16310] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16310/stat : 16310 (java) S 16290 16293 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107559433 10060525568 615336 33554432000 1073741824 1073778376 140735551439216 139657869081336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16311] ppid=16290 vsize=9824732 CPUtime=0.41 cores=1,3,5,7
/proc/16293/task/16311/stat : 16311 (java) S 16290 16293 15518 0 -1 4202560 51 0 0 0 22 19 0 0 20 0 22 0 107559433 10060525568 615336 33554432000 1073741824 1073778376 140735551439216 139657868029000 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16293/tid=16330] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16330/stat : 16330 (java) S 16290 16293 15518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107559561 10060525568 615336 33554432000 1073741824 1073778376 140735551439216 139657863816360 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16293/tid=16392] ppid=16290 vsize=9824732 CPUtime=203.45 cores=1,3,5,7
/proc/16293/task/16392/stat : 16392 (java) R 16290 16293 15518 0 -1 4202560 11 0 0 0 20342 3 0 0 20 0 22 0 107628902 10060525568 615336 33554432000 1073741824 1073778376 140735551439216 139657866972976 139657924250055 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16293/tid=16393] ppid=16290 vsize=9824732 CPUtime=203.48 cores=1,3,5,7
/proc/16293/task/16393/stat : 16393 (java) R 16290 16293 15518 0 -1 4202560 21 0 0 0 20342 6 0 0 20 0 22 0 107628902 10060525568 615336 33554432000 1073741824 1073778376 140735551439216 139657865921256 139657924302550 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16293/tid=16394] ppid=16290 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16293/task/16394/stat : 16394 (java) S 16290 16293 15518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107628902 10060525568 615336 33554432000 1073741824 1073778376 140735551439216 139657864869032 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 16293 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 899.451
CPU time (s): 1800.34
CPU user time (s): 1797.43
CPU system time (s): 2.90956
CPU usage (%): 200.16
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.43
system time used= 2.90956
maximum resident set size= 3386428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32699
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23977
involuntary context switches= 30711

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.81212 second user time and 7.69583 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-07 01:37:42
IDJOB=4081786
IDBENCH=48211
IDSOLVER=2543
FILE ID=node130/4081786-1465256262
RUNJOBID= node130-1465253566-15535
PBS_JOBID= 19843263
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_5.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081786-1465256262/watcher-4081786-1465256262 -o /tmp/evaluation-result-4081786-1465256262/solver-4081786-1465256262 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465253566-15535 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081786-1465256262.opb

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

MD5SUM BENCH= 2585c1015aa6228da840b6f61adc6732
RANDOM SEED=1803662233

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.261
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:        30341456 kB
Buffers:           50820 kB
Cached:           112952 kB
SwapCached:         1748 kB
Active:           294356 kB
Inactive:          99164 kB
Active(anon):     230900 kB
Inactive(anon):     1200 kB
Active(file):      63456 kB
Inactive(file):    97964 kB
Unevictable:     1434320 kB
Mlocked:           15784 kB
SwapTotal:      67108856 kB
SwapFree:       67098356 kB
Dirty:              2092 kB
Writeback:             0 kB
AnonPages:       1704208 kB
Mapped:            15372 kB
Shmem:                 0 kB
Slab:             569392 kB
SReclaimable:      12528 kB
SUnreclaim:       556864 kB
KernelStack:        1760 kB
PageTables:         7320 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2255136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1628160 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71748 MiB
End job on node130 at 2016-06-07 01:52:41