Trace number 3688247

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 Resolution 2.3.2 SnapshotSAT (TO)3 1800.57 1794.45

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_2.opb
MD5SUMc0264878059fff5e6fa5f51839a60b24
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 benchmark1789.77
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 constraint54
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 1196
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4099
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.11	c Pseudo Boolean Optimization by upper bound
0.08/0.11	c --- Begin Solver configuration ---
0.08/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.11	c No reason simplification
0.08/0.11	c Armin Biere (Picosat) restarts strategy
0.08/0.11	c Glucose learned constraints deletion strategy
0.08/0.11	c timeout=2147483s
0.08/0.11	c DB Simplification allowed=false
0.08/0.11	c c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-3688247-1337880937.opb
0.08/0.11	c reading problem ... 
0.08/0.14	c ... done. Wall clock time 0.029s.
0.08/0.14	c declared #vars     120
0.08/0.14	c #constraints  10
0.08/0.14	c constraints type 
0.08/0.14	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 10
0.08/0.14	c 10 constraints processed.
0.08/0.14	c objective function length is 80 literals
0.08/0.18	c SATISFIABLE
0.08/0.18	c OPTIMIZING...
0.08/0.18	c Got one! Elapsed wall clock time (in seconds):0.067
0.08/0.18	o 142
0.29/0.21	c Got one! Elapsed wall clock time (in seconds):0.09
0.29/0.21	o 84
0.29/0.22	c Got one! Elapsed wall clock time (in seconds):0.105
0.29/0.22	o 81
0.29/0.23	c Got one! Elapsed wall clock time (in seconds):0.118
0.29/0.23	o 77
0.29/0.24	c Got one! Elapsed wall clock time (in seconds):0.124
0.29/0.24	o 64
0.29/0.29	c Got one! Elapsed wall clock time (in seconds):0.176
0.29/0.29	o 62
0.47/0.36	c Got one! Elapsed wall clock time (in seconds):0.24
0.47/0.36	o 60
0.47/0.38	c Got one! Elapsed wall clock time (in seconds):0.261
0.47/0.38	o 56
0.60/0.41	c Got one! Elapsed wall clock time (in seconds):0.291
0.60/0.41	o 55
0.60/0.42	c Got one! Elapsed wall clock time (in seconds):0.309
0.60/0.42	o 53
0.60/0.44	c Got one! Elapsed wall clock time (in seconds):0.324
0.60/0.44	o 48
0.60/0.48	c Got one! Elapsed wall clock time (in seconds):0.366
0.60/0.48	o 47
0.73/0.54	c Got one! Elapsed wall clock time (in seconds):0.43
0.73/0.54	o 45
0.73/0.57	c Got one! Elapsed wall clock time (in seconds):0.456
0.73/0.57	o 44
0.85/0.60	c Got one! Elapsed wall clock time (in seconds):0.484
0.85/0.60	o 43
0.85/0.69	c cleaning 5860 clauses out of 11720 with flag 1000/11720
0.99/0.72	c Got one! Elapsed wall clock time (in seconds):0.606
0.99/0.72	o 42
0.99/0.75	c Got one! Elapsed wall clock time (in seconds):0.638
0.99/0.75	o 41
1.10/0.86	c Got one! Elapsed wall clock time (in seconds):0.747
1.10/0.86	o 39
1.20/0.95	c cleaning 6566 clauses out of 13132 with flag 2000/18992
1.32/1.04	c Got one! Elapsed wall clock time (in seconds):0.925
1.32/1.04	o 37
1.32/1.08	c Got one! Elapsed wall clock time (in seconds):0.962
1.32/1.08	o 35
1.32/1.10	c Got one! Elapsed wall clock time (in seconds):0.984
1.32/1.10	o 32
1.42/1.14	c Got one! Elapsed wall clock time (in seconds):1.029
1.42/1.14	o 31
1.53/1.21	c cleaning 6495 clauses out of 13005 with flag 1000/25431
1.53/1.24	c Got one! Elapsed wall clock time (in seconds):1.127
1.53/1.24	o 30
1.65/1.35	c Got one! Elapsed wall clock time (in seconds):1.233
1.65/1.35	o 29
1.85/1.51	c cleaning 6523 clauses out of 13067 with flag 3000/31988
1.95/1.60	c Got one! Elapsed wall clock time (in seconds):1.483
1.95/1.60	o 27
2.05/1.73	c cleaning 6147 clauses out of 12306 with flag 3001/37750
2.05/1.79	c Got one! Elapsed wall clock time (in seconds):1.671
2.05/1.79	o 25
2.26/1.93	c cleaning 5829 clauses out of 11664 with flag 4001/43255
2.26/1.99	c Got one! Elapsed wall clock time (in seconds):1.879
2.26/1.99	o 23
2.48/2.10	c cleaning 5453 clauses out of 10922 with flag 3000/48342
2.58/2.21	c Got one! Elapsed wall clock time (in seconds):2.092
2.58/2.21	o 21
2.58/2.29	c cleaning 5269 clauses out of 10541 with flag 2000/53414
2.76/2.31	c Got one! Elapsed wall clock time (in seconds):2.192
2.76/2.37	o 20
2.90/2.46	c cleaning 5221 clauses out of 10451 with flag 5002/58593
3.00/2.50	c Got one! Elapsed wall clock time (in seconds):2.384
3.00/2.50	o 19
3.10/2.63	c Got one! Elapsed wall clock time (in seconds):2.519
3.10/2.63	o 17
3.10/2.69	c cleaning 5716 clauses out of 11441 with flag 1000/64804
3.30/2.89	c cleaning 5859 clauses out of 11725 with flag 7000/70804
3.60/3.17	c cleaning 6431 clauses out of 12866 with flag 14000/77804
3.81/3.37	c Got one! Elapsed wall clock time (in seconds):3.255
3.81/3.37	o 16
3.90/3.43	c cleaning 6206 clauses out of 12415 with flag 1004/83784
4.02/3.57	c Got one! Elapsed wall clock time (in seconds):3.451
4.02/3.57	o 15
4.12/3.62	c cleaning 5622 clauses out of 11247 with flag 1001/88822
4.32/3.85	c cleaning 5810 clauses out of 11624 with flag 7000/94821
4.43/3.95	c Got one! Elapsed wall clock time (in seconds):3.834
4.43/3.95	o 14
4.53/4.04	c cleaning 5459 clauses out of 10927 with flag 2001/99934
4.73/4.25	c cleaning 5731 clauses out of 11467 with flag 8000/105933
5.03/4.53	c cleaning 6368 clauses out of 12738 with flag 15002/112935
5.33/4.83	c cleaning 7184 clauses out of 14369 with flag 23001/120934
5.64/5.19	c cleaning 8091 clauses out of 16185 with flag 32001/129934
6.14/5.61	c cleaning 9046 clauses out of 18094 with flag 42001/139934
6.44/5.90	c Got one! Elapsed wall clock time (in seconds):5.79
6.44/5.90	o 13
6.64/6.17	c cleaning 10529 clauses out of 21074 with flag 5002/151960
6.95/6.44	c cleaning 8270 clauses out of 16545 with flag 11002/157960
7.25/6.72	c cleaning 7637 clauses out of 15275 with flag 18002/164960
7.56/7.02	c cleaning 7818 clauses out of 15637 with flag 26001/172959
7.96/7.41	c cleaning 8407 clauses out of 16818 with flag 35000/181958
8.06/7.50	c Got one! Elapsed wall clock time (in seconds):7.388
8.06/7.50	o 12
8.17/7.64	c cleaning 7027 clauses out of 14073 with flag 3000/187620
8.37/7.82	c cleaning 6516 clauses out of 13047 with flag 9001/193621
8.57/8.02	c cleaning 6760 clauses out of 13530 with flag 16000/200620
8.77/8.27	c cleaning 7386 clauses out of 14771 with flag 24001/208621
9.17/8.62	c cleaning 8190 clauses out of 16385 with flag 33001/217621
9.58/9.04	c cleaning 9099 clauses out of 18198 with flag 43004/227624
9.99/9.46	c cleaning 10046 clauses out of 20097 with flag 54002/238622
10.60/10.01	c cleaning 11025 clauses out of 22050 with flag 66001/250621
11.22/10.65	c cleaning 12012 clauses out of 24025 with flag 79001/263621
11.32/10.74	c Got one! Elapsed wall clock time (in seconds):10.628
11.32/10.74	o 11
11.42/10.87	c cleaning 8745 clauses out of 17499 with flag 3000/269107
11.74/11.10	c cleaning 7374 clauses out of 14754 with flag 9000/275107
11.95/11.39	c cleaning 7186 clauses out of 14380 with flag 16000/282107
12.36/11.70	c cleaning 7595 clauses out of 15196 with flag 24002/290109
12.67/12.04	c cleaning 8300 clauses out of 16601 with flag 33002/299109
13.06/12.45	c cleaning 9150 clauses out of 18299 with flag 43000/309107
13.49/12.84	c Got one! Elapsed wall clock time (in seconds):12.729
13.49/12.84	o 9
13.81/13.15	c cleaning 12435 clauses out of 24886 with flag 5001/324844
14.11/13.43	c cleaning 9216 clauses out of 18452 with flag 11002/330845
14.42/13.72	c cleaning 8108 clauses out of 16234 with flag 18000/337843
14.72/14.05	c cleaning 8058 clauses out of 16128 with flag 26002/345845
15.03/14.39	c cleaning 8532 clauses out of 17069 with flag 35001/354844
15.44/14.79	c cleaning 9264 clauses out of 18536 with flag 45000/364843
15.94/15.23	c cleaning 10132 clauses out of 20272 with flag 56000/375843
16.44/15.72	c cleaning 11068 clauses out of 22142 with flag 68002/387845
17.06/16.31	c cleaning 12039 clauses out of 24078 with flag 81006/400849
17.68/16.94	c cleaning 13015 clauses out of 26033 with flag 95000/414843
18.39/17.63	c cleaning 14004 clauses out of 28018 with flag 110000/429843
19.18/18.44	c cleaning 15005 clauses out of 30014 with flag 126000/445843
20.00/19.28	c cleaning 16003 clauses out of 32009 with flag 143000/462843
21.02/20.21	c cleaning 17001 clauses out of 34006 with flag 161000/480843
21.94/21.17	c cleaning 18000 clauses out of 36007 with flag 180002/499845
23.04/22.26	c cleaning 18999 clauses out of 38005 with flag 200000/519843
24.24/23.40	c cleaning 19997 clauses out of 40006 with flag 221000/540843
24.86/24.04	c Got one! Elapsed wall clock time (in seconds):23.921
24.86/24.04	o 8
25.36/24.52	c cleaning 19639 clauses out of 39291 with flag 5000/560125
25.66/24.86	c cleaning 12815 clauses out of 25652 with flag 11000/566125
25.96/25.18	c cleaning 9913 clauses out of 19837 with flag 18000/573125
26.28/25.50	c cleaning 8955 clauses out of 17924 with flag 26000/581125
26.68/25.87	c cleaning 8982 clauses out of 17970 with flag 35001/590126
27.08/26.26	c cleaning 9488 clauses out of 18987 with flag 45000/600125
27.58/26.70	c cleaning 10246 clauses out of 20502 with flag 56003/611128
28.10/27.21	c cleaning 11126 clauses out of 22254 with flag 68001/623126
28.60/27.80	c cleaning 12064 clauses out of 24127 with flag 81000/636125
28.91/28.05	c Got one! Elapsed wall clock time (in seconds):27.933
28.91/28.05	o 7
29.21/28.32	c cleaning 11965 clauses out of 23932 with flag 5001/647994
29.41/28.57	c cleaning 8975 clauses out of 17967 with flag 11001/653994
29.71/28.85	c cleaning 7991 clauses out of 15992 with flag 18001/660994
30.01/29.14	c cleaning 7996 clauses out of 16002 with flag 26002/668995
30.31/29.46	c cleaning 8502 clauses out of 17004 with flag 35000/677993
30.71/29.84	c cleaning 9249 clauses out of 18502 with flag 45000/687993
31.11/30.29	c cleaning 10120 clauses out of 20253 with flag 56000/698993
31.72/30.82	c cleaning 11065 clauses out of 22135 with flag 68002/710995
32.22/31.39	c cleaning 12035 clauses out of 24071 with flag 81003/723996
32.92/32.04	c cleaning 13013 clauses out of 26034 with flag 95001/737994
33.63/32.79	c cleaning 14010 clauses out of 28020 with flag 110000/752993
34.53/33.64	c cleaning 15003 clauses out of 30011 with flag 126001/768994
35.44/34.52	c cleaning 16003 clauses out of 32008 with flag 143001/785994
36.46/35.54	c cleaning 16999 clauses out of 34004 with flag 161000/803993
37.46/36.57	c cleaning 18000 clauses out of 36005 with flag 180000/822993
38.46/37.58	c cleaning 18998 clauses out of 38006 with flag 200001/842994
39.67/38.70	c cleaning 20000 clauses out of 40007 with flag 221000/863993
41.08/40.10	c cleaning 21004 clauses out of 42008 with flag 243001/885994
42.28/41.35	c cleaning 22001 clauses out of 44003 with flag 266000/908993
43.69/42.70	c cleaning 22999 clauses out of 46003 with flag 290001/932994
45.02/44.08	c cleaning 24001 clauses out of 48003 with flag 315000/957993
46.51/45.50	c cleaning 24999 clauses out of 50003 with flag 341001/983994
48.02/47.08	c cleaning 26005 clauses out of 52009 with flag 368006/1010999
49.97/48.91	c cleaning 26999 clauses out of 53998 with flag 396000/1038993
51.88/50.84	c cleaning 27998 clauses out of 56001 with flag 425002/1067995
53.98/52.92	c cleaning 29001 clauses out of 58002 with flag 455001/1097994
55.89/54.90	c cleaning 29999 clauses out of 60000 with flag 486000/1128993
57.50/56.40	c Got one! Elapsed wall clock time (in seconds):56.285
57.50/56.40	o 6
58.22/57.15	c cleaning 31472 clauses out of 62959 with flag 5002/1161951
58.62/57.59	c cleaning 18732 clauses out of 37485 with flag 11000/1167949
59.04/57.97	c cleaning 12867 clauses out of 25753 with flag 18000/1174949
59.45/58.33	c cleaning 10442 clauses out of 20887 with flag 26001/1182950
59.85/58.75	c cleaning 9723 clauses out of 19450 with flag 35006/1191955
60.26/59.18	c cleaning 9859 clauses out of 19722 with flag 45001/1201950
60.78/59.68	c cleaning 10426 clauses out of 20863 with flag 56001/1212950
61.39/60.22	c cleaning 11219 clauses out of 22437 with flag 68001/1224950
62.01/60.81	c cleaning 12110 clauses out of 24221 with flag 81004/1237953
62.62/61.46	c cleaning 13052 clauses out of 26109 with flag 95002/1251951
63.33/62.14	c cleaning 14026 clauses out of 28058 with flag 110003/1266952
64.03/62.89	c cleaning 15009 clauses out of 30030 with flag 126001/1282950
64.96/63.76	c cleaning 16007 clauses out of 32022 with flag 143002/1299951
65.96/64.73	c cleaning 16999 clauses out of 34015 with flag 161002/1317951
66.96/65.70	c cleaning 18002 clauses out of 36015 with flag 180001/1336950
67.97/66.76	c cleaning 19005 clauses out of 38013 with flag 200001/1356950
69.17/67.95	c cleaning 19999 clauses out of 40007 with flag 221000/1377949
70.37/69.16	c cleaning 21006 clauses out of 42013 with flag 243005/1399954
71.69/70.41	c cleaning 22002 clauses out of 44004 with flag 266002/1422951
73.10/71.83	c cleaning 22997 clauses out of 46001 with flag 290001/1446950
74.51/73.22	c cleaning 24001 clauses out of 48007 with flag 315004/1471953
75.92/74.62	c cleaning 24996 clauses out of 50002 with flag 341000/1497949
77.62/76.35	c cleaning 25996 clauses out of 52006 with flag 368000/1524949
79.34/78.06	c cleaning 27000 clauses out of 54011 with flag 396001/1552950
81.13/79.85	c cleaning 27997 clauses out of 56010 with flag 425000/1581949
83.17/81.81	c cleaning 29009 clauses out of 58017 with flag 455004/1611953
85.29/83.96	c cleaning 29996 clauses out of 60004 with flag 486000/1642949
87.71/86.36	c cleaning 30998 clauses out of 62010 with flag 518002/1674951
89.91/88.57	c cleaning 32000 clauses out of 64010 with flag 551000/1707949
92.35/90.92	c cleaning 33001 clauses out of 66010 with flag 585000/1741949
93.07/91.64	c Got one! Elapsed wall clock time (in seconds):91.528
93.07/91.64	o 5
93.67/92.22	c cleaning 26065 clauses out of 52156 with flag 5001/1761096
94.09/92.63	c cleaning 16041 clauses out of 32092 with flag 11002/1767097
94.39/92.90	c cleaning 11518 clauses out of 23050 with flag 18001/1774096
94.64/93.18	c cleaning 9761 clauses out of 19535 with flag 26004/1782099
94.95/93.48	c cleaning 9377 clauses out of 18770 with flag 35000/1791095
95.35/93.82	c cleaning 9695 clauses out of 19394 with flag 45001/1801096
95.75/94.20	c cleaning 10349 clauses out of 20701 with flag 56003/1812098
96.17/94.67	c cleaning 11174 clauses out of 22350 with flag 68001/1824096
96.78/95.20	c cleaning 12089 clauses out of 24177 with flag 81002/1837097
97.28/95.76	c cleaning 13038 clauses out of 26086 with flag 95000/1851095
97.98/96.44	c cleaning 14020 clauses out of 28049 with flag 110001/1866096
98.79/97.20	c cleaning 15015 clauses out of 30029 with flag 126001/1882096
99.60/98.00	c cleaning 16004 clauses out of 32014 with flag 143001/1899096
100.40/98.90	c cleaning 17005 clauses out of 34012 with flag 161003/1917098
101.52/99.92	c cleaning 18003 clauses out of 36005 with flag 180001/1936096
102.53/100.93	c cleaning 18999 clauses out of 38001 with flag 200000/1956095
103.63/102.02	c cleaning 20001 clauses out of 40002 with flag 221000/1977095
104.94/103.37	c cleaning 21000 clauses out of 42002 with flag 243001/1999096
106.33/104.72	c cleaning 22001 clauses out of 44003 with flag 266002/2022097
107.73/106.17	c cleaning 23000 clauses out of 46003 with flag 290003/2046098
109.35/107.77	c cleaning 24000 clauses out of 48000 with flag 315000/2071095
110.94/109.35	c cleaning 25003 clauses out of 50006 with flag 341006/2097101
112.77/111.12	c cleaning 25993 clauses out of 51998 with flag 368001/2124096
114.58/112.92	c cleaning 26998 clauses out of 54006 with flag 396002/2152097
116.48/114.83	c cleaning 27998 clauses out of 56006 with flag 425000/2181095
118.21/116.53	c cleaning 29001 clauses out of 58008 with flag 455000/2211095
120.10/118.43	c cleaning 29998 clauses out of 60007 with flag 486000/2242095
122.20/120.51	c cleaning 31004 clauses out of 62010 with flag 518001/2274096
124.41/122.78	c cleaning 32002 clauses out of 64008 with flag 551003/2307098
126.83/125.13	c cleaning 32999 clauses out of 66003 with flag 585000/2341095
129.24/127.56	c cleaning 34004 clauses out of 68007 with flag 620003/2376098
131.74/130.05	c cleaning 35001 clauses out of 70002 with flag 656002/2412097
134.55/132.81	c cleaning 36000 clauses out of 72000 with flag 693001/2449096
137.29/135.55	c cleaning 36992 clauses out of 74000 with flag 731001/2487096
140.20/138.44	c cleaning 38004 clauses out of 76008 with flag 770001/2526096
143.33/141.52	c cleaning 39003 clauses out of 78008 with flag 810005/2566100
146.85/145.05	c cleaning 39996 clauses out of 80001 with flag 851001/2607096
150.07/148.30	c cleaning 41000 clauses out of 82004 with flag 893000/2649095
153.49/151.64	c cleaning 41997 clauses out of 84004 with flag 936000/2692095
156.92/155.06	c cleaning 42997 clauses out of 86008 with flag 980001/2736096
160.62/158.73	c cleaning 44001 clauses out of 88010 with flag 1025000/2781095
164.63/162.72	c cleaning 45001 clauses out of 90010 with flag 1071001/2827096
168.43/166.55	c cleaning 45999 clauses out of 92008 with flag 1118000/2874095
172.84/170.94	c cleaning 47003 clauses out of 94009 with flag 1166000/2922095
176.95/175.05	c cleaning 47999 clauses out of 96006 with flag 1215000/2971095
181.78/179.88	c cleaning 49004 clauses out of 98012 with flag 1265005/3021100
187.20/185.23	c cleaning 49999 clauses out of 100005 with flag 1316002/3072097
191.73/189.77	c cleaning 50998 clauses out of 102006 with flag 1368002/3124097
196.55/194.60	c cleaning 52000 clauses out of 104007 with flag 1421001/3177096
201.28/199.20	c cleaning 52996 clauses out of 106006 with flag 1475000/3231095
206.61/204.60	c cleaning 54001 clauses out of 108010 with flag 1530000/3286095
211.72/209.64	c cleaning 55000 clauses out of 110010 with flag 1586001/3342096
217.05/214.96	c cleaning 56001 clauses out of 112009 with flag 1643000/3399095
223.39/221.28	c cleaning 57003 clauses out of 114010 with flag 1701002/3457097
230.00/227.90	c cleaning 58001 clauses out of 116007 with flag 1760002/3516097
236.41/234.22	c cleaning 58995 clauses out of 118004 with flag 1820000/3576095
243.03/240.80	c cleaning 60004 clauses out of 120009 with flag 1881000/3637095
248.67/246.49	c cleaning 60999 clauses out of 122007 with flag 1943002/3699097
254.97/252.75	c cleaning 62002 clauses out of 124009 with flag 2006003/3762098
261.27/259.09	c cleaning 63001 clauses out of 126006 with flag 2070002/3826097
268.43/266.13	c cleaning 63998 clauses out of 128003 with flag 2135000/3891095
275.75/273.44	c cleaning 65000 clauses out of 130009 with flag 2201004/3957099
282.97/280.66	c cleaning 65999 clauses out of 132005 with flag 2268000/4024095
290.69/288.33	c cleaning 67003 clauses out of 134006 with flag 2336000/4092095
298.23/295.88	c cleaning 68001 clauses out of 136006 with flag 2405003/4161098
305.44/303.02	c cleaning 68995 clauses out of 138002 with flag 2475000/4231095
308.86/306.44	c Got one! Elapsed wall clock time (in seconds):306.329
308.86/306.44	o 4
310.96/308.54	c cleaning 60078 clauses out of 120172 with flag 5001/4282260
311.89/309.42	c cleaning 33048 clauses out of 66101 with flag 11008/4288267
312.39/309.97	c cleaning 20015 clauses out of 40046 with flag 18001/4295260
312.79/310.36	c cleaning 14009 clauses out of 28030 with flag 26000/4303259
313.21/310.75	c cleaning 11501 clauses out of 23021 with flag 35000/4312259
313.75/311.24	c cleaning 10751 clauses out of 21521 with flag 45001/4322260
314.25/311.77	c cleaning 10876 clauses out of 21772 with flag 56003/4333262
314.86/312.37	c cleaning 11439 clauses out of 22894 with flag 68001/4345260
315.58/313.05	c cleaning 12218 clauses out of 24454 with flag 81000/4358259
316.29/313.76	c cleaning 13108 clauses out of 26236 with flag 95000/4372259
317.09/314.59	c cleaning 14051 clauses out of 28129 with flag 110001/4387260
318.11/315.56	c cleaning 15032 clauses out of 30078 with flag 126001/4403260
319.22/316.62	c cleaning 16016 clauses out of 32049 with flag 143004/4420263
320.34/317.72	c cleaning 16999 clauses out of 34030 with flag 161001/4438260
321.55/318.92	c cleaning 18009 clauses out of 36033 with flag 180003/4457262
322.85/320.22	c cleaning 19003 clauses out of 38021 with flag 200000/4477259
324.15/321.54	c cleaning 20009 clauses out of 40020 with flag 221002/4498261
325.37/322.75	c cleaning 21005 clauses out of 42009 with flag 243000/4520259
326.80/324.18	c cleaning 22000 clauses out of 44004 with flag 266000/4543259
328.41/325.71	c cleaning 23001 clauses out of 46004 with flag 290000/4567259
329.92/327.21	c cleaning 24001 clauses out of 48005 with flag 315002/4592261
331.72/329.01	c cleaning 24998 clauses out of 50003 with flag 341001/4618260
333.54/330.81	c cleaning 25999 clauses out of 52006 with flag 368002/4645261
335.26/332.57	c cleaning 26997 clauses out of 54006 with flag 396001/4673260
337.17/334.50	c cleaning 28002 clauses out of 56010 with flag 425002/4702261
339.30/336.56	c cleaning 29001 clauses out of 58009 with flag 455003/4732262
341.39/338.67	c cleaning 29997 clauses out of 60005 with flag 486000/4763259
343.89/341.13	c cleaning 30998 clauses out of 62010 with flag 518002/4795261
346.40/343.61	c cleaning 31999 clauses out of 64010 with flag 551000/4828259
348.81/346.06	c cleaning 33005 clauses out of 66011 with flag 585000/4862259
351.31/348.60	c cleaning 33999 clauses out of 68006 with flag 620000/4897259
354.11/351.37	c cleaning 34997 clauses out of 70008 with flag 656001/4933260
357.12/354.31	c cleaning 36004 clauses out of 72010 with flag 693000/4970259
359.93/357.15	c cleaning 36999 clauses out of 74006 with flag 731000/5008259
363.14/360.33	c cleaning 38002 clauses out of 76009 with flag 770002/5047261
366.34/363.50	c cleaning 38999 clauses out of 78007 with flag 810002/5087261
369.67/366.88	c cleaning 40003 clauses out of 80006 with flag 851000/5128259
372.87/370.06	c cleaning 40995 clauses out of 82003 with flag 893000/5170259
376.39/373.52	c cleaning 42000 clauses out of 84009 with flag 936001/5213260
379.80/376.97	c cleaning 42997 clauses out of 86011 with flag 980003/5257262
383.44/380.54	c cleaning 44001 clauses out of 88011 with flag 1025000/5302259
387.24/384.32	c cleaning 45003 clauses out of 90014 with flag 1071004/5348263
391.34/388.47	c cleaning 46006 clauses out of 92011 with flag 1118004/5395263
395.76/392.86	c cleaning 46996 clauses out of 94002 with flag 1166001/5443260
400.27/397.33	c cleaning 48001 clauses out of 96009 with flag 1215004/5492263
404.88/401.95	c cleaning 48993 clauses out of 98004 with flag 1265000/5542259
409.51/406.53	c cleaning 50004 clauses out of 100012 with flag 1316001/5593260
414.21/411.26	c cleaning 50997 clauses out of 102008 with flag 1368001/5645260
418.82/415.90	c cleaning 52000 clauses out of 104011 with flag 1421001/5698260
423.64/420.69	c cleaning 53004 clauses out of 106010 with flag 1475000/5752259
428.77/425.71	c cleaning 54002 clauses out of 108008 with flag 1530002/5807261
433.69/430.60	c cleaning 55000 clauses out of 110005 with flag 1586001/5863260
438.99/435.94	c cleaning 55994 clauses out of 112004 with flag 1643000/5920259
444.50/441.49	c cleaning 57006 clauses out of 114014 with flag 1701004/5978263
450.33/447.28	c cleaning 57996 clauses out of 116005 with flag 1760001/6037260
456.13/453.09	c cleaning 59001 clauses out of 118008 with flag 1820000/6097259
461.96/458.83	c cleaning 60000 clauses out of 120009 with flag 1881002/6158261
467.68/464.51	c cleaning 61001 clauses out of 122007 with flag 1943000/6220259
473.91/470.76	c cleaning 62003 clauses out of 124006 with flag 2006000/6283259
480.91/477.76	c cleaning 62999 clauses out of 126004 with flag 2070001/6347260
487.83/484.64	c cleaning 63999 clauses out of 128004 with flag 2135000/6412259
495.33/492.16	c cleaning 65003 clauses out of 130007 with flag 2201002/6478261
500.34/497.20	c Got one! Elapsed wall clock time (in seconds):497.087
500.34/497.20	o 3
502.94/499.70	c cleaning 67074 clauses out of 134164 with flag 5001/6547421
503.76/500.59	c cleaning 36543 clauses out of 73093 with flag 11004/6553424
504.35/501.16	c cleaning 21761 clauses out of 43546 with flag 18000/6560420
504.87/501.62	c cleaning 14886 clauses out of 29786 with flag 26001/6568421
505.38/502.11	c cleaning 11940 clauses out of 23899 with flag 35000/6577420
505.89/502.62	c cleaning 10970 clauses out of 21959 with flag 45000/6587420
506.39/503.17	c cleaning 10991 clauses out of 21992 with flag 56003/6598423
507.02/503.78	c cleaning 11488 clauses out of 22998 with flag 68000/6610420
507.71/504.43	c cleaning 12253 clauses out of 24510 with flag 81000/6623420
508.43/505.17	c cleaning 13123 clauses out of 26259 with flag 95002/6637422
509.24/505.99	c cleaning 14051 clauses out of 28134 with flag 110000/6652420
510.23/506.93	c cleaning 15034 clauses out of 30083 with flag 126000/6668420
511.25/507.99	c cleaning 16017 clauses out of 32050 with flag 143001/6685421
512.46/509.14	c cleaning 17004 clauses out of 34032 with flag 161000/6703420
513.77/510.41	c cleaning 18006 clauses out of 36032 with flag 180004/6722424
514.88/511.51	c cleaning 19009 clauses out of 38022 with flag 200000/6742420
516.08/512.75	c cleaning 20011 clauses out of 40022 with flag 221009/6763429
517.50/514.12	c cleaning 21003 clauses out of 42005 with flag 243003/6785423
519.11/515.70	c cleaning 21996 clauses out of 43999 with flag 266000/6808420
520.44/517.05	c cleaning 22999 clauses out of 46004 with flag 290001/6832421
521.88/518.46	c cleaning 24000 clauses out of 48004 with flag 315000/6857420
523.58/520.15	c cleaning 25002 clauses out of 50006 with flag 341002/6883422
525.49/522.09	c cleaning 26001 clauses out of 52002 with flag 368000/6910420
527.51/524.03	c cleaning 27000 clauses out of 54003 with flag 396002/6938422
529.51/526.04	c cleaning 27998 clauses out of 56002 with flag 425001/6967421
531.54/528.04	c cleaning 28999 clauses out of 58003 with flag 455000/6997420
533.56/530.01	c cleaning 29995 clauses out of 60004 with flag 486000/7028420
535.68/532.16	c cleaning 30998 clauses out of 62009 with flag 518000/7060420
537.88/534.33	c cleaning 32003 clauses out of 64011 with flag 551000/7093420
540.18/536.66	c cleaning 33003 clauses out of 66010 with flag 585002/7127422
542.70/539.19	c cleaning 34001 clauses out of 68005 with flag 620000/7162420
545.31/541.74	c cleaning 35001 clauses out of 70005 with flag 656001/7198421
547.81/544.25	c cleaning 36002 clauses out of 72006 with flag 693003/7235423
550.74/547.14	c cleaning 37002 clauses out of 74003 with flag 731002/7273422
553.56/549.96	c cleaning 38000 clauses out of 76001 with flag 770002/7312422
556.56/552.98	c cleaning 39000 clauses out of 78000 with flag 810001/7352421
560.07/556.48	c cleaning 40000 clauses out of 79999 with flag 851000/7393420
563.49/559.86	c cleaning 40993 clauses out of 81999 with flag 893000/7435420
567.30/563.68	c cleaning 42001 clauses out of 84008 with flag 936002/7478422
570.61/566.92	c cleaning 42997 clauses out of 86005 with flag 980000/7522420
574.43/570.74	c cleaning 44002 clauses out of 88009 with flag 1025001/7567421
578.75/575.05	c cleaning 45000 clauses out of 90008 with flag 1071002/7613422
582.85/579.15	c cleaning 46000 clauses out of 92006 with flag 1118000/7660420
586.76/583.09	c cleaning 47002 clauses out of 94008 with flag 1166002/7708422
590.76/587.09	c cleaning 47998 clauses out of 96006 with flag 1215002/7757422
595.68/591.98	c cleaning 48999 clauses out of 98009 with flag 1265003/7807423
600.68/596.92	c cleaning 50002 clauses out of 100008 with flag 1316001/7858421
605.29/601.54	c cleaning 51000 clauses out of 102007 with flag 1368002/7910422
609.90/606.12	c cleaning 51998 clauses out of 104006 with flag 1421001/7963421
614.80/611.02	c cleaning 52999 clauses out of 106008 with flag 1475001/8017421
619.93/616.15	c cleaning 54005 clauses out of 108009 with flag 1530001/8072421
626.15/622.30	c cleaning 54997 clauses out of 110003 with flag 1586000/8128420
631.57/627.72	c cleaning 56001 clauses out of 112007 with flag 1643001/8185421
638.18/634.35	c cleaning 57005 clauses out of 114009 with flag 1701004/8243424
644.89/641.08	c cleaning 57997 clauses out of 116000 with flag 1760000/8302420
651.60/647.80	c cleaning 58996 clauses out of 118003 with flag 1820000/8362420
657.52/653.64	c cleaning 60000 clauses out of 120007 with flag 1881000/8423420
663.73/659.85	c cleaning 61000 clauses out of 122007 with flag 1943000/8485420
670.33/666.40	c cleaning 62003 clauses out of 124007 with flag 2006000/8548420
676.56/672.66	c cleaning 62996 clauses out of 126005 with flag 2070001/8612421
684.18/680.22	c cleaning 64000 clauses out of 128009 with flag 2135001/8677421
691.50/687.54	c cleaning 65000 clauses out of 130008 with flag 2201000/8743420
698.11/694.17	c cleaning 66002 clauses out of 132010 with flag 2268002/8810422
705.30/701.30	c cleaning 67001 clauses out of 134006 with flag 2336000/8878420
712.93/708.97	c cleaning 68001 clauses out of 136005 with flag 2405000/8947420
720.26/716.28	c cleaning 68989 clauses out of 138004 with flag 2475000/9017420
727.87/723.85	c cleaning 70004 clauses out of 140015 with flag 2546000/9088420
735.17/731.20	c cleaning 71005 clauses out of 142012 with flag 2618001/9160421
742.48/738.45	c cleaning 71997 clauses out of 144006 with flag 2691000/9233420
751.58/747.59	c cleaning 72999 clauses out of 146009 with flag 2765000/9307420
760.40/756.32	c cleaning 74005 clauses out of 148012 with flag 2840002/9382422
768.52/764.49	c cleaning 74999 clauses out of 150007 with flag 2916002/9458422
776.72/772.63	c cleaning 75995 clauses out of 152007 with flag 2993001/9535421
785.84/781.77	c cleaning 77002 clauses out of 154011 with flag 3071000/9613420
795.05/790.95	c cleaning 78002 clauses out of 156010 with flag 3150001/9692421
804.65/800.57	c cleaning 79001 clauses out of 158007 with flag 3230000/9772420
813.47/809.39	c cleaning 79993 clauses out of 160006 with flag 3311000/9853420
823.17/819.01	c cleaning 81005 clauses out of 162015 with flag 3393002/9935422
832.49/828.36	c cleaning 81999 clauses out of 164008 with flag 3476000/10018420
844.50/840.36	c cleaning 83000 clauses out of 166010 with flag 3560001/10102421
857.72/853.58	c cleaning 83999 clauses out of 168010 with flag 3645001/10187421
869.34/865.14	c cleaning 85004 clauses out of 170011 with flag 3731001/10273421
879.66/875.50	c cleaning 86002 clauses out of 172006 with flag 3818000/10360420
891.99/887.76	c cleaning 86999 clauses out of 174006 with flag 3906002/10448422
903.00/898.76	c cleaning 87999 clauses out of 176007 with flag 3995002/10537422
913.63/909.30	c cleaning 89001 clauses out of 178007 with flag 4085001/10627421
924.16/919.82	c cleaning 89998 clauses out of 180007 with flag 4176002/10718422
935.57/931.26	c cleaning 91000 clauses out of 182007 with flag 4268000/10810420
947.68/943.38	c cleaning 92001 clauses out of 184008 with flag 4361001/10903421
959.71/955.34	c cleaning 93002 clauses out of 186008 with flag 4455002/10997422
972.33/967.93	c cleaning 94002 clauses out of 188008 with flag 4550004/11092424
984.85/980.43	c cleaning 94996 clauses out of 190003 with flag 4646001/11188421
998.57/994.16	c cleaning 95992 clauses out of 192006 with flag 4743000/11285420
1010.61/1006.19	c cleaning 97002 clauses out of 194014 with flag 4841000/11383420
1023.54/1019.01	c cleaning 98003 clauses out of 196012 with flag 4940000/11482420
1036.54/1032.08	c cleaning 99007 clauses out of 198014 with flag 5040005/11582425
1050.61/1046.07	c cleaning 99994 clauses out of 200002 with flag 5141000/11683420
1063.72/1059.10	c cleaning 100996 clauses out of 202008 with flag 5243000/11785420
1078.87/1074.23	c cleaning 102004 clauses out of 204013 with flag 5346001/11888421
1092.29/1087.69	c cleaning 103002 clauses out of 206008 with flag 5450000/11992420
1107.30/1102.65	c cleaning 104000 clauses out of 208006 with flag 5555000/12097420
1120.40/1115.76	c cleaning 105001 clauses out of 210008 with flag 5661002/12203422
1134.02/1129.35	c cleaning 106003 clauses out of 212005 with flag 5768000/12310420
1147.73/1143.03	c cleaning 107005 clauses out of 214010 with flag 5876008/12418428
1162.64/1157.90	c cleaning 107997 clauses out of 215998 with flag 5985001/12527421
1177.58/1172.81	c cleaning 108993 clauses out of 218000 with flag 6095000/12637420
1192.19/1187.40	c cleaning 110002 clauses out of 220011 with flag 6206004/12748424
1206.60/1201.80	c cleaning 111000 clauses out of 222006 with flag 6318001/12860421
1222.52/1217.77	c cleaning 112003 clauses out of 224007 with flag 6431002/12973422
1239.25/1234.49	c cleaning 112999 clauses out of 226002 with flag 6545000/13087420
1257.00/1252.10	c cleaning 114001 clauses out of 228008 with flag 6660005/13202425
1279.05/1274.20	c cleaning 114999 clauses out of 230003 with flag 6776001/13318421
1299.19/1294.21	c cleaning 116000 clauses out of 232005 with flag 6893002/13435422
1316.11/1311.11	c cleaning 116998 clauses out of 234004 with flag 7011001/13553421
1334.23/1329.24	c cleaning 117997 clauses out of 236006 with flag 7130001/13672421
1351.97/1346.97	c cleaning 119002 clauses out of 238008 with flag 7250000/13792420
1369.59/1364.60	c cleaning 119999 clauses out of 240007 with flag 7371001/13913421
1389.20/1384.16	c cleaning 120998 clauses out of 242007 with flag 7493000/14035420
1410.54/1405.43	c cleaning 121998 clauses out of 244009 with flag 7616000/14158420
1429.17/1424.07	c cleaning 122997 clauses out of 246011 with flag 7740000/14282420
1451.38/1446.20	c cleaning 124006 clauses out of 248015 with flag 7865001/14407421
1469.50/1464.32	c cleaning 124997 clauses out of 250010 with flag 7991002/14533422
1489.81/1484.61	c cleaning 126007 clauses out of 252014 with flag 8118003/14660423
1510.95/1505.77	c cleaning 127000 clauses out of 254005 with flag 8246001/14788421
1533.17/1527.92	c cleaning 127998 clauses out of 256006 with flag 8375002/14917422
1552.09/1546.85	c cleaning 128996 clauses out of 258007 with flag 8505001/15047421
1579.54/1574.25	c cleaning 130005 clauses out of 260011 with flag 8636001/15178421
1604.17/1598.83	c cleaning 131002 clauses out of 262006 with flag 8768001/15310421
1625.13/1619.79	c cleaning 131996 clauses out of 264004 with flag 8901001/15443421
1648.74/1643.38	c cleaning 133000 clauses out of 266008 with flag 9035001/15577421
1672.55/1667.11	c cleaning 134001 clauses out of 268009 with flag 9170002/15712422
1698.16/1692.79	c cleaning 135001 clauses out of 270006 with flag 9306000/15848420
1719.78/1714.38	c cleaning 136001 clauses out of 272006 with flag 9443001/15985421
1741.91/1736.44	c cleaning 136999 clauses out of 274006 with flag 9581002/16123422
1766.57/1761.05	c cleaning 137998 clauses out of 276006 with flag 9720001/16262421
1789.21/1783.63	c cleaning 139004 clauses out of 278008 with flag 9860001/16402421
1800.04/1794.41	c starts		: 391
1800.04/1794.41	c conflicts		: 16500362
1800.04/1794.41	c decisions		: 16722743
1800.04/1794.41	c propagations		: 122359366
1800.04/1794.41	c inspects		: 25046974285
1800.04/1794.41	c shortcuts		: 0
1800.04/1794.41	c learnt literals	: 0
1800.04/1794.41	c learnt binary clauses	: 0
1800.04/1794.41	c learnt ternary clauses	: 0
1800.04/1794.41	c learnt constraints	: 16500363
1800.04/1794.41	c ignored constraints	: 0
1800.04/1794.41	c root simplifications	: 0
1800.04/1794.41	c removed literals (reason simplification)	: 0
1800.04/1794.41	c reason swapping (by a shorter reason)	: 0
1800.04/1794.41	c Calls to reduceDB	: 388
1800.04/1794.41	c number of reductions to clauses (during analyze)	: 0
1800.04/1794.41	c number of learned constraints concerned by reduction	: 0
1800.04/1794.41	c number of learning phase by resolution	: 0
1800.04/1794.41	c number of learning phase by cutting planes	: 0
1800.04/1794.41	c speed (assignments/second)	: 68194.86741338078
1800.04/1794.41	c non guided choices	793
1800.04/1794.44	c learnt constraints type 
1800.04/1794.44	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 237199
1800.04/1794.44	c constraints type 
1800.04/1794.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 11
1800.04/1794.44	c 11 constraints processed.
1800.04/1794.44	s SATISFIABLE
1800.04/1794.44	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 x83 x84 x85 x86 -x87 -x88 x89 x90 -x91 x92 -x93 x94 x95 -x96 -x97 x98 x99 x100 x101 -x102 x103 -x104 x105 x106 -x107 -x108 x109 -x110 -x111 -x112 x113 x114 -x115 x116 x117 -x118 -x119 -x120 
1800.04/1794.44	c objective function=3
1800.04/1794.44	c Total wall clock time (in seconds): 1794.33

Verifier Data 

OK	3

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.10 2.12 2.05 3/194 22598
/proc/meminfo: memFree=28968516/32873648 swapFree=6844/6844
[pid=22598] ppid=22596 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/22598/stat : 22598 (java) D 22596 22598 21479 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 254220487 9515008 184 33554432000 1073741824 1073778376 140737194205360 140737194196584 271787388343 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/22598/statm: 2323 184 142 9 0 71 0

[startup+0.00940705 s]
/proc/loadavg: 2.10 2.12 2.05 3/194 22598
/proc/meminfo: memFree=28968516/32873648 swapFree=6844/6844
[pid=22598] ppid=22596 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/22598/stat : 22598 (java) S 22596 22598 21479 0 -1 4202496 1146 0 0 0 0 0 0 0 20 0 2 0 254220487 24780800 867 33554432000 1073741824 1073778376 140734956946128 140734956937264 271790932029 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22598/statm: 22434 873 659 9 0 16769 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 24200

[startup+0.100198 s]
/proc/loadavg: 2.10 2.12 2.05 3/194 22598
/proc/meminfo: memFree=28968516/32873648 swapFree=6844/6844
[pid=22598] ppid=22596 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/22598/stat : 22598 (java) S 22596 22598 21479 0 -1 4202496 4260 0 1 0 7 1 0 0 20 0 18 0 254220487 9787813888 5467 33554432000 1073741824 1073778376 140734956946128 140734956937264 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22598/statm: 2389603 5467 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300212 s]
/proc/loadavg: 2.10 2.12 2.05 3/194 22598
/proc/meminfo: memFree=28968516/32873648 swapFree=6844/6844
[pid=22598] ppid=22596 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/22598/stat : 22598 (java) S 22596 22598 21479 0 -1 4202496 6448 0 1 0 45 2 0 0 20 0 19 0 254220487 9855975424 7211 33554432000 1073741824 1073778376 140734956946128 140734956937264 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22598/statm: 2406244 7211 2222 9 0 2396937 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9624976

[startup+0.700243 s]
/proc/loadavg: 2.10 2.12 2.05 3/194 22598
/proc/meminfo: memFree=28968516/32873648 swapFree=6844/6844
[pid=22598] ppid=22596 vsize=9624976 CPUtime=0.99 cores=1,3,5,7
/proc/22598/stat : 22598 (java) S 22596 22598 21479 0 -1 4202496 7358 0 1 0 97 2 0 0 20 0 19 0 254220487 9855975424 9318 33554432000 1073741824 1073778376 140734956946128 140734956937264 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22598/statm: 2406244 9318 2257 9 0 2396937 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 9624976

[startup+1.5006 s]
/proc/loadavg: 2.10 2.12 2.05 3/213 22617
/proc/meminfo: memFree=28931124/32873648 swapFree=6844/6844
[pid=22598] ppid=22596 vsize=9624976 CPUtime=1.85 cores=1,3,5,7
/proc/22598/stat : 22598 (java) S 22596 22598 21479 0 -1 4202496 7789 0 1 0 183 2 0 0 20 0 19 0 254220487 9855975424 10875 33554432000 1073741824 1073778376 140734956946128 140734956937264 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22598/statm: 2406244 10875 2267 9 0 2396937 0
[pid=22598/tid=22600] ppid=22596 vsize=9624976 CPUtime=1.44 cores=1,3,5,7
/proc/22598/task/22600/stat : 22600 (java) R 22596 22598 21479 0 -1 4202560 2462 0 1 0 142 2 0 0 20 0 19 0 254220488 9855975424 10875 33554432000 1073741824 1073778376 140734956946128 140330331554240 140330154929680 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22598/tid=22601] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22601/stat : 22601 (java) S 22596 22598 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254220489 9855975424 10875 33554432000 1073741824 1073778376 140734956946128 140330293053736 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22598/tid=22602] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22602/stat : 22602 (java) S 22596 22598 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254220489 9855975424 10875 33554432000 1073741824 1073778376 140734956946128 140330292000936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22598/tid=22603] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22603/stat : 22603 (java) S 22596 22598 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254220489 9855975424 10875 33554432000 1073741824 1073778376 140734956946128 140330290948648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22598/tid=22604] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22604/stat : 22604 (java) S 22596 22598 21479 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254220489 9855975424 10875 33554432000 1073741824 1073778376 140734956946128 140330289895848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22598/tid=22605] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22605/stat : 22605 (java) S 22596 22598 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254220489 9855975424 10875 33554432000 1073741824 1073778376 140734956946128 140330288843560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22606] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22606/stat : 22606 (java) S 22596 22598 21479 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254220489 9855975424 10875 33554432000 1073741824 1073778376 140734956946128 140330287790760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22598/tid=22607] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22607/stat : 22607 (java) S 22596 22598 21479 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254220489 9855975424 10875 33554432000 1073741824 1073778376 140734956946128 140330286738472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22608] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22608/stat : 22608 (java) S 22596 22598 21479 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254220489 9855975424 10875 33554432000 1073741824 1073778376 140734956946128 140330285685672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22598/tid=22609] ppid=22596 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/22598/task/22609/stat : 22609 (java) S 22596 22598 21479 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 19 0 254220491 9855975424 10875 33554432000 1073741824 1073778376 140734956946128 140330273274088 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22598/tid=22610] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22610/stat : 22610 (java) S 22596 22598 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254220491 9855975424 10875 33554432000 1073741824 1073778376 140734956946128 140330154320888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22611] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22611/stat : 22611 (java) S 22596 22598 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254220491 9855975424 10875 33554432000 1073741824 1073778376 140734956946128 140330153268488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22612] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22612/stat : 22612 (java) S 22596 22598 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254220494 9855975424 10875 33554432000 1073741824 1073778376 140734956946128 140330152216976 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22613] ppid=22596 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/22598/task/22613/stat : 22613 (java) S 22596 22598 21479 0 -1 4202560 2244 0 0 0 21 0 0 0 20 0 19 0 254220494 9855975424 10875 33554432000 1073741824 1073778376 140734956946128 140330151164600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22614] ppid=22596 vsize=9624976 CPUtime=0.14 cores=1,3,5,7
/proc/22598/task/22614/stat : 22614 (java) S 22596 22598 21479 0 -1 4202560 1832 0 0 0 14 0 0 0 20 0 19 0 254220494 9855975424 10875 33554432000 1073741824 1073778376 140734956946128 140330150111800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22598/tid=22615] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22615/stat : 22615 (java) S 22596 22598 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254220494 9855975424 10875 33554432000 1073741824 1073778376 140734956946128 140330149059704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22598/tid=22616] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22616/stat : 22616 (java) S 22596 22598 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254220494 9855975424 10875 33554432000 1073741824 1073778376 140734956946128 140330148007112 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22598/tid=22617] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22617/stat : 22617 (java) S 22596 22598 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254220503 9855975424 10875 33554432000 1073741824 1073778376 140734956946128 140330146952104 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 9624976

[startup+3.10067 s]
/proc/loadavg: 2.10 2.12 2.05 3/213 22617
/proc/meminfo: memFree=28930628/32873648 swapFree=6844/6844
[pid=22598] ppid=22596 vsize=9624976 CPUtime=3.6 cores=1,3,5,7
/proc/22598/stat : 22598 (java) S 22596 22598 21479 0 -1 4202496 10804 0 1 0 357 3 0 0 20 0 19 0 254220487 9855975424 12535 33554432000 1073741824 1073778376 140734956946128 140734956937264 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22598/statm: 2406244 12535 2268 9 0 2396937 0
[pid=22598/tid=22600] ppid=22596 vsize=9624976 CPUtime=2.96 cores=1,3,5,7
/proc/22598/task/22600/stat : 22600 (java) R 22596 22598 21479 0 -1 4202560 2470 0 1 0 294 2 0 0 20 0 19 0 254220488 9855975424 12535 33554432000 1073741824 1073778376 140734956946128 140330331562272 140330154752524 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22598/tid=22601] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22601/stat : 22601 (java) S 22596 22598 21479 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254220489 9855975424 12535 33554432000 1073741824 1073778376 140734956946128 140330293053736 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22598/tid=22602] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22602/stat : 22602 (java) S 22596 22598 21479 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254220489 9855975424 12535 33554432000 1073741824 1073778376 140734956946128 140330292000936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22598/tid=22603] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22603/stat : 22603 (java) S 22596 22598 21479 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254220489 9855975424 12535 33554432000 1073741824 1073778376 140734956946128 140330290948648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22598/tid=22604] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22604/stat : 22604 (java) S 22596 22598 21479 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254220489 9855975424 12535 33554432000 1073741824 1073778376 140734956946128 140330289895848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22605] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22605/stat : 22605 (java) S 22596 22598 21479 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254220489 9855975424 12535 33554432000 1073741824 1073778376 140734956946128 140330288843560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22598/tid=22606] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22606/stat : 22606 (java) S 22596 22598 21479 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254220489 9855975424 12535 33554432000 1073741824 1073778376 140734956946128 140330287790760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22598/tid=22607] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22607/stat : 22607 (java) S 22596 22598 21479 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254220489 9855975424 12535 33554432000 1073741824 1073778376 140734956946128 140330286738472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22608] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22608/stat : 22608 (java) S 22596 22598 21479 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254220489 9855975424 12535 33554432000 1073741824 1073778376 140734956946128 140330285685672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22598/tid=22609] ppid=22596 vsize=9624976 CPUtime=0.07 cores=1,3,5,7
/proc/22598/task/22609/stat : 22609 (java) S 22596 22598 21479 0 -1 4202560 33 0 0 0 7 0 0 0 20 0 19 0 254220491 9855975424 12535 33554432000 1073741824 1073778376 140734956946128 140330273274088 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22598/tid=22610] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22610/stat : 22610 (java) S 22596 22598 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254220491 9855975424 12535 33554432000 1073741824 1073778376 140734956946128 140330154320888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22611] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22611/stat : 22611 (java) S 22596 22598 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254220491 9855975424 12535 33554432000 1073741824 1073778376 140734956946128 140330153268488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22612] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22612/stat : 22612 (java) S 22596 22598 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254220494 9855975424 12535 33554432000 1073741824 1073778376 140734956946128 140330152216976 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22613] ppid=22596 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/22598/task/22613/stat : 22613 (java) S 22596 22598 21479 0 -1 4202560 5232 0 0 0 33 2 0 0 20 0 19 0 254220494 9855975424 12535 33554432000 1073741824 1073778376 140734956946128 140330151164600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22598/tid=22614] ppid=22596 vsize=9624976 CPUtime=0.14 cores=1,3,5,7
/proc/22598/task/22614/stat : 22614 (java) S 22596 22598 21479 0 -1 4202560 1832 0 0 0 14 0 0 0 20 0 19 0 254220494 9855975424 12535 33554432000 1073741824 1073778376 140734956946128 140330150111800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22598/tid=22615] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22615/stat : 22615 (java) S 22596 22598 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254220494 9855975424 12535 33554432000 1073741824 1073778376 140734956946128 140330149059704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22598/tid=22616] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22616/stat : 22616 (java) S 22596 22598 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254220494 9855975424 12535 33554432000 1073741824 1073778376 140734956946128 140330148007112 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22598/tid=22617] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22617/stat : 22617 (java) S 22596 22598 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254220503 9855975424 12535 33554432000 1073741824 1073778376 140734956946128 140330146952104 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 9624976

[startup+6.30069 s]
/proc/loadavg: 2.09 2.12 2.05 3/213 22617
/proc/meminfo: memFree=28926228/32873648 swapFree=6844/6844
[pid=22598] ppid=22596 vsize=9624976 CPUtime=6.85 cores=1,3,5,7
/proc/22598/stat : 22598 (java) S 22596 22598 21479 0 -1 4202496 10835 0 1 0 681 4 0 0 20 0 19 0 254220487 9855975424 11944 33554432000 1073741824 1073778376 140734956946128 140734956937264 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22598/statm: 2406244 11944 2268 9 0 2396937 0
[pid=22598/tid=22600] ppid=22596 vsize=9624976 CPUtime=6.05 cores=1,3,5,7
/proc/22598/task/22600/stat : 22600 (java) R 22596 22598 21479 0 -1 4202560 2481 0 1 0 603 2 0 0 20 0 19 0 254220488 9855975424 11944 33554432000 1073741824 1073778376 140734956946128 140330331562272 140330154762888 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22598/tid=22601] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22601/stat : 22601 (java) S 22596 22598 21479 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 254220489 9855975424 11944 33554432000 1073741824 1073778376 140734956946128 140330293053736 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22598/tid=22602] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22602/stat : 22602 (java) S 22596 22598 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254220489 9855975424 11944 33554432000 1073741824 1073778376 140734956946128 140330292000936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22598/tid=22603] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22603/stat : 22603 (java) S 22596 22598 21479 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254220489 9855975424 11944 33554432000 1073741824 1073778376 140734956946128 140330290948648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22598/tid=22604] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22604/stat : 22604 (java) S 22596 22598 21479 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254220489 9855975424 11944 33554432000 1073741824 1073778376 140734956946128 140330289895848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22605] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22605/stat : 22605 (java) S 22596 22598 21479 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254220489 9855975424 11944 33554432000 1073741824 1073778376 140734956946128 140330288843560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22598/tid=22606] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22606/stat : 22606 (java) S 22596 22598 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254220489 9855975424 11944 33554432000 1073741824 1073778376 140734956946128 140330287790760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22607] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22607/stat : 22607 (java) S 22596 22598 21479 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254220489 9855975424 11944 33554432000 1073741824 1073778376 140734956946128 140330286738472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22598/tid=22608] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22608/stat : 22608 (java) S 22596 22598 21479 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254220489 9855975424 11944 33554432000 1073741824 1073778376 140734956946128 140330285685672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22598/tid=22609] ppid=22596 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/22598/task/22609/stat : 22609 (java) S 22596 22598 21479 0 -1 4202560 33 0 0 0 17 0 0 0 20 0 19 0 254220491 9855975424 11944 33554432000 1073741824 1073778376 140734956946128 140330273274088 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22598/tid=22610] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22610/stat : 22610 (java) S 22596 22598 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254220491 9855975424 11944 33554432000 1073741824 1073778376 140734956946128 140330154320888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22611] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22611/stat : 22611 (java) S 22596 22598 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254220491 9855975424 11944 33554432000 1073741824 1073778376 140734956946128 140330153268488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22612] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22612/stat : 22612 (java) S 22596 22598 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254220494 9855975424 11944 33554432000 1073741824 1073778376 140734956946128 140330152216976 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22613] ppid=22596 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/22598/task/22613/stat : 22613 (java) S 22596 22598 21479 0 -1 4202560 5232 0 0 0 33 2 0 0 20 0 19 0 254220494 9855975424 11944 33554432000 1073741824 1073778376 140734956946128 140330151164600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22598/tid=22614] ppid=22596 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/22598/task/22614/stat : 22614 (java) S 22596 22598 21479 0 -1 4202560 1839 0 0 0 16 0 0 0 20 0 19 0 254220494 9855975424 11944 33554432000 1073741824 1073778376 140734956946128 140330150111800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22598/tid=22615] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22615/stat : 22615 (java) S 22596 22598 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254220494 9855975424 11944 33554432000 1073741824 1073778376 140734956946128 140330149059704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22598/tid=22616] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22616/stat : 22616 (java) S 22596 22598 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254220494 9855975424 11944 33554432000 1073741824 1073778376 140734956946128 140330148007112 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22598/tid=22617] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22617/stat : 22617 (java) S 22596 22598 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254220503 9855975424 11944 33554432000 1073741824 1073778376 140734956946128 140330146952104 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.85
Current children cumulated vsize (KiB) 9624976

[startup+12.7006 s]

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

[pid=22598/tid=22606] ppid=22596 vsize=9624976 CPUtime=0.78 cores=1,3,5,7
/proc/22598/task/22606/stat : 22606 (java) S 22596 22598 21479 0 -1 4202560 125 0 0 0 76 2 0 0 20 0 19 0 254220489 9855975424 34219 33554432000 1073741824 1073778376 140734956946128 140330287790760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22598/tid=22607] ppid=22596 vsize=9624976 CPUtime=0.95 cores=1,3,5,7
/proc/22598/task/22607/stat : 22607 (java) S 22596 22598 21479 0 -1 4202560 187 0 0 0 93 2 0 0 20 0 19 0 254220489 9855975424 34219 33554432000 1073741824 1073778376 140734956946128 140330286738472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22598/tid=22608] ppid=22596 vsize=9624976 CPUtime=0.94 cores=1,3,5,7
/proc/22598/task/22608/stat : 22608 (java) S 22596 22598 21479 0 -1 4202560 133 0 0 0 92 2 0 0 20 0 19 0 254220489 9855975424 34219 33554432000 1073741824 1073778376 140734956946128 140330285685672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22598/tid=22609] ppid=22596 vsize=9624976 CPUtime=8.06 cores=1,3,5,7
/proc/22598/task/22609/stat : 22609 (java) S 22596 22598 21479 0 -1 4202560 146 0 0 0 803 3 0 0 20 0 19 0 254220491 9855975424 34219 33554432000 1073741824 1073778376 140734956946128 140330273274088 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22598/tid=22610] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22610/stat : 22610 (java) S 22596 22598 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254220491 9855975424 34219 33554432000 1073741824 1073778376 140734956946128 140330154320888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22611] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22611/stat : 22611 (java) S 22596 22598 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254220491 9855975424 34219 33554432000 1073741824 1073778376 140734956946128 140330153268488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22612] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22612/stat : 22612 (java) S 22596 22598 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254220494 9855975424 34219 33554432000 1073741824 1073778376 140734956946128 140330152216976 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22613] ppid=22596 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/22598/task/22613/stat : 22613 (java) S 22596 22598 21479 0 -1 4202560 5233 0 0 0 34 2 0 0 20 0 19 0 254220494 9855975424 34219 33554432000 1073741824 1073778376 140734956946128 140330151164600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22598/tid=22614] ppid=22596 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/22598/task/22614/stat : 22614 (java) S 22596 22598 21479 0 -1 4202560 2591 0 0 0 21 0 0 0 20 0 19 0 254220494 9855975424 34219 33554432000 1073741824 1073778376 140734956946128 140330150111800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22598/tid=22615] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22615/stat : 22615 (java) S 22596 22598 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254220494 9855975424 34219 33554432000 1073741824 1073778376 140734956946128 140330149059704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22598/tid=22616] ppid=22596 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/22598/task/22616/stat : 22616 (java) S 22596 22598 21479 0 -1 4202560 94 0 0 0 21 20 0 0 20 0 19 0 254220494 9855975424 34219 33554432000 1073741824 1073778376 140734956946128 140330148007112 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22598/tid=22617] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22617/stat : 22617 (java) S 22596 22598 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254220503 9855975424 34219 33554432000 1073741824 1073778376 140734956946128 140330146952104 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1667.75
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 1.94 1.98 1.99 3/213 22714
/proc/meminfo: memFree=28256768/32873648 swapFree=6844/6844
[pid=22598] ppid=22596 vsize=9624976 CPUtime=1727.82 cores=1,3,5,7
/proc/22598/stat : 22598 (java) S 22596 22598 21479 0 -1 4202496 13768 0 1 0 172747 35 0 0 20 0 19 0 254220487 9855975424 34219 33554432000 1073741824 1073778376 140734956946128 140734956937264 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22598/statm: 2406244 34219 2269 9 0 2396937 0
[pid=22598/tid=22600] ppid=22596 vsize=9624976 CPUtime=1711.69 cores=1,3,5,7
/proc/22598/task/22600/stat : 22600 (java) R 22596 22598 21479 0 -1 4202560 2851 0 1 0 171140 29 0 0 20 0 19 0 254220488 9855975424 34219 33554432000 1073741824 1073778376 140734956946128 140330331562272 140330154762781 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22601] ppid=22596 vsize=9624976 CPUtime=0.91 cores=1,3,5,7
/proc/22598/task/22601/stat : 22601 (java) S 22596 22598 21479 0 -1 4202560 270 0 0 0 91 0 0 0 20 0 19 0 254220489 9855975424 34219 33554432000 1073741824 1073778376 140734956946128 140330293053736 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22598/tid=22602] ppid=22596 vsize=9624976 CPUtime=0.87 cores=1,3,5,7
/proc/22598/task/22602/stat : 22602 (java) S 22596 22598 21479 0 -1 4202560 259 0 0 0 85 2 0 0 20 0 19 0 254220489 9855975424 34219 33554432000 1073741824 1073778376 140734956946128 140330292000936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22598/tid=22603] ppid=22596 vsize=9624976 CPUtime=0.93 cores=1,3,5,7
/proc/22598/task/22603/stat : 22603 (java) S 22596 22598 21479 0 -1 4202560 264 0 0 0 91 2 0 0 20 0 19 0 254220489 9855975424 34219 33554432000 1073741824 1073778376 140734956946128 140330290948648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22598/tid=22604] ppid=22596 vsize=9624976 CPUtime=0.81 cores=1,3,5,7
/proc/22598/task/22604/stat : 22604 (java) S 22596 22598 21479 0 -1 4202560 165 0 0 0 80 1 0 0 20 0 19 0 254220489 9855975424 34219 33554432000 1073741824 1073778376 140734956946128 140330289895848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22605] ppid=22596 vsize=9624976 CPUtime=0.88 cores=1,3,5,7
/proc/22598/task/22605/stat : 22605 (java) S 22596 22598 21479 0 -1 4202560 262 0 0 0 88 0 0 0 20 0 19 0 254220489 9855975424 34219 33554432000 1073741824 1073778376 140734956946128 140330288843560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22598/tid=22606] ppid=22596 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/22598/task/22606/stat : 22606 (java) S 22596 22598 21479 0 -1 4202560 125 0 0 0 77 2 0 0 20 0 19 0 254220489 9855975424 34219 33554432000 1073741824 1073778376 140734956946128 140330287790760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22607] ppid=22596 vsize=9624976 CPUtime=0.96 cores=1,3,5,7
/proc/22598/task/22607/stat : 22607 (java) S 22596 22598 21479 0 -1 4202560 187 0 0 0 94 2 0 0 20 0 19 0 254220489 9855975424 34219 33554432000 1073741824 1073778376 140734956946128 140330286738472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22598/tid=22608] ppid=22596 vsize=9624976 CPUtime=0.95 cores=1,3,5,7
/proc/22598/task/22608/stat : 22608 (java) S 22596 22598 21479 0 -1 4202560 133 0 0 0 93 2 0 0 20 0 19 0 254220489 9855975424 34219 33554432000 1073741824 1073778376 140734956946128 140330285685672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22609] ppid=22596 vsize=9624976 CPUtime=8.22 cores=1,3,5,7
/proc/22598/task/22609/stat : 22609 (java) S 22596 22598 21479 0 -1 4202560 150 0 0 0 819 3 0 0 20 0 19 0 254220491 9855975424 34219 33554432000 1073741824 1073778376 140734956946128 140330273274088 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22598/tid=22610] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22610/stat : 22610 (java) S 22596 22598 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254220491 9855975424 34219 33554432000 1073741824 1073778376 140734956946128 140330154320888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22611] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22611/stat : 22611 (java) S 22596 22598 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254220491 9855975424 34219 33554432000 1073741824 1073778376 140734956946128 140330153268488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22612] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22612/stat : 22612 (java) S 22596 22598 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254220494 9855975424 34219 33554432000 1073741824 1073778376 140734956946128 140330152216976 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22613] ppid=22596 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/22598/task/22613/stat : 22613 (java) S 22596 22598 21479 0 -1 4202560 5233 0 0 0 34 2 0 0 20 0 19 0 254220494 9855975424 34219 33554432000 1073741824 1073778376 140734956946128 140330151164600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22598/tid=22614] ppid=22596 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/22598/task/22614/stat : 22614 (java) S 22596 22598 21479 0 -1 4202560 2591 0 0 0 21 0 0 0 20 0 19 0 254220494 9855975424 34219 33554432000 1073741824 1073778376 140734956946128 140330150111800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22598/tid=22615] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22615/stat : 22615 (java) S 22596 22598 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254220494 9855975424 34219 33554432000 1073741824 1073778376 140734956946128 140330149059704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22598/tid=22616] ppid=22596 vsize=9624976 CPUtime=0.42 cores=1,3,5,7
/proc/22598/task/22616/stat : 22616 (java) S 22596 22598 21479 0 -1 4202560 98 0 0 0 22 20 0 0 20 0 19 0 254220494 9855975424 34219 33554432000 1073741824 1073778376 140734956946128 140330148007112 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22617] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22617/stat : 22617 (java) S 22596 22598 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254220503 9855975424 34219 33554432000 1073741824 1073778376 140734956946128 140330146952104 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1727.82
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/213 22714
/proc/meminfo: memFree=28422552/32873648 swapFree=6844/6844
[pid=22598] ppid=22596 vsize=9624976 CPUtime=1787.91 cores=1,3,5,7
/proc/22598/stat : 22598 (java) S 22596 22598 21479 0 -1 4202496 13781 0 1 0 178754 37 0 0 20 0 19 0 254220487 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140734956937264 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22598/statm: 2406244 35243 2269 9 0 2396937 0
[pid=22598/tid=22600] ppid=22596 vsize=9624976 CPUtime=1771.54 cores=1,3,5,7
/proc/22598/task/22600/stat : 22600 (java) R 22596 22598 21479 0 -1 4202560 2853 0 1 0 177124 30 0 0 20 0 19 0 254220488 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330331562272 140330154929716 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22601] ppid=22596 vsize=9624976 CPUtime=0.93 cores=1,3,5,7
/proc/22598/task/22601/stat : 22601 (java) S 22596 22598 21479 0 -1 4202560 270 0 0 0 91 2 0 0 20 0 19 0 254220489 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330293053736 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22598/tid=22602] ppid=22596 vsize=9624976 CPUtime=0.87 cores=1,3,5,7
/proc/22598/task/22602/stat : 22602 (java) S 22596 22598 21479 0 -1 4202560 260 0 0 0 85 2 0 0 20 0 19 0 254220489 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330292000936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22603] ppid=22596 vsize=9624976 CPUtime=0.95 cores=1,3,5,7
/proc/22598/task/22603/stat : 22603 (java) S 22596 22598 21479 0 -1 4202560 265 0 0 0 93 2 0 0 20 0 19 0 254220489 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330290948648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22598/tid=22604] ppid=22596 vsize=9624976 CPUtime=0.83 cores=1,3,5,7
/proc/22598/task/22604/stat : 22604 (java) S 22596 22598 21479 0 -1 4202560 166 0 0 0 82 1 0 0 20 0 19 0 254220489 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330289895848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22605] ppid=22596 vsize=9624976 CPUtime=0.91 cores=1,3,5,7
/proc/22598/task/22605/stat : 22605 (java) S 22596 22598 21479 0 -1 4202560 263 0 0 0 91 0 0 0 20 0 19 0 254220489 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330288843560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22598/tid=22606] ppid=22596 vsize=9624976 CPUtime=0.8 cores=1,3,5,7
/proc/22598/task/22606/stat : 22606 (java) S 22596 22598 21479 0 -1 4202560 125 0 0 0 78 2 0 0 20 0 19 0 254220489 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330287790760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22607] ppid=22596 vsize=9624976 CPUtime=0.98 cores=1,3,5,7
/proc/22598/task/22607/stat : 22607 (java) S 22596 22598 21479 0 -1 4202560 187 0 0 0 96 2 0 0 20 0 19 0 254220489 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330286738472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22608] ppid=22596 vsize=9624976 CPUtime=0.97 cores=1,3,5,7
/proc/22598/task/22608/stat : 22608 (java) S 22596 22598 21479 0 -1 4202560 133 0 0 0 95 2 0 0 20 0 19 0 254220489 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330285685672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22598/tid=22609] ppid=22596 vsize=9624976 CPUtime=8.32 cores=1,3,5,7
/proc/22598/task/22609/stat : 22609 (java) S 22596 22598 21479 0 -1 4202560 153 0 0 0 829 3 0 0 20 0 19 0 254220491 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330273274088 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22598/tid=22610] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22610/stat : 22610 (java) S 22596 22598 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254220491 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330154320888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22611] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22611/stat : 22611 (java) S 22596 22598 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254220491 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330153268488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22612] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22612/stat : 22612 (java) S 22596 22598 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254220494 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330152216976 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22613] ppid=22596 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/22598/task/22613/stat : 22613 (java) S 22596 22598 21479 0 -1 4202560 5233 0 0 0 34 2 0 0 20 0 19 0 254220494 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330151164600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22598/tid=22614] ppid=22596 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/22598/task/22614/stat : 22614 (java) S 22596 22598 21479 0 -1 4202560 2591 0 0 0 21 0 0 0 20 0 19 0 254220494 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330150111800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22598/tid=22615] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22615/stat : 22615 (java) S 22596 22598 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254220494 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330149059704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22598/tid=22616] ppid=22596 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/22598/task/22616/stat : 22616 (java) S 22596 22598 21479 0 -1 4202560 102 0 0 0 23 20 0 0 20 0 19 0 254220494 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330148007112 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22617] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22617/stat : 22617 (java) S 22596 22598 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254220503 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330146952104 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1787.91
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.4 s]
/proc/loadavg: 1.98 1.98 1.99 3/213 22714
/proc/meminfo: memFree=28370108/32873648 swapFree=6844/6844
[pid=22598] ppid=22596 vsize=9624976 CPUtime=1800.04 cores=1,3,5,7
/proc/22598/stat : 22598 (java) S 22596 22598 21479 0 -1 4202496 13784 0 1 0 179967 37 0 0 20 0 19 0 254220487 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140734956937264 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22598/statm: 2406244 35243 2269 9 0 2396937 0
[pid=22598/tid=22600] ppid=22596 vsize=9624976 CPUtime=1783.56 cores=1,3,5,7
/proc/22598/task/22600/stat : 22600 (java) R 22596 22598 21479 0 -1 4202560 2854 0 1 0 178325 31 0 0 20 0 19 0 254220488 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330331562272 140330154762156 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22601] ppid=22596 vsize=9624976 CPUtime=0.94 cores=1,3,5,7
/proc/22598/task/22601/stat : 22601 (java) S 22596 22598 21479 0 -1 4202560 270 0 0 0 92 2 0 0 20 0 19 0 254220489 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330293053736 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22598/tid=22602] ppid=22596 vsize=9624976 CPUtime=0.88 cores=1,3,5,7
/proc/22598/task/22602/stat : 22602 (java) S 22596 22598 21479 0 -1 4202560 260 0 0 0 86 2 0 0 20 0 19 0 254220489 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330292000936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22603] ppid=22596 vsize=9624976 CPUtime=0.95 cores=1,3,5,7
/proc/22598/task/22603/stat : 22603 (java) S 22596 22598 21479 0 -1 4202560 265 0 0 0 93 2 0 0 20 0 19 0 254220489 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330290948648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22598/tid=22604] ppid=22596 vsize=9624976 CPUtime=0.83 cores=1,3,5,7
/proc/22598/task/22604/stat : 22604 (java) S 22596 22598 21479 0 -1 4202560 166 0 0 0 82 1 0 0 20 0 19 0 254220489 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330289895848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22605] ppid=22596 vsize=9624976 CPUtime=0.91 cores=1,3,5,7
/proc/22598/task/22605/stat : 22605 (java) S 22596 22598 21479 0 -1 4202560 263 0 0 0 91 0 0 0 20 0 19 0 254220489 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330288843560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22598/tid=22606] ppid=22596 vsize=9624976 CPUtime=0.8 cores=1,3,5,7
/proc/22598/task/22606/stat : 22606 (java) S 22596 22598 21479 0 -1 4202560 125 0 0 0 78 2 0 0 20 0 19 0 254220489 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330287790760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22607] ppid=22596 vsize=9624976 CPUtime=0.98 cores=1,3,5,7
/proc/22598/task/22607/stat : 22607 (java) S 22596 22598 21479 0 -1 4202560 187 0 0 0 96 2 0 0 20 0 19 0 254220489 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330286738472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22598/tid=22608] ppid=22596 vsize=9624976 CPUtime=0.97 cores=1,3,5,7
/proc/22598/task/22608/stat : 22608 (java) S 22596 22598 21479 0 -1 4202560 133 0 0 0 95 2 0 0 20 0 19 0 254220489 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330285685672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22598/tid=22609] ppid=22596 vsize=9624976 CPUtime=8.39 cores=1,3,5,7
/proc/22598/task/22609/stat : 22609 (java) S 22596 22598 21479 0 -1 4202560 155 0 0 0 836 3 0 0 20 0 19 0 254220491 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330273274088 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22598/tid=22610] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22610/stat : 22610 (java) S 22596 22598 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254220491 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330154320888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22611] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22611/stat : 22611 (java) S 22596 22598 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254220491 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330153268488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22612] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22612/stat : 22612 (java) S 22596 22598 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254220494 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330152216976 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22613] ppid=22596 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/22598/task/22613/stat : 22613 (java) S 22596 22598 21479 0 -1 4202560 5233 0 0 0 34 2 0 0 20 0 19 0 254220494 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330151164600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22598/tid=22614] ppid=22596 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/22598/task/22614/stat : 22614 (java) S 22596 22598 21479 0 -1 4202560 2591 0 0 0 21 0 0 0 20 0 19 0 254220494 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330150111800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22598/tid=22615] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22615/stat : 22615 (java) S 22596 22598 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254220494 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330149059704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22598/tid=22616] ppid=22596 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/22598/task/22616/stat : 22616 (java) S 22596 22598 21479 0 -1 4202560 102 0 0 0 24 20 0 0 20 0 19 0 254220494 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330148007112 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22598/tid=22617] ppid=22596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22617/stat : 22617 (java) S 22596 22598 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254220503 9855975424 35243 33554432000 1073741824 1073778376 140734956946128 140330146952104 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9624976

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

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

Child status: 143
Real time (s): 1794.45
CPU time (s): 1800.57
CPU user time (s): 1799.74
CPU system time (s): 0.831873
CPU usage (%): 100.341
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.831873
maximum resident set size= 141132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13828
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48485
involuntary context switches= 29730

runsolver used 5.62014 second user time and 14.2728 second system time

The end

Launcher Data 

Begin job on node115 at 2012-05-24 19:35:37
IDJOB=3688247
IDBENCH=2926
IDSOLVER=2269
FILE ID=node115/3688247-1337880937
RUNJOBID= node115-1337871882-21496
PBS_JOBID= 14620089
Free space on /tmp= 71652 MiB

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

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

MD5SUM BENCH= c0264878059fff5e6fa5f51839a60b24
RANDOM SEED=1602369030

node115.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.462
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.92
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.462
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.462
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.462
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.462
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.92
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.462
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.91
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.462
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.462
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:        28969052 kB
Buffers:          200604 kB
Cached:          2820936 kB
SwapCached:            0 kB
Active:           995176 kB
Inactive:        2141740 kB
Active(anon):     117992 kB
Inactive(anon):        0 kB
Active(file):     877184 kB
Inactive(file):  2141740 kB
Unevictable:        6844 kB
Mlocked:            6844 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               484 kB
Writeback:             0 kB
AnonPages:        158472 kB
Mapped:            22580 kB
Shmem:               200 kB
Slab:             624140 kB
SReclaimable:      68568 kB
SUnreclaim:       555572 kB
KernelStack:        1760 kB
PageTables:         4096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     696888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    122880 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= 71648 MiB
End job on node115 at 2012-05-24 20:05:34