Trace number 3492545

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 42.6265 41.608

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110977273--soft-33-100-0.wbo
MD5SUM6c57c5aada90424d0dad1a990e56c347
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark1.90671
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 constraints69
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 3204
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 3203
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1243
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.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.08	c version 2.3.1.v20110525
0.01/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.08	c java.vm.version	19.1-b02
0.01/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.08	c sun.arch.data.model	64
0.01/0.08	c java.version		1.6.0_24
0.01/0.08	c os.name		Linux
0.01/0.08	c os.version		2.6.18-164.el5
0.01/0.08	c os.arch		amd64
0.01/0.08	c Free memory 		9996466904
0.01/0.08	c Max memory 		10048897024
0.01/0.08	c Total memory 		10048897024
0.01/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c Expensive reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3492545-1307909946.wbo
0.10/0.10	c reading problem ... 
0.10/0.16	c ... done. Wall clock time 0.056s.
0.10/0.16	c #vars     238
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 => 20
0.10/0.16	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3
0.10/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 51
0.31/0.24	c SATISFIABLE
0.31/0.24	c OPTIMIZING...
0.31/0.24	c Got one! Elapsed wall clock time (in seconds):0.137
0.31/0.24	o 720
0.31/0.26	c Got one! Elapsed wall clock time (in seconds):0.158
0.31/0.26	o 679
0.31/0.28	c Got one! Elapsed wall clock time (in seconds):0.173
0.31/0.28	o 631
0.31/0.29	c Got one! Elapsed wall clock time (in seconds):0.184
0.31/0.29	o 466
0.55/0.31	c Got one! Elapsed wall clock time (in seconds):0.208
0.55/0.31	o 461
0.55/0.33	c Got one! Elapsed wall clock time (in seconds):0.226
0.55/0.33	o 387
0.55/0.35	c Got one! Elapsed wall clock time (in seconds):0.249
0.55/0.35	o 361
0.55/0.37	c Got one! Elapsed wall clock time (in seconds):0.266
0.55/0.37	o 248
0.70/0.42	c Got one! Elapsed wall clock time (in seconds):0.322
0.70/0.42	o 231
0.93/0.60	c cleaning 4306 clauses out of 8625 with flag 4001/8625
0.93/0.62	c Got one! Elapsed wall clock time (in seconds):0.515
0.93/0.62	o 209
1.05/0.71	c Got one! Elapsed wall clock time (in seconds):0.609
1.05/0.71	o 191
1.05/0.75	c Got one! Elapsed wall clock time (in seconds):0.647
1.05/0.75	o 143
1.15/0.82	c cleaning 5238 clauses out of 10488 with flag 2001/14794
1.36/1.04	c cleaning 5621 clauses out of 11250 with flag 8001/20794
1.62/1.29	c cleaning 6310 clauses out of 12630 with flag 15002/27795
1.73/1.32	c Got one! Elapsed wall clock time (in seconds):1.217
1.73/1.32	o 125
1.84/1.48	c cleaning 5762 clauses out of 11529 with flag 5000/33004
2.17/1.73	c cleaning 5873 clauses out of 11767 with flag 11000/39004
2.57/1.99	c cleaning 6444 clauses out of 12896 with flag 18002/46006
3.13/2.31	c cleaning 7219 clauses out of 14450 with flag 26000/54004
3.23/2.42	c Got one! Elapsed wall clock time (in seconds):2.322
3.23/2.42	o 123
3.33/2.53	c cleaning 6599 clauses out of 13207 with flag 3000/59980
3.53/2.75	c cleaning 6302 clauses out of 12608 with flag 9000/65980
3.83/3.00	c cleaning 6647 clauses out of 13308 with flag 16002/72982
3.83/3.08	c Got one! Elapsed wall clock time (in seconds):2.972
3.83/3.08	o 120
4.04/3.21	c cleaning 6099 clauses out of 12215 with flag 4001/78536
4.24/3.42	c cleaning 6056 clauses out of 12116 with flag 10001/84536
4.34/3.53	c Got one! Elapsed wall clock time (in seconds):3.428
4.34/3.53	o 111
4.44/3.63	c cleaning 6021 clauses out of 12050 with flag 3000/90526
4.54/3.71	c Got one! Elapsed wall clock time (in seconds):3.607
4.54/3.71	o 105
4.64/3.82	c cleaning 5543 clauses out of 11089 with flag 3001/95586
4.84/4.08	c cleaning 5771 clauses out of 11545 with flag 9000/101585
5.14/4.35	c cleaning 6382 clauses out of 12776 with flag 16002/108587
5.14/4.38	c Got one! Elapsed wall clock time (in seconds):4.275
5.14/4.38	o 67
5.34/4.54	c cleaning 5839 clauses out of 11684 with flag 5000/113877
5.55/4.75	c cleaning 5920 clauses out of 11846 with flag 11001/119878
5.74/4.99	c Got one! Elapsed wall clock time (in seconds):4.887
5.74/4.99	o 45
5.94/5.19	c cleaning 8907 clauses out of 17819 with flag 5000/131771
6.25/5.40	c cleaning 7452 clauses out of 14912 with flag 11000/137771
6.45/5.63	c cleaning 7224 clauses out of 14460 with flag 18000/144771
6.75/5.91	c cleaning 7615 clauses out of 15236 with flag 26000/152771
6.95/6.19	c Got one! Elapsed wall clock time (in seconds):6.088
6.95/6.19	o 41
7.25/6.40	c cleaning 10447 clauses out of 20903 with flag 5000/166053
7.45/6.62	c cleaning 8222 clauses out of 16456 with flag 11000/172053
7.65/6.87	c cleaning 7614 clauses out of 15235 with flag 18001/179054
7.95/7.15	c cleaning 7801 clauses out of 15620 with flag 26000/187053
7.95/7.18	c Got one! Elapsed wall clock time (in seconds):7.08
7.95/7.18	o 27
8.18/7.34	c cleaning 6813 clauses out of 13633 with flag 5000/192867
8.38/7.53	c cleaning 6406 clauses out of 12821 with flag 11001/198868
8.58/7.76	c cleaning 6703 clauses out of 13414 with flag 18000/205867
8.88/8.00	c cleaning 7352 clauses out of 14711 with flag 26000/213867
9.08/8.29	c cleaning 8176 clauses out of 16359 with flag 35000/222867
9.48/8.65	c cleaning 9090 clauses out of 18186 with flag 45003/232870
9.78/8.99	c cleaning 9543 clauses out of 19095 with flag 55002/242869
10.18/9.33	c cleaning 9770 clauses out of 19550 with flag 65000/252867
10.48/9.68	c cleaning 9887 clauses out of 19781 with flag 75001/262868
10.88/10.02	c cleaning 9944 clauses out of 19894 with flag 85001/272868
11.18/10.36	c cleaning 9972 clauses out of 19950 with flag 95001/282868
11.48/10.67	c cleaning 9986 clauses out of 19978 with flag 105001/292868
11.90/11.03	c cleaning 9990 clauses out of 19992 with flag 115001/302868
12.30/11.40	c cleaning 9998 clauses out of 20002 with flag 125001/312868
12.60/11.72	c cleaning 9998 clauses out of 20003 with flag 135000/322867
12.91/12.03	c cleaning 9998 clauses out of 20006 with flag 145001/332868
13.10/12.21	c Got one! Elapsed wall clock time (in seconds):12.11
13.10/12.21	o 17
13.30/12.41	c cleaning 10345 clauses out of 20699 with flag 5000/343559
13.50/12.61	c cleaning 8170 clauses out of 16354 with flag 11000/349559
13.71/12.85	c cleaning 7588 clauses out of 15184 with flag 18000/356559
14.01/13.14	c cleaning 7791 clauses out of 15596 with flag 26000/364559
14.22/13.32	c Got one! Elapsed wall clock time (in seconds):13.217
14.22/13.32	o 13
14.42/13.51	c cleaning 9437 clauses out of 18877 with flag 5000/375631
14.62/13.72	c cleaning 7715 clauses out of 15440 with flag 11000/381631
14.82/13.96	c cleaning 7359 clauses out of 14725 with flag 18000/388631
15.13/14.22	c cleaning 7679 clauses out of 15370 with flag 26004/396635
15.43/14.55	c cleaning 8341 clauses out of 16688 with flag 35001/405632
15.83/14.92	c cleaning 9168 clauses out of 18346 with flag 45000/415631
16.23/15.30	c cleaning 9586 clauses out of 19179 with flag 55001/425632
16.63/15.71	c cleaning 9786 clauses out of 19592 with flag 65000/435631
16.93/16.06	c cleaning 9896 clauses out of 19807 with flag 75001/445632
17.33/16.42	c cleaning 9951 clauses out of 19910 with flag 85000/455631
17.63/16.76	c cleaning 9978 clauses out of 19960 with flag 95001/465632
18.03/17.10	c cleaning 9985 clauses out of 19981 with flag 105000/475631
18.33/17.45	c cleaning 9996 clauses out of 19997 with flag 115001/485632
18.63/17.77	c cleaning 9996 clauses out of 20000 with flag 125000/495631
19.03/18.10	c cleaning 9997 clauses out of 20004 with flag 135000/505631
19.33/18.42	c cleaning 10003 clauses out of 20009 with flag 145002/515633
19.64/18.75	c cleaning 9999 clauses out of 20006 with flag 155002/525633
19.93/19.09	c cleaning 9999 clauses out of 20005 with flag 165000/535631
20.33/19.40	c cleaning 9996 clauses out of 20006 with flag 175000/545631
20.44/19.52	c Got one! Elapsed wall clock time (in seconds):19.415
20.44/19.52	o 12
20.44/19.59	c cleaning 7862 clauses out of 15732 with flag 2002/551353
20.64/19.79	c cleaning 6930 clauses out of 13868 with flag 8000/557351
20.94/20.03	c cleaning 6965 clauses out of 13942 with flag 15004/564355
21.24/20.31	c cleaning 7482 clauses out of 14975 with flag 23002/572353
21.54/20.62	c cleaning 8238 clauses out of 16491 with flag 32000/581351
21.85/20.96	c cleaning 9121 clauses out of 18253 with flag 42000/591351
22.24/21.33	c cleaning 9559 clauses out of 19133 with flag 52001/601352
22.64/21.74	c cleaning 9781 clauses out of 19573 with flag 62000/611351
22.95/22.07	c cleaning 9892 clauses out of 19793 with flag 72001/621352
23.35/22.45	c cleaning 9946 clauses out of 19903 with flag 82003/631354
23.75/22.86	c cleaning 9968 clauses out of 19954 with flag 92000/641351
24.15/23.22	c cleaning 9989 clauses out of 19986 with flag 102000/651351
24.45/23.59	c cleaning 9991 clauses out of 19997 with flag 112000/661351
24.85/23.95	c cleaning 10002 clauses out of 20009 with flag 122003/671354
25.16/24.28	c cleaning 9997 clauses out of 20008 with flag 132004/681355
25.55/24.63	c cleaning 10002 clauses out of 20010 with flag 142003/691354
25.86/24.96	c cleaning 9999 clauses out of 20005 with flag 152000/701351
26.17/25.30	c cleaning 9999 clauses out of 20006 with flag 162000/711351
26.56/25.66	c cleaning 9999 clauses out of 20008 with flag 172001/721352
26.86/25.97	c cleaning 10000 clauses out of 20010 with flag 182002/731353
27.16/26.28	c cleaning 10000 clauses out of 20008 with flag 192000/741351
27.57/26.60	c cleaning 9999 clauses out of 20008 with flag 202000/751351
27.87/26.91	c cleaning 10002 clauses out of 20009 with flag 212000/761351
28.17/27.24	c cleaning 9999 clauses out of 20007 with flag 222000/771351
28.47/27.59	c cleaning 9999 clauses out of 20008 with flag 232000/781351
28.87/27.94	c cleaning 10003 clauses out of 20010 with flag 242001/791352
29.17/28.28	c cleaning 9997 clauses out of 20007 with flag 252001/801352
29.57/28.61	c cleaning 9999 clauses out of 20009 with flag 262000/811351
29.87/28.93	c cleaning 9999 clauses out of 20010 with flag 272000/821351
30.17/29.27	c cleaning 9998 clauses out of 20011 with flag 282000/831351
30.58/29.60	c cleaning 10001 clauses out of 20013 with flag 292000/841351
30.88/29.92	c cleaning 10003 clauses out of 20013 with flag 302001/851352
30.98/30.01	c Got one! Elapsed wall clock time (in seconds):29.906
30.98/30.01	o 10
31.08/30.11	c cleaning 7782 clauses out of 15581 with flag 3001/856923
31.28/30.32	c cleaning 6894 clauses out of 13798 with flag 9000/862922
31.48/30.55	c cleaning 6948 clauses out of 13905 with flag 16001/869923
31.79/30.82	c cleaning 7475 clauses out of 14957 with flag 24001/877923
32.08/31.12	c cleaning 8234 clauses out of 16482 with flag 33001/886923
32.38/31.46	c cleaning 9121 clauses out of 18249 with flag 43002/896924
32.79/31.80	c cleaning 9559 clauses out of 19127 with flag 53001/906923
33.08/32.14	c cleaning 9778 clauses out of 19567 with flag 63000/916922
33.38/32.47	c cleaning 9890 clauses out of 19791 with flag 73002/926924
33.58/32.64	c Got one! Elapsed wall clock time (in seconds):32.533
33.58/32.64	o 8
33.78/32.84	c cleaning 10213 clauses out of 20438 with flag 5000/937461
33.99/33.06	c cleaning 8102 clauses out of 16225 with flag 11000/943461
34.28/33.30	c cleaning 7560 clauses out of 15126 with flag 18003/950464
34.49/33.57	c cleaning 7780 clauses out of 15565 with flag 26002/958463
34.79/33.87	c cleaning 8391 clauses out of 16789 with flag 35006/967467
35.19/34.21	c cleaning 9193 clauses out of 18393 with flag 45001/977462
35.49/34.56	c cleaning 9594 clauses out of 19199 with flag 55000/987461
35.89/34.90	c cleaning 9796 clauses out of 19605 with flag 65000/997461
36.20/35.23	c cleaning 9899 clauses out of 19809 with flag 75000/1007461
36.49/35.57	c cleaning 9949 clauses out of 19910 with flag 85000/1017461
36.89/35.91	c cleaning 9975 clauses out of 19962 with flag 95001/1027462
37.20/36.26	c cleaning 9989 clauses out of 19987 with flag 105001/1037462
37.60/36.61	c cleaning 9991 clauses out of 19997 with flag 115000/1047461
37.90/36.98	c cleaning 10001 clauses out of 20006 with flag 125000/1057461
38.20/37.30	c cleaning 10002 clauses out of 20008 with flag 135003/1067464
38.60/37.65	c cleaning 9999 clauses out of 20004 with flag 145001/1077462
38.90/37.99	c cleaning 9998 clauses out of 20004 with flag 155000/1087461
39.31/38.38	c cleaning 10000 clauses out of 20008 with flag 165002/1097463
39.71/38.71	c cleaning 10000 clauses out of 20006 with flag 175000/1107461
40.01/39.05	c cleaning 10001 clauses out of 20008 with flag 185002/1117463
40.31/39.39	c cleaning 9999 clauses out of 20007 with flag 195002/1127463
40.71/39.74	c cleaning 10000 clauses out of 20007 with flag 205001/1137462
41.11/40.10	c cleaning 9995 clauses out of 20006 with flag 215000/1147461
41.41/40.44	c cleaning 10002 clauses out of 20013 with flag 225002/1157463
41.72/40.80	c cleaning 10002 clauses out of 20009 with flag 235000/1167461
42.11/41.15	c cleaning 9999 clauses out of 20007 with flag 245000/1177461
42.41/41.49	c cleaning 9999 clauses out of 20007 with flag 255000/1187461
42.61/41.60	c starts		: 214
42.61/41.60	c conflicts		: 1190626
42.61/41.60	c decisions		: 1866479
42.61/41.60	c propagations		: 27106557
42.61/41.60	c inspects		: 252917256
42.61/41.60	c shortcuts		: 0
42.61/41.60	c learnt literals	: 8
42.61/41.60	c learnt binary clauses	: 67
42.61/41.60	c learnt ternary clauses	: 486
42.61/41.60	c learnt constraints	: 1190617
42.61/41.60	c ignored constraints	: 0
42.61/41.60	c root simplifications	: 0
42.61/41.60	c removed literals (reason simplification)	: 9417169
42.61/41.60	c reason swapping (by a shorter reason)	: 0
42.61/41.60	c Calls to reduceDB	: 134
42.61/41.60	c number of reductions to clauses (during analyze)	: 0
42.61/41.60	c number of learned constraints concerned by reduction	: 0
42.61/41.60	c number of learning phase by resolution	: 0
42.61/41.60	c number of learning phase by cutting planes	: 0
42.61/41.60	c speed (assignments/second)	: 3024272.788128975
42.61/41.60	c non guided choices	1122
42.61/41.60	c learnt constraints type 
42.61/41.60	c constraints type 
42.61/41.60	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27
42.61/41.60	c org.sat4j.minisat.constraints.card.MinWatchCard => 20
42.61/41.60	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3
42.61/41.60	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 51
42.61/41.60	s OPTIMUM FOUND
42.61/41.60	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 
42.61/41.60	c objective function=8
42.61/41.60	c Total wall clock time (in seconds): 41.497

Verifier Data 

OK	8

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-3492545-1307909946/watcher-3492545-1307909946 -o /var/tmp/evaluation-result-3492545-1307909946/solver-3492545-1307909946 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492545-1307909946.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: 2.34 2.09 1.94 2/195 6147
/proc/meminfo: memFree=1441092/32951124 swapFree=67056684/67111528
[pid=6147] ppid=6145 vsize=30540 CPUtime=0 cores=0,2,4,6
/proc/6147/stat : 6147 (java) S 6145 6147 2586 0 -1 4202496 1242 0 0 0 0 0 0 0 25 0 2 0 902595327 31272960 959 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933579749 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/6147/statm: 7635 960 732 9 0 386 0
[pid=6147/tid=6148] ppid=6145 vsize=30536 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6148/stat : 6148 (java) S 6145 6147 2586 0 -1 4202560 130 0 0 0 0 0 0 0 25 0 2 0 902595328 31268864 963 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222916853383 0 2147483391 0 16784584 18446744071699199166 0 0 -1 4 0 0 0

[startup+0.0226379 s]
/proc/loadavg: 2.34 2.09 1.94 2/195 6147
/proc/meminfo: memFree=1441092/32951124 swapFree=67056684/67111528
[pid=6147] ppid=6145 vsize=10453028 CPUtime=0.01 cores=0,2,4,6
/proc/6147/stat : 6147 (java) S 6145 6147 2586 0 -1 4202496 10118 0 1 0 0 1 0 0 25 0 10 0 902595327 10703900672 9815 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933579749 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/6147/statm: 2613257 9815 1057 9 0 2604413 0
[pid=6147/tid=6148] ppid=6145 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6148/stat : 6148 (java) S 6145 6147 2586 0 -1 4202560 8993 0 1 0 0 0 0 0 25 0 10 0 902595328 10703900672 9815 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933606367 0 2147483391 0 16784584 18446744071699199166 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10453028

[startup+0.100676 s]
/proc/loadavg: 2.34 2.09 1.94 2/195 6147
/proc/meminfo: memFree=1441092/32951124 swapFree=67056684/67111528
[pid=6147] ppid=6145 vsize=10539808 CPUtime=0.1 cores=0,2,4,6
/proc/6147/stat : 6147 (java) S 6145 6147 2586 0 -1 4202496 13100 0 1 0 9 1 0 0 25 0 18 0 902595327 10792763392 12790 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6147/statm: 2634952 12790 2092 9 0 2625686 0
[pid=6147/tid=6148] ppid=6145 vsize=10539808 CPUtime=0.08 cores=0,2,4,6
/proc/6147/task/6148/stat : 6148 (java) R 6145 6147 2586 0 -1 4202560 11169 0 1 0 7 1 0 0 18 0 18 0 902595328 10792763392 12790 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 46912496203280 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539808

[startup+0.30068 s]
/proc/loadavg: 2.34 2.09 1.94 2/195 6147
/proc/meminfo: memFree=1441092/32951124 swapFree=67056684/67111528
[pid=6147] ppid=6145 vsize=10543264 CPUtime=0.55 cores=0,2,4,6
/proc/6147/stat : 6147 (java) S 6145 6147 2586 0 -1 4202496 15844 0 1 0 53 2 0 0 25 0 19 0 902595327 10796302336 14813 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6147/statm: 2635816 14813 2214 9 0 2626550 0
[pid=6147/tid=6148] ppid=6145 vsize=10543264 CPUtime=0.28 cores=0,2,4,6
/proc/6147/task/6148/stat : 6148 (java) R 6145 6147 2586 0 -1 4202560 11782 0 1 0 27 1 0 0 19 0 19 0 902595328 10796302336 14813 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 46912505217836 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 10543264

[startup+0.700633 s]
/proc/loadavg: 2.34 2.09 1.94 2/195 6147
/proc/meminfo: memFree=1441092/32951124 swapFree=67056684/67111528
[pid=6147] ppid=6145 vsize=10543264 CPUtime=1.05 cores=0,2,4,6
/proc/6147/stat : 6147 (java) S 6145 6147 2586 0 -1 4202496 17405 0 1 0 103 2 0 0 25 0 19 0 902595327 10796302336 15996 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6147/statm: 2635816 15996 2246 9 0 2626550 0
[pid=6147/tid=6148] ppid=6145 vsize=10543264 CPUtime=0.66 cores=0,2,4,6
/proc/6147/task/6148/stat : 6148 (java) R 6145 6147 2586 0 -1 4202560 12255 0 1 0 65 1 0 0 18 0 19 0 902595328 10796302336 15996 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 46912505552026 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 10543264

[startup+1.50146 s]
/proc/loadavg: 2.34 2.09 1.94 3/214 6166
/proc/meminfo: memFree=1383988/32951124 swapFree=67056684/67111528
[pid=6147] ppid=6145 vsize=10543720 CPUtime=1.94 cores=0,2,4,6
/proc/6147/stat : 6147 (java) S 6145 6147 2586 0 -1 4202496 18626 0 1 0 192 2 0 0 25 0 19 0 902595327 10796769280 16557 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6147/statm: 2635930 16557 2248 9 0 2626664 0
[pid=6147/tid=6148] ppid=6145 vsize=10543720 CPUtime=1.41 cores=0,2,4,6
/proc/6147/task/6148/stat : 6148 (java) R 6145 6147 2586 0 -1 4202560 12258 0 1 0 140 1 0 0 18 0 19 0 902595328 10796769280 16557 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 46912505630432 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6147/tid=6150] ppid=6145 vsize=10543720 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6150/stat : 6150 (java) S 6145 6147 2586 0 -1 4202560 131 0 0 0 0 0 0 0 16 0 19 0 902595329 10796769280 16557 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 4 0 0 0
[pid=6147/tid=6151] ppid=6145 vsize=10543720 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6151/stat : 6151 (java) S 6145 6147 2586 0 -1 4202560 154 0 0 0 0 0 0 0 15 0 19 0 902595329 10796769280 16557 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 2 0 0 0
[pid=6147/tid=6152] ppid=6145 vsize=10543720 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6152/stat : 6152 (java) S 6145 6147 2586 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902595329 10796769280 16557 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 4 0 0 0
[pid=6147/tid=6153] ppid=6145 vsize=10543720 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6153/stat : 6153 (java) S 6145 6147 2586 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 902595329 10796769280 16557 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 4 0 0 0
[pid=6147/tid=6154] ppid=6145 vsize=10543720 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6154/stat : 6154 (java) S 6145 6147 2586 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902595329 10796769280 16557 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 2 0 0 0
[pid=6147/tid=6155] ppid=6145 vsize=10543720 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6155/stat : 6155 (java) S 6145 6147 2586 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902595329 10796769280 16557 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 4 0 0 0
[pid=6147/tid=6156] ppid=6145 vsize=10543720 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6156/stat : 6156 (java) S 6145 6147 2586 0 -1 4202560 135 0 0 0 0 0 0 0 15 0 19 0 902595329 10796769280 16557 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 2 0 0 0
[pid=6147/tid=6157] ppid=6145 vsize=10543720 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6157/stat : 6157 (java) S 6145 6147 2586 0 -1 4202560 173 0 0 0 0 0 0 0 15 0 19 0 902595329 10796769280 16557 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 4 0 0 0
[pid=6147/tid=6158] ppid=6145 vsize=10543720 CPUtime=0.06 cores=0,2,4,6
/proc/6147/task/6158/stat : 6158 (java) S 6145 6147 2586 0 -1 4202560 439 0 0 0 6 0 0 0 15 0 19 0 902595330 10796769280 16557 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933593600 0 0 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6159] ppid=6145 vsize=10543720 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6159/stat : 6159 (java) S 6145 6147 2586 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 902595331 10796769280 16557 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6160] ppid=6145 vsize=10543720 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6160/stat : 6160 (java) S 6145 6147 2586 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 902595331 10796769280 16557 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6161] ppid=6145 vsize=10543720 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6161/stat : 6161 (java) S 6145 6147 2586 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902595333 10796769280 16557 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933600689 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6162] ppid=6145 vsize=10543720 CPUtime=0.24 cores=0,2,4,6
/proc/6147/task/6162/stat : 6162 (java) S 6145 6147 2586 0 -1 4202560 2628 0 0 0 24 0 0 0 15 0 19 0 902595333 10796769280 16557 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 2 0 0 0
[pid=6147/tid=6163] ppid=6145 vsize=10543720 CPUtime=0.2 cores=0,2,4,6
/proc/6147/task/6163/stat : 6163 (java) S 6145 6147 2586 0 -1 4202560 1544 0 0 0 20 0 0 0 19 0 19 0 902595333 10796769280 16557 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 0 0 0 0
[pid=6147/tid=6164] ppid=6145 vsize=10543720 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6164/stat : 6164 (java) S 6145 6147 2586 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902595333 10796769280 16557 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 4 0 0 0
[pid=6147/tid=6165] ppid=6145 vsize=10543720 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6165/stat : 6165 (java) S 6145 6147 2586 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902595333 10796769280 16557 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933593600 0 4 0 16800975 18446604453855013056 0 0 -1 0 0 0 0
[pid=6147/tid=6166] ppid=6145 vsize=10543720 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6166/stat : 6166 (java) S 6145 6147 2586 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902595344 10796769280 16557 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933593600 0 4 0 16800975 18446604453855013056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 10543720

[startup+3.10119 s]
/proc/loadavg: 2.34 2.09 1.94 3/214 6166
/proc/meminfo: memFree=1364660/32951124 swapFree=67056684/67111528
[pid=6147] ppid=6145 vsize=10561884 CPUtime=3.94 cores=0,2,4,6
/proc/6147/stat : 6147 (java) S 6145 6147 2586 0 -1 4202496 24806 0 1 0 391 3 0 0 25 0 19 0 902595327 10815369216 21053 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6147/statm: 2640471 21053 2248 9 0 2631205 0
[pid=6147/tid=6148] ppid=6145 vsize=10561884 CPUtime=2.93 cores=0,2,4,6
/proc/6147/task/6148/stat : 6148 (java) R 6145 6147 2586 0 -1 4202560 12264 0 1 0 292 1 0 0 20 0 19 0 902595328 10815369216 21053 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 46912505516696 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6147/tid=6150] ppid=6145 vsize=10561884 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6150/stat : 6150 (java) S 6145 6147 2586 0 -1 4202560 131 0 0 0 0 0 0 0 16 0 19 0 902595329 10815369216 21053 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 0 0 0 0
[pid=6147/tid=6151] ppid=6145 vsize=10561884 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6151/stat : 6151 (java) S 6145 6147 2586 0 -1 4202560 154 0 0 0 0 0 0 0 15 0 19 0 902595329 10815369216 21053 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 4 0 0 0
[pid=6147/tid=6152] ppid=6145 vsize=10561884 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6152/stat : 6152 (java) S 6145 6147 2586 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 902595329 10815369216 21053 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 4 0 0 0
[pid=6147/tid=6153] ppid=6145 vsize=10561884 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6153/stat : 6153 (java) S 6145 6147 2586 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902595329 10815369216 21053 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 4 0 0 0
[pid=6147/tid=6154] ppid=6145 vsize=10561884 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6154/stat : 6154 (java) S 6145 6147 2586 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 902595329 10815369216 21053 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 0 0 0 0
[pid=6147/tid=6155] ppid=6145 vsize=10561884 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6155/stat : 6155 (java) S 6145 6147 2586 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902595329 10815369216 21053 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 4 0 0 0
[pid=6147/tid=6156] ppid=6145 vsize=10561884 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6156/stat : 6156 (java) S 6145 6147 2586 0 -1 4202560 136 0 0 0 0 0 0 0 15 0 19 0 902595329 10815369216 21053 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 0 0 0 0
[pid=6147/tid=6157] ppid=6145 vsize=10561884 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6157/stat : 6157 (java) S 6145 6147 2586 0 -1 4202560 174 0 0 0 0 0 0 0 16 0 19 0 902595329 10815369216 21053 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 4 0 0 0
[pid=6147/tid=6158] ppid=6145 vsize=10561884 CPUtime=0.13 cores=0,2,4,6
/proc/6147/task/6158/stat : 6158 (java) S 6145 6147 2586 0 -1 4202560 539 0 0 0 13 0 0 0 15 0 19 0 902595330 10815369216 21053 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933593600 0 0 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6159] ppid=6145 vsize=10561884 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6159/stat : 6159 (java) S 6145 6147 2586 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 902595331 10815369216 21053 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6160] ppid=6145 vsize=10561884 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6160/stat : 6160 (java) S 6145 6147 2586 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 902595331 10815369216 21053 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6161] ppid=6145 vsize=10561884 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6161/stat : 6161 (java) S 6145 6147 2586 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902595333 10815369216 21053 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933600689 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6162] ppid=6145 vsize=10561884 CPUtime=0.59 cores=0,2,4,6
/proc/6147/task/6162/stat : 6162 (java) S 6145 6147 2586 0 -1 4202560 8489 0 0 0 59 0 0 0 15 0 19 0 902595333 10815369216 21053 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 2 0 0 0
[pid=6147/tid=6163] ppid=6145 vsize=10561884 CPUtime=0.24 cores=0,2,4,6
/proc/6147/task/6163/stat : 6163 (java) S 6145 6147 2586 0 -1 4202560 1752 0 0 0 24 0 0 0 15 0 19 0 902595333 10815369216 21053 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 0 0 0 0
[pid=6147/tid=6164] ppid=6145 vsize=10561884 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6164/stat : 6164 (java) S 6145 6147 2586 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902595333 10815369216 21053 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 4 0 0 0
[pid=6147/tid=6165] ppid=6145 vsize=10561884 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6165/stat : 6165 (java) S 6145 6147 2586 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902595333 10815369216 21053 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933593600 0 4 0 16800975 18446604453855013056 0 0 -1 0 0 0 0
[pid=6147/tid=6166] ppid=6145 vsize=10561884 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6166/stat : 6166 (java) S 6145 6147 2586 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902595344 10815369216 21053 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933593600 0 4 0 16800975 18446604453855013056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 10561884

[startup+6.30159 s]
/proc/loadavg: 2.31 2.09 1.94 3/214 6166
/proc/meminfo: memFree=1374068/32951124 swapFree=67056684/67111528
[pid=6147] ppid=6145 vsize=10550620 CPUtime=7.15 cores=0,2,4,6
/proc/6147/stat : 6147 (java) S 6145 6147 2586 0 -1 4202496 24981 0 1 0 712 3 0 0 25 0 19 0 902595327 10803834880 18634 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6147/statm: 2637655 18634 2248 9 0 2628389 0
[pid=6147/tid=6148] ppid=6145 vsize=10550620 CPUtime=5.96 cores=0,2,4,6
/proc/6147/task/6148/stat : 6148 (java) R 6145 6147 2586 0 -1 4202560 12277 0 1 0 595 1 0 0 19 0 19 0 902595328 10803834880 18634 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 46912505538843 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6147/tid=6150] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6150/stat : 6150 (java) S 6145 6147 2586 0 -1 4202560 131 0 0 0 0 0 0 0 15 0 19 0 902595329 10803834880 18634 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 2 0 0 0
[pid=6147/tid=6151] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6151/stat : 6151 (java) S 6145 6147 2586 0 -1 4202560 154 0 0 0 0 0 0 0 15 0 19 0 902595329 10803834880 18634 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6152] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6152/stat : 6152 (java) S 6145 6147 2586 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 902595329 10803834880 18634 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 4 0 0 0
[pid=6147/tid=6153] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6153/stat : 6153 (java) S 6145 6147 2586 0 -1 4202560 36 0 0 0 0 0 0 0 16 0 19 0 902595329 10803834880 18634 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 4 0 0 0
[pid=6147/tid=6154] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6154/stat : 6154 (java) S 6145 6147 2586 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 902595329 10803834880 18634 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6155] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6155/stat : 6155 (java) S 6145 6147 2586 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902595329 10803834880 18634 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 2 0 0 0
[pid=6147/tid=6156] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6156/stat : 6156 (java) S 6145 6147 2586 0 -1 4202560 137 0 0 0 0 0 0 0 15 0 19 0 902595329 10803834880 18634 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 2 0 0 0
[pid=6147/tid=6157] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6157/stat : 6157 (java) S 6145 6147 2586 0 -1 4202560 174 0 0 0 0 0 0 0 15 0 19 0 902595329 10803834880 18634 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 2 0 0 0
[pid=6147/tid=6158] ppid=6145 vsize=10550620 CPUtime=0.28 cores=0,2,4,6
/proc/6147/task/6158/stat : 6158 (java) S 6145 6147 2586 0 -1 4202560 656 0 0 0 28 0 0 0 15 0 19 0 902595330 10803834880 18634 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933593600 0 0 0 16800975 18446604453855013056 0 0 -1 0 0 0 0
[pid=6147/tid=6159] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6159/stat : 6159 (java) S 6145 6147 2586 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 902595331 10803834880 18634 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6160] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6160/stat : 6160 (java) S 6145 6147 2586 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 902595331 10803834880 18634 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6161] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6161/stat : 6161 (java) S 6145 6147 2586 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902595333 10803834880 18634 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933600689 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6162] ppid=6145 vsize=10550620 CPUtime=0.59 cores=0,2,4,6
/proc/6147/task/6162/stat : 6162 (java) S 6145 6147 2586 0 -1 4202560 8489 0 0 0 59 0 0 0 15 0 19 0 902595333 10803834880 18634 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 2 0 0 0
[pid=6147/tid=6163] ppid=6145 vsize=10550620 CPUtime=0.24 cores=0,2,4,6
/proc/6147/task/6163/stat : 6163 (java) S 6145 6147 2586 0 -1 4202560 1752 0 0 0 24 0 0 0 15 0 19 0 902595333 10803834880 18634 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 0 0 0 0

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

/proc/6147/task/6150/stat : 6150 (java) S 6145 6147 2586 0 -1 4202560 131 0 0 0 3 0 0 0 15 0 19 0 902595329 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6151] ppid=6145 vsize=10550620 CPUtime=0.04 cores=0,2,4,6
/proc/6147/task/6151/stat : 6151 (java) S 6145 6147 2586 0 -1 4202560 167 0 0 0 4 0 0 0 15 0 19 0 902595329 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 2 0 0 0
[pid=6147/tid=6152] ppid=6145 vsize=10550620 CPUtime=0.03 cores=0,2,4,6
/proc/6147/task/6152/stat : 6152 (java) S 6145 6147 2586 0 -1 4202560 18 0 0 0 3 0 0 0 15 0 19 0 902595329 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6153] ppid=6145 vsize=10550620 CPUtime=0.04 cores=0,2,4,6
/proc/6147/task/6153/stat : 6153 (java) S 6145 6147 2586 0 -1 4202560 37 0 0 0 4 0 0 0 15 0 19 0 902595329 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 0 0 0 0
[pid=6147/tid=6154] ppid=6145 vsize=10550620 CPUtime=0.02 cores=0,2,4,6
/proc/6147/task/6154/stat : 6154 (java) S 6145 6147 2586 0 -1 4202560 8 0 0 0 2 0 0 0 15 0 19 0 902595329 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 2 0 0 0
[pid=6147/tid=6155] ppid=6145 vsize=10550620 CPUtime=0.03 cores=0,2,4,6
/proc/6147/task/6155/stat : 6155 (java) S 6145 6147 2586 0 -1 4202560 17 0 0 0 3 0 0 0 15 0 19 0 902595329 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 0 0 0 0
[pid=6147/tid=6156] ppid=6145 vsize=10550620 CPUtime=0.03 cores=0,2,4,6
/proc/6147/task/6156/stat : 6156 (java) S 6145 6147 2586 0 -1 4202560 141 0 0 0 3 0 0 0 15 0 19 0 902595329 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 2 0 0 0
[pid=6147/tid=6157] ppid=6145 vsize=10550620 CPUtime=0.04 cores=0,2,4,6
/proc/6147/task/6157/stat : 6157 (java) S 6145 6147 2586 0 -1 4202560 195 0 0 0 4 0 0 0 15 0 19 0 902595329 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6158] ppid=6145 vsize=10550620 CPUtime=1.74 cores=0,2,4,6
/proc/6147/task/6158/stat : 6158 (java) S 6145 6147 2586 0 -1 4202560 944 0 0 0 172 2 0 0 15 0 19 0 902595330 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933593600 0 0 0 16800975 18446604453855013056 0 0 -1 4 0 0 0
[pid=6147/tid=6159] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6159/stat : 6159 (java) S 6145 6147 2586 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 902595331 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6160] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6160/stat : 6160 (java) S 6145 6147 2586 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 902595331 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6161] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6161/stat : 6161 (java) S 6145 6147 2586 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902595333 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933600689 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6162] ppid=6145 vsize=10550620 CPUtime=0.63 cores=0,2,4,6
/proc/6147/task/6162/stat : 6162 (java) S 6145 6147 2586 0 -1 4202560 8492 0 0 0 63 0 0 0 15 0 19 0 902595333 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 2 0 0 0
[pid=6147/tid=6163] ppid=6145 vsize=10550620 CPUtime=0.25 cores=0,2,4,6
/proc/6147/task/6163/stat : 6163 (java) S 6145 6147 2586 0 -1 4202560 1752 0 0 0 25 0 0 0 16 0 19 0 902595333 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 0 0 0 0
[pid=6147/tid=6164] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6164/stat : 6164 (java) S 6145 6147 2586 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902595333 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 4 0 0 0
[pid=6147/tid=6165] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6165/stat : 6165 (java) S 6145 6147 2586 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902595333 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933593600 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6166] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6166/stat : 6166 (java) S 6145 6147 2586 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902595344 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933593600 0 4 0 16800975 18446604453855013056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 41.72
Current children cumulated vsize (KiB) 10550620

[startup+41.1012 s]
/proc/loadavg: 2.17 2.08 1.94 4/214 6224
/proc/meminfo: memFree=1348532/32951124 swapFree=67056684/67111528
[pid=6147] ppid=6145 vsize=10550620 CPUtime=42.11 cores=0,2,4,6
/proc/6147/stat : 6147 (java) S 6145 6147 2586 0 -1 4202496 25443 0 1 0 4205 6 0 0 25 0 19 0 902595327 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6147/statm: 2637655 18983 2249 9 0 2628389 0
[pid=6147/tid=6148] ppid=6145 vsize=10550620 CPUtime=39.13 cores=0,2,4,6
/proc/6147/task/6148/stat : 6148 (java) R 6145 6147 2586 0 -1 4202560 12386 0 1 0 3912 1 0 0 18 0 19 0 902595328 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 46912505626522 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=6147/tid=6150] ppid=6145 vsize=10550620 CPUtime=0.03 cores=0,2,4,6
/proc/6147/task/6150/stat : 6150 (java) S 6145 6147 2586 0 -1 4202560 131 0 0 0 3 0 0 0 16 0 19 0 902595329 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 2 0 0 0
[pid=6147/tid=6151] ppid=6145 vsize=10550620 CPUtime=0.04 cores=0,2,4,6
/proc/6147/task/6151/stat : 6151 (java) S 6145 6147 2586 0 -1 4202560 167 0 0 0 4 0 0 0 15 0 19 0 902595329 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 2 0 0 0
[pid=6147/tid=6152] ppid=6145 vsize=10550620 CPUtime=0.03 cores=0,2,4,6
/proc/6147/task/6152/stat : 6152 (java) S 6145 6147 2586 0 -1 4202560 18 0 0 0 3 0 0 0 15 0 19 0 902595329 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6153] ppid=6145 vsize=10550620 CPUtime=0.04 cores=0,2,4,6
/proc/6147/task/6153/stat : 6153 (java) S 6145 6147 2586 0 -1 4202560 37 0 0 0 4 0 0 0 15 0 19 0 902595329 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 0 0 0 0
[pid=6147/tid=6154] ppid=6145 vsize=10550620 CPUtime=0.02 cores=0,2,4,6
/proc/6147/task/6154/stat : 6154 (java) S 6145 6147 2586 0 -1 4202560 8 0 0 0 2 0 0 0 15 0 19 0 902595329 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 2 0 0 0
[pid=6147/tid=6155] ppid=6145 vsize=10550620 CPUtime=0.03 cores=0,2,4,6
/proc/6147/task/6155/stat : 6155 (java) S 6145 6147 2586 0 -1 4202560 17 0 0 0 3 0 0 0 15 0 19 0 902595329 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 0 0 0 0
[pid=6147/tid=6156] ppid=6145 vsize=10550620 CPUtime=0.03 cores=0,2,4,6
/proc/6147/task/6156/stat : 6156 (java) S 6145 6147 2586 0 -1 4202560 141 0 0 0 3 0 0 0 15 0 19 0 902595329 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 2 0 0 0
[pid=6147/tid=6157] ppid=6145 vsize=10550620 CPUtime=0.04 cores=0,2,4,6
/proc/6147/task/6157/stat : 6157 (java) S 6145 6147 2586 0 -1 4202560 195 0 0 0 4 0 0 0 15 0 19 0 902595329 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6158] ppid=6145 vsize=10550620 CPUtime=1.76 cores=0,2,4,6
/proc/6147/task/6158/stat : 6158 (java) S 6145 6147 2586 0 -1 4202560 944 0 0 0 174 2 0 0 15 0 19 0 902595330 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933593600 0 0 0 16800975 18446604453855013056 0 0 -1 4 0 0 0
[pid=6147/tid=6159] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6159/stat : 6159 (java) S 6145 6147 2586 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 902595331 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6160] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6160/stat : 6160 (java) S 6145 6147 2586 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 902595331 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6161] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6161/stat : 6161 (java) S 6145 6147 2586 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902595333 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933600689 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6162] ppid=6145 vsize=10550620 CPUtime=0.63 cores=0,2,4,6
/proc/6147/task/6162/stat : 6162 (java) S 6145 6147 2586 0 -1 4202560 8492 0 0 0 63 0 0 0 15 0 19 0 902595333 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 2 0 0 0
[pid=6147/tid=6163] ppid=6145 vsize=10550620 CPUtime=0.25 cores=0,2,4,6
/proc/6147/task/6163/stat : 6163 (java) S 6145 6147 2586 0 -1 4202560 1752 0 0 0 25 0 0 0 16 0 19 0 902595333 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 0 0 0 0
[pid=6147/tid=6164] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6164/stat : 6164 (java) S 6145 6147 2586 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902595333 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 4 0 0 0
[pid=6147/tid=6165] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6165/stat : 6165 (java) S 6145 6147 2586 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902595333 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933593600 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6166] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6166/stat : 6166 (java) S 6145 6147 2586 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902595344 10803834880 18983 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933593600 0 4 0 16800975 18446604453855013056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 42.11
Current children cumulated vsize (KiB) 10550620

[startup+41.5011 s]
/proc/loadavg: 2.17 2.08 1.94 4/214 6224
/proc/meminfo: memFree=1348532/32951124 swapFree=67056684/67111528
[pid=6147] ppid=6145 vsize=10550620 CPUtime=42.51 cores=0,2,4,6
/proc/6147/stat : 6147 (java) S 6145 6147 2586 0 -1 4202496 25446 0 1 0 4245 6 0 0 25 0 19 0 902595327 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6147/statm: 2637655 18985 2249 9 0 2628389 0
[pid=6147/tid=6148] ppid=6145 vsize=10550620 CPUtime=39.51 cores=0,2,4,6
/proc/6147/task/6148/stat : 6148 (java) S 6145 6147 2586 0 -1 4202560 12388 0 1 0 3950 1 0 0 18 0 19 0 902595328 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 2 0 0 0
[pid=6147/tid=6150] ppid=6145 vsize=10550620 CPUtime=0.03 cores=0,2,4,6
/proc/6147/task/6150/stat : 6150 (java) S 6145 6147 2586 0 -1 4202560 131 0 0 0 3 0 0 0 15 0 19 0 902595329 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 2 0 0 0
[pid=6147/tid=6151] ppid=6145 vsize=10550620 CPUtime=0.04 cores=0,2,4,6
/proc/6147/task/6151/stat : 6151 (java) S 6145 6147 2586 0 -1 4202560 167 0 0 0 4 0 0 0 15 0 19 0 902595329 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 0 0 0 0
[pid=6147/tid=6152] ppid=6145 vsize=10550620 CPUtime=0.03 cores=0,2,4,6
/proc/6147/task/6152/stat : 6152 (java) S 6145 6147 2586 0 -1 4202560 18 0 0 0 3 0 0 0 15 0 19 0 902595329 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6153] ppid=6145 vsize=10550620 CPUtime=0.04 cores=0,2,4,6
/proc/6147/task/6153/stat : 6153 (java) S 6145 6147 2586 0 -1 4202560 37 0 0 0 4 0 0 0 15 0 19 0 902595329 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 0 0 0 0
[pid=6147/tid=6154] ppid=6145 vsize=10550620 CPUtime=0.02 cores=0,2,4,6
/proc/6147/task/6154/stat : 6154 (java) S 6145 6147 2586 0 -1 4202560 8 0 0 0 2 0 0 0 15 0 19 0 902595329 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 0 0 0 0
[pid=6147/tid=6155] ppid=6145 vsize=10550620 CPUtime=0.03 cores=0,2,4,6
/proc/6147/task/6155/stat : 6155 (java) S 6145 6147 2586 0 -1 4202560 17 0 0 0 3 0 0 0 15 0 19 0 902595329 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 0 0 0 0
[pid=6147/tid=6156] ppid=6145 vsize=10550620 CPUtime=0.03 cores=0,2,4,6
/proc/6147/task/6156/stat : 6156 (java) S 6145 6147 2586 0 -1 4202560 142 0 0 0 3 0 0 0 15 0 19 0 902595329 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 2 0 0 0
[pid=6147/tid=6157] ppid=6145 vsize=10550620 CPUtime=0.04 cores=0,2,4,6
/proc/6147/task/6157/stat : 6157 (java) S 6145 6147 2586 0 -1 4202560 195 0 0 0 4 0 0 0 15 0 19 0 902595329 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6158] ppid=6145 vsize=10550620 CPUtime=1.78 cores=0,2,4,6
/proc/6147/task/6158/stat : 6158 (java) R 6145 6147 2586 0 -1 4202560 944 0 0 0 176 2 0 0 15 0 19 0 902595330 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 47418567938372 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=6147/tid=6159] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6159/stat : 6159 (java) S 6145 6147 2586 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 902595331 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6160] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6160/stat : 6160 (java) S 6145 6147 2586 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 902595331 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6161] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6161/stat : 6161 (java) S 6145 6147 2586 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902595333 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933600689 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6162] ppid=6145 vsize=10550620 CPUtime=0.63 cores=0,2,4,6
/proc/6147/task/6162/stat : 6162 (java) S 6145 6147 2586 0 -1 4202560 8492 0 0 0 63 0 0 0 15 0 19 0 902595333 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 2 0 0 0
[pid=6147/tid=6163] ppid=6145 vsize=10550620 CPUtime=0.25 cores=0,2,4,6
/proc/6147/task/6163/stat : 6163 (java) S 6145 6147 2586 0 -1 4202560 1752 0 0 0 25 0 0 0 16 0 19 0 902595333 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 0 0 0 0
[pid=6147/tid=6164] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6164/stat : 6164 (java) S 6145 6147 2586 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902595333 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 4 0 0 0
[pid=6147/tid=6165] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6165/stat : 6165 (java) S 6145 6147 2586 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902595333 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933593600 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6166] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6166/stat : 6166 (java) S 6145 6147 2586 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902595344 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933593600 0 4 0 16800975 18446604453855013056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 42.51
Current children cumulated vsize (KiB) 10550620

[startup+41.6011 s]
/proc/loadavg: 2.17 2.08 1.94 4/214 6224
/proc/meminfo: memFree=1348532/32951124 swapFree=67056684/67111528
[pid=6147] ppid=6145 vsize=10550620 CPUtime=42.61 cores=0,2,4,6
/proc/6147/stat : 6147 (java) S 6145 6147 2586 0 -1 4202496 25448 0 1 0 4255 6 0 0 25 0 19 0 902595327 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6147/statm: 2637655 18985 2249 9 0 2628389 0
[pid=6147/tid=6148] ppid=6145 vsize=10550620 CPUtime=39.6 cores=0,2,4,6
/proc/6147/task/6148/stat : 6148 (java) R 6145 6147 2586 0 -1 4202560 12389 0 1 0 3959 1 0 0 18 0 19 0 902595328 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 46912505728912 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=6147/tid=6150] ppid=6145 vsize=10550620 CPUtime=0.03 cores=0,2,4,6
/proc/6147/task/6150/stat : 6150 (java) S 6145 6147 2586 0 -1 4202560 131 0 0 0 3 0 0 0 15 0 19 0 902595329 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 2 0 0 0
[pid=6147/tid=6151] ppid=6145 vsize=10550620 CPUtime=0.04 cores=0,2,4,6
/proc/6147/task/6151/stat : 6151 (java) S 6145 6147 2586 0 -1 4202560 167 0 0 0 4 0 0 0 15 0 19 0 902595329 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 0 0 0 0
[pid=6147/tid=6152] ppid=6145 vsize=10550620 CPUtime=0.03 cores=0,2,4,6
/proc/6147/task/6152/stat : 6152 (java) S 6145 6147 2586 0 -1 4202560 18 0 0 0 3 0 0 0 15 0 19 0 902595329 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6153] ppid=6145 vsize=10550620 CPUtime=0.04 cores=0,2,4,6
/proc/6147/task/6153/stat : 6153 (java) S 6145 6147 2586 0 -1 4202560 37 0 0 0 4 0 0 0 15 0 19 0 902595329 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 0 0 0 0
[pid=6147/tid=6154] ppid=6145 vsize=10550620 CPUtime=0.02 cores=0,2,4,6
/proc/6147/task/6154/stat : 6154 (java) S 6145 6147 2586 0 -1 4202560 8 0 0 0 2 0 0 0 15 0 19 0 902595329 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 0 0 0 0
[pid=6147/tid=6155] ppid=6145 vsize=10550620 CPUtime=0.03 cores=0,2,4,6
/proc/6147/task/6155/stat : 6155 (java) S 6145 6147 2586 0 -1 4202560 17 0 0 0 3 0 0 0 15 0 19 0 902595329 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 0 0 0 0
[pid=6147/tid=6156] ppid=6145 vsize=10550620 CPUtime=0.03 cores=0,2,4,6
/proc/6147/task/6156/stat : 6156 (java) S 6145 6147 2586 0 -1 4202560 142 0 0 0 3 0 0 0 15 0 19 0 902595329 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 2 0 0 0
[pid=6147/tid=6157] ppid=6145 vsize=10550620 CPUtime=0.04 cores=0,2,4,6
/proc/6147/task/6157/stat : 6157 (java) S 6145 6147 2586 0 -1 4202560 195 0 0 0 4 0 0 0 15 0 19 0 902595329 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6158] ppid=6145 vsize=10550620 CPUtime=1.79 cores=0,2,4,6
/proc/6147/task/6158/stat : 6158 (java) S 6145 6147 2586 0 -1 4202560 944 0 0 0 177 2 0 0 15 0 19 0 902595330 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933593600 0 0 0 16800975 18446604453855013056 0 0 -1 4 0 0 0
[pid=6147/tid=6159] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6159/stat : 6159 (java) S 6145 6147 2586 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 902595331 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6160] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6160/stat : 6160 (java) S 6145 6147 2586 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 902595331 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6161] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6161/stat : 6161 (java) S 6145 6147 2586 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902595333 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933600689 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6162] ppid=6145 vsize=10550620 CPUtime=0.63 cores=0,2,4,6
/proc/6147/task/6162/stat : 6162 (java) S 6145 6147 2586 0 -1 4202560 8493 0 0 0 63 0 0 0 16 0 19 0 902595333 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 2 0 0 0
[pid=6147/tid=6163] ppid=6145 vsize=10550620 CPUtime=0.25 cores=0,2,4,6
/proc/6147/task/6163/stat : 6163 (java) S 6145 6147 2586 0 -1 4202560 1752 0 0 0 25 0 0 0 16 0 19 0 902595333 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 0 0 0 0
[pid=6147/tid=6164] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6164/stat : 6164 (java) S 6145 6147 2586 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902595333 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933592985 0 4 0 16800975 18446604453855013056 0 0 -1 4 0 0 0
[pid=6147/tid=6165] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6165/stat : 6165 (java) S 6145 6147 2586 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902595333 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933593600 0 4 0 16800975 18446604453855013056 0 0 -1 6 0 0 0
[pid=6147/tid=6166] ppid=6145 vsize=10550620 CPUtime=0 cores=0,2,4,6
/proc/6147/task/6166/stat : 6166 (java) S 6145 6147 2586 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902595344 10803834880 18985 33554432000 1073741824 1073778376 140736827944096 18446744073709551615 222933593600 0 4 0 16800975 18446604453855013056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 42.61
Current children cumulated vsize (KiB) 10550620

Child status: 30
Real time (s): 41.608
CPU time (s): 42.6265
CPU user time (s): 42.5605
CPU system time (s): 0.065989
CPU usage (%): 102.448
Max. virtual memory (cumulated for all children) (KiB): 10561884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.5605
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= 25475
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= 4519
involuntary context switches= 1852

runsolver used 0.083987 second user time and 0.159975 second system time

The end

Launcher Data 

Begin job on node109 at 2011-06-12 22:19:06
IDJOB=3492545
IDBENCH=78872
IDSOLVER=1982
FILE ID=node109/3492545-1307909946
RUNJOBID= node109-1307908099-5352
PBS_JOBID= 13559594
Free space on /var/tmp= 2888 MiB

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

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

MD5SUM BENCH= 6c57c5aada90424d0dad1a990e56c347
RANDOM SEED=525478049

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1441620 kB
Buffers:         64656 kB
Cached:       30415128 kB
SwapCached:       8608 kB
Active:       15685036 kB
Inactive:     14870900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1441620 kB
SwapTotal:    67111528 kB
SwapFree:     67056684 kB
Dirty:             920 kB
Writeback:           0 kB
AnonPages:       73376 kB
Mapped:          21460 kB
Slab:           889852 kB
PageTables:       4548 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10545848 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 node109 at 2011-06-12 22:19:48