Trace number 3492365

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 59.8719 58.4715

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223220--soft-33-100-0.wbo
MD5SUM27d3bd64d93eb8804d56550cbc3e68e3
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark2.38364
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 1230
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.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	c See www.sat4j.org for details.
0.06/0.08	c version 2.3.1.v20110525
0.06/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.08	c java.vm.version	19.1-b02
0.06/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.08	c sun.arch.data.model	64
0.06/0.08	c java.version		1.6.0_24
0.06/0.08	c os.name		Linux
0.06/0.08	c os.version		2.6.18-164.el5
0.06/0.08	c os.arch		amd64
0.06/0.08	c Free memory 		9996466904
0.06/0.08	c Max memory 		10048897024
0.06/0.08	c Total memory 		10048897024
0.06/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@38540408
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-3492365-1307909671.wbo
0.10/0.10	c reading problem ... 
0.10/0.16	c ... done. Wall clock time 0.055s.
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.28/0.23	c SATISFIABLE
0.28/0.23	c OPTIMIZING...
0.28/0.23	c Got one! Elapsed wall clock time (in seconds):0.126
0.28/0.23	o 385
0.28/0.26	c Got one! Elapsed wall clock time (in seconds):0.154
0.28/0.26	o 360
0.55/0.38	c Got one! Elapsed wall clock time (in seconds):0.271
0.55/0.38	o 335
0.68/0.42	c Got one! Elapsed wall clock time (in seconds):0.318
0.68/0.42	o 324
0.79/0.52	c cleaning 3120 clauses out of 6248 with flag 2000/6248
0.91/0.60	c Got one! Elapsed wall clock time (in seconds):0.496
0.91/0.60	o 291
0.91/0.68	c Got one! Elapsed wall clock time (in seconds):0.578
0.91/0.68	o 259
1.04/0.71	c Got one! Elapsed wall clock time (in seconds):0.605
1.04/0.71	o 209
1.04/0.79	c cleaning 4797 clauses out of 9596 with flag 2007/12716
1.24/0.99	c Got one! Elapsed wall clock time (in seconds):0.885
1.24/0.99	o 206
1.44/1.19	c cleaning 7693 clauses out of 15390 with flag 5000/23307
1.81/1.40	c cleaning 6844 clauses out of 13698 with flag 11001/29308
2.03/1.64	c cleaning 6923 clauses out of 13854 with flag 18001/36308
2.33/1.91	c cleaning 7461 clauses out of 14930 with flag 26000/44307
2.33/1.99	c Got one! Elapsed wall clock time (in seconds):1.89
2.33/1.99	o 196
2.53/2.14	c cleaning 6709 clauses out of 13425 with flag 4001/50263
2.73/2.36	c cleaning 6353 clauses out of 12716 with flag 10001/56263
2.93/2.53	c Got one! Elapsed wall clock time (in seconds):2.427
2.93/2.53	o 195
3.13/2.73	c cleaning 8403 clauses out of 16817 with flag 5001/66717
3.33/2.97	c cleaning 7202 clauses out of 14416 with flag 11003/72719
3.64/3.26	c cleaning 7100 clauses out of 14211 with flag 18000/79716
3.94/3.50	c Got one! Elapsed wall clock time (in seconds):3.393
3.94/3.50	o 194
4.14/3.71	c cleaning 9595 clauses out of 19207 with flag 5001/91812
4.34/3.93	c cleaning 7797 clauses out of 15611 with flag 11000/97811
4.64/4.20	c cleaning 7402 clauses out of 14814 with flag 18000/104811
4.84/4.42	c Got one! Elapsed wall clock time (in seconds):4.32
4.84/4.42	o 184
5.04/4.62	c cleaning 9040 clauses out of 18084 with flag 5000/115483
5.24/4.85	c cleaning 7518 clauses out of 15045 with flag 11001/121484
5.54/5.10	c cleaning 7253 clauses out of 14526 with flag 18000/128483
5.74/5.37	c cleaning 7627 clauses out of 15273 with flag 26000/136483
6.14/5.70	c cleaning 8317 clauses out of 16647 with flag 35001/145484
6.45/6.08	c cleaning 9162 clauses out of 18329 with flag 45000/155483
6.65/6.28	c Got one! Elapsed wall clock time (in seconds):6.175
6.65/6.28	o 182
6.85/6.48	c cleaning 9793 clauses out of 19598 with flag 5002/165914
7.15/6.71	c cleaning 7896 clauses out of 15804 with flag 11001/171913
7.25/6.85	c Got one! Elapsed wall clock time (in seconds):6.744
7.25/6.85	o 113
7.25/6.89	c cleaning 6588 clauses out of 13181 with flag 1000/177186
7.55/7.10	c cleaning 6292 clauses out of 12593 with flag 7000/183186
7.76/7.34	c cleaning 6644 clauses out of 13302 with flag 14001/190187
8.09/7.65	c cleaning 7325 clauses out of 14657 with flag 22000/198186
8.79/8.05	c cleaning 8161 clauses out of 16332 with flag 31000/207186
9.56/8.45	c cleaning 9079 clauses out of 18172 with flag 41001/217187
9.97/8.82	c cleaning 9543 clauses out of 19092 with flag 51000/227186
10.36/9.24	c cleaning 9769 clauses out of 19549 with flag 61000/237186
10.56/9.40	c Got one! Elapsed wall clock time (in seconds):9.294
10.56/9.40	o 112
10.56/9.48	c cleaning 7802 clauses out of 15614 with flag 2000/243020
10.87/9.70	c cleaning 6902 clauses out of 13813 with flag 8001/249021
11.08/9.95	c cleaning 6952 clauses out of 13911 with flag 15001/256021
11.37/10.23	c cleaning 7466 clauses out of 14958 with flag 23000/264020
11.67/10.59	c cleaning 8239 clauses out of 16492 with flag 32000/273020
12.08/10.99	c cleaning 9122 clauses out of 18255 with flag 42002/283022
12.57/11.40	c cleaning 9563 clauses out of 19131 with flag 52000/293020
12.88/11.79	c cleaning 9777 clauses out of 19569 with flag 62001/303021
13.28/12.17	c cleaning 9892 clauses out of 19792 with flag 72001/313021
13.68/12.58	c cleaning 9944 clauses out of 19900 with flag 82001/323021
13.78/12.62	c Got one! Elapsed wall clock time (in seconds):12.519
13.78/12.62	o 97
13.98/12.80	c cleaning 7922 clauses out of 15850 with flag 5000/328915
14.18/13.03	c cleaning 6960 clauses out of 13929 with flag 11001/334916
14.39/13.29	c cleaning 6980 clauses out of 13969 with flag 18001/341916
14.78/13.60	c cleaning 7487 clauses out of 14989 with flag 26001/349916
15.09/13.94	c cleaning 8246 clauses out of 16503 with flag 35002/358917
15.49/14.35	c cleaning 9122 clauses out of 18255 with flag 45000/368915
15.99/14.80	c cleaning 9563 clauses out of 19133 with flag 55000/378915
16.39/15.22	c cleaning 9779 clauses out of 19570 with flag 65000/388915
16.49/15.35	c Got one! Elapsed wall clock time (in seconds):15.243
16.49/15.35	o 96
16.60/15.42	c cleaning 7469 clauses out of 14945 with flag 2001/394069
16.79/15.65	c cleaning 6736 clauses out of 13478 with flag 8003/400071
17.09/15.90	c cleaning 6867 clauses out of 13739 with flag 15000/407068
17.29/16.20	c cleaning 7431 clauses out of 14872 with flag 23000/415068
17.72/16.53	c cleaning 8215 clauses out of 16441 with flag 32000/424068
18.11/16.93	c cleaning 9111 clauses out of 18228 with flag 42002/434070
18.42/17.29	c cleaning 9554 clauses out of 19118 with flag 52003/444071
18.92/17.70	c cleaning 9774 clauses out of 19561 with flag 62000/454068
19.22/18.08	c cleaning 9892 clauses out of 19789 with flag 72002/464070
19.52/18.30	c Got one! Elapsed wall clock time (in seconds):18.195
19.52/18.30	o 85
19.72/18.51	c cleaning 10266 clauses out of 20539 with flag 5003/474712
19.93/18.74	c cleaning 8127 clauses out of 16270 with flag 11000/480709
20.23/19.01	c cleaning 7569 clauses out of 15145 with flag 18002/487711
20.53/19.31	c cleaning 7783 clauses out of 15575 with flag 26001/495710
20.83/19.64	c cleaning 8391 clauses out of 16792 with flag 35001/504710
21.23/20.04	c cleaning 9195 clauses out of 18401 with flag 45001/514710
21.63/20.44	c cleaning 9599 clauses out of 19207 with flag 55002/524711
22.04/20.84	c cleaning 9798 clauses out of 19606 with flag 65000/534709
22.43/21.26	c cleaning 9897 clauses out of 19808 with flag 75000/544709
22.83/21.69	c cleaning 9951 clauses out of 19911 with flag 85000/554709
23.33/22.12	c cleaning 9974 clauses out of 19960 with flag 95000/564709
23.73/22.52	c cleaning 9980 clauses out of 19986 with flag 105000/574709
24.13/22.94	c cleaning 9994 clauses out of 20006 with flag 115000/584709
24.53/23.35	c cleaning 10001 clauses out of 20013 with flag 125001/594710
24.94/23.76	c cleaning 10002 clauses out of 20011 with flag 135000/604709
25.34/24.16	c cleaning 10001 clauses out of 20010 with flag 145001/614710
25.84/24.60	c cleaning 9998 clauses out of 20008 with flag 155000/624709
26.24/25.05	c cleaning 9999 clauses out of 20010 with flag 165000/634709
26.64/25.48	c cleaning 10002 clauses out of 20012 with flag 175001/644710
27.04/25.89	c cleaning 10001 clauses out of 20012 with flag 185003/654712
27.44/26.21	c Got one! Elapsed wall clock time (in seconds):26.108
27.44/26.21	o 81
27.65/26.44	c cleaning 11302 clauses out of 22613 with flag 5000/667314
27.84/26.66	c cleaning 8648 clauses out of 17311 with flag 11000/673314
28.15/26.91	c cleaning 7826 clauses out of 15663 with flag 18000/680314
28.45/27.20	c cleaning 7913 clauses out of 15838 with flag 26001/688315
28.75/27.57	c cleaning 8458 clauses out of 16926 with flag 35002/697316
29.15/27.93	c cleaning 9229 clauses out of 18467 with flag 45001/707315
29.55/28.33	c cleaning 9614 clauses out of 19237 with flag 55000/717314
29.86/28.61	c Got one! Elapsed wall clock time (in seconds):28.508
29.86/28.61	o 66
30.05/28.82	c cleaning 11290 clauses out of 22581 with flag 5000/730272
30.25/29.05	c cleaning 8643 clauses out of 17291 with flag 11000/736272
30.55/29.31	c cleaning 7820 clauses out of 15649 with flag 18001/743273
30.76/29.60	c cleaning 7908 clauses out of 15828 with flag 26000/751272
31.16/29.94	c cleaning 8455 clauses out of 16921 with flag 35001/760273
31.57/30.35	c cleaning 9227 clauses out of 18465 with flag 45000/770272
31.97/30.75	c cleaning 9611 clauses out of 19238 with flag 55000/780272
32.07/30.88	c Got one! Elapsed wall clock time (in seconds):30.776
32.07/30.88	o 44
32.18/30.95	c cleaning 7502 clauses out of 15012 with flag 2000/785657
32.39/31.16	c cleaning 6750 clauses out of 13510 with flag 8000/791657
32.69/31.40	c cleaning 6875 clauses out of 13760 with flag 15000/798657
32.89/31.68	c cleaning 7438 clauses out of 14885 with flag 23000/806657
33.29/32.01	c cleaning 8222 clauses out of 16451 with flag 32004/815661
33.59/32.37	c cleaning 9108 clauses out of 18226 with flag 42001/825658
33.99/32.73	c cleaning 9554 clauses out of 19118 with flag 52001/835658
34.39/33.10	c cleaning 9775 clauses out of 19565 with flag 62002/845659
34.69/33.48	c cleaning 9889 clauses out of 19788 with flag 72000/855657
35.10/33.85	c cleaning 9945 clauses out of 19900 with flag 82001/865658
35.40/34.19	c cleaning 9971 clauses out of 19957 with flag 92003/875660
35.80/34.53	c cleaning 9985 clauses out of 19983 with flag 102000/885657
36.10/34.89	c cleaning 9995 clauses out of 19999 with flag 112001/895658
36.50/35.23	c cleaning 9997 clauses out of 20003 with flag 122000/905657
36.80/35.59	c cleaning 9997 clauses out of 20008 with flag 132002/915659
37.30/36.00	c cleaning 10004 clauses out of 20011 with flag 142002/925659
37.61/36.38	c cleaning 9993 clauses out of 20005 with flag 152000/935657
38.00/36.76	c cleaning 10000 clauses out of 20013 with flag 162001/945658
38.40/37.16	c cleaning 10003 clauses out of 20013 with flag 172001/955658
38.80/37.54	c cleaning 9997 clauses out of 20009 with flag 182000/965657
39.21/37.91	c cleaning 9999 clauses out of 20012 with flag 192000/975657
39.51/38.30	c cleaning 10000 clauses out of 20015 with flag 202002/985659
39.72/38.46	c Got one! Elapsed wall clock time (in seconds):38.355
39.72/38.46	o 36
39.82/38.50	c cleaning 7850 clauses out of 15706 with flag 1001/991350
40.02/38.71	c cleaning 6924 clauses out of 13855 with flag 7000/997349
40.22/38.95	c cleaning 6961 clauses out of 13931 with flag 14000/1004349
40.52/39.23	c cleaning 7478 clauses out of 14970 with flag 22000/1012349
40.82/39.55	c cleaning 8241 clauses out of 16492 with flag 31000/1021349
41.22/39.90	c cleaning 9123 clauses out of 18254 with flag 41003/1031352
41.52/40.25	c cleaning 9559 clauses out of 19128 with flag 51000/1041349
41.92/40.62	c cleaning 9779 clauses out of 19569 with flag 61000/1051349
42.22/41.00	c cleaning 9892 clauses out of 19791 with flag 71001/1061350
42.62/41.36	c cleaning 9942 clauses out of 19898 with flag 81000/1071349
43.03/41.73	c cleaning 9972 clauses out of 19956 with flag 91000/1081349
43.33/42.08	c cleaning 9986 clauses out of 19984 with flag 101000/1091349
43.73/42.44	c cleaning 9996 clauses out of 20000 with flag 111002/1101351
44.13/42.81	c cleaning 10000 clauses out of 20005 with flag 121003/1111352
44.43/43.15	c cleaning 9995 clauses out of 20002 with flag 131000/1121349
44.73/43.46	c cleaning 9999 clauses out of 20008 with flag 141001/1131350
45.13/43.81	c cleaning 10003 clauses out of 20011 with flag 151003/1141352
45.43/44.16	c cleaning 9996 clauses out of 20005 with flag 161000/1151349
45.84/44.50	c cleaning 10002 clauses out of 20012 with flag 171003/1161352
46.14/44.84	c cleaning 10004 clauses out of 20013 with flag 181006/1171355
46.44/45.18	c cleaning 9992 clauses out of 20003 with flag 191000/1181349
46.84/45.51	c cleaning 9994 clauses out of 20012 with flag 201001/1191350
47.14/45.84	c cleaning 10006 clauses out of 20017 with flag 211000/1201349
47.45/46.18	c cleaning 10001 clauses out of 20011 with flag 221000/1211349
47.84/46.53	c cleaning 10001 clauses out of 20011 with flag 231001/1221350
48.14/46.87	c cleaning 10003 clauses out of 20011 with flag 241002/1231351
48.24/46.94	c Got one! Elapsed wall clock time (in seconds):46.834
48.24/46.94	o 17
48.34/47.08	c cleaning 7930 clauses out of 15862 with flag 4002/1237205
48.55/47.28	c cleaning 6956 clauses out of 13931 with flag 10001/1243204
48.85/47.51	c cleaning 6985 clauses out of 13976 with flag 17002/1250205
49.05/47.78	c cleaning 7490 clauses out of 14989 with flag 25000/1258203
49.35/48.10	c cleaning 8245 clauses out of 16500 with flag 34001/1267204
49.76/48.44	c cleaning 9123 clauses out of 18255 with flag 44001/1277204
50.05/48.79	c cleaning 9562 clauses out of 19131 with flag 54000/1287203
50.45/49.15	c cleaning 9782 clauses out of 19569 with flag 64000/1297203
50.86/49.51	c cleaning 9888 clauses out of 19787 with flag 74000/1307203
51.16/49.86	c cleaning 9947 clauses out of 19900 with flag 84001/1317204
51.56/50.20	c cleaning 9972 clauses out of 19954 with flag 94002/1327205
51.76/50.48	c Got one! Elapsed wall clock time (in seconds):50.372
51.76/50.48	o 12
52.06/50.71	c cleaning 11772 clauses out of 23551 with flag 5002/1340774
52.26/50.93	c cleaning 8882 clauses out of 17777 with flag 11000/1346772
52.46/51.18	c cleaning 7945 clauses out of 15896 with flag 18001/1353773
52.76/51.44	c cleaning 7972 clauses out of 15951 with flag 26001/1361773
53.07/51.77	c cleaning 8486 clauses out of 16978 with flag 35000/1370772
53.46/52.11	c cleaning 9244 clauses out of 18495 with flag 45003/1380775
53.76/52.47	c cleaning 9620 clauses out of 19248 with flag 55000/1390772
54.17/52.83	c cleaning 9808 clauses out of 19629 with flag 65001/1400773
54.47/53.19	c cleaning 9903 clauses out of 19820 with flag 75000/1410772
54.87/53.54	c cleaning 9956 clauses out of 19920 with flag 85003/1420775
55.17/53.89	c cleaning 9974 clauses out of 19961 with flag 95000/1430772
55.57/54.27	c cleaning 9987 clauses out of 19988 with flag 105001/1440773
55.97/54.64	c cleaning 9993 clauses out of 20000 with flag 115000/1450772
56.28/54.98	c cleaning 10003 clauses out of 20011 with flag 125004/1460776
56.67/55.33	c cleaning 9998 clauses out of 20006 with flag 135002/1470774
56.97/55.68	c cleaning 9999 clauses out of 20006 with flag 145000/1480772
57.38/56.04	c cleaning 10001 clauses out of 20008 with flag 155001/1490773
57.68/56.39	c cleaning 9999 clauses out of 20006 with flag 165000/1500772
58.08/56.73	c cleaning 9999 clauses out of 20007 with flag 175000/1510772
58.38/57.09	c cleaning 10001 clauses out of 20011 with flag 185003/1520775
58.78/57.43	c cleaning 10005 clauses out of 20009 with flag 195002/1530774
59.08/57.80	c cleaning 9994 clauses out of 20001 with flag 205000/1540772
59.48/58.16	c cleaning 10001 clauses out of 20010 with flag 215003/1550775
59.79/58.46	c starts		: 214
59.79/58.46	c conflicts		: 1559495
59.79/58.46	c decisions		: 2529980
59.79/58.46	c propagations		: 39419405
59.79/58.46	c inspects		: 330506791
59.79/58.46	c shortcuts		: 0
59.79/58.46	c learnt literals	: 8
59.79/58.46	c learnt binary clauses	: 98
59.79/58.46	c learnt ternary clauses	: 1373
59.79/58.46	c learnt constraints	: 1559486
59.79/58.46	c ignored constraints	: 0
59.79/58.46	c root simplifications	: 0
59.79/58.46	c removed literals (reason simplification)	: 9998376
59.79/58.46	c reason swapping (by a shorter reason)	: 0
59.79/58.46	c Calls to reduceDB	: 173
59.79/58.46	c number of reductions to clauses (during analyze)	: 0
59.79/58.46	c number of learned constraints concerned by reduction	: 0
59.79/58.46	c number of learning phase by resolution	: 0
59.79/58.46	c number of learning phase by cutting planes	: 0
59.79/58.46	c speed (assignments/second)	: 4936681.903569192
59.79/58.46	c non guided choices	1285
59.79/58.46	c learnt constraints type 
59.79/58.46	c constraints type 
59.79/58.46	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27
59.79/58.46	c org.sat4j.minisat.constraints.card.MinWatchCard => 20
59.79/58.46	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3
59.79/58.46	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 51
59.79/58.46	s OPTIMUM FOUND
59.79/58.46	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 
59.79/58.46	c objective function=12
59.79/58.46	c Total wall clock time (in seconds): 58.358

Verifier Data 

OK	12

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-3492365-1307909671/watcher-3492365-1307909671 -o /var/tmp/evaluation-result-3492365-1307909671/solver-3492365-1307909671 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492365-1307909671.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.04 2.02 1.94 2/195 5213
/proc/meminfo: memFree=1313864/32950940 swapFree=67053420/67111528
[pid=5213] ppid=5211 vsize=30540 CPUtime=0 cores=1,3,5,7
/proc/5213/stat : 5213 (java) S 5211 5213 3459 0 -1 4202496 1241 0 0 0 0 0 0 0 25 0 2 0 981197908 31272960 960 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/5213/statm: 7635 960 732 9 0 386 0
[pid=5213/tid=5214] ppid=5211 vsize=30536 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5214/stat : 5214 (java) S 5211 5213 3459 0 -1 4202560 130 0 0 0 0 0 0 0 25 0 2 0 981197908 31268864 963 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 215983668871 0 2147483391 0 16784584 18446744071699199166 0 0 -1 5 0 0 0

[startup+0.074695 s]
/proc/loadavg: 2.04 2.02 1.94 2/195 5213
/proc/meminfo: memFree=1313864/32950940 swapFree=67053420/67111528
[pid=5213] ppid=5211 vsize=10538624 CPUtime=0.06 cores=1,3,5,7
/proc/5213/stat : 5213 (java) S 5211 5213 3459 0 -1 4202496 11964 0 1 0 5 1 0 0 25 0 18 0 981197908 10791550976 11660 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5213/statm: 2634656 11660 1756 9 0 2625390 0
[pid=5213/tid=5214] ppid=5211 vsize=10538624 CPUtime=0.06 cores=1,3,5,7
/proc/5213/task/5214/stat : 5214 (java) R 5211 5213 3459 0 -1 4202560 10786 0 1 0 5 1 0 0 25 0 18 0 981197908 10791550976 11660 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000419275 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10538624

[startup+0.100686 s]
/proc/loadavg: 2.04 2.02 1.94 2/195 5213
/proc/meminfo: memFree=1313864/32950940 swapFree=67053420/67111528
[pid=5213] ppid=5211 vsize=10540168 CPUtime=0.1 cores=1,3,5,7
/proc/5213/stat : 5213 (java) S 5211 5213 3459 0 -1 4202496 13128 0 1 0 9 1 0 0 25 0 18 0 981197908 10793132032 12823 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5213/statm: 2635042 12823 2093 9 0 2625776 0
[pid=5213/tid=5214] ppid=5211 vsize=10540168 CPUtime=0.09 cores=1,3,5,7
/proc/5213/task/5214/stat : 5214 (java) R 5211 5213 3459 0 -1 4202560 11210 0 1 0 8 1 0 0 25 0 18 0 981197908 10793132032 12824 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 46916117042712 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540168

[startup+0.300596 s]
/proc/loadavg: 2.04 2.02 1.94 2/195 5213
/proc/meminfo: memFree=1313864/32950940 swapFree=67053420/67111528
[pid=5213] ppid=5211 vsize=10546476 CPUtime=0.55 cores=1,3,5,7
/proc/5213/stat : 5213 (java) S 5211 5213 3459 0 -1 4202496 16099 0 1 0 53 2 0 0 25 0 19 0 981197908 10799591424 14842 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5213/statm: 2636619 14842 2215 9 0 2627353 0
[pid=5213/tid=5214] ppid=5211 vsize=10546476 CPUtime=0.29 cores=1,3,5,7
/proc/5213/task/5214/stat : 5214 (java) R 5211 5213 3459 0 -1 4202560 11823 0 1 0 28 1 0 0 18 0 19 0 981197908 10799591424 14842 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 46912505649025 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 10546476

[startup+0.700524 s]
/proc/loadavg: 2.04 2.02 1.94 2/195 5213
/proc/meminfo: memFree=1313864/32950940 swapFree=67053420/67111528
[pid=5213] ppid=5211 vsize=10546476 CPUtime=1.04 cores=1,3,5,7
/proc/5213/stat : 5213 (java) S 5211 5213 3459 0 -1 4202496 17542 0 1 0 102 2 0 0 25 0 19 0 981197908 10799591424 15854 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5213/statm: 2636619 15854 2247 9 0 2627353 0
[pid=5213/tid=5214] ppid=5211 vsize=10546476 CPUtime=0.67 cores=1,3,5,7
/proc/5213/task/5214/stat : 5214 (java) R 5211 5213 3459 0 -1 4202560 12147 0 1 0 66 1 0 0 18 0 19 0 981197908 10799591424 15854 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 46912505642022 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 10546476

[startup+1.50139 s]
/proc/loadavg: 2.04 2.02 1.94 3/214 5232
/proc/meminfo: memFree=1257888/32950940 swapFree=67053420/67111528
[pid=5213] ppid=5211 vsize=10546476 CPUtime=1.93 cores=1,3,5,7
/proc/5213/stat : 5213 (java) S 5211 5213 3459 0 -1 4202496 19389 0 1 0 191 2 0 0 25 0 19 0 981197908 10799591424 17168 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5213/statm: 2636619 17168 2249 9 0 2627353 0
[pid=5213/tid=5214] ppid=5211 vsize=10546476 CPUtime=1.43 cores=1,3,5,7
/proc/5213/task/5214/stat : 5214 (java) R 5211 5213 3459 0 -1 4202560 12148 0 1 0 142 1 0 0 19 0 19 0 981197908 10799591424 17168 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 46912505566137 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5213/tid=5216] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5216/stat : 5216 (java) S 5211 5213 3459 0 -1 4202560 176 0 0 0 0 0 0 0 15 0 19 0 981197910 10799591424 17168 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 5 0 0 0
[pid=5213/tid=5217] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5217/stat : 5217 (java) S 5211 5213 3459 0 -1 4202560 162 0 0 0 0 0 0 0 15 0 19 0 981197910 10799591424 17168 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 7 0 0 0
[pid=5213/tid=5218] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5218/stat : 5218 (java) S 5211 5213 3459 0 -1 4202560 251 0 0 0 0 0 0 0 15 0 19 0 981197910 10799591424 17168 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 7 0 0 0
[pid=5213/tid=5219] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5219/stat : 5219 (java) S 5211 5213 3459 0 -1 4202560 117 0 0 0 0 0 0 0 15 0 19 0 981197910 10799591424 17168 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5220] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5220/stat : 5220 (java) S 5211 5213 3459 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 981197910 10799591424 17168 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5221] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5221/stat : 5221 (java) S 5211 5213 3459 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 981197910 10799591424 17168 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 5 0 0 0
[pid=5213/tid=5222] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5222/stat : 5222 (java) S 5211 5213 3459 0 -1 4202560 217 0 0 0 0 0 0 0 15 0 19 0 981197910 10799591424 17168 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5223] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5223/stat : 5223 (java) S 5211 5213 3459 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981197910 10799591424 17168 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 7 0 0 0
[pid=5213/tid=5224] ppid=5211 vsize=10546476 CPUtime=0.04 cores=1,3,5,7
/proc/5213/task/5224/stat : 5224 (java) S 5211 5213 3459 0 -1 4202560 519 0 0 0 4 0 0 0 15 0 19 0 981197911 10799591424 17168 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000409088 0 0 0 16800975 18446604471138030720 0 0 -1 3 0 0 0
[pid=5213/tid=5225] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5225/stat : 5225 (java) S 5211 5213 3459 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 981197911 10799591424 17168 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 7 0 0 0
[pid=5213/tid=5226] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5226/stat : 5226 (java) S 5211 5213 3459 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 981197911 10799591424 17168 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5227] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5227/stat : 5227 (java) S 5211 5213 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981197913 10799591424 17168 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000416177 0 4 0 16800975 18446604471138030720 0 0 -1 5 0 0 0
[pid=5213/tid=5228] ppid=5211 vsize=10546476 CPUtime=0.23 cores=1,3,5,7
/proc/5213/task/5228/stat : 5228 (java) S 5211 5213 3459 0 -1 4202560 2794 0 0 0 23 0 0 0 16 0 19 0 981197913 10799591424 17168 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5229] ppid=5211 vsize=10546476 CPUtime=0.18 cores=1,3,5,7
/proc/5213/task/5229/stat : 5229 (java) S 5211 5213 3459 0 -1 4202560 1848 0 0 0 18 0 0 0 17 0 19 0 981197913 10799591424 17168 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 7 0 0 0
[pid=5213/tid=5230] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5230/stat : 5230 (java) S 5211 5213 3459 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 981197913 10799591424 17168 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 5 0 0 0
[pid=5213/tid=5231] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5231/stat : 5231 (java) S 5211 5213 3459 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981197913 10799591424 17168 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000409088 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5232] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5232/stat : 5232 (java) S 5211 5213 3459 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981197925 10799591424 17168 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000409088 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 10546476

[startup+3.1011 s]
/proc/loadavg: 2.04 2.02 1.94 3/214 5232
/proc/meminfo: memFree=1253548/32950940 swapFree=67053420/67111528
[pid=5213] ppid=5211 vsize=10546476 CPUtime=3.54 cores=1,3,5,7
/proc/5213/stat : 5213 (java) S 5211 5213 3459 0 -1 4202496 19464 0 1 0 352 2 0 0 25 0 19 0 981197908 10799591424 17237 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5213/statm: 2636619 17237 2249 9 0 2627353 0
[pid=5213/tid=5214] ppid=5211 vsize=10546476 CPUtime=2.95 cores=1,3,5,7
/proc/5213/task/5214/stat : 5214 (java) R 5211 5213 3459 0 -1 4202560 12154 0 1 0 294 1 0 0 20 0 19 0 981197908 10799591424 17237 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 46912505565113 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5213/tid=5216] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5216/stat : 5216 (java) S 5211 5213 3459 0 -1 4202560 176 0 0 0 0 0 0 0 15 0 19 0 981197910 10799591424 17237 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5217] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5217/stat : 5217 (java) S 5211 5213 3459 0 -1 4202560 165 0 0 0 0 0 0 0 16 0 19 0 981197910 10799591424 17237 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 7 0 0 0
[pid=5213/tid=5218] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5218/stat : 5218 (java) S 5211 5213 3459 0 -1 4202560 251 0 0 0 0 0 0 0 16 0 19 0 981197910 10799591424 17237 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5219] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5219/stat : 5219 (java) S 5211 5213 3459 0 -1 4202560 117 0 0 0 0 0 0 0 16 0 19 0 981197910 10799591424 17237 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 5 0 0 0
[pid=5213/tid=5220] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5220/stat : 5220 (java) S 5211 5213 3459 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 981197910 10799591424 17237 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5221] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5221/stat : 5221 (java) S 5211 5213 3459 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 981197910 10799591424 17237 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 7 0 0 0
[pid=5213/tid=5222] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5222/stat : 5222 (java) S 5211 5213 3459 0 -1 4202560 217 0 0 0 0 0 0 0 15 0 19 0 981197910 10799591424 17237 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 5 0 0 0
[pid=5213/tid=5223] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5223/stat : 5223 (java) S 5211 5213 3459 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 981197910 10799591424 17237 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 5 0 0 0
[pid=5213/tid=5224] ppid=5211 vsize=10546476 CPUtime=0.12 cores=1,3,5,7
/proc/5213/task/5224/stat : 5224 (java) S 5211 5213 3459 0 -1 4202560 579 0 0 0 12 0 0 0 15 0 19 0 981197911 10799591424 17237 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000409088 0 0 0 16800975 18446604471138030720 0 0 -1 3 0 0 0
[pid=5213/tid=5225] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5225/stat : 5225 (java) S 5211 5213 3459 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 981197911 10799591424 17237 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 7 0 0 0
[pid=5213/tid=5226] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5226/stat : 5226 (java) S 5211 5213 3459 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 981197911 10799591424 17237 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5227] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5227/stat : 5227 (java) S 5211 5213 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981197913 10799591424 17237 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000416177 0 4 0 16800975 18446604471138030720 0 0 -1 5 0 0 0
[pid=5213/tid=5228] ppid=5211 vsize=10546476 CPUtime=0.23 cores=1,3,5,7
/proc/5213/task/5228/stat : 5228 (java) S 5211 5213 3459 0 -1 4202560 2794 0 0 0 23 0 0 0 15 0 19 0 981197913 10799591424 17237 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5229] ppid=5211 vsize=10546476 CPUtime=0.18 cores=1,3,5,7
/proc/5213/task/5229/stat : 5229 (java) S 5211 5213 3459 0 -1 4202560 1848 0 0 0 18 0 0 0 17 0 19 0 981197913 10799591424 17237 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 7 0 0 0
[pid=5213/tid=5230] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5230/stat : 5230 (java) S 5211 5213 3459 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 981197913 10799591424 17237 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 5 0 0 0
[pid=5213/tid=5231] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5231/stat : 5231 (java) S 5211 5213 3459 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981197913 10799591424 17237 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000409088 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5232] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5232/stat : 5232 (java) S 5211 5213 3459 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981197925 10799591424 17237 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000409088 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 10546476

[startup+6.30054 s]
/proc/loadavg: 2.04 2.02 1.94 3/214 5232
/proc/meminfo: memFree=1252684/32950940 swapFree=67053420/67111528
[pid=5213] ppid=5211 vsize=10546476 CPUtime=6.75 cores=1,3,5,7
/proc/5213/stat : 5213 (java) S 5211 5213 3459 0 -1 4202496 19551 0 1 0 673 2 0 0 25 0 19 0 981197908 10799591424 17314 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5213/statm: 2636619 17314 2249 9 0 2627353 0
[pid=5213/tid=5214] ppid=5211 vsize=10546476 CPUtime=6.02 cores=1,3,5,7
/proc/5213/task/5214/stat : 5214 (java) R 5211 5213 3459 0 -1 4202560 12165 0 1 0 601 1 0 0 25 0 19 0 981197908 10799591424 17314 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 46912505535260 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5213/tid=5216] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5216/stat : 5216 (java) S 5211 5213 3459 0 -1 4202560 177 0 0 0 0 0 0 0 15 0 19 0 981197910 10799591424 17314 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 7 0 0 0
[pid=5213/tid=5217] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5217/stat : 5217 (java) S 5211 5213 3459 0 -1 4202560 165 0 0 0 0 0 0 0 15 0 19 0 981197910 10799591424 17314 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 5 0 0 0
[pid=5213/tid=5218] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5218/stat : 5218 (java) S 5211 5213 3459 0 -1 4202560 251 0 0 0 0 0 0 0 15 0 19 0 981197910 10799591424 17314 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 5 0 0 0
[pid=5213/tid=5219] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5219/stat : 5219 (java) S 5211 5213 3459 0 -1 4202560 117 0 0 0 0 0 0 0 15 0 19 0 981197910 10799591424 17314 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 7 0 0 0
[pid=5213/tid=5220] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5220/stat : 5220 (java) S 5211 5213 3459 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 981197910 10799591424 17314 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 7 0 0 0
[pid=5213/tid=5221] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5221/stat : 5221 (java) S 5211 5213 3459 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 981197910 10799591424 17314 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 7 0 0 0
[pid=5213/tid=5222] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5222/stat : 5222 (java) S 5211 5213 3459 0 -1 4202560 217 0 0 0 0 0 0 0 16 0 19 0 981197910 10799591424 17314 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5223] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5223/stat : 5223 (java) S 5211 5213 3459 0 -1 4202560 7 0 0 0 0 0 0 0 16 0 19 0 981197910 10799591424 17314 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 5 0 0 0
[pid=5213/tid=5224] ppid=5211 vsize=10546476 CPUtime=0.24 cores=1,3,5,7
/proc/5213/task/5224/stat : 5224 (java) S 5211 5213 3459 0 -1 4202560 647 0 0 0 24 0 0 0 15 0 19 0 981197911 10799591424 17314 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000409088 0 0 0 16800975 18446604471138030720 0 0 -1 3 0 0 0
[pid=5213/tid=5225] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5225/stat : 5225 (java) S 5211 5213 3459 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 981197911 10799591424 17314 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 7 0 0 0
[pid=5213/tid=5226] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5226/stat : 5226 (java) S 5211 5213 3459 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 981197911 10799591424 17314 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5227] ppid=5211 vsize=10546476 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5227/stat : 5227 (java) S 5211 5213 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981197913 10799591424 17314 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000416177 0 4 0 16800975 18446604471138030720 0 0 -1 5 0 0 0
[pid=5213/tid=5228] ppid=5211 vsize=10546476 CPUtime=0.24 cores=1,3,5,7
/proc/5213/task/5228/stat : 5228 (java) S 5211 5213 3459 0 -1 4202560 2794 0 0 0 24 0 0 0 15 0 19 0 981197913 10799591424 17314 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5229] ppid=5211 vsize=10546476 CPUtime=0.18 cores=1,3,5,7
/proc/5213/task/5229/stat : 5229 (java) S 5211 5213 3459 0 -1 4202560 1848 0 0 0 18 0 0 0 15 0 19 0 981197913 10799591424 17314 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 7 0 0 0

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

/proc/5213/task/5216/stat : 5216 (java) S 5211 5213 3459 0 -1 4202560 184 0 0 0 4 0 0 0 16 0 19 0 981197910 10810814464 20630 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5217] ppid=5211 vsize=10557436 CPUtime=0.05 cores=1,3,5,7
/proc/5213/task/5217/stat : 5217 (java) S 5211 5213 3459 0 -1 4202560 176 0 0 0 5 0 0 0 15 0 19 0 981197910 10810814464 20630 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 3 0 0 0
[pid=5213/tid=5218] ppid=5211 vsize=10557436 CPUtime=0.04 cores=1,3,5,7
/proc/5213/task/5218/stat : 5218 (java) S 5211 5213 3459 0 -1 4202560 263 0 0 0 4 0 0 0 15 0 19 0 981197910 10810814464 20630 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5219] ppid=5211 vsize=10557436 CPUtime=0.04 cores=1,3,5,7
/proc/5213/task/5219/stat : 5219 (java) S 5211 5213 3459 0 -1 4202560 122 0 0 0 4 0 0 0 15 0 19 0 981197910 10810814464 20630 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5220] ppid=5211 vsize=10557436 CPUtime=0.02 cores=1,3,5,7
/proc/5213/task/5220/stat : 5220 (java) S 5211 5213 3459 0 -1 4202560 10 0 0 0 2 0 0 0 15 0 19 0 981197910 10810814464 20630 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5221] ppid=5211 vsize=10557436 CPUtime=0.04 cores=1,3,5,7
/proc/5213/task/5221/stat : 5221 (java) S 5211 5213 3459 0 -1 4202560 12 0 0 0 4 0 0 0 15 0 19 0 981197910 10810814464 20630 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 3 0 0 0
[pid=5213/tid=5222] ppid=5211 vsize=10557436 CPUtime=0.05 cores=1,3,5,7
/proc/5213/task/5222/stat : 5222 (java) S 5211 5213 3459 0 -1 4202560 229 0 0 0 5 0 0 0 15 0 19 0 981197910 10810814464 20630 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 3 0 0 0
[pid=5213/tid=5223] ppid=5211 vsize=10557436 CPUtime=0.03 cores=1,3,5,7
/proc/5213/task/5223/stat : 5223 (java) S 5211 5213 3459 0 -1 4202560 11 0 0 0 3 0 0 0 15 0 19 0 981197910 10810814464 20630 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5224] ppid=5211 vsize=10557436 CPUtime=2.26 cores=1,3,5,7
/proc/5213/task/5224/stat : 5224 (java) S 5211 5213 3459 0 -1 4202560 1053 0 0 0 225 1 0 0 16 0 19 0 981197911 10810814464 20630 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000409088 0 0 0 16800975 18446604471138030720 0 0 -1 5 0 0 0
[pid=5213/tid=5225] ppid=5211 vsize=10557436 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5225/stat : 5225 (java) S 5211 5213 3459 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 981197911 10810814464 20630 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 7 0 0 0
[pid=5213/tid=5226] ppid=5211 vsize=10557436 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5226/stat : 5226 (java) S 5211 5213 3459 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 981197911 10810814464 20630 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5227] ppid=5211 vsize=10557436 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5227/stat : 5227 (java) S 5211 5213 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981197913 10810814464 20630 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000416177 0 4 0 16800975 18446604471138030720 0 0 -1 5 0 0 0
[pid=5213/tid=5228] ppid=5211 vsize=10557436 CPUtime=0.34 cores=1,3,5,7
/proc/5213/task/5228/stat : 5228 (java) S 5211 5213 3459 0 -1 4202560 3327 0 0 0 34 0 0 0 15 0 19 0 981197913 10810814464 20630 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5229] ppid=5211 vsize=10557436 CPUtime=0.84 cores=1,3,5,7
/proc/5213/task/5229/stat : 5229 (java) S 5211 5213 3459 0 -1 4202560 10590 0 0 0 83 1 0 0 16 0 19 0 981197913 10810814464 20630 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 3 0 0 0
[pid=5213/tid=5230] ppid=5211 vsize=10557436 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5230/stat : 5230 (java) S 5211 5213 3459 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 981197913 10810814464 20630 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 5 0 0 0
[pid=5213/tid=5231] ppid=5211 vsize=10557436 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5231/stat : 5231 (java) S 5211 5213 3459 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 981197913 10810814464 20630 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000409088 0 4 0 16800975 18446604471138030720 0 0 -1 3 0 0 0
[pid=5213/tid=5232] ppid=5211 vsize=10557436 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5232/stat : 5232 (java) S 5211 5213 3459 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981197925 10810814464 20630 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000409088 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 58.88
Current children cumulated vsize (KiB) 10557436

[startup+57.9005 s]
/proc/loadavg: 2.01 2.01 1.94 4/214 5233
/proc/meminfo: memFree=1238004/32950940 swapFree=67053420/67111528
[pid=5213] ppid=5211 vsize=10557436 CPUtime=59.28 cores=1,3,5,7
/proc/5213/stat : 5213 (java) S 5211 5213 3459 0 -1 4202496 29451 0 1 0 5923 5 0 0 25 0 19 0 981197908 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5213/statm: 2639359 20631 2251 9 0 2630093 0
[pid=5213/tid=5214] ppid=5211 vsize=10557436 CPUtime=55.42 cores=1,3,5,7
/proc/5213/task/5214/stat : 5214 (java) R 5211 5213 3459 0 -1 4202560 12319 0 1 0 5541 1 0 0 25 0 19 0 981197908 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 46912505527146 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5213/tid=5216] ppid=5211 vsize=10557436 CPUtime=0.04 cores=1,3,5,7
/proc/5213/task/5216/stat : 5216 (java) S 5211 5213 3459 0 -1 4202560 184 0 0 0 4 0 0 0 15 0 19 0 981197910 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5217] ppid=5211 vsize=10557436 CPUtime=0.05 cores=1,3,5,7
/proc/5213/task/5217/stat : 5217 (java) S 5211 5213 3459 0 -1 4202560 176 0 0 0 5 0 0 0 15 0 19 0 981197910 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 3 0 0 0
[pid=5213/tid=5218] ppid=5211 vsize=10557436 CPUtime=0.04 cores=1,3,5,7
/proc/5213/task/5218/stat : 5218 (java) S 5211 5213 3459 0 -1 4202560 263 0 0 0 4 0 0 0 16 0 19 0 981197910 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5219] ppid=5211 vsize=10557436 CPUtime=0.04 cores=1,3,5,7
/proc/5213/task/5219/stat : 5219 (java) S 5211 5213 3459 0 -1 4202560 122 0 0 0 4 0 0 0 15 0 19 0 981197910 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5220] ppid=5211 vsize=10557436 CPUtime=0.02 cores=1,3,5,7
/proc/5213/task/5220/stat : 5220 (java) S 5211 5213 3459 0 -1 4202560 10 0 0 0 2 0 0 0 15 0 19 0 981197910 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5221] ppid=5211 vsize=10557436 CPUtime=0.04 cores=1,3,5,7
/proc/5213/task/5221/stat : 5221 (java) S 5211 5213 3459 0 -1 4202560 12 0 0 0 4 0 0 0 16 0 19 0 981197910 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 3 0 0 0
[pid=5213/tid=5222] ppid=5211 vsize=10557436 CPUtime=0.05 cores=1,3,5,7
/proc/5213/task/5222/stat : 5222 (java) S 5211 5213 3459 0 -1 4202560 229 0 0 0 5 0 0 0 16 0 19 0 981197910 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 3 0 0 0
[pid=5213/tid=5223] ppid=5211 vsize=10557436 CPUtime=0.03 cores=1,3,5,7
/proc/5213/task/5223/stat : 5223 (java) S 5211 5213 3459 0 -1 4202560 11 0 0 0 3 0 0 0 15 0 19 0 981197910 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5224] ppid=5211 vsize=10557436 CPUtime=2.28 cores=1,3,5,7
/proc/5213/task/5224/stat : 5224 (java) S 5211 5213 3459 0 -1 4202560 1053 0 0 0 227 1 0 0 16 0 19 0 981197911 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000409088 0 0 0 16800975 18446604471138030720 0 0 -1 5 0 0 0
[pid=5213/tid=5225] ppid=5211 vsize=10557436 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5225/stat : 5225 (java) S 5211 5213 3459 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 981197911 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 7 0 0 0
[pid=5213/tid=5226] ppid=5211 vsize=10557436 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5226/stat : 5226 (java) S 5211 5213 3459 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 981197911 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5227] ppid=5211 vsize=10557436 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5227/stat : 5227 (java) S 5211 5213 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981197913 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000416177 0 4 0 16800975 18446604471138030720 0 0 -1 5 0 0 0
[pid=5213/tid=5228] ppid=5211 vsize=10557436 CPUtime=0.34 cores=1,3,5,7
/proc/5213/task/5228/stat : 5228 (java) S 5211 5213 3459 0 -1 4202560 3327 0 0 0 34 0 0 0 15 0 19 0 981197913 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5229] ppid=5211 vsize=10557436 CPUtime=0.84 cores=1,3,5,7
/proc/5213/task/5229/stat : 5229 (java) S 5211 5213 3459 0 -1 4202560 10590 0 0 0 83 1 0 0 16 0 19 0 981197913 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 3 0 0 0
[pid=5213/tid=5230] ppid=5211 vsize=10557436 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5230/stat : 5230 (java) S 5211 5213 3459 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 981197913 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 5 0 0 0
[pid=5213/tid=5231] ppid=5211 vsize=10557436 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5231/stat : 5231 (java) S 5211 5213 3459 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 981197913 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000409088 0 4 0 16800975 18446604471138030720 0 0 -1 3 0 0 0
[pid=5213/tid=5232] ppid=5211 vsize=10557436 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5232/stat : 5232 (java) S 5211 5213 3459 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981197925 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000409088 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 59.28
Current children cumulated vsize (KiB) 10557436

[startup+58.3064 s]
/proc/loadavg: 2.01 2.01 1.94 3/214 5233
/proc/meminfo: memFree=1238004/32950940 swapFree=67053420/67111528
[pid=5213] ppid=5211 vsize=10557436 CPUtime=59.69 cores=1,3,5,7
/proc/5213/stat : 5213 (java) S 5211 5213 3459 0 -1 4202496 29452 0 1 0 5964 5 0 0 25 0 19 0 981197908 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5213/statm: 2639359 20631 2251 9 0 2630093 0
[pid=5213/tid=5214] ppid=5211 vsize=10557436 CPUtime=55.81 cores=1,3,5,7
/proc/5213/task/5214/stat : 5214 (java) R 5211 5213 3459 0 -1 4202560 12320 0 1 0 5580 1 0 0 25 0 19 0 981197908 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 46912505603772 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5213/tid=5216] ppid=5211 vsize=10557436 CPUtime=0.04 cores=1,3,5,7
/proc/5213/task/5216/stat : 5216 (java) S 5211 5213 3459 0 -1 4202560 184 0 0 0 4 0 0 0 15 0 19 0 981197910 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 7 0 0 0
[pid=5213/tid=5217] ppid=5211 vsize=10557436 CPUtime=0.05 cores=1,3,5,7
/proc/5213/task/5217/stat : 5217 (java) S 5211 5213 3459 0 -1 4202560 176 0 0 0 5 0 0 0 15 0 19 0 981197910 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 3 0 0 0
[pid=5213/tid=5218] ppid=5211 vsize=10557436 CPUtime=0.04 cores=1,3,5,7
/proc/5213/task/5218/stat : 5218 (java) S 5211 5213 3459 0 -1 4202560 263 0 0 0 4 0 0 0 16 0 19 0 981197910 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5219] ppid=5211 vsize=10557436 CPUtime=0.04 cores=1,3,5,7
/proc/5213/task/5219/stat : 5219 (java) S 5211 5213 3459 0 -1 4202560 122 0 0 0 4 0 0 0 15 0 19 0 981197910 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5220] ppid=5211 vsize=10557436 CPUtime=0.02 cores=1,3,5,7
/proc/5213/task/5220/stat : 5220 (java) S 5211 5213 3459 0 -1 4202560 10 0 0 0 2 0 0 0 15 0 19 0 981197910 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5221] ppid=5211 vsize=10557436 CPUtime=0.04 cores=1,3,5,7
/proc/5213/task/5221/stat : 5221 (java) S 5211 5213 3459 0 -1 4202560 12 0 0 0 4 0 0 0 16 0 19 0 981197910 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 3 0 0 0
[pid=5213/tid=5222] ppid=5211 vsize=10557436 CPUtime=0.05 cores=1,3,5,7
/proc/5213/task/5222/stat : 5222 (java) S 5211 5213 3459 0 -1 4202560 229 0 0 0 5 0 0 0 15 0 19 0 981197910 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 3 0 0 0
[pid=5213/tid=5223] ppid=5211 vsize=10557436 CPUtime=0.03 cores=1,3,5,7
/proc/5213/task/5223/stat : 5223 (java) S 5211 5213 3459 0 -1 4202560 11 0 0 0 3 0 0 0 15 0 19 0 981197910 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5224] ppid=5211 vsize=10557436 CPUtime=2.29 cores=1,3,5,7
/proc/5213/task/5224/stat : 5224 (java) S 5211 5213 3459 0 -1 4202560 1053 0 0 0 228 1 0 0 16 0 19 0 981197911 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000409088 0 0 0 16800975 18446604471138030720 0 0 -1 5 0 0 0
[pid=5213/tid=5225] ppid=5211 vsize=10557436 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5225/stat : 5225 (java) S 5211 5213 3459 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 981197911 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 7 0 0 0
[pid=5213/tid=5226] ppid=5211 vsize=10557436 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5226/stat : 5226 (java) S 5211 5213 3459 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 981197911 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5227] ppid=5211 vsize=10557436 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5227/stat : 5227 (java) S 5211 5213 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981197913 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000416177 0 4 0 16800975 18446604471138030720 0 0 -1 5 0 0 0
[pid=5213/tid=5228] ppid=5211 vsize=10557436 CPUtime=0.34 cores=1,3,5,7
/proc/5213/task/5228/stat : 5228 (java) S 5211 5213 3459 0 -1 4202560 3327 0 0 0 34 0 0 0 15 0 19 0 981197913 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5229] ppid=5211 vsize=10557436 CPUtime=0.84 cores=1,3,5,7
/proc/5213/task/5229/stat : 5229 (java) S 5211 5213 3459 0 -1 4202560 10590 0 0 0 83 1 0 0 16 0 19 0 981197913 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 3 0 0 0
[pid=5213/tid=5230] ppid=5211 vsize=10557436 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5230/stat : 5230 (java) S 5211 5213 3459 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 981197913 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 5 0 0 0
[pid=5213/tid=5231] ppid=5211 vsize=10557436 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5231/stat : 5231 (java) S 5211 5213 3459 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 981197913 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000409088 0 4 0 16800975 18446604471138030720 0 0 -1 3 0 0 0
[pid=5213/tid=5232] ppid=5211 vsize=10557436 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5232/stat : 5232 (java) S 5211 5213 3459 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981197925 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000409088 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 59.69
Current children cumulated vsize (KiB) 10557436

[startup+58.4014 s]
/proc/loadavg: 2.01 2.01 1.94 3/214 5233
/proc/meminfo: memFree=1238004/32950940 swapFree=67053420/67111528
[pid=5213] ppid=5211 vsize=10557436 CPUtime=59.79 cores=1,3,5,7
/proc/5213/stat : 5213 (java) S 5211 5213 3459 0 -1 4202496 29452 0 1 0 5974 5 0 0 25 0 19 0 981197908 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5213/statm: 2639359 20631 2251 9 0 2630093 0
[pid=5213/tid=5214] ppid=5211 vsize=10557436 CPUtime=55.91 cores=1,3,5,7
/proc/5213/task/5214/stat : 5214 (java) R 5211 5213 3459 0 -1 4202560 12320 0 1 0 5590 1 0 0 25 0 19 0 981197908 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 46912505540943 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5213/tid=5216] ppid=5211 vsize=10557436 CPUtime=0.04 cores=1,3,5,7
/proc/5213/task/5216/stat : 5216 (java) S 5211 5213 3459 0 -1 4202560 184 0 0 0 4 0 0 0 15 0 19 0 981197910 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 7 0 0 0
[pid=5213/tid=5217] ppid=5211 vsize=10557436 CPUtime=0.05 cores=1,3,5,7
/proc/5213/task/5217/stat : 5217 (java) S 5211 5213 3459 0 -1 4202560 176 0 0 0 5 0 0 0 15 0 19 0 981197910 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 3 0 0 0
[pid=5213/tid=5218] ppid=5211 vsize=10557436 CPUtime=0.04 cores=1,3,5,7
/proc/5213/task/5218/stat : 5218 (java) S 5211 5213 3459 0 -1 4202560 263 0 0 0 4 0 0 0 16 0 19 0 981197910 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5219] ppid=5211 vsize=10557436 CPUtime=0.04 cores=1,3,5,7
/proc/5213/task/5219/stat : 5219 (java) S 5211 5213 3459 0 -1 4202560 122 0 0 0 4 0 0 0 15 0 19 0 981197910 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5220] ppid=5211 vsize=10557436 CPUtime=0.02 cores=1,3,5,7
/proc/5213/task/5220/stat : 5220 (java) S 5211 5213 3459 0 -1 4202560 10 0 0 0 2 0 0 0 15 0 19 0 981197910 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5221] ppid=5211 vsize=10557436 CPUtime=0.04 cores=1,3,5,7
/proc/5213/task/5221/stat : 5221 (java) S 5211 5213 3459 0 -1 4202560 12 0 0 0 4 0 0 0 16 0 19 0 981197910 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 3 0 0 0
[pid=5213/tid=5222] ppid=5211 vsize=10557436 CPUtime=0.05 cores=1,3,5,7
/proc/5213/task/5222/stat : 5222 (java) S 5211 5213 3459 0 -1 4202560 229 0 0 0 5 0 0 0 15 0 19 0 981197910 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 3 0 0 0
[pid=5213/tid=5223] ppid=5211 vsize=10557436 CPUtime=0.03 cores=1,3,5,7
/proc/5213/task/5223/stat : 5223 (java) S 5211 5213 3459 0 -1 4202560 11 0 0 0 3 0 0 0 15 0 19 0 981197910 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5224] ppid=5211 vsize=10557436 CPUtime=2.29 cores=1,3,5,7
/proc/5213/task/5224/stat : 5224 (java) S 5211 5213 3459 0 -1 4202560 1053 0 0 0 228 1 0 0 16 0 19 0 981197911 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000409088 0 0 0 16800975 18446604471138030720 0 0 -1 5 0 0 0
[pid=5213/tid=5225] ppid=5211 vsize=10557436 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5225/stat : 5225 (java) S 5211 5213 3459 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 981197911 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 7 0 0 0
[pid=5213/tid=5226] ppid=5211 vsize=10557436 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5226/stat : 5226 (java) S 5211 5213 3459 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 981197911 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5227] ppid=5211 vsize=10557436 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5227/stat : 5227 (java) S 5211 5213 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981197913 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000416177 0 4 0 16800975 18446604471138030720 0 0 -1 5 0 0 0
[pid=5213/tid=5228] ppid=5211 vsize=10557436 CPUtime=0.34 cores=1,3,5,7
/proc/5213/task/5228/stat : 5228 (java) S 5211 5213 3459 0 -1 4202560 3327 0 0 0 34 0 0 0 15 0 19 0 981197913 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
[pid=5213/tid=5229] ppid=5211 vsize=10557436 CPUtime=0.84 cores=1,3,5,7
/proc/5213/task/5229/stat : 5229 (java) S 5211 5213 3459 0 -1 4202560 10590 0 0 0 83 1 0 0 16 0 19 0 981197913 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 3 0 0 0
[pid=5213/tid=5230] ppid=5211 vsize=10557436 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5230/stat : 5230 (java) S 5211 5213 3459 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 981197913 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000408473 0 4 0 16800975 18446604471138030720 0 0 -1 5 0 0 0
[pid=5213/tid=5231] ppid=5211 vsize=10557436 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5231/stat : 5231 (java) S 5211 5213 3459 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 981197913 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000409088 0 4 0 16800975 18446604471138030720 0 0 -1 3 0 0 0
[pid=5213/tid=5232] ppid=5211 vsize=10557436 CPUtime=0 cores=1,3,5,7
/proc/5213/task/5232/stat : 5232 (java) S 5211 5213 3459 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981197925 10810814464 20631 33554432000 1073741824 1073778376 140735567538768 18446744073709551615 216000409088 0 4 0 16800975 18446604471138030720 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 59.79
Current children cumulated vsize (KiB) 10557436

Child status: 30
Real time (s): 58.4715
CPU time (s): 59.8719
CPU user time (s): 59.8119
CPU system time (s): 0.05999
CPU usage (%): 102.395
Max. virtual memory (cumulated for all children) (KiB): 10565308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 59.8119
system time used= 0.05999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29478
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= 6409
involuntary context switches= 2557

runsolver used 0.098984 second user time and 0.232964 second system time

The end

Launcher Data 

Begin job on node117 at 2011-06-12 22:14:31
IDJOB=3492365
IDBENCH=78781
IDSOLVER=1982
FILE ID=node117/3492365-1307909671
RUNJOBID= node117-1307907339-4520
PBS_JOBID= 13559588
Free space on /var/tmp= 2884 MiB

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

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

MD5SUM BENCH= 27d3bd64d93eb8804d56550cbc3e68e3
RANDOM SEED=832745683

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5267.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:       1314772 kB
Buffers:         62600 kB
Cached:       30289780 kB
SwapCached:      10872 kB
Active:       15061692 kB
Inactive:     15628088 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:       1314772 kB
SwapTotal:    67111528 kB
SwapFree:     67053420 kB
Dirty:             500 kB
Writeback:           0 kB
AnonPages:      334828 kB
Mapped:          21276 kB
Slab:           882632 kB
PageTables:       5436 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS: 10547664 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

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