Trace number 3687510

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
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO)16384 1800.13 943.953

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos5.opb
MD5SUM687e90f40c46b53feec9c54ee9b43fa6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark15360
Best CPU time to get the best result obtained on this benchmark1352.86
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 15360
Optimality of the best value was proved NO
Number of variables163
Total number of constraints73
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)3
Number of constraints which are nor clauses,nor cardinality constraints70
Minimum length of a constraint11
Maximum length of a constraint102
Number of terms in the objective function 163
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 74742
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 74742
Number of bits of the biggest sum of numbers17
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 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 2.3.2.v20120418
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.10/0.12	c Pseudo Boolean Optimization by upper bound
0.10/0.12	c ManyCore solver with 2 solvers running in parallel
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c c --- End Solver configuration ---
0.10/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3687510-1337871926.opb
0.10/0.12	c reading problem ... 
0.26/0.26	c ... done. Wall clock time 0.139s.
0.26/0.26	c declared #vars     163
0.26/0.26	c #constraints  73
0.26/0.26	c constraints type 
0.26/0.26	c org.sat4j.minisat.constraints.card.MinWatchCard => 3
0.26/0.26	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 70
0.26/0.26	c 73 constraints processed.
0.26/0.26	c constraints type 
0.26/0.26	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 3
0.26/0.26	c org.sat4j.pb.constraints.pb.MaxWatchPb => 70
0.26/0.26	c 73 constraints processed.
0.26/0.26	c objective function length is 163 literals
0.26/0.28	c  And the winner is solver0
0.92/0.76	c SATISFIABLE
0.92/0.76	c OPTIMIZING...
0.92/0.76	c Got one! Elapsed wall clock time (in seconds):0.641
0.92/0.76	o 19970
0.92/0.77	c  And the winner is solver1
0.94/1.26	c Got one! Elapsed wall clock time (in seconds):1.143
0.94/1.26	o 19772
1.06/1.30	c  And the winner is solver1
1.14/1.76	c Got one! Elapsed wall clock time (in seconds):1.645
1.14/1.76	o 19748
1.14/1.78	c  And the winner is solver1
1.23/2.26	c Got one! Elapsed wall clock time (in seconds):2.146
1.23/2.26	o 19747
1.23/2.27	c  And the winner is solver1
1.24/2.77	c Got one! Elapsed wall clock time (in seconds):2.648
1.24/2.77	o 19740
1.24/2.78	c  And the winner is solver1
1.28/3.27	c Got one! Elapsed wall clock time (in seconds):3.149
1.28/3.27	o 19458
1.28/3.28	c  And the winner is solver1
1.33/3.77	c Got one! Elapsed wall clock time (in seconds):3.651
1.33/3.77	o 19456
1.33/3.78	c  And the winner is solver1
1.38/4.27	c Got one! Elapsed wall clock time (in seconds):4.152
1.38/4.27	o 19010
1.38/4.28	c  And the winner is solver1
1.41/4.77	c Got one! Elapsed wall clock time (in seconds):4.654
1.41/4.77	o 19009
1.41/4.78	c  And the winner is solver1
1.42/5.27	c Got one! Elapsed wall clock time (in seconds):5.155
1.42/5.27	o 18946
1.42/5.29	c  And the winner is solver1
1.46/5.78	c Got one! Elapsed wall clock time (in seconds):5.657
1.46/5.78	o 18945
1.53/5.80	c  And the winner is solver1
1.58/6.28	c Got one! Elapsed wall clock time (in seconds):6.159
1.58/6.28	o 18944
1.58/6.29	c  And the winner is solver1
1.64/6.78	c Got one! Elapsed wall clock time (in seconds):6.66
1.64/6.78	o 18563
1.70/6.80	c  And the winner is solver1
1.72/7.28	c Got one! Elapsed wall clock time (in seconds):7.161
1.72/7.28	o 18562
1.72/7.29	c  And the winner is solver1
1.74/7.78	c Got one! Elapsed wall clock time (in seconds):7.663
1.74/7.78	o 18435
1.74/7.79	c  And the winner is solver1
1.79/8.28	c Got one! Elapsed wall clock time (in seconds):8.164
1.79/8.28	o 18434
1.79/8.29	c  And the winner is solver1
1.79/8.78	c Got one! Elapsed wall clock time (in seconds):8.666
1.79/8.78	o 18433
1.79/8.79	c  And the winner is solver1
1.79/9.29	c Got one! Elapsed wall clock time (in seconds):9.167
1.79/9.29	o 18432
1.83/9.33	c  And the winner is solver1
2.09/9.79	c Got one! Elapsed wall clock time (in seconds):9.668
2.09/9.79	o 18431
3.22/10.25	c cleaning 3921 clauses out of 7844 with flag 5000/7844
4.31/10.66	c  And the winner is solver1
4.45/10.79	c Got one! Elapsed wall clock time (in seconds):10.672
4.45/10.79	o 17408
4.46/10.87	c cleaning 4720 clauses out of 9440 with flag 1002/13361
5.46/11.35	c cleaning 5357 clauses out of 10718 with flag 7000/19359
6.23/11.70	c  And the winner is solver1
6.23/11.79	c Got one! Elapsed wall clock time (in seconds):11.673
6.23/11.79	o 17407
6.25/11.87	c cleaning 5519 clauses out of 11042 with flag 1003/25040
6.45/11.97	c  And the winner is solver1
6.59/12.29	c Got one! Elapsed wall clock time (in seconds):12.175
6.59/12.29	o 17177
7.22/12.67	c cleaning 5535 clauses out of 11070 with flag 5000/30587
8.40/13.21	c cleaning 5761 clauses out of 11536 with flag 11001/36588
9.35/13.73	c cleaning 6379 clauses out of 12774 with flag 18000/43587
10.53/14.35	c cleaning 7190 clauses out of 14395 with flag 26000/51587
11.84/15.07	c cleaning 8103 clauses out of 16207 with flag 35002/60589
13.41/15.82	c cleaning 9046 clauses out of 18102 with flag 45000/70587
15.15/16.76	c cleaning 10023 clauses out of 20057 with flag 56001/81588
17.30/17.81	c cleaning 11009 clauses out of 22035 with flag 68002/93589
19.22/18.89	c cleaning 12007 clauses out of 24024 with flag 81000/106587
20.08/19.28	c  And the winner is solver1
20.21/19.47	c Got one! Elapsed wall clock time (in seconds):19.352
20.21/19.47	o 17024
20.47/19.66	c cleaning 8932 clauses out of 17870 with flag 2003/112440
21.41/20.17	c cleaning 7463 clauses out of 14935 with flag 8000/118437
22.76/20.81	c cleaning 7238 clauses out of 14477 with flag 15005/125442
24.07/21.57	c cleaning 7618 clauses out of 15236 with flag 23002/133439
25.60/22.38	c cleaning 8307 clauses out of 16619 with flag 32003/142440
27.53/23.36	c cleaning 9155 clauses out of 18312 with flag 42003/152440
29.69/24.47	c cleaning 10079 clauses out of 20160 with flag 53006/163443
31.96/25.66	c cleaning 11033 clauses out of 22077 with flag 65002/175439
34.49/26.98	c cleaning 12018 clauses out of 24043 with flag 78001/188438
37.43/28.48	c cleaning 13004 clauses out of 26024 with flag 92000/202437
40.34/29.92	c cleaning 14000 clauses out of 28023 with flag 107003/217440
43.40/31.55	c cleaning 15008 clauses out of 30021 with flag 123001/233438
47.29/33.54	c cleaning 16016 clauses out of 32031 with flag 140019/250456
50.98/35.45	c cleaning 16993 clauses out of 33996 with flag 158000/268437
54.70/37.32	c cleaning 18002 clauses out of 36008 with flag 177005/287442
58.91/39.54	c cleaning 18999 clauses out of 38005 with flag 197004/307441
62.99/41.66	c cleaning 19992 clauses out of 40002 with flag 218000/328437
66.88/43.68	c cleaning 21002 clauses out of 42010 with flag 240000/350437
70.95/45.79	c cleaning 22004 clauses out of 44010 with flag 263002/373439
75.14/47.99	c cleaning 23001 clauses out of 46006 with flag 287002/397439
79.60/50.26	c cleaning 23989 clauses out of 48004 with flag 312001/422438
84.47/52.76	c cleaning 25000 clauses out of 50014 with flag 338000/448437
89.73/55.42	c cleaning 25994 clauses out of 52014 with flag 365000/475437
94.70/58.08	c cleaning 27009 clauses out of 54020 with flag 393000/503437
100.34/60.97	c cleaning 27997 clauses out of 56012 with flag 422001/532438
103.04/62.31	c cleaning 0 clauses out of 6703 with flag 0/6703
106.78/64.05	c cleaning 29005 clauses out of 58016 with flag 452002/562439
112.71/67.17	c cleaning 29998 clauses out of 60010 with flag 483001/593438
119.33/70.57	c cleaning 31000 clauses out of 62012 with flag 515001/625438
125.78/73.87	c cleaning 31999 clauses out of 64012 with flag 548001/658438
132.64/77.37	c cleaning 32998 clauses out of 66012 with flag 582000/692437
139.36/80.86	c cleaning 33996 clauses out of 68014 with flag 617000/727437
146.59/84.54	c cleaning 35007 clauses out of 70024 with flag 653006/763443
155.20/88.99	c cleaning 36002 clauses out of 72013 with flag 690002/800439
164.04/93.42	c cleaning 36996 clauses out of 74009 with flag 728000/838437
173.29/98.24	c cleaning 37998 clauses out of 76013 with flag 767000/877437
181.52/102.44	c cleaning 39001 clauses out of 78016 with flag 807001/917438
190.32/106.91	c cleaning 40002 clauses out of 80015 with flag 848001/958438
200.13/111.96	c cleaning 40997 clauses out of 82012 with flag 890000/1000437
208.39/116.21	c cleaning 41999 clauses out of 84015 with flag 933000/1043437
217.40/120.83	c  And the winner is solver0
217.46/121.03	c Got one! Elapsed wall clock time (in seconds):120.912
217.46/121.03	o 16963
218.37/121.67	c cleaning 42148 clauses out of 84314 with flag 5001/1085735
219.73/122.42	c cleaning 24067 clauses out of 48165 with flag 11000/1091734
220.89/123.16	c cleaning 15533 clauses out of 31098 with flag 18000/1098734
222.30/124.02	c  And the winner is solver1
222.30/124.09	c Got one! Elapsed wall clock time (in seconds):123.975
222.30/124.09	o 16962
223.16/124.57	c cleaning 13755 clauses out of 27517 with flag 5001/1110686
224.53/125.34	c cleaning 9881 clauses out of 19763 with flag 11002/1116687
225.27/125.83	c  And the winner is solver1
225.32/126.11	c Got one! Elapsed wall clock time (in seconds):125.993
225.32/126.11	o 16961
225.69/126.33	c cleaning 7452 clauses out of 14904 with flag 2000/1121709
227.03/127.14	c cleaning 6723 clauses out of 13453 with flag 8001/1127710
228.61/128.11	c cleaning 6864 clauses out of 13730 with flag 15001/1134710
230.15/129.02	c cleaning 7433 clauses out of 14867 with flag 23002/1142711
231.69/129.95	c cleaning 8210 clauses out of 16432 with flag 32000/1151709
233.24/130.88	c cleaning 9103 clauses out of 18222 with flag 42000/1161709
235.22/132.07	c cleaning 10055 clauses out of 20119 with flag 53000/1172709
237.35/133.22	c cleaning 11026 clauses out of 22065 with flag 65001/1184710
239.92/134.65	c cleaning 12020 clauses out of 24044 with flag 78006/1197715
242.47/136.08	c cleaning 13004 clauses out of 26018 with flag 92000/1211709
245.46/137.74	c cleaning 13993 clauses out of 28014 with flag 107000/1226709
248.42/139.38	c cleaning 15007 clauses out of 30022 with flag 123001/1242710
251.75/141.10	c cleaning 16003 clauses out of 32014 with flag 140000/1259709
254.89/142.90	c cleaning 17002 clauses out of 34012 with flag 158001/1277710
258.90/145.04	c cleaning 18005 clauses out of 36009 with flag 177000/1296709
262.84/147.17	c cleaning 19002 clauses out of 38005 with flag 197001/1316710
267.17/149.47	c cleaning 19993 clauses out of 40002 with flag 218000/1337709
271.31/151.69	c cleaning 21002 clauses out of 42012 with flag 240003/1359712
276.89/154.62	c cleaning 22001 clauses out of 44008 with flag 263001/1382710
281.65/157.15	c cleaning 22997 clauses out of 46006 with flag 287000/1406709
286.42/159.61	c cleaning 23998 clauses out of 48009 with flag 312000/1431709
291.60/162.37	c cleaning 24999 clauses out of 50012 with flag 338001/1457710
297.80/165.63	c cleaning 26005 clauses out of 52013 with flag 365001/1484710
303.95/168.83	c cleaning 27004 clauses out of 54007 with flag 393000/1512709
309.91/171.99	c cleaning 27992 clauses out of 56005 with flag 422002/1541711
316.27/175.29	c cleaning 29002 clauses out of 58014 with flag 452003/1571712
323.53/179.06	c cleaning 30001 clauses out of 60009 with flag 483000/1602709
330.86/182.89	c cleaning 30995 clauses out of 62008 with flag 515000/1634709
338.67/186.82	c cleaning 31997 clauses out of 64013 with flag 548000/1667709
346.02/190.66	c cleaning 33004 clauses out of 66017 with flag 582001/1701710
353.84/194.79	c cleaning 34007 clauses out of 68013 with flag 617001/1736710
362.40/199.13	c cleaning 34998 clauses out of 70006 with flag 653001/1772710
372.19/204.15	c cleaning 35993 clauses out of 72008 with flag 690001/1809710
381.77/209.03	c cleaning 37006 clauses out of 74014 with flag 728000/1847709
392.21/214.48	c cleaning 37987 clauses out of 76008 with flag 767000/1886709
402.55/219.76	c cleaning 39004 clauses out of 78021 with flag 807000/1926709
413.09/225.17	c cleaning 40003 clauses out of 80017 with flag 848000/1967709
424.01/230.74	c cleaning 41001 clauses out of 82014 with flag 890000/2009709
434.34/236.18	c cleaning 42002 clauses out of 84013 with flag 933000/2052709
441.84/240.06	c cleaning 0 clauses out of 12793 with flag 0/12793
445.34/241.94	c cleaning 43003 clauses out of 86014 with flag 977003/2096712
455.44/247.15	c cleaning 43993 clauses out of 88008 with flag 1022000/2141709
466.81/253.04	c cleaning 45004 clauses out of 90015 with flag 1068000/2187709
479.12/259.33	c cleaning 45995 clauses out of 92011 with flag 1115000/2234709
492.74/266.21	c cleaning 46998 clauses out of 94016 with flag 1163000/2282709
504.49/272.28	c cleaning 47998 clauses out of 96018 with flag 1212000/2331709
516.65/278.51	c cleaning 48997 clauses out of 98021 with flag 1262001/2381710
528.78/284.79	c cleaning 50005 clauses out of 100025 with flag 1313002/2432711
542.94/291.91	c cleaning 51010 clauses out of 102020 with flag 1365002/2484711
556.43/298.87	c cleaning 52000 clauses out of 104011 with flag 1418003/2537712
570.97/306.30	c cleaning 52995 clauses out of 106008 with flag 1472000/2591709
584.28/313.14	c cleaning 54006 clauses out of 108015 with flag 1527002/2646711
598.01/320.15	c cleaning 54997 clauses out of 110008 with flag 1583001/2702710
612.97/327.80	c cleaning 55993 clauses out of 112010 with flag 1640000/2759709
628.04/335.52	c cleaning 57000 clauses out of 114018 with flag 1698001/2817710
645.77/344.53	c cleaning 57999 clauses out of 116021 with flag 1757004/2876713
663.91/353.71	c cleaning 58999 clauses out of 118020 with flag 1817002/2936711
679.43/361.65	c cleaning 59999 clauses out of 120019 with flag 1878000/2997709
697.09/370.74	c cleaning 60995 clauses out of 122020 with flag 1940000/3059709
712.95/378.88	c cleaning 62011 clauses out of 124028 with flag 2003003/3122712
728.22/386.63	c cleaning 62998 clauses out of 126014 with flag 2067000/3186709
746.12/395.77	c cleaning 64006 clauses out of 128017 with flag 2132001/3251710
765.74/405.88	c cleaning 65004 clauses out of 130011 with flag 2198001/3317710
784.24/415.26	c cleaning 66000 clauses out of 132008 with flag 2265002/3384711
805.35/425.97	c cleaning 66998 clauses out of 134006 with flag 2333000/3452709
822.86/434.83	c  And the winner is solver1
822.99/435.63	c cleaning 67997 clauses out of 136008 with flag 2402000/3521709
823.23/436.53	c Got one! Elapsed wall clock time (in seconds):436.408
823.23/436.53	o 16384
824.56/437.23	c cleaning 36506 clauses out of 73011 with flag 5000/3526709
826.31/438.38	c cleaning 21247 clauses out of 42506 with flag 11001/3532710
828.27/439.58	c cleaning 14123 clauses out of 28260 with flag 18002/3539711
830.24/440.76	c cleaning 11063 clauses out of 22135 with flag 26000/3547709
832.72/442.36	c cleaning 10035 clauses out of 20074 with flag 35002/3556711
835.08/443.70	c cleaning 10014 clauses out of 20037 with flag 45000/3566709
837.46/445.19	c cleaning 10507 clauses out of 21023 with flag 56000/3577709
840.23/446.79	c cleaning 11255 clauses out of 22517 with flag 68001/3589710
843.52/448.74	c cleaning 12130 clauses out of 24261 with flag 81000/3602709
847.05/450.72	c cleaning 13064 clauses out of 26133 with flag 95002/3616711
850.41/452.66	c cleaning 14023 clauses out of 28071 with flag 110004/3631713
853.97/454.62	c cleaning 15018 clauses out of 30048 with flag 126004/3647713
858.08/457.01	c cleaning 16013 clauses out of 32026 with flag 143000/3664709
862.22/459.37	c cleaning 17004 clauses out of 34018 with flag 161005/3682714
866.37/461.67	c cleaning 18002 clauses out of 36012 with flag 180003/3701712
871.15/464.21	c cleaning 18997 clauses out of 38008 with flag 200001/3721710
877.04/467.59	c cleaning 20002 clauses out of 40011 with flag 221001/3742710
882.61/470.51	c cleaning 21000 clauses out of 42008 with flag 243000/3764709
887.78/473.33	c cleaning 22003 clauses out of 44009 with flag 266001/3787710
893.52/476.43	c cleaning 23000 clauses out of 46005 with flag 290000/3811709
899.81/479.91	c cleaning 23996 clauses out of 48005 with flag 315000/3836709
906.16/483.36	c cleaning 24992 clauses out of 50009 with flag 341000/3862709
912.52/486.74	c cleaning 26002 clauses out of 52018 with flag 368001/3889710
919.28/490.36	c cleaning 27003 clauses out of 54015 with flag 396000/3917709
926.57/494.39	c cleaning 28004 clauses out of 56013 with flag 425001/3946710
933.55/498.08	c cleaning 28990 clauses out of 58008 with flag 455000/3976709
941.10/502.05	c cleaning 29997 clauses out of 60018 with flag 486000/4007709
949.46/506.43	c cleaning 31008 clauses out of 62021 with flag 518000/4039709
957.93/511.09	c cleaning 32004 clauses out of 64014 with flag 551001/4072710
966.69/515.68	c cleaning 33004 clauses out of 66010 with flag 585001/4106710
976.73/520.87	c cleaning 33998 clauses out of 68005 with flag 620000/4141709
985.02/525.24	c cleaning 34995 clauses out of 70010 with flag 656003/4177712
995.56/530.86	c cleaning 36001 clauses out of 72012 with flag 693000/4214709
1007.92/537.25	c cleaning 36997 clauses out of 74012 with flag 731001/4252710
1019.32/543.10	c cleaning 37997 clauses out of 76016 with flag 770002/4291711
1031.94/549.65	c cleaning 39006 clauses out of 78018 with flag 810001/4331710
1045.05/556.59	c cleaning 40004 clauses out of 80013 with flag 851002/4372711
1058.77/563.68	c cleaning 40997 clauses out of 82007 with flag 893000/4414709
1072.13/570.54	c cleaning 42006 clauses out of 84015 with flag 936005/4457714
1085.72/577.59	c cleaning 42997 clauses out of 86005 with flag 980001/4501710
1100.73/585.30	c cleaning 44000 clauses out of 88007 with flag 1025000/4546709
1115.57/592.91	c cleaning 45001 clauses out of 90008 with flag 1071001/4592710
1131.63/601.19	c cleaning 46004 clauses out of 92007 with flag 1118001/4639710
1147.03/609.02	c cleaning 47001 clauses out of 94003 with flag 1166001/4687710
1161.14/616.49	c cleaning 47993 clauses out of 96001 with flag 1215000/4736709
1172.90/622.57	c cleaning 48994 clauses out of 98008 with flag 1265000/4786709
1188.72/630.61	c cleaning 50001 clauses out of 100014 with flag 1316000/4837709
1202.70/637.81	c cleaning 51006 clauses out of 102014 with flag 1368001/4889710
1216.56/645.14	c cleaning 52000 clauses out of 104009 with flag 1421002/4942711
1232.74/653.47	c cleaning 52993 clauses out of 106009 with flag 1475002/4996711
1250.77/662.64	c cleaning 53999 clauses out of 108014 with flag 1530000/5051709
1265.58/670.20	c cleaning 54997 clauses out of 110015 with flag 1586000/5107709
1281.83/678.78	c cleaning 56002 clauses out of 112019 with flag 1643001/5164710
1299.42/687.80	c cleaning 57000 clauses out of 114017 with flag 1701001/5222710
1314.76/695.99	c cleaning 57998 clauses out of 116016 with flag 1760000/5281709
1330.83/704.40	c cleaning 59006 clauses out of 118018 with flag 1820000/5341709
1346.78/712.51	c cleaning 60001 clauses out of 120012 with flag 1881000/5402709
1366.75/722.71	c cleaning 61004 clauses out of 122011 with flag 1943000/5464709
1389.16/734.14	c cleaning 62003 clauses out of 124008 with flag 2006001/5527710
1408.88/744.32	c cleaning 62998 clauses out of 126005 with flag 2070001/5591710
1430.02/755.11	c cleaning 63999 clauses out of 128008 with flag 2135002/5656711
1450.62/765.67	c cleaning 65000 clauses out of 130009 with flag 2201002/5722711
1456.86/769.03	c cleaning 0 clauses out of 23000 with flag 0/23000
1474.62/778.32	c cleaning 65996 clauses out of 132009 with flag 2268002/5789711
1495.05/788.71	c cleaning 66998 clauses out of 134011 with flag 2336000/5857709
1515.37/799.19	c cleaning 68001 clauses out of 136015 with flag 2405002/5926711
1537.54/810.47	c cleaning 68998 clauses out of 138013 with flag 2475001/5996710
1560.40/822.30	c cleaning 69998 clauses out of 140014 with flag 2546000/6067709
1580.00/832.23	c cleaning 71003 clauses out of 142016 with flag 2618000/6139709
1603.99/844.44	c cleaning 72006 clauses out of 144016 with flag 2691003/6212712
1630.93/858.13	c cleaning 72997 clauses out of 146009 with flag 2765002/6286711
1655.96/871.07	c cleaning 73996 clauses out of 148010 with flag 2840000/6361709
1681.96/884.25	c cleaning 74995 clauses out of 150014 with flag 2916000/6437709
1705.34/896.19	c cleaning 76009 clauses out of 152020 with flag 2993001/6514710
1727.55/907.50	c cleaning 77000 clauses out of 154011 with flag 3071001/6592710
1755.14/921.61	c cleaning 77998 clauses out of 156010 with flag 3150000/6671709
1783.31/935.92	c cleaning 79007 clauses out of 158013 with flag 3230001/6751710
1798.83/943.91	c starts		: 103
1798.83/943.91	c conflicts		: 25356
1798.83/943.91	c decisions		: 68692
1798.83/943.91	c propagations		: 247576
1798.83/943.91	c inspects		: 887449036
1798.83/943.91	c shortcuts		: 0
1798.83/943.91	c learnt literals	: 0
1798.83/943.91	c learnt binary clauses	: 0
1798.83/943.91	c learnt ternary clauses	: 0
1798.83/943.91	c learnt constraints	: 25356
1798.83/943.91	c ignored constraints	: 0
1798.83/943.91	c root simplifications	: 0
1798.83/943.91	c removed literals (reason simplification)	: 0
1798.83/943.91	c reason swapping (by a shorter reason)	: 0
1798.83/943.91	c Calls to reduceDB	: 3
1798.83/943.91	c number of reductions to clauses (during analyze)	: 0
1798.83/943.91	c number of learned constraints concerned by reduction	: 0
1798.83/943.91	c number of learning phase by resolution	: 0
1798.83/943.91	c number of learning phase by cutting planes	: 0
1798.83/943.91	c speed (assignments/second)	: 300.8659849941303
1798.83/943.91	c non guided choices	0
1798.83/943.93	c learnt constraints type 
1798.83/943.93	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 117
1798.83/943.93	c org.sat4j.pb.constraints.pb.MaxWatchPb => 25239
1798.83/943.93	c constraints type 
1798.83/943.93	c org.sat4j.minisat.constraints.card.MinWatchCard => 3
1798.83/943.93	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
1798.83/943.93	c 74 constraints processed.
1798.83/943.93	c constraints type 
1798.83/943.93	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 3
1798.83/943.93	c org.sat4j.pb.constraints.pb.MaxWatchPb => 71
1798.83/943.93	c 74 constraints processed.
1798.83/943.93	s SATISFIABLE
1798.83/943.93	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 
1798.83/943.93	c objective function=16384
1798.83/943.93	c Total wall clock time (in seconds): 943.808

Verifier Data 

OK	16384

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3687510-1337871926/watcher-3687510-1337871926 -o /tmp/evaluation-result-3687510-1337871926/solver-3687510-1337871926 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687510-1337871926.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.82 0.48 0.16 4/195 1208
/proc/meminfo: memFree=27880880/32873852 swapFree=6848/6848
[pid=1208] ppid=1206 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/1208/stat : 1208 (java) D 1206 1208 718 0 -1 4202496 457 0 0 0 0 0 0 0 20 0 1 0 253318065 9515008 186 33554432000 1073741824 1073778376 140737039057712 140737039046776 229346733351 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/1208/statm: 2323 186 143 9 0 71 0

[startup+0.0964399 s]
/proc/loadavg: 1.82 0.48 0.16 4/195 1208
/proc/meminfo: memFree=27880880/32873852 swapFree=6848/6848
[pid=1208] ppid=1206 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/1208/stat : 1208 (java) S 1206 1208 718 0 -1 4202496 4279 0 1 0 9 1 0 0 20 0 18 0 253318065 9787813888 5473 33554432000 1073741824 1073778376 140737039057712 140737039048848 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1208/statm: 2389603 5473 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.10026 s]
/proc/loadavg: 1.82 0.48 0.16 4/195 1208
/proc/meminfo: memFree=27880880/32873852 swapFree=6848/6848
[pid=1208] ppid=1206 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/1208/stat : 1208 (java) S 1206 1208 718 0 -1 4202496 4298 0 1 0 9 1 0 0 20 0 18 0 253318065 9787813888 5492 33554432000 1073741824 1073778376 140737039057712 140737039048848 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1208/statm: 2389603 5492 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300262 s]
/proc/loadavg: 1.82 0.48 0.16 4/195 1208
/proc/meminfo: memFree=27880880/32873852 swapFree=6848/6848
[pid=1208] ppid=1206 vsize=9759132 CPUtime=0.57 cores=0,2,4,6
/proc/1208/stat : 1208 (java) S 1206 1208 718 0 -1 4202496 12567 0 1 0 53 4 0 0 20 0 19 0 253318065 9993351168 13760 33554432000 1073741824 1073778376 140737039057712 140737039048848 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1208/statm: 2439783 13761 2223 9 0 2430476 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9759132

[startup+0.700255 s]
/proc/loadavg: 1.82 0.48 0.16 4/195 1208
/proc/meminfo: memFree=27880880/32873852 swapFree=6848/6848
[pid=1208] ppid=1206 vsize=9759132 CPUtime=0.92 cores=0,2,4,6
/proc/1208/stat : 1208 (java) S 1206 1208 718 0 -1 4202496 15651 0 1 0 88 4 0 0 20 0 19 0 253318065 9993351168 13682 33554432000 1073741824 1073778376 140737039057712 140737039048848 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1208/statm: 2439783 13682 2232 9 0 2430476 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 9759132

[startup+1.50077 s]
/proc/loadavg: 1.84 0.51 0.17 3/214 1233
/proc/meminfo: memFree=27828556/32873852 swapFree=6848/6848
[pid=1208] ppid=1206 vsize=9824668 CPUtime=1.14 cores=0,2,4,6
/proc/1208/stat : 1208 (java) S 1206 1208 718 0 -1 4202496 15678 0 1 0 108 6 0 0 20 0 19 0 253318065 10060460032 16762 33554432000 1073741824 1073778376 140737039057712 140737039048848 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1208/statm: 2456167 16762 2239 9 0 2446860 0
[pid=1208/tid=1210] ppid=1206 vsize=9824668 CPUtime=0.24 cores=0,2,4,6
/proc/1208/task/1210/stat : 1210 (java) S 1206 1208 718 0 -1 4202560 2466 0 1 0 24 0 0 0 20 0 19 0 253318065 10060460032 16762 33554432000 1073741824 1073778376 140737039057712 139807850181624 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1208/tid=1211] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1211/stat : 1211 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318066 10060460032 16762 33554432000 1073741824 1073778376 140737039057712 139807839243304 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1208/tid=1212] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1212/stat : 1212 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318066 10060460032 16762 33554432000 1073741824 1073778376 140737039057712 139807838190504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1208/tid=1213] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1213/stat : 1213 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318066 10060460032 16762 33554432000 1073741824 1073778376 140737039057712 139807837137704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1208/tid=1214] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1214/stat : 1214 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318066 10060460032 16762 33554432000 1073741824 1073778376 140737039057712 139807836084904 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1208/tid=1215] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1215/stat : 1215 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318066 10060460032 16762 33554432000 1073741824 1073778376 140737039057712 139807835032104 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1208/tid=1216] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1216/stat : 1216 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318066 10060460032 16762 33554432000 1073741824 1073778376 140737039057712 139807833979304 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1208/tid=1217] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1217/stat : 1217 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318066 10060460032 16762 33554432000 1073741824 1073778376 140737039057712 139807832926504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1208/tid=1218] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1218/stat : 1218 (java) S 1206 1208 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253318066 10060460032 16762 33554432000 1073741824 1073778376 140737039057712 139807831873704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1208/tid=1219] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1219/stat : 1219 (java) S 1206 1208 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253318067 10060460032 16762 33554432000 1073741824 1073778376 140737039057712 139807674153960 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1208/tid=1220] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1220/stat : 1220 (java) S 1206 1208 718 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253318068 10060460032 16762 33554432000 1073741824 1073778376 140737039057712 139807673100024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1208/tid=1221] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1221/stat : 1221 (java) S 1206 1208 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253318068 10060460032 16762 33554432000 1073741824 1073778376 140737039057712 139807672047112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1208/tid=1222] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1222/stat : 1222 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318070 10060460032 16762 33554432000 1073741824 1073778376 140737039057712 139807670995600 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1208/tid=1223] ppid=1206 vsize=9824668 CPUtime=0.38 cores=0,2,4,6
/proc/1208/task/1223/stat : 1223 (java) S 1206 1208 718 0 -1 4202560 7167 0 0 0 36 2 0 0 20 0 19 0 253318070 10060460032 16762 33554432000 1073741824 1073778376 140737039057712 139807669942712 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1208/tid=1224] ppid=1206 vsize=9824668 CPUtime=0.34 cores=0,2,4,6
/proc/1208/task/1224/stat : 1224 (java) S 1206 1208 718 0 -1 4202560 4677 0 0 0 34 0 0 0 20 0 19 0 253318070 10060460032 16762 33554432000 1073741824 1073778376 140737039057712 139807668889912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1208/tid=1225] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1225/stat : 1225 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318070 10060460032 16762 33554432000 1073741824 1073778376 140737039057712 139807667837304 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1208/tid=1226] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1226/stat : 1226 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318070 10060460032 16762 33554432000 1073741824 1073778376 140737039057712 139807666784712 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1208/tid=1233] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1233/stat : 1233 (java) S 1206 1208 718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253318141 10060460032 16762 33554432000 1073741824 1073778376 140737039057712 139807665730472 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 9824668

[startup+3.1007 s]
/proc/loadavg: 1.84 0.51 0.17 3/214 1239
/proc/meminfo: memFree=27817464/32873852 swapFree=6848/6848
[pid=1208] ppid=1206 vsize=9824668 CPUtime=1.28 cores=0,2,4,6
/proc/1208/stat : 1208 (java) S 1206 1208 718 0 -1 4202496 15706 0 1 0 118 10 0 0 20 0 19 0 253318065 10060460032 20348 33554432000 1073741824 1073778376 140737039057712 140737039048848 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1208/statm: 2456167 20348 2241 9 0 2446860 0
[pid=1208/tid=1210] ppid=1206 vsize=9824668 CPUtime=0.24 cores=0,2,4,6
/proc/1208/task/1210/stat : 1210 (java) S 1206 1208 718 0 -1 4202560 2467 0 1 0 24 0 0 0 20 0 19 0 253318065 10060460032 20348 33554432000 1073741824 1073778376 140737039057712 139807850181624 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1208/tid=1211] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1211/stat : 1211 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318066 10060460032 20348 33554432000 1073741824 1073778376 140737039057712 139807839243304 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1208/tid=1212] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1212/stat : 1212 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318066 10060460032 20348 33554432000 1073741824 1073778376 140737039057712 139807838190504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1208/tid=1213] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1213/stat : 1213 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318066 10060460032 20348 33554432000 1073741824 1073778376 140737039057712 139807837137704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1208/tid=1214] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1214/stat : 1214 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318066 10060460032 20348 33554432000 1073741824 1073778376 140737039057712 139807836084904 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1208/tid=1215] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1215/stat : 1215 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318066 10060460032 20348 33554432000 1073741824 1073778376 140737039057712 139807835032104 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1208/tid=1216] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1216/stat : 1216 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318066 10060460032 20348 33554432000 1073741824 1073778376 140737039057712 139807833979304 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1208/tid=1217] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1217/stat : 1217 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318066 10060460032 20348 33554432000 1073741824 1073778376 140737039057712 139807832926504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1208/tid=1218] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1218/stat : 1218 (java) S 1206 1208 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253318066 10060460032 20348 33554432000 1073741824 1073778376 140737039057712 139807831873704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1208/tid=1219] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1219/stat : 1219 (java) S 1206 1208 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253318067 10060460032 20348 33554432000 1073741824 1073778376 140737039057712 139807674153960 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1208/tid=1220] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1220/stat : 1220 (java) S 1206 1208 718 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253318068 10060460032 20348 33554432000 1073741824 1073778376 140737039057712 139807673100024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1208/tid=1221] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1221/stat : 1221 (java) S 1206 1208 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253318068 10060460032 20348 33554432000 1073741824 1073778376 140737039057712 139807672047112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1208/tid=1222] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1222/stat : 1222 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318070 10060460032 20348 33554432000 1073741824 1073778376 140737039057712 139807670995600 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1208/tid=1223] ppid=1206 vsize=9824668 CPUtime=0.41 cores=0,2,4,6
/proc/1208/task/1223/stat : 1223 (java) S 1206 1208 718 0 -1 4202560 7168 0 0 0 39 2 0 0 20 0 19 0 253318070 10060460032 20348 33554432000 1073741824 1073778376 140737039057712 139807669942712 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1208/tid=1224] ppid=1206 vsize=9824668 CPUtime=0.38 cores=0,2,4,6
/proc/1208/task/1224/stat : 1224 (java) S 1206 1208 718 0 -1 4202560 4678 0 0 0 38 0 0 0 20 0 19 0 253318070 10060460032 20348 33554432000 1073741824 1073778376 140737039057712 139807668889912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1208/tid=1225] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1225/stat : 1225 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318070 10060460032 20348 33554432000 1073741824 1073778376 140737039057712 139807667837304 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1208/tid=1226] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1226/stat : 1226 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318070 10060460032 20348 33554432000 1073741824 1073778376 140737039057712 139807666784712 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1208/tid=1233] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1233/stat : 1233 (java) S 1206 1208 718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253318141 10060460032 20348 33554432000 1073741824 1073778376 140737039057712 139807665730472 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 9824668
heavy processes:

[startup+6.30071 s]
/proc/loadavg: 1.84 0.51 0.17 3/214 1260
/proc/meminfo: memFree=27642988/32873852 swapFree=6848/6848
[pid=1208] ppid=1206 vsize=9824668 CPUtime=1.64 cores=0,2,4,6
/proc/1208/stat : 1208 (java) S 1206 1208 718 0 -1 4202496 15814 0 1 0 143 21 0 0 20 0 19 0 253318065 10060460032 30351 33554432000 1073741824 1073778376 140737039057712 140737039048848 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1208/statm: 2456167 30351 2245 9 0 2446860 0
[pid=1208/tid=1210] ppid=1206 vsize=9824668 CPUtime=0.25 cores=0,2,4,6
/proc/1208/task/1210/stat : 1210 (java) S 1206 1208 718 0 -1 4202560 2468 0 1 0 25 0 0 0 20 0 19 0 253318065 10060460032 30351 33554432000 1073741824 1073778376 140737039057712 139807850181624 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1208/tid=1211] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1211/stat : 1211 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318066 10060460032 30351 33554432000 1073741824 1073778376 140737039057712 139807839243304 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1208/tid=1212] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1212/stat : 1212 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318066 10060460032 30351 33554432000 1073741824 1073778376 140737039057712 139807838190504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1208/tid=1213] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1213/stat : 1213 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318066 10060460032 30351 33554432000 1073741824 1073778376 140737039057712 139807837137704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1208/tid=1214] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1214/stat : 1214 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318066 10060460032 30351 33554432000 1073741824 1073778376 140737039057712 139807836084904 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1208/tid=1215] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1215/stat : 1215 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318066 10060460032 30351 33554432000 1073741824 1073778376 140737039057712 139807835032104 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1208/tid=1216] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1216/stat : 1216 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318066 10060460032 30351 33554432000 1073741824 1073778376 140737039057712 139807833979304 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1208/tid=1217] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1217/stat : 1217 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318066 10060460032 30351 33554432000 1073741824 1073778376 140737039057712 139807832926504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1208/tid=1218] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1218/stat : 1218 (java) S 1206 1208 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253318066 10060460032 30351 33554432000 1073741824 1073778376 140737039057712 139807831873704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1208/tid=1219] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1219/stat : 1219 (java) S 1206 1208 718 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253318067 10060460032 30351 33554432000 1073741824 1073778376 140737039057712 139807674153960 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1208/tid=1220] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1220/stat : 1220 (java) S 1206 1208 718 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253318068 10060460032 30351 33554432000 1073741824 1073778376 140737039057712 139807673100024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1208/tid=1221] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1221/stat : 1221 (java) S 1206 1208 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253318068 10060460032 30351 33554432000 1073741824 1073778376 140737039057712 139807672047112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1208/tid=1222] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1222/stat : 1222 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318070 10060460032 30351 33554432000 1073741824 1073778376 140737039057712 139807670995600 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1208/tid=1223] ppid=1206 vsize=9824668 CPUtime=0.45 cores=0,2,4,6
/proc/1208/task/1223/stat : 1223 (java) S 1206 1208 718 0 -1 4202560 7178 0 0 0 43 2 0 0 20 0 19 0 253318070 10060460032 30351 33554432000 1073741824 1073778376 140737039057712 139807669942712 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1208/tid=1224] ppid=1206 vsize=9824668 CPUtime=0.44 cores=0,2,4,6
/proc/1208/task/1224/stat : 1224 (java) S 1206 1208 718 0 -1 4202560 4682 0 0 0 44 0 0 0 20 0 19 0 253318070 10060460032 30351 33554432000 1073741824 1073778376 140737039057712 139807668889912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1208/tid=1225] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1225/stat : 1225 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318070 10060460032 30351 33554432000 1073741824 1073778376 140737039057712 139807667837304 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1208/tid=1226] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1226/stat : 1226 (java) S 1206 1208 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253318070 10060460032 30351 33554432000 1073741824 1073778376 140737039057712 139807666784712 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1208/tid=1233] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1233/stat : 1233 (java) S 1206 1208 718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253318141 10060460032 30351 33554432000 1073741824 1073778376 140737039057712 139807665730472 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 9824668
heavy processes:

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

[pid=1208/tid=1214] ppid=1206 vsize=9824668 CPUtime=4.12 cores=0,2,4,6
/proc/1208/task/1214/stat : 1214 (java) S 1206 1208 718 0 -1 4202560 1387 0 0 0 401 11 0 0 20 0 22 0 253318066 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807836084904 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1208/tid=1215] ppid=1206 vsize=9824668 CPUtime=4.06 cores=0,2,4,6
/proc/1208/task/1215/stat : 1215 (java) S 1206 1208 718 0 -1 4202560 1417 0 0 0 394 12 0 0 20 0 22 0 253318066 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807835032104 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1208/tid=1216] ppid=1206 vsize=9824668 CPUtime=3.83 cores=0,2,4,6
/proc/1208/task/1216/stat : 1216 (java) S 1206 1208 718 0 -1 4202560 1821 0 0 0 374 9 0 0 20 0 22 0 253318066 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807833979304 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1208/tid=1217] ppid=1206 vsize=9824668 CPUtime=4.1 cores=0,2,4,6
/proc/1208/task/1217/stat : 1217 (java) S 1206 1208 718 0 -1 4202560 1248 0 0 0 399 11 0 0 20 0 22 0 253318066 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807832926504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1208/tid=1218] ppid=1206 vsize=9824668 CPUtime=4.1 cores=0,2,4,6
/proc/1208/task/1218/stat : 1218 (java) S 1206 1208 718 0 -1 4202560 1244 0 0 0 399 11 0 0 20 0 22 0 253318066 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807831873704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1208/tid=1219] ppid=1206 vsize=9824668 CPUtime=82.2 cores=0,2,4,6
/proc/1208/task/1219/stat : 1219 (java) S 1206 1208 718 0 -1 4202560 2415 0 0 0 8196 24 0 0 20 0 22 0 253318067 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807674153960 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1208/tid=1220] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1220/stat : 1220 (java) S 1206 1208 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253318068 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807673100024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1208/tid=1221] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1221/stat : 1221 (java) S 1206 1208 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253318068 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807672047112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1208/tid=1222] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1222/stat : 1222 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318070 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807670995600 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1208/tid=1223] ppid=1206 vsize=9824668 CPUtime=1.15 cores=0,2,4,6
/proc/1208/task/1223/stat : 1223 (java) S 1206 1208 718 0 -1 4202560 10199 0 0 0 113 2 0 0 20 0 22 0 253318070 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807669942712 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1208/tid=1224] ppid=1206 vsize=9824668 CPUtime=1.58 cores=0,2,4,6
/proc/1208/task/1224/stat : 1224 (java) S 1206 1208 718 0 -1 4202560 11216 0 0 0 156 2 0 0 20 0 22 0 253318070 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807668889912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1208/tid=1225] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1225/stat : 1225 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318070 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807667837304 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1208/tid=1226] ppid=1206 vsize=9824668 CPUtime=0.37 cores=0,2,4,6
/proc/1208/task/1226/stat : 1226 (java) S 1206 1208 718 0 -1 4202560 56 0 0 0 19 18 0 0 20 0 22 0 253318070 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807666784712 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1208/tid=1302] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1302/stat : 1302 (java) S 1206 1208 718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253330168 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807663625512 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1208/tid=1313] ppid=1206 vsize=9824668 CPUtime=452.32 cores=0,2,4,6
/proc/1208/task/1313/stat : 1313 (java) R 1206 1208 718 0 -1 4202560 53 0 0 0 45225 7 0 0 20 0 22 0 253361718 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807664676560 139807712524909 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1208/tid=1314] ppid=1206 vsize=9824668 CPUtime=452.23 cores=0,2,4,6
/proc/1208/task/1314/stat : 1314 (java) R 1206 1208 718 0 -1 4202560 979 0 0 0 45211 12 0 0 20 0 22 0 253361718 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807665728352 139807712471659 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1208/tid=1315] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1315/stat : 1315 (java) S 1206 1208 718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253361718 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807662572712 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1795.62
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+943.901 s]
/proc/loadavg: 3.77 3.81 2.56 4/217 1400
/proc/meminfo: memFree=26948520/32873852 swapFree=6848/6848
[pid=1208] ppid=1206 vsize=9824668 CPUtime=1798.83 cores=0,2,4,6
/proc/1208/stat : 1208 (java) S 1206 1208 718 0 -1 4202496 44231 0 1 0 179671 212 0 0 20 0 22 0 253318065 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 140737039048848 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1208/statm: 2456167 404461 2280 9 0 2446860 0
[pid=1208/tid=1210] ppid=1206 vsize=9824668 CPUtime=0.32 cores=0,2,4,6
/proc/1208/task/1210/stat : 1210 (java) S 1206 1208 718 0 -1 4202560 2602 0 1 0 29 3 0 0 20 0 22 0 253318065 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807850181624 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1208/tid=1211] ppid=1206 vsize=9824668 CPUtime=4.21 cores=0,2,4,6
/proc/1208/task/1211/stat : 1211 (java) S 1206 1208 718 0 -1 4202560 1190 0 0 0 411 10 0 0 20 0 22 0 253318066 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807839243304 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1208/tid=1212] ppid=1206 vsize=9824668 CPUtime=3.95 cores=0,2,4,6
/proc/1208/task/1212/stat : 1212 (java) S 1206 1208 718 0 -1 4202560 1340 0 0 0 385 10 0 0 20 0 22 0 253318066 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807838190504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1208/tid=1213] ppid=1206 vsize=9824668 CPUtime=3.98 cores=0,2,4,6
/proc/1208/task/1213/stat : 1213 (java) S 1206 1208 718 0 -1 4202560 1706 0 0 0 388 10 0 0 20 0 22 0 253318066 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807837137704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1208/tid=1214] ppid=1206 vsize=9824668 CPUtime=4.12 cores=0,2,4,6
/proc/1208/task/1214/stat : 1214 (java) S 1206 1208 718 0 -1 4202560 1387 0 0 0 401 11 0 0 20 0 22 0 253318066 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807836084904 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1208/tid=1215] ppid=1206 vsize=9824668 CPUtime=4.06 cores=0,2,4,6
/proc/1208/task/1215/stat : 1215 (java) S 1206 1208 718 0 -1 4202560 1417 0 0 0 394 12 0 0 20 0 22 0 253318066 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807835032104 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1208/tid=1216] ppid=1206 vsize=9824668 CPUtime=3.83 cores=0,2,4,6
/proc/1208/task/1216/stat : 1216 (java) S 1206 1208 718 0 -1 4202560 1821 0 0 0 374 9 0 0 20 0 22 0 253318066 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807833979304 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1208/tid=1217] ppid=1206 vsize=9824668 CPUtime=4.1 cores=0,2,4,6
/proc/1208/task/1217/stat : 1217 (java) S 1206 1208 718 0 -1 4202560 1248 0 0 0 399 11 0 0 20 0 22 0 253318066 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807832926504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1208/tid=1218] ppid=1206 vsize=9824668 CPUtime=4.1 cores=0,2,4,6
/proc/1208/task/1218/stat : 1218 (java) S 1206 1208 718 0 -1 4202560 1244 0 0 0 399 11 0 0 20 0 22 0 253318066 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807831873704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1208/tid=1219] ppid=1206 vsize=9824668 CPUtime=82.2 cores=0,2,4,6
/proc/1208/task/1219/stat : 1219 (java) S 1206 1208 718 0 -1 4202560 2415 0 0 0 8196 24 0 0 20 0 22 0 253318067 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807674153960 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1208/tid=1220] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1220/stat : 1220 (java) S 1206 1208 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253318068 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807673100024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1208/tid=1221] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1221/stat : 1221 (java) S 1206 1208 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253318068 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807672047112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1208/tid=1222] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1222/stat : 1222 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318070 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807670995600 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1208/tid=1223] ppid=1206 vsize=9824668 CPUtime=1.15 cores=0,2,4,6
/proc/1208/task/1223/stat : 1223 (java) S 1206 1208 718 0 -1 4202560 10199 0 0 0 113 2 0 0 20 0 22 0 253318070 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807669942712 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1208/tid=1224] ppid=1206 vsize=9824668 CPUtime=1.58 cores=0,2,4,6
/proc/1208/task/1224/stat : 1224 (java) S 1206 1208 718 0 -1 4202560 11216 0 0 0 156 2 0 0 20 0 22 0 253318070 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807668889912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1208/tid=1225] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1225/stat : 1225 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318070 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807667837304 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1208/tid=1226] ppid=1206 vsize=9824668 CPUtime=0.37 cores=0,2,4,6
/proc/1208/task/1226/stat : 1226 (java) S 1206 1208 718 0 -1 4202560 56 0 0 0 19 18 0 0 20 0 22 0 253318070 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807666784712 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1208/tid=1302] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1302/stat : 1302 (java) S 1206 1208 718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253330168 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807663625512 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1208/tid=1313] ppid=1206 vsize=9824668 CPUtime=453.93 cores=0,2,4,6
/proc/1208/task/1313/stat : 1313 (java) R 1206 1208 718 0 -1 4202560 53 0 0 0 45386 7 0 0 20 0 22 0 253361718 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807664676560 139807712524909 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1208/tid=1314] ppid=1206 vsize=9824668 CPUtime=453.83 cores=0,2,4,6
/proc/1208/task/1314/stat : 1314 (java) R 1206 1208 718 0 -1 4202560 979 0 0 0 45371 12 0 0 20 0 22 0 253361718 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807665728352 139807712468792 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1208/tid=1315] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1315/stat : 1315 (java) S 1206 1208 718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253361718 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807662572712 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1798.83
Current children cumulated vsize (KiB) 9824668

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+943.901 s]
/proc/loadavg: 3.77 3.81 2.56 4/217 1400
/proc/meminfo: memFree=26948520/32873852 swapFree=6848/6848
[pid=1208] ppid=1206 vsize=9824668 CPUtime=1798.83 cores=0,2,4,6
/proc/1208/stat : 1208 (java) S 1206 1208 718 0 -1 4202496 44231 0 1 0 179671 212 0 0 20 0 22 0 253318065 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 140737039048848 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1208/statm: 2456167 404461 2280 9 0 2446860 0
[pid=1208/tid=1210] ppid=1206 vsize=9824668 CPUtime=0.32 cores=0,2,4,6
/proc/1208/task/1210/stat : 1210 (java) S 1206 1208 718 0 -1 4202560 2602 0 1 0 29 3 0 0 20 0 22 0 253318065 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807850181624 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1208/tid=1211] ppid=1206 vsize=9824668 CPUtime=4.21 cores=0,2,4,6
/proc/1208/task/1211/stat : 1211 (java) S 1206 1208 718 0 -1 4202560 1190 0 0 0 411 10 0 0 20 0 22 0 253318066 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807839243304 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1208/tid=1212] ppid=1206 vsize=9824668 CPUtime=3.95 cores=0,2,4,6
/proc/1208/task/1212/stat : 1212 (java) S 1206 1208 718 0 -1 4202560 1340 0 0 0 385 10 0 0 20 0 22 0 253318066 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807838190504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1208/tid=1213] ppid=1206 vsize=9824668 CPUtime=3.98 cores=0,2,4,6
/proc/1208/task/1213/stat : 1213 (java) S 1206 1208 718 0 -1 4202560 1706 0 0 0 388 10 0 0 20 0 22 0 253318066 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807837137704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1208/tid=1214] ppid=1206 vsize=9824668 CPUtime=4.12 cores=0,2,4,6
/proc/1208/task/1214/stat : 1214 (java) S 1206 1208 718 0 -1 4202560 1387 0 0 0 401 11 0 0 20 0 22 0 253318066 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807836084904 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1208/tid=1215] ppid=1206 vsize=9824668 CPUtime=4.06 cores=0,2,4,6
/proc/1208/task/1215/stat : 1215 (java) S 1206 1208 718 0 -1 4202560 1417 0 0 0 394 12 0 0 20 0 22 0 253318066 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807835032104 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1208/tid=1216] ppid=1206 vsize=9824668 CPUtime=3.83 cores=0,2,4,6
/proc/1208/task/1216/stat : 1216 (java) S 1206 1208 718 0 -1 4202560 1821 0 0 0 374 9 0 0 20 0 22 0 253318066 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807833979304 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1208/tid=1217] ppid=1206 vsize=9824668 CPUtime=4.1 cores=0,2,4,6
/proc/1208/task/1217/stat : 1217 (java) S 1206 1208 718 0 -1 4202560 1248 0 0 0 399 11 0 0 20 0 22 0 253318066 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807832926504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1208/tid=1218] ppid=1206 vsize=9824668 CPUtime=4.1 cores=0,2,4,6
/proc/1208/task/1218/stat : 1218 (java) S 1206 1208 718 0 -1 4202560 1244 0 0 0 399 11 0 0 20 0 22 0 253318066 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807831873704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1208/tid=1219] ppid=1206 vsize=9824668 CPUtime=82.2 cores=0,2,4,6
/proc/1208/task/1219/stat : 1219 (java) S 1206 1208 718 0 -1 4202560 2415 0 0 0 8196 24 0 0 20 0 22 0 253318067 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807674153960 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1208/tid=1220] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1220/stat : 1220 (java) S 1206 1208 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253318068 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807673100024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1208/tid=1221] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1221/stat : 1221 (java) S 1206 1208 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253318068 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807672047112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1208/tid=1222] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1222/stat : 1222 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318070 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807670995600 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1208/tid=1223] ppid=1206 vsize=9824668 CPUtime=1.15 cores=0,2,4,6
/proc/1208/task/1223/stat : 1223 (java) S 1206 1208 718 0 -1 4202560 10199 0 0 0 113 2 0 0 20 0 22 0 253318070 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807669942712 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1208/tid=1224] ppid=1206 vsize=9824668 CPUtime=1.58 cores=0,2,4,6
/proc/1208/task/1224/stat : 1224 (java) S 1206 1208 718 0 -1 4202560 11216 0 0 0 156 2 0 0 20 0 22 0 253318070 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807668889912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1208/tid=1225] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1225/stat : 1225 (java) S 1206 1208 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318070 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807667837304 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1208/tid=1226] ppid=1206 vsize=9824668 CPUtime=0.37 cores=0,2,4,6
/proc/1208/task/1226/stat : 1226 (java) S 1206 1208 718 0 -1 4202560 56 0 0 0 19 18 0 0 20 0 22 0 253318070 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807666784712 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1208/tid=1302] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1302/stat : 1302 (java) S 1206 1208 718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253330168 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807663625512 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1208/tid=1313] ppid=1206 vsize=9824668 CPUtime=453.93 cores=0,2,4,6
/proc/1208/task/1313/stat : 1313 (java) R 1206 1208 718 0 -1 4202560 53 0 0 0 45386 7 0 0 20 0 22 0 253361718 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807664676560 139807712524909 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1208/tid=1314] ppid=1206 vsize=9824668 CPUtime=453.83 cores=0,2,4,6
/proc/1208/task/1314/stat : 1314 (java) R 1206 1208 718 0 -1 4202560 979 0 0 0 45371 12 0 0 20 0 22 0 253361718 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807665728352 139807712468792 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1208/tid=1315] ppid=1206 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/1208/task/1315/stat : 1315 (java) S 1206 1208 718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253361718 10060460032 404461 33554432000 1073741824 1073778376 140737039057712 139807662572712 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1798.83
Current children cumulated vsize (KiB) 9824668

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1208 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=138249
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=443628
# CPU time returned by wait4() is 1796.58
# while last known CPU time is 1798.83
#
# 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): 1.3
#  lost CPU user time (s): 1.41997
#  lost CPU system time (s): -0.12

Real time (s): 943.953
CPU time (s): 1800.13
CPU user time (s): 1798.13
CPU system time (s): 2
CPU usage (%): 190.701
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.14
system time used= 2.44363
maximum resident set size= 1617972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44266
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34159
involuntary context switches= 62389

runsolver used 3.53246 second user time and 8.49171 second system time

The end

Launcher Data 

Begin job on node129 at 2012-05-24 17:05:26
IDJOB=3687510
IDBENCH=1848
IDSOLVER=2268
FILE ID=node129/3687510-1337871926
RUNJOBID= node129-1337871881-735
PBS_JOBID= 14620075
Free space on /tmp= 71644 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687510-1337871926/watcher-3687510-1337871926 -o /tmp/evaluation-result-3687510-1337871926/solver-3687510-1337871926 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3687510-1337871926.opb

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

MD5SUM BENCH= 687e90f40c46b53feec9c54ee9b43fa6
RANDOM SEED=647637232

node129.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.957
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	: 5333.91
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.957
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	: 5331.91
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.957
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	: 5331.91
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.957
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	: 5331.91
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.957
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	: 5331.90
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.957
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	: 5331.92
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.957
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	: 5331.90
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.957
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	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        27881524 kB
Buffers:          210580 kB
Cached:          2159200 kB
SwapCached:            0 kB
Active:          2368880 kB
Inactive:        1830296 kB
Active(anon):    1832072 kB
Inactive(anon):        0 kB
Active(file):     536808 kB
Inactive(file):  1830296 kB
Unevictable:        6848 kB
Mlocked:            6848 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               516 kB
Writeback:             0 kB
AnonPages:       1863012 kB
Mapped:            22524 kB
Shmem:               204 kB
Slab:             627112 kB
SReclaimable:      69088 kB
SUnreclaim:       558024 kB
KernelStack:        1584 kB
PageTables:         7780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:    2626852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1804288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71640 MiB
End job on node129 at 2012-05-24 17:21:12