Trace number 3492687

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 43.3644 41.9696

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220019--soft-0-100-0.wbo
MD5SUMe73465a328717b1b804a610f4d9de315
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.67559
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 1259
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		9996466904
0.00/0.09	c Max memory 		10048897024
0.00/0.09	c Total memory 		10048897024
0.00/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@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-3492687-1307911137.wbo
0.10/0.11	c reading problem ... 
0.10/0.16	c ... done. Wall clock time 0.054s.
0.10/0.16	c #vars     270
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 => 30
0.10/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
0.27/0.24	c SATISFIABLE
0.27/0.24	c OPTIMIZING...
0.27/0.24	c Got one! Elapsed wall clock time (in seconds):0.127
0.27/0.24	o 527
0.27/0.28	c Got one! Elapsed wall clock time (in seconds):0.17
0.27/0.28	o 508
0.27/0.29	c Got one! Elapsed wall clock time (in seconds):0.184
0.27/0.29	o 473
0.50/0.30	c Got one! Elapsed wall clock time (in seconds):0.194
0.50/0.30	o 435
0.50/0.35	c Got one! Elapsed wall clock time (in seconds):0.241
0.50/0.35	o 433
0.50/0.36	c Got one! Elapsed wall clock time (in seconds):0.253
0.50/0.36	o 392
0.62/0.47	c Got one! Elapsed wall clock time (in seconds):0.365
0.62/0.47	o 389
0.85/0.67	c cleaning 3818 clauses out of 7641 with flag 3005/7641
0.98/0.74	c Got one! Elapsed wall clock time (in seconds):0.63
0.98/0.74	o 338
1.10/0.81	c Got one! Elapsed wall clock time (in seconds):0.695
1.10/0.81	o 320
1.10/0.84	c Got one! Elapsed wall clock time (in seconds):0.732
1.10/0.84	o 295
1.20/0.91	c Got one! Elapsed wall clock time (in seconds):0.799
1.20/0.91	o 285
1.20/0.99	c cleaning 5460 clauses out of 10935 with flag 2001/14753
1.51/1.28	c Got one! Elapsed wall clock time (in seconds):1.174
1.51/1.28	o 277
1.61/1.33	c cleaning 5677 clauses out of 11360 with flag 1002/20638
1.88/1.55	c Got one! Elapsed wall clock time (in seconds):1.442
1.88/1.55	o 274
1.88/1.58	c Got one! Elapsed wall clock time (in seconds):1.468
1.88/1.58	o 261
1.98/1.63	c cleaning 5860 clauses out of 11732 with flag 1004/26687
1.98/1.67	c Got one! Elapsed wall clock time (in seconds):1.565
1.98/1.67	o 257
2.11/1.72	c Got one! Elapsed wall clock time (in seconds):1.615
2.11/1.72	o 254
2.21/1.82	c Got one! Elapsed wall clock time (in seconds):1.714
2.21/1.82	o 235
2.31/1.91	c cleaning 6239 clauses out of 12488 with flag 2000/33303
2.41/2.00	c Got one! Elapsed wall clock time (in seconds):1.889
2.41/2.00	o 224
2.53/2.12	c cleaning 5674 clauses out of 11355 with flag 3002/38409
2.73/2.37	c Got one! Elapsed wall clock time (in seconds):2.26
2.73/2.37	o 209
3.03/2.62	c cleaning 7946 clauses out of 15904 with flag 5000/48632
3.34/2.90	c cleaning 6976 clauses out of 13959 with flag 11001/54633
3.34/2.94	c Got one! Elapsed wall clock time (in seconds):2.829
3.34/2.94	o 204
3.54/3.13	c cleaning 6368 clauses out of 12747 with flag 5001/60397
3.65/3.21	c Got one! Elapsed wall clock time (in seconds):3.105
3.65/3.21	o 191
3.75/3.37	c cleaning 6149 clauses out of 12303 with flag 4002/66321
4.04/3.65	c cleaning 6064 clauses out of 12152 with flag 10000/72319
4.15/3.77	c Got one! Elapsed wall clock time (in seconds):3.662
4.15/3.77	o 159
4.25/3.88	c cleaning 5823 clauses out of 11657 with flag 3000/77888
4.55/4.14	c cleaning 5914 clauses out of 11835 with flag 9001/83889
4.55/4.16	c Got one! Elapsed wall clock time (in seconds):4.055
4.55/4.16	o 144
4.75/4.34	c cleaning 5574 clauses out of 11164 with flag 5001/89132
5.06/4.62	c cleaning 5793 clauses out of 11589 with flag 11000/95131
5.65/4.98	c cleaning 6394 clauses out of 12796 with flag 18000/102131
6.52/5.44	c cleaning 7201 clauses out of 14402 with flag 26000/110131
6.71/5.69	c Got one! Elapsed wall clock time (in seconds):5.577
6.71/5.69	o 139
6.91/5.89	c cleaning 8680 clauses out of 17368 with flag 5001/120298
7.22/6.16	c cleaning 7334 clauses out of 14687 with flag 11000/126297
7.63/6.53	c cleaning 7170 clauses out of 14353 with flag 18000/133297
8.03/6.94	c cleaning 7586 clauses out of 15183 with flag 26000/141297
8.43/7.37	c cleaning 8276 clauses out of 16597 with flag 35000/150297
8.74/7.66	c Got one! Elapsed wall clock time (in seconds):7.552
8.74/7.66	o 136
8.97/7.86	c cleaning 9783 clauses out of 19577 with flag 5002/161553
9.27/8.14	c cleaning 7888 clauses out of 15792 with flag 11000/167551
9.67/8.52	c cleaning 7445 clauses out of 14904 with flag 18000/174551
10.08/8.94	c cleaning 7726 clauses out of 15460 with flag 26001/182552
10.08/8.95	c Got one! Elapsed wall clock time (in seconds):8.842
10.08/8.95	o 135
10.28/9.13	c cleaning 6363 clauses out of 12745 with flag 5002/187563
10.48/9.35	c cleaning 6186 clauses out of 12380 with flag 11000/193561
10.68/9.59	c cleaning 6592 clauses out of 13195 with flag 18001/200562
11.09/9.94	c cleaning 7296 clauses out of 14603 with flag 26001/208562
11.58/10.41	c cleaning 8150 clauses out of 16307 with flag 35001/217562
12.09/10.94	c cleaning 9074 clauses out of 18158 with flag 45002/227563
12.19/11.04	c Got one! Elapsed wall clock time (in seconds):10.926
12.19/11.04	o 132
12.28/11.17	c cleaning 7404 clauses out of 14814 with flag 4000/233293
12.58/11.40	c cleaning 6705 clauses out of 13413 with flag 10003/239296
12.89/11.71	c cleaning 6844 clauses out of 13705 with flag 17000/246293
13.29/12.13	c cleaning 7426 clauses out of 14861 with flag 25000/254293
13.69/12.57	c cleaning 8209 clauses out of 16435 with flag 34000/263293
14.09/12.96	c Got one! Elapsed wall clock time (in seconds):12.846
14.09/12.96	o 125
14.34/13.17	c cleaning 10520 clauses out of 21050 with flag 5001/276117
14.63/13.41	c cleaning 8262 clauses out of 16529 with flag 11000/282116
14.83/13.66	c cleaning 7630 clauses out of 15267 with flag 18000/289116
15.14/13.97	c cleaning 7815 clauses out of 15638 with flag 26001/297117
15.54/14.39	c cleaning 8406 clauses out of 16822 with flag 35000/306116
16.14/14.90	c cleaning 9201 clauses out of 18416 with flag 45000/316116
16.26/15.09	c Got one! Elapsed wall clock time (in seconds):14.979
16.26/15.09	o 117
16.36/15.17	c cleaning 7468 clauses out of 14943 with flag 2000/321844
16.56/15.39	c cleaning 6732 clauses out of 13475 with flag 8000/327844
16.66/15.48	c Got one! Elapsed wall clock time (in seconds):15.373
16.66/15.48	o 98
16.76/15.59	c cleaning 5992 clauses out of 11999 with flag 3000/333100
17.07/15.80	c cleaning 5999 clauses out of 12008 with flag 9001/339101
17.27/16.09	c cleaning 6500 clauses out of 13008 with flag 16000/346100
17.77/16.51	c cleaning 7252 clauses out of 14509 with flag 24001/354101
18.17/16.99	c cleaning 8122 clauses out of 16258 with flag 33002/363102
18.47/17.24	c Got one! Elapsed wall clock time (in seconds):17.131
18.47/17.24	o 93
18.47/17.28	c cleaning 7006 clauses out of 14019 with flag 1000/368985
18.78/17.50	c cleaning 6503 clauses out of 13013 with flag 7000/374985
18.98/17.77	c cleaning 6749 clauses out of 13510 with flag 14000/381985
19.28/18.07	c cleaning 7377 clauses out of 14761 with flag 22000/389985
19.68/18.43	c cleaning 8187 clauses out of 16386 with flag 31002/398987
20.18/18.92	c Got one! Elapsed wall clock time (in seconds):18.809
20.18/18.92	o 79
20.38/19.13	c cleaning 11071 clauses out of 22147 with flag 5000/412935
20.58/19.38	c cleaning 8534 clauses out of 17076 with flag 11000/418935
20.88/19.64	c cleaning 7767 clauses out of 15542 with flag 18000/425935
21.18/19.96	c cleaning 7880 clauses out of 15775 with flag 26000/433935
21.58/20.31	c cleaning 8442 clauses out of 16895 with flag 35000/442935
21.99/20.71	c cleaning 9222 clauses out of 18458 with flag 45005/452940
22.38/21.15	c Got one! Elapsed wall clock time (in seconds):21.038
22.38/21.15	o 73
22.58/21.37	c cleaning 12024 clauses out of 24060 with flag 5002/467764
22.69/21.48	c Got one! Elapsed wall clock time (in seconds):21.37
22.69/21.48	o 71
22.89/21.60	c cleaning 8987 clauses out of 17980 with flag 3000/473708
22.99/21.72	c Got one! Elapsed wall clock time (in seconds):21.608
22.99/21.72	o 59
23.09/21.81	c cleaning 7101 clauses out of 14209 with flag 2003/478924
23.29/22.02	c cleaning 6549 clauses out of 13105 with flag 8000/484921
23.59/22.34	c cleaning 6775 clauses out of 13557 with flag 15001/491922
23.59/22.39	c Got one! Elapsed wall clock time (in seconds):22.276
23.59/22.39	o 56
23.79/22.52	c cleaning 5943 clauses out of 11892 with flag 4000/497032
23.99/22.73	c cleaning 5972 clauses out of 11950 with flag 10001/503033
24.29/23.00	c cleaning 6482 clauses out of 12978 with flag 17001/510033
24.59/23.34	c cleaning 7245 clauses out of 14496 with flag 25001/518033
24.99/23.70	c cleaning 8123 clauses out of 16251 with flag 34001/527033
25.40/24.10	c cleaning 9054 clauses out of 18127 with flag 44000/537032
25.79/24.51	c cleaning 9532 clauses out of 19075 with flag 54002/547034
26.19/24.92	c cleaning 9768 clauses out of 19541 with flag 64000/557032
26.29/25.03	c Got one! Elapsed wall clock time (in seconds):24.916
26.29/25.03	o 55
26.40/25.13	c cleaning 7663 clauses out of 15337 with flag 3000/562596
26.61/25.35	c cleaning 6834 clauses out of 13675 with flag 9001/568597
26.90/25.60	c cleaning 6917 clauses out of 13841 with flag 16001/575597
27.21/25.91	c cleaning 7458 clauses out of 14925 with flag 24002/583598
27.51/26.27	c cleaning 8229 clauses out of 16465 with flag 33000/592596
27.92/26.66	c cleaning 9115 clauses out of 18238 with flag 43002/602598
28.42/27.12	c cleaning 9554 clauses out of 19121 with flag 53000/612596
28.92/27.62	c cleaning 9778 clauses out of 19567 with flag 63000/622596
29.42/28.12	c cleaning 9891 clauses out of 19791 with flag 73002/632598
29.82/28.54	c cleaning 9944 clauses out of 19898 with flag 83000/642596
30.22/28.99	c cleaning 9975 clauses out of 19956 with flag 93002/652598
30.52/29.24	c Got one! Elapsed wall clock time (in seconds):29.133
30.52/29.24	o 52
30.74/29.45	c cleaning 10858 clauses out of 21720 with flag 5000/664337
30.94/29.69	c cleaning 8429 clauses out of 16863 with flag 11001/670338
31.24/29.95	c cleaning 7710 clauses out of 15433 with flag 18000/677337
31.54/30.25	c cleaning 7856 clauses out of 15723 with flag 26000/685337
31.84/30.59	c cleaning 8431 clauses out of 16867 with flag 35000/694337
32.34/31.03	c cleaning 9213 clauses out of 18436 with flag 45000/704337
32.74/31.45	c cleaning 9608 clauses out of 19224 with flag 55001/714338
33.15/31.88	c cleaning 9803 clauses out of 19617 with flag 65002/724339
33.44/32.16	c Got one! Elapsed wall clock time (in seconds):32.048
33.44/32.16	o 49
33.74/32.41	c cleaning 11066 clauses out of 22141 with flag 5001/736666
33.94/32.64	c cleaning 8532 clauses out of 17074 with flag 11000/742665
34.25/32.92	c cleaning 7766 clauses out of 15542 with flag 18000/749665
34.55/33.24	c cleaning 7886 clauses out of 15779 with flag 26003/757668
34.85/33.59	c cleaning 8440 clauses out of 16890 with flag 35000/766665
35.25/33.92	c Got one! Elapsed wall clock time (in seconds):33.811
35.25/33.92	o 39
35.45/34.14	c cleaning 11222 clauses out of 22457 with flag 5000/780672
35.65/34.39	c cleaning 8613 clauses out of 17237 with flag 11002/786674
35.95/34.65	c cleaning 7808 clauses out of 15623 with flag 18001/793673
36.05/34.71	c Got one! Elapsed wall clock time (in seconds):34.598
36.05/34.71	o 15
36.15/34.86	c cleaning 6708 clauses out of 13432 with flag 4001/799290
36.35/35.07	c cleaning 6358 clauses out of 12724 with flag 10001/805290
36.65/35.31	c cleaning 6680 clauses out of 13366 with flag 17001/812290
36.95/35.63	c cleaning 7339 clauses out of 14687 with flag 25002/820291
37.25/35.99	c cleaning 8169 clauses out of 16346 with flag 34000/829289
37.75/36.40	c cleaning 9087 clauses out of 18180 with flag 44003/839292
38.06/36.77	c cleaning 9537 clauses out of 19090 with flag 54000/849289
38.46/37.16	c cleaning 9772 clauses out of 19553 with flag 64000/859289
38.56/37.27	c Got one! Elapsed wall clock time (in seconds):37.156
38.56/37.27	o 11
38.66/37.34	c cleaning 7435 clauses out of 14875 with flag 2001/864383
38.86/37.54	c cleaning 6716 clauses out of 13440 with flag 8001/870383
39.06/37.78	c cleaning 6854 clauses out of 13724 with flag 15001/877383
39.36/38.07	c cleaning 7430 clauses out of 14872 with flag 23003/885385
39.77/38.40	c cleaning 8216 clauses out of 16440 with flag 32001/894383
40.06/38.78	c cleaning 9108 clauses out of 18223 with flag 42000/904382
40.46/39.15	c Got one! Elapsed wall clock time (in seconds):39.043
40.46/39.15	o 2
40.77/39.41	c cleaning 12020 clauses out of 24041 with flag 5001/919308
40.97/39.65	c cleaning 9005 clauses out of 18019 with flag 11000/925307
41.27/39.90	c cleaning 8004 clauses out of 16015 with flag 18001/932308
41.47/40.17	c cleaning 8002 clauses out of 16011 with flag 26001/940308
41.77/40.49	c cleaning 8500 clauses out of 17009 with flag 35001/949308
42.17/40.85	c cleaning 9249 clauses out of 18510 with flag 45002/959309
42.58/41.25	c cleaning 9624 clauses out of 19259 with flag 55000/969307
42.98/41.65	c cleaning 9816 clauses out of 19635 with flag 65000/979307
43.28/41.96	c starts		: 213
43.28/41.96	c conflicts		: 987643
43.28/41.96	c decisions		: 1607779
43.28/41.96	c propagations		: 27380921
43.28/41.96	c inspects		: 228212388
43.28/41.96	c shortcuts		: 0
43.28/41.96	c learnt literals	: 7
43.28/41.96	c learnt binary clauses	: 97
43.28/41.96	c learnt ternary clauses	: 905
43.28/41.96	c learnt constraints	: 987635
43.28/41.96	c ignored constraints	: 0
43.28/41.96	c root simplifications	: 0
43.28/41.96	c removed literals (reason simplification)	: 5925720
43.28/41.96	c reason swapping (by a shorter reason)	: 0
43.28/41.96	c Calls to reduceDB	: 123
43.28/41.96	c number of reductions to clauses (during analyze)	: 0
43.28/41.96	c number of learned constraints concerned by reduction	: 0
43.28/41.96	c number of learning phase by resolution	: 0
43.28/41.96	c number of learning phase by cutting planes	: 0
43.28/41.96	c speed (assignments/second)	: 9754514.07196295
43.28/41.96	c non guided choices	1890
43.28/41.96	c learnt constraints type 
43.28/41.96	c constraints type 
43.28/41.96	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
43.28/41.96	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
43.28/41.96	s OPTIMUM FOUND
43.28/41.96	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 
43.28/41.96	c objective function=2
43.28/41.96	c Total wall clock time (in seconds): 41.85

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 /var/tmp/evaluation-result-3492687-1307911137/watcher-3492687-1307911137 -o /var/tmp/evaluation-result-3492687-1307911137/solver-3492687-1307911137 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492687-1307911137.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.16 2.05 1.94 2/195 9084
/proc/meminfo: memFree=405132/32950928 swapFree=67048888/67111528
[pid=9084] ppid=9082 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/9084/stat : 9084 (java) R 9082 9084 4454 0 -1 4202496 558 0 0 0 0 0 0 0 25 0 1 0 902712511 23580672 301 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268267726592 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9084/statm: 5757 312 239 9 0 124 0

[startup+0.0110489 s]
/proc/loadavg: 2.16 2.05 1.94 2/195 9084
/proc/meminfo: memFree=405132/32950928 swapFree=67048888/67111528
[pid=9084] ppid=9082 vsize=36924 CPUtime=0 cores=1,3,5,7
/proc/9084/stat : 9084 (java) S 9082 9084 4454 0 -1 4202496 1370 0 1 0 0 0 0 0 25 0 2 0 902712511 37810176 1072 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/9084/statm: 9231 1072 832 9 0 387 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 36924

[startup+0.101081 s]
/proc/loadavg: 2.16 2.05 1.94 2/195 9084
/proc/meminfo: memFree=405132/32950928 swapFree=67048888/67111528
[pid=9084] ppid=9082 vsize=10539552 CPUtime=0.1 cores=1,3,5,7
/proc/9084/stat : 9084 (java) S 9082 9084 4454 0 -1 4202496 13014 0 1 0 8 2 0 0 25 0 18 0 902712511 10792501248 12710 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9084/statm: 2634888 12710 2092 9 0 2625622 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539552

[startup+0.300987 s]
/proc/loadavg: 2.16 2.05 1.94 2/195 9084
/proc/meminfo: memFree=405132/32950928 swapFree=67048888/67111528
[pid=9084] ppid=9082 vsize=10543020 CPUtime=0.5 cores=1,3,5,7
/proc/9084/stat : 9084 (java) S 9082 9084 4454 0 -1 4202496 15746 0 1 0 48 2 0 0 25 0 19 0 902712511 10796052480 14841 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9084/statm: 2635755 14841 2214 9 0 2626489 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10543020

[startup+0.700917 s]
/proc/loadavg: 2.16 2.05 1.94 2/195 9084
/proc/meminfo: memFree=405132/32950928 swapFree=67048888/67111528
[pid=9084] ppid=9082 vsize=10543312 CPUtime=0.98 cores=1,3,5,7
/proc/9084/stat : 9084 (java) S 9082 9084 4454 0 -1 4202496 17023 0 1 0 96 2 0 0 25 0 19 0 902712511 10796351488 16002 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9084/statm: 2635828 16002 2246 9 0 2626562 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 10543312

[startup+1.50077 s]
/proc/loadavg: 2.16 2.05 1.94 3/214 9103
/proc/meminfo: memFree=348516/32950928 swapFree=67048888/67111528
[pid=9084] ppid=9082 vsize=10543312 CPUtime=1.88 cores=1,3,5,7
/proc/9084/stat : 9084 (java) S 9082 9084 4454 0 -1 4202496 18663 0 1 0 186 2 0 0 25 0 19 0 902712511 10796351488 16791 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9084/statm: 2635828 16791 2248 9 0 2626562 0
[pid=9084/tid=9086] ppid=9082 vsize=10543312 CPUtime=1.43 cores=1,3,5,7
/proc/9084/task/9086/stat : 9086 (java) R 9082 9084 4454 0 -1 4202560 12291 0 1 0 142 1 0 0 25 0 19 0 902712512 10796351488 16791 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 46912505591525 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9084/tid=9087] ppid=9082 vsize=10543312 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9087/stat : 9087 (java) S 9082 9084 4454 0 -1 4202560 231 0 0 0 0 0 0 0 15 0 19 0 902712514 10796351488 16791 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9088] ppid=9082 vsize=10543312 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9088/stat : 9088 (java) S 9082 9084 4454 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902712514 10796351488 16791 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9089] ppid=9082 vsize=10543312 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9089/stat : 9089 (java) S 9082 9084 4454 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 19 0 902712514 10796351488 16791 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 7 0 0 0
[pid=9084/tid=9090] ppid=9082 vsize=10543312 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9090/stat : 9090 (java) S 9082 9084 4454 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902712514 10796351488 16791 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9091] ppid=9082 vsize=10543312 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9091/stat : 9091 (java) S 9082 9084 4454 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902712514 10796351488 16791 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9092] ppid=9082 vsize=10543312 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9092/stat : 9092 (java) S 9082 9084 4454 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 19 0 902712514 10796351488 16791 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9093] ppid=9082 vsize=10543312 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9093/stat : 9093 (java) S 9082 9084 4454 0 -1 4202560 184 0 0 0 0 0 0 0 15 0 19 0 902712514 10796351488 16791 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 7 0 0 0
[pid=9084/tid=9094] ppid=9082 vsize=10543312 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9094/stat : 9094 (java) S 9082 9084 4454 0 -1 4202560 128 0 0 0 0 0 0 0 15 0 19 0 902712514 10796351488 16791 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9095] ppid=9082 vsize=10543312 CPUtime=0.03 cores=1,3,5,7
/proc/9084/task/9095/stat : 9095 (java) S 9082 9084 4454 0 -1 4202560 486 0 0 0 3 0 0 0 15 0 19 0 902712515 10796351488 16791 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284505600 0 0 0 16800975 18446604466786637824 0 0 -1 5 0 0 0
[pid=9084/tid=9096] ppid=9082 vsize=10543312 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9096/stat : 9096 (java) S 9082 9084 4454 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 902712515 10796351488 16791 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9097] ppid=9082 vsize=10543312 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9097/stat : 9097 (java) S 9082 9084 4454 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 902712515 10796351488 16791 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 5 0 0 0
[pid=9084/tid=9098] ppid=9082 vsize=10543312 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9098/stat : 9098 (java) S 9082 9084 4454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902712517 10796351488 16791 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284512689 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9099] ppid=9082 vsize=10543312 CPUtime=0.18 cores=1,3,5,7
/proc/9084/task/9099/stat : 9099 (java) S 9082 9084 4454 0 -1 4202560 2040 0 0 0 18 0 0 0 15 0 19 0 902712517 10796351488 16791 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9100] ppid=9082 vsize=10543312 CPUtime=0.2 cores=1,3,5,7
/proc/9084/task/9100/stat : 9100 (java) S 9082 9084 4454 0 -1 4202560 2019 0 0 0 20 0 0 0 16 0 19 0 902712517 10796351488 16791 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 3 0 0 0
[pid=9084/tid=9101] ppid=9082 vsize=10543312 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9101/stat : 9101 (java) S 9082 9084 4454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902712517 10796351488 16791 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9102] ppid=9082 vsize=10543312 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9102/stat : 9102 (java) S 9082 9084 4454 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902712518 10796351488 16791 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284505600 0 4 0 16800975 18446604466786637824 0 0 -1 7 0 0 0
[pid=9084/tid=9103] ppid=9082 vsize=10543312 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9103/stat : 9103 (java) S 9082 9084 4454 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902712529 10796351488 16791 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284505600 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 10543312

[startup+3.10149 s]
/proc/loadavg: 2.16 2.05 1.94 3/214 9103
/proc/meminfo: memFree=345292/32950928 swapFree=67048888/67111528
[pid=9084] ppid=9082 vsize=10543312 CPUtime=3.54 cores=1,3,5,7
/proc/9084/stat : 9084 (java) S 9082 9084 4454 0 -1 4202496 19065 0 1 0 351 3 0 0 25 0 19 0 902712511 10796351488 17124 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9084/statm: 2635828 17124 2249 9 0 2626562 0
[pid=9084/tid=9086] ppid=9082 vsize=10543312 CPUtime=2.96 cores=1,3,5,7
/proc/9084/task/9086/stat : 9086 (java) R 9082 9084 4454 0 -1 4202560 12298 0 1 0 295 1 0 0 25 0 19 0 902712512 10796351488 17124 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 46912505556292 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9084/tid=9087] ppid=9082 vsize=10543312 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9087/stat : 9087 (java) S 9082 9084 4454 0 -1 4202560 231 0 0 0 0 0 0 0 15 0 19 0 902712514 10796351488 17124 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 7 0 0 0
[pid=9084/tid=9088] ppid=9082 vsize=10543312 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9088/stat : 9088 (java) S 9082 9084 4454 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902712514 10796351488 17124 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 7 0 0 0
[pid=9084/tid=9089] ppid=9082 vsize=10543312 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9089/stat : 9089 (java) S 9082 9084 4454 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 19 0 902712514 10796351488 17124 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 7 0 0 0
[pid=9084/tid=9090] ppid=9082 vsize=10543312 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9090/stat : 9090 (java) S 9082 9084 4454 0 -1 4202560 40 0 0 0 0 0 0 0 15 0 19 0 902712514 10796351488 17124 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9091] ppid=9082 vsize=10543312 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9091/stat : 9091 (java) S 9082 9084 4454 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 902712514 10796351488 17124 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 7 0 0 0
[pid=9084/tid=9092] ppid=9082 vsize=10543312 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9092/stat : 9092 (java) S 9082 9084 4454 0 -1 4202560 104 0 0 0 0 0 0 0 16 0 19 0 902712514 10796351488 17124 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 3 0 0 0
[pid=9084/tid=9093] ppid=9082 vsize=10543312 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9093/stat : 9093 (java) S 9082 9084 4454 0 -1 4202560 186 0 0 0 0 0 0 0 16 0 19 0 902712514 10796351488 17124 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9094] ppid=9082 vsize=10543312 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9094/stat : 9094 (java) S 9082 9084 4454 0 -1 4202560 129 0 0 0 0 0 0 0 15 0 19 0 902712514 10796351488 17124 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9095] ppid=9082 vsize=10543312 CPUtime=0.09 cores=1,3,5,7
/proc/9084/task/9095/stat : 9095 (java) S 9082 9084 4454 0 -1 4202560 605 0 0 0 9 0 0 0 16 0 19 0 902712515 10796351488 17124 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284505600 0 0 0 16800975 18446604466786637824 0 0 -1 5 0 0 0
[pid=9084/tid=9096] ppid=9082 vsize=10543312 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9096/stat : 9096 (java) S 9082 9084 4454 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 902712515 10796351488 17124 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9097] ppid=9082 vsize=10543312 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9097/stat : 9097 (java) S 9082 9084 4454 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 902712515 10796351488 17124 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 5 0 0 0
[pid=9084/tid=9098] ppid=9082 vsize=10543312 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9098/stat : 9098 (java) S 9082 9084 4454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902712517 10796351488 17124 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284512689 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9099] ppid=9082 vsize=10543312 CPUtime=0.22 cores=1,3,5,7
/proc/9084/task/9099/stat : 9099 (java) S 9082 9084 4454 0 -1 4202560 2121 0 0 0 22 0 0 0 15 0 19 0 902712517 10796351488 17124 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9100] ppid=9082 vsize=10543312 CPUtime=0.21 cores=1,3,5,7
/proc/9084/task/9100/stat : 9100 (java) S 9082 9084 4454 0 -1 4202560 2019 0 0 0 21 0 0 0 15 0 19 0 902712517 10796351488 17124 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 3 0 0 0
[pid=9084/tid=9101] ppid=9082 vsize=10543312 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9101/stat : 9101 (java) S 9082 9084 4454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902712517 10796351488 17124 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9102] ppid=9082 vsize=10543312 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9102/stat : 9102 (java) S 9082 9084 4454 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902712518 10796351488 17124 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284505600 0 4 0 16800975 18446604466786637824 0 0 -1 7 0 0 0
[pid=9084/tid=9103] ppid=9082 vsize=10543312 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9103/stat : 9103 (java) S 9082 9084 4454 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902712529 10796351488 17124 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284505600 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 10543312

[startup+6.30097 s]
/proc/loadavg: 2.23 2.07 1.95 3/214 9103
/proc/meminfo: memFree=325448/32950928 swapFree=67048888/67111528
[pid=9084] ppid=9082 vsize=10544440 CPUtime=7.42 cores=1,3,5,7
/proc/9084/stat : 9084 (java) S 9082 9084 4454 0 -1 4202496 28048 0 1 0 739 3 0 0 25 0 19 0 902712511 10797506560 21373 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9084/statm: 2636110 21373 2249 9 0 2626844 0
[pid=9084/tid=9086] ppid=9082 vsize=10544440 CPUtime=6.02 cores=1,3,5,7
/proc/9084/task/9086/stat : 9086 (java) R 9082 9084 4454 0 -1 4202560 12313 0 1 0 601 1 0 0 25 0 19 0 902712512 10797506560 21373 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 46912505563631 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9084/tid=9087] ppid=9082 vsize=10544440 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9087/stat : 9087 (java) S 9082 9084 4454 0 -1 4202560 231 0 0 0 0 0 0 0 15 0 19 0 902712514 10797506560 21373 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 7 0 0 0
[pid=9084/tid=9088] ppid=9082 vsize=10544440 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9088/stat : 9088 (java) S 9082 9084 4454 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902712514 10797506560 21373 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9089] ppid=9082 vsize=10544440 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9089/stat : 9089 (java) S 9082 9084 4454 0 -1 4202560 86 0 0 0 0 0 0 0 15 0 19 0 902712514 10797506560 21373 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9090] ppid=9082 vsize=10544440 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9090/stat : 9090 (java) S 9082 9084 4454 0 -1 4202560 40 0 0 0 0 0 0 0 15 0 19 0 902712514 10797506560 21373 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 3 0 0 0
[pid=9084/tid=9091] ppid=9082 vsize=10544440 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9091/stat : 9091 (java) S 9082 9084 4454 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 902712514 10797506560 21373 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 7 0 0 0
[pid=9084/tid=9092] ppid=9082 vsize=10544440 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9092/stat : 9092 (java) S 9082 9084 4454 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 902712514 10797506560 21373 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9093] ppid=9082 vsize=10544440 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9093/stat : 9093 (java) S 9082 9084 4454 0 -1 4202560 187 0 0 0 0 0 0 0 15 0 19 0 902712514 10797506560 21373 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 3 0 0 0
[pid=9084/tid=9094] ppid=9082 vsize=10544440 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9094/stat : 9094 (java) S 9082 9084 4454 0 -1 4202560 130 0 0 0 0 0 0 0 15 0 19 0 902712514 10797506560 21373 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 7 0 0 0
[pid=9084/tid=9095] ppid=9082 vsize=10544440 CPUtime=0.22 cores=1,3,5,7
/proc/9084/task/9095/stat : 9095 (java) S 9082 9084 4454 0 -1 4202560 606 0 0 0 22 0 0 0 16 0 19 0 902712515 10797506560 21373 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284505600 0 0 0 16800975 18446604466786637824 0 0 -1 5 0 0 0
[pid=9084/tid=9096] ppid=9082 vsize=10544440 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9096/stat : 9096 (java) S 9082 9084 4454 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 902712515 10797506560 21373 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9097] ppid=9082 vsize=10544440 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9097/stat : 9097 (java) S 9082 9084 4454 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 902712515 10797506560 21373 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 5 0 0 0
[pid=9084/tid=9098] ppid=9082 vsize=10544440 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9098/stat : 9098 (java) S 9082 9084 4454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902712517 10797506560 21373 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284512689 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9099] ppid=9082 vsize=10544440 CPUtime=0.85 cores=1,3,5,7
/proc/9084/task/9099/stat : 9099 (java) S 9082 9084 4454 0 -1 4202560 10782 0 0 0 84 1 0 0 15 0 19 0 902712517 10797506560 21373 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9100] ppid=9082 vsize=10544440 CPUtime=0.25 cores=1,3,5,7
/proc/9084/task/9100/stat : 9100 (java) S 9082 9084 4454 0 -1 4202560 2321 0 0 0 25 0 0 0 15 0 19 0 902712517 10797506560 21373 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 3 0 0 0
[pid=9084/tid=9101] ppid=9082 vsize=10544440 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9101/stat : 9101 (java) S 9082 9084 4454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902712517 10797506560 21373 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9102] ppid=9082 vsize=10544440 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9102/stat : 9102 (java) S 9082 9084 4454 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902712518 10797506560 21373 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284505600 0 4 0 16800975 18446604466786637824 0 0 -1 3 0 0 0
[pid=9084/tid=9103] ppid=9082 vsize=10544440 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9103/stat : 9103 (java) S 9082 9084 4454 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902712529 10797506560 21373 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284505600 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.42
Current children cumulated vsize (KiB) 10544440

[startup+12.7008 s]

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

/proc/9084/task/9087/stat : 9087 (java) S 9082 9084 4454 0 -1 4202560 236 0 0 0 3 0 0 0 16 0 19 0 902712514 10799149056 21123 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9088] ppid=9082 vsize=10546044 CPUtime=0.02 cores=1,3,5,7
/proc/9084/task/9088/stat : 9088 (java) S 9082 9084 4454 0 -1 4202560 11 0 0 0 2 0 0 0 16 0 19 0 902712514 10799149056 21123 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 7 0 0 0
[pid=9084/tid=9089] ppid=9082 vsize=10546044 CPUtime=0.03 cores=1,3,5,7
/proc/9084/task/9089/stat : 9089 (java) S 9082 9084 4454 0 -1 4202560 93 0 0 0 3 0 0 0 15 0 19 0 902712514 10799149056 21123 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 3 0 0 0
[pid=9084/tid=9090] ppid=9082 vsize=10546044 CPUtime=0.02 cores=1,3,5,7
/proc/9084/task/9090/stat : 9090 (java) S 9082 9084 4454 0 -1 4202560 52 0 0 0 2 0 0 0 15 0 19 0 902712514 10799149056 21123 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 3 0 0 0
[pid=9084/tid=9091] ppid=9082 vsize=10546044 CPUtime=0.02 cores=1,3,5,7
/proc/9084/task/9091/stat : 9091 (java) S 9082 9084 4454 0 -1 4202560 97 0 0 0 2 0 0 0 15 0 19 0 902712514 10799149056 21123 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 7 0 0 0
[pid=9084/tid=9092] ppid=9082 vsize=10546044 CPUtime=0.02 cores=1,3,5,7
/proc/9084/task/9092/stat : 9092 (java) S 9082 9084 4454 0 -1 4202560 108 0 0 0 2 0 0 0 15 0 19 0 902712514 10799149056 21123 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9093] ppid=9082 vsize=10546044 CPUtime=0.03 cores=1,3,5,7
/proc/9084/task/9093/stat : 9093 (java) S 9082 9084 4454 0 -1 4202560 192 0 0 0 3 0 0 0 15 0 19 0 902712514 10799149056 21123 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9094] ppid=9082 vsize=10546044 CPUtime=0.03 cores=1,3,5,7
/proc/9084/task/9094/stat : 9094 (java) S 9082 9084 4454 0 -1 4202560 137 0 0 0 3 0 0 0 15 0 19 0 902712514 10799149056 21123 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 3 0 0 0
[pid=9084/tid=9095] ppid=9082 vsize=10546044 CPUtime=1.53 cores=1,3,5,7
/proc/9084/task/9095/stat : 9095 (java) S 9082 9084 4454 0 -1 4202560 1011 0 0 0 152 1 0 0 15 0 19 0 902712515 10799149056 21123 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284505600 0 0 0 16800975 18446604466786637824 0 0 -1 5 0 0 0
[pid=9084/tid=9096] ppid=9082 vsize=10546044 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9096/stat : 9096 (java) S 9082 9084 4454 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 902712515 10799149056 21123 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9097] ppid=9082 vsize=10546044 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9097/stat : 9097 (java) S 9082 9084 4454 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 902712515 10799149056 21123 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 5 0 0 0
[pid=9084/tid=9098] ppid=9082 vsize=10546044 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9098/stat : 9098 (java) S 9082 9084 4454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902712517 10799149056 21123 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284512689 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9099] ppid=9082 vsize=10546044 CPUtime=0.86 cores=1,3,5,7
/proc/9084/task/9099/stat : 9099 (java) S 9082 9084 4454 0 -1 4202560 10782 0 0 0 85 1 0 0 15 0 19 0 902712517 10799149056 21123 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9100] ppid=9082 vsize=10546044 CPUtime=0.38 cores=1,3,5,7
/proc/9084/task/9100/stat : 9100 (java) S 9082 9084 4454 0 -1 4202560 2732 0 0 0 38 0 0 0 15 0 19 0 902712517 10799149056 21123 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 3 0 0 0
[pid=9084/tid=9101] ppid=9082 vsize=10546044 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9101/stat : 9101 (java) S 9082 9084 4454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902712517 10799149056 21123 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9102] ppid=9082 vsize=10546044 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9102/stat : 9102 (java) S 9082 9084 4454 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902712518 10799149056 21123 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284505600 0 4 0 16800975 18446604466786637824 0 0 -1 7 0 0 0
[pid=9084/tid=9103] ppid=9082 vsize=10546044 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9103/stat : 9103 (java) S 9082 9084 4454 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902712529 10799149056 21123 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284505600 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 41.27
Current children cumulated vsize (KiB) 10546044

[startup+40.7068 s]
/proc/loadavg: 2.12 2.06 1.95 3/214 9104
/proc/meminfo: memFree=323292/32950928 swapFree=67048888/67111528
[pid=9084] ppid=9082 vsize=10546044 CPUtime=42.08 cores=1,3,5,7
/proc/9084/stat : 9084 (java) S 9082 9084 4454 0 -1 4202496 29055 0 1 0 4203 5 0 0 25 0 19 0 902712511 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9084/statm: 2636511 21158 2251 9 0 2627245 0
[pid=9084/tid=9086] ppid=9082 vsize=10546044 CPUtime=38.98 cores=1,3,5,7
/proc/9084/task/9086/stat : 9086 (java) R 9082 9084 4454 0 -1 4202560 12416 0 1 0 3896 2 0 0 25 0 19 0 902712512 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 46912505614182 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9084/tid=9087] ppid=9082 vsize=10546044 CPUtime=0.03 cores=1,3,5,7
/proc/9084/task/9087/stat : 9087 (java) S 9082 9084 4454 0 -1 4202560 236 0 0 0 3 0 0 0 15 0 19 0 902712514 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 7 0 0 0
[pid=9084/tid=9088] ppid=9082 vsize=10546044 CPUtime=0.03 cores=1,3,5,7
/proc/9084/task/9088/stat : 9088 (java) S 9082 9084 4454 0 -1 4202560 11 0 0 0 3 0 0 0 16 0 19 0 902712514 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 7 0 0 0
[pid=9084/tid=9089] ppid=9082 vsize=10546044 CPUtime=0.03 cores=1,3,5,7
/proc/9084/task/9089/stat : 9089 (java) S 9082 9084 4454 0 -1 4202560 93 0 0 0 3 0 0 0 15 0 19 0 902712514 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 3 0 0 0
[pid=9084/tid=9090] ppid=9082 vsize=10546044 CPUtime=0.02 cores=1,3,5,7
/proc/9084/task/9090/stat : 9090 (java) S 9082 9084 4454 0 -1 4202560 52 0 0 0 2 0 0 0 16 0 19 0 902712514 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 3 0 0 0
[pid=9084/tid=9091] ppid=9082 vsize=10546044 CPUtime=0.02 cores=1,3,5,7
/proc/9084/task/9091/stat : 9091 (java) S 9082 9084 4454 0 -1 4202560 97 0 0 0 2 0 0 0 15 0 19 0 902712514 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 7 0 0 0
[pid=9084/tid=9092] ppid=9082 vsize=10546044 CPUtime=0.02 cores=1,3,5,7
/proc/9084/task/9092/stat : 9092 (java) S 9082 9084 4454 0 -1 4202560 108 0 0 0 2 0 0 0 15 0 19 0 902712514 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9093] ppid=9082 vsize=10546044 CPUtime=0.04 cores=1,3,5,7
/proc/9084/task/9093/stat : 9093 (java) S 9082 9084 4454 0 -1 4202560 192 0 0 0 4 0 0 0 16 0 19 0 902712514 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9094] ppid=9082 vsize=10546044 CPUtime=0.03 cores=1,3,5,7
/proc/9084/task/9094/stat : 9094 (java) S 9082 9084 4454 0 -1 4202560 137 0 0 0 3 0 0 0 15 0 19 0 902712514 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9095] ppid=9082 vsize=10546044 CPUtime=1.57 cores=1,3,5,7
/proc/9084/task/9095/stat : 9095 (java) S 9082 9084 4454 0 -1 4202560 1046 0 0 0 156 1 0 0 15 0 19 0 902712515 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284505600 0 0 0 16800975 18446604466786637824 0 0 -1 5 0 0 0
[pid=9084/tid=9096] ppid=9082 vsize=10546044 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9096/stat : 9096 (java) S 9082 9084 4454 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 902712515 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9097] ppid=9082 vsize=10546044 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9097/stat : 9097 (java) S 9082 9084 4454 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 902712515 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 5 0 0 0
[pid=9084/tid=9098] ppid=9082 vsize=10546044 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9098/stat : 9098 (java) S 9082 9084 4454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902712517 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284512689 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9099] ppid=9082 vsize=10546044 CPUtime=0.86 cores=1,3,5,7
/proc/9084/task/9099/stat : 9099 (java) S 9082 9084 4454 0 -1 4202560 10782 0 0 0 85 1 0 0 15 0 19 0 902712517 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9100] ppid=9082 vsize=10546044 CPUtime=0.38 cores=1,3,5,7
/proc/9084/task/9100/stat : 9100 (java) S 9082 9084 4454 0 -1 4202560 2732 0 0 0 38 0 0 0 15 0 19 0 902712517 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 3 0 0 0
[pid=9084/tid=9101] ppid=9082 vsize=10546044 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9101/stat : 9101 (java) S 9082 9084 4454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902712517 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9102] ppid=9082 vsize=10546044 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9102/stat : 9102 (java) S 9082 9084 4454 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902712518 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284505600 0 4 0 16800975 18446604466786637824 0 0 -1 7 0 0 0
[pid=9084/tid=9103] ppid=9082 vsize=10546044 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9103/stat : 9103 (java) S 9082 9084 4454 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902712529 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284505600 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 42.08
Current children cumulated vsize (KiB) 10546044

[startup+41.5007 s]
/proc/loadavg: 2.12 2.06 1.95 3/214 9104
/proc/meminfo: memFree=323292/32950928 swapFree=67048888/67111528
[pid=9084] ppid=9082 vsize=10546044 CPUtime=42.88 cores=1,3,5,7
/proc/9084/stat : 9084 (java) S 9082 9084 4454 0 -1 4202496 29057 0 1 0 4282 6 0 0 25 0 19 0 902712511 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9084/statm: 2636511 21158 2251 9 0 2627245 0
[pid=9084/tid=9086] ppid=9082 vsize=10546044 CPUtime=39.74 cores=1,3,5,7
/proc/9084/task/9086/stat : 9086 (java) R 9082 9084 4454 0 -1 4202560 12418 0 1 0 3972 2 0 0 25 0 19 0 902712512 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 46912505557879 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9084/tid=9087] ppid=9082 vsize=10546044 CPUtime=0.03 cores=1,3,5,7
/proc/9084/task/9087/stat : 9087 (java) S 9082 9084 4454 0 -1 4202560 236 0 0 0 3 0 0 0 15 0 19 0 902712514 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 7 0 0 0
[pid=9084/tid=9088] ppid=9082 vsize=10546044 CPUtime=0.03 cores=1,3,5,7
/proc/9084/task/9088/stat : 9088 (java) S 9082 9084 4454 0 -1 4202560 11 0 0 0 3 0 0 0 15 0 19 0 902712514 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 7 0 0 0
[pid=9084/tid=9089] ppid=9082 vsize=10546044 CPUtime=0.03 cores=1,3,5,7
/proc/9084/task/9089/stat : 9089 (java) S 9082 9084 4454 0 -1 4202560 93 0 0 0 3 0 0 0 15 0 19 0 902712514 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 3 0 0 0
[pid=9084/tid=9090] ppid=9082 vsize=10546044 CPUtime=0.02 cores=1,3,5,7
/proc/9084/task/9090/stat : 9090 (java) S 9082 9084 4454 0 -1 4202560 52 0 0 0 2 0 0 0 16 0 19 0 902712514 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 3 0 0 0
[pid=9084/tid=9091] ppid=9082 vsize=10546044 CPUtime=0.02 cores=1,3,5,7
/proc/9084/task/9091/stat : 9091 (java) S 9082 9084 4454 0 -1 4202560 97 0 0 0 2 0 0 0 15 0 19 0 902712514 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 7 0 0 0
[pid=9084/tid=9092] ppid=9082 vsize=10546044 CPUtime=0.02 cores=1,3,5,7
/proc/9084/task/9092/stat : 9092 (java) S 9082 9084 4454 0 -1 4202560 108 0 0 0 2 0 0 0 16 0 19 0 902712514 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9093] ppid=9082 vsize=10546044 CPUtime=0.04 cores=1,3,5,7
/proc/9084/task/9093/stat : 9093 (java) S 9082 9084 4454 0 -1 4202560 192 0 0 0 4 0 0 0 15 0 19 0 902712514 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9094] ppid=9082 vsize=10546044 CPUtime=0.03 cores=1,3,5,7
/proc/9084/task/9094/stat : 9094 (java) S 9082 9084 4454 0 -1 4202560 137 0 0 0 3 0 0 0 15 0 19 0 902712514 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9095] ppid=9082 vsize=10546044 CPUtime=1.6 cores=1,3,5,7
/proc/9084/task/9095/stat : 9095 (java) S 9082 9084 4454 0 -1 4202560 1046 0 0 0 159 1 0 0 15 0 19 0 902712515 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284505600 0 0 0 16800975 18446604466786637824 0 0 -1 5 0 0 0
[pid=9084/tid=9096] ppid=9082 vsize=10546044 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9096/stat : 9096 (java) S 9082 9084 4454 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 902712515 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9097] ppid=9082 vsize=10546044 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9097/stat : 9097 (java) S 9082 9084 4454 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 902712515 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 5 0 0 0
[pid=9084/tid=9098] ppid=9082 vsize=10546044 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9098/stat : 9098 (java) S 9082 9084 4454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902712517 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284512689 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9099] ppid=9082 vsize=10546044 CPUtime=0.86 cores=1,3,5,7
/proc/9084/task/9099/stat : 9099 (java) S 9082 9084 4454 0 -1 4202560 10782 0 0 0 85 1 0 0 15 0 19 0 902712517 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9100] ppid=9082 vsize=10546044 CPUtime=0.38 cores=1,3,5,7
/proc/9084/task/9100/stat : 9100 (java) S 9082 9084 4454 0 -1 4202560 2732 0 0 0 38 0 0 0 15 0 19 0 902712517 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 3 0 0 0
[pid=9084/tid=9101] ppid=9082 vsize=10546044 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9101/stat : 9101 (java) S 9082 9084 4454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902712517 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9102] ppid=9082 vsize=10546044 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9102/stat : 9102 (java) S 9082 9084 4454 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902712518 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284505600 0 4 0 16800975 18446604466786637824 0 0 -1 7 0 0 0
[pid=9084/tid=9103] ppid=9082 vsize=10546044 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9103/stat : 9103 (java) S 9082 9084 4454 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902712529 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284505600 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 42.88
Current children cumulated vsize (KiB) 10546044

[startup+41.9006 s]
/proc/loadavg: 2.12 2.06 1.95 3/214 9104
/proc/meminfo: memFree=253252/32950928 swapFree=67048888/67111528
[pid=9084] ppid=9082 vsize=10546044 CPUtime=43.28 cores=1,3,5,7
/proc/9084/stat : 9084 (java) S 9082 9084 4454 0 -1 4202496 29058 0 1 0 4322 6 0 0 25 0 19 0 902712511 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9084/statm: 2636511 21158 2251 9 0 2627245 0
[pid=9084/tid=9086] ppid=9082 vsize=10546044 CPUtime=40.13 cores=1,3,5,7
/proc/9084/task/9086/stat : 9086 (java) R 9082 9084 4454 0 -1 4202560 12419 0 1 0 4011 2 0 0 25 0 19 0 902712512 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 46912505166945 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9084/tid=9087] ppid=9082 vsize=10546044 CPUtime=0.03 cores=1,3,5,7
/proc/9084/task/9087/stat : 9087 (java) S 9082 9084 4454 0 -1 4202560 236 0 0 0 3 0 0 0 16 0 19 0 902712514 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 7 0 0 0
[pid=9084/tid=9088] ppid=9082 vsize=10546044 CPUtime=0.03 cores=1,3,5,7
/proc/9084/task/9088/stat : 9088 (java) S 9082 9084 4454 0 -1 4202560 11 0 0 0 3 0 0 0 15 0 19 0 902712514 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 7 0 0 0
[pid=9084/tid=9089] ppid=9082 vsize=10546044 CPUtime=0.03 cores=1,3,5,7
/proc/9084/task/9089/stat : 9089 (java) S 9082 9084 4454 0 -1 4202560 93 0 0 0 3 0 0 0 16 0 19 0 902712514 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 3 0 0 0
[pid=9084/tid=9090] ppid=9082 vsize=10546044 CPUtime=0.02 cores=1,3,5,7
/proc/9084/task/9090/stat : 9090 (java) S 9082 9084 4454 0 -1 4202560 52 0 0 0 2 0 0 0 16 0 19 0 902712514 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 3 0 0 0
[pid=9084/tid=9091] ppid=9082 vsize=10546044 CPUtime=0.02 cores=1,3,5,7
/proc/9084/task/9091/stat : 9091 (java) S 9082 9084 4454 0 -1 4202560 97 0 0 0 2 0 0 0 16 0 19 0 902712514 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9092] ppid=9082 vsize=10546044 CPUtime=0.02 cores=1,3,5,7
/proc/9084/task/9092/stat : 9092 (java) S 9082 9084 4454 0 -1 4202560 108 0 0 0 2 0 0 0 15 0 19 0 902712514 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9093] ppid=9082 vsize=10546044 CPUtime=0.04 cores=1,3,5,7
/proc/9084/task/9093/stat : 9093 (java) S 9082 9084 4454 0 -1 4202560 192 0 0 0 4 0 0 0 15 0 19 0 902712514 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9094] ppid=9082 vsize=10546044 CPUtime=0.03 cores=1,3,5,7
/proc/9084/task/9094/stat : 9094 (java) S 9082 9084 4454 0 -1 4202560 137 0 0 0 3 0 0 0 15 0 19 0 902712514 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9095] ppid=9082 vsize=10546044 CPUtime=1.61 cores=1,3,5,7
/proc/9084/task/9095/stat : 9095 (java) S 9082 9084 4454 0 -1 4202560 1046 0 0 0 160 1 0 0 15 0 19 0 902712515 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284505600 0 0 0 16800975 18446604466786637824 0 0 -1 5 0 0 0
[pid=9084/tid=9096] ppid=9082 vsize=10546044 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9096/stat : 9096 (java) S 9082 9084 4454 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 902712515 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9097] ppid=9082 vsize=10546044 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9097/stat : 9097 (java) S 9082 9084 4454 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 902712515 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 5 0 0 0
[pid=9084/tid=9098] ppid=9082 vsize=10546044 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9098/stat : 9098 (java) S 9082 9084 4454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902712517 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284512689 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9099] ppid=9082 vsize=10546044 CPUtime=0.86 cores=1,3,5,7
/proc/9084/task/9099/stat : 9099 (java) S 9082 9084 4454 0 -1 4202560 10782 0 0 0 85 1 0 0 15 0 19 0 902712517 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9100] ppid=9082 vsize=10546044 CPUtime=0.38 cores=1,3,5,7
/proc/9084/task/9100/stat : 9100 (java) S 9082 9084 4454 0 -1 4202560 2732 0 0 0 38 0 0 0 15 0 19 0 902712517 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 3 0 0 0
[pid=9084/tid=9101] ppid=9082 vsize=10546044 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9101/stat : 9101 (java) S 9082 9084 4454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902712517 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284504985 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
[pid=9084/tid=9102] ppid=9082 vsize=10546044 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9102/stat : 9102 (java) S 9082 9084 4454 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902712518 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284505600 0 4 0 16800975 18446604466786637824 0 0 -1 7 0 0 0
[pid=9084/tid=9103] ppid=9082 vsize=10546044 CPUtime=0 cores=1,3,5,7
/proc/9084/task/9103/stat : 9103 (java) S 9082 9084 4454 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902712529 10799149056 21158 33554432000 1073741824 1073778376 140734194799472 18446744073709551615 268284505600 0 4 0 16800975 18446604466786637824 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 43.28
Current children cumulated vsize (KiB) 10546044

Child status: 30
Real time (s): 41.9696
CPU time (s): 43.3644
CPU user time (s): 43.2984
CPU system time (s): 0.065989
CPU usage (%): 103.323
Max. virtual memory (cumulated for all children) (KiB): 10546044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.2984
system time used= 0.065989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29083
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= 4394
involuntary context switches= 1679

runsolver used 0.073988 second user time and 0.163975 second system time

The end

Launcher Data 

Begin job on node122 at 2011-06-12 22:38:57
IDJOB=3492687
IDBENCH=79227
IDSOLVER=1982
FILE ID=node122/3492687-1307911137
RUNJOBID= node122-1307908902-7264
PBS_JOBID= 13559584
Free space on /var/tmp= 2884 MiB

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

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

MD5SUM BENCH= e73465a328717b1b804a610f4d9de315
RANDOM SEED=1703952211

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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.75
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.820
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.820
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.820
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.75
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.820
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.820
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.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:        405660 kB
Buffers:         65548 kB
Cached:       30384504 kB
SwapCached:      14964 kB
Active:       16500240 kB
Inactive:     15094320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:        405660 kB
SwapTotal:    67111528 kB
SwapFree:     67048888 kB
Dirty:              40 kB
Writeback:           0 kB
AnonPages:     1141668 kB
Mapped:          17544 kB
Slab:           884144 kB
PageTables:       7112 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 10551372 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

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