Trace number 3492376

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2011-06-08OPTIMUM 48.3446 47.1434

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969860--soft-66-100-0.wbo
MD5SUM67ae8b264a7332f0f782a64868c40f1f
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark22
Best CPU time to get the best result obtained on this benchmark2.76058
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints42
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 1838
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 1837
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1147
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
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.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		9996466904
0.00/0.09	c Max memory 		10048897024
0.00/0.09	c Total memory 		10048897024
0.00/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3492376-1307909730.wbo
0.10/0.11	c reading problem ... 
0.10/0.16	c ... done. Wall clock time 0.053s.
0.10/0.16	c #vars     211
0.10/0.16	c #constraints  101
0.10/0.16	c constraints type 
0.10/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27
0.10/0.16	c org.sat4j.minisat.constraints.card.MinWatchCard => 41
0.10/0.16	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3
0.10/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 30
0.53/0.34	c SATISFIABLE
0.53/0.34	c OPTIMIZING...
0.53/0.34	c Got one! Elapsed wall clock time (in seconds):0.233
0.53/0.34	o 452
0.53/0.36	c Got one! Elapsed wall clock time (in seconds):0.256
0.53/0.36	o 352
0.53/0.38	c Got one! Elapsed wall clock time (in seconds):0.268
0.53/0.38	o 251
0.69/0.47	c Got one! Elapsed wall clock time (in seconds):0.358
0.69/0.47	o 223
0.79/0.53	c cleaning 3709 clauses out of 7422 with flag 1001/7422
0.79/0.57	c Got one! Elapsed wall clock time (in seconds):0.467
0.79/0.57	o 200
0.91/0.69	c cleaning 4418 clauses out of 8841 with flag 4002/12550
1.14/0.87	c cleaning 5206 clauses out of 10421 with flag 10000/18548
1.35/1.08	c cleaning 6102 clauses out of 12219 with flag 17004/25552
1.56/1.25	c Got one! Elapsed wall clock time (in seconds):1.139
1.56/1.25	o 183
1.76/1.43	c cleaning 8515 clauses out of 17039 with flag 5001/36474
1.97/1.61	c cleaning 7255 clauses out of 14523 with flag 11000/42473
2.17/1.82	c cleaning 7127 clauses out of 14268 with flag 18000/49473
2.27/1.97	c Got one! Elapsed wall clock time (in seconds):1.86
2.27/1.97	o 158
2.48/2.14	c cleaning 8734 clauses out of 17476 with flag 5001/59808
2.58/2.22	c Got one! Elapsed wall clock time (in seconds):2.117
2.58/2.22	o 133
2.68/2.33	c cleaning 7291 clauses out of 14591 with flag 3000/65657
2.88/2.56	c cleaning 6646 clauses out of 13301 with flag 9001/71658
3.08/2.77	c cleaning 6820 clauses out of 13654 with flag 16000/78657
3.38/3.01	c cleaning 7411 clauses out of 14834 with flag 24000/86657
3.59/3.29	c cleaning 8207 clauses out of 16423 with flag 33000/95657
3.99/3.62	c cleaning 9098 clauses out of 18216 with flag 43000/105657
4.29/3.94	c cleaning 9553 clauses out of 19119 with flag 53001/115658
4.59/4.26	c cleaning 9780 clauses out of 19565 with flag 63000/125657
4.89/4.58	c cleaning 9887 clauses out of 19785 with flag 73000/135657
5.29/4.91	c cleaning 9948 clauses out of 19900 with flag 83002/145659
5.59/5.24	c cleaning 9972 clauses out of 19953 with flag 93003/155660
5.80/5.43	c Got one! Elapsed wall clock time (in seconds):5.322
5.80/5.43	o 122
6.00/5.63	c cleaning 10701 clauses out of 21410 with flag 5000/167089
6.20/5.85	c cleaning 8350 clauses out of 16709 with flag 11000/173089
6.40/6.10	c cleaning 7676 clauses out of 15359 with flag 18000/180089
6.70/6.33	c Got one! Elapsed wall clock time (in seconds):6.225
6.70/6.33	o 110
6.91/6.56	c cleaning 10257 clauses out of 20529 with flag 5001/192935
7.11/6.78	c Got one! Elapsed wall clock time (in seconds):6.671
7.11/6.78	o 105
7.41/7.02	c cleaning 10404 clauses out of 20816 with flag 5004/203479
7.61/7.25	c cleaning 8199 clauses out of 16408 with flag 11000/209475
7.81/7.48	c cleaning 7599 clauses out of 15209 with flag 18000/216475
8.12/7.77	c cleaning 7799 clauses out of 15610 with flag 26000/224475
8.21/7.89	c Got one! Elapsed wall clock time (in seconds):7.784
8.21/7.89	o 96
8.31/7.93	c cleaning 6443 clauses out of 12897 with flag 1000/229561
8.51/8.13	c cleaning 6224 clauses out of 12455 with flag 7001/235562
8.71/8.37	c cleaning 6609 clauses out of 13231 with flag 14001/242562
9.02/8.64	c cleaning 7309 clauses out of 14621 with flag 22000/250561
9.32/8.95	c cleaning 8154 clauses out of 16313 with flag 31001/259562
9.72/9.32	c cleaning 9072 clauses out of 18158 with flag 41000/269561
10.02/9.65	c cleaning 9539 clauses out of 19086 with flag 51000/279561
10.42/10.03	c cleaning 9769 clauses out of 19547 with flag 61000/289561
10.72/10.33	c Got one! Elapsed wall clock time (in seconds):10.224
10.72/10.33	o 87
10.92/10.56	c cleaning 12374 clauses out of 24757 with flag 5001/304540
11.13/10.77	c cleaning 9187 clauses out of 18382 with flag 11000/310539
11.33/10.99	c cleaning 8091 clauses out of 16195 with flag 18000/317539
11.44/11.06	c Got one! Elapsed wall clock time (in seconds):10.948
11.44/11.06	o 68
11.53/11.15	c cleaning 6596 clauses out of 13200 with flag 3002/322635
11.73/11.35	c cleaning 6298 clauses out of 12605 with flag 9003/328636
11.93/11.58	c cleaning 6648 clauses out of 13305 with flag 16001/335634
12.23/11.86	c cleaning 7324 clauses out of 14657 with flag 24001/343634
12.54/12.14	c cleaning 8159 clauses out of 16332 with flag 33000/352633
12.84/12.49	c cleaning 9075 clauses out of 18174 with flag 43001/362634
13.14/12.79	c Got one! Elapsed wall clock time (in seconds):12.679
13.14/12.79	o 51
13.44/13.01	c cleaning 11962 clauses out of 23931 with flag 5001/377466
13.64/13.23	c cleaning 8981 clauses out of 17968 with flag 11000/383465
13.84/13.47	c cleaning 7989 clauses out of 15987 with flag 18000/390465
14.14/13.75	c cleaning 7994 clauses out of 15999 with flag 26001/398466
14.54/14.10	c cleaning 8499 clauses out of 17004 with flag 35000/407465
14.85/14.45	c cleaning 9247 clauses out of 18506 with flag 45001/417466
15.25/14.84	c cleaning 9625 clauses out of 19259 with flag 55001/427466
15.65/15.27	c cleaning 9811 clauses out of 19634 with flag 65001/437466
16.05/15.66	c cleaning 9905 clauses out of 19823 with flag 75001/447466
16.35/16.00	c cleaning 9952 clauses out of 19918 with flag 85001/457466
16.77/16.35	c cleaning 9977 clauses out of 19965 with flag 95000/467465
17.08/16.65	c cleaning 9988 clauses out of 19988 with flag 105000/477465
17.38/16.96	c cleaning 9996 clauses out of 20000 with flag 115000/487465
17.68/17.23	c Got one! Elapsed wall clock time (in seconds):17.124
17.68/17.23	o 39
17.88/17.45	c cleaning 11878 clauses out of 23761 with flag 5000/501222
18.09/17.67	c cleaning 8938 clauses out of 17883 with flag 11000/507222
18.39/17.92	c cleaning 7970 clauses out of 15945 with flag 18000/514222
18.69/18.24	c cleaning 7979 clauses out of 15975 with flag 26000/522222
18.99/18.58	c cleaning 8497 clauses out of 16999 with flag 35003/531225
19.39/18.95	c cleaning 9246 clauses out of 18499 with flag 45000/541222
19.79/19.30	c cleaning 9622 clauses out of 19254 with flag 55001/551223
20.09/19.65	c cleaning 9811 clauses out of 19632 with flag 65001/561223
20.39/20.00	c cleaning 9905 clauses out of 19820 with flag 75000/571222
20.79/20.34	c cleaning 9954 clauses out of 19915 with flag 85000/581222
21.09/20.67	c cleaning 9977 clauses out of 19962 with flag 95001/591223
21.40/20.99	c cleaning 9989 clauses out of 19986 with flag 105002/601224
21.80/21.30	c cleaning 9994 clauses out of 19996 with flag 115001/611223
22.10/21.64	c cleaning 9992 clauses out of 20001 with flag 125000/621222
22.40/21.96	c cleaning 9998 clauses out of 20009 with flag 135000/631222
22.70/22.29	c cleaning 9998 clauses out of 20011 with flag 145000/641222
23.10/22.60	c cleaning 10001 clauses out of 20014 with flag 155001/651223
23.40/22.95	c cleaning 10003 clauses out of 20012 with flag 165000/661222
23.70/23.29	c cleaning 10001 clauses out of 20010 with flag 175001/671223
24.10/23.64	c cleaning 9999 clauses out of 20008 with flag 185000/681222
24.40/23.97	c cleaning 10001 clauses out of 20011 with flag 195002/691224
24.71/24.28	c cleaning 9999 clauses out of 20009 with flag 205001/701223
25.11/24.63	c cleaning 9999 clauses out of 20009 with flag 215000/711222
25.41/24.98	c cleaning 10004 clauses out of 20012 with flag 225002/721224
25.81/25.31	c cleaning 9996 clauses out of 20006 with flag 235000/731222
26.11/25.63	c cleaning 9998 clauses out of 20010 with flag 245000/741222
26.41/25.96	c cleaning 9999 clauses out of 20012 with flag 255000/751222
26.71/26.28	c cleaning 10002 clauses out of 20014 with flag 265001/761223
27.01/26.58	c cleaning 10001 clauses out of 20012 with flag 275001/771223
27.41/26.90	c cleaning 9997 clauses out of 20010 with flag 285000/781222
27.72/27.21	c cleaning 10000 clauses out of 20013 with flag 295000/791222
28.02/27.53	c cleaning 9999 clauses out of 20013 with flag 305000/801222
28.32/27.84	c cleaning 9999 clauses out of 20014 with flag 315000/811222
28.62/28.16	c cleaning 10005 clauses out of 20018 with flag 325003/821225
29.03/28.50	c cleaning 9999 clauses out of 20010 with flag 335000/831222
29.32/28.84	c cleaning 10002 clauses out of 20011 with flag 345000/841222
29.62/29.17	c cleaning 10002 clauses out of 20009 with flag 355000/851222
29.92/29.49	c cleaning 9997 clauses out of 20007 with flag 365000/861222
30.33/29.83	c cleaning 10000 clauses out of 20011 with flag 375001/871223
30.63/30.15	c cleaning 9999 clauses out of 20011 with flag 385001/881223
31.03/30.50	c cleaning 10001 clauses out of 20012 with flag 395001/891223
31.34/30.83	c cleaning 10001 clauses out of 20011 with flag 405001/901223
31.63/31.17	c cleaning 10000 clauses out of 20009 with flag 415000/911222
31.93/31.49	c cleaning 10000 clauses out of 20009 with flag 425000/921222
32.34/31.81	c cleaning 9999 clauses out of 20009 with flag 435000/931222
32.63/32.13	c cleaning 10000 clauses out of 20010 with flag 445000/941222
32.73/32.20	c Got one! Elapsed wall clock time (in seconds):32.093
32.73/32.20	o 22
32.83/32.30	c cleaning 7718 clauses out of 15447 with flag 3001/946659
33.03/32.50	c cleaning 6855 clauses out of 13728 with flag 9000/952658
33.23/32.76	c cleaning 6931 clauses out of 13874 with flag 16001/959659
33.54/33.05	c cleaning 7468 clauses out of 14943 with flag 24001/967659
33.83/33.37	c cleaning 8233 clauses out of 16475 with flag 33001/976659
34.23/33.75	c cleaning 9114 clauses out of 18243 with flag 43002/986660
34.64/34.12	c cleaning 9561 clauses out of 19127 with flag 53000/996658
34.93/34.48	c cleaning 9780 clauses out of 19566 with flag 63000/1006658
35.33/34.83	c cleaning 9888 clauses out of 19786 with flag 73000/1016658
35.64/35.17	c cleaning 9945 clauses out of 19898 with flag 83000/1026658
36.03/35.53	c cleaning 9970 clauses out of 19953 with flag 93000/1036658
36.34/35.87	c cleaning 9985 clauses out of 19983 with flag 103000/1046658
36.74/36.23	c cleaning 9995 clauses out of 19999 with flag 113001/1056659
37.04/36.58	c cleaning 9994 clauses out of 20004 with flag 123001/1066659
37.44/36.95	c cleaning 10001 clauses out of 20009 with flag 133000/1076658
37.84/37.30	c cleaning 9999 clauses out of 20008 with flag 143000/1086658
38.14/37.64	c cleaning 10000 clauses out of 20009 with flag 153000/1096658
38.44/37.99	c cleaning 10003 clauses out of 20009 with flag 163000/1106658
38.84/38.32	c cleaning 9999 clauses out of 20006 with flag 173000/1116658
39.14/38.66	c cleaning 9999 clauses out of 20008 with flag 183001/1126659
39.55/39.02	c cleaning 10001 clauses out of 20008 with flag 193000/1136658
39.85/39.35	c cleaning 9999 clauses out of 20007 with flag 203000/1146658
40.16/39.70	c cleaning 9998 clauses out of 20009 with flag 213001/1156659
40.55/40.07	c cleaning 10000 clauses out of 20010 with flag 223000/1166658
40.95/40.44	c cleaning 10003 clauses out of 20012 with flag 233002/1176660
41.26/40.77	c cleaning 10000 clauses out of 20008 with flag 243001/1186659
41.65/41.10	c cleaning 9994 clauses out of 20007 with flag 253000/1196658
41.96/41.47	c cleaning 10002 clauses out of 20013 with flag 263000/1206658
42.36/41.82	c cleaning 10002 clauses out of 20012 with flag 273001/1216659
42.66/42.16	c cleaning 9999 clauses out of 20009 with flag 283000/1226658
43.06/42.51	c cleaning 10000 clauses out of 20010 with flag 293000/1236658
43.37/42.86	c cleaning 10002 clauses out of 20012 with flag 303002/1246660
43.77/43.22	c cleaning 9998 clauses out of 20010 with flag 313002/1256660
44.07/43.55	c cleaning 9996 clauses out of 20011 with flag 323001/1266659
44.47/43.94	c cleaning 10002 clauses out of 20014 with flag 333000/1276658
44.87/44.31	c cleaning 10002 clauses out of 20013 with flag 343001/1286659
45.17/44.66	c cleaning 10000 clauses out of 20012 with flag 353002/1296660
45.57/45.03	c cleaning 10002 clauses out of 20010 with flag 363000/1306658
45.87/45.39	c cleaning 9999 clauses out of 20009 with flag 373001/1316659
46.42/45.81	c cleaning 10002 clauses out of 20009 with flag 383001/1326659
46.90/46.19	c cleaning 10000 clauses out of 20008 with flag 393002/1336660
47.67/46.58	c cleaning 9998 clauses out of 20006 with flag 403000/1346658
48.09/46.96	c cleaning 9996 clauses out of 20010 with flag 413002/1356660
48.30/47.12	c starts		: 206
48.30/47.12	c conflicts		: 1361511
48.30/47.12	c decisions		: 2007318
48.30/47.12	c propagations		: 30052128
48.30/47.12	c inspects		: 311821343
48.30/47.12	c shortcuts		: 0
48.30/47.12	c learnt literals	: 6
48.30/47.12	c learnt binary clauses	: 24
48.30/47.12	c learnt ternary clauses	: 359
48.30/47.12	c learnt constraints	: 1361504
48.30/47.12	c ignored constraints	: 0
48.30/47.12	c root simplifications	: 0
48.30/47.12	c removed literals (reason simplification)	: 12349307
48.30/47.12	c reason swapping (by a shorter reason)	: 0
48.30/47.12	c Calls to reduceDB	: 146
48.30/47.12	c number of reductions to clauses (during analyze)	: 0
48.30/47.12	c number of learned constraints concerned by reduction	: 0
48.30/47.12	c number of learning phase by resolution	: 0
48.30/47.12	c number of learning phase by cutting planes	: 0
48.30/47.12	c speed (assignments/second)	: 2014082.702231754
48.30/47.12	c non guided choices	749
48.30/47.12	c learnt constraints type 
48.30/47.12	c constraints type 
48.30/47.12	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27
48.30/47.12	c org.sat4j.minisat.constraints.card.MinWatchCard => 41
48.30/47.12	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3
48.30/47.12	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 30
48.30/47.12	s OPTIMUM FOUND
48.30/47.12	v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 
48.30/47.12	c objective function=22
48.30/47.12	c Total wall clock time (in seconds): 47.016

Verifier Data 

OK	22

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 /var/tmp/evaluation-result-3492376-1307909730/watcher-3492376-1307909730 -o /var/tmp/evaluation-result-3492376-1307909730/solver-3492376-1307909730 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492376-1307909730.wbo 

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.01 2.01 1.94 2/195 5271
/proc/meminfo: memFree=1314108/32950940 swapFree=67053420/67111528
[pid=5271] ppid=5269 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/5271/stat : 5271 (java) R 5269 5271 3459 0 -1 4202496 955 0 0 0 0 0 0 0 25 0 1 0 981203773 23580672 697 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 215983629800 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5271/statm: 5757 697 514 9 0 124 0

[startup+0.0249879 s]
/proc/loadavg: 2.01 2.01 1.94 2/195 5271
/proc/meminfo: memFree=1314108/32950940 swapFree=67053420/67111528
[pid=5271] ppid=5269 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/5271/stat : 5271 (java) S 5269 5271 3459 0 -1 4202496 9999 0 1 0 0 0 0 0 25 0 10 0 981203773 10703900672 9699 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/5271/statm: 2613257 9699 982 9 0 2604413 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10453028

[startup+0.100976 s]
/proc/loadavg: 2.01 2.01 1.94 2/195 5271
/proc/meminfo: memFree=1314108/32950940 swapFree=67053420/67111528
[pid=5271] ppid=5269 vsize=10539972 CPUtime=0.1 cores=1,3,5,7
/proc/5271/stat : 5271 (java) S 5269 5271 3459 0 -1 4202496 13081 0 1 0 9 1 0 0 25 0 18 0 981203773 10792931328 12740 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5271/statm: 2634993 12741 2092 9 0 2625727 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539972

[startup+0.300942 s]
/proc/loadavg: 2.01 2.01 1.94 2/195 5271
/proc/meminfo: memFree=1314108/32950940 swapFree=67053420/67111528
[pid=5271] ppid=5269 vsize=10543684 CPUtime=0.53 cores=1,3,5,7
/proc/5271/stat : 5271 (java) S 5269 5271 3459 0 -1 4202496 16185 0 1 0 52 1 0 0 25 0 19 0 981203773 10796732416 14661 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5271/statm: 2635921 14661 2214 9 0 2626655 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10543684

[startup+0.700872 s]
/proc/loadavg: 2.01 2.01 1.94 2/195 5271
/proc/meminfo: memFree=1314108/32950940 swapFree=67053420/67111528
[pid=5271] ppid=5269 vsize=10543684 CPUtime=1.04 cores=1,3,5,7
/proc/5271/stat : 5271 (java) S 5269 5271 3459 0 -1 4202496 17500 0 1 0 102 2 0 0 25 0 19 0 981203773 10796732416 15736 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5271/statm: 2635921 15736 2246 9 0 2626655 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 10543684

[startup+1.50073 s]
/proc/loadavg: 2.01 2.01 1.94 3/214 5290
/proc/meminfo: memFree=1259296/32950940 swapFree=67053420/67111528
[pid=5271] ppid=5269 vsize=10543684 CPUtime=1.87 cores=1,3,5,7
/proc/5271/stat : 5271 (java) S 5269 5271 3459 0 -1 4202496 17927 0 1 0 185 2 0 0 25 0 19 0 981203773 10796732416 16159 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5271/statm: 2635921 16159 2247 9 0 2626655 0
[pid=5271/tid=5273] ppid=5269 vsize=10543684 CPUtime=1.41 cores=1,3,5,7
/proc/5271/task/5273/stat : 5273 (java) R 5269 5271 3459 0 -1 4202560 12102 0 1 0 140 1 0 0 18 0 19 0 981203773 10796732416 16159 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 46912505529913 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5271/tid=5274] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5274/stat : 5274 (java) S 5269 5271 3459 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 981203775 10796732416 16159 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5271/tid=5275] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5275/stat : 5275 (java) S 5269 5271 3459 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 981203775 10796732416 16159 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5271/tid=5276] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5276/stat : 5276 (java) S 5269 5271 3459 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 981203775 10796732416 16159 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5271/tid=5277] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5277/stat : 5277 (java) S 5269 5271 3459 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 981203775 10796732416 16159 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5271/tid=5278] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5278/stat : 5278 (java) S 5269 5271 3459 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 981203775 10796732416 16159 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5271/tid=5279] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5279/stat : 5279 (java) S 5269 5271 3459 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 19 0 981203775 10796732416 16159 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5271/tid=5280] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5280/stat : 5280 (java) S 5269 5271 3459 0 -1 4202560 188 0 0 0 0 0 0 0 15 0 19 0 981203775 10796732416 16159 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5271/tid=5281] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5281/stat : 5281 (java) S 5269 5271 3459 0 -1 4202560 151 0 0 0 0 0 0 0 16 0 19 0 981203775 10796732416 16159 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5271/tid=5282] ppid=5269 vsize=10543684 CPUtime=0.05 cores=1,3,5,7
/proc/5271/task/5282/stat : 5282 (java) S 5269 5271 3459 0 -1 4202560 478 0 0 0 5 0 0 0 15 0 19 0 981203776 10796732416 16159 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000409088 0 0 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5271/tid=5283] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5283/stat : 5283 (java) S 5269 5271 3459 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 981203777 10796732416 16159 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5271/tid=5284] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5284/stat : 5284 (java) S 5269 5271 3459 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 981203777 10796732416 16159 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5271/tid=5285] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5285/stat : 5285 (java) S 5269 5271 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981203779 10796732416 16159 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000416177 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5271/tid=5286] ppid=5269 vsize=10543684 CPUtime=0.17 cores=1,3,5,7
/proc/5271/task/5286/stat : 5286 (java) S 5269 5271 3459 0 -1 4202560 1589 0 0 0 17 0 0 0 18 0 19 0 981203779 10796732416 16159 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5271/tid=5287] ppid=5269 vsize=10543684 CPUtime=0.19 cores=1,3,5,7
/proc/5271/task/5287/stat : 5287 (java) S 5269 5271 3459 0 -1 4202560 1988 0 0 0 19 0 0 0 19 0 19 0 981203779 10796732416 16159 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5271/tid=5288] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5288/stat : 5288 (java) S 5269 5271 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981203779 10796732416 16159 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5271/tid=5289] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5289/stat : 5289 (java) S 5269 5271 3459 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981203779 10796732416 16159 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000409088 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5271/tid=5290] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5290/stat : 5290 (java) S 5269 5271 3459 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981203790 10796732416 16159 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000409088 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 10543684

[startup+3.10145 s]
/proc/loadavg: 2.01 2.01 1.94 3/214 5290
/proc/meminfo: memFree=1257704/32950940 swapFree=67053420/67111528
[pid=5271] ppid=5269 vsize=10543684 CPUtime=3.48 cores=1,3,5,7
/proc/5271/stat : 5271 (java) S 5269 5271 3459 0 -1 4202496 18086 0 1 0 346 2 0 0 25 0 19 0 981203773 10796732416 16311 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5271/statm: 2635921 16311 2247 9 0 2626655 0
[pid=5271/tid=5273] ppid=5269 vsize=10543684 CPUtime=2.92 cores=1,3,5,7
/proc/5271/task/5273/stat : 5273 (java) R 5269 5271 3459 0 -1 4202560 12110 0 1 0 291 1 0 0 20 0 19 0 981203773 10796732416 16311 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 46912505529893 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5271/tid=5274] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5274/stat : 5274 (java) S 5269 5271 3459 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 981203775 10796732416 16311 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5271/tid=5275] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5275/stat : 5275 (java) S 5269 5271 3459 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 981203775 10796732416 16311 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5271/tid=5276] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5276/stat : 5276 (java) S 5269 5271 3459 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 981203775 10796732416 16311 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5271/tid=5277] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5277/stat : 5277 (java) S 5269 5271 3459 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 981203775 10796732416 16311 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5271/tid=5278] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5278/stat : 5278 (java) S 5269 5271 3459 0 -1 4202560 29 0 0 0 0 0 0 0 15 0 19 0 981203775 10796732416 16311 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5271/tid=5279] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5279/stat : 5279 (java) S 5269 5271 3459 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 19 0 981203775 10796732416 16311 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5271/tid=5280] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5280/stat : 5280 (java) S 5269 5271 3459 0 -1 4202560 189 0 0 0 0 0 0 0 15 0 19 0 981203775 10796732416 16311 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5271/tid=5281] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5281/stat : 5281 (java) S 5269 5271 3459 0 -1 4202560 172 0 0 0 0 0 0 0 15 0 19 0 981203775 10796732416 16311 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5271/tid=5282] ppid=5269 vsize=10543684 CPUtime=0.14 cores=1,3,5,7
/proc/5271/task/5282/stat : 5282 (java) S 5269 5271 3459 0 -1 4202560 555 0 0 0 14 0 0 0 15 0 19 0 981203776 10796732416 16311 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000409088 0 0 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5271/tid=5283] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5283/stat : 5283 (java) S 5269 5271 3459 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 981203777 10796732416 16311 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5271/tid=5284] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5284/stat : 5284 (java) S 5269 5271 3459 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 981203777 10796732416 16311 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5271/tid=5285] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5285/stat : 5285 (java) S 5269 5271 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981203779 10796732416 16311 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000416177 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5271/tid=5286] ppid=5269 vsize=10543684 CPUtime=0.17 cores=1,3,5,7
/proc/5271/task/5286/stat : 5286 (java) S 5269 5271 3459 0 -1 4202560 1589 0 0 0 17 0 0 0 18 0 19 0 981203779 10796732416 16311 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5271/tid=5287] ppid=5269 vsize=10543684 CPUtime=0.2 cores=1,3,5,7
/proc/5271/task/5287/stat : 5287 (java) S 5269 5271 3459 0 -1 4202560 1988 0 0 0 20 0 0 0 15 0 19 0 981203779 10796732416 16311 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5271/tid=5288] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5288/stat : 5288 (java) S 5269 5271 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981203779 10796732416 16311 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5271/tid=5289] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5289/stat : 5289 (java) S 5269 5271 3459 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981203779 10796732416 16311 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000409088 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5271/tid=5290] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5290/stat : 5290 (java) S 5269 5271 3459 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981203790 10796732416 16311 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000409088 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 10543684

[startup+6.30089 s]
/proc/loadavg: 2.01 2.01 1.94 3/214 5290
/proc/meminfo: memFree=1256336/32950940 swapFree=67053420/67111528
[pid=5271] ppid=5269 vsize=10543684 CPUtime=6.7 cores=1,3,5,7
/proc/5271/stat : 5271 (java) S 5269 5271 3459 0 -1 4202496 18257 0 1 0 668 2 0 0 25 0 19 0 981203773 10796732416 16471 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5271/statm: 2635921 16471 2247 9 0 2626655 0
[pid=5271/tid=5273] ppid=5269 vsize=10543684 CPUtime=5.98 cores=1,3,5,7
/proc/5271/task/5273/stat : 5273 (java) R 5269 5271 3459 0 -1 4202560 12121 0 1 0 597 1 0 0 25 0 19 0 981203773 10796732416 16471 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 46912505592071 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5271/tid=5274] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5274/stat : 5274 (java) S 5269 5271 3459 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 981203775 10796732416 16471 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5271/tid=5275] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5275/stat : 5275 (java) S 5269 5271 3459 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 981203775 10796732416 16471 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5271/tid=5276] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5276/stat : 5276 (java) S 5269 5271 3459 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 981203775 10796732416 16471 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5271/tid=5277] ppid=5269 vsize=10543684 CPUtime=0.01 cores=1,3,5,7
/proc/5271/task/5277/stat : 5277 (java) S 5269 5271 3459 0 -1 4202560 71 0 0 0 1 0 0 0 15 0 19 0 981203775 10796732416 16471 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5271/tid=5278] ppid=5269 vsize=10543684 CPUtime=0.01 cores=1,3,5,7
/proc/5271/task/5278/stat : 5278 (java) S 5269 5271 3459 0 -1 4202560 30 0 0 0 1 0 0 0 15 0 19 0 981203775 10796732416 16471 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5271/tid=5279] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5279/stat : 5279 (java) S 5269 5271 3459 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 19 0 981203775 10796732416 16471 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5271/tid=5280] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5280/stat : 5280 (java) S 5269 5271 3459 0 -1 4202560 191 0 0 0 0 0 0 0 15 0 19 0 981203775 10796732416 16471 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5271/tid=5281] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5281/stat : 5281 (java) S 5269 5271 3459 0 -1 4202560 172 0 0 0 0 0 0 0 16 0 19 0 981203775 10796732416 16471 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5271/tid=5282] ppid=5269 vsize=10543684 CPUtime=0.26 cores=1,3,5,7
/proc/5271/task/5282/stat : 5282 (java) S 5269 5271 3459 0 -1 4202560 705 0 0 0 26 0 0 0 15 0 19 0 981203776 10796732416 16471 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000409088 0 0 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5271/tid=5283] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5283/stat : 5283 (java) S 5269 5271 3459 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 981203777 10796732416 16471 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5271/tid=5284] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5284/stat : 5284 (java) S 5269 5271 3459 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 981203777 10796732416 16471 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5271/tid=5285] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5285/stat : 5285 (java) S 5269 5271 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981203779 10796732416 16471 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000416177 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5271/tid=5286] ppid=5269 vsize=10543684 CPUtime=0.17 cores=1,3,5,7
/proc/5271/task/5286/stat : 5286 (java) S 5269 5271 3459 0 -1 4202560 1589 0 0 0 17 0 0 0 18 0 19 0 981203779 10796732416 16471 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5271/tid=5287] ppid=5269 vsize=10543684 CPUtime=0.2 cores=1,3,5,7
/proc/5271/task/5287/stat : 5287 (java) S 5269 5271 3459 0 -1 4202560 1988 0 0 0 20 0 0 0 15 0 19 0 981203779 10796732416 16471 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5271/tid=5288] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5288/stat : 5288 (java) S 5269 5271 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981203779 10796732416 16471 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5271/tid=5289] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5289/stat : 5289 (java) S 5269 5271 3459 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981203779 10796732416 16471 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000409088 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5271/tid=5290] ppid=5269 vsize=10543684 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5290/stat : 5290 (java) S 5269 5271 3459 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981203790 10796732416 16471 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000409088 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.7
Current children cumulated vsize (KiB) 10543684

[startup+12.7008 s]

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

/proc/5271/task/5274/stat : 5274 (java) S 5269 5271 3459 0 -1 4202560 103 0 0 0 3 0 0 0 16 0 19 0 981203775 10796482560 17065 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5271/tid=5275] ppid=5269 vsize=10543440 CPUtime=0.03 cores=1,3,5,7
/proc/5271/task/5275/stat : 5275 (java) S 5269 5271 3459 0 -1 4202560 74 0 0 0 3 0 0 0 15 0 19 0 981203775 10796482560 17065 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5271/tid=5276] ppid=5269 vsize=10543440 CPUtime=0.04 cores=1,3,5,7
/proc/5271/task/5276/stat : 5276 (java) S 5269 5271 3459 0 -1 4202560 219 0 0 0 4 0 0 0 16 0 19 0 981203775 10796482560 17065 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5271/tid=5277] ppid=5269 vsize=10543440 CPUtime=0.05 cores=1,3,5,7
/proc/5271/task/5277/stat : 5277 (java) S 5269 5271 3459 0 -1 4202560 123 0 0 0 5 0 0 0 16 0 19 0 981203775 10796482560 17065 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5271/tid=5278] ppid=5269 vsize=10543440 CPUtime=0.04 cores=1,3,5,7
/proc/5271/task/5278/stat : 5278 (java) S 5269 5271 3459 0 -1 4202560 47 0 0 0 4 0 0 0 16 0 19 0 981203775 10796482560 17065 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5271/tid=5279] ppid=5269 vsize=10543440 CPUtime=0.03 cores=1,3,5,7
/proc/5271/task/5279/stat : 5279 (java) S 5269 5271 3459 0 -1 4202560 76 0 0 0 3 0 0 0 15 0 19 0 981203775 10796482560 17065 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5271/tid=5280] ppid=5269 vsize=10543440 CPUtime=0.03 cores=1,3,5,7
/proc/5271/task/5280/stat : 5280 (java) S 5269 5271 3459 0 -1 4202560 196 0 0 0 3 0 0 0 15 0 19 0 981203775 10796482560 17065 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5271/tid=5281] ppid=5269 vsize=10543440 CPUtime=0.03 cores=1,3,5,7
/proc/5271/task/5281/stat : 5281 (java) S 5269 5271 3459 0 -1 4202560 217 0 0 0 3 0 0 0 15 0 19 0 981203775 10796482560 17065 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5271/tid=5282] ppid=5269 vsize=10543440 CPUtime=1.81 cores=1,3,5,7
/proc/5271/task/5282/stat : 5282 (java) S 5269 5271 3459 0 -1 4202560 1002 0 0 0 181 0 0 0 16 0 19 0 981203776 10796482560 17065 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000409088 0 0 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5271/tid=5283] ppid=5269 vsize=10543440 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5283/stat : 5283 (java) S 5269 5271 3459 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 981203777 10796482560 17065 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5271/tid=5284] ppid=5269 vsize=10543440 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5284/stat : 5284 (java) S 5269 5271 3459 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 981203777 10796482560 17065 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5271/tid=5285] ppid=5269 vsize=10543440 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5285/stat : 5285 (java) S 5269 5271 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981203779 10796482560 17065 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000416177 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5271/tid=5286] ppid=5269 vsize=10543440 CPUtime=0.17 cores=1,3,5,7
/proc/5271/task/5286/stat : 5286 (java) S 5269 5271 3459 0 -1 4202560 1589 0 0 0 17 0 0 0 18 0 19 0 981203779 10796482560 17065 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5271/tid=5287] ppid=5269 vsize=10543440 CPUtime=0.22 cores=1,3,5,7
/proc/5271/task/5287/stat : 5287 (java) S 5269 5271 3459 0 -1 4202560 2137 0 0 0 22 0 0 0 15 0 19 0 981203779 10796482560 17065 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5271/tid=5288] ppid=5269 vsize=10543440 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5288/stat : 5288 (java) S 5269 5271 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981203779 10796482560 17065 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5271/tid=5289] ppid=5269 vsize=10543440 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5289/stat : 5289 (java) S 5269 5271 3459 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 981203779 10796482560 17065 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000409088 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5271/tid=5290] ppid=5269 vsize=10543440 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5290/stat : 5290 (java) S 5269 5271 3459 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981203790 10796482560 17065 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000409088 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 45.27
Current children cumulated vsize (KiB) 10543440

[startup+46.3009 s]
/proc/loadavg: 2.00 2.01 1.94 4/214 5292
/proc/meminfo: memFree=1231404/32950940 swapFree=67053420/67111528
[pid=5271] ppid=5269 vsize=10564656 CPUtime=47.26 cores=1,3,5,7
/proc/5271/stat : 5271 (java) S 5269 5271 3459 0 -1 4202496 27715 0 1 0 4721 5 0 0 25 0 19 0 981203773 10818207744 21773 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5271/statm: 2641164 21773 2250 9 0 2631898 0
[pid=5271/tid=5273] ppid=5269 vsize=10564656 CPUtime=44.24 cores=1,3,5,7
/proc/5271/task/5273/stat : 5273 (java) R 5269 5271 3459 0 -1 4202560 12245 0 1 0 4422 2 0 0 25 0 19 0 981203773 10818207744 21773 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 46912505581188 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5271/tid=5274] ppid=5269 vsize=10564656 CPUtime=0.04 cores=1,3,5,7
/proc/5271/task/5274/stat : 5274 (java) S 5269 5271 3459 0 -1 4202560 103 0 0 0 4 0 0 0 15 0 19 0 981203775 10818207744 21773 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5271/tid=5275] ppid=5269 vsize=10564656 CPUtime=0.03 cores=1,3,5,7
/proc/5271/task/5275/stat : 5275 (java) S 5269 5271 3459 0 -1 4202560 74 0 0 0 3 0 0 0 16 0 19 0 981203775 10818207744 21773 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5271/tid=5276] ppid=5269 vsize=10564656 CPUtime=0.04 cores=1,3,5,7
/proc/5271/task/5276/stat : 5276 (java) S 5269 5271 3459 0 -1 4202560 219 0 0 0 4 0 0 0 15 0 19 0 981203775 10818207744 21773 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5271/tid=5277] ppid=5269 vsize=10564656 CPUtime=0.06 cores=1,3,5,7
/proc/5271/task/5277/stat : 5277 (java) S 5269 5271 3459 0 -1 4202560 124 0 0 0 6 0 0 0 16 0 19 0 981203775 10818207744 21773 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5271/tid=5278] ppid=5269 vsize=10564656 CPUtime=0.05 cores=1,3,5,7
/proc/5271/task/5278/stat : 5278 (java) S 5269 5271 3459 0 -1 4202560 47 0 0 0 5 0 0 0 15 0 19 0 981203775 10818207744 21773 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5271/tid=5279] ppid=5269 vsize=10564656 CPUtime=0.03 cores=1,3,5,7
/proc/5271/task/5279/stat : 5279 (java) S 5269 5271 3459 0 -1 4202560 76 0 0 0 3 0 0 0 15 0 19 0 981203775 10818207744 21773 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5271/tid=5280] ppid=5269 vsize=10564656 CPUtime=0.04 cores=1,3,5,7
/proc/5271/task/5280/stat : 5280 (java) S 5269 5271 3459 0 -1 4202560 196 0 0 0 4 0 0 0 15 0 19 0 981203775 10818207744 21773 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5271/tid=5281] ppid=5269 vsize=10564656 CPUtime=0.04 cores=1,3,5,7
/proc/5271/task/5281/stat : 5281 (java) S 5269 5271 3459 0 -1 4202560 217 0 0 0 4 0 0 0 15 0 19 0 981203775 10818207744 21773 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5271/tid=5282] ppid=5269 vsize=10564656 CPUtime=1.87 cores=1,3,5,7
/proc/5271/task/5282/stat : 5282 (java) S 5269 5271 3459 0 -1 4202560 1034 0 0 0 187 0 0 0 16 0 19 0 981203776 10818207744 21773 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000409088 0 0 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5271/tid=5283] ppid=5269 vsize=10564656 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5283/stat : 5283 (java) S 5269 5271 3459 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 981203777 10818207744 21773 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5271/tid=5284] ppid=5269 vsize=10564656 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5284/stat : 5284 (java) S 5269 5271 3459 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 981203777 10818207744 21773 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5271/tid=5285] ppid=5269 vsize=10564656 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5285/stat : 5285 (java) S 5269 5271 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981203779 10818207744 21773 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000416177 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5271/tid=5286] ppid=5269 vsize=10564656 CPUtime=0.19 cores=1,3,5,7
/proc/5271/task/5286/stat : 5286 (java) S 5269 5271 3459 0 -1 4202560 1591 0 0 0 19 0 0 0 15 0 19 0 981203779 10818207744 21773 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5271/tid=5287] ppid=5269 vsize=10564656 CPUtime=0.56 cores=1,3,5,7
/proc/5271/task/5287/stat : 5287 (java) R 5269 5271 3459 0 -1 4202560 10633 0 0 0 55 1 0 0 15 0 19 0 981203779 10818207744 21773 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 47408278931548 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5271/tid=5288] ppid=5269 vsize=10564656 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5288/stat : 5288 (java) S 5269 5271 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981203779 10818207744 21773 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5271/tid=5289] ppid=5269 vsize=10564656 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5289/stat : 5289 (java) S 5269 5271 3459 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 981203779 10818207744 21773 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000409088 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5271/tid=5290] ppid=5269 vsize=10564656 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5290/stat : 5290 (java) S 5269 5271 3459 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981203790 10818207744 21773 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000409088 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 47.26
Current children cumulated vsize (KiB) 10564656

[startup+46.7009 s]
/proc/loadavg: 2.00 2.01 1.94 4/214 5292
/proc/meminfo: memFree=1231404/32950940 swapFree=67053420/67111528
[pid=5271] ppid=5269 vsize=10561880 CPUtime=47.89 cores=1,3,5,7
/proc/5271/stat : 5271 (java) S 5269 5271 3459 0 -1 4202496 28063 0 1 0 4784 5 0 0 25 0 19 0 981203773 10815365120 21749 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5271/statm: 2640470 21749 2250 9 0 2631204 0
[pid=5271/tid=5273] ppid=5269 vsize=10561880 CPUtime=44.62 cores=1,3,5,7
/proc/5271/task/5273/stat : 5273 (java) R 5269 5271 3459 0 -1 4202560 12246 0 1 0 4460 2 0 0 25 0 19 0 981203773 10815365120 21749 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 46912505581262 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5271/tid=5274] ppid=5269 vsize=10561880 CPUtime=0.04 cores=1,3,5,7
/proc/5271/task/5274/stat : 5274 (java) S 5269 5271 3459 0 -1 4202560 103 0 0 0 4 0 0 0 15 0 19 0 981203775 10815365120 21749 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5271/tid=5275] ppid=5269 vsize=10561880 CPUtime=0.03 cores=1,3,5,7
/proc/5271/task/5275/stat : 5275 (java) S 5269 5271 3459 0 -1 4202560 74 0 0 0 3 0 0 0 15 0 19 0 981203775 10815365120 21749 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5271/tid=5276] ppid=5269 vsize=10561880 CPUtime=0.04 cores=1,3,5,7
/proc/5271/task/5276/stat : 5276 (java) S 5269 5271 3459 0 -1 4202560 219 0 0 0 4 0 0 0 15 0 19 0 981203775 10815365120 21749 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5271/tid=5277] ppid=5269 vsize=10561880 CPUtime=0.06 cores=1,3,5,7
/proc/5271/task/5277/stat : 5277 (java) S 5269 5271 3459 0 -1 4202560 124 0 0 0 6 0 0 0 15 0 19 0 981203775 10815365120 21749 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5271/tid=5278] ppid=5269 vsize=10561880 CPUtime=0.05 cores=1,3,5,7
/proc/5271/task/5278/stat : 5278 (java) S 5269 5271 3459 0 -1 4202560 47 0 0 0 5 0 0 0 15 0 19 0 981203775 10815365120 21749 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5271/tid=5279] ppid=5269 vsize=10561880 CPUtime=0.03 cores=1,3,5,7
/proc/5271/task/5279/stat : 5279 (java) S 5269 5271 3459 0 -1 4202560 76 0 0 0 3 0 0 0 15 0 19 0 981203775 10815365120 21749 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5271/tid=5280] ppid=5269 vsize=10561880 CPUtime=0.04 cores=1,3,5,7
/proc/5271/task/5280/stat : 5280 (java) S 5269 5271 3459 0 -1 4202560 196 0 0 0 4 0 0 0 16 0 19 0 981203775 10815365120 21749 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5271/tid=5281] ppid=5269 vsize=10561880 CPUtime=0.04 cores=1,3,5,7
/proc/5271/task/5281/stat : 5281 (java) S 5269 5271 3459 0 -1 4202560 217 0 0 0 4 0 0 0 16 0 19 0 981203775 10815365120 21749 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5271/tid=5282] ppid=5269 vsize=10561880 CPUtime=1.88 cores=1,3,5,7
/proc/5271/task/5282/stat : 5282 (java) S 5269 5271 3459 0 -1 4202560 1034 0 0 0 188 0 0 0 16 0 19 0 981203776 10815365120 21749 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000409088 0 0 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5271/tid=5283] ppid=5269 vsize=10561880 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5283/stat : 5283 (java) S 5269 5271 3459 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 981203777 10815365120 21749 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5271/tid=5284] ppid=5269 vsize=10561880 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5284/stat : 5284 (java) S 5269 5271 3459 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 981203777 10815365120 21749 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5271/tid=5285] ppid=5269 vsize=10561880 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5285/stat : 5285 (java) S 5269 5271 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981203779 10815365120 21749 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000416177 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5271/tid=5286] ppid=5269 vsize=10561880 CPUtime=0.2 cores=1,3,5,7
/proc/5271/task/5286/stat : 5286 (java) S 5269 5271 3459 0 -1 4202560 1596 0 0 0 20 0 0 0 16 0 19 0 981203779 10815365120 21749 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5271/tid=5287] ppid=5269 vsize=10561880 CPUtime=0.78 cores=1,3,5,7
/proc/5271/task/5287/stat : 5287 (java) S 5269 5271 3459 0 -1 4202560 10975 0 0 0 77 1 0 0 16 0 19 0 981203779 10815365120 21749 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5271/tid=5288] ppid=5269 vsize=10561880 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5288/stat : 5288 (java) S 5269 5271 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981203779 10815365120 21749 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5271/tid=5289] ppid=5269 vsize=10561880 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5289/stat : 5289 (java) S 5269 5271 3459 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 981203779 10815365120 21749 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000409088 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5271/tid=5290] ppid=5269 vsize=10561880 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5290/stat : 5290 (java) S 5269 5271 3459 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981203790 10815365120 21749 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000409088 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 47.89
Current children cumulated vsize (KiB) 10561880

[startup+47.1008 s]
/proc/loadavg: 2.00 2.01 1.94 4/214 5292
/proc/meminfo: memFree=1231404/32950940 swapFree=67053420/67111528
[pid=5271] ppid=5269 vsize=10549372 CPUtime=48.3 cores=1,3,5,7
/proc/5271/stat : 5271 (java) S 5269 5271 3459 0 -1 4202496 28066 0 1 0 4825 5 0 0 25 0 19 0 981203773 10802556928 18641 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5271/statm: 2637343 18641 2250 9 0 2628077 0
[pid=5271/tid=5273] ppid=5269 vsize=10549372 CPUtime=45.01 cores=1,3,5,7
/proc/5271/task/5273/stat : 5273 (java) R 5269 5271 3459 0 -1 4202560 12247 0 1 0 4499 2 0 0 25 0 19 0 981203773 10802556928 18641 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 46912505592071 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5271/tid=5274] ppid=5269 vsize=10549372 CPUtime=0.04 cores=1,3,5,7
/proc/5271/task/5274/stat : 5274 (java) S 5269 5271 3459 0 -1 4202560 103 0 0 0 4 0 0 0 15 0 19 0 981203775 10802556928 18641 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5271/tid=5275] ppid=5269 vsize=10549372 CPUtime=0.03 cores=1,3,5,7
/proc/5271/task/5275/stat : 5275 (java) S 5269 5271 3459 0 -1 4202560 74 0 0 0 3 0 0 0 15 0 19 0 981203775 10802556928 18641 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5271/tid=5276] ppid=5269 vsize=10549372 CPUtime=0.04 cores=1,3,5,7
/proc/5271/task/5276/stat : 5276 (java) S 5269 5271 3459 0 -1 4202560 219 0 0 0 4 0 0 0 16 0 19 0 981203775 10802556928 18641 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5271/tid=5277] ppid=5269 vsize=10549372 CPUtime=0.06 cores=1,3,5,7
/proc/5271/task/5277/stat : 5277 (java) S 5269 5271 3459 0 -1 4202560 124 0 0 0 6 0 0 0 15 0 19 0 981203775 10802556928 18641 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5271/tid=5278] ppid=5269 vsize=10549372 CPUtime=0.05 cores=1,3,5,7
/proc/5271/task/5278/stat : 5278 (java) S 5269 5271 3459 0 -1 4202560 47 0 0 0 5 0 0 0 15 0 19 0 981203775 10802556928 18641 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5271/tid=5279] ppid=5269 vsize=10549372 CPUtime=0.03 cores=1,3,5,7
/proc/5271/task/5279/stat : 5279 (java) S 5269 5271 3459 0 -1 4202560 76 0 0 0 3 0 0 0 15 0 19 0 981203775 10802556928 18641 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5271/tid=5280] ppid=5269 vsize=10549372 CPUtime=0.04 cores=1,3,5,7
/proc/5271/task/5280/stat : 5280 (java) S 5269 5271 3459 0 -1 4202560 198 0 0 0 4 0 0 0 16 0 19 0 981203775 10802556928 18641 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5271/tid=5281] ppid=5269 vsize=10549372 CPUtime=0.04 cores=1,3,5,7
/proc/5271/task/5281/stat : 5281 (java) S 5269 5271 3459 0 -1 4202560 217 0 0 0 4 0 0 0 15 0 19 0 981203775 10802556928 18641 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5271/tid=5282] ppid=5269 vsize=10549372 CPUtime=1.89 cores=1,3,5,7
/proc/5271/task/5282/stat : 5282 (java) S 5269 5271 3459 0 -1 4202560 1034 0 0 0 189 0 0 0 16 0 19 0 981203776 10802556928 18641 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000409088 0 0 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5271/tid=5283] ppid=5269 vsize=10549372 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5283/stat : 5283 (java) S 5269 5271 3459 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 981203777 10802556928 18641 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5271/tid=5284] ppid=5269 vsize=10549372 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5284/stat : 5284 (java) S 5269 5271 3459 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 981203777 10802556928 18641 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5271/tid=5285] ppid=5269 vsize=10549372 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5285/stat : 5285 (java) S 5269 5271 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981203779 10802556928 18641 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000416177 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5271/tid=5286] ppid=5269 vsize=10549372 CPUtime=0.2 cores=1,3,5,7
/proc/5271/task/5286/stat : 5286 (java) S 5269 5271 3459 0 -1 4202560 1596 0 0 0 20 0 0 0 16 0 19 0 981203779 10802556928 18641 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5271/tid=5287] ppid=5269 vsize=10549372 CPUtime=0.78 cores=1,3,5,7
/proc/5271/task/5287/stat : 5287 (java) S 5269 5271 3459 0 -1 4202560 10975 0 0 0 77 1 0 0 15 0 19 0 981203779 10802556928 18641 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5271/tid=5288] ppid=5269 vsize=10549372 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5288/stat : 5288 (java) S 5269 5271 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981203779 10802556928 18641 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5271/tid=5289] ppid=5269 vsize=10549372 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5289/stat : 5289 (java) S 5269 5271 3459 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 981203779 10802556928 18641 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000409088 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5271/tid=5290] ppid=5269 vsize=10549372 CPUtime=0 cores=1,3,5,7
/proc/5271/task/5290/stat : 5290 (java) S 5269 5271 3459 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981203790 10802556928 18641 33554432000 1073741824 1073778376 140736338299984 18446744073709551615 216000409088 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 48.3
Current children cumulated vsize (KiB) 10549372

Child status: 30
Real time (s): 47.1434
CPU time (s): 48.3446
CPU user time (s): 48.2817
CPU system time (s): 0.06299
CPU usage (%): 102.548
Max. virtual memory (cumulated for all children) (KiB): 10565780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.2817
system time used= 0.06299
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28092
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5187
involuntary context switches= 2171

runsolver used 0.097985 second user time and 0.170974 second system time

The end

Launcher Data 

Begin job on node117 at 2011-06-12 22:15:30
IDJOB=3492376
IDBENCH=78788
IDSOLVER=1982
FILE ID=node117/3492376-1307909730
RUNJOBID= node117-1307907339-4520
PBS_JOBID= 13559588
Free space on /var/tmp= 2884 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110969860--soft-66-100-0.wbo
COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492376-1307909730/watcher-3492376-1307909730 -o /var/tmp/evaluation-result-3492376-1307909730/solver-3492376-1307909730 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492376-1307909730.wbo

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

MD5SUM BENCH= 67ae8b264a7332f0f782a64868c40f1f
RANDOM SEED=1092319845

node117.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5267.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:       1314264 kB
Buffers:         62712 kB
Cached:       30289716 kB
SwapCached:      10872 kB
Active:       15061712 kB
Inactive:     15628232 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:       1314264 kB
SwapTotal:    67111528 kB
SwapFree:     67053420 kB
Dirty:             436 kB
Writeback:           0 kB
AnonPages:      334700 kB
Mapped:          21260 kB
Slab:           882700 kB
PageTables:       5408 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS: 10549944 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2884 MiB
End job on node117 at 2011-06-12 22:16:17