Trace number 3492617

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.339 58.0297

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969860--soft-0-100-0.wbo
MD5SUM1b4d108d74bb6ee9510c6f55f0fde657
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark2.57961
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints101
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 4944
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 4943
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1147
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		9996466904
0.00/0.09	c Max memory 		10048897024
0.00/0.09	c Total memory 		10048897024
0.00/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3492617-1307910981.wbo
0.10/0.11	c reading problem ... 
0.10/0.16	c ... done. Wall clock time 0.055s.
0.10/0.16	c #vars     270
0.10/0.16	c #constraints  101
0.10/0.16	c constraints type 
0.10/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
0.10/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
0.28/0.21	c SATISFIABLE
0.28/0.22	c OPTIMIZING...
0.28/0.22	c Got one! Elapsed wall clock time (in seconds):0.107
0.28/0.22	o 612
0.28/0.25	c Got one! Elapsed wall clock time (in seconds):0.141
0.28/0.25	o 532
0.28/0.27	c Got one! Elapsed wall clock time (in seconds):0.158
0.28/0.27	o 510
0.28/0.28	c Got one! Elapsed wall clock time (in seconds):0.169
0.28/0.28	o 277
0.63/0.40	c Got one! Elapsed wall clock time (in seconds):0.289
0.63/0.40	o 265
0.75/0.58	c cleaning 2986 clauses out of 5975 with flag 3001/5975
1.19/0.94	c cleaning 4488 clauses out of 8988 with flag 9000/11974
1.49/1.26	c cleaning 5749 clauses out of 11500 with flag 16000/18974
1.90/1.67	c cleaning 6866 clauses out of 13751 with flag 24000/26974
2.22/1.93	c Got one! Elapsed wall clock time (in seconds):1.819
2.22/1.93	o 263
2.22/1.97	c cleaning 6101 clauses out of 12209 with flag 1001/32298
2.53/2.21	c cleaning 6050 clauses out of 12108 with flag 7001/38298
2.73/2.44	c Got one! Elapsed wall clock time (in seconds):2.331
2.73/2.44	o 262
2.73/2.48	c cleaning 5994 clauses out of 11992 with flag 1000/44232
2.83/2.59	c Got one! Elapsed wall clock time (in seconds):2.486
2.83/2.59	o 252
2.93/2.67	c cleaning 5515 clauses out of 11038 with flag 2002/49272
3.23/2.93	c cleaning 5757 clauses out of 11523 with flag 8002/55272
3.54/3.22	c Got one! Elapsed wall clock time (in seconds):3.115
3.54/3.22	o 248
3.73/3.43	c cleaning 8396 clauses out of 16801 with flag 5001/66307
3.83/3.54	c Got one! Elapsed wall clock time (in seconds):3.43
3.83/3.54	o 220
3.93/3.66	c cleaning 6825 clauses out of 13657 with flag 3002/71559
4.13/3.88	c Got one! Elapsed wall clock time (in seconds):3.773
4.13/3.88	o 215
4.34/4.09	c cleaning 8431 clauses out of 16872 with flag 5003/81599
4.64/4.33	c Got one! Elapsed wall clock time (in seconds):4.221
4.64/4.33	o 213
4.85/4.56	c cleaning 9665 clauses out of 19339 with flag 5000/92497
4.95/4.61	c Got one! Elapsed wall clock time (in seconds):4.507
4.95/4.61	o 206
5.15/4.82	c cleaning 7746 clauses out of 15496 with flag 5002/98319
5.35/5.02	c Got one! Elapsed wall clock time (in seconds):4.911
5.35/5.02	o 196
5.35/5.07	c cleaning 6659 clauses out of 13327 with flag 1000/103896
5.55/5.28	c Got one! Elapsed wall clock time (in seconds):5.169
5.55/5.28	o 175
5.86/5.51	c cleaning 8645 clauses out of 17297 with flag 5003/114525
6.06/5.74	c cleaning 7318 clauses out of 14649 with flag 11000/120522
6.36/6.09	c cleaning 7157 clauses out of 14331 with flag 18000/127522
6.76/6.41	c Got one! Elapsed wall clock time (in seconds):6.302
6.76/6.41	o 174
6.97/6.63	c cleaning 9431 clauses out of 18874 with flag 5000/139222
7.26/6.95	c cleaning 7717 clauses out of 15443 with flag 11000/145222
7.66/7.30	c cleaning 7359 clauses out of 14726 with flag 18000/152222
7.97/7.70	c cleaning 7677 clauses out of 15368 with flag 26001/160223
8.57/8.23	c cleaning 8332 clauses out of 16690 with flag 35000/169222
9.18/8.81	c cleaning 9173 clauses out of 18359 with flag 45001/179223
9.18/8.86	c Got one! Elapsed wall clock time (in seconds):8.749
9.18/8.86	o 153
9.38/9.04	c cleaning 7338 clauses out of 14681 with flag 5000/184718
9.58/9.26	c cleaning 6668 clauses out of 13344 with flag 11001/190719
9.88/9.51	c cleaning 6834 clauses out of 13675 with flag 18000/197718
10.19/9.83	c Got one! Elapsed wall clock time (in seconds):9.718
10.19/9.83	o 151
10.40/10.06	c cleaning 9607 clauses out of 19231 with flag 5000/210108
10.70/10.37	c cleaning 7808 clauses out of 15625 with flag 11001/216109
11.11/10.75	c cleaning 7403 clauses out of 14817 with flag 18001/223109
11.51/11.16	c cleaning 7704 clauses out of 15414 with flag 26001/231109
12.01/11.67	c cleaning 8348 clauses out of 16710 with flag 35001/240109
12.61/12.24	c cleaning 9175 clauses out of 18361 with flag 45000/250108
13.21/12.81	c cleaning 9587 clauses out of 19187 with flag 55001/260109
13.52/13.15	c Got one! Elapsed wall clock time (in seconds):13.039
13.52/13.15	o 149
13.71/13.36	c cleaning 10296 clauses out of 20598 with flag 5000/271107
13.91/13.59	c cleaning 8144 clauses out of 16302 with flag 11000/277107
14.21/13.86	c cleaning 7572 clauses out of 15158 with flag 18000/284107
14.51/14.18	c cleaning 7788 clauses out of 15586 with flag 26000/292107
14.72/14.36	c Got one! Elapsed wall clock time (in seconds):14.253
14.72/14.36	o 147
14.81/14.41	c cleaning 6695 clauses out of 13398 with flag 1003/297707
15.12/14.70	c cleaning 6345 clauses out of 12700 with flag 7000/303704
15.22/14.83	c Got one! Elapsed wall clock time (in seconds):14.725
15.22/14.83	o 142
15.32/14.93	c cleaning 5978 clauses out of 11962 with flag 3001/309311
15.62/15.27	c cleaning 5989 clauses out of 11987 with flag 9004/315314
16.02/15.61	c cleaning 6488 clauses out of 12995 with flag 16001/322311
16.42/16.00	c cleaning 7251 clauses out of 14507 with flag 24001/330311
16.83/16.43	c Got one! Elapsed wall clock time (in seconds):16.321
16.83/16.43	o 140
17.02/16.64	c cleaning 10348 clauses out of 20700 with flag 5003/343755
17.22/16.88	c cleaning 8169 clauses out of 16349 with flag 11000/349752
17.52/17.16	c cleaning 7586 clauses out of 15183 with flag 18003/356755
17.93/17.52	c cleaning 7792 clauses out of 15595 with flag 26001/364753
18.23/17.88	c Got one! Elapsed wall clock time (in seconds):17.774
18.23/17.88	o 124
18.50/18.09	c cleaning 10358 clauses out of 20726 with flag 5001/377676
18.81/18.32	c cleaning 8180 clauses out of 16369 with flag 11002/383677
19.01/18.59	c cleaning 7584 clauses out of 15187 with flag 18000/390675
19.31/18.88	c cleaning 7797 clauses out of 15603 with flag 26000/398675
19.81/19.30	c cleaning 8393 clauses out of 16807 with flag 35001/407676
20.01/19.57	c Got one! Elapsed wall clock time (in seconds):19.459
20.01/19.57	o 118
20.21/19.77	c cleaning 9582 clauses out of 19171 with flag 5001/418433
20.51/20.00	c cleaning 7791 clauses out of 15589 with flag 11001/424433
20.71/20.26	c cleaning 7393 clauses out of 14798 with flag 18001/431433
21.01/20.59	c cleaning 7696 clauses out of 15404 with flag 26000/439432
21.42/20.96	c cleaning 8351 clauses out of 16712 with flag 35004/448436
21.96/21.41	c cleaning 9176 clauses out of 18357 with flag 45000/458432
22.53/21.76	c Got one! Elapsed wall clock time (in seconds):21.648
22.53/21.76	o 117
22.89/22.01	c cleaning 10287 clauses out of 20583 with flag 5000/469834
23.09/22.10	c Got one! Elapsed wall clock time (in seconds):21.995
23.09/22.10	o 103
23.29/22.27	c cleaning 7894 clauses out of 15795 with flag 4001/475333
23.65/22.50	c cleaning 6942 clauses out of 13902 with flag 10002/481334
23.95/22.82	c cleaning 6966 clauses out of 13958 with flag 17000/488332
24.35/23.22	c cleaning 7489 clauses out of 14992 with flag 25000/496332
24.85/23.71	c cleaning 8243 clauses out of 16503 with flag 34000/505332
25.26/24.14	c Got one! Elapsed wall clock time (in seconds):24.034
25.26/24.14	o 95
25.46/24.36	c cleaning 10687 clauses out of 21382 with flag 5003/518454
25.76/24.60	c cleaning 8336 clauses out of 16692 with flag 11000/524451
25.96/24.89	c cleaning 7676 clauses out of 15359 with flag 18003/531454
26.37/25.27	c cleaning 7834 clauses out of 15681 with flag 26001/539452
26.86/25.72	c cleaning 8419 clauses out of 16849 with flag 35003/548454
27.36/26.23	c cleaning 9205 clauses out of 18428 with flag 45001/558452
27.86/26.74	c cleaning 9605 clauses out of 19222 with flag 55000/568451
27.96/26.83	c Got one! Elapsed wall clock time (in seconds):26.718
27.96/26.83	o 86
28.06/26.97	c cleaning 7438 clauses out of 14883 with flag 4001/573717
28.26/27.18	c cleaning 6716 clauses out of 13445 with flag 10001/579717
28.57/27.45	c cleaning 6861 clauses out of 13729 with flag 17001/586717
28.87/27.74	c cleaning 7428 clauses out of 14867 with flag 25000/594716
29.27/28.12	c cleaning 8215 clauses out of 16440 with flag 34001/603717
29.67/28.55	c cleaning 9107 clauses out of 18225 with flag 44001/613717
30.17/29.03	c cleaning 9552 clauses out of 19117 with flag 54000/623716
30.48/29.36	c Got one! Elapsed wall clock time (in seconds):29.254
30.48/29.36	o 73
30.68/29.57	c cleaning 10852 clauses out of 21710 with flag 5000/635861
30.98/29.82	c cleaning 8424 clauses out of 16858 with flag 11000/641861
31.18/30.08	c cleaning 7711 clauses out of 15435 with flag 18001/648862
31.48/30.39	c cleaning 7861 clauses out of 15727 with flag 26004/656865
31.88/30.77	c cleaning 8427 clauses out of 16862 with flag 35000/665861
32.28/31.19	c cleaning 9216 clauses out of 18437 with flag 45002/675863
32.78/31.64	c cleaning 9607 clauses out of 19220 with flag 55001/685862
33.18/32.07	c cleaning 9803 clauses out of 19613 with flag 65001/695862
33.68/32.56	c cleaning 9901 clauses out of 19810 with flag 75001/705862
33.99/32.87	c Got one! Elapsed wall clock time (in seconds):32.762
33.99/32.87	o 60
34.19/33.09	c cleaning 10757 clauses out of 21520 with flag 5000/717473
34.49/33.38	c cleaning 8378 clauses out of 16763 with flag 11000/723473
34.69/33.59	c Got one! Elapsed wall clock time (in seconds):33.486
34.69/33.59	o 54
34.99/33.82	c cleaning 9293 clauses out of 18593 with flag 5003/733681
35.19/34.05	c cleaning 7645 clauses out of 15297 with flag 11000/739678
35.49/34.34	c cleaning 7323 clauses out of 14654 with flag 18002/746680
35.89/34.70	c cleaning 7658 clauses out of 15329 with flag 26000/754678
36.19/35.04	c Got one! Elapsed wall clock time (in seconds):34.932
36.19/35.04	o 46
36.39/35.26	c cleaning 10522 clauses out of 21049 with flag 5000/768056
36.69/35.50	c cleaning 8260 clauses out of 16527 with flag 11000/774056
36.89/35.76	c cleaning 7629 clauses out of 15267 with flag 18000/781056
37.19/36.06	c cleaning 7816 clauses out of 15638 with flag 26000/789056
37.50/36.39	c cleaning 8407 clauses out of 16823 with flag 35001/798057
37.89/36.77	c cleaning 9195 clauses out of 18415 with flag 45000/808056
38.29/37.14	c cleaning 9608 clauses out of 19222 with flag 55002/818058
38.69/37.53	c cleaning 9799 clauses out of 19612 with flag 65000/828056
38.80/37.66	c Got one! Elapsed wall clock time (in seconds):37.557
38.80/37.66	o 43
38.90/37.75	c cleaning 7753 clauses out of 15512 with flag 2000/833755
39.10/37.96	c cleaning 6875 clauses out of 13759 with flag 8000/839755
39.40/38.20	c cleaning 6937 clauses out of 13885 with flag 15001/846756
39.70/38.51	c cleaning 7471 clauses out of 14951 with flag 23004/854759
40.00/38.88	c cleaning 8233 clauses out of 16478 with flag 32002/863757
40.40/39.28	c cleaning 9117 clauses out of 18246 with flag 42003/873758
40.90/39.71	c cleaning 9560 clauses out of 19128 with flag 52002/883757
40.90/39.74	c Got one! Elapsed wall clock time (in seconds):39.633
40.90/39.74	o 24
41.10/39.91	c cleaning 7574 clauses out of 15151 with flag 5003/889340
41.31/40.13	c cleaning 6782 clauses out of 13574 with flag 11000/895337
41.51/40.37	c cleaning 6892 clauses out of 13792 with flag 18000/902337
41.81/40.66	c cleaning 7442 clauses out of 14900 with flag 26000/910337
42.21/41.01	c cleaning 8223 clauses out of 16459 with flag 35001/919338
42.51/41.39	c cleaning 9115 clauses out of 18235 with flag 45000/929337
43.02/41.82	c cleaning 9556 clauses out of 19121 with flag 55001/939338
43.42/42.24	c cleaning 9780 clauses out of 19565 with flag 65001/949338
43.82/42.67	c cleaning 9886 clauses out of 19784 with flag 75000/959337
44.22/43.07	c cleaning 9942 clauses out of 19899 with flag 85001/969338
44.62/43.43	c cleaning 9974 clauses out of 19956 with flag 95000/979337
45.02/43.82	c cleaning 9983 clauses out of 19982 with flag 105000/989337
45.42/44.20	c cleaning 9994 clauses out of 20002 with flag 115003/999340
45.83/44.60	c cleaning 10001 clauses out of 20010 with flag 125005/1009342
46.23/45.03	c cleaning 9998 clauses out of 20005 with flag 135001/1019338
46.73/45.50	c cleaning 9996 clauses out of 20006 with flag 145000/1029337
47.13/45.90	c cleaning 10002 clauses out of 20012 with flag 155002/1039339
47.44/46.25	c cleaning 10001 clauses out of 20008 with flag 165000/1049337
47.83/46.61	c cleaning 9998 clauses out of 20009 with flag 175002/1059339
48.13/46.97	c cleaning 9997 clauses out of 20010 with flag 185001/1069338
48.44/47.28	c Got one! Elapsed wall clock time (in seconds):47.173
48.44/47.28	o 14
48.74/47.53	c cleaning 12095 clauses out of 24201 with flag 5002/1083526
48.94/47.76	c cleaning 9044 clauses out of 18104 with flag 11000/1089524
49.24/48.00	c cleaning 8026 clauses out of 16060 with flag 18000/1096524
49.44/48.27	c cleaning 8013 clauses out of 16036 with flag 26002/1104526
49.74/48.57	c cleaning 8507 clauses out of 17022 with flag 35001/1113525
49.84/48.61	c Got one! Elapsed wall clock time (in seconds):48.503
49.84/48.61	o 11
49.94/48.78	c cleaning 7228 clauses out of 14462 with flag 5000/1119472
50.14/48.98	c cleaning 6614 clauses out of 13235 with flag 11001/1125473
50.44/49.22	c cleaning 6807 clauses out of 13624 with flag 18004/1132476
50.65/49.49	c cleaning 7400 clauses out of 14813 with flag 26000/1140472
51.04/49.83	c cleaning 8199 clauses out of 16413 with flag 35000/1149472
51.34/50.20	c cleaning 9104 clauses out of 18214 with flag 45000/1159472
51.75/50.54	c cleaning 9554 clauses out of 19112 with flag 55002/1169474
52.04/50.89	c cleaning 9775 clauses out of 19557 with flag 65001/1179473
52.44/51.25	c cleaning 9885 clauses out of 19782 with flag 75001/1189473
52.85/51.62	c cleaning 9943 clauses out of 19897 with flag 85001/1199473
53.15/51.97	c cleaning 9972 clauses out of 19955 with flag 95002/1209474
53.25/52.00	c Got one! Elapsed wall clock time (in seconds):51.894
53.25/52.00	o 3
53.36/52.17	c cleaning 7870 clauses out of 15747 with flag 5001/1215238
53.56/52.37	c cleaning 6935 clauses out of 13879 with flag 11003/1221240
53.86/52.60	c cleaning 6966 clauses out of 13944 with flag 18003/1228240
54.07/52.87	c cleaning 7484 clauses out of 14976 with flag 26001/1236238
54.46/53.22	c cleaning 8240 clauses out of 16491 with flag 35000/1245237
54.76/53.57	c cleaning 9121 clauses out of 18252 with flag 45001/1255238
55.17/53.99	c cleaning 9561 clauses out of 19130 with flag 55000/1265237
55.57/54.38	c cleaning 9780 clauses out of 19572 with flag 65003/1275240
55.97/54.78	c cleaning 9888 clauses out of 19789 with flag 75000/1285237
56.36/55.16	c cleaning 9944 clauses out of 19902 with flag 85001/1295238
56.47/55.23	c Got one! Elapsed wall clock time (in seconds):55.121
56.47/55.23	o 1
56.58/55.37	c cleaning 7865 clauses out of 15741 with flag 4000/1301021
56.78/55.56	c cleaning 6931 clauses out of 13877 with flag 10001/1307022
56.98/55.80	c cleaning 6969 clauses out of 13946 with flag 17001/1314022
57.29/56.10	c cleaning 7484 clauses out of 14978 with flag 25002/1322023
57.69/56.40	c cleaning 8242 clauses out of 16494 with flag 34002/1331023
58.09/56.80	c cleaning 9121 clauses out of 18251 with flag 44001/1341022
58.40/57.18	c cleaning 9562 clauses out of 19132 with flag 54003/1351024
58.79/57.55	c cleaning 9779 clauses out of 19568 with flag 64001/1361022
59.19/57.91	c cleaning 9888 clauses out of 19788 with flag 74000/1371021
59.30/58.02	c starts		: 227
59.30/58.02	c conflicts		: 1374009
59.30/58.02	c decisions		: 2103093
59.30/58.02	c propagations		: 36346509
59.30/58.02	c inspects		: 336689182
59.30/58.02	c shortcuts		: 0
59.30/58.02	c learnt literals	: 4
59.30/58.02	c learnt binary clauses	: 85
59.30/58.02	c learnt ternary clauses	: 1150
59.30/58.02	c learnt constraints	: 1374004
59.30/58.02	c ignored constraints	: 0
59.30/58.02	c root simplifications	: 0
59.30/58.02	c removed literals (reason simplification)	: 9140863
59.30/58.02	c reason swapping (by a shorter reason)	: 0
59.30/58.02	c Calls to reduceDB	: 164
59.30/58.02	c number of reductions to clauses (during analyze)	: 0
59.30/58.02	c number of learned constraints concerned by reduction	: 0
59.30/58.02	c number of learning phase by resolution	: 0
59.30/58.02	c number of learning phase by cutting planes	: 0
59.30/58.02	c speed (assignments/second)	: 1.302742258064516E7
59.30/58.02	c non guided choices	2355
59.30/58.02	c learnt constraints type 
59.30/58.02	c constraints type 
59.30/58.02	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
59.30/58.02	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
59.30/58.02	s OPTIMUM FOUND
59.30/58.02	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.30/58.02	c objective function=1
59.30/58.02	c Total wall clock time (in seconds): 57.912

Verifier Data 

OK	1

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-3492617-1307910981/watcher-3492617-1307910981 -o /var/tmp/evaluation-result-3492617-1307910981/solver-3492617-1307910981 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492617-1307910981.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.11 2.03 1.92 2/195 13649
/proc/meminfo: memFree=778712/32950928 swapFree=67050636/67111528
[pid=13649] ppid=13647 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/13649/stat : 13649 (java) R 13647 13649 10203 0 -1 4202496 952 0 0 0 0 0 0 0 25 0 1 0 902696765 23580672 693 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251809277841 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13649/statm: 5757 694 511 9 0 124 0

[startup+0.0939339 s]
/proc/loadavg: 2.11 2.03 1.92 2/195 13649
/proc/meminfo: memFree=778712/32950928 swapFree=67050636/67111528
[pid=13649] ppid=13647 vsize=10474952 CPUtime=0.09 cores=1,3,5,7
/proc/13649/stat : 13649 (java) S 13647 13649 10203 0 -1 4202496 12987 0 1 0 8 1 0 0 25 0 18 0 902696765 10726350848 12644 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13649/statm: 2618738 12646 2093 9 0 2609472 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10474952

[startup+0.100884 s]
/proc/loadavg: 2.11 2.03 1.92 2/195 13649
/proc/meminfo: memFree=778712/32950928 swapFree=67050636/67111528
[pid=13649] ppid=13647 vsize=10474952 CPUtime=0.1 cores=1,3,5,7
/proc/13649/stat : 13649 (java) S 13647 13649 10203 0 -1 4202496 13055 0 1 0 9 1 0 0 25 0 18 0 902696765 10726350848 12712 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13649/statm: 2618738 12712 2093 9 0 2609472 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10474952

[startup+0.300855 s]
/proc/loadavg: 2.11 2.03 1.92 2/195 13649
/proc/meminfo: memFree=778712/32950928 swapFree=67050636/67111528
[pid=13649] ppid=13647 vsize=10544052 CPUtime=0.5 cores=1,3,5,7
/proc/13649/stat : 13649 (java) S 13647 13649 10203 0 -1 4202496 16038 0 1 0 47 3 0 0 25 0 19 0 902696765 10797109248 14900 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13649/statm: 2636013 14900 2215 9 0 2626747 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10544052

[startup+0.700784 s]
/proc/loadavg: 2.11 2.03 1.92 2/195 13649
/proc/meminfo: memFree=778712/32950928 swapFree=67050636/67111528
[pid=13649] ppid=13647 vsize=10545076 CPUtime=0.97 cores=1,3,5,7
/proc/13649/stat : 13649 (java) S 13647 13649 10203 0 -1 4202496 17019 0 1 0 94 3 0 0 25 0 19 0 902696765 10798157824 15876 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13649/statm: 2636269 15876 2247 9 0 2627003 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 10545076

[startup+1.50065 s]
/proc/loadavg: 2.11 2.03 1.92 3/214 13668
/proc/meminfo: memFree=722784/32950928 swapFree=67050636/67111528
[pid=13649] ppid=13647 vsize=10545076 CPUtime=1.8 cores=1,3,5,7
/proc/13649/stat : 13649 (java) S 13647 13649 10203 0 -1 4202496 17591 0 1 0 177 3 0 0 25 0 19 0 902696765 10798157824 16446 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13649/statm: 2636269 16446 2247 9 0 2627003 0
[pid=13649/tid=13651] ppid=13647 vsize=10545076 CPUtime=1.43 cores=1,3,5,7
/proc/13649/task/13651/stat : 13651 (java) R 13647 13649 10203 0 -1 4202560 12113 0 1 0 142 1 0 0 25 0 19 0 902696765 10798157824 16446 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 46912505551476 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13649/tid=13652] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13652/stat : 13652 (java) S 13647 13649 10203 0 -1 4202560 129 0 0 0 0 0 0 0 15 0 19 0 902696767 10798157824 16446 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13653] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13653/stat : 13653 (java) S 13647 13649 10203 0 -1 4202560 156 0 0 0 0 0 0 0 15 0 19 0 902696767 10798157824 16446 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13654] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13654/stat : 13654 (java) S 13647 13649 10203 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 902696767 10798157824 16446 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 5 0 0 0
[pid=13649/tid=13655] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13655/stat : 13655 (java) S 13647 13649 10203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902696767 10798157824 16446 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 5 0 0 0
[pid=13649/tid=13656] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13656/stat : 13656 (java) S 13647 13649 10203 0 -1 4202560 40 0 0 0 0 0 0 0 15 0 19 0 902696767 10798157824 16446 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 5 0 0 0
[pid=13649/tid=13657] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13657/stat : 13657 (java) S 13647 13649 10203 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 902696767 10798157824 16446 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 5 0 0 0
[pid=13649/tid=13658] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13658/stat : 13658 (java) S 13647 13649 10203 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902696767 10798157824 16446 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 5 0 0 0
[pid=13649/tid=13659] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13659/stat : 13659 (java) S 13647 13649 10203 0 -1 4202560 124 0 0 0 0 0 0 0 15 0 19 0 902696767 10798157824 16446 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 5 0 0 0
[pid=13649/tid=13660] ppid=13647 vsize=10545076 CPUtime=0.03 cores=1,3,5,7
/proc/13649/task/13660/stat : 13660 (java) S 13647 13649 10203 0 -1 4202560 450 0 0 0 3 0 0 0 15 0 19 0 902696768 10798157824 16446 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056704 0 0 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13661] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13661/stat : 13661 (java) S 13647 13649 10203 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 902696768 10798157824 16446 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13662] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13662/stat : 13662 (java) S 13647 13649 10203 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 902696768 10798157824 16446 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13663] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13663/stat : 13663 (java) S 13647 13649 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902696771 10798157824 16446 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826063793 0 4 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13664] ppid=13647 vsize=10545076 CPUtime=0.18 cores=1,3,5,7
/proc/13649/task/13664/stat : 13664 (java) S 13647 13649 10203 0 -1 4202560 2070 0 0 0 18 0 0 0 17 0 19 0 902696771 10798157824 16446 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 7 0 0 0
[pid=13649/tid=13665] ppid=13647 vsize=10545076 CPUtime=0.11 cores=1,3,5,7
/proc/13649/task/13665/stat : 13665 (java) S 13647 13649 10203 0 -1 4202560 1182 0 0 0 11 0 0 0 16 0 19 0 902696771 10798157824 16446 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13666] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13666/stat : 13666 (java) S 13647 13649 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902696771 10798157824 16446 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13667] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13667/stat : 13667 (java) S 13647 13649 10203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902696771 10798157824 16446 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056704 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13668] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13668/stat : 13668 (java) S 13647 13649 10203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902696782 10798157824 16446 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056704 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 10545076

[startup+3.10138 s]
/proc/loadavg: 2.11 2.03 1.92 3/214 13669
/proc/meminfo: memFree=721048/32950928 swapFree=67050636/67111528
[pid=13649] ppid=13647 vsize=10545076 CPUtime=3.43 cores=1,3,5,7
/proc/13649/stat : 13649 (java) S 13647 13649 10203 0 -1 4202496 17866 0 1 0 340 3 0 0 25 0 19 0 902696765 10798157824 16715 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13649/statm: 2636269 16715 2248 9 0 2627003 0
[pid=13649/tid=13651] ppid=13647 vsize=10545076 CPUtime=2.96 cores=1,3,5,7
/proc/13649/task/13651/stat : 13651 (java) R 13647 13649 10203 0 -1 4202560 12119 0 1 0 294 2 0 0 25 0 19 0 902696765 10798157824 16715 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 46912505588303 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13649/tid=13652] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13652/stat : 13652 (java) S 13647 13649 10203 0 -1 4202560 210 0 0 0 0 0 0 0 15 0 19 0 902696767 10798157824 16715 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 5 0 0 0
[pid=13649/tid=13653] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13653/stat : 13653 (java) S 13647 13649 10203 0 -1 4202560 224 0 0 0 0 0 0 0 16 0 19 0 902696767 10798157824 16715 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13654] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13654/stat : 13654 (java) S 13647 13649 10203 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 902696767 10798157824 16715 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13655] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13655/stat : 13655 (java) S 13647 13649 10203 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 902696767 10798157824 16715 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 5 0 0 0
[pid=13649/tid=13656] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13656/stat : 13656 (java) S 13647 13649 10203 0 -1 4202560 41 0 0 0 0 0 0 0 15 0 19 0 902696767 10798157824 16715 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 5 0 0 0
[pid=13649/tid=13657] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13657/stat : 13657 (java) S 13647 13649 10203 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 902696767 10798157824 16715 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 5 0 0 0
[pid=13649/tid=13658] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13658/stat : 13658 (java) S 13647 13649 10203 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 902696767 10798157824 16715 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13659] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13659/stat : 13659 (java) S 13647 13649 10203 0 -1 4202560 124 0 0 0 0 0 0 0 15 0 19 0 902696767 10798157824 16715 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13660] ppid=13647 vsize=10545076 CPUtime=0.1 cores=1,3,5,7
/proc/13649/task/13660/stat : 13660 (java) S 13647 13649 10203 0 -1 4202560 557 0 0 0 10 0 0 0 15 0 19 0 902696768 10798157824 16715 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056704 0 0 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13661] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13661/stat : 13661 (java) S 13647 13649 10203 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 902696768 10798157824 16715 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13662] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13662/stat : 13662 (java) S 13647 13649 10203 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 902696768 10798157824 16715 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13663] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13663/stat : 13663 (java) S 13647 13649 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902696771 10798157824 16715 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826063793 0 4 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13664] ppid=13647 vsize=10545076 CPUtime=0.21 cores=1,3,5,7
/proc/13649/task/13664/stat : 13664 (java) S 13647 13649 10203 0 -1 4202560 2077 0 0 0 21 0 0 0 15 0 19 0 902696771 10798157824 16715 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 7 0 0 0
[pid=13649/tid=13665] ppid=13647 vsize=10545076 CPUtime=0.12 cores=1,3,5,7
/proc/13649/task/13665/stat : 13665 (java) S 13647 13649 10203 0 -1 4202560 1183 0 0 0 12 0 0 0 15 0 19 0 902696771 10798157824 16715 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13666] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13666/stat : 13666 (java) S 13647 13649 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902696771 10798157824 16715 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13667] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13667/stat : 13667 (java) S 13647 13649 10203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902696771 10798157824 16715 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056704 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13668] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13668/stat : 13668 (java) S 13647 13649 10203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902696782 10798157824 16715 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056704 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.43
Current children cumulated vsize (KiB) 10545076

[startup+6.30084 s]
/proc/loadavg: 2.10 2.03 1.92 3/214 13669
/proc/meminfo: memFree=719352/32950928 swapFree=67050636/67111528
[pid=13649] ppid=13647 vsize=10545076 CPUtime=6.66 cores=1,3,5,7
/proc/13649/stat : 13649 (java) S 13647 13649 10203 0 -1 4202496 18116 0 1 0 663 3 0 0 25 0 19 0 902696765 10798157824 16955 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13649/statm: 2636269 16955 2249 9 0 2627003 0
[pid=13649/tid=13651] ppid=13647 vsize=10545076 CPUtime=6.03 cores=1,3,5,7
/proc/13649/task/13651/stat : 13651 (java) R 13647 13649 10203 0 -1 4202560 12130 0 1 0 601 2 0 0 25 0 19 0 902696765 10798157824 16955 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 46912505558087 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13649/tid=13652] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13652/stat : 13652 (java) S 13647 13649 10203 0 -1 4202560 235 0 0 0 0 0 0 0 15 0 19 0 902696767 10798157824 16955 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13653] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13653/stat : 13653 (java) S 13647 13649 10203 0 -1 4202560 240 0 0 0 0 0 0 0 15 0 19 0 902696767 10798157824 16955 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 5 0 0 0
[pid=13649/tid=13654] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13654/stat : 13654 (java) S 13647 13649 10203 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 902696767 10798157824 16955 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 7 0 0 0
[pid=13649/tid=13655] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13655/stat : 13655 (java) S 13647 13649 10203 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 19 0 902696767 10798157824 16955 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 5 0 0 0
[pid=13649/tid=13656] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13656/stat : 13656 (java) S 13647 13649 10203 0 -1 4202560 41 0 0 0 0 0 0 0 15 0 19 0 902696767 10798157824 16955 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 5 0 0 0
[pid=13649/tid=13657] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13657/stat : 13657 (java) S 13647 13649 10203 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 902696767 10798157824 16955 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13658] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13658/stat : 13658 (java) S 13647 13649 10203 0 -1 4202560 41 0 0 0 0 0 0 0 15 0 19 0 902696767 10798157824 16955 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 7 0 0 0
[pid=13649/tid=13659] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13659/stat : 13659 (java) S 13647 13649 10203 0 -1 4202560 144 0 0 0 0 0 0 0 16 0 19 0 902696767 10798157824 16955 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13660] ppid=13647 vsize=10545076 CPUtime=0.21 cores=1,3,5,7
/proc/13649/task/13660/stat : 13660 (java) S 13647 13649 10203 0 -1 4202560 655 0 0 0 21 0 0 0 15 0 19 0 902696768 10798157824 16955 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056704 0 0 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13661] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13661/stat : 13661 (java) S 13647 13649 10203 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 902696768 10798157824 16955 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13662] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13662/stat : 13662 (java) S 13647 13649 10203 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 902696768 10798157824 16955 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13663] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13663/stat : 13663 (java) S 13647 13649 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902696771 10798157824 16955 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826063793 0 4 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13664] ppid=13647 vsize=10545076 CPUtime=0.22 cores=1,3,5,7
/proc/13649/task/13664/stat : 13664 (java) S 13647 13649 10203 0 -1 4202560 2086 0 0 0 22 0 0 0 16 0 19 0 902696771 10798157824 16955 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 7 0 0 0
[pid=13649/tid=13665] ppid=13647 vsize=10545076 CPUtime=0.12 cores=1,3,5,7
/proc/13649/task/13665/stat : 13665 (java) S 13647 13649 10203 0 -1 4202560 1183 0 0 0 12 0 0 0 15 0 19 0 902696771 10798157824 16955 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13666] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13666/stat : 13666 (java) S 13647 13649 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902696771 10798157824 16955 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13667] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13667/stat : 13667 (java) S 13647 13649 10203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902696771 10798157824 16955 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056704 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13668] ppid=13647 vsize=10545076 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13668/stat : 13668 (java) S 13647 13649 10203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902696782 10798157824 16955 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056704 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.66
Current children cumulated vsize (KiB) 10545076

[startup+12.7008 s]

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

/proc/13649/task/13652/stat : 13652 (java) S 13647 13649 10203 0 -1 4202560 244 0 0 0 3 0 0 0 15 0 19 0 902696767 10819584000 23217 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 7 0 0 0
[pid=13649/tid=13653] ppid=13647 vsize=10566000 CPUtime=0.04 cores=1,3,5,7
/proc/13649/task/13653/stat : 13653 (java) S 13647 13649 10203 0 -1 4202560 245 0 0 0 4 0 0 0 15 0 19 0 902696767 10819584000 23217 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13654] ppid=13647 vsize=10566000 CPUtime=0.03 cores=1,3,5,7
/proc/13649/task/13654/stat : 13654 (java) S 13647 13649 10203 0 -1 4202560 109 0 0 0 3 0 0 0 15 0 19 0 902696767 10819584000 23217 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13655] ppid=13647 vsize=10566000 CPUtime=0.04 cores=1,3,5,7
/proc/13649/task/13655/stat : 13655 (java) S 13647 13649 10203 0 -1 4202560 14 0 0 0 4 0 0 0 15 0 19 0 902696767 10819584000 23217 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13656] ppid=13647 vsize=10566000 CPUtime=0.05 cores=1,3,5,7
/proc/13649/task/13656/stat : 13656 (java) S 13647 13649 10203 0 -1 4202560 45 0 0 0 5 0 0 0 15 0 19 0 902696767 10819584000 23217 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 5 0 0 0
[pid=13649/tid=13657] ppid=13647 vsize=10566000 CPUtime=0.04 cores=1,3,5,7
/proc/13649/task/13657/stat : 13657 (java) S 13647 13649 10203 0 -1 4202560 107 0 0 0 4 0 0 0 15 0 19 0 902696767 10819584000 23217 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13658] ppid=13647 vsize=10566000 CPUtime=0.05 cores=1,3,5,7
/proc/13649/task/13658/stat : 13658 (java) S 13647 13649 10203 0 -1 4202560 46 0 0 0 5 0 0 0 15 0 19 0 902696767 10819584000 23217 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13659] ppid=13647 vsize=10566000 CPUtime=0.05 cores=1,3,5,7
/proc/13649/task/13659/stat : 13659 (java) S 13647 13649 10203 0 -1 4202560 151 0 0 0 5 0 0 0 15 0 19 0 902696767 10819584000 23217 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13660] ppid=13647 vsize=10566000 CPUtime=2.13 cores=1,3,5,7
/proc/13649/task/13660/stat : 13660 (java) S 13647 13649 10203 0 -1 4202560 1059 0 0 0 213 0 0 0 16 0 19 0 902696768 10819584000 23217 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056704 0 0 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13661] ppid=13647 vsize=10566000 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13661/stat : 13661 (java) S 13647 13649 10203 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 902696768 10819584000 23217 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13662] ppid=13647 vsize=10566000 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13662/stat : 13662 (java) S 13647 13649 10203 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 902696768 10819584000 23217 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13663] ppid=13647 vsize=10566000 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13663/stat : 13663 (java) S 13647 13649 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902696771 10819584000 23217 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826063793 0 4 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13664] ppid=13647 vsize=10566000 CPUtime=0.3 cores=1,3,5,7
/proc/13649/task/13664/stat : 13664 (java) S 13647 13649 10203 0 -1 4202560 3066 0 0 0 30 0 0 0 16 0 19 0 902696771 10819584000 23217 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13665] ppid=13647 vsize=10566000 CPUtime=0.78 cores=1,3,5,7
/proc/13649/task/13665/stat : 13665 (java) S 13647 13649 10203 0 -1 4202560 8904 0 0 0 77 1 0 0 15 0 19 0 902696771 10819584000 23217 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13666] ppid=13647 vsize=10566000 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13666/stat : 13666 (java) S 13647 13649 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902696771 10819584000 23217 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13667] ppid=13647 vsize=10566000 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13667/stat : 13667 (java) S 13647 13649 10203 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902696771 10819584000 23217 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056704 0 4 0 16800975 18446604463392406400 0 0 -1 5 0 0 0
[pid=13649/tid=13668] ppid=13647 vsize=10566000 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13668/stat : 13668 (java) S 13647 13649 10203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902696782 10819584000 23217 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056704 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 57.99
Current children cumulated vsize (KiB) 10566000

[startup+57.5012 s]
/proc/loadavg: 2.04 2.02 1.92 3/214 13670
/proc/meminfo: memFree=692260/32950928 swapFree=67050636/67111528
[pid=13649] ppid=13647 vsize=10566000 CPUtime=58.79 cores=1,3,5,7
/proc/13649/stat : 13649 (java) S 13647 13649 10203 0 -1 4202496 27428 0 1 0 5871 8 0 0 25 0 19 0 902696765 10819584000 23218 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13649/statm: 2641500 23218 2251 9 0 2632234 0
[pid=13649/tid=13651] ppid=13647 vsize=10566000 CPUtime=55.11 cores=1,3,5,7
/proc/13649/task/13651/stat : 13651 (java) R 13647 13649 10203 0 -1 4202560 12280 0 1 0 5509 2 0 0 25 0 19 0 902696765 10819584000 23218 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 46912505603202 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13649/tid=13652] ppid=13647 vsize=10566000 CPUtime=0.03 cores=1,3,5,7
/proc/13649/task/13652/stat : 13652 (java) S 13647 13649 10203 0 -1 4202560 244 0 0 0 3 0 0 0 16 0 19 0 902696767 10819584000 23218 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 7 0 0 0
[pid=13649/tid=13653] ppid=13647 vsize=10566000 CPUtime=0.04 cores=1,3,5,7
/proc/13649/task/13653/stat : 13653 (java) S 13647 13649 10203 0 -1 4202560 245 0 0 0 4 0 0 0 16 0 19 0 902696767 10819584000 23218 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13654] ppid=13647 vsize=10566000 CPUtime=0.03 cores=1,3,5,7
/proc/13649/task/13654/stat : 13654 (java) S 13647 13649 10203 0 -1 4202560 109 0 0 0 3 0 0 0 15 0 19 0 902696767 10819584000 23218 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13655] ppid=13647 vsize=10566000 CPUtime=0.04 cores=1,3,5,7
/proc/13649/task/13655/stat : 13655 (java) S 13647 13649 10203 0 -1 4202560 14 0 0 0 4 0 0 0 16 0 19 0 902696767 10819584000 23218 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 7 0 0 0
[pid=13649/tid=13656] ppid=13647 vsize=10566000 CPUtime=0.05 cores=1,3,5,7
/proc/13649/task/13656/stat : 13656 (java) S 13647 13649 10203 0 -1 4202560 45 0 0 0 5 0 0 0 16 0 19 0 902696767 10819584000 23218 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 5 0 0 0
[pid=13649/tid=13657] ppid=13647 vsize=10566000 CPUtime=0.04 cores=1,3,5,7
/proc/13649/task/13657/stat : 13657 (java) S 13647 13649 10203 0 -1 4202560 107 0 0 0 4 0 0 0 15 0 19 0 902696767 10819584000 23218 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13658] ppid=13647 vsize=10566000 CPUtime=0.05 cores=1,3,5,7
/proc/13649/task/13658/stat : 13658 (java) S 13647 13649 10203 0 -1 4202560 46 0 0 0 5 0 0 0 15 0 19 0 902696767 10819584000 23218 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 5 0 0 0
[pid=13649/tid=13659] ppid=13647 vsize=10566000 CPUtime=0.05 cores=1,3,5,7
/proc/13649/task/13659/stat : 13659 (java) S 13647 13649 10203 0 -1 4202560 152 0 0 0 5 0 0 0 15 0 19 0 902696767 10819584000 23218 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 7 0 0 0
[pid=13649/tid=13660] ppid=13647 vsize=10566000 CPUtime=2.16 cores=1,3,5,7
/proc/13649/task/13660/stat : 13660 (java) S 13647 13649 10203 0 -1 4202560 1059 0 0 0 216 0 0 0 16 0 19 0 902696768 10819584000 23218 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056704 0 0 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13661] ppid=13647 vsize=10566000 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13661/stat : 13661 (java) S 13647 13649 10203 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 902696768 10819584000 23218 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13662] ppid=13647 vsize=10566000 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13662/stat : 13662 (java) S 13647 13649 10203 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 902696768 10819584000 23218 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13663] ppid=13647 vsize=10566000 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13663/stat : 13663 (java) S 13647 13649 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902696771 10819584000 23218 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826063793 0 4 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13664] ppid=13647 vsize=10566000 CPUtime=0.3 cores=1,3,5,7
/proc/13649/task/13664/stat : 13664 (java) S 13647 13649 10203 0 -1 4202560 3066 0 0 0 30 0 0 0 16 0 19 0 902696771 10819584000 23218 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13665] ppid=13647 vsize=10566000 CPUtime=0.78 cores=1,3,5,7
/proc/13649/task/13665/stat : 13665 (java) S 13647 13649 10203 0 -1 4202560 8904 0 0 0 77 1 0 0 15 0 19 0 902696771 10819584000 23218 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13666] ppid=13647 vsize=10566000 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13666/stat : 13666 (java) S 13647 13649 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902696771 10819584000 23218 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13667] ppid=13647 vsize=10566000 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13667/stat : 13667 (java) S 13647 13649 10203 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902696771 10819584000 23218 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056704 0 4 0 16800975 18446604463392406400 0 0 -1 5 0 0 0
[pid=13649/tid=13668] ppid=13647 vsize=10566000 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13668/stat : 13668 (java) S 13647 13649 10203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902696782 10819584000 23218 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056704 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 58.79
Current children cumulated vsize (KiB) 10566000

[startup+57.9012 s]
/proc/loadavg: 2.04 2.02 1.92 3/214 13670
/proc/meminfo: memFree=692260/32950928 swapFree=67050636/67111528
[pid=13649] ppid=13647 vsize=10566000 CPUtime=59.19 cores=1,3,5,7
/proc/13649/stat : 13649 (java) S 13647 13649 10203 0 -1 4202496 27432 0 1 0 5911 8 0 0 25 0 19 0 902696765 10819584000 23221 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13649/statm: 2641500 23221 2251 9 0 2632234 0
[pid=13649/tid=13651] ppid=13647 vsize=10566000 CPUtime=55.49 cores=1,3,5,7
/proc/13649/task/13651/stat : 13651 (java) R 13647 13649 10203 0 -1 4202560 12281 0 1 0 5547 2 0 0 25 0 19 0 902696765 10819584000 23221 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 46912505735260 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13649/tid=13652] ppid=13647 vsize=10566000 CPUtime=0.03 cores=1,3,5,7
/proc/13649/task/13652/stat : 13652 (java) S 13647 13649 10203 0 -1 4202560 244 0 0 0 3 0 0 0 15 0 19 0 902696767 10819584000 23221 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 7 0 0 0
[pid=13649/tid=13653] ppid=13647 vsize=10566000 CPUtime=0.04 cores=1,3,5,7
/proc/13649/task/13653/stat : 13653 (java) S 13647 13649 10203 0 -1 4202560 245 0 0 0 4 0 0 0 15 0 19 0 902696767 10819584000 23221 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13654] ppid=13647 vsize=10566000 CPUtime=0.03 cores=1,3,5,7
/proc/13649/task/13654/stat : 13654 (java) S 13647 13649 10203 0 -1 4202560 110 0 0 0 3 0 0 0 16 0 19 0 902696767 10819584000 23221 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13655] ppid=13647 vsize=10566000 CPUtime=0.04 cores=1,3,5,7
/proc/13649/task/13655/stat : 13655 (java) S 13647 13649 10203 0 -1 4202560 14 0 0 0 4 0 0 0 15 0 19 0 902696767 10819584000 23221 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13656] ppid=13647 vsize=10566000 CPUtime=0.05 cores=1,3,5,7
/proc/13649/task/13656/stat : 13656 (java) S 13647 13649 10203 0 -1 4202560 45 0 0 0 5 0 0 0 15 0 19 0 902696767 10819584000 23221 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 5 0 0 0
[pid=13649/tid=13657] ppid=13647 vsize=10566000 CPUtime=0.04 cores=1,3,5,7
/proc/13649/task/13657/stat : 13657 (java) S 13647 13649 10203 0 -1 4202560 107 0 0 0 4 0 0 0 15 0 19 0 902696767 10819584000 23221 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13658] ppid=13647 vsize=10566000 CPUtime=0.05 cores=1,3,5,7
/proc/13649/task/13658/stat : 13658 (java) S 13647 13649 10203 0 -1 4202560 48 0 0 0 5 0 0 0 16 0 19 0 902696767 10819584000 23221 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 5 0 0 0
[pid=13649/tid=13659] ppid=13647 vsize=10566000 CPUtime=0.05 cores=1,3,5,7
/proc/13649/task/13659/stat : 13659 (java) S 13647 13649 10203 0 -1 4202560 152 0 0 0 5 0 0 0 15 0 19 0 902696767 10819584000 23221 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 7 0 0 0
[pid=13649/tid=13660] ppid=13647 vsize=10566000 CPUtime=2.17 cores=1,3,5,7
/proc/13649/task/13660/stat : 13660 (java) S 13647 13649 10203 0 -1 4202560 1059 0 0 0 217 0 0 0 16 0 19 0 902696768 10819584000 23221 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056704 0 0 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13661] ppid=13647 vsize=10566000 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13661/stat : 13661 (java) S 13647 13649 10203 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 902696768 10819584000 23221 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13662] ppid=13647 vsize=10566000 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13662/stat : 13662 (java) S 13647 13649 10203 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 902696768 10819584000 23221 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13663] ppid=13647 vsize=10566000 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13663/stat : 13663 (java) S 13647 13649 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902696771 10819584000 23221 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826063793 0 4 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13664] ppid=13647 vsize=10566000 CPUtime=0.3 cores=1,3,5,7
/proc/13649/task/13664/stat : 13664 (java) S 13647 13649 10203 0 -1 4202560 3066 0 0 0 30 0 0 0 16 0 19 0 902696771 10819584000 23221 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13665] ppid=13647 vsize=10566000 CPUtime=0.78 cores=1,3,5,7
/proc/13649/task/13665/stat : 13665 (java) S 13647 13649 10203 0 -1 4202560 8904 0 0 0 77 1 0 0 15 0 19 0 902696771 10819584000 23221 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13666] ppid=13647 vsize=10566000 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13666/stat : 13666 (java) S 13647 13649 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902696771 10819584000 23221 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13667] ppid=13647 vsize=10566000 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13667/stat : 13667 (java) S 13647 13649 10203 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902696771 10819584000 23221 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056704 0 4 0 16800975 18446604463392406400 0 0 -1 5 0 0 0
[pid=13649/tid=13668] ppid=13647 vsize=10566000 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13668/stat : 13668 (java) S 13647 13649 10203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902696782 10819584000 23221 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056704 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 59.19
Current children cumulated vsize (KiB) 10566000

[startup+58.0011 s]
/proc/loadavg: 2.04 2.02 1.92 3/214 13670
/proc/meminfo: memFree=692260/32950928 swapFree=67050636/67111528
[pid=13649] ppid=13647 vsize=10566000 CPUtime=59.3 cores=1,3,5,7
/proc/13649/stat : 13649 (java) S 13647 13649 10203 0 -1 4202496 27435 0 1 0 5922 8 0 0 25 0 19 0 902696765 10819584000 22586 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13649/statm: 2641500 22586 2251 9 0 2632234 0
[pid=13649/tid=13651] ppid=13647 vsize=10566000 CPUtime=55.58 cores=1,3,5,7
/proc/13649/task/13651/stat : 13651 (java) R 13647 13649 10203 0 -1 4202560 12284 0 1 0 5556 2 0 0 25 0 19 0 902696765 10819584000 22586 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 46912505532061 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13649/tid=13652] ppid=13647 vsize=10566000 CPUtime=0.03 cores=1,3,5,7
/proc/13649/task/13652/stat : 13652 (java) S 13647 13649 10203 0 -1 4202560 244 0 0 0 3 0 0 0 15 0 19 0 902696767 10819584000 22586 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 7 0 0 0
[pid=13649/tid=13653] ppid=13647 vsize=10566000 CPUtime=0.05 cores=1,3,5,7
/proc/13649/task/13653/stat : 13653 (java) S 13647 13649 10203 0 -1 4202560 245 0 0 0 5 0 0 0 16 0 19 0 902696767 10819584000 22586 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13654] ppid=13647 vsize=10566000 CPUtime=0.03 cores=1,3,5,7
/proc/13649/task/13654/stat : 13654 (java) S 13647 13649 10203 0 -1 4202560 110 0 0 0 3 0 0 0 15 0 19 0 902696767 10819584000 22586 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13655] ppid=13647 vsize=10566000 CPUtime=0.04 cores=1,3,5,7
/proc/13649/task/13655/stat : 13655 (java) S 13647 13649 10203 0 -1 4202560 14 0 0 0 4 0 0 0 15 0 19 0 902696767 10819584000 22586 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13656] ppid=13647 vsize=10566000 CPUtime=0.05 cores=1,3,5,7
/proc/13649/task/13656/stat : 13656 (java) S 13647 13649 10203 0 -1 4202560 45 0 0 0 5 0 0 0 16 0 19 0 902696767 10819584000 22586 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 5 0 0 0
[pid=13649/tid=13657] ppid=13647 vsize=10566000 CPUtime=0.04 cores=1,3,5,7
/proc/13649/task/13657/stat : 13657 (java) S 13647 13649 10203 0 -1 4202560 107 0 0 0 4 0 0 0 15 0 19 0 902696767 10819584000 22586 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13658] ppid=13647 vsize=10566000 CPUtime=0.05 cores=1,3,5,7
/proc/13649/task/13658/stat : 13658 (java) S 13647 13649 10203 0 -1 4202560 48 0 0 0 5 0 0 0 15 0 19 0 902696767 10819584000 22586 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 5 0 0 0
[pid=13649/tid=13659] ppid=13647 vsize=10566000 CPUtime=0.05 cores=1,3,5,7
/proc/13649/task/13659/stat : 13659 (java) S 13647 13649 10203 0 -1 4202560 152 0 0 0 5 0 0 0 15 0 19 0 902696767 10819584000 22586 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 7 0 0 0
[pid=13649/tid=13660] ppid=13647 vsize=10566000 CPUtime=2.18 cores=1,3,5,7
/proc/13649/task/13660/stat : 13660 (java) S 13647 13649 10203 0 -1 4202560 1059 0 0 0 218 0 0 0 16 0 19 0 902696768 10819584000 22586 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056704 0 0 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13661] ppid=13647 vsize=10566000 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13661/stat : 13661 (java) S 13647 13649 10203 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 902696768 10819584000 22586 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13662] ppid=13647 vsize=10566000 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13662/stat : 13662 (java) S 13647 13649 10203 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 902696768 10819584000 22586 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13663] ppid=13647 vsize=10566000 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13663/stat : 13663 (java) S 13647 13649 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902696771 10819584000 22586 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826063793 0 4 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13664] ppid=13647 vsize=10566000 CPUtime=0.3 cores=1,3,5,7
/proc/13649/task/13664/stat : 13664 (java) S 13647 13649 10203 0 -1 4202560 3066 0 0 0 30 0 0 0 16 0 19 0 902696771 10819584000 22586 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13665] ppid=13647 vsize=10566000 CPUtime=0.78 cores=1,3,5,7
/proc/13649/task/13665/stat : 13665 (java) S 13647 13649 10203 0 -1 4202560 8904 0 0 0 77 1 0 0 15 0 19 0 902696771 10819584000 22586 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
[pid=13649/tid=13666] ppid=13647 vsize=10566000 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13666/stat : 13666 (java) S 13647 13649 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902696771 10819584000 22586 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056089 0 4 0 16800975 18446604463392406400 0 0 -1 1 0 0 0
[pid=13649/tid=13667] ppid=13647 vsize=10566000 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13667/stat : 13667 (java) S 13647 13649 10203 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902696771 10819584000 22586 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056704 0 4 0 16800975 18446604463392406400 0 0 -1 5 0 0 0
[pid=13649/tid=13668] ppid=13647 vsize=10566000 CPUtime=0 cores=1,3,5,7
/proc/13649/task/13668/stat : 13668 (java) S 13647 13649 10203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902696782 10819584000 22586 33554432000 1073741824 1073778376 140735650995392 18446744073709551615 251826056704 0 4 0 16800975 18446604463392406400 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 59.3
Current children cumulated vsize (KiB) 10566000

Child status: 30
Real time (s): 58.0297
CPU time (s): 59.339
CPU user time (s): 59.245
CPU system time (s): 0.093985
CPU usage (%): 102.256
Max. virtual memory (cumulated for all children) (KiB): 10566000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 59.245
system time used= 0.093985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27461
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= 5824
involuntary context switches= 2937

runsolver used 0.080987 second user time and 0.240963 second system time

The end

Launcher Data 

Begin job on node126 at 2011-06-12 22:36:21
IDJOB=3492617
IDBENCH=79192
IDSOLVER=1982
FILE ID=node126/3492617-1307910981
RUNJOBID= node126-1307908863-13199
PBS_JOBID= 13559580
Free space on /var/tmp= 2888 MiB

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

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

MD5SUM BENCH= 1b4d108d74bb6ee9510c6f55f0fde657
RANDOM SEED=978942846

node126.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.783
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.56
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.783
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.783
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.783
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.74
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.783
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.80
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.783
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.783
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.783
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:        779372 kB
Buffers:         62400 kB
Cached:       30591016 kB
SwapCached:      14604 kB
Active:       16296612 kB
Inactive:     14914412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:        779372 kB
SwapTotal:    67111528 kB
SwapFree:     67050636 kB
Dirty:             112 kB
Writeback:           0 kB
AnonPages:      555220 kB
Mapped:          17592 kB
Slab:           894856 kB
PageTables:       6208 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 10546056 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= 2888 MiB
End job on node126 at 2011-06-12 22:37:19