Trace number 3492498

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 50.1154 48.7791

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966483--soft-66-100-0.wbo
MD5SUM666d5c712f5e475011fc9b955250b39c
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark51
Best CPU time to get the best result obtained on this benchmark1.13583
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 1298
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.08	c version 2.3.1.v20110525
0.02/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.08	c java.vm.version	19.1-b02
0.02/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.08	c sun.arch.data.model	64
0.02/0.08	c java.version		1.6.0_24
0.02/0.08	c os.name		Linux
0.02/0.08	c os.version		2.6.18-164.el5
0.02/0.08	c os.arch		amd64
0.02/0.08	c Free memory 		9996466904
0.02/0.08	c Max memory 		10048897024
0.02/0.08	c Total memory 		10048897024
0.02/0.08	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@38540408
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-3492498-1307909914.wbo
0.10/0.11	c reading problem ... 
0.10/0.16	c ... done. Wall clock time 0.059s.
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.26/0.27	c SATISFIABLE
0.26/0.27	c OPTIMIZING...
0.26/0.27	c Got one! Elapsed wall clock time (in seconds):0.162
0.26/0.27	o 446
0.66/0.44	c Got one! Elapsed wall clock time (in seconds):0.333
0.66/0.44	o 340
0.79/0.50	c cleaning 2818 clauses out of 5640 with flag 1001/5640
0.79/0.56	c Got one! Elapsed wall clock time (in seconds):0.452
0.79/0.56	o 317
0.91/0.67	c Got one! Elapsed wall clock time (in seconds):0.566
0.91/0.67	o 299
1.03/0.72	c cleaning 4151 clauses out of 8310 with flag 1002/11128
1.13/0.87	c Got one! Elapsed wall clock time (in seconds):0.764
1.13/0.87	o 291
1.23/0.92	c cleaning 4646 clauses out of 9303 with flag 1000/16272
1.45/1.13	c cleaning 5322 clauses out of 10657 with flag 7000/22272
1.57/1.21	c Got one! Elapsed wall clock time (in seconds):1.102
1.57/1.21	o 257
1.67/1.35	c cleaning 5590 clauses out of 11194 with flag 4000/28131
1.87/1.57	c cleaning 5800 clauses out of 11604 with flag 10000/34131
1.97/1.62	c Got one! Elapsed wall clock time (in seconds):1.515
1.97/1.62	o 241
2.07/1.75	c cleaning 5527 clauses out of 11061 with flag 4001/39388
2.27/1.98	c cleaning 5763 clauses out of 11533 with flag 10000/45387
2.57/2.25	c cleaning 6383 clauses out of 12774 with flag 17004/52391
2.67/2.38	c Got one! Elapsed wall clock time (in seconds):2.276
2.67/2.38	o 220
2.77/2.45	c cleaning 5842 clauses out of 11690 with flag 2000/57690
2.88/2.56	c Got one! Elapsed wall clock time (in seconds):2.45
2.88/2.56	o 215
2.98/2.67	c cleaning 5892 clauses out of 11794 with flag 3000/63636
3.28/2.92	c cleaning 5944 clauses out of 11902 with flag 9000/69636
3.38/3.04	c Got one! Elapsed wall clock time (in seconds):2.931
3.38/3.04	o 206
3.48/3.11	c cleaning 5761 clauses out of 11532 with flag 2001/75210
3.68/3.31	c cleaning 5880 clauses out of 11770 with flag 8000/81209
3.88/3.52	c Got one! Elapsed wall clock time (in seconds):3.41
3.88/3.52	o 192
4.08/3.73	c cleaning 8328 clauses out of 16666 with flag 5001/91985
4.28/3.95	c cleaning 7160 clauses out of 14338 with flag 11001/97985
4.38/4.05	c Got one! Elapsed wall clock time (in seconds):3.945
4.38/4.05	o 188
4.48/4.15	c cleaning 6498 clauses out of 13004 with flag 3000/103811
4.69/4.36	c cleaning 6250 clauses out of 12507 with flag 9001/109812
4.98/4.60	c cleaning 6621 clauses out of 13256 with flag 16000/116811
5.08/4.70	c Got one! Elapsed wall clock time (in seconds):4.592
5.08/4.70	o 182
5.18/4.80	c cleaning 6112 clauses out of 12237 with flag 3000/122413
5.39/5.02	c cleaning 6058 clauses out of 12126 with flag 9001/128414
5.59/5.25	c cleaning 6526 clauses out of 13067 with flag 16000/135413
5.69/5.30	c Got one! Elapsed wall clock time (in seconds):5.192
5.69/5.30	o 178
5.79/5.42	c cleaning 5778 clauses out of 11568 with flag 4000/140440
5.99/5.63	c cleaning 5893 clauses out of 11792 with flag 10002/146442
6.19/5.87	c cleaning 6442 clauses out of 12897 with flag 17000/153440
6.19/5.89	c Got one! Elapsed wall clock time (in seconds):5.783
6.19/5.89	o 155
6.39/6.05	c cleaning 5739 clauses out of 11485 with flag 5005/158470
6.59/6.26	c cleaning 5862 clauses out of 11741 with flag 11000/164465
6.90/6.54	c cleaning 6434 clauses out of 12879 with flag 18000/171465
7.20/6.84	c cleaning 7216 clauses out of 14445 with flag 26000/179465
7.20/6.87	c Got one! Elapsed wall clock time (in seconds):6.763
7.20/6.87	o 152
7.40/7.04	c cleaning 6463 clauses out of 12933 with flag 5002/185169
7.60/7.25	c cleaning 6226 clauses out of 12468 with flag 11000/191167
7.80/7.49	c cleaning 6619 clauses out of 13243 with flag 18001/198168
8.10/7.78	c cleaning 7300 clauses out of 14623 with flag 26000/206167
8.50/8.12	c cleaning 8155 clauses out of 16324 with flag 35001/215168
8.80/8.50	c cleaning 9079 clauses out of 18168 with flag 45000/225167
9.00/8.64	c Got one! Elapsed wall clock time (in seconds):8.535
9.00/8.64	o 133
9.11/8.72	c cleaning 7460 clauses out of 14928 with flag 2002/231006
9.31/8.93	c cleaning 6731 clauses out of 13471 with flag 8005/237009
9.50/9.18	c cleaning 6865 clauses out of 13736 with flag 15001/244005
9.91/9.52	c cleaning 7429 clauses out of 14870 with flag 23000/252004
10.21/9.88	c cleaning 8212 clauses out of 16441 with flag 32000/261004
10.61/10.26	c cleaning 9111 clauses out of 18231 with flag 42002/271006
11.01/10.63	c cleaning 9554 clauses out of 19119 with flag 52001/281005
11.31/10.99	c cleaning 9779 clauses out of 19565 with flag 62001/291005
11.71/11.38	c cleaning 9891 clauses out of 19785 with flag 72000/301004
12.11/11.79	c cleaning 9943 clauses out of 19895 with flag 82001/311005
12.52/12.16	c cleaning 9969 clauses out of 19951 with flag 92000/321004
12.91/12.54	c cleaning 9986 clauses out of 19985 with flag 102003/331007
13.31/12.95	c cleaning 9990 clauses out of 19998 with flag 112002/341006
13.72/13.33	c cleaning 9998 clauses out of 20007 with flag 122001/351005
14.12/13.73	c cleaning 9999 clauses out of 20008 with flag 132000/361004
14.52/14.15	c cleaning 10000 clauses out of 20010 with flag 142001/371005
14.92/14.55	c cleaning 10000 clauses out of 20010 with flag 152001/381005
15.14/14.74	c Got one! Elapsed wall clock time (in seconds):14.635
15.14/14.74	o 128
15.34/14.94	c cleaning 10101 clauses out of 20207 with flag 5000/391202
15.54/15.16	c cleaning 8045 clauses out of 16106 with flag 11000/397202
15.85/15.42	c cleaning 7529 clauses out of 15064 with flag 18003/404205
16.14/15.73	c cleaning 7760 clauses out of 15532 with flag 26000/412202
16.44/16.07	c cleaning 8380 clauses out of 16772 with flag 35000/421202
16.95/16.51	c cleaning 9194 clauses out of 18393 with flag 45001/431203
17.35/16.93	c cleaning 9596 clauses out of 19199 with flag 55001/441203
17.75/17.34	c cleaning 9795 clauses out of 19602 with flag 65000/451202
17.85/17.41	c Got one! Elapsed wall clock time (in seconds):17.302
17.85/17.41	o 117
17.95/17.55	c cleaning 7700 clauses out of 15403 with flag 4000/456798
18.15/17.75	c cleaning 6849 clauses out of 13704 with flag 10001/462799
18.45/18.02	c cleaning 6917 clauses out of 13857 with flag 17003/469801
18.75/18.32	c cleaning 7461 clauses out of 14939 with flag 25002/477800
19.06/18.62	c Got one! Elapsed wall clock time (in seconds):18.51
19.06/18.62	o 111
19.26/18.82	c cleaning 10197 clauses out of 20404 with flag 5001/490726
19.46/19.04	c cleaning 8097 clauses out of 16208 with flag 11002/496727
19.66/19.29	c cleaning 7552 clauses out of 15109 with flag 18000/503725
20.06/19.61	c cleaning 7773 clauses out of 15559 with flag 26002/511727
20.36/19.97	c cleaning 8387 clauses out of 16785 with flag 35001/520726
20.76/20.38	c cleaning 9195 clauses out of 18400 with flag 45003/530728
21.17/20.79	c cleaning 9598 clauses out of 19204 with flag 55002/540727
21.57/21.19	c cleaning 9796 clauses out of 19604 with flag 65000/550725
21.97/21.60	c cleaning 9900 clauses out of 19810 with flag 75002/560727
22.48/22.02	c cleaning 9945 clauses out of 19908 with flag 85000/570725
22.87/22.41	c cleaning 9978 clauses out of 19963 with flag 95000/580725
23.27/22.81	c cleaning 9986 clauses out of 19985 with flag 105000/590725
23.67/23.22	c cleaning 9996 clauses out of 19999 with flag 115000/600725
23.77/23.37	c Got one! Elapsed wall clock time (in seconds):23.26
23.77/23.37	o 104
23.87/23.41	c cleaning 7582 clauses out of 15174 with flag 1002/605896
24.07/23.61	c cleaning 6789 clauses out of 13590 with flag 7000/611894
24.27/23.86	c cleaning 6895 clauses out of 13804 with flag 14003/618897
24.58/24.14	c cleaning 7450 clauses out of 14906 with flag 22000/626894
24.88/24.47	c cleaning 8221 clauses out of 16456 with flag 31000/635894
25.28/24.86	c cleaning 9113 clauses out of 18238 with flag 41003/645897
25.69/25.28	c cleaning 9560 clauses out of 19125 with flag 51003/655897
26.08/25.68	c cleaning 9775 clauses out of 19562 with flag 61000/665894
26.48/26.06	c cleaning 9890 clauses out of 19787 with flag 71000/675894
26.89/26.43	c cleaning 9942 clauses out of 19897 with flag 81000/685894
27.18/26.78	c cleaning 9971 clauses out of 19955 with flag 91000/695894
27.58/27.16	c cleaning 9988 clauses out of 19984 with flag 101000/705894
27.99/27.53	c cleaning 9994 clauses out of 19998 with flag 111002/715896
28.39/27.94	c cleaning 9998 clauses out of 20002 with flag 121000/725894
28.79/28.32	c cleaning 9996 clauses out of 20004 with flag 131000/735894
29.09/28.69	c cleaning 10002 clauses out of 20011 with flag 141003/745897
29.49/29.08	c cleaning 10000 clauses out of 20007 with flag 151001/755895
29.90/29.45	c cleaning 9997 clauses out of 20006 with flag 161000/765894
30.30/29.80	c cleaning 9999 clauses out of 20010 with flag 171001/775895
30.60/30.15	c cleaning 9999 clauses out of 20011 with flag 181001/785895
31.00/30.51	c cleaning 10001 clauses out of 20013 with flag 191002/795896
31.31/30.86	c cleaning 10001 clauses out of 20010 with flag 201000/805894
31.70/31.23	c cleaning 10001 clauses out of 20012 with flag 211003/815897
32.00/31.58	c cleaning 10000 clauses out of 20009 with flag 221001/825895
32.41/31.94	c cleaning 9990 clauses out of 20008 with flag 231000/835894
32.41/31.97	c Got one! Elapsed wall clock time (in seconds):31.861
32.41/31.97	o 58
32.60/32.12	c cleaning 7727 clauses out of 15467 with flag 5003/841343
32.80/32.32	c cleaning 6865 clauses out of 13737 with flag 11000/847340
33.00/32.55	c cleaning 6931 clauses out of 13872 with flag 18000/854340
33.30/32.82	c cleaning 7466 clauses out of 14941 with flag 26000/862340
33.60/33.12	c cleaning 8233 clauses out of 16475 with flag 35000/871340
33.90/33.47	c cleaning 9114 clauses out of 18243 with flag 45001/881341
34.31/33.82	c cleaning 9562 clauses out of 19130 with flag 55002/891342
34.61/34.17	c cleaning 9777 clauses out of 19566 with flag 65000/901340
35.01/34.56	c cleaning 9891 clauses out of 19789 with flag 75000/911340
35.41/34.92	c cleaning 9946 clauses out of 19898 with flag 85000/921340
35.72/35.28	c cleaning 9973 clauses out of 19953 with flag 95001/931341
36.11/35.67	c cleaning 9985 clauses out of 19979 with flag 105000/941340
36.51/36.08	c cleaning 9992 clauses out of 19994 with flag 115000/951340
36.91/36.45	c cleaning 9996 clauses out of 20002 with flag 125000/961340
37.21/36.70	c Got one! Elapsed wall clock time (in seconds):36.592
37.21/36.70	o 51
37.41/36.92	c cleaning 11062 clauses out of 22129 with flag 5000/973463
37.61/37.13	c cleaning 8529 clauses out of 17067 with flag 11000/979463
37.82/37.36	c cleaning 7768 clauses out of 15541 with flag 18003/986466
38.11/37.62	c cleaning 7883 clauses out of 15772 with flag 26002/994465
38.41/37.94	c cleaning 8441 clauses out of 16887 with flag 35000/1003463
38.71/38.27	c cleaning 9219 clauses out of 18447 with flag 45001/1013464
39.11/38.63	c cleaning 9609 clauses out of 19227 with flag 55000/1023463
39.41/38.97	c cleaning 9805 clauses out of 19619 with flag 65001/1033464
39.81/39.31	c cleaning 9902 clauses out of 19814 with flag 75001/1043464
40.12/39.69	c cleaning 9952 clauses out of 19911 with flag 85000/1053463
40.52/40.01	c cleaning 9974 clauses out of 19960 with flag 95001/1063464
40.82/40.36	c cleaning 9987 clauses out of 19985 with flag 105000/1073463
41.22/40.74	c cleaning 9995 clauses out of 19998 with flag 115000/1083463
41.62/41.10	c cleaning 9998 clauses out of 20003 with flag 125000/1093463
41.91/41.46	c cleaning 9998 clauses out of 20005 with flag 135000/1103463
42.32/41.83	c cleaning 10001 clauses out of 20008 with flag 145001/1113464
42.61/42.19	c cleaning 9998 clauses out of 20007 with flag 155001/1123464
43.01/42.54	c cleaning 10004 clauses out of 20016 with flag 165008/1133471
43.42/42.90	c cleaning 9998 clauses out of 20004 with flag 175000/1143463
43.72/43.25	c cleaning 9996 clauses out of 20006 with flag 185000/1153463
44.12/43.63	c cleaning 9999 clauses out of 20010 with flag 195000/1163463
44.42/43.99	c cleaning 10001 clauses out of 20011 with flag 205000/1173463
44.82/44.35	c cleaning 10002 clauses out of 20011 with flag 215001/1183464
45.22/44.72	c cleaning 9999 clauses out of 20008 with flag 225000/1193463
45.53/45.05	c cleaning 9994 clauses out of 20010 with flag 235001/1203464
45.92/45.40	c cleaning 10004 clauses out of 20015 with flag 245000/1213463
46.22/45.75	c cleaning 9999 clauses out of 20012 with flag 255001/1223464
46.63/46.12	c cleaning 10005 clauses out of 20013 with flag 265001/1233464
46.93/46.46	c cleaning 9999 clauses out of 20009 with flag 275002/1243465
47.33/46.83	c cleaning 10000 clauses out of 20008 with flag 285000/1253463
47.78/47.23	c cleaning 9999 clauses out of 20008 with flag 295000/1263463
48.50/47.63	c cleaning 9998 clauses out of 20009 with flag 305000/1273463
49.29/48.00	c cleaning 10000 clauses out of 20011 with flag 315000/1283463
49.71/48.41	c cleaning 10003 clauses out of 20011 with flag 325001/1293464
50.02/48.77	c starts		: 212
50.02/48.77	c conflicts		: 1302550
50.02/48.77	c decisions		: 2186991
50.02/48.77	c propagations		: 32235566
50.02/48.77	c inspects		: 274524025
50.02/48.77	c shortcuts		: 0
50.02/48.77	c learnt literals	: 8
50.02/48.77	c learnt binary clauses	: 31
50.02/48.77	c learnt ternary clauses	: 906
50.02/48.77	c learnt constraints	: 1302541
50.02/48.77	c ignored constraints	: 0
50.02/48.77	c root simplifications	: 0
50.02/48.77	c removed literals (reason simplification)	: 8481768
50.02/48.77	c reason swapping (by a shorter reason)	: 0
50.02/48.77	c Calls to reduceDB	: 150
50.02/48.77	c number of reductions to clauses (during analyze)	: 0
50.02/48.77	c number of learned constraints concerned by reduction	: 0
50.02/48.77	c number of learning phase by resolution	: 0
50.02/48.77	c number of learning phase by cutting planes	: 0
50.02/48.77	c speed (assignments/second)	: 2670496.7276944746
50.02/48.77	c non guided choices	1237
50.02/48.77	c learnt constraints type 
50.02/48.77	c constraints type 
50.02/48.77	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27
50.02/48.77	c org.sat4j.minisat.constraints.card.MinWatchCard => 41
50.02/48.77	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3
50.02/48.77	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 30
50.02/48.77	s OPTIMUM FOUND
50.02/48.77	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 
50.02/48.77	c objective function=51
50.02/48.77	c Total wall clock time (in seconds): 48.664

Verifier Data 

OK	51

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

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

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


[startup+0 s]
/proc/loadavg: 1.98 1.99 1.94 2/195 13205
/proc/meminfo: memFree=1375544/32951124 swapFree=67054448/67111528
[pid=13205] ppid=13203 vsize=26088 CPUtime=0 cores=0,2,4,6
/proc/13205/stat : 13205 (java) S 13203 13205 8455 0 -1 4202496 1166 0 0 0 0 0 0 0 25 0 2 0 883407036 26714112 893 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350186469 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/13205/statm: 6522 896 682 9 0 381 0
[pid=13205/tid=13206] ppid=13203 vsize=26088 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13206/stat : 13206 (java) S 13203 13205 8455 0 -1 4202560 54 0 0 0 0 0 0 0 25 0 2 0 883407037 26714112 896 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270333460103 0 2147483391 4096 0 18446744071699199166 0 0 -1 4 0 0 0

[startup+0.037346 s]
/proc/loadavg: 1.98 1.99 1.94 2/195 13205
/proc/meminfo: memFree=1375544/32951124 swapFree=67054448/67111528
[pid=13205] ppid=13203 vsize=10467480 CPUtime=0.02 cores=0,2,4,6
/proc/13205/stat : 13205 (java) S 13203 13205 8455 0 -1 4202496 11105 0 1 0 1 1 0 0 25 0 13 0 883407036 10718699520 10801 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/13205/statm: 2616870 10801 1638 9 0 2607618 0
[pid=13205/tid=13206] ppid=13203 vsize=10467480 CPUtime=0.01 cores=0,2,4,6
/proc/13205/task/13206/stat : 13206 (java) S 13203 13205 8455 0 -1 4202560 9957 0 1 0 1 0 0 0 25 0 13 0 883407037 10718699520 10801 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270338403910 0 4 0 16784584 4466329206845865984 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10467480

[startup+0.104373 s]
/proc/loadavg: 1.98 1.99 1.94 2/195 13205
/proc/meminfo: memFree=1375544/32951124 swapFree=67054448/67111528
[pid=13205] ppid=13203 vsize=10539748 CPUtime=0.1 cores=0,2,4,6
/proc/13205/stat : 13205 (java) S 13203 13205 8455 0 -1 4202496 13136 0 1 0 9 1 0 0 25 0 18 0 883407036 10792701952 12799 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13205/statm: 2634937 12799 2092 9 0 2625671 0
[pid=13205/tid=13206] ppid=13203 vsize=10539748 CPUtime=0.09 cores=0,2,4,6
/proc/13205/task/13206/stat : 13206 (java) R 13203 13205 8455 0 -1 4202560 11198 0 1 0 8 1 0 0 18 0 18 0 883407037 10792701952 12799 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270338076368 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539748

[startup+0.300307 s]
/proc/loadavg: 1.98 1.99 1.94 2/195 13205
/proc/meminfo: memFree=1375544/32951124 swapFree=67054448/67111528
[pid=13205] ppid=13203 vsize=10544280 CPUtime=0.53 cores=0,2,4,6
/proc/13205/stat : 13205 (java) S 13203 13205 8455 0 -1 4202496 16112 0 1 0 51 2 0 0 25 0 19 0 883407036 10797342720 14842 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13205/statm: 2636070 14842 2214 9 0 2626804 0
[pid=13205/tid=13206] ppid=13203 vsize=10544280 CPUtime=0.28 cores=0,2,4,6
/proc/13205/task/13206/stat : 13206 (java) R 13203 13205 8455 0 -1 4202560 11742 0 1 0 27 1 0 0 19 0 19 0 883407037 10797342720 14842 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 46912505207650 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10544280

[startup+0.700229 s]
/proc/loadavg: 1.98 1.99 1.94 2/195 13205
/proc/meminfo: memFree=1375544/32951124 swapFree=67054448/67111528
[pid=13205] ppid=13203 vsize=10544280 CPUtime=1.03 cores=0,2,4,6
/proc/13205/stat : 13205 (java) S 13203 13205 8455 0 -1 4202496 16824 0 1 0 101 2 0 0 25 0 19 0 883407036 10797342720 15550 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13205/statm: 2636070 15550 2246 9 0 2626804 0
[pid=13205/tid=13206] ppid=13203 vsize=10544280 CPUtime=0.66 cores=0,2,4,6
/proc/13205/task/13206/stat : 13206 (java) R 13203 13205 8455 0 -1 4202560 11992 0 1 0 65 1 0 0 19 0 19 0 883407037 10797342720 15550 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 46912505537024 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 10544280

[startup+1.50112 s]
/proc/loadavg: 1.98 1.99 1.94 10/214 13224
/proc/meminfo: memFree=1320676/32951124 swapFree=67054448/67111528
[pid=13205] ppid=13203 vsize=10544280 CPUtime=1.87 cores=0,2,4,6
/proc/13205/stat : 13205 (java) S 13203 13205 8455 0 -1 4202496 17214 0 1 0 184 3 0 0 25 0 19 0 883407036 10797342720 15936 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13205/statm: 2636070 15936 2247 9 0 2626804 0
[pid=13205/tid=13206] ppid=13203 vsize=10544280 CPUtime=1.41 cores=0,2,4,6
/proc/13205/task/13206/stat : 13206 (java) R 13203 13205 8455 0 -1 4202560 11995 0 1 0 140 1 0 0 20 0 19 0 883407037 10797342720 15936 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 46912505528239 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13205/tid=13208] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13208/stat : 13208 (java) S 13203 13205 8455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883407038 10797342720 15936 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 2 0 0 0
[pid=13205/tid=13209] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13209/stat : 13209 (java) S 13203 13205 8455 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 883407038 10797342720 15936 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13210] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13210/stat : 13210 (java) S 13203 13205 8455 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 19 0 883407038 10797342720 15936 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13211] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13211/stat : 13211 (java) S 13203 13205 8455 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 883407038 10797342720 15936 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 4 0 0 0
[pid=13205/tid=13212] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13212/stat : 13212 (java) S 13203 13205 8455 0 -1 4202560 144 0 0 0 0 0 0 0 15 0 19 0 883407038 10797342720 15936 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 2 0 0 0
[pid=13205/tid=13213] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13213/stat : 13213 (java) S 13203 13205 8455 0 -1 4202560 87 0 0 0 0 0 0 0 15 0 19 0 883407038 10797342720 15936 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 2 0 0 0
[pid=13205/tid=13214] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13214/stat : 13214 (java) S 13203 13205 8455 0 -1 4202560 87 0 0 0 0 0 0 0 15 0 19 0 883407038 10797342720 15936 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 2 0 0 0
[pid=13205/tid=13215] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13215/stat : 13215 (java) S 13203 13205 8455 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 19 0 883407038 10797342720 15936 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13216] ppid=13203 vsize=10544280 CPUtime=0.05 cores=0,2,4,6
/proc/13205/task/13216/stat : 13216 (java) S 13203 13205 8455 0 -1 4202560 366 0 0 0 5 0 0 0 16 0 19 0 883407039 10797342720 15936 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350200320 0 0 0 16800975 18446604453985334208 0 0 -1 0 0 0 0
[pid=13205/tid=13217] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13217/stat : 13217 (java) S 13203 13205 8455 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 883407040 10797342720 15936 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13218] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13218/stat : 13218 (java) S 13203 13205 8455 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 883407040 10797342720 15936 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13219] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13219/stat : 13219 (java) S 13203 13205 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883407042 10797342720 15936 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350207409 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13220] ppid=13203 vsize=10544280 CPUtime=0.21 cores=0,2,4,6
/proc/13205/task/13220/stat : 13220 (java) S 13203 13205 8455 0 -1 4202560 1744 0 0 0 21 0 0 0 15 0 19 0 883407042 10797342720 15936 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13221] ppid=13203 vsize=10544280 CPUtime=0.14 cores=0,2,4,6
/proc/13205/task/13221/stat : 13221 (java) S 13203 13205 8455 0 -1 4202560 1509 0 0 0 14 0 0 0 15 0 19 0 883407042 10797342720 15936 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 2 0 0 0
[pid=13205/tid=13222] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13222/stat : 13222 (java) S 13203 13205 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883407042 10797342720 15936 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13223] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13223/stat : 13223 (java) S 13203 13205 8455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883407042 10797342720 15936 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350200320 0 4 0 16800975 18446604453985334208 0 0 -1 4 0 0 0
[pid=13205/tid=13224] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13224/stat : 13224 (java) S 13203 13205 8455 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883407054 10797342720 15936 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350200320 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 10544280

[startup+3.10079 s]
/proc/loadavg: 1.98 1.99 1.94 3/214 13224
/proc/meminfo: memFree=1319576/32951124 swapFree=67054448/67111528
[pid=13205] ppid=13203 vsize=10544280 CPUtime=3.48 cores=0,2,4,6
/proc/13205/stat : 13205 (java) S 13203 13205 8455 0 -1 4202496 17410 0 1 0 345 3 0 0 25 0 19 0 883407036 10797342720 16125 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13205/statm: 2636070 16125 2247 9 0 2626804 0
[pid=13205/tid=13206] ppid=13203 vsize=10544280 CPUtime=2.92 cores=0,2,4,6
/proc/13205/task/13206/stat : 13206 (java) R 13203 13205 8455 0 -1 4202560 12003 0 1 0 291 1 0 0 23 0 19 0 883407037 10797342720 16125 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 46912505366054 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13205/tid=13208] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13208/stat : 13208 (java) S 13203 13205 8455 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 883407038 10797342720 16125 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 2 0 0 0
[pid=13205/tid=13209] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13209/stat : 13209 (java) S 13203 13205 8455 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 883407038 10797342720 16125 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 2 0 0 0
[pid=13205/tid=13210] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13210/stat : 13210 (java) S 13203 13205 8455 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 19 0 883407038 10797342720 16125 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13211] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13211/stat : 13211 (java) S 13203 13205 8455 0 -1 4202560 40 0 0 0 0 0 0 0 15 0 19 0 883407038 10797342720 16125 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 4 0 0 0
[pid=13205/tid=13212] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13212/stat : 13212 (java) S 13203 13205 8455 0 -1 4202560 163 0 0 0 0 0 0 0 15 0 19 0 883407038 10797342720 16125 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13213] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13213/stat : 13213 (java) S 13203 13205 8455 0 -1 4202560 87 0 0 0 0 0 0 0 15 0 19 0 883407038 10797342720 16125 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13214] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13214/stat : 13214 (java) S 13203 13205 8455 0 -1 4202560 121 0 0 0 0 0 0 0 16 0 19 0 883407038 10797342720 16125 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13215] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13215/stat : 13215 (java) S 13203 13205 8455 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 883407038 10797342720 16125 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13216] ppid=13203 vsize=10544280 CPUtime=0.14 cores=0,2,4,6
/proc/13205/task/13216/stat : 13216 (java) S 13203 13205 8455 0 -1 4202560 477 0 0 0 14 0 0 0 16 0 19 0 883407039 10797342720 16125 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350200320 0 0 0 16800975 18446604453985334208 0 0 -1 0 0 0 0
[pid=13205/tid=13217] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13217/stat : 13217 (java) S 13203 13205 8455 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 883407040 10797342720 16125 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13218] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13218/stat : 13218 (java) S 13203 13205 8455 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 883407040 10797342720 16125 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13219] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13219/stat : 13219 (java) S 13203 13205 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883407042 10797342720 16125 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350207409 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13220] ppid=13203 vsize=10544280 CPUtime=0.22 cores=0,2,4,6
/proc/13205/task/13220/stat : 13220 (java) S 13203 13205 8455 0 -1 4202560 1744 0 0 0 22 0 0 0 15 0 19 0 883407042 10797342720 16125 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13221] ppid=13203 vsize=10544280 CPUtime=0.14 cores=0,2,4,6
/proc/13205/task/13221/stat : 13221 (java) S 13203 13205 8455 0 -1 4202560 1509 0 0 0 14 0 0 0 15 0 19 0 883407042 10797342720 16125 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 2 0 0 0
[pid=13205/tid=13222] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13222/stat : 13222 (java) S 13203 13205 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883407042 10797342720 16125 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13223] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13223/stat : 13223 (java) S 13203 13205 8455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883407042 10797342720 16125 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350200320 0 4 0 16800975 18446604453985334208 0 0 -1 4 0 0 0
[pid=13205/tid=13224] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13224/stat : 13224 (java) S 13203 13205 8455 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883407054 10797342720 16125 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350200320 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 10544280

[startup+6.30112 s]
/proc/loadavg: 1.99 1.99 1.94 3/214 13224
/proc/meminfo: memFree=1318324/32951124 swapFree=67054448/67111528
[pid=13205] ppid=13203 vsize=10544280 CPUtime=6.69 cores=0,2,4,6
/proc/13205/stat : 13205 (java) S 13203 13205 8455 0 -1 4202496 17489 0 1 0 666 3 0 0 25 0 19 0 883407036 10797342720 16180 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13205/statm: 2636070 16180 2247 9 0 2626804 0
[pid=13205/tid=13206] ppid=13203 vsize=10544280 CPUtime=5.92 cores=0,2,4,6
/proc/13205/task/13206/stat : 13206 (java) R 13203 13205 8455 0 -1 4202560 12019 0 1 0 591 1 0 0 25 0 19 0 883407037 10797342720 16180 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 46912505537452 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13205/tid=13208] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13208/stat : 13208 (java) S 13203 13205 8455 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 883407038 10797342720 16180 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 4 0 0 0
[pid=13205/tid=13209] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13209/stat : 13209 (java) S 13203 13205 8455 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 883407038 10797342720 16180 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 2 0 0 0
[pid=13205/tid=13210] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13210/stat : 13210 (java) S 13203 13205 8455 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 19 0 883407038 10797342720 16180 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 2 0 0 0
[pid=13205/tid=13211] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13211/stat : 13211 (java) S 13203 13205 8455 0 -1 4202560 42 0 0 0 0 0 0 0 15 0 19 0 883407038 10797342720 16180 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 2 0 0 0
[pid=13205/tid=13212] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13212/stat : 13212 (java) S 13203 13205 8455 0 -1 4202560 166 0 0 0 0 0 0 0 15 0 19 0 883407038 10797342720 16180 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 4 0 0 0
[pid=13205/tid=13213] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13213/stat : 13213 (java) S 13203 13205 8455 0 -1 4202560 88 0 0 0 0 0 0 0 15 0 19 0 883407038 10797342720 16180 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13214] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13214/stat : 13214 (java) S 13203 13205 8455 0 -1 4202560 121 0 0 0 0 0 0 0 15 0 19 0 883407038 10797342720 16180 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 4 0 0 0
[pid=13205/tid=13215] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13215/stat : 13215 (java) S 13203 13205 8455 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 19 0 883407038 10797342720 16180 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 4 0 0 0
[pid=13205/tid=13216] ppid=13203 vsize=10544280 CPUtime=0.32 cores=0,2,4,6
/proc/13205/task/13216/stat : 13216 (java) S 13203 13205 8455 0 -1 4202560 522 0 0 0 32 0 0 0 16 0 19 0 883407039 10797342720 16180 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350200320 0 0 0 16800975 18446604453985334208 0 0 -1 0 0 0 0
[pid=13205/tid=13217] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13217/stat : 13217 (java) S 13203 13205 8455 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 883407040 10797342720 16180 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13218] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13218/stat : 13218 (java) S 13203 13205 8455 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 883407040 10797342720 16180 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13219] ppid=13203 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13219/stat : 13219 (java) S 13203 13205 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883407042 10797342720 16180 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350207409 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13220] ppid=13203 vsize=10544280 CPUtime=0.22 cores=0,2,4,6
/proc/13205/task/13220/stat : 13220 (java) S 13203 13205 8455 0 -1 4202560 1744 0 0 0 22 0 0 0 15 0 19 0 883407042 10797342720 16180 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13221] ppid=13203 vsize=10544280 CPUtime=0.14 cores=0,2,4,6
/proc/13205/task/13221/stat : 13221 (java) S 13203 13205 8455 0 -1 4202560 1509 0 0 0 14 0 0 0 15 0 19 0 883407042 10797342720 16180 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 2 0 0 0

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

/proc/13205/task/13208/stat : 13208 (java) S 13203 13205 8455 0 -1 4202560 19 0 0 0 3 0 0 0 15 0 19 0 883407038 10796937216 16672 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13209] ppid=13203 vsize=10543884 CPUtime=0.03 cores=0,2,4,6
/proc/13205/task/13209/stat : 13209 (java) S 13203 13205 8455 0 -1 4202560 26 0 0 0 3 0 0 0 15 0 19 0 883407038 10796937216 16672 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13210] ppid=13203 vsize=10543884 CPUtime=0.03 cores=0,2,4,6
/proc/13205/task/13210/stat : 13210 (java) S 13203 13205 8455 0 -1 4202560 62 0 0 0 3 0 0 0 15 0 19 0 883407038 10796937216 16672 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 2 0 0 0
[pid=13205/tid=13211] ppid=13203 vsize=10543884 CPUtime=0.04 cores=0,2,4,6
/proc/13205/task/13211/stat : 13211 (java) S 13203 13205 8455 0 -1 4202560 59 0 0 0 4 0 0 0 15 0 19 0 883407038 10796937216 16672 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13212] ppid=13203 vsize=10543884 CPUtime=0.04 cores=0,2,4,6
/proc/13205/task/13212/stat : 13212 (java) S 13203 13205 8455 0 -1 4202560 173 0 0 0 4 0 0 0 15 0 19 0 883407038 10796937216 16672 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 4 0 0 0
[pid=13205/tid=13213] ppid=13203 vsize=10543884 CPUtime=0.03 cores=0,2,4,6
/proc/13205/task/13213/stat : 13213 (java) S 13203 13205 8455 0 -1 4202560 99 0 0 0 3 0 0 0 15 0 19 0 883407038 10796937216 16672 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 4 0 0 0
[pid=13205/tid=13214] ppid=13203 vsize=10543884 CPUtime=0.03 cores=0,2,4,6
/proc/13205/task/13214/stat : 13214 (java) S 13203 13205 8455 0 -1 4202560 121 0 0 0 3 0 0 0 15 0 19 0 883407038 10796937216 16672 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 4 0 0 0
[pid=13205/tid=13215] ppid=13203 vsize=10543884 CPUtime=0.03 cores=0,2,4,6
/proc/13205/task/13215/stat : 13215 (java) S 13203 13205 8455 0 -1 4202560 61 0 0 0 3 0 0 0 15 0 19 0 883407038 10796937216 16672 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 2 0 0 0
[pid=13205/tid=13216] ppid=13203 vsize=10543884 CPUtime=1.96 cores=0,2,4,6
/proc/13205/task/13216/stat : 13216 (java) S 13203 13205 8455 0 -1 4202560 971 0 0 0 195 1 0 0 15 0 19 0 883407039 10796937216 16672 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350200320 0 0 0 16800975 18446604453985334208 0 0 -1 0 0 0 0
[pid=13205/tid=13217] ppid=13203 vsize=10543884 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13217/stat : 13217 (java) S 13203 13205 8455 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 883407040 10796937216 16672 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13218] ppid=13203 vsize=10543884 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13218/stat : 13218 (java) S 13203 13205 8455 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 883407040 10796937216 16672 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13219] ppid=13203 vsize=10543884 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13219/stat : 13219 (java) S 13203 13205 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883407042 10796937216 16672 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350207409 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13220] ppid=13203 vsize=10543884 CPUtime=0.25 cores=0,2,4,6
/proc/13205/task/13220/stat : 13220 (java) S 13203 13205 8455 0 -1 4202560 1825 0 0 0 25 0 0 0 15 0 19 0 883407042 10796937216 16672 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13221] ppid=13203 vsize=10543884 CPUtime=0.14 cores=0,2,4,6
/proc/13205/task/13221/stat : 13221 (java) S 13203 13205 8455 0 -1 4202560 1509 0 0 0 14 0 0 0 15 0 19 0 883407042 10796937216 16672 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 2 0 0 0
[pid=13205/tid=13222] ppid=13203 vsize=10543884 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13222/stat : 13222 (java) S 13203 13205 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883407042 10796937216 16672 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13223] ppid=13203 vsize=10543884 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13223/stat : 13223 (java) S 13203 13205 8455 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 883407042 10796937216 16672 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350200320 0 4 0 16800975 18446604453985334208 0 0 -1 4 0 0 0
[pid=13205/tid=13224] ppid=13203 vsize=10543884 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13224/stat : 13224 (java) S 13203 13205 8455 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883407054 10796937216 16672 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350200320 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 46.83
Current children cumulated vsize (KiB) 10543884

[startup+47.9009 s]
/proc/loadavg: 1.99 1.99 1.94 6/214 13282
/proc/meminfo: memFree=1315764/32951124 swapFree=67054448/67111528
[pid=13205] ppid=13203 vsize=10567312 CPUtime=49.09 cores=0,2,4,6
/proc/13205/stat : 13205 (java) S 13203 13205 8455 0 -1 4202496 26501 0 1 0 4904 5 0 0 25 0 19 0 883407036 10820927488 22297 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13205/statm: 2641828 22297 2250 9 0 2632562 0
[pid=13205/tid=13206] ppid=13203 vsize=10567312 CPUtime=45.68 cores=0,2,4,6
/proc/13205/task/13206/stat : 13206 (java) R 13203 13205 8455 0 -1 4202560 12141 0 1 0 4566 2 0 0 25 0 19 0 883407037 10820927488 22297 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 46912505537748 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13205/tid=13208] ppid=13203 vsize=10567312 CPUtime=0.03 cores=0,2,4,6
/proc/13205/task/13208/stat : 13208 (java) S 13203 13205 8455 0 -1 4202560 19 0 0 0 3 0 0 0 15 0 19 0 883407038 10820927488 22297 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13209] ppid=13203 vsize=10567312 CPUtime=0.04 cores=0,2,4,6
/proc/13205/task/13209/stat : 13209 (java) S 13203 13205 8455 0 -1 4202560 29 0 0 0 4 0 0 0 15 0 19 0 883407038 10820927488 22297 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 2 0 0 0
[pid=13205/tid=13210] ppid=13203 vsize=10567312 CPUtime=0.03 cores=0,2,4,6
/proc/13205/task/13210/stat : 13210 (java) S 13203 13205 8455 0 -1 4202560 62 0 0 0 3 0 0 0 15 0 19 0 883407038 10820927488 22297 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 2 0 0 0
[pid=13205/tid=13211] ppid=13203 vsize=10567312 CPUtime=0.04 cores=0,2,4,6
/proc/13205/task/13211/stat : 13211 (java) S 13203 13205 8455 0 -1 4202560 60 0 0 0 4 0 0 0 15 0 19 0 883407038 10820927488 22297 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13212] ppid=13203 vsize=10567312 CPUtime=0.04 cores=0,2,4,6
/proc/13205/task/13212/stat : 13212 (java) S 13203 13205 8455 0 -1 4202560 173 0 0 0 4 0 0 0 15 0 19 0 883407038 10820927488 22297 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 2 0 0 0
[pid=13205/tid=13213] ppid=13203 vsize=10567312 CPUtime=0.03 cores=0,2,4,6
/proc/13205/task/13213/stat : 13213 (java) S 13203 13205 8455 0 -1 4202560 101 0 0 0 3 0 0 0 16 0 19 0 883407038 10820927488 22297 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13214] ppid=13203 vsize=10567312 CPUtime=0.03 cores=0,2,4,6
/proc/13205/task/13214/stat : 13214 (java) S 13203 13205 8455 0 -1 4202560 121 0 0 0 3 0 0 0 16 0 19 0 883407038 10820927488 22297 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 2 0 0 0
[pid=13205/tid=13215] ppid=13203 vsize=10567312 CPUtime=0.03 cores=0,2,4,6
/proc/13205/task/13215/stat : 13215 (java) S 13203 13205 8455 0 -1 4202560 61 0 0 0 3 0 0 0 15 0 19 0 883407038 10820927488 22297 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 2 0 0 0
[pid=13205/tid=13216] ppid=13203 vsize=10567312 CPUtime=2.01 cores=0,2,4,6
/proc/13205/task/13216/stat : 13216 (java) S 13203 13205 8455 0 -1 4202560 1003 0 0 0 200 1 0 0 16 0 19 0 883407039 10820927488 22297 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350200320 0 0 0 16800975 18446604453985334208 0 0 -1 4 0 0 0
[pid=13205/tid=13217] ppid=13203 vsize=10567312 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13217/stat : 13217 (java) S 13203 13205 8455 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 883407040 10820927488 22297 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13218] ppid=13203 vsize=10567312 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13218/stat : 13218 (java) S 13203 13205 8455 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 883407040 10820927488 22297 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13219] ppid=13203 vsize=10567312 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13219/stat : 13219 (java) S 13203 13205 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883407042 10820927488 22297 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350207409 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13220] ppid=13203 vsize=10567312 CPUtime=0.88 cores=0,2,4,6
/proc/13205/task/13220/stat : 13220 (java) R 13203 13205 8455 0 -1 4202560 9782 0 0 0 88 0 0 0 16 0 19 0 883407042 10820927488 22297 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 47394064760258 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13205/tid=13221] ppid=13203 vsize=10567312 CPUtime=0.16 cores=0,2,4,6
/proc/13205/task/13221/stat : 13221 (java) S 13203 13205 8455 0 -1 4202560 1796 0 0 0 16 0 0 0 16 0 19 0 883407042 10820927488 22297 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 2 0 0 0
[pid=13205/tid=13222] ppid=13203 vsize=10567312 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13222/stat : 13222 (java) S 13203 13205 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883407042 10820927488 22297 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13223] ppid=13203 vsize=10567312 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13223/stat : 13223 (java) S 13203 13205 8455 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 883407042 10820927488 22297 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350200320 0 4 0 16800975 18446604453985334208 0 0 -1 2 0 0 0
[pid=13205/tid=13224] ppid=13203 vsize=10567312 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13224/stat : 13224 (java) S 13203 13205 8455 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883407054 10820927488 22297 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350200320 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 49.09
Current children cumulated vsize (KiB) 10567312

[startup+48.3007 s]
/proc/loadavg: 1.99 1.99 1.94 3/214 13282
/proc/meminfo: memFree=1293816/32951124 swapFree=67054448/67111528
[pid=13205] ppid=13203 vsize=10563316 CPUtime=49.61 cores=0,2,4,6
/proc/13205/stat : 13205 (java) S 13203 13205 8455 0 -1 4202496 26641 0 1 0 4956 5 0 0 25 0 19 0 883407036 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13205/statm: 2640829 21988 2250 9 0 2631563 0
[pid=13205/tid=13206] ppid=13203 vsize=10563316 CPUtime=46.07 cores=0,2,4,6
/proc/13205/task/13206/stat : 13206 (java) R 13203 13205 8455 0 -1 4202560 12144 0 1 0 4605 2 0 0 25 0 19 0 883407037 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 46912505537133 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13205/tid=13208] ppid=13203 vsize=10563316 CPUtime=0.03 cores=0,2,4,6
/proc/13205/task/13208/stat : 13208 (java) S 13203 13205 8455 0 -1 4202560 19 0 0 0 3 0 0 0 15 0 19 0 883407038 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 0 0 0 0
[pid=13205/tid=13209] ppid=13203 vsize=10563316 CPUtime=0.04 cores=0,2,4,6
/proc/13205/task/13209/stat : 13209 (java) S 13203 13205 8455 0 -1 4202560 29 0 0 0 4 0 0 0 15 0 19 0 883407038 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 0 0 0 0
[pid=13205/tid=13210] ppid=13203 vsize=10563316 CPUtime=0.03 cores=0,2,4,6
/proc/13205/task/13210/stat : 13210 (java) S 13203 13205 8455 0 -1 4202560 62 0 0 0 3 0 0 0 15 0 19 0 883407038 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 2 0 0 0
[pid=13205/tid=13211] ppid=13203 vsize=10563316 CPUtime=0.04 cores=0,2,4,6
/proc/13205/task/13211/stat : 13211 (java) S 13203 13205 8455 0 -1 4202560 60 0 0 0 4 0 0 0 15 0 19 0 883407038 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13212] ppid=13203 vsize=10563316 CPUtime=0.04 cores=0,2,4,6
/proc/13205/task/13212/stat : 13212 (java) S 13203 13205 8455 0 -1 4202560 173 0 0 0 4 0 0 0 15 0 19 0 883407038 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 2 0 0 0
[pid=13205/tid=13213] ppid=13203 vsize=10563316 CPUtime=0.03 cores=0,2,4,6
/proc/13205/task/13213/stat : 13213 (java) S 13203 13205 8455 0 -1 4202560 101 0 0 0 3 0 0 0 15 0 19 0 883407038 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13214] ppid=13203 vsize=10563316 CPUtime=0.03 cores=0,2,4,6
/proc/13205/task/13214/stat : 13214 (java) S 13203 13205 8455 0 -1 4202560 121 0 0 0 3 0 0 0 15 0 19 0 883407038 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 2 0 0 0
[pid=13205/tid=13215] ppid=13203 vsize=10563316 CPUtime=0.03 cores=0,2,4,6
/proc/13205/task/13215/stat : 13215 (java) S 13203 13205 8455 0 -1 4202560 61 0 0 0 3 0 0 0 15 0 19 0 883407038 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 2 0 0 0
[pid=13205/tid=13216] ppid=13203 vsize=10563316 CPUtime=2.03 cores=0,2,4,6
/proc/13205/task/13216/stat : 13216 (java) S 13203 13205 8455 0 -1 4202560 1003 0 0 0 202 1 0 0 15 0 19 0 883407039 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350200320 0 0 0 16800975 18446604453985334208 0 0 -1 4 0 0 0
[pid=13205/tid=13217] ppid=13203 vsize=10563316 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13217/stat : 13217 (java) S 13203 13205 8455 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 883407040 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13218] ppid=13203 vsize=10563316 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13218/stat : 13218 (java) S 13203 13205 8455 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 883407040 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13219] ppid=13203 vsize=10563316 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13219/stat : 13219 (java) S 13203 13205 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883407042 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350207409 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13220] ppid=13203 vsize=10563316 CPUtime=0.99 cores=0,2,4,6
/proc/13205/task/13220/stat : 13220 (java) S 13203 13205 8455 0 -1 4202560 9816 0 0 0 99 0 0 0 15 0 19 0 883407042 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 0 0 0 0
[pid=13205/tid=13221] ppid=13203 vsize=10563316 CPUtime=0.17 cores=0,2,4,6
/proc/13205/task/13221/stat : 13221 (java) S 13203 13205 8455 0 -1 4202560 1899 0 0 0 17 0 0 0 15 0 19 0 883407042 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 2 0 0 0
[pid=13205/tid=13222] ppid=13203 vsize=10563316 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13222/stat : 13222 (java) S 13203 13205 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883407042 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13223] ppid=13203 vsize=10563316 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13223/stat : 13223 (java) S 13203 13205 8455 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 883407042 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350200320 0 4 0 16800975 18446604453985334208 0 0 -1 2 0 0 0
[pid=13205/tid=13224] ppid=13203 vsize=10563316 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13224/stat : 13224 (java) S 13203 13205 8455 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883407054 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350200320 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 49.61
Current children cumulated vsize (KiB) 10563316

[startup+48.7007 s]
/proc/loadavg: 1.99 1.99 1.94 3/214 13282
/proc/meminfo: memFree=1293816/32951124 swapFree=67054448/67111528
[pid=13205] ppid=13203 vsize=10563316 CPUtime=50.02 cores=0,2,4,6
/proc/13205/stat : 13205 (java) S 13203 13205 8455 0 -1 4202496 26642 0 1 0 4997 5 0 0 25 0 19 0 883407036 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13205/statm: 2640829 21988 2250 9 0 2631563 0
[pid=13205/tid=13206] ppid=13203 vsize=10563316 CPUtime=46.45 cores=0,2,4,6
/proc/13205/task/13206/stat : 13206 (java) R 13203 13205 8455 0 -1 4202560 12145 0 1 0 4643 2 0 0 25 0 19 0 883407037 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 46912505554772 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13205/tid=13208] ppid=13203 vsize=10563316 CPUtime=0.03 cores=0,2,4,6
/proc/13205/task/13208/stat : 13208 (java) S 13203 13205 8455 0 -1 4202560 19 0 0 0 3 0 0 0 15 0 19 0 883407038 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 0 0 0 0
[pid=13205/tid=13209] ppid=13203 vsize=10563316 CPUtime=0.04 cores=0,2,4,6
/proc/13205/task/13209/stat : 13209 (java) S 13203 13205 8455 0 -1 4202560 29 0 0 0 4 0 0 0 15 0 19 0 883407038 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 0 0 0 0
[pid=13205/tid=13210] ppid=13203 vsize=10563316 CPUtime=0.03 cores=0,2,4,6
/proc/13205/task/13210/stat : 13210 (java) S 13203 13205 8455 0 -1 4202560 62 0 0 0 3 0 0 0 15 0 19 0 883407038 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 2 0 0 0
[pid=13205/tid=13211] ppid=13203 vsize=10563316 CPUtime=0.04 cores=0,2,4,6
/proc/13205/task/13211/stat : 13211 (java) S 13203 13205 8455 0 -1 4202560 60 0 0 0 4 0 0 0 15 0 19 0 883407038 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13212] ppid=13203 vsize=10563316 CPUtime=0.04 cores=0,2,4,6
/proc/13205/task/13212/stat : 13212 (java) S 13203 13205 8455 0 -1 4202560 173 0 0 0 4 0 0 0 15 0 19 0 883407038 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 2 0 0 0
[pid=13205/tid=13213] ppid=13203 vsize=10563316 CPUtime=0.03 cores=0,2,4,6
/proc/13205/task/13213/stat : 13213 (java) S 13203 13205 8455 0 -1 4202560 101 0 0 0 3 0 0 0 15 0 19 0 883407038 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13214] ppid=13203 vsize=10563316 CPUtime=0.03 cores=0,2,4,6
/proc/13205/task/13214/stat : 13214 (java) S 13203 13205 8455 0 -1 4202560 121 0 0 0 3 0 0 0 15 0 19 0 883407038 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 2 0 0 0
[pid=13205/tid=13215] ppid=13203 vsize=10563316 CPUtime=0.03 cores=0,2,4,6
/proc/13205/task/13215/stat : 13215 (java) S 13203 13205 8455 0 -1 4202560 61 0 0 0 3 0 0 0 16 0 19 0 883407038 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 2 0 0 0
[pid=13205/tid=13216] ppid=13203 vsize=10563316 CPUtime=2.04 cores=0,2,4,6
/proc/13205/task/13216/stat : 13216 (java) S 13203 13205 8455 0 -1 4202560 1003 0 0 0 203 1 0 0 15 0 19 0 883407039 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350200320 0 0 0 16800975 18446604453985334208 0 0 -1 4 0 0 0
[pid=13205/tid=13217] ppid=13203 vsize=10563316 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13217/stat : 13217 (java) S 13203 13205 8455 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 883407040 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13218] ppid=13203 vsize=10563316 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13218/stat : 13218 (java) S 13203 13205 8455 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 883407040 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13219] ppid=13203 vsize=10563316 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13219/stat : 13219 (java) S 13203 13205 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883407042 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350207409 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13220] ppid=13203 vsize=10563316 CPUtime=1 cores=0,2,4,6
/proc/13205/task/13220/stat : 13220 (java) S 13203 13205 8455 0 -1 4202560 9816 0 0 0 100 0 0 0 15 0 19 0 883407042 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 0 0 0 0
[pid=13205/tid=13221] ppid=13203 vsize=10563316 CPUtime=0.18 cores=0,2,4,6
/proc/13205/task/13221/stat : 13221 (java) S 13203 13205 8455 0 -1 4202560 1899 0 0 0 18 0 0 0 15 0 19 0 883407042 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 2 0 0 0
[pid=13205/tid=13222] ppid=13203 vsize=10563316 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13222/stat : 13222 (java) S 13203 13205 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883407042 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350199705 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
[pid=13205/tid=13223] ppid=13203 vsize=10563316 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13223/stat : 13223 (java) S 13203 13205 8455 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 883407042 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350200320 0 4 0 16800975 18446604453985334208 0 0 -1 2 0 0 0
[pid=13205/tid=13224] ppid=13203 vsize=10563316 CPUtime=0 cores=0,2,4,6
/proc/13205/task/13224/stat : 13224 (java) S 13203 13205 8455 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883407054 10816835584 21988 33554432000 1073741824 1073778376 140733667192448 18446744073709551615 270350200320 0 4 0 16800975 18446604453985334208 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.02
Current children cumulated vsize (KiB) 10563316

Child status: 30
Real time (s): 48.7791
CPU time (s): 50.1154
CPU user time (s): 50.0544
CPU system time (s): 0.06099
CPU usage (%): 102.739
Max. virtual memory (cumulated for all children) (KiB): 10567312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50.0544
system time used= 0.06099
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26661
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= 5351
involuntary context switches= 2448

runsolver used 0.096985 second user time and 0.181972 second system time

The end

Launcher Data 

Begin job on node143 at 2011-06-12 22:18:34
IDJOB=3492498
IDBENCH=78845
IDSOLVER=1982
FILE ID=node143/3492498-1307909914
RUNJOBID= node143-1307908050-12754
PBS_JOBID= 13559565
Free space on /var/tmp= 2916 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110966483--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-3492498-1307909914/watcher-3492498-1307909914 -o /var/tmp/evaluation-result-3492498-1307909914/solver-3492498-1307909914 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492498-1307909914.wbo

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

MD5SUM BENCH= 666d5c712f5e475011fc9b955250b39c
RANDOM SEED=1171793905

node143.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.846
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.846
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.15
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.846
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.846
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.846
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.846
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.846
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.74
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.846
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:       1375708 kB
Buffers:         62536 kB
Cached:       30489936 kB
SwapCached:       9452 kB
Active:       15881096 kB
Inactive:     14748100 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1375708 kB
SwapTotal:    67111528 kB
SwapFree:     67054448 kB
Dirty:            1024 kB
Writeback:           0 kB
AnonPages:       74368 kB
Mapped:          21188 kB
Slab:           882836 kB
PageTables:       4604 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10545900 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= 2916 MiB
End job on node143 at 2011-06-12 22:19:23