Trace number 3688232

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)4 1800.45 920.352

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_4.opb
MD5SUMa470052ca6f8034e2c6c08868e52d9e8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark1783.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved NO
Number of variables120
Total number of constraints10
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 constraints10
Minimum length of a constraint55
Maximum length of a constraint56
Number of terms in the objective function 80
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2550
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1207
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4131
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version 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.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c ManyCore solver with 2 solvers running in parallel
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c Expensive reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c c --- End Solver configuration ---
0.08/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3688232-1337876172.opb
0.08/0.12	c reading problem ... 
0.08/0.16	c ... done. Wall clock time 0.034s.
0.08/0.16	c declared #vars     120
0.08/0.16	c #constraints  10
0.08/0.16	c constraints type 
0.08/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 10
0.08/0.16	c 10 constraints processed.
0.08/0.16	c constraints type 
0.08/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPb => 10
0.08/0.16	c 10 constraints processed.
0.08/0.16	c objective function length is 80 literals
0.29/0.21	c  And the winner is solver0
0.50/0.66	c SATISFIABLE
0.50/0.66	c OPTIMIZING...
0.50/0.66	c Got one! Elapsed wall clock time (in seconds):0.536
0.50/0.66	o 132
0.50/0.68	c  And the winner is solver0
0.61/1.16	c Got one! Elapsed wall clock time (in seconds):1.037
0.61/1.16	o 114
0.61/1.18	c  And the winner is solver0
0.72/1.66	c Got one! Elapsed wall clock time (in seconds):1.538
0.72/1.66	o 108
0.72/1.67	c  And the winner is solver0
0.72/2.16	c Got one! Elapsed wall clock time (in seconds):2.039
0.72/2.16	o 70
0.72/2.19	c  And the winner is solver0
0.81/2.66	c Got one! Elapsed wall clock time (in seconds):2.54
0.81/2.66	o 65
0.93/2.71	c  And the winner is solver0
1.32/3.16	c Got one! Elapsed wall clock time (in seconds):3.041
1.32/3.16	o 62
1.32/3.19	c  And the winner is solver0
1.42/3.66	c Got one! Elapsed wall clock time (in seconds):3.542
1.42/3.66	o 58
1.52/3.77	c  And the winner is solver0
1.93/4.17	c Got one! Elapsed wall clock time (in seconds):4.043
1.93/4.17	o 56
2.02/4.21	c  And the winner is solver0
2.06/4.67	c Got one! Elapsed wall clock time (in seconds):4.544
2.06/4.67	o 55
2.06/4.69	c  And the winner is solver0
2.12/5.17	c Got one! Elapsed wall clock time (in seconds):5.045
2.12/5.17	o 54
2.18/5.21	c  And the winner is solver0
2.24/5.67	c Got one! Elapsed wall clock time (in seconds):5.546
2.24/5.67	o 52
2.32/5.75	c  And the winner is solver0
2.44/6.17	c Got one! Elapsed wall clock time (in seconds):6.047
2.44/6.17	o 51
2.49/6.22	c  And the winner is solver0
2.54/6.67	c Got one! Elapsed wall clock time (in seconds):6.547
2.54/6.67	o 49
2.63/6.75	c cleaning 5391 clauses out of 10782 with flag 1000/10782
2.63/6.79	c  And the winner is solver0
2.88/7.17	c Got one! Elapsed wall clock time (in seconds):7.048
2.88/7.17	o 48
2.88/7.19	c  And the winner is solver0
3.00/7.67	c Got one! Elapsed wall clock time (in seconds):7.549
3.00/7.67	o 44
3.07/7.77	c  And the winner is solver0
3.21/8.17	c Got one! Elapsed wall clock time (in seconds):8.05
3.21/8.17	o 43
3.21/8.19	c  And the winner is solver0
3.24/8.67	c Got one! Elapsed wall clock time (in seconds):8.551
3.24/8.67	o 41
3.51/8.82	c cleaning 5726 clauses out of 11451 with flag 3000/16842
3.51/8.86	c  And the winner is solver0
3.62/9.17	c Got one! Elapsed wall clock time (in seconds):9.052
3.62/9.17	o 39
3.67/9.25	c  And the winner is solver0
3.80/9.67	c Got one! Elapsed wall clock time (in seconds):9.552
3.80/9.67	o 37
3.84/9.80	c  And the winner is solver0
4.16/10.18	c Got one! Elapsed wall clock time (in seconds):10.053
4.16/10.18	o 36
4.41/10.30	c cleaning 5917 clauses out of 11840 with flag 2000/22957
5.02/10.62	c cleaning 5960 clauses out of 11925 with flag 8002/28959
5.02/10.66	c  And the winner is solver0
5.02/10.68	c Got one! Elapsed wall clock time (in seconds):10.554
5.02/10.68	o 34
5.37/10.87	c  And the winner is solver0
5.54/11.18	c Got one! Elapsed wall clock time (in seconds):11.056
5.54/11.18	o 33
5.57/11.24	c cleaning 5541 clauses out of 11090 with flag 1000/34084
5.57/11.27	c  And the winner is solver0
5.72/11.68	c Got one! Elapsed wall clock time (in seconds):11.557
5.72/11.68	o 30
5.95/11.83	c  And the winner is solver0
6.04/12.18	c Got one! Elapsed wall clock time (in seconds):12.058
6.04/12.18	o 28
6.07/12.26	c  And the winner is solver0
6.22/12.68	c Got one! Elapsed wall clock time (in seconds):12.559
6.22/12.68	o 27
6.25/12.76	c  And the winner is solver0
6.39/13.18	c Got one! Elapsed wall clock time (in seconds):13.059
6.39/13.18	o 25
6.44/13.27	c cleaning 6075 clauses out of 12167 with flag 1003/40702
6.80/13.44	c  And the winner is solver0
6.89/13.68	c Got one! Elapsed wall clock time (in seconds):13.56
6.89/13.68	o 24
7.12/13.80	c cleaning 5541 clauses out of 11096 with flag 2001/45706
7.49/14.09	c cleaning 5771 clauses out of 11555 with flag 8001/51706
7.69/14.14	c  And the winner is solver0
7.69/14.18	c Got one! Elapsed wall clock time (in seconds):14.061
7.69/14.18	o 12
8.18/14.43	c cleaning 5396 clauses out of 10792 with flag 5001/56714
8.76/14.72	c cleaning 5698 clauses out of 11398 with flag 11003/62716
9.33/15.06	c cleaning 6347 clauses out of 12697 with flag 18000/69713
9.70/15.23	c  And the winner is solver0
9.80/15.68	c Got one! Elapsed wall clock time (in seconds):15.562
9.80/15.68	o 11
10.13/15.80	c cleaning 5968 clauses out of 11942 with flag 2002/75305
10.71/16.13	c cleaning 5981 clauses out of 11972 with flag 8000/81303
11.33/16.47	c cleaning 6489 clauses out of 12991 with flag 15000/88303
12.08/16.83	c cleaning 7246 clauses out of 14503 with flag 23001/96304
12.86/17.28	c cleaning 8123 clauses out of 16256 with flag 32000/105303
14.03/17.81	c cleaning 9065 clauses out of 18134 with flag 42001/115304
15.20/18.49	c cleaning 10037 clauses out of 20073 with flag 53005/126308
16.36/19.04	c  And the winner is solver0
16.46/19.19	c Got one! Elapsed wall clock time (in seconds):19.063
16.46/19.19	o 10
17.08/19.58	c cleaning 12460 clauses out of 24919 with flag 5002/141191
17.84/19.93	c cleaning 9231 clauses out of 18462 with flag 11005/147194
18.38/20.28	c cleaning 8109 clauses out of 16227 with flag 18001/154190
19.13/20.65	c cleaning 8055 clauses out of 16117 with flag 26000/162189
19.89/21.09	c cleaning 8530 clauses out of 17063 with flag 35001/171190
21.05/21.60	c cleaning 9264 clauses out of 18533 with flag 45001/181190
22.19/22.22	c cleaning 10133 clauses out of 20269 with flag 56001/192190
23.56/22.94	c cleaning 11067 clauses out of 22137 with flag 68002/204191
24.52/23.46	c  And the winner is solver0
24.69/23.70	c Got one! Elapsed wall clock time (in seconds):23.574
24.69/23.70	o 8
25.31/24.04	c cleaning 12750 clauses out of 25521 with flag 5001/218642
26.06/24.41	c cleaning 9376 clauses out of 18770 with flag 11000/224641
26.59/24.77	c cleaning 8197 clauses out of 16394 with flag 18000/231641
27.34/25.16	c cleaning 8099 clauses out of 16197 with flag 26000/239641
28.31/25.61	c cleaning 8545 clauses out of 17099 with flag 35001/248642
29.27/26.16	c cleaning 9274 clauses out of 18555 with flag 45002/258643
30.20/26.64	c  And the winner is solver0
30.33/26.73	c Got one! Elapsed wall clock time (in seconds):26.612
30.33/26.73	o 7
30.85/27.02	c cleaning 11918 clauses out of 23836 with flag 5000/273198
31.40/27.30	c cleaning 8954 clauses out of 17920 with flag 11002/279200
31.96/27.66	c cleaning 7981 clauses out of 15965 with flag 18001/286199
32.72/28.04	c cleaning 7987 clauses out of 15983 with flag 26000/294198
33.67/28.51	c cleaning 8494 clauses out of 16996 with flag 35000/303198
34.41/28.99	c cleaning 9250 clauses out of 18502 with flag 45000/313198
35.57/29.58	c cleaning 10124 clauses out of 20252 with flag 56000/324198
36.92/30.26	c cleaning 11059 clauses out of 22129 with flag 68001/336199
38.44/31.02	c cleaning 12032 clauses out of 24069 with flag 81000/349198
40.20/31.94	c cleaning 13012 clauses out of 26037 with flag 95000/363198
41.96/32.82	c cleaning 14012 clauses out of 28026 with flag 110001/378199
44.10/33.96	c cleaning 15003 clauses out of 30013 with flag 126000/394198
46.23/35.06	c cleaning 16001 clauses out of 32012 with flag 143002/411200
48.38/36.13	c cleaning 17004 clauses out of 34012 with flag 161003/429201
50.53/37.21	c cleaning 17999 clauses out of 36006 with flag 180001/448199
52.89/38.43	c cleaning 18998 clauses out of 38007 with flag 200001/468199
55.62/39.87	c cleaning 20001 clauses out of 40009 with flag 221001/489199
58.97/41.51	c cleaning 20999 clauses out of 42008 with flag 243001/511199
62.12/43.14	c cleaning 22003 clauses out of 44010 with flag 266002/534200
66.09/45.17	c cleaning 23004 clauses out of 46007 with flag 290002/558200
70.43/47.35	c cleaning 24002 clauses out of 48004 with flag 315003/583201
75.57/49.93	c cleaning 24998 clauses out of 49999 with flag 341000/609198
82.12/53.20	c cleaning 25998 clauses out of 52001 with flag 368000/636198
87.88/56.15	c cleaning 26994 clauses out of 54003 with flag 396000/664198
90.77/57.69	c  And the winner is solver0
90.96/57.77	c Got one! Elapsed wall clock time (in seconds):57.651
90.96/57.77	o 5
92.26/58.44	c cleaning 25313 clauses out of 50648 with flag 5000/687837
93.01/58.87	c cleaning 15659 clauses out of 31335 with flag 11000/693837
93.76/59.28	c cleaning 11335 clauses out of 22682 with flag 18006/700843
94.50/59.68	c cleaning 9666 clauses out of 19347 with flag 26006/708843
95.41/60.11	c cleaning 9334 clauses out of 18675 with flag 35000/717837
96.37/60.69	c cleaning 9669 clauses out of 19342 with flag 45001/727838
97.91/61.45	c cleaning 10336 clauses out of 20673 with flag 56001/738838
99.46/62.22	c cleaning 11169 clauses out of 22338 with flag 68002/750839
100.97/63.08	c cleaning 12078 clauses out of 24168 with flag 81001/763838
102.92/64.00	c cleaning 13046 clauses out of 26091 with flag 95002/777839
105.26/65.24	c cleaning 14012 clauses out of 28044 with flag 110001/792838
107.40/66.35	c cleaning 15011 clauses out of 30031 with flag 126000/808837
110.12/67.73	c cleaning 16011 clauses out of 32022 with flag 143002/825839
112.66/69.05	c cleaning 17003 clauses out of 34009 with flag 161000/843837
115.60/70.59	c cleaning 17998 clauses out of 36006 with flag 180000/862837
119.35/72.40	c cleaning 19005 clauses out of 38009 with flag 200001/882838
122.66/74.19	c cleaning 19997 clauses out of 40004 with flag 221001/903838
126.39/76.08	c cleaning 21001 clauses out of 42006 with flag 243000/925837
130.14/77.97	c cleaning 22002 clauses out of 44006 with flag 266001/948838
134.27/80.07	c cleaning 23001 clauses out of 46008 with flag 290005/972842
138.57/82.23	c cleaning 23995 clauses out of 48002 with flag 315000/997837
142.91/84.47	c cleaning 25002 clauses out of 50007 with flag 341000/1023837
146.83/86.40	c cleaning 25999 clauses out of 52005 with flag 368000/1050837
151.36/88.70	c cleaning 26996 clauses out of 54007 with flag 396001/1078838
156.88/91.51	c cleaning 27999 clauses out of 56010 with flag 425000/1107837
161.82/94.06	c cleaning 29006 clauses out of 58011 with flag 455000/1137837
166.74/96.55	c cleaning 29997 clauses out of 60008 with flag 486003/1168840
171.87/99.10	c cleaning 31002 clauses out of 62008 with flag 518000/1200837
177.36/101.90	c cleaning 32001 clauses out of 64007 with flag 551001/1233838
183.70/105.10	c cleaning 33004 clauses out of 66008 with flag 585003/1267840
189.82/108.22	c cleaning 34001 clauses out of 68001 with flag 620000/1302837
196.95/111.85	c cleaning 34992 clauses out of 70002 with flag 656002/1338839
208.03/117.40	c cleaning 36003 clauses out of 72009 with flag 693001/1375838
215.95/121.47	c cleaning 36996 clauses out of 74006 with flag 731001/1413838
223.48/125.28	c cleaning 37999 clauses out of 76009 with flag 770000/1452837
232.01/129.54	c cleaning 39003 clauses out of 78011 with flag 810001/1492838
241.09/134.14	c cleaning 40000 clauses out of 80008 with flag 851001/1533838
249.39/138.33	c cleaning 41002 clauses out of 82007 with flag 893000/1575837
260.31/143.87	c cleaning 42000 clauses out of 84006 with flag 936001/1618838
271.84/149.68	c cleaning 43000 clauses out of 86007 with flag 980002/1662839
283.50/155.54	c cleaning 43998 clauses out of 88005 with flag 1025000/1707837
295.42/161.55	c cleaning 45004 clauses out of 90007 with flag 1071000/1753837
307.92/167.84	c cleaning 46002 clauses out of 92004 with flag 1118001/1800838
321.64/174.70	c cleaning 46996 clauses out of 94002 with flag 1166001/1848838
335.14/181.60	c cleaning 47998 clauses out of 96005 with flag 1215000/1897837
349.45/188.76	c cleaning 48999 clauses out of 98008 with flag 1265001/1947838
363.37/195.75	c cleaning 50003 clauses out of 100010 with flag 1316002/1998839
380.27/204.29	c cleaning 50999 clauses out of 102005 with flag 1368000/2050837
396.15/212.28	c cleaning 51995 clauses out of 104006 with flag 1421000/2103837
412.65/220.58	c cleaning 52999 clauses out of 106011 with flag 1475000/2157837
428.35/228.48	c cleaning 54003 clauses out of 108014 with flag 1530002/2212839
447.09/237.86	c cleaning 55001 clauses out of 110011 with flag 1586002/2268839
463.98/246.34	c cleaning 55996 clauses out of 112009 with flag 1643001/2325838
482.32/255.55	c cleaning 57000 clauses out of 114012 with flag 1701000/2383837
497.41/263.13	c cleaning 58004 clauses out of 116012 with flag 1760000/2442837
512.13/270.57	c cleaning 59000 clauses out of 118008 with flag 1820000/2502837
528.14/278.62	c cleaning 60000 clauses out of 120008 with flag 1881000/2563837
551.07/290.19	c cleaning 61000 clauses out of 122011 with flag 1943003/2625840
568.36/298.81	c cleaning 61999 clauses out of 124011 with flag 2006003/2688840
585.91/307.68	c cleaning 63003 clauses out of 126010 with flag 2070001/2752838
601.14/315.30	c cleaning 63996 clauses out of 128008 with flag 2135002/2817839
617.08/323.33	c cleaning 65003 clauses out of 130010 with flag 2201000/2883837
642.66/336.16	c cleaning 65994 clauses out of 132007 with flag 2268000/2950837
665.96/347.84	c cleaning 67006 clauses out of 134013 with flag 2336000/3018837
692.45/361.11	c cleaning 68005 clauses out of 136009 with flag 2405002/3087839
720.88/375.34	c cleaning 69002 clauses out of 138004 with flag 2475002/3157839
747.66/388.78	c cleaning 70002 clauses out of 140004 with flag 2546004/3228841
778.62/404.26	c cleaning 70994 clauses out of 141998 with flag 2618000/3300837
809.89/419.94	c cleaning 72000 clauses out of 144005 with flag 2691001/3373838
839.81/434.98	c cleaning 72996 clauses out of 146006 with flag 2765002/3447839
869.00/449.57	c cleaning 73997 clauses out of 148010 with flag 2840002/3522839
896.15/463.15	c cleaning 74999 clauses out of 150012 with flag 2916001/3598838
925.62/477.95	c cleaning 76003 clauses out of 152012 with flag 2993000/3675837
952.16/491.24	c cleaning 77002 clauses out of 154009 with flag 3071000/3753837
980.10/505.28	c cleaning 78002 clauses out of 156007 with flag 3150000/3832837
1007.84/519.14	c cleaning 78998 clauses out of 158005 with flag 3230000/3912837
1035.45/533.00	c cleaning 79998 clauses out of 160007 with flag 3311000/3993837
1058.81/544.71	c cleaning 81002 clauses out of 162009 with flag 3393000/4075837
1079.34/555.08	c cleaning 81998 clauses out of 164008 with flag 3476001/4158838
1100.73/565.97	c cleaning 83001 clauses out of 166010 with flag 3560001/4242838
1122.63/576.94	c cleaning 84000 clauses out of 168009 with flag 3645001/4327838
1150.40/590.83	c cleaning 85004 clauses out of 170010 with flag 3731002/4413839
1180.15/605.74	c cleaning 86001 clauses out of 172006 with flag 3818002/4500839
1202.87/617.15	c cleaning 86997 clauses out of 174004 with flag 3906001/4588838
1226.82/629.04	c cleaning 87998 clauses out of 176007 with flag 3995001/4677838
1249.39/640.39	c cleaning 89004 clauses out of 178011 with flag 4085003/4767840
1274.10/652.73	c cleaning 89996 clauses out of 180004 with flag 4176000/4858837
1299.47/665.56	c cleaning 90997 clauses out of 182008 with flag 4268000/4950837
1324.35/678.08	c cleaning 91998 clauses out of 184012 with flag 4361001/5043838
1353.38/692.51	c cleaning 93004 clauses out of 186014 with flag 4455001/5137838
1379.49/705.65	c cleaning 94002 clauses out of 188009 with flag 4550000/5232837
1408.47/720.27	c cleaning 95001 clauses out of 190010 with flag 4646003/5328840
1436.99/734.53	c cleaning 95997 clauses out of 192007 with flag 4743001/5425838
1466.07/749.15	c cleaning 97003 clauses out of 194011 with flag 4841002/5523839
1497.37/764.81	c cleaning 98003 clauses out of 196007 with flag 4940001/5622838
1525.13/778.82	c  And the winner is solver0
1525.66/779.15	c Got one! Elapsed wall clock time (in seconds):779.03
1525.66/779.15	o 4
1535.73/784.10	c cleaning 98150 clauses out of 196312 with flag 5001/5721146
1539.40/786.07	c cleaning 52074 clauses out of 104161 with flag 11000/5727145
1540.84/786.86	c cleaning 29537 clauses out of 59087 with flag 18000/5734145
1541.87/787.46	c cleaning 18770 clauses out of 37553 with flag 26003/5742148
1542.96/788.17	c cleaning 13880 clauses out of 27780 with flag 35000/5751145
1544.02/788.76	c cleaning 11937 clauses out of 23900 with flag 45000/5761145
1545.25/789.43	c cleaning 11473 clauses out of 22963 with flag 56000/5772145
1546.50/790.12	c cleaning 11737 clauses out of 23492 with flag 68002/5784147
1548.02/791.01	c cleaning 12368 clauses out of 24754 with flag 81001/5797146
1549.46/791.80	c cleaning 13182 clauses out of 26385 with flag 95000/5811145
1551.10/792.70	c cleaning 14095 clauses out of 28203 with flag 110000/5826145
1552.76/793.68	c cleaning 15044 clauses out of 30108 with flag 126000/5842145
1554.61/794.64	c cleaning 16024 clauses out of 32064 with flag 143000/5859145
1556.65/795.77	c cleaning 17010 clauses out of 34041 with flag 161001/5877146
1558.89/796.97	c cleaning 18004 clauses out of 36030 with flag 180000/5896145
1561.32/798.28	c cleaning 19004 clauses out of 38027 with flag 200001/5916146
1563.96/799.64	c cleaning 19996 clauses out of 40022 with flag 221000/5937145
1566.79/801.12	c cleaning 21001 clauses out of 42026 with flag 243000/5959145
1569.65/802.68	c cleaning 22013 clauses out of 44025 with flag 266000/5982145
1573.88/804.80	c cleaning 23001 clauses out of 46012 with flag 290000/6006145
1578.59/807.36	c cleaning 24007 clauses out of 48016 with flag 315005/6031150
1583.43/809.82	c cleaning 25000 clauses out of 50004 with flag 341000/6057145
1588.45/812.40	c cleaning 26000 clauses out of 52006 with flag 368002/6084147
1594.30/815.45	c cleaning 27002 clauses out of 54006 with flag 396002/6112147
1600.23/818.55	c cleaning 27999 clauses out of 56002 with flag 425000/6141145
1606.47/821.74	c cleaning 29001 clauses out of 58003 with flag 455000/6171145
1612.08/824.65	c cleaning 29999 clauses out of 60002 with flag 486000/6202145
1617.52/827.40	c cleaning 31003 clauses out of 62006 with flag 518003/6234148
1623.16/830.39	c cleaning 32001 clauses out of 64002 with flag 551002/6267147
1629.82/833.76	c cleaning 32996 clauses out of 66000 with flag 585001/6301146
1636.24/837.06	c cleaning 33997 clauses out of 68003 with flag 620000/6336145
1643.28/840.69	c cleaning 34999 clauses out of 70008 with flag 656002/6372147
1651.23/844.80	c cleaning 36001 clauses out of 72007 with flag 693000/6409145
1659.48/848.97	c cleaning 37004 clauses out of 74007 with flag 731001/6447146
1667.91/853.29	c cleaning 38001 clauses out of 76003 with flag 770001/6486146
1676.94/857.86	c cleaning 38995 clauses out of 78001 with flag 810000/6526145
1686.31/862.65	c cleaning 40002 clauses out of 80008 with flag 851002/6567147
1696.75/867.94	c cleaning 41002 clauses out of 82004 with flag 893000/6609145
1709.22/874.20	c cleaning 41994 clauses out of 84002 with flag 936000/6652145
1722.28/880.81	c cleaning 43003 clauses out of 86010 with flag 980002/6696147
1734.43/887.04	c cleaning 44002 clauses out of 88005 with flag 1025000/6741145
1746.90/893.36	c cleaning 44999 clauses out of 90004 with flag 1071001/6787146
1761.75/900.84	c cleaning 45996 clauses out of 92004 with flag 1118000/6834145
1777.18/908.61	c cleaning 47004 clauses out of 94009 with flag 1166001/6882146
1791.70/916.05	c cleaning 47997 clauses out of 96006 with flag 1215002/6931147
1800.14/920.31	c starts		: 328
1800.14/920.31	c conflicts		: 6966662
1800.14/920.31	c decisions		: 7030779
1800.14/920.31	c propagations		: 47486412
1800.14/920.31	c inspects		: 10997791374
1800.14/920.31	c shortcuts		: 0
1800.14/920.31	c learnt literals	: 0
1800.14/920.31	c learnt binary clauses	: 0
1800.14/920.31	c learnt ternary clauses	: 0
1800.14/920.31	c learnt constraints	: 6966664
1800.14/920.31	c ignored constraints	: 0
1800.14/920.31	c root simplifications	: 0
1800.14/920.31	c removed literals (reason simplification)	: 55597792
1800.14/920.31	c reason swapping (by a shorter reason)	: 0
1800.14/920.31	c Calls to reduceDB	: 196
1800.14/920.31	c number of reductions to clauses (during analyze)	: 0
1800.14/920.31	c number of learned constraints concerned by reduction	: 0
1800.14/920.31	c number of learning phase by resolution	: 0
1800.14/920.31	c number of learning phase by cutting planes	: 0
1800.14/920.31	c speed (assignments/second)	: 51607.32120558736
1800.14/920.31	c non guided choices	674
1800.14/920.34	c learnt constraints type 
1800.14/920.34	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 83719
1800.14/920.34	c constraints type 
1800.14/920.34	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 11
1800.14/920.34	c 11 constraints processed.
1800.14/920.34	c constraints type 
1800.14/920.34	c org.sat4j.pb.constraints.pb.MaxWatchPb => 11
1800.14/920.34	c 11 constraints processed.
1800.14/920.34	s SATISFIABLE
1800.14/920.34	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 
1800.14/920.34	c objective function=4
1800.14/920.34	c Total wall clock time (in seconds): 920.215

Verifier Data 

OK	4

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-3688232-1337876172/watcher-3688232-1337876172 -o /tmp/evaluation-result-3688232-1337876172/solver-3688232-1337876172 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688232-1337876172.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: 3.95 3.86 3.67 4/197 27369
/proc/meminfo: memFree=27679248/32873648 swapFree=6856/6856
[pid=27369] ppid=27367 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/27369/stat : 27369 (java) D 27367 27369 24583 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 253742620 2560000 46 33554432000 1073741824 1073778376 140735703137536 140735703134664 270698376487 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/27369/statm: 625 46 37 9 0 29 0

[startup+0.00787088 s]
/proc/loadavg: 3.95 3.86 3.67 4/197 27369
/proc/meminfo: memFree=27679248/32873648 swapFree=6856/6856
[pid=27369] ppid=27367 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/27369/stat : 27369 (java) D 27367 27369 24583 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 253742620 9515008 175 33554432000 1073741824 1073778376 140735703137536 140735703120264 270707540880 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/27369/statm: 2323 175 133 9 0 71 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9292

[startup+0.100162 s]
/proc/loadavg: 3.95 3.86 3.67 4/197 27369
/proc/meminfo: memFree=27679248/32873648 swapFree=6856/6856
[pid=27369] ppid=27367 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/27369/stat : 27369 (java) S 27367 27369 24583 0 -1 4202496 4242 0 1 0 7 1 0 0 20 0 18 0 253742620 9787813888 5432 33554432000 1073741824 1073778376 140734618522464 140734618513600 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27369/statm: 2389603 5432 2099 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300184 s]
/proc/loadavg: 3.95 3.86 3.67 4/197 27369
/proc/meminfo: memFree=27679248/32873648 swapFree=6856/6856
[pid=27369] ppid=27367 vsize=9824668 CPUtime=0.5 cores=0,2,4,6
/proc/27369/stat : 27369 (java) S 27367 27369 24583 0 -1 4202496 8175 0 1 0 46 4 0 0 20 0 19 0 253742620 10060460032 9703 33554432000 1073741824 1073778376 140734618522464 140734618513600 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27369/statm: 2456167 9703 2219 9 0 2446860 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9824668

[startup+0.70013 s]
/proc/loadavg: 3.95 3.86 3.67 4/197 27369
/proc/meminfo: memFree=27679248/32873648 swapFree=6856/6856
[pid=27369] ppid=27367 vsize=9824668 CPUtime=0.61 cores=0,2,4,6
/proc/27369/stat : 27369 (java) S 27367 27369 24583 0 -1 4202496 8193 0 1 0 55 6 0 0 20 0 19 0 253742620 10060460032 11248 33554432000 1073741824 1073778376 140734618522464 140734618513600 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27369/statm: 2456167 11248 2226 9 0 2446860 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 9824668

[startup+1.50061 s]
/proc/loadavg: 3.95 3.86 3.67 3/216 27394
/proc/meminfo: memFree=27642852/32873648 swapFree=6856/6856
[pid=27369] ppid=27367 vsize=9824668 CPUtime=0.72 cores=0,2,4,6
/proc/27369/stat : 27369 (java) S 27367 27369 24583 0 -1 4202496 8212 0 1 0 64 8 0 0 20 0 19 0 253742620 10060460032 12792 33554432000 1073741824 1073778376 140734618522464 140734618513600 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27369/statm: 2456167 12792 2234 9 0 2446860 0
[pid=27369/tid=27371] ppid=27367 vsize=9824668 CPUtime=0.12 cores=0,2,4,6
/proc/27369/task/27371/stat : 27371 (java) S 27367 27369 24583 0 -1 4202560 2450 0 1 0 12 0 0 0 20 0 19 0 253742622 10060460032 12792 33554432000 1073741824 1073778376 140734618522464 139769534202872 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27369/tid=27372] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27372/stat : 27372 (java) S 27367 27369 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253742623 10060460032 12792 33554432000 1073741824 1073778376 140734618522464 139769512303528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27373] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27373/stat : 27373 (java) S 27367 27369 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253742623 10060460032 12792 33554432000 1073741824 1073778376 140734618522464 139769511250984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27369/tid=27374] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27374/stat : 27374 (java) S 27367 27369 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253742623 10060460032 12792 33554432000 1073741824 1073778376 140734618522464 139769308768936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27369/tid=27375] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27375/stat : 27375 (java) S 27367 27369 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253742623 10060460032 12792 33554432000 1073741824 1073778376 140734618522464 139769307716392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27369/tid=27376] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27376/stat : 27376 (java) S 27367 27369 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253742623 10060460032 12792 33554432000 1073741824 1073778376 140734618522464 139769306663336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27377] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27377/stat : 27377 (java) S 27367 27369 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253742623 10060460032 12792 33554432000 1073741824 1073778376 140734618522464 139769305610792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27369/tid=27378] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27378/stat : 27378 (java) S 27367 27369 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253742623 10060460032 12792 33554432000 1073741824 1073778376 140734618522464 139769304557736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27369/tid=27379] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27379/stat : 27379 (java) S 27367 27369 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253742623 10060460032 12792 33554432000 1073741824 1073778376 140734618522464 139769303505192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27380] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27380/stat : 27380 (java) S 27367 27369 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253742624 10060460032 12792 33554432000 1073741824 1073778376 140734618522464 139769291094888 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27369/tid=27381] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27381/stat : 27381 (java) S 27367 27369 24583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253742625 10060460032 12792 33554432000 1073741824 1073778376 140734618522464 139769290041208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27382] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27382/stat : 27382 (java) S 27367 27369 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253742625 10060460032 12792 33554432000 1073741824 1073778376 140734618522464 139769288988040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27383] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27383/stat : 27383 (java) S 27367 27369 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253742627 10060460032 12792 33554432000 1073741824 1073778376 140734618522464 139769287936784 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27384] ppid=27367 vsize=9824668 CPUtime=0.18 cores=0,2,4,6
/proc/27369/task/27384/stat : 27384 (java) S 27367 27369 24583 0 -1 4202560 2005 0 0 0 18 0 0 0 20 0 19 0 253742627 10060460032 12792 33554432000 1073741824 1073778376 140734618522464 139769286883640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27385] ppid=27367 vsize=9824668 CPUtime=0.18 cores=0,2,4,6
/proc/27369/task/27385/stat : 27385 (java) S 27367 27369 24583 0 -1 4202560 2417 0 0 0 18 0 0 0 20 0 19 0 253742627 10060460032 12792 33554432000 1073741824 1073778376 140734618522464 139769285831096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27369/tid=27386] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27386/stat : 27386 (java) S 27367 27369 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253742627 10060460032 12792 33554432000 1073741824 1073778376 140734618522464 139769284778232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27369/tid=27387] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27387/stat : 27387 (java) S 27367 27369 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253742627 10060460032 12792 33554432000 1073741824 1073778376 140734618522464 139769283725896 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27369/tid=27390] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27390/stat : 27390 (java) S 27367 27369 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253742637 10060460032 12792 33554432000 1073741824 1073778376 140734618522464 139769280566568 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 9824668

[startup+3.10056 s]
/proc/loadavg: 3.95 3.86 3.67 3/216 27400
/proc/meminfo: memFree=27632860/32873648 swapFree=6856/6856
[pid=27369] ppid=27367 vsize=9824668 CPUtime=1.32 cores=0,2,4,6
/proc/27369/stat : 27369 (java) S 27367 27369 24583 0 -1 4202496 14962 0 1 0 119 13 0 0 20 0 19 0 253742620 10060460032 20607 33554432000 1073741824 1073778376 140734618522464 140734618513600 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27369/statm: 2456167 20607 2242 9 0 2446860 0
[pid=27369/tid=27371] ppid=27367 vsize=9824668 CPUtime=0.12 cores=0,2,4,6
/proc/27369/task/27371/stat : 27371 (java) S 27367 27369 24583 0 -1 4202560 2451 0 1 0 12 0 0 0 20 0 19 0 253742622 10060460032 20607 33554432000 1073741824 1073778376 140734618522464 139769534202872 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27369/tid=27372] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27372/stat : 27372 (java) S 27367 27369 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253742623 10060460032 20607 33554432000 1073741824 1073778376 140734618522464 139769512303528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27373] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27373/stat : 27373 (java) S 27367 27369 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253742623 10060460032 20607 33554432000 1073741824 1073778376 140734618522464 139769511250984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27369/tid=27374] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27374/stat : 27374 (java) S 27367 27369 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253742623 10060460032 20607 33554432000 1073741824 1073778376 140734618522464 139769308768936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27369/tid=27375] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27375/stat : 27375 (java) S 27367 27369 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253742623 10060460032 20607 33554432000 1073741824 1073778376 140734618522464 139769307716392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27369/tid=27376] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27376/stat : 27376 (java) S 27367 27369 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253742623 10060460032 20607 33554432000 1073741824 1073778376 140734618522464 139769306663336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27377] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27377/stat : 27377 (java) S 27367 27369 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253742623 10060460032 20607 33554432000 1073741824 1073778376 140734618522464 139769305610792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27369/tid=27378] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27378/stat : 27378 (java) S 27367 27369 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253742623 10060460032 20607 33554432000 1073741824 1073778376 140734618522464 139769304557736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27369/tid=27379] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27379/stat : 27379 (java) S 27367 27369 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253742623 10060460032 20607 33554432000 1073741824 1073778376 140734618522464 139769303505192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27380] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27380/stat : 27380 (java) S 27367 27369 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253742624 10060460032 20607 33554432000 1073741824 1073778376 140734618522464 139769291094888 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27369/tid=27381] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27381/stat : 27381 (java) S 27367 27369 24583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253742625 10060460032 20607 33554432000 1073741824 1073778376 140734618522464 139769290041208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27382] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27382/stat : 27382 (java) S 27367 27369 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253742625 10060460032 20607 33554432000 1073741824 1073778376 140734618522464 139769288988040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27383] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27383/stat : 27383 (java) S 27367 27369 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253742627 10060460032 20607 33554432000 1073741824 1073778376 140734618522464 139769287936784 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27384] ppid=27367 vsize=9824668 CPUtime=0.39 cores=0,2,4,6
/proc/27369/task/27384/stat : 27384 (java) S 27367 27369 24583 0 -1 4202560 5704 0 0 0 39 0 0 0 20 0 19 0 253742627 10060460032 20607 33554432000 1073741824 1073778376 140734618522464 139769286883640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27385] ppid=27367 vsize=9824668 CPUtime=0.41 cores=0,2,4,6
/proc/27369/task/27385/stat : 27385 (java) S 27367 27369 24583 0 -1 4202560 5438 0 0 0 41 0 0 0 20 0 19 0 253742627 10060460032 20607 33554432000 1073741824 1073778376 140734618522464 139769285831096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27369/tid=27386] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27386/stat : 27386 (java) S 27367 27369 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253742627 10060460032 20607 33554432000 1073741824 1073778376 140734618522464 139769284778232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27369/tid=27387] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27387/stat : 27387 (java) S 27367 27369 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253742627 10060460032 20607 33554432000 1073741824 1073778376 140734618522464 139769283725896 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27369/tid=27390] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27390/stat : 27390 (java) S 27367 27369 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253742637 10060460032 20607 33554432000 1073741824 1073778376 140734618522464 139769280566568 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 9824668
heavy processes:

[startup+6.30072 s]
/proc/loadavg: 3.95 3.86 3.67 3/216 27421
/proc/meminfo: memFree=27527268/32873648 swapFree=6856/6856
[pid=27369] ppid=27367 vsize=9824668 CPUtime=2.54 cores=0,2,4,6
/proc/27369/stat : 27369 (java) S 27367 27369 24583 0 -1 4202496 15139 0 1 0 226 28 0 0 20 0 19 0 253742620 10060460032 45064 33554432000 1073741824 1073778376 140734618522464 140734618513600 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27369/statm: 2456167 45064 2266 9 0 2446860 0
[pid=27369/tid=27371] ppid=27367 vsize=9824668 CPUtime=0.13 cores=0,2,4,6
/proc/27369/task/27371/stat : 27371 (java) S 27367 27369 24583 0 -1 4202560 2453 0 1 0 13 0 0 0 20 0 19 0 253742622 10060460032 45064 33554432000 1073741824 1073778376 140734618522464 139769534202872 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27369/tid=27372] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27372/stat : 27372 (java) S 27367 27369 24583 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253742623 10060460032 45064 33554432000 1073741824 1073778376 140734618522464 139769512303528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27373] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27373/stat : 27373 (java) S 27367 27369 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253742623 10060460032 45064 33554432000 1073741824 1073778376 140734618522464 139769511250984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27369/tid=27374] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27374/stat : 27374 (java) S 27367 27369 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253742623 10060460032 45064 33554432000 1073741824 1073778376 140734618522464 139769308768936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27369/tid=27375] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27375/stat : 27375 (java) S 27367 27369 24583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253742623 10060460032 45064 33554432000 1073741824 1073778376 140734618522464 139769307716392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27369/tid=27376] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27376/stat : 27376 (java) S 27367 27369 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253742623 10060460032 45064 33554432000 1073741824 1073778376 140734618522464 139769306663336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27377] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27377/stat : 27377 (java) S 27367 27369 24583 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253742623 10060460032 45064 33554432000 1073741824 1073778376 140734618522464 139769305610792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27369/tid=27378] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27378/stat : 27378 (java) S 27367 27369 24583 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253742623 10060460032 45064 33554432000 1073741824 1073778376 140734618522464 139769304557736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27369/tid=27379] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27379/stat : 27379 (java) S 27367 27369 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253742623 10060460032 45064 33554432000 1073741824 1073778376 140734618522464 139769303505192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27380] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27380/stat : 27380 (java) S 27367 27369 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253742624 10060460032 45064 33554432000 1073741824 1073778376 140734618522464 139769291094888 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27369/tid=27381] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27381/stat : 27381 (java) S 27367 27369 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253742625 10060460032 45064 33554432000 1073741824 1073778376 140734618522464 139769290041208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27382] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27382/stat : 27382 (java) S 27367 27369 24583 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253742625 10060460032 45064 33554432000 1073741824 1073778376 140734618522464 139769288988040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27383] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27383/stat : 27383 (java) S 27367 27369 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253742627 10060460032 45064 33554432000 1073741824 1073778376 140734618522464 139769287936784 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27384] ppid=27367 vsize=9824668 CPUtime=0.59 cores=0,2,4,6
/proc/27369/task/27384/stat : 27384 (java) S 27367 27369 24583 0 -1 4202560 5719 0 0 0 58 1 0 0 20 0 19 0 253742627 10060460032 45064 33554432000 1073741824 1073778376 140734618522464 139769286883640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27385] ppid=27367 vsize=9824668 CPUtime=0.65 cores=0,2,4,6
/proc/27369/task/27385/stat : 27385 (java) S 27367 27369 24583 0 -1 4202560 5449 0 0 0 65 0 0 0 20 0 19 0 253742627 10060460032 45064 33554432000 1073741824 1073778376 140734618522464 139769285831096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27369/tid=27386] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27386/stat : 27386 (java) S 27367 27369 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253742627 10060460032 45064 33554432000 1073741824 1073778376 140734618522464 139769284778232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27369/tid=27387] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27387/stat : 27387 (java) S 27367 27369 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253742627 10060460032 45064 33554432000 1073741824 1073778376 140734618522464 139769283725896 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27369/tid=27390] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27390/stat : 27390 (java) S 27367 27369 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253742637 10060460032 45064 33554432000 1073741824 1073778376 140734618522464 139769280566568 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 9824668
heavy processes:

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

[pid=27369/tid=27611] ppid=27367 vsize=9824668 CPUtime=37.69 cores=0,2,4,6
/proc/27369/task/27611/stat : 27611 (java) R 27367 27369 24583 0 -1 4202560 17 0 0 0 3769 0 0 0 20 0 22 0 253820536 10060460032 376694 33554432000 1073741824 1073778376 140734618522464 139769282670792 139769393228063 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27369/tid=27612] ppid=27367 vsize=9824668 CPUtime=37.69 cores=0,2,4,6
/proc/27369/task/27612/stat : 27612 (java) R 27367 27369 24583 0 -1 4202560 10 0 0 0 3769 0 0 0 20 0 22 0 253820536 10060460032 376694 33554432000 1073741824 1073778376 140734618522464 139769281616800 139769393192095 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27369/tid=27613] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27613/stat : 27613 (java) S 27367 27369 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253820631 10060460032 376694 33554432000 1073741824 1073778376 140734618522464 139769279514280 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1607.48
Current children cumulated vsize (KiB) 9824668

[startup+882.301 s]
/proc/loadavg: 3.94 3.96 3.82 5/219 27616
/proc/meminfo: memFree=27285708/32873648 swapFree=6856/6856
[pid=27369] ppid=27367 vsize=9824668 CPUtime=1725.03 cores=0,2,4,6
/proc/27369/stat : 27369 (java) S 27367 27369 24583 0 -1 4202496 31560 0 1 0 172267 236 0 0 20 0 22 0 253742620 10060460032 418571 33554432000 1073741824 1073778376 140734618522464 140734618513600 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27369/statm: 2456167 418571 2280 9 0 2446860 0
[pid=27369/tid=27371] ppid=27367 vsize=9824668 CPUtime=0.17 cores=0,2,4,6
/proc/27369/task/27371/stat : 27371 (java) S 27367 27369 24583 0 -1 4202560 2495 0 1 0 15 2 0 0 20 0 22 0 253742622 10060460032 418571 33554432000 1073741824 1073778376 140734618522464 139769534202872 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27369/tid=27372] ppid=27367 vsize=9824668 CPUtime=1.87 cores=0,2,4,6
/proc/27369/task/27372/stat : 27372 (java) S 27367 27369 24583 0 -1 4202560 1150 0 0 0 174 13 0 0 20 0 22 0 253742623 10060460032 418571 33554432000 1073741824 1073778376 140734618522464 139769512303528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27373] ppid=27367 vsize=9824668 CPUtime=1.84 cores=0,2,4,6
/proc/27369/task/27373/stat : 27373 (java) S 27367 27369 24583 0 -1 4202560 1690 0 0 0 173 11 0 0 20 0 22 0 253742623 10060460032 418571 33554432000 1073741824 1073778376 140734618522464 139769511250984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27369/tid=27374] ppid=27367 vsize=9824668 CPUtime=1.78 cores=0,2,4,6
/proc/27369/task/27374/stat : 27374 (java) S 27367 27369 24583 0 -1 4202560 1207 0 0 0 167 11 0 0 20 0 22 0 253742623 10060460032 418571 33554432000 1073741824 1073778376 140734618522464 139769308768936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27375] ppid=27367 vsize=9824668 CPUtime=1.83 cores=0,2,4,6
/proc/27369/task/27375/stat : 27375 (java) S 27367 27369 24583 0 -1 4202560 1229 0 0 0 169 14 0 0 20 0 22 0 253742623 10060460032 418571 33554432000 1073741824 1073778376 140734618522464 139769307716392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27376] ppid=27367 vsize=9824668 CPUtime=1.72 cores=0,2,4,6
/proc/27369/task/27376/stat : 27376 (java) S 27367 27369 24583 0 -1 4202560 1034 0 0 0 161 11 0 0 20 0 22 0 253742623 10060460032 418571 33554432000 1073741824 1073778376 140734618522464 139769306663336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27377] ppid=27367 vsize=9824668 CPUtime=1.72 cores=0,2,4,6
/proc/27369/task/27377/stat : 27377 (java) S 27367 27369 24583 0 -1 4202560 1454 0 0 0 162 10 0 0 20 0 22 0 253742623 10060460032 418571 33554432000 1073741824 1073778376 140734618522464 139769305610792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27369/tid=27378] ppid=27367 vsize=9824668 CPUtime=1.81 cores=0,2,4,6
/proc/27369/task/27378/stat : 27378 (java) S 27367 27369 24583 0 -1 4202560 1192 0 0 0 171 10 0 0 20 0 22 0 253742623 10060460032 418571 33554432000 1073741824 1073778376 140734618522464 139769304557736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27369/tid=27379] ppid=27367 vsize=9824668 CPUtime=1.8 cores=0,2,4,6
/proc/27369/task/27379/stat : 27379 (java) S 27367 27369 24583 0 -1 4202560 1600 0 0 0 171 9 0 0 20 0 22 0 253742623 10060460032 418571 33554432000 1073741824 1073778376 140734618522464 139769303505192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27369/tid=27380] ppid=27367 vsize=9824668 CPUtime=23.22 cores=0,2,4,6
/proc/27369/task/27380/stat : 27380 (java) S 27367 27369 24583 0 -1 4202560 1414 0 0 0 2295 27 0 0 20 0 22 0 253742624 10060460032 418571 33554432000 1073741824 1073778376 140734618522464 139769291094888 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27369/tid=27381] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27381/stat : 27381 (java) S 27367 27369 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253742625 10060460032 418571 33554432000 1073741824 1073778376 140734618522464 139769290041208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27369/tid=27382] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27382/stat : 27382 (java) S 27367 27369 24583 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 22 0 253742625 10060460032 418571 33554432000 1073741824 1073778376 140734618522464 139769288988040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27369/tid=27383] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27383/stat : 27383 (java) S 27367 27369 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253742627 10060460032 418571 33554432000 1073741824 1073778376 140734618522464 139769287936784 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27384] ppid=27367 vsize=9824668 CPUtime=0.97 cores=0,2,4,6
/proc/27369/task/27384/stat : 27384 (java) S 27367 27369 24583 0 -1 4202560 7200 0 0 0 95 2 0 0 20 0 22 0 253742627 10060460032 418571 33554432000 1073741824 1073778376 140734618522464 139769286883640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27385] ppid=27367 vsize=9824668 CPUtime=0.85 cores=0,2,4,6
/proc/27369/task/27385/stat : 27385 (java) S 27367 27369 24583 0 -1 4202560 5455 0 0 0 85 0 0 0 20 0 22 0 253742627 10060460032 418571 33554432000 1073741824 1073778376 140734618522464 139769285831096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27369/tid=27386] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27386/stat : 27386 (java) S 27367 27369 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253742627 10060460032 418571 33554432000 1073741824 1073778376 140734618522464 139769284778232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27369/tid=27387] ppid=27367 vsize=9824668 CPUtime=0.2 cores=0,2,4,6
/proc/27369/task/27387/stat : 27387 (java) S 27367 27369 24583 0 -1 4202560 52 0 0 0 9 11 0 0 20 0 22 0 253742627 10060460032 418571 33554432000 1073741824 1073778376 140734618522464 139769283725896 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27390] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27390/stat : 27390 (java) S 27367 27369 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253742637 10060460032 418571 33554432000 1073741824 1073778376 140734618522464 139769280566568 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27369/tid=27611] ppid=27367 vsize=9824668 CPUtime=94.55 cores=0,2,4,6
/proc/27369/task/27611/stat : 27611 (java) R 27367 27369 24583 0 -1 4202560 24 0 0 0 9454 1 0 0 20 0 22 0 253820536 10060460032 418571 33554432000 1073741824 1073778376 140734618522464 139769282670832 139769393130530 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27369/tid=27612] ppid=27367 vsize=9824668 CPUtime=94.54 cores=0,2,4,6
/proc/27369/task/27612/stat : 27612 (java) R 27367 27369 24583 0 -1 4202560 198 0 0 0 9453 1 0 0 20 0 22 0 253820536 10060460032 418571 33554432000 1073741824 1073778376 140734618522464 139769281616928 139769393192053 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27613] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27613/stat : 27613 (java) S 27367 27369 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253820631 10060460032 418571 33554432000 1073741824 1073778376 140734618522464 139769279514280 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1725.03
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+920.301 s]
/proc/loadavg: 3.97 3.96 3.83 5/219 27617
/proc/meminfo: memFree=27252360/32873648 swapFree=6856/6856
[pid=27369] ppid=27367 vsize=9824668 CPUtime=1800.14 cores=0,2,4,6
/proc/27369/stat : 27369 (java) S 27367 27369 24583 0 -1 4202496 31650 0 1 0 179774 240 0 0 20 0 22 0 253742620 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 140734618513600 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27369/statm: 2456167 430880 2280 9 0 2446860 0
[pid=27369/tid=27371] ppid=27367 vsize=9824668 CPUtime=0.17 cores=0,2,4,6
/proc/27369/task/27371/stat : 27371 (java) S 27367 27369 24583 0 -1 4202560 2497 0 1 0 15 2 0 0 20 0 22 0 253742622 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769534202872 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27369/tid=27372] ppid=27367 vsize=9824668 CPUtime=1.91 cores=0,2,4,6
/proc/27369/task/27372/stat : 27372 (java) S 27367 27369 24583 0 -1 4202560 1155 0 0 0 178 13 0 0 20 0 22 0 253742623 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769512303528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27373] ppid=27367 vsize=9824668 CPUtime=1.89 cores=0,2,4,6
/proc/27369/task/27373/stat : 27373 (java) S 27367 27369 24583 0 -1 4202560 1700 0 0 0 178 11 0 0 20 0 22 0 253742623 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769511250984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27369/tid=27374] ppid=27367 vsize=9824668 CPUtime=1.81 cores=0,2,4,6
/proc/27369/task/27374/stat : 27374 (java) S 27367 27369 24583 0 -1 4202560 1213 0 0 0 170 11 0 0 20 0 22 0 253742623 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769308768936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27369/tid=27375] ppid=27367 vsize=9824668 CPUtime=1.88 cores=0,2,4,6
/proc/27369/task/27375/stat : 27375 (java) S 27367 27369 24583 0 -1 4202560 1235 0 0 0 174 14 0 0 20 0 22 0 253742623 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769307716392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27369/tid=27376] ppid=27367 vsize=9824668 CPUtime=1.76 cores=0,2,4,6
/proc/27369/task/27376/stat : 27376 (java) S 27367 27369 24583 0 -1 4202560 1039 0 0 0 165 11 0 0 20 0 22 0 253742623 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769306663336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27369/tid=27377] ppid=27367 vsize=9824668 CPUtime=1.76 cores=0,2,4,6
/proc/27369/task/27377/stat : 27377 (java) S 27367 27369 24583 0 -1 4202560 1459 0 0 0 166 10 0 0 20 0 22 0 253742623 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769305610792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27378] ppid=27367 vsize=9824668 CPUtime=1.85 cores=0,2,4,6
/proc/27369/task/27378/stat : 27378 (java) S 27367 27369 24583 0 -1 4202560 1200 0 0 0 174 11 0 0 20 0 22 0 253742623 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769304557736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27379] ppid=27367 vsize=9824668 CPUtime=1.84 cores=0,2,4,6
/proc/27369/task/27379/stat : 27379 (java) S 27367 27369 24583 0 -1 4202560 1605 0 0 0 175 9 0 0 20 0 22 0 253742623 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769303505192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27369/tid=27380] ppid=27367 vsize=9824668 CPUtime=24.29 cores=0,2,4,6
/proc/27369/task/27380/stat : 27380 (java) S 27367 27369 24583 0 -1 4202560 1439 0 0 0 2400 29 0 0 20 0 22 0 253742624 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769291094888 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27369/tid=27381] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27381/stat : 27381 (java) S 27367 27369 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253742625 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769290041208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27369/tid=27382] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27382/stat : 27382 (java) S 27367 27369 24583 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 22 0 253742625 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769288988040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27369/tid=27383] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27383/stat : 27383 (java) S 27367 27369 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253742627 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769287936784 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27384] ppid=27367 vsize=9824668 CPUtime=0.97 cores=0,2,4,6
/proc/27369/task/27384/stat : 27384 (java) S 27367 27369 24583 0 -1 4202560 7200 0 0 0 95 2 0 0 20 0 22 0 253742627 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769286883640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27385] ppid=27367 vsize=9824668 CPUtime=0.85 cores=0,2,4,6
/proc/27369/task/27385/stat : 27385 (java) S 27367 27369 24583 0 -1 4202560 5455 0 0 0 85 0 0 0 20 0 22 0 253742627 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769285831096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27369/tid=27386] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27386/stat : 27386 (java) S 27367 27369 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253742627 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769284778232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27369/tid=27387] ppid=27367 vsize=9824668 CPUtime=0.21 cores=0,2,4,6
/proc/27369/task/27387/stat : 27387 (java) S 27367 27369 24583 0 -1 4202560 54 0 0 0 10 11 0 0 20 0 22 0 253742627 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769283725896 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27369/tid=27390] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27390/stat : 27390 (java) S 27367 27369 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253742637 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769280566568 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27369/tid=27611] ppid=27367 vsize=9824668 CPUtime=131.4 cores=0,2,4,6
/proc/27369/task/27611/stat : 27611 (java) R 27367 27369 24583 0 -1 4202560 26 0 0 0 13139 1 0 0 20 0 22 0 253820536 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769282670832 139769393239006 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27369/tid=27612] ppid=27367 vsize=9824668 CPUtime=131.41 cores=0,2,4,6
/proc/27369/task/27612/stat : 27612 (java) R 27367 27369 24583 0 -1 4202560 207 0 0 0 13138 3 0 0 20 0 22 0 253820536 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769281616656 139769393606517 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27613] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27613/stat : 27613 (java) S 27367 27369 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253820631 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769279514280 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
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+920.301 s]
/proc/loadavg: 3.97 3.96 3.83 5/219 27617
/proc/meminfo: memFree=27252360/32873648 swapFree=6856/6856
[pid=27369] ppid=27367 vsize=9824668 CPUtime=1800.14 cores=0,2,4,6
/proc/27369/stat : 27369 (java) S 27367 27369 24583 0 -1 4202496 31650 0 1 0 179774 240 0 0 20 0 22 0 253742620 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 140734618513600 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27369/statm: 2456167 430880 2280 9 0 2446860 0
[pid=27369/tid=27371] ppid=27367 vsize=9824668 CPUtime=0.17 cores=0,2,4,6
/proc/27369/task/27371/stat : 27371 (java) S 27367 27369 24583 0 -1 4202560 2497 0 1 0 15 2 0 0 20 0 22 0 253742622 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769534202872 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27369/tid=27372] ppid=27367 vsize=9824668 CPUtime=1.91 cores=0,2,4,6
/proc/27369/task/27372/stat : 27372 (java) S 27367 27369 24583 0 -1 4202560 1155 0 0 0 178 13 0 0 20 0 22 0 253742623 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769512303528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27373] ppid=27367 vsize=9824668 CPUtime=1.89 cores=0,2,4,6
/proc/27369/task/27373/stat : 27373 (java) S 27367 27369 24583 0 -1 4202560 1700 0 0 0 178 11 0 0 20 0 22 0 253742623 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769511250984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27369/tid=27374] ppid=27367 vsize=9824668 CPUtime=1.81 cores=0,2,4,6
/proc/27369/task/27374/stat : 27374 (java) S 27367 27369 24583 0 -1 4202560 1213 0 0 0 170 11 0 0 20 0 22 0 253742623 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769308768936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27369/tid=27375] ppid=27367 vsize=9824668 CPUtime=1.88 cores=0,2,4,6
/proc/27369/task/27375/stat : 27375 (java) S 27367 27369 24583 0 -1 4202560 1235 0 0 0 174 14 0 0 20 0 22 0 253742623 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769307716392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27369/tid=27376] ppid=27367 vsize=9824668 CPUtime=1.76 cores=0,2,4,6
/proc/27369/task/27376/stat : 27376 (java) S 27367 27369 24583 0 -1 4202560 1039 0 0 0 165 11 0 0 20 0 22 0 253742623 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769306663336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27369/tid=27377] ppid=27367 vsize=9824668 CPUtime=1.76 cores=0,2,4,6
/proc/27369/task/27377/stat : 27377 (java) S 27367 27369 24583 0 -1 4202560 1459 0 0 0 166 10 0 0 20 0 22 0 253742623 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769305610792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27378] ppid=27367 vsize=9824668 CPUtime=1.85 cores=0,2,4,6
/proc/27369/task/27378/stat : 27378 (java) S 27367 27369 24583 0 -1 4202560 1200 0 0 0 174 11 0 0 20 0 22 0 253742623 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769304557736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27379] ppid=27367 vsize=9824668 CPUtime=1.84 cores=0,2,4,6
/proc/27369/task/27379/stat : 27379 (java) S 27367 27369 24583 0 -1 4202560 1605 0 0 0 175 9 0 0 20 0 22 0 253742623 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769303505192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27369/tid=27380] ppid=27367 vsize=9824668 CPUtime=24.29 cores=0,2,4,6
/proc/27369/task/27380/stat : 27380 (java) S 27367 27369 24583 0 -1 4202560 1439 0 0 0 2400 29 0 0 20 0 22 0 253742624 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769291094888 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27369/tid=27381] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27381/stat : 27381 (java) S 27367 27369 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253742625 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769290041208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27369/tid=27382] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27382/stat : 27382 (java) S 27367 27369 24583 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 22 0 253742625 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769288988040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27369/tid=27383] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27383/stat : 27383 (java) S 27367 27369 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253742627 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769287936784 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27384] ppid=27367 vsize=9824668 CPUtime=0.97 cores=0,2,4,6
/proc/27369/task/27384/stat : 27384 (java) S 27367 27369 24583 0 -1 4202560 7200 0 0 0 95 2 0 0 20 0 22 0 253742627 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769286883640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27385] ppid=27367 vsize=9824668 CPUtime=0.85 cores=0,2,4,6
/proc/27369/task/27385/stat : 27385 (java) S 27367 27369 24583 0 -1 4202560 5455 0 0 0 85 0 0 0 20 0 22 0 253742627 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769285831096 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27369/tid=27386] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27386/stat : 27386 (java) S 27367 27369 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253742627 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769284778232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27369/tid=27387] ppid=27367 vsize=9824668 CPUtime=0.21 cores=0,2,4,6
/proc/27369/task/27387/stat : 27387 (java) S 27367 27369 24583 0 -1 4202560 54 0 0 0 10 11 0 0 20 0 22 0 253742627 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769283725896 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27369/tid=27390] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27390/stat : 27390 (java) S 27367 27369 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253742637 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769280566568 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27369/tid=27611] ppid=27367 vsize=9824668 CPUtime=131.4 cores=0,2,4,6
/proc/27369/task/27611/stat : 27611 (java) R 27367 27369 24583 0 -1 4202560 26 0 0 0 13139 1 0 0 20 0 22 0 253820536 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769282670832 139769393239006 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27369/tid=27612] ppid=27367 vsize=9824668 CPUtime=131.41 cores=0,2,4,6
/proc/27369/task/27612/stat : 27612 (java) R 27367 27369 24583 0 -1 4202560 207 0 0 0 13138 3 0 0 20 0 22 0 253820536 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769281616656 139769393606517 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27369/tid=27613] ppid=27367 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27369/task/27613/stat : 27613 (java) S 27367 27369 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253820631 10060460032 430880 33554432000 1073741824 1073778376 140734618522464 139769279514280 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 9824668

Child status: 143
Real time (s): 920.352
CPU time (s): 1800.45
CPU user time (s): 1797.84
CPU system time (s): 2.6116
CPU usage (%): 195.626
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.84
system time used= 2.6116
maximum resident set size= 1723664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31688
page faults= 1
swaps= 0
block input operations= 0
block output operations= 912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32719
involuntary context switches= 40551

runsolver used 3.53146 second user time and 8.09377 second system time

The end

Launcher Data 

Begin job on node125 at 2012-05-24 18:16:12
IDJOB=3688232
IDBENCH=2914
IDSOLVER=2268
FILE ID=node125/3688232-1337876172
RUNJOBID= node125-1337871881-24599
PBS_JOBID= 14620079
Free space on /tmp= 71700 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_4.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688232-1337876172/watcher-3688232-1337876172 -o /tmp/evaluation-result-3688232-1337876172/solver-3688232-1337876172 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3688232-1337876172.opb

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

MD5SUM BENCH= a470052ca6f8034e2c6c08868e52d9e8
RANDOM SEED=2043705641

node125.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.373
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.74
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.373
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.373
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.92
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.373
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.90
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.373
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.91
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.373
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	: 5438.54
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.373
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.91
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.373
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27679628 kB
Buffers:          202816 kB
Cached:          2193932 kB
SwapCached:            0 kB
Active:          2629088 kB
Inactive:        1796680 kB
Active(anon):    2031596 kB
Inactive(anon):        0 kB
Active(file):     597492 kB
Inactive(file):  1796680 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               524 kB
Writeback:             0 kB
AnonPages:       2035764 kB
Mapped:            22616 kB
Shmem:               200 kB
Slab:             627212 kB
SReclaimable:      71192 kB
SUnreclaim:       556020 kB
KernelStack:        1632 kB
PageTables:         8672 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    2399784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1974272 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node125 at 2012-05-24 18:31:34