Trace number 3492611

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 52.2511 50.9162

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111216411--soft-0-100-0.wbo
MD5SUMdbf89d35013c2bab398211fa15264c93
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark2.66759
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 constraints101
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 5034
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 5033
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1200
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.02/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.08	c See www.sat4j.org for details.
0.02/0.09	c version 2.3.1.v20110525
0.02/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.09	c java.vm.version	19.1-b02
0.02/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.09	c sun.arch.data.model	64
0.02/0.09	c java.version		1.6.0_24
0.02/0.09	c os.name		Linux
0.02/0.09	c os.version		2.6.18-164.el5
0.02/0.09	c os.arch		amd64
0.02/0.09	c Free memory 		9996466904
0.02/0.09	c Max memory 		10048897024
0.02/0.09	c Total memory 		10048897024
0.02/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3492611-1307910966.wbo
0.11/0.11	c reading problem ... 
0.11/0.16	c ... done. Wall clock time 0.055s.
0.11/0.16	c #vars     270
0.11/0.16	c #constraints  101
0.11/0.16	c constraints type 
0.11/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
0.11/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
0.27/0.22	c SATISFIABLE
0.27/0.22	c OPTIMIZING...
0.27/0.22	c Got one! Elapsed wall clock time (in seconds):0.113
0.27/0.22	o 637
0.27/0.25	c Got one! Elapsed wall clock time (in seconds):0.143
0.27/0.25	o 470
0.51/0.32	c Got one! Elapsed wall clock time (in seconds):0.215
0.51/0.32	o 442
0.51/0.34	c Got one! Elapsed wall clock time (in seconds):0.23
0.51/0.34	o 378
0.51/0.37	c Got one! Elapsed wall clock time (in seconds):0.266
0.51/0.37	o 370
0.51/0.39	c Got one! Elapsed wall clock time (in seconds):0.283
0.51/0.39	o 249
0.63/0.43	c Got one! Elapsed wall clock time (in seconds):0.323
0.63/0.43	o 247
0.86/0.65	c cleaning 3700 clauses out of 7407 with flag 4003/7407
0.99/0.75	c Got one! Elapsed wall clock time (in seconds):0.64
0.99/0.75	o 235
1.21/0.94	c cleaning 4681 clauses out of 9377 with flag 4000/13077
1.43/1.14	c Got one! Elapsed wall clock time (in seconds):1.026
1.43/1.14	o 232
1.43/1.17	c Got one! Elapsed wall clock time (in seconds):1.062
1.43/1.17	o 208
1.52/1.27	c cleaning 5693 clauses out of 11394 with flag 2003/19775
1.63/1.38	c Got one! Elapsed wall clock time (in seconds):1.267
1.63/1.38	o 198
1.83/1.55	c cleaning 5781 clauses out of 11578 with flag 4000/25652
2.15/1.85	c cleaning 5895 clauses out of 11797 with flag 10000/31652
2.35/2.05	c Got one! Elapsed wall clock time (in seconds):1.94
2.35/2.05	o 194
2.46/2.13	c cleaning 5700 clauses out of 11410 with flag 2000/37160
2.76/2.43	c cleaning 5852 clauses out of 11715 with flag 8005/43165
2.86/2.50	c Got one! Elapsed wall clock time (in seconds):2.394
2.86/2.50	o 188
2.96/2.63	c Got one! Elapsed wall clock time (in seconds):2.518
2.96/2.63	o 177
2.96/2.67	c cleaning 5635 clauses out of 11276 with flag 1000/48578
3.16/2.88	c Got one! Elapsed wall clock time (in seconds):2.773
3.16/2.88	o 160
3.27/2.93	c cleaning 5744 clauses out of 11496 with flag 1000/54433
3.47/3.16	c cleaning 5870 clauses out of 11754 with flag 7002/60435
3.87/3.52	c cleaning 6433 clauses out of 12882 with flag 14000/67433
4.27/3.94	c cleaning 7216 clauses out of 14450 with flag 22001/75434
4.27/3.99	c Got one! Elapsed wall clock time (in seconds):3.881
4.27/3.99	o 150
4.47/4.18	c cleaning 6417 clauses out of 12841 with flag 5000/81041
4.78/4.49	c cleaning 6206 clauses out of 12425 with flag 11001/87042
5.08/4.70	c Got one! Elapsed wall clock time (in seconds):4.593
5.08/4.70	o 133
5.08/4.75	c cleaning 5679 clauses out of 11369 with flag 1000/92192
5.41/5.08	c cleaning 5839 clauses out of 11690 with flag 7000/98192
6.11/5.44	c cleaning 6420 clauses out of 12851 with flag 14000/105192
6.97/5.91	c cleaning 7211 clauses out of 14435 with flag 22004/113196
7.37/6.37	c cleaning 8105 clauses out of 16223 with flag 31003/122195
7.68/6.69	c Got one! Elapsed wall clock time (in seconds):6.579
7.68/6.69	o 128
7.99/6.91	c cleaning 9951 clauses out of 19909 with flag 5001/133986
8.19/7.15	c cleaning 7974 clauses out of 15959 with flag 11002/139987
8.39/7.38	c Got one! Elapsed wall clock time (in seconds):7.269
8.39/7.38	o 118
8.70/7.62	c cleaning 9283 clauses out of 18583 with flag 5001/150585
9.00/7.95	c cleaning 7647 clauses out of 15302 with flag 11003/156587
9.41/8.32	c cleaning 7321 clauses out of 14653 with flag 18001/163585
9.81/8.76	c cleaning 7655 clauses out of 15333 with flag 26002/171586
10.31/9.27	c cleaning 8330 clauses out of 16676 with flag 35000/180584
10.61/9.59	c Got one! Elapsed wall clock time (in seconds):9.478
10.61/9.59	o 107
10.91/9.81	c cleaning 9471 clauses out of 18949 with flag 5002/191187
11.11/10.05	c cleaning 7735 clauses out of 15477 with flag 11001/197186
11.41/10.31	c cleaning 7369 clauses out of 14743 with flag 18002/204187
11.71/10.65	c Got one! Elapsed wall clock time (in seconds):10.538
11.71/10.65	o 106
12.02/10.93	c cleaning 9892 clauses out of 19789 with flag 5002/216602
12.31/11.25	c cleaning 7937 clauses out of 15895 with flag 11000/222600
12.62/11.51	c Got one! Elapsed wall clock time (in seconds):11.401
12.62/11.51	o 97
12.82/11.73	c cleaning 9114 clauses out of 18238 with flag 5000/232880
13.02/12.00	c cleaning 7562 clauses out of 15129 with flag 11005/238885
13.12/12.06	c Got one! Elapsed wall clock time (in seconds):11.955
13.12/12.06	o 94
13.32/12.24	c cleaning 6757 clauses out of 13520 with flag 5000/244838
13.52/12.45	c cleaning 6377 clauses out of 12764 with flag 11001/250839
13.82/12.79	c cleaning 6682 clauses out of 13386 with flag 18000/257838
13.92/12.82	c Got one! Elapsed wall clock time (in seconds):12.71
13.92/12.82	o 71
14.03/13.00	c cleaning 6027 clauses out of 12060 with flag 5000/263194
14.34/13.21	c cleaning 6014 clauses out of 12033 with flag 11000/269194
14.53/13.47	c cleaning 6503 clauses out of 13019 with flag 18000/276194
14.93/13.83	c cleaning 7251 clauses out of 14518 with flag 26002/284196
15.03/13.95	c Got one! Elapsed wall clock time (in seconds):13.846
15.03/13.95	o 54
15.15/14.07	c cleaning 6555 clauses out of 13121 with flag 3001/290050
15.36/14.30	c cleaning 6278 clauses out of 12566 with flag 9001/296050
15.65/14.54	c cleaning 6639 clauses out of 13287 with flag 16000/303049
15.95/14.85	c cleaning 7320 clauses out of 14649 with flag 24001/311050
16.25/15.19	c cleaning 8160 clauses out of 16329 with flag 33001/320050
16.66/15.58	c cleaning 9079 clauses out of 18169 with flag 43001/330050
16.88/15.70	c Got one! Elapsed wall clock time (in seconds):15.59
16.88/15.70	o 41
16.98/15.81	c cleaning 7508 clauses out of 15023 with flag 3001/335983
17.08/15.94	c Got one! Elapsed wall clock time (in seconds):15.829
17.08/15.94	o 25
17.17/16.02	c cleaning 6467 clauses out of 12944 with flag 2000/341412
17.37/16.25	c cleaning 6236 clauses out of 12479 with flag 8002/347414
17.68/16.51	c cleaning 6612 clauses out of 13241 with flag 15000/354412
17.78/16.69	c Got one! Elapsed wall clock time (in seconds):16.586
17.78/16.69	o 17
18.12/16.90	c cleaning 8506 clauses out of 17025 with flag 5001/364808
18.32/17.12	c cleaning 7252 clauses out of 14518 with flag 11000/370807
18.62/17.40	c cleaning 7133 clauses out of 14270 with flag 18004/377811
18.93/17.74	c cleaning 7562 clauses out of 15133 with flag 26000/385807
19.33/18.10	c cleaning 8282 clauses out of 16572 with flag 35001/394808
19.33/18.14	c Got one! Elapsed wall clock time (in seconds):18.036
19.33/18.14	o 13
19.53/18.33	c cleaning 7104 clauses out of 14218 with flag 5000/400736
19.73/18.54	c cleaning 6555 clauses out of 13116 with flag 11002/406738
19.93/18.78	c cleaning 6774 clauses out of 13559 with flag 18000/413736
20.23/19.07	c cleaning 7388 clauses out of 14786 with flag 26001/421737
20.63/19.42	c cleaning 8192 clauses out of 16400 with flag 35003/430739
21.04/19.82	c cleaning 9094 clauses out of 18205 with flag 45000/440736
21.43/20.23	c cleaning 9552 clauses out of 19113 with flag 55002/450738
21.83/20.65	c cleaning 9773 clauses out of 19559 with flag 65000/460736
22.24/21.04	c cleaning 9890 clauses out of 19787 with flag 75001/470737
22.63/21.45	c cleaning 9946 clauses out of 19898 with flag 85002/480738
23.04/21.85	c cleaning 9971 clauses out of 19950 with flag 95000/490736
23.44/22.22	c cleaning 9986 clauses out of 19980 with flag 105001/500737
23.74/22.58	c cleaning 9995 clauses out of 19993 with flag 115000/510736
24.14/22.93	c cleaning 9996 clauses out of 19999 with flag 125001/520737
24.44/23.25	c Got one! Elapsed wall clock time (in seconds):23.138
24.44/23.25	o 12
24.74/23.50	c cleaning 12005 clauses out of 24019 with flag 5000/534753
24.94/23.73	c cleaning 9003 clauses out of 18015 with flag 11001/540754
25.14/23.98	c cleaning 8002 clauses out of 16012 with flag 18001/547754
25.46/24.27	c cleaning 8001 clauses out of 16009 with flag 26000/555753
25.85/24.66	c cleaning 8501 clauses out of 17010 with flag 35002/564755
26.15/24.91	c Got one! Elapsed wall clock time (in seconds):24.806
26.15/24.91	o 10
26.35/25.16	c cleaning 10243 clauses out of 20492 with flag 5003/576738
26.56/25.39	c cleaning 8120 clauses out of 16247 with flag 11001/582736
26.85/25.63	c cleaning 7559 clauses out of 15128 with flag 18002/589737
27.15/25.93	c cleaning 7779 clauses out of 15568 with flag 26001/597736
27.45/26.28	c cleaning 8391 clauses out of 16790 with flag 35002/606737
27.85/26.65	c cleaning 9196 clauses out of 18400 with flag 45003/616738
28.05/26.83	c Got one! Elapsed wall clock time (in seconds):26.716
28.05/26.83	o 9
28.05/26.87	c cleaning 7445 clauses out of 14901 with flag 1001/622435
28.26/27.08	c cleaning 6723 clauses out of 13455 with flag 7000/628434
28.56/27.33	c cleaning 6861 clauses out of 13733 with flag 14001/635435
28.86/27.62	c cleaning 7433 clauses out of 14871 with flag 22000/643434
29.16/27.97	c cleaning 8218 clauses out of 16440 with flag 31002/652436
29.56/28.34	c cleaning 9107 clauses out of 18222 with flag 41002/662436
29.96/28.72	c cleaning 9553 clauses out of 19115 with flag 51002/672436
30.26/29.08	c cleaning 9778 clauses out of 19562 with flag 61002/682436
30.67/29.45	c cleaning 9889 clauses out of 19783 with flag 71001/692435
31.07/29.83	c cleaning 9939 clauses out of 19893 with flag 81000/702434
31.37/30.18	c cleaning 9970 clauses out of 19954 with flag 91000/712434
31.77/30.54	c cleaning 9985 clauses out of 19984 with flag 101000/722434
32.07/30.89	c cleaning 9997 clauses out of 20002 with flag 111003/732437
32.37/31.19	c Got one! Elapsed wall clock time (in seconds):31.086
32.37/31.19	o 8
32.67/31.44	c cleaning 12219 clauses out of 24444 with flag 5001/746876
32.87/31.66	c cleaning 9109 clauses out of 18225 with flag 11001/752876
33.17/31.91	c cleaning 8054 clauses out of 16115 with flag 18000/759875
33.47/32.21	c cleaning 8024 clauses out of 16061 with flag 26000/767875
33.77/32.54	c cleaning 8509 clauses out of 17037 with flag 35000/776875
34.07/32.89	c cleaning 9259 clauses out of 18530 with flag 45002/786877
34.47/33.25	c cleaning 9628 clauses out of 19270 with flag 55001/796876
34.77/33.60	c cleaning 9815 clauses out of 19641 with flag 65000/806875
35.17/33.95	c cleaning 9908 clauses out of 19826 with flag 75000/816875
35.57/34.30	c cleaning 9953 clauses out of 19918 with flag 85000/826875
35.87/34.67	c cleaning 9981 clauses out of 19966 with flag 95001/836876
36.27/35.03	c cleaning 9985 clauses out of 19984 with flag 105000/846875
36.67/35.41	c cleaning 9992 clauses out of 20000 with flag 115001/856876
36.97/35.78	c cleaning 9999 clauses out of 20007 with flag 125000/866875
37.38/36.13	c cleaning 10003 clauses out of 20011 with flag 135003/876878
37.78/36.50	c cleaning 10001 clauses out of 20007 with flag 145002/886877
38.08/36.87	c cleaning 9998 clauses out of 20004 with flag 155000/896875
38.48/37.24	c cleaning 9998 clauses out of 20007 with flag 165001/906876
38.78/37.59	c cleaning 9999 clauses out of 20009 with flag 175001/916876
39.18/37.94	c cleaning 10001 clauses out of 20012 with flag 185003/926878
39.58/38.31	c cleaning 10000 clauses out of 20009 with flag 195001/936876
39.88/38.67	c cleaning 9998 clauses out of 20009 with flag 205001/946876
40.28/39.01	c cleaning 10000 clauses out of 20010 with flag 215000/956875
40.28/39.03	c Got one! Elapsed wall clock time (in seconds):38.926
40.28/39.03	o 7
40.49/39.21	c cleaning 7647 clauses out of 15306 with flag 5004/962171
40.69/39.42	c cleaning 6824 clauses out of 13655 with flag 11000/968167
40.89/39.67	c cleaning 6912 clauses out of 13832 with flag 18001/975168
41.19/39.94	c cleaning 7456 clauses out of 14920 with flag 26001/983168
41.50/40.27	c cleaning 8225 clauses out of 16464 with flag 35001/992168
41.90/40.63	c cleaning 9114 clauses out of 18238 with flag 45000/1002167
42.30/41.03	c cleaning 9557 clauses out of 19126 with flag 55002/1012169
42.60/41.39	c cleaning 9779 clauses out of 19570 with flag 65003/1022170
43.00/41.77	c cleaning 9891 clauses out of 19789 with flag 75001/1032168
43.40/42.11	c cleaning 9942 clauses out of 19897 with flag 85000/1042167
43.70/42.47	c cleaning 9974 clauses out of 19955 with flag 95000/1052167
44.11/42.84	c cleaning 9990 clauses out of 19981 with flag 105000/1062167
44.50/43.22	c cleaning 9993 clauses out of 19992 with flag 115001/1072168
44.80/43.59	c cleaning 9997 clauses out of 19998 with flag 125000/1082167
45.21/43.96	c cleaning 9996 clauses out of 20002 with flag 135001/1092168
45.61/44.33	c cleaning 9999 clauses out of 20005 with flag 145000/1102167
45.91/44.68	c cleaning 9996 clauses out of 20006 with flag 155000/1112167
46.31/45.03	c cleaning 10001 clauses out of 20011 with flag 165001/1122168
46.61/45.31	c Got one! Elapsed wall clock time (in seconds):45.202
46.61/45.31	o 2
46.81/45.56	c cleaning 11588 clauses out of 23185 with flag 5000/1135343
47.01/45.77	c cleaning 8795 clauses out of 17597 with flag 11000/1141343
47.31/46.01	c cleaning 7901 clauses out of 15807 with flag 18005/1148348
47.52/46.29	c cleaning 7948 clauses out of 15901 with flag 26000/1156343
47.91/46.60	c cleaning 8472 clauses out of 16954 with flag 35001/1165344
48.21/46.97	c cleaning 9236 clauses out of 18482 with flag 45001/1175344
48.62/47.34	c cleaning 9617 clauses out of 19245 with flag 55000/1185343
49.01/47.71	c cleaning 9810 clauses out of 19632 with flag 65004/1195347
49.32/48.09	c cleaning 9906 clauses out of 19819 with flag 75001/1205344
49.72/48.46	c cleaning 9952 clauses out of 19912 with flag 85000/1215343
50.12/48.83	c cleaning 9979 clauses out of 19966 with flag 95006/1225349
50.52/49.20	c cleaning 9986 clauses out of 19981 with flag 105000/1235343
50.82/49.60	c cleaning 9989 clauses out of 19995 with flag 115000/1245343
51.22/50.00	c cleaning 10000 clauses out of 20007 with flag 125001/1255344
51.72/50.41	c cleaning 10001 clauses out of 20007 with flag 135001/1265344
52.12/50.80	c cleaning 9999 clauses out of 20006 with flag 145001/1275344
52.22/50.91	c starts		: 224
52.22/50.91	c conflicts		: 1278201
52.22/50.91	c decisions		: 1926419
52.22/50.91	c propagations		: 30363245
52.22/50.91	c inspects		: 299344440
52.22/50.91	c shortcuts		: 0
52.22/50.91	c learnt literals	: 5
52.22/50.91	c learnt binary clauses	: 55
52.22/50.91	c learnt ternary clauses	: 547
52.22/50.91	c learnt constraints	: 1278195
52.22/50.91	c ignored constraints	: 0
52.22/50.91	c root simplifications	: 0
52.22/50.91	c removed literals (reason simplification)	: 10871713
52.22/50.91	c reason swapping (by a shorter reason)	: 0
52.22/50.91	c Calls to reduceDB	: 150
52.22/50.91	c number of reductions to clauses (during analyze)	: 0
52.22/50.91	c number of learned constraints concerned by reduction	: 0
52.22/50.91	c number of learning phase by resolution	: 0
52.22/50.91	c number of learning phase by cutting planes	: 0
52.22/50.91	c speed (assignments/second)	: 5426853.44057194
52.22/50.91	c non guided choices	2088
52.22/50.91	c learnt constraints type 
52.22/50.91	c constraints type 
52.22/50.91	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
52.22/50.91	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
52.22/50.91	s OPTIMUM FOUND
52.22/50.91	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 
52.22/50.91	c objective function=2
52.22/50.91	c Total wall clock time (in seconds): 50.798

Verifier Data 

OK	2

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-3492611-1307910966/watcher-3492611-1307910966 -o /tmp/evaluation-result-3492611-1307910966/solver-3492611-1307910966 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492611-1307910966.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.07 2.02 1.91 2/195 6094
/proc/meminfo: memFree=32378964/32951124 swapFree=67050044/67111528
[pid=6094] ppid=6092 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/6094/stat : 6094 (java) R 6092 6094 2655 0 -1 4202496 869 0 0 0 0 0 0 0 24 0 1 0 902699363 23580672 612 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218365994752 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6094/statm: 5757 623 461 9 0 124 0

[startup+0.026019 s]
/proc/loadavg: 2.07 2.02 1.91 2/195 6094
/proc/meminfo: memFree=32378964/32951124 swapFree=67050044/67111528
[pid=6094] ppid=6092 vsize=10453860 CPUtime=0.02 cores=1,3,5,7
/proc/6094/stat : 6094 (java) S 6092 6094 2655 0 -1 4202496 10029 0 1 0 1 1 0 0 25 0 10 0 902699363 10704752640 9730 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382759909 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/6094/statm: 2613465 9737 1000 9 0 2604621 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10453860

[startup+0.100972 s]
/proc/loadavg: 2.07 2.02 1.91 2/195 6094
/proc/meminfo: memFree=32378964/32951124 swapFree=67050044/67111528
[pid=6094] ppid=6092 vsize=10539584 CPUtime=0.11 cores=1,3,5,7
/proc/6094/stat : 6094 (java) S 6092 6094 2655 0 -1 4202496 13060 0 1 0 9 2 0 0 25 0 18 0 902699363 10792534016 12724 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6094/statm: 2634896 12724 2092 9 0 2625630 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539584

[startup+0.300975 s]
/proc/loadavg: 2.07 2.02 1.91 2/195 6094
/proc/meminfo: memFree=32378964/32951124 swapFree=67050044/67111528
[pid=6094] ppid=6092 vsize=10545732 CPUtime=0.51 cores=1,3,5,7
/proc/6094/stat : 6094 (java) S 6092 6094 2655 0 -1 4202496 15331 0 1 0 49 2 0 0 25 0 19 0 902699363 10798829568 14851 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6094/statm: 2636433 14851 2215 9 0 2627167 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10545732

[startup+0.700866 s]
/proc/loadavg: 2.07 2.02 1.91 2/195 6094
/proc/meminfo: memFree=32378964/32951124 swapFree=67050044/67111528
[pid=6094] ppid=6092 vsize=10545732 CPUtime=0.99 cores=1,3,5,7
/proc/6094/stat : 6094 (java) S 6092 6094 2655 0 -1 4202496 16461 0 1 0 97 2 0 0 25 0 19 0 902699363 10798829568 15976 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6094/statm: 2636433 15976 2247 9 0 2627167 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 10545732

[startup+1.50076 s]
/proc/loadavg: 2.07 2.02 1.91 3/214 6113
/proc/meminfo: memFree=32322356/32951124 swapFree=67050044/67111528
[pid=6094] ppid=6092 vsize=10545732 CPUtime=1.83 cores=1,3,5,7
/proc/6094/stat : 6094 (java) S 6092 6094 2655 0 -1 4202496 16994 0 1 0 180 3 0 0 25 0 19 0 902699363 10798829568 16507 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6094/statm: 2636433 16507 2247 9 0 2627167 0
[pid=6094/tid=6096] ppid=6092 vsize=10545732 CPUtime=1.44 cores=1,3,5,7
/proc/6094/task/6096/stat : 6096 (java) R 6092 6094 2655 0 -1 4202560 12293 0 1 0 142 2 0 0 25 0 19 0 902699364 10798829568 16507 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 46912505558655 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6094/tid=6097] ppid=6092 vsize=10545732 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6097/stat : 6097 (java) S 6092 6094 2655 0 -1 4202560 39 0 0 0 0 0 0 0 16 0 19 0 902699365 10798829568 16507 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 5 0 0 0
[pid=6094/tid=6098] ppid=6092 vsize=10545732 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6098/stat : 6098 (java) S 6092 6094 2655 0 -1 4202560 110 0 0 0 0 0 0 0 16 0 19 0 902699365 10798829568 16507 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 5 0 0 0
[pid=6094/tid=6099] ppid=6092 vsize=10545732 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6099/stat : 6099 (java) S 6092 6094 2655 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902699365 10798829568 16507 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 5 0 0 0
[pid=6094/tid=6100] ppid=6092 vsize=10545732 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6100/stat : 6100 (java) S 6092 6094 2655 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902699365 10798829568 16507 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 5 0 0 0
[pid=6094/tid=6101] ppid=6092 vsize=10545732 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6101/stat : 6101 (java) S 6092 6094 2655 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 902699365 10798829568 16507 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 5 0 0 0
[pid=6094/tid=6102] ppid=6092 vsize=10545732 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6102/stat : 6102 (java) S 6092 6094 2655 0 -1 4202560 147 0 0 0 0 0 0 0 16 0 19 0 902699365 10798829568 16507 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 3 0 0 0
[pid=6094/tid=6103] ppid=6092 vsize=10545732 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6103/stat : 6103 (java) S 6092 6094 2655 0 -1 4202560 127 0 0 0 0 0 0 0 15 0 19 0 902699365 10798829568 16507 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 5 0 0 0
[pid=6094/tid=6104] ppid=6092 vsize=10545732 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6104/stat : 6104 (java) S 6092 6094 2655 0 -1 4202560 219 0 0 0 0 0 0 0 16 0 19 0 902699365 10798829568 16507 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 7 0 0 0
[pid=6094/tid=6105] ppid=6092 vsize=10545732 CPUtime=0.03 cores=1,3,5,7
/proc/6094/task/6105/stat : 6105 (java) S 6092 6094 2655 0 -1 4202560 461 0 0 0 3 0 0 0 16 0 19 0 902699366 10798829568 16507 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773760 0 0 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6106] ppid=6092 vsize=10545732 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6106/stat : 6106 (java) S 6092 6094 2655 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 902699367 10798829568 16507 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6107] ppid=6092 vsize=10545732 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6107/stat : 6107 (java) S 6092 6094 2655 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 902699367 10798829568 16507 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6108] ppid=6092 vsize=10545732 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6108/stat : 6108 (java) S 6092 6094 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902699369 10798829568 16507 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382780849 0 4 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6109] ppid=6092 vsize=10545732 CPUtime=0.19 cores=1,3,5,7
/proc/6094/task/6109/stat : 6109 (java) S 6092 6094 2655 0 -1 4202560 1470 0 0 0 19 0 0 0 15 0 19 0 902699369 10798829568 16507 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 7 0 0 0
[pid=6094/tid=6110] ppid=6092 vsize=10545732 CPUtime=0.13 cores=1,3,5,7
/proc/6094/task/6110/stat : 6110 (java) S 6092 6094 2655 0 -1 4202560 974 0 0 0 13 0 0 0 15 0 19 0 902699369 10798829568 16507 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 3 0 0 0
[pid=6094/tid=6111] ppid=6092 vsize=10545732 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6111/stat : 6111 (java) S 6092 6094 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902699369 10798829568 16507 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6112] ppid=6092 vsize=10545732 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6112/stat : 6112 (java) S 6092 6094 2655 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902699369 10798829568 16507 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773760 0 4 0 16800975 18446604461027243136 0 0 -1 5 0 0 0
[pid=6094/tid=6113] ppid=6092 vsize=10545732 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6113/stat : 6113 (java) S 6092 6094 2655 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902699380 10798829568 16507 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773760 0 4 0 16800975 18446604461027243136 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 10545732

[startup+3.10147 s]
/proc/loadavg: 2.06 2.02 1.91 3/214 6113
/proc/meminfo: memFree=32320860/32951124 swapFree=67050044/67111528
[pid=6094] ppid=6092 vsize=10545732 CPUtime=3.47 cores=1,3,5,7
/proc/6094/stat : 6094 (java) S 6092 6094 2655 0 -1 4202496 17138 0 1 0 344 3 0 0 25 0 19 0 902699363 10798829568 16645 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6094/statm: 2636433 16645 2249 9 0 2627167 0
[pid=6094/tid=6096] ppid=6092 vsize=10545732 CPUtime=2.96 cores=1,3,5,7
/proc/6094/task/6096/stat : 6096 (java) R 6092 6094 2655 0 -1 4202560 12300 0 1 0 294 2 0 0 25 0 19 0 902699364 10798829568 16645 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 46912505534156 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6094/tid=6097] ppid=6092 vsize=10545732 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6097/stat : 6097 (java) S 6092 6094 2655 0 -1 4202560 40 0 0 0 0 0 0 0 15 0 19 0 902699365 10798829568 16645 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 7 0 0 0
[pid=6094/tid=6098] ppid=6092 vsize=10545732 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6098/stat : 6098 (java) S 6092 6094 2655 0 -1 4202560 111 0 0 0 0 0 0 0 15 0 19 0 902699365 10798829568 16645 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 5 0 0 0
[pid=6094/tid=6099] ppid=6092 vsize=10545732 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6099/stat : 6099 (java) S 6092 6094 2655 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 902699365 10798829568 16645 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 5 0 0 0
[pid=6094/tid=6100] ppid=6092 vsize=10545732 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6100/stat : 6100 (java) S 6092 6094 2655 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 902699365 10798829568 16645 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 5 0 0 0
[pid=6094/tid=6101] ppid=6092 vsize=10545732 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6101/stat : 6101 (java) S 6092 6094 2655 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902699365 10798829568 16645 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 7 0 0 0
[pid=6094/tid=6102] ppid=6092 vsize=10545732 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6102/stat : 6102 (java) S 6092 6094 2655 0 -1 4202560 162 0 0 0 0 0 0 0 15 0 19 0 902699365 10798829568 16645 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 7 0 0 0
[pid=6094/tid=6103] ppid=6092 vsize=10545732 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6103/stat : 6103 (java) S 6092 6094 2655 0 -1 4202560 131 0 0 0 0 0 0 0 15 0 19 0 902699365 10798829568 16645 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 3 0 0 0
[pid=6094/tid=6104] ppid=6092 vsize=10545732 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6104/stat : 6104 (java) S 6092 6094 2655 0 -1 4202560 238 0 0 0 0 0 0 0 15 0 19 0 902699365 10798829568 16645 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 7 0 0 0
[pid=6094/tid=6105] ppid=6092 vsize=10545732 CPUtime=0.1 cores=1,3,5,7
/proc/6094/task/6105/stat : 6105 (java) S 6092 6094 2655 0 -1 4202560 534 0 0 0 10 0 0 0 16 0 19 0 902699366 10798829568 16645 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773760 0 0 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6106] ppid=6092 vsize=10545732 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6106/stat : 6106 (java) S 6092 6094 2655 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 902699367 10798829568 16645 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6107] ppid=6092 vsize=10545732 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6107/stat : 6107 (java) S 6092 6094 2655 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 902699367 10798829568 16645 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6108] ppid=6092 vsize=10545732 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6108/stat : 6108 (java) S 6092 6094 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902699369 10798829568 16645 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382780849 0 4 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6109] ppid=6092 vsize=10545732 CPUtime=0.23 cores=1,3,5,7
/proc/6094/task/6109/stat : 6109 (java) S 6092 6094 2655 0 -1 4202560 1479 0 0 0 23 0 0 0 15 0 19 0 902699369 10798829568 16645 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 7 0 0 0
[pid=6094/tid=6110] ppid=6092 vsize=10545732 CPUtime=0.13 cores=1,3,5,7
/proc/6094/task/6110/stat : 6110 (java) S 6092 6094 2655 0 -1 4202560 974 0 0 0 13 0 0 0 15 0 19 0 902699369 10798829568 16645 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 3 0 0 0
[pid=6094/tid=6111] ppid=6092 vsize=10545732 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6111/stat : 6111 (java) S 6092 6094 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902699369 10798829568 16645 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6112] ppid=6092 vsize=10545732 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6112/stat : 6112 (java) S 6092 6094 2655 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902699369 10798829568 16645 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773760 0 4 0 16800975 18446604461027243136 0 0 -1 5 0 0 0
[pid=6094/tid=6113] ppid=6092 vsize=10545732 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6113/stat : 6113 (java) S 6092 6094 2655 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902699380 10798829568 16645 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773760 0 4 0 16800975 18446604461027243136 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.47
Current children cumulated vsize (KiB) 10545732

[startup+6.30092 s]
/proc/loadavg: 2.06 2.02 1.91 3/214 6113
/proc/meminfo: memFree=32304264/32951124 swapFree=67050044/67111528
[pid=6094] ppid=6092 vsize=10568652 CPUtime=7.37 cores=1,3,5,7
/proc/6094/stat : 6094 (java) S 6092 6094 2655 0 -1 4202496 25090 0 1 0 733 4 0 0 25 0 19 0 902699363 10822299648 22036 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6094/statm: 2642163 22036 2250 9 0 2632897 0
[pid=6094/tid=6096] ppid=6092 vsize=10568652 CPUtime=6.04 cores=1,3,5,7
/proc/6094/task/6096/stat : 6096 (java) R 6092 6094 2655 0 -1 4202560 12313 0 1 0 602 2 0 0 19 0 19 0 902699364 10822299648 22036 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 46912505594564 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6094/tid=6097] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6097/stat : 6097 (java) S 6092 6094 2655 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 19 0 902699365 10822299648 22036 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 3 0 0 0
[pid=6094/tid=6098] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6098/stat : 6098 (java) S 6092 6094 2655 0 -1 4202560 117 0 0 0 0 0 0 0 16 0 19 0 902699365 10822299648 22036 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 5 0 0 0
[pid=6094/tid=6099] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6099/stat : 6099 (java) S 6092 6094 2655 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 902699365 10822299648 22036 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 5 0 0 0
[pid=6094/tid=6100] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6100/stat : 6100 (java) S 6092 6094 2655 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902699365 10822299648 22036 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 3 0 0 0
[pid=6094/tid=6101] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6101/stat : 6101 (java) S 6092 6094 2655 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902699365 10822299648 22036 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 3 0 0 0
[pid=6094/tid=6102] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6102/stat : 6102 (java) S 6092 6094 2655 0 -1 4202560 162 0 0 0 0 0 0 0 15 0 19 0 902699365 10822299648 22036 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 5 0 0 0
[pid=6094/tid=6103] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6103/stat : 6103 (java) S 6092 6094 2655 0 -1 4202560 132 0 0 0 0 0 0 0 15 0 19 0 902699365 10822299648 22036 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 5 0 0 0
[pid=6094/tid=6104] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6104/stat : 6104 (java) S 6092 6094 2655 0 -1 4202560 239 0 0 0 0 0 0 0 16 0 19 0 902699365 10822299648 22036 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 3 0 0 0
[pid=6094/tid=6105] ppid=6092 vsize=10568652 CPUtime=0.21 cores=1,3,5,7
/proc/6094/task/6105/stat : 6105 (java) S 6092 6094 2655 0 -1 4202560 558 0 0 0 21 0 0 0 16 0 19 0 902699366 10822299648 22036 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773760 0 0 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6106] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6106/stat : 6106 (java) S 6092 6094 2655 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 902699367 10822299648 22036 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6107] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6107/stat : 6107 (java) S 6092 6094 2655 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 902699367 10822299648 22036 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6108] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6108/stat : 6108 (java) S 6092 6094 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902699369 10822299648 22036 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382780849 0 4 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6109] ppid=6092 vsize=10568652 CPUtime=0.87 cores=1,3,5,7
/proc/6094/task/6109/stat : 6109 (java) S 6092 6094 2655 0 -1 4202560 9372 0 0 0 86 1 0 0 16 0 19 0 902699369 10822299648 22036 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 5 0 0 0
[pid=6094/tid=6110] ppid=6092 vsize=10568652 CPUtime=0.19 cores=1,3,5,7
/proc/6094/task/6110/stat : 6110 (java) S 6092 6094 2655 0 -1 4202560 984 0 0 0 19 0 0 0 15 0 19 0 902699369 10822299648 22036 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 3 0 0 0
[pid=6094/tid=6111] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6111/stat : 6111 (java) S 6092 6094 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902699369 10822299648 22036 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6112] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6112/stat : 6112 (java) S 6092 6094 2655 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902699369 10822299648 22036 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773760 0 4 0 16800975 18446604461027243136 0 0 -1 3 0 0 0
[pid=6094/tid=6113] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6113/stat : 6113 (java) S 6092 6094 2655 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902699380 10822299648 22036 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773760 0 4 0 16800975 18446604461027243136 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.37
Current children cumulated vsize (KiB) 10568652

[startup+12.7008 s]

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

/proc/6094/task/6097/stat : 6097 (java) S 6092 6094 2655 0 -1 4202560 51 0 0 0 3 0 0 0 15 0 19 0 902699365 10822299648 22617 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 7 0 0 0
[pid=6094/tid=6098] ppid=6092 vsize=10568652 CPUtime=0.04 cores=1,3,5,7
/proc/6094/task/6098/stat : 6098 (java) S 6092 6094 2655 0 -1 4202560 125 0 0 0 4 0 0 0 15 0 19 0 902699365 10822299648 22617 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 5 0 0 0
[pid=6094/tid=6099] ppid=6092 vsize=10568652 CPUtime=0.03 cores=1,3,5,7
/proc/6094/task/6099/stat : 6099 (java) S 6092 6094 2655 0 -1 4202560 41 0 0 0 3 0 0 0 16 0 19 0 902699365 10822299648 22617 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 7 0 0 0
[pid=6094/tid=6100] ppid=6092 vsize=10568652 CPUtime=0.03 cores=1,3,5,7
/proc/6094/task/6100/stat : 6100 (java) S 6092 6094 2655 0 -1 4202560 10 0 0 0 3 0 0 0 15 0 19 0 902699365 10822299648 22617 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 7 0 0 0
[pid=6094/tid=6101] ppid=6092 vsize=10568652 CPUtime=0.02 cores=1,3,5,7
/proc/6094/task/6101/stat : 6101 (java) S 6092 6094 2655 0 -1 4202560 10 0 0 0 2 0 0 0 15 0 19 0 902699365 10822299648 22617 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 5 0 0 0
[pid=6094/tid=6102] ppid=6092 vsize=10568652 CPUtime=0.04 cores=1,3,5,7
/proc/6094/task/6102/stat : 6102 (java) S 6092 6094 2655 0 -1 4202560 206 0 0 0 4 0 0 0 15 0 19 0 902699365 10822299648 22617 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 3 0 0 0
[pid=6094/tid=6103] ppid=6092 vsize=10568652 CPUtime=0.03 cores=1,3,5,7
/proc/6094/task/6103/stat : 6103 (java) S 6092 6094 2655 0 -1 4202560 157 0 0 0 3 0 0 0 15 0 19 0 902699365 10822299648 22617 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 3 0 0 0
[pid=6094/tid=6104] ppid=6092 vsize=10568652 CPUtime=0.03 cores=1,3,5,7
/proc/6094/task/6104/stat : 6104 (java) S 6092 6094 2655 0 -1 4202560 280 0 0 0 3 0 0 0 15 0 19 0 902699365 10822299648 22617 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 3 0 0 0
[pid=6094/tid=6105] ppid=6092 vsize=10568652 CPUtime=1.93 cores=1,3,5,7
/proc/6094/task/6105/stat : 6105 (java) S 6092 6094 2655 0 -1 4202560 1002 0 0 0 191 2 0 0 16 0 19 0 902699366 10822299648 22617 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773760 0 0 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6106] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6106/stat : 6106 (java) S 6092 6094 2655 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 902699367 10822299648 22617 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6107] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6107/stat : 6107 (java) S 6092 6094 2655 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 902699367 10822299648 22617 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6108] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6108/stat : 6108 (java) S 6092 6094 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902699369 10822299648 22617 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382780849 0 4 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6109] ppid=6092 vsize=10568652 CPUtime=0.89 cores=1,3,5,7
/proc/6094/task/6109/stat : 6109 (java) S 6092 6094 2655 0 -1 4202560 9372 0 0 0 88 1 0 0 15 0 19 0 902699369 10822299648 22617 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 5 0 0 0
[pid=6094/tid=6110] ppid=6092 vsize=10568652 CPUtime=0.28 cores=1,3,5,7
/proc/6094/task/6110/stat : 6110 (java) S 6092 6094 2655 0 -1 4202560 1003 0 0 0 28 0 0 0 15 0 19 0 902699369 10822299648 22617 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 3 0 0 0
[pid=6094/tid=6111] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6111/stat : 6111 (java) S 6092 6094 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902699369 10822299648 22617 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6112] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6112/stat : 6112 (java) S 6092 6094 2655 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902699369 10822299648 22617 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773760 0 4 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6113] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6113/stat : 6113 (java) S 6092 6094 2655 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902699380 10822299648 22617 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773760 0 4 0 16800975 18446604461027243136 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 10568652

[startup+50.3011 s]
/proc/loadavg: 2.03 2.01 1.91 3/214 6114
/proc/meminfo: memFree=32295292/32951124 swapFree=67050044/67111528
[pid=6094] ppid=6092 vsize=10568652 CPUtime=51.62 cores=1,3,5,7
/proc/6094/stat : 6094 (java) S 6092 6094 2655 0 -1 4202496 25855 0 1 0 5155 7 0 0 25 0 19 0 902699363 10822299648 22618 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6094/statm: 2642163 22618 2251 9 0 2632897 0
[pid=6094/tid=6096] ppid=6092 vsize=10568652 CPUtime=48.16 cores=1,3,5,7
/proc/6094/task/6096/stat : 6096 (java) R 6092 6094 2655 0 -1 4202560 12444 0 1 0 4814 2 0 0 22 0 19 0 902699364 10822299648 22618 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 46912505534522 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6094/tid=6097] ppid=6092 vsize=10568652 CPUtime=0.03 cores=1,3,5,7
/proc/6094/task/6097/stat : 6097 (java) S 6092 6094 2655 0 -1 4202560 51 0 0 0 3 0 0 0 15 0 19 0 902699365 10822299648 22618 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 7 0 0 0
[pid=6094/tid=6098] ppid=6092 vsize=10568652 CPUtime=0.04 cores=1,3,5,7
/proc/6094/task/6098/stat : 6098 (java) S 6092 6094 2655 0 -1 4202560 125 0 0 0 4 0 0 0 16 0 19 0 902699365 10822299648 22618 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 5 0 0 0
[pid=6094/tid=6099] ppid=6092 vsize=10568652 CPUtime=0.03 cores=1,3,5,7
/proc/6094/task/6099/stat : 6099 (java) S 6092 6094 2655 0 -1 4202560 41 0 0 0 3 0 0 0 15 0 19 0 902699365 10822299648 22618 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 7 0 0 0
[pid=6094/tid=6100] ppid=6092 vsize=10568652 CPUtime=0.03 cores=1,3,5,7
/proc/6094/task/6100/stat : 6100 (java) S 6092 6094 2655 0 -1 4202560 10 0 0 0 3 0 0 0 15 0 19 0 902699365 10822299648 22618 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 7 0 0 0
[pid=6094/tid=6101] ppid=6092 vsize=10568652 CPUtime=0.02 cores=1,3,5,7
/proc/6094/task/6101/stat : 6101 (java) S 6092 6094 2655 0 -1 4202560 10 0 0 0 2 0 0 0 15 0 19 0 902699365 10822299648 22618 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 5 0 0 0
[pid=6094/tid=6102] ppid=6092 vsize=10568652 CPUtime=0.04 cores=1,3,5,7
/proc/6094/task/6102/stat : 6102 (java) S 6092 6094 2655 0 -1 4202560 207 0 0 0 4 0 0 0 16 0 19 0 902699365 10822299648 22618 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 3 0 0 0
[pid=6094/tid=6103] ppid=6092 vsize=10568652 CPUtime=0.03 cores=1,3,5,7
/proc/6094/task/6103/stat : 6103 (java) S 6092 6094 2655 0 -1 4202560 157 0 0 0 3 0 0 0 15 0 19 0 902699365 10822299648 22618 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 3 0 0 0
[pid=6094/tid=6104] ppid=6092 vsize=10568652 CPUtime=0.03 cores=1,3,5,7
/proc/6094/task/6104/stat : 6104 (java) S 6092 6094 2655 0 -1 4202560 280 0 0 0 3 0 0 0 15 0 19 0 902699365 10822299648 22618 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 3 0 0 0
[pid=6094/tid=6105] ppid=6092 vsize=10568652 CPUtime=1.96 cores=1,3,5,7
/proc/6094/task/6105/stat : 6105 (java) S 6092 6094 2655 0 -1 4202560 1002 0 0 0 194 2 0 0 16 0 19 0 902699366 10822299648 22618 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773760 0 0 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6106] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6106/stat : 6106 (java) S 6092 6094 2655 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 902699367 10822299648 22618 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6107] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6107/stat : 6107 (java) S 6092 6094 2655 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 902699367 10822299648 22618 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6108] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6108/stat : 6108 (java) S 6092 6094 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902699369 10822299648 22618 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382780849 0 4 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6109] ppid=6092 vsize=10568652 CPUtime=0.89 cores=1,3,5,7
/proc/6094/task/6109/stat : 6109 (java) S 6092 6094 2655 0 -1 4202560 9372 0 0 0 88 1 0 0 15 0 19 0 902699369 10822299648 22618 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 5 0 0 0
[pid=6094/tid=6110] ppid=6092 vsize=10568652 CPUtime=0.28 cores=1,3,5,7
/proc/6094/task/6110/stat : 6110 (java) S 6092 6094 2655 0 -1 4202560 1003 0 0 0 28 0 0 0 15 0 19 0 902699369 10822299648 22618 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 3 0 0 0
[pid=6094/tid=6111] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6111/stat : 6111 (java) S 6092 6094 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902699369 10822299648 22618 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6112] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6112/stat : 6112 (java) S 6092 6094 2655 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902699369 10822299648 22618 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773760 0 4 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6113] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6113/stat : 6113 (java) S 6092 6094 2655 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902699380 10822299648 22618 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773760 0 4 0 16800975 18446604461027243136 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.62
Current children cumulated vsize (KiB) 10568652

[startup+50.701 s]
/proc/loadavg: 2.03 2.01 1.91 3/214 6114
/proc/meminfo: memFree=32295292/32951124 swapFree=67050044/67111528
[pid=6094] ppid=6092 vsize=10568652 CPUtime=52.02 cores=1,3,5,7
/proc/6094/stat : 6094 (java) S 6092 6094 2655 0 -1 4202496 25857 0 1 0 5195 7 0 0 25 0 19 0 902699363 10822299648 22619 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6094/statm: 2642163 22619 2251 9 0 2632897 0
[pid=6094/tid=6096] ppid=6092 vsize=10568652 CPUtime=48.55 cores=1,3,5,7
/proc/6094/task/6096/stat : 6096 (java) R 6092 6094 2655 0 -1 4202560 12445 0 1 0 4853 2 0 0 18 0 19 0 902699364 10822299648 22619 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 46912505534281 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6094/tid=6097] ppid=6092 vsize=10568652 CPUtime=0.03 cores=1,3,5,7
/proc/6094/task/6097/stat : 6097 (java) S 6092 6094 2655 0 -1 4202560 51 0 0 0 3 0 0 0 15 0 19 0 902699365 10822299648 22619 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 7 0 0 0
[pid=6094/tid=6098] ppid=6092 vsize=10568652 CPUtime=0.04 cores=1,3,5,7
/proc/6094/task/6098/stat : 6098 (java) S 6092 6094 2655 0 -1 4202560 125 0 0 0 4 0 0 0 15 0 19 0 902699365 10822299648 22619 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 5 0 0 0
[pid=6094/tid=6099] ppid=6092 vsize=10568652 CPUtime=0.03 cores=1,3,5,7
/proc/6094/task/6099/stat : 6099 (java) S 6092 6094 2655 0 -1 4202560 41 0 0 0 3 0 0 0 15 0 19 0 902699365 10822299648 22619 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 7 0 0 0
[pid=6094/tid=6100] ppid=6092 vsize=10568652 CPUtime=0.03 cores=1,3,5,7
/proc/6094/task/6100/stat : 6100 (java) S 6092 6094 2655 0 -1 4202560 10 0 0 0 3 0 0 0 15 0 19 0 902699365 10822299648 22619 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 7 0 0 0
[pid=6094/tid=6101] ppid=6092 vsize=10568652 CPUtime=0.02 cores=1,3,5,7
/proc/6094/task/6101/stat : 6101 (java) S 6092 6094 2655 0 -1 4202560 10 0 0 0 2 0 0 0 15 0 19 0 902699365 10822299648 22619 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 5 0 0 0
[pid=6094/tid=6102] ppid=6092 vsize=10568652 CPUtime=0.04 cores=1,3,5,7
/proc/6094/task/6102/stat : 6102 (java) S 6092 6094 2655 0 -1 4202560 207 0 0 0 4 0 0 0 15 0 19 0 902699365 10822299648 22619 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 3 0 0 0
[pid=6094/tid=6103] ppid=6092 vsize=10568652 CPUtime=0.03 cores=1,3,5,7
/proc/6094/task/6103/stat : 6103 (java) S 6092 6094 2655 0 -1 4202560 158 0 0 0 3 0 0 0 15 0 19 0 902699365 10822299648 22619 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 3 0 0 0
[pid=6094/tid=6104] ppid=6092 vsize=10568652 CPUtime=0.03 cores=1,3,5,7
/proc/6094/task/6104/stat : 6104 (java) S 6092 6094 2655 0 -1 4202560 280 0 0 0 3 0 0 0 15 0 19 0 902699365 10822299648 22619 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 7 0 0 0
[pid=6094/tid=6105] ppid=6092 vsize=10568652 CPUtime=1.97 cores=1,3,5,7
/proc/6094/task/6105/stat : 6105 (java) S 6092 6094 2655 0 -1 4202560 1002 0 0 0 195 2 0 0 16 0 19 0 902699366 10822299648 22619 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773760 0 0 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6106] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6106/stat : 6106 (java) S 6092 6094 2655 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 902699367 10822299648 22619 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6107] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6107/stat : 6107 (java) S 6092 6094 2655 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 902699367 10822299648 22619 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6108] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6108/stat : 6108 (java) S 6092 6094 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902699369 10822299648 22619 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382780849 0 4 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6109] ppid=6092 vsize=10568652 CPUtime=0.89 cores=1,3,5,7
/proc/6094/task/6109/stat : 6109 (java) S 6092 6094 2655 0 -1 4202560 9372 0 0 0 88 1 0 0 15 0 19 0 902699369 10822299648 22619 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 5 0 0 0
[pid=6094/tid=6110] ppid=6092 vsize=10568652 CPUtime=0.28 cores=1,3,5,7
/proc/6094/task/6110/stat : 6110 (java) S 6092 6094 2655 0 -1 4202560 1003 0 0 0 28 0 0 0 15 0 19 0 902699369 10822299648 22619 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 3 0 0 0
[pid=6094/tid=6111] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6111/stat : 6111 (java) S 6092 6094 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902699369 10822299648 22619 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6112] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6112/stat : 6112 (java) S 6092 6094 2655 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902699369 10822299648 22619 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773760 0 4 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6113] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6113/stat : 6113 (java) S 6092 6094 2655 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902699380 10822299648 22619 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773760 0 4 0 16800975 18446604461027243136 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 52.02
Current children cumulated vsize (KiB) 10568652

[startup+50.901 s]
/proc/loadavg: 2.03 2.01 1.91 3/214 6114
/proc/meminfo: memFree=32295292/32951124 swapFree=67050044/67111528
[pid=6094] ppid=6092 vsize=10568652 CPUtime=52.22 cores=1,3,5,7
/proc/6094/stat : 6094 (java) S 6092 6094 2655 0 -1 4202496 25860 0 1 0 5215 7 0 0 25 0 19 0 902699363 10822299648 22621 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/6094/statm: 2642163 22621 2251 9 0 2632897 0
[pid=6094/tid=6096] ppid=6092 vsize=10568652 CPUtime=48.73 cores=1,3,5,7
/proc/6094/task/6096/stat : 6096 (java) R 6092 6094 2655 0 -1 4202560 12448 0 1 0 4871 2 0 0 18 0 19 0 902699364 10822299648 22621 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 46912505533995 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6094/tid=6097] ppid=6092 vsize=10568652 CPUtime=0.03 cores=1,3,5,7
/proc/6094/task/6097/stat : 6097 (java) S 6092 6094 2655 0 -1 4202560 51 0 0 0 3 0 0 0 15 0 19 0 902699365 10822299648 22621 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 7 0 0 0
[pid=6094/tid=6098] ppid=6092 vsize=10568652 CPUtime=0.04 cores=1,3,5,7
/proc/6094/task/6098/stat : 6098 (java) S 6092 6094 2655 0 -1 4202560 125 0 0 0 4 0 0 0 15 0 19 0 902699365 10822299648 22621 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 5 0 0 0
[pid=6094/tid=6099] ppid=6092 vsize=10568652 CPUtime=0.03 cores=1,3,5,7
/proc/6094/task/6099/stat : 6099 (java) S 6092 6094 2655 0 -1 4202560 41 0 0 0 3 0 0 0 16 0 19 0 902699365 10822299648 22621 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 7 0 0 0
[pid=6094/tid=6100] ppid=6092 vsize=10568652 CPUtime=0.03 cores=1,3,5,7
/proc/6094/task/6100/stat : 6100 (java) S 6092 6094 2655 0 -1 4202560 10 0 0 0 3 0 0 0 16 0 19 0 902699365 10822299648 22621 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 7 0 0 0
[pid=6094/tid=6101] ppid=6092 vsize=10568652 CPUtime=0.02 cores=1,3,5,7
/proc/6094/task/6101/stat : 6101 (java) S 6092 6094 2655 0 -1 4202560 10 0 0 0 2 0 0 0 15 0 19 0 902699365 10822299648 22621 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 5 0 0 0
[pid=6094/tid=6102] ppid=6092 vsize=10568652 CPUtime=0.04 cores=1,3,5,7
/proc/6094/task/6102/stat : 6102 (java) S 6092 6094 2655 0 -1 4202560 207 0 0 0 4 0 0 0 15 0 19 0 902699365 10822299648 22621 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 3 0 0 0
[pid=6094/tid=6103] ppid=6092 vsize=10568652 CPUtime=0.03 cores=1,3,5,7
/proc/6094/task/6103/stat : 6103 (java) S 6092 6094 2655 0 -1 4202560 158 0 0 0 3 0 0 0 15 0 19 0 902699365 10822299648 22621 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 3 0 0 0
[pid=6094/tid=6104] ppid=6092 vsize=10568652 CPUtime=0.03 cores=1,3,5,7
/proc/6094/task/6104/stat : 6104 (java) S 6092 6094 2655 0 -1 4202560 280 0 0 0 3 0 0 0 16 0 19 0 902699365 10822299648 22621 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 7 0 0 0
[pid=6094/tid=6105] ppid=6092 vsize=10568652 CPUtime=1.98 cores=1,3,5,7
/proc/6094/task/6105/stat : 6105 (java) S 6092 6094 2655 0 -1 4202560 1002 0 0 0 196 2 0 0 16 0 19 0 902699366 10822299648 22621 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773760 0 0 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6106] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6106/stat : 6106 (java) S 6092 6094 2655 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 902699367 10822299648 22621 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6107] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6107/stat : 6107 (java) S 6092 6094 2655 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 902699367 10822299648 22621 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6108] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6108/stat : 6108 (java) S 6092 6094 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902699369 10822299648 22621 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382780849 0 4 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6109] ppid=6092 vsize=10568652 CPUtime=0.89 cores=1,3,5,7
/proc/6094/task/6109/stat : 6109 (java) S 6092 6094 2655 0 -1 4202560 9372 0 0 0 88 1 0 0 15 0 19 0 902699369 10822299648 22621 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 5 0 0 0
[pid=6094/tid=6110] ppid=6092 vsize=10568652 CPUtime=0.28 cores=1,3,5,7
/proc/6094/task/6110/stat : 6110 (java) S 6092 6094 2655 0 -1 4202560 1003 0 0 0 28 0 0 0 15 0 19 0 902699369 10822299648 22621 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 3 0 0 0
[pid=6094/tid=6111] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6111/stat : 6111 (java) S 6092 6094 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902699369 10822299648 22621 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773145 0 4 0 16800975 18446604461027243136 0 0 -1 1 0 0 0
[pid=6094/tid=6112] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6112/stat : 6112 (java) S 6092 6094 2655 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902699369 10822299648 22621 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773760 0 4 0 16800975 18446604461027243136 0 0 -1 3 0 0 0
[pid=6094/tid=6113] ppid=6092 vsize=10568652 CPUtime=0 cores=1,3,5,7
/proc/6094/task/6113/stat : 6113 (java) S 6092 6094 2655 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902699380 10822299648 22621 33554432000 1073741824 1073778376 140736972819088 18446744073709551615 218382773760 0 4 0 16800975 18446604461027243136 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 52.22
Current children cumulated vsize (KiB) 10568652

Child status: 30
Real time (s): 50.9162
CPU time (s): 52.2511
CPU user time (s): 52.1681
CPU system time (s): 0.082987
CPU usage (%): 102.622
Max. virtual memory (cumulated for all children) (KiB): 10568652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 52.1681
system time used= 0.082987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25881
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= 5776
involuntary context switches= 2238

runsolver used 0.081987 second user time and 0.205968 second system time

The end

Launcher Data 

Begin job on node101 at 2011-06-12 22:36:06
IDJOB=3492611
IDBENCH=79189
IDSOLVER=1982
FILE ID=node101/3492611-1307910966
RUNJOBID= node101-1307908937-4736
PBS_JOBID= 13559601
Free space on /tmp= 74060 MiB

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

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

MD5SUM BENCH= dbf89d35013c2bab398211fa15264c93
RANDOM SEED=974232579

node101.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.841
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.68
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.841
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	: 5226.07
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.841
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.77
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.841
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.83
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.841
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.74
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.841
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.83
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.841
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.841
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	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32379632 kB
Buffers:        121908 kB
Cached:         166300 kB
SwapCached:      24860 kB
Active:         284136 kB
Inactive:       101648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32379632 kB
SwapTotal:    67111528 kB
SwapFree:     67050044 kB
Dirty:             484 kB
Writeback:           0 kB
AnonPages:       94828 kB
Mapped:          17512 kB
Slab:           120632 kB
PageTables:       5008 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10542276 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 /tmp at the end= 74060 MiB
End job on node101 at 2011-06-12 22:36:57