Trace number 3492004

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.355 57.9168

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218955--soft-0-100-0.wbo
MD5SUMb990c74120468e1d0b7525d3b3f74b05
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark9
Best CPU time to get the best result obtained on this benchmark3.89041
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 5180
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 5179
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1202
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.09	c version 2.3.1.v20110525
0.06/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.09	c java.vm.version	19.1-b02
0.06/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version		1.6.0_24
0.06/0.09	c os.name		Linux
0.06/0.09	c os.version		2.6.18-164.el5
0.06/0.09	c os.arch		amd64
0.06/0.09	c Free memory 		9996466904
0.06/0.09	c Max memory 		10048897024
0.06/0.09	c Total memory 		10048897024
0.06/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@761a626f
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-3492004-1307911207.wbo
0.10/0.11	c reading problem ... 
0.10/0.17	c ... done. Wall clock time 0.055s.
0.10/0.17	c #vars     270
0.10/0.17	c #constraints  101
0.10/0.17	c constraints type 
0.10/0.17	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
0.10/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
0.26/0.22	c SATISFIABLE
0.26/0.22	c OPTIMIZING...
0.26/0.22	c Got one! Elapsed wall clock time (in seconds):0.109
0.26/0.22	o 875
0.26/0.26	c Got one! Elapsed wall clock time (in seconds):0.149
0.26/0.26	o 517
0.26/0.28	c Got one! Elapsed wall clock time (in seconds):0.165
0.26/0.28	o 501
0.26/0.29	c Got one! Elapsed wall clock time (in seconds):0.176
0.26/0.29	o 452
0.52/0.30	c Got one! Elapsed wall clock time (in seconds):0.185
0.52/0.30	o 422
0.64/0.40	c Got one! Elapsed wall clock time (in seconds):0.285
0.64/0.40	o 403
0.64/0.41	c Got one! Elapsed wall clock time (in seconds):0.301
0.64/0.41	o 339
0.87/0.64	c cleaning 3392 clauses out of 6791 with flag 4000/6791
1.23/0.96	c cleaning 4692 clauses out of 9399 with flag 10000/12791
1.33/1.07	c Got one! Elapsed wall clock time (in seconds):0.957
1.33/1.07	o 330
1.52/1.27	c cleaning 5132 clauses out of 10275 with flag 4002/18359
1.63/1.34	c Got one! Elapsed wall clock time (in seconds):1.233
1.63/1.34	o 306
1.73/1.43	c Got one! Elapsed wall clock time (in seconds):1.318
1.73/1.43	o 263
1.83/1.59	c cleaning 5841 clauses out of 11691 with flag 3001/24907
2.15/1.88	c Got one! Elapsed wall clock time (in seconds):1.77
2.15/1.88	o 241
2.46/2.10	c cleaning 8210 clauses out of 16425 with flag 5001/35482
2.75/2.41	c cleaning 7096 clauses out of 14214 with flag 11000/41481
3.06/2.73	c Got one! Elapsed wall clock time (in seconds):2.618
3.06/2.73	o 239
3.27/2.95	c cleaning 9413 clauses out of 18832 with flag 5002/53195
3.58/3.24	c cleaning 7705 clauses out of 15417 with flag 11000/59193
3.97/3.63	c cleaning 7352 clauses out of 14713 with flag 18001/66194
4.37/4.04	c cleaning 7675 clauses out of 15362 with flag 26002/74195
4.78/4.44	c cleaning 8340 clauses out of 16686 with flag 35001/83194
5.27/4.99	c cleaning 9164 clauses out of 18345 with flag 45000/93193
5.88/5.53	c cleaning 9586 clauses out of 19181 with flag 55000/103193
6.08/5.78	c Got one! Elapsed wall clock time (in seconds):5.669
6.08/5.78	o 236
6.18/5.82	c cleaning 7662 clauses out of 15335 with flag 1000/108933
6.38/6.04	c cleaning 6834 clauses out of 13675 with flag 7002/114935
6.67/6.32	c cleaning 6917 clauses out of 13840 with flag 14001/121934
7.07/6.72	c cleaning 7456 clauses out of 14922 with flag 22000/129933
7.48/7.13	c cleaning 8220 clauses out of 16466 with flag 31000/138933
7.98/7.69	c cleaning 9117 clauses out of 18247 with flag 41001/148934
8.18/7.88	c Got one! Elapsed wall clock time (in seconds):7.77
8.18/7.88	o 234
8.28/7.95	c cleaning 7227 clauses out of 14460 with flag 2001/154264
8.48/8.18	c cleaning 6613 clauses out of 13233 with flag 8001/160264
8.78/8.42	c Got one! Elapsed wall clock time (in seconds):8.314
8.78/8.42	o 232
8.99/8.66	c cleaning 8920 clauses out of 17851 with flag 5000/171495
9.20/8.88	c cleaning 7461 clauses out of 14933 with flag 11002/177497
9.49/9.14	c cleaning 7229 clauses out of 14470 with flag 18000/184495
9.90/9.50	c cleaning 7610 clauses out of 15243 with flag 26002/192497
10.30/9.99	c cleaning 8308 clauses out of 16631 with flag 35000/201495
10.80/10.45	c cleaning 9152 clauses out of 18325 with flag 45002/211497
10.80/10.50	c Got one! Elapsed wall clock time (in seconds):10.384
10.80/10.50	o 229
11.00/10.68	c cleaning 7479 clauses out of 14963 with flag 5000/217287
11.20/10.90	c cleaning 6739 clauses out of 13485 with flag 11001/223288
11.60/11.25	c cleaning 6866 clauses out of 13745 with flag 18000/230287
12.10/11.73	c cleaning 7433 clauses out of 14884 with flag 26005/238292
12.10/11.76	c Got one! Elapsed wall clock time (in seconds):11.644
12.10/11.76	o 227
12.30/11.92	c cleaning 6340 clauses out of 12691 with flag 5000/243532
12.51/12.15	c cleaning 6166 clauses out of 12353 with flag 11002/249534
12.81/12.41	c cleaning 6587 clauses out of 13185 with flag 18000/256532
13.01/12.69	c Got one! Elapsed wall clock time (in seconds):12.576
13.01/12.69	o 222
13.22/12.88	c cleaning 8653 clauses out of 17316 with flag 5001/267250
13.53/13.11	c cleaning 7330 clauses out of 14665 with flag 11003/273252
13.72/13.36	c cleaning 7164 clauses out of 14335 with flag 18003/280252
14.02/13.64	c cleaning 7583 clauses out of 15169 with flag 26001/288250
14.42/14.05	c cleaning 8288 clauses out of 16586 with flag 35001/297250
14.92/14.50	c Got one! Elapsed wall clock time (in seconds):14.39
14.92/14.50	o 209
15.12/14.71	c cleaning 10734 clauses out of 21476 with flag 5000/310428
15.12/14.79	c Got one! Elapsed wall clock time (in seconds):14.678
15.12/14.79	o 205
15.32/14.95	c cleaning 8183 clauses out of 16379 with flag 4001/316065
15.52/15.19	c cleaning 7082 clauses out of 14196 with flag 10001/322065
15.63/15.25	c Got one! Elapsed wall clock time (in seconds):15.144
15.63/15.25	o 202
15.73/15.39	c cleaning 6118 clauses out of 12242 with flag 4001/327193
16.03/15.60	c cleaning 6060 clauses out of 12126 with flag 10003/333195
16.33/15.91	c cleaning 6525 clauses out of 13066 with flag 17003/340195
16.73/16.32	c cleaning 7260 clauses out of 14538 with flag 25000/348192
17.13/16.79	c Got one! Elapsed wall clock time (in seconds):16.681
17.13/16.79	o 190
17.33/17.00	c cleaning 10570 clauses out of 21146 with flag 5003/362060
17.63/17.24	c cleaning 8280 clauses out of 16574 with flag 11001/368058
17.96/17.51	c cleaning 7646 clauses out of 15296 with flag 18003/375060
18.15/17.79	c cleaning 7819 clauses out of 15648 with flag 26001/383058
18.45/18.07	c Got one! Elapsed wall clock time (in seconds):17.963
18.45/18.07	o 185
18.65/18.29	c cleaning 9598 clauses out of 19211 with flag 5000/394440
18.95/18.51	c cleaning 7802 clauses out of 15613 with flag 11000/400440
19.16/18.77	c cleaning 7401 clauses out of 14812 with flag 18001/407441
19.46/19.05	c cleaning 7702 clauses out of 15411 with flag 26001/415441
19.76/19.38	c cleaning 8349 clauses out of 16709 with flag 35001/424441
20.16/19.75	c Got one! Elapsed wall clock time (in seconds):19.642
20.16/19.75	o 178
20.38/19.99	c cleaning 11605 clauses out of 23216 with flag 5001/439297
20.79/20.34	c cleaning 8796 clauses out of 17610 with flag 11000/445296
21.09/20.69	c cleaning 7906 clauses out of 15818 with flag 18004/452300
21.59/21.15	c cleaning 7944 clauses out of 15912 with flag 26004/460300
21.69/21.27	c Got one! Elapsed wall clock time (in seconds):21.161
21.69/21.27	o 177
21.79/21.38	c cleaning 6593 clauses out of 13194 with flag 3000/465526
21.99/21.59	c cleaning 6298 clauses out of 12604 with flag 9003/471529
22.29/21.87	c cleaning 6646 clauses out of 13303 with flag 16000/478526
22.69/22.28	c cleaning 7318 clauses out of 14657 with flag 24000/486526
23.09/22.68	c Got one! Elapsed wall clock time (in seconds):22.57
23.09/22.68	o 173
23.29/22.87	c cleaning 10266 clauses out of 20537 with flag 5002/499724
23.60/23.11	c cleaning 8134 clauses out of 16274 with flag 11005/505727
23.90/23.40	c cleaning 7564 clauses out of 15136 with flag 18001/512723
24.30/23.81	c cleaning 7775 clauses out of 15571 with flag 26000/520722
24.80/24.33	c cleaning 8394 clauses out of 16798 with flag 35002/529724
25.30/24.90	c cleaning 9196 clauses out of 18403 with flag 45001/539723
25.90/25.43	c cleaning 9596 clauses out of 19206 with flag 55000/549722
26.40/25.97	c cleaning 9799 clauses out of 19610 with flag 65000/559722
27.00/26.50	c cleaning 9897 clauses out of 19812 with flag 75001/569723
27.00/26.57	c Got one! Elapsed wall clock time (in seconds):26.458
27.00/26.57	o 164
27.20/26.71	c cleaning 7501 clauses out of 15012 with flag 4000/574820
27.40/26.92	c cleaning 6753 clauses out of 13512 with flag 10001/580821
27.60/27.17	c cleaning 6875 clauses out of 13758 with flag 17000/587820
27.91/27.46	c cleaning 7436 clauses out of 14883 with flag 25000/595820
28.20/27.77	c cleaning 8221 clauses out of 16447 with flag 34000/604820
28.61/28.14	c cleaning 9105 clauses out of 18226 with flag 44000/614820
29.11/28.61	c Got one! Elapsed wall clock time (in seconds):28.5
29.11/28.61	o 152
29.31/28.84	c cleaning 11612 clauses out of 23230 with flag 5001/628929
29.51/29.09	c cleaning 8805 clauses out of 17620 with flag 11003/634931
29.81/29.36	c cleaning 7904 clauses out of 15813 with flag 18001/641929
30.12/29.65	c cleaning 7950 clauses out of 15908 with flag 26000/649928
30.41/29.96	c cleaning 8476 clauses out of 16959 with flag 35001/658929
30.81/30.31	c cleaning 9232 clauses out of 18482 with flag 45000/668928
31.11/30.68	c cleaning 9619 clauses out of 19250 with flag 55000/678928
31.52/31.06	c cleaning 9810 clauses out of 19631 with flag 65000/688928
32.02/31.57	c cleaning 9905 clauses out of 19823 with flag 75002/698930
32.12/31.64	c Got one! Elapsed wall clock time (in seconds):31.529
32.12/31.64	o 138
32.22/31.79	c cleaning 7527 clauses out of 15064 with flag 4000/704076
32.42/31.99	c Got one! Elapsed wall clock time (in seconds):31.882
32.42/31.99	o 89
32.51/32.03	c cleaning 6512 clauses out of 13027 with flag 1002/709566
32.72/32.26	c cleaning 6249 clauses out of 12513 with flag 7000/715564
32.91/32.42	c Got one! Elapsed wall clock time (in seconds):32.314
32.91/32.42	o 84
32.91/32.50	c cleaning 5876 clauses out of 11763 with flag 2000/721063
33.22/32.70	c cleaning 5937 clauses out of 11887 with flag 8000/727063
33.52/33.03	c cleaning 6466 clauses out of 12950 with flag 15000/734063
33.62/33.15	c Got one! Elapsed wall clock time (in seconds):33.042
33.62/33.15	o 74
33.72/33.25	c cleaning 5974 clauses out of 11954 with flag 3000/739533
33.92/33.45	c cleaning 5987 clauses out of 11980 with flag 9000/745533
34.22/33.74	c cleaning 6487 clauses out of 12995 with flag 16002/752535
34.22/33.79	c Got one! Elapsed wall clock time (in seconds):33.683
34.22/33.79	o 73
34.62/33.94	c cleaning 5833 clauses out of 11673 with flag 4003/757700
34.92/34.16	c cleaning 5916 clauses out of 11839 with flag 10002/763699
35.45/34.43	c cleaning 6457 clauses out of 12921 with flag 17000/770697
35.97/34.78	c cleaning 7226 clauses out of 14466 with flag 25002/778699
36.48/35.28	c cleaning 8117 clauses out of 16241 with flag 34003/787700
36.98/35.79	c cleaning 9053 clauses out of 18123 with flag 44002/797699
37.18/35.92	c Got one! Elapsed wall clock time (in seconds):35.814
37.18/35.92	o 36
37.33/36.04	c cleaning 7439 clauses out of 14883 with flag 3001/803512
37.54/36.25	c cleaning 6718 clauses out of 13443 with flag 9000/809511
37.84/36.50	c cleaning 6861 clauses out of 13727 with flag 16002/816513
38.04/36.78	c cleaning 7427 clauses out of 14864 with flag 24000/824511
38.44/37.11	c cleaning 8215 clauses out of 16438 with flag 33001/833512
38.75/37.49	c cleaning 9109 clauses out of 18223 with flag 43001/843512
39.25/37.92	c cleaning 9550 clauses out of 19113 with flag 53000/853511
39.55/38.28	c cleaning 9778 clauses out of 19563 with flag 63000/863511
39.95/38.66	c cleaning 9890 clauses out of 19786 with flag 73001/873512
40.35/39.07	c cleaning 9942 clauses out of 19897 with flag 83002/883513
40.75/39.46	c cleaning 9970 clauses out of 19953 with flag 93000/893511
41.15/39.85	c cleaning 9987 clauses out of 19985 with flag 103002/903513
41.45/40.19	c cleaning 9994 clauses out of 19997 with flag 113001/913512
41.85/40.57	c cleaning 9997 clauses out of 20002 with flag 123000/923511
42.26/40.92	c cleaning 9999 clauses out of 20007 with flag 133002/933513
42.66/41.32	c cleaning 9997 clauses out of 20006 with flag 143000/943511
42.96/41.68	c cleaning 9999 clauses out of 20010 with flag 153001/953512
43.36/42.04	c cleaning 9993 clauses out of 20010 with flag 163000/963511
43.66/42.40	c cleaning 10005 clauses out of 20018 with flag 173001/973512
44.06/42.76	c cleaning 10002 clauses out of 20013 with flag 183001/983512
44.16/42.83	c Got one! Elapsed wall clock time (in seconds):42.723
44.16/42.83	o 31
44.26/42.94	c cleaning 7524 clauses out of 15052 with flag 3000/988553
44.46/43.15	c cleaning 6760 clauses out of 13528 with flag 9000/994553
44.76/43.40	c cleaning 6880 clauses out of 13770 with flag 16002/1001555
44.96/43.68	c cleaning 7443 clauses out of 14889 with flag 24001/1009554
45.26/43.99	c cleaning 8219 clauses out of 16445 with flag 33000/1018553
45.66/44.34	c cleaning 9112 clauses out of 18227 with flag 43001/1028554
45.96/44.69	c cleaning 9555 clauses out of 19116 with flag 53002/1038555
46.37/45.06	c cleaning 9775 clauses out of 19559 with flag 63000/1048553
46.76/45.41	c cleaning 9890 clauses out of 19785 with flag 73001/1058554
47.06/45.76	c cleaning 9939 clauses out of 19894 with flag 83000/1068553
47.47/46.13	c cleaning 9970 clauses out of 19956 with flag 93001/1078554
47.77/46.48	c cleaning 9987 clauses out of 19987 with flag 103002/1088555
48.17/46.85	c cleaning 9995 clauses out of 19998 with flag 113000/1098553
48.57/47.21	c cleaning 9999 clauses out of 20004 with flag 123001/1108554
48.87/47.58	c cleaning 10002 clauses out of 20005 with flag 133001/1118554
49.17/47.83	c Got one! Elapsed wall clock time (in seconds):47.717
49.17/47.83	o 24
49.37/48.05	c cleaning 11188 clauses out of 22384 with flag 5001/1130935
49.57/48.27	c cleaning 8591 clauses out of 17199 with flag 11004/1136938
49.87/48.51	c cleaning 7797 clauses out of 15604 with flag 18000/1143934
50.18/48.81	c cleaning 7900 clauses out of 15807 with flag 26000/1151934
50.48/49.13	c cleaning 8448 clauses out of 16907 with flag 35000/1160934
50.78/49.50	c cleaning 9226 clauses out of 18463 with flag 45004/1170938
50.98/49.65	c Got one! Elapsed wall clock time (in seconds):49.539
50.98/49.65	o 20
50.98/49.70	c cleaning 7429 clauses out of 14866 with flag 1000/1176567
51.29/49.90	c cleaning 6714 clauses out of 13439 with flag 7002/1182569
51.49/50.15	c cleaning 6857 clauses out of 13723 with flag 14000/1189567
51.79/50.41	c cleaning 7429 clauses out of 14867 with flag 22001/1197568
52.09/50.71	c cleaning 8217 clauses out of 16439 with flag 31002/1206569
52.39/51.05	c cleaning 9106 clauses out of 18220 with flag 41000/1216567
52.69/51.39	c cleaning 9553 clauses out of 19115 with flag 51001/1226568
53.10/51.73	c cleaning 9775 clauses out of 19561 with flag 61000/1236567
53.40/52.07	c cleaning 9885 clauses out of 19786 with flag 71000/1246567
53.80/52.43	c cleaning 9944 clauses out of 19901 with flag 81000/1256567
54.10/52.75	c cleaning 9975 clauses out of 19958 with flag 91001/1266568
54.40/53.09	c cleaning 9985 clauses out of 19982 with flag 101000/1276567
54.80/53.44	c cleaning 9993 clauses out of 19998 with flag 111001/1286568
55.10/53.77	c cleaning 9999 clauses out of 20006 with flag 121002/1296569
55.50/54.11	c cleaning 9999 clauses out of 20006 with flag 131001/1306568
55.80/54.45	c cleaning 9998 clauses out of 20007 with flag 141001/1316568
56.10/54.79	c cleaning 9997 clauses out of 20008 with flag 151000/1326567
56.50/55.15	c cleaning 10000 clauses out of 20011 with flag 161000/1336567
56.81/55.47	c cleaning 10003 clauses out of 20012 with flag 171001/1346568
57.21/55.82	c cleaning 9999 clauses out of 20008 with flag 181000/1356567
57.52/56.18	c cleaning 10000 clauses out of 20010 with flag 191001/1366568
57.91/56.53	c cleaning 10004 clauses out of 20009 with flag 201000/1376567
58.01/56.69	c Got one! Elapsed wall clock time (in seconds):56.584
58.01/56.69	o 9
58.33/56.93	c cleaning 10043 clauses out of 20094 with flag 5002/1386656
58.54/57.14	c cleaning 8019 clauses out of 16050 with flag 11001/1392655
58.74/57.37	c cleaning 7513 clauses out of 15032 with flag 18002/1399656
59.04/57.64	c cleaning 7754 clauses out of 15518 with flag 26001/1407655
59.24/57.89	c starts		: 227
59.24/57.89	c conflicts		: 1414597
59.24/57.89	c decisions		: 2267038
59.24/57.89	c propagations		: 37554247
59.24/57.89	c inspects		: 308137403
59.24/57.89	c shortcuts		: 0
59.24/57.89	c learnt literals	: 7
59.24/57.89	c learnt binary clauses	: 23
59.24/57.89	c learnt ternary clauses	: 601
59.24/57.89	c learnt constraints	: 1414589
59.24/57.89	c ignored constraints	: 0
59.24/57.89	c root simplifications	: 0
59.24/57.89	c removed literals (reason simplification)	: 8199260
59.24/57.89	c reason swapping (by a shorter reason)	: 0
59.24/57.89	c Calls to reduceDB	: 169
59.24/57.89	c number of reductions to clauses (during analyze)	: 0
59.24/57.89	c number of learned constraints concerned by reduction	: 0
59.24/57.89	c number of learning phase by resolution	: 0
59.24/57.89	c number of learning phase by cutting planes	: 0
59.24/57.89	c speed (assignments/second)	: 3.1321306922435362E7
59.24/57.89	c non guided choices	1914
59.24/57.89	c learnt constraints type 
59.24/57.89	c constraints type 
59.24/57.89	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
59.24/57.89	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
59.24/57.89	s OPTIMUM FOUND
59.24/57.89	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.24/57.89	c objective function=9
59.24/57.89	c Total wall clock time (in seconds): 57.784

Verifier Data 

OK	9

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-3492004-1307911207/watcher-3492004-1307911207 -o /var/tmp/evaluation-result-3492004-1307911207/solver-3492004-1307911207 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492004-1307911207.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: 1.96 2.02 1.93 2/195 6152
/proc/meminfo: memFree=980700/32951124 swapFree=67055716/67111528
[pid=6152] ppid=6150 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/6152/stat : 6152 (java) R 6150 6152 2916 0 -1 4202496 785 0 0 0 0 0 0 0 25 0 1 0 635312009 23580672 527 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268655699712 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6152/statm: 5757 537 403 9 0 124 0

[startup+0.078614 s]
/proc/loadavg: 1.96 2.02 1.93 2/195 6152
/proc/meminfo: memFree=980700/32951124 swapFree=67055716/67111528
[pid=6152] ppid=6150 vsize=10537936 CPUtime=0.06 cores=1,3,5,7
/proc/6152/stat : 6152 (java) S 6150 6152 2916 0 -1 4202496 11923 0 1 0 5 1 0 0 25 0 18 0 635312009 10790846464 11618 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6152/statm: 2634484 11619 1754 9 0 2625218 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10537936

[startup+0.100573 s]
/proc/loadavg: 1.96 2.02 1.93 2/195 6152
/proc/meminfo: memFree=980700/32951124 swapFree=67055716/67111528
[pid=6152] ppid=6150 vsize=10539708 CPUtime=0.1 cores=1,3,5,7
/proc/6152/stat : 6152 (java) S 6150 6152 2916 0 -1 4202496 12980 0 1 0 9 1 0 0 25 0 18 0 635312009 10792660992 12675 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6152/statm: 2634927 12675 2092 9 0 2625661 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539708

[startup+0.300538 s]
/proc/loadavg: 1.96 2.02 1.93 2/195 6152
/proc/meminfo: memFree=980700/32951124 swapFree=67055716/67111528
[pid=6152] ppid=6150 vsize=10544136 CPUtime=0.52 cores=1,3,5,7
/proc/6152/stat : 6152 (java) S 6150 6152 2916 0 -1 4202496 15794 0 1 0 51 1 0 0 25 0 19 0 635312009 10797195264 14644 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6152/statm: 2636034 14644 2214 9 0 2626768 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10544136

[startup+0.700468 s]
/proc/loadavg: 1.96 2.02 1.93 2/195 6152
/proc/meminfo: memFree=980700/32951124 swapFree=67055716/67111528
[pid=6152] ppid=6150 vsize=10544136 CPUtime=1 cores=1,3,5,7
/proc/6152/stat : 6152 (java) S 6150 6152 2916 0 -1 4202496 16942 0 1 0 99 1 0 0 25 0 19 0 635312009 10797195264 15685 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6152/statm: 2636034 15685 2246 9 0 2626768 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 10544136

[startup+1.50133 s]
/proc/loadavg: 1.96 2.02 1.93 3/214 6171
/proc/meminfo: memFree=921892/32951124 swapFree=67055716/67111528
[pid=6152] ppid=6150 vsize=10544136 CPUtime=1.83 cores=1,3,5,7
/proc/6152/stat : 6152 (java) S 6150 6152 2916 0 -1 4202496 17368 0 1 0 182 1 0 0 25 0 19 0 635312009 10797195264 16109 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6152/statm: 2636034 16109 2246 9 0 2626768 0
[pid=6152/tid=6154] ppid=6150 vsize=10544136 CPUtime=1.44 cores=1,3,5,7
/proc/6152/task/6154/stat : 6154 (java) R 6150 6152 2916 0 -1 4202560 12225 0 1 0 143 1 0 0 18 0 19 0 635312010 10797195264 16109 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 46912505524896 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=6152/tid=6155] ppid=6150 vsize=10544136 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6155/stat : 6155 (java) S 6150 6152 2916 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 19 0 635312012 10797195264 16109 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 7 0 0 0
[pid=6152/tid=6156] ppid=6150 vsize=10544136 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6156/stat : 6156 (java) S 6150 6152 2916 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 635312012 10797195264 16109 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 7 0 0 0
[pid=6152/tid=6157] ppid=6150 vsize=10544136 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6157/stat : 6157 (java) S 6150 6152 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635312012 10797195264 16109 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 3 0 0 0
[pid=6152/tid=6158] ppid=6150 vsize=10544136 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6158/stat : 6158 (java) S 6150 6152 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635312012 10797195264 16109 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 7 0 0 0
[pid=6152/tid=6159] ppid=6150 vsize=10544136 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6159/stat : 6159 (java) S 6150 6152 2916 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 19 0 635312012 10797195264 16109 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 3 0 0 0
[pid=6152/tid=6160] ppid=6150 vsize=10544136 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6160/stat : 6160 (java) S 6150 6152 2916 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 635312012 10797195264 16109 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 3 0 0 0
[pid=6152/tid=6161] ppid=6150 vsize=10544136 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6161/stat : 6161 (java) S 6150 6152 2916 0 -1 4202560 118 0 0 0 0 0 0 0 15 0 19 0 635312012 10797195264 16109 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 7 0 0 0
[pid=6152/tid=6162] ppid=6150 vsize=10544136 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6162/stat : 6162 (java) S 6150 6152 2916 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 19 0 635312012 10797195264 16109 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 7 0 0 0
[pid=6152/tid=6163] ppid=6150 vsize=10544136 CPUtime=0.03 cores=1,3,5,7
/proc/6152/task/6163/stat : 6163 (java) S 6150 6152 2916 0 -1 4202560 432 0 0 0 3 0 0 0 15 0 19 0 635312013 10797195264 16109 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478720 0 0 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6164] ppid=6150 vsize=10544136 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6164/stat : 6164 (java) S 6150 6152 2916 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 635312013 10797195264 16109 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6165] ppid=6150 vsize=10544136 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6165/stat : 6165 (java) S 6150 6152 2916 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 635312013 10797195264 16109 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6166] ppid=6150 vsize=10544136 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6166/stat : 6166 (java) S 6150 6152 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635312015 10797195264 16109 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672485809 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6167] ppid=6150 vsize=10544136 CPUtime=0.18 cores=1,3,5,7
/proc/6152/task/6167/stat : 6167 (java) S 6150 6152 2916 0 -1 4202560 1905 0 0 0 18 0 0 0 15 0 19 0 635312015 10797195264 16109 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6168] ppid=6150 vsize=10544136 CPUtime=0.16 cores=1,3,5,7
/proc/6152/task/6168/stat : 6168 (java) S 6150 6152 2916 0 -1 4202560 1125 0 0 0 16 0 0 0 16 0 19 0 635312015 10797195264 16109 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 1 0 0 0
[pid=6152/tid=6169] ppid=6150 vsize=10544136 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6169/stat : 6169 (java) S 6150 6152 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635312015 10797195264 16109 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6170] ppid=6150 vsize=10544136 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6170/stat : 6170 (java) S 6150 6152 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635312015 10797195264 16109 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478720 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6171] ppid=6150 vsize=10544136 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6171/stat : 6171 (java) S 6150 6152 2916 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 635312027 10797195264 16109 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478720 0 4 0 16800975 18446604457244297216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 10544136

[startup+3.10108 s]
/proc/loadavg: 1.96 2.02 1.93 3/214 6171
/proc/meminfo: memFree=903540/32951124 swapFree=67055716/67111528
[pid=6152] ppid=6150 vsize=10544136 CPUtime=3.47 cores=1,3,5,7
/proc/6152/stat : 6152 (java) S 6150 6152 2916 0 -1 4202496 18056 0 1 0 345 2 0 0 25 0 19 0 635312009 10797195264 16706 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6152/statm: 2636034 16706 2247 9 0 2626768 0
[pid=6152/tid=6154] ppid=6150 vsize=10544136 CPUtime=2.98 cores=1,3,5,7
/proc/6152/task/6154/stat : 6154 (java) R 6150 6152 2916 0 -1 4202560 12228 0 1 0 297 1 0 0 20 0 19 0 635312010 10797195264 16706 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 46912505595548 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6152/tid=6155] ppid=6150 vsize=10544136 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6155/stat : 6155 (java) S 6150 6152 2916 0 -1 4202560 138 0 0 0 0 0 0 0 16 0 19 0 635312012 10797195264 16706 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 1 0 0 0
[pid=6152/tid=6156] ppid=6150 vsize=10544136 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6156/stat : 6156 (java) S 6150 6152 2916 0 -1 4202560 131 0 0 0 0 0 0 0 15 0 19 0 635312012 10797195264 16706 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 7 0 0 0
[pid=6152/tid=6157] ppid=6150 vsize=10544136 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6157/stat : 6157 (java) S 6150 6152 2916 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 635312012 10797195264 16706 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 7 0 0 0
[pid=6152/tid=6158] ppid=6150 vsize=10544136 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6158/stat : 6158 (java) S 6150 6152 2916 0 -1 4202560 126 0 0 0 0 0 0 0 16 0 19 0 635312012 10797195264 16706 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 7 0 0 0
[pid=6152/tid=6159] ppid=6150 vsize=10544136 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6159/stat : 6159 (java) S 6150 6152 2916 0 -1 4202560 53 0 0 0 0 0 0 0 16 0 19 0 635312012 10797195264 16706 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6160] ppid=6150 vsize=10544136 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6160/stat : 6160 (java) S 6150 6152 2916 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 635312012 10797195264 16706 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6161] ppid=6150 vsize=10544136 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6161/stat : 6161 (java) S 6150 6152 2916 0 -1 4202560 243 0 0 0 0 0 0 0 15 0 19 0 635312012 10797195264 16706 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 1 0 0 0
[pid=6152/tid=6162] ppid=6150 vsize=10544136 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6162/stat : 6162 (java) S 6150 6152 2916 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 635312012 10797195264 16706 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6163] ppid=6150 vsize=10544136 CPUtime=0.08 cores=1,3,5,7
/proc/6152/task/6163/stat : 6163 (java) S 6150 6152 2916 0 -1 4202560 671 0 0 0 8 0 0 0 15 0 19 0 635312013 10797195264 16706 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478720 0 0 0 16800975 18446604457244297216 0 0 -1 3 0 0 0
[pid=6152/tid=6164] ppid=6150 vsize=10544136 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6164/stat : 6164 (java) S 6150 6152 2916 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 635312013 10797195264 16706 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6165] ppid=6150 vsize=10544136 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6165/stat : 6165 (java) S 6150 6152 2916 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 635312013 10797195264 16706 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6166] ppid=6150 vsize=10544136 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6166/stat : 6166 (java) S 6150 6152 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635312015 10797195264 16706 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672485809 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6167] ppid=6150 vsize=10544136 CPUtime=0.18 cores=1,3,5,7
/proc/6152/task/6167/stat : 6167 (java) S 6150 6152 2916 0 -1 4202560 1905 0 0 0 18 0 0 0 15 0 19 0 635312015 10797195264 16706 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6168] ppid=6150 vsize=10544136 CPUtime=0.19 cores=1,3,5,7
/proc/6152/task/6168/stat : 6168 (java) S 6150 6152 2916 0 -1 4202560 1223 0 0 0 19 0 0 0 15 0 19 0 635312015 10797195264 16706 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 1 0 0 0
[pid=6152/tid=6169] ppid=6150 vsize=10544136 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6169/stat : 6169 (java) S 6150 6152 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635312015 10797195264 16706 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6170] ppid=6150 vsize=10544136 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6170/stat : 6170 (java) S 6150 6152 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635312015 10797195264 16706 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478720 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6171] ppid=6150 vsize=10544136 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6171/stat : 6171 (java) S 6150 6152 2916 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 635312027 10797195264 16706 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478720 0 4 0 16800975 18446604457244297216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.47
Current children cumulated vsize (KiB) 10544136

[startup+6.30053 s]
/proc/loadavg: 1.96 2.02 1.93 3/214 6171
/proc/meminfo: memFree=901416/32951124 swapFree=67055716/67111528
[pid=6152] ppid=6150 vsize=10543588 CPUtime=6.67 cores=1,3,5,7
/proc/6152/stat : 6152 (java) S 6150 6152 2916 0 -1 4202496 18073 0 1 0 665 2 0 0 25 0 19 0 635312009 10796634112 16560 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6152/statm: 2635897 16560 2247 9 0 2626631 0
[pid=6152/tid=6154] ppid=6150 vsize=10543588 CPUtime=6.06 cores=1,3,5,7
/proc/6152/task/6154/stat : 6154 (java) R 6150 6152 2916 0 -1 4202560 12238 0 1 0 605 1 0 0 20 0 19 0 635312010 10796634112 16560 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 46912505555639 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6152/tid=6155] ppid=6150 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6155/stat : 6155 (java) S 6150 6152 2916 0 -1 4202560 139 0 0 0 0 0 0 0 15 0 19 0 635312012 10796634112 16560 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 1 0 0 0
[pid=6152/tid=6156] ppid=6150 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6156/stat : 6156 (java) S 6150 6152 2916 0 -1 4202560 131 0 0 0 0 0 0 0 15 0 19 0 635312012 10796634112 16560 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 1 0 0 0
[pid=6152/tid=6157] ppid=6150 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6157/stat : 6157 (java) S 6150 6152 2916 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 635312012 10796634112 16560 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 7 0 0 0
[pid=6152/tid=6158] ppid=6150 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6158/stat : 6158 (java) S 6150 6152 2916 0 -1 4202560 127 0 0 0 0 0 0 0 15 0 19 0 635312012 10796634112 16560 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 7 0 0 0
[pid=6152/tid=6159] ppid=6150 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6159/stat : 6159 (java) S 6150 6152 2916 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 19 0 635312012 10796634112 16560 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 7 0 0 0
[pid=6152/tid=6160] ppid=6150 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6160/stat : 6160 (java) S 6150 6152 2916 0 -1 4202560 101 0 0 0 0 0 0 0 16 0 19 0 635312012 10796634112 16560 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6161] ppid=6150 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6161/stat : 6161 (java) S 6150 6152 2916 0 -1 4202560 243 0 0 0 0 0 0 0 16 0 19 0 635312012 10796634112 16560 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6162] ppid=6150 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6162/stat : 6162 (java) S 6150 6152 2916 0 -1 4202560 72 0 0 0 0 0 0 0 16 0 19 0 635312012 10796634112 16560 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6163] ppid=6150 vsize=10543588 CPUtime=0.18 cores=1,3,5,7
/proc/6152/task/6163/stat : 6163 (java) S 6150 6152 2916 0 -1 4202560 671 0 0 0 18 0 0 0 15 0 19 0 635312013 10796634112 16560 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478720 0 0 0 16800975 18446604457244297216 0 0 -1 3 0 0 0
[pid=6152/tid=6164] ppid=6150 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6164/stat : 6164 (java) S 6150 6152 2916 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 635312013 10796634112 16560 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6165] ppid=6150 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6165/stat : 6165 (java) S 6150 6152 2916 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 635312013 10796634112 16560 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6166] ppid=6150 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6166/stat : 6166 (java) S 6150 6152 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635312015 10796634112 16560 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672485809 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6167] ppid=6150 vsize=10543588 CPUtime=0.18 cores=1,3,5,7
/proc/6152/task/6167/stat : 6167 (java) S 6150 6152 2916 0 -1 4202560 1905 0 0 0 18 0 0 0 15 0 19 0 635312015 10796634112 16560 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6168] ppid=6150 vsize=10543588 CPUtime=0.19 cores=1,3,5,7
/proc/6152/task/6168/stat : 6168 (java) S 6150 6152 2916 0 -1 4202560 1223 0 0 0 19 0 0 0 15 0 19 0 635312015 10796634112 16560 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 1 0 0 0
[pid=6152/tid=6169] ppid=6150 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6169/stat : 6169 (java) S 6150 6152 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635312015 10796634112 16560 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6170] ppid=6150 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6170/stat : 6170 (java) S 6150 6152 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635312015 10796634112 16560 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478720 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6171] ppid=6150 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6171/stat : 6171 (java) S 6150 6152 2916 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 635312027 10796634112 16560 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478720 0 4 0 16800975 18446604457244297216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.67
Current children cumulated vsize (KiB) 10543588

[startup+12.7014 s]

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

/proc/6152/task/6154/stat : 6154 (java) R 6150 6152 2916 0 -1 4202560 12389 0 1 0 5351 1 0 0 25 0 19 0 635312010 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 46912505617155 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6152/tid=6155] ppid=6150 vsize=10544748 CPUtime=0.04 cores=1,3,5,7
/proc/6152/task/6155/stat : 6155 (java) S 6150 6152 2916 0 -1 4202560 145 0 0 0 4 0 0 0 15 0 19 0 635312012 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6156] ppid=6150 vsize=10544748 CPUtime=0.03 cores=1,3,5,7
/proc/6152/task/6156/stat : 6156 (java) S 6150 6152 2916 0 -1 4202560 137 0 0 0 3 0 0 0 16 0 19 0 635312012 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 7 0 0 0
[pid=6152/tid=6157] ppid=6150 vsize=10544748 CPUtime=0.04 cores=1,3,5,7
/proc/6152/task/6157/stat : 6157 (java) S 6150 6152 2916 0 -1 4202560 26 0 0 0 4 0 0 0 15 0 19 0 635312012 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 1 0 0 0
[pid=6152/tid=6158] ppid=6150 vsize=10544748 CPUtime=0.04 cores=1,3,5,7
/proc/6152/task/6158/stat : 6158 (java) S 6150 6152 2916 0 -1 4202560 246 0 0 0 4 0 0 0 16 0 19 0 635312012 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 7 0 0 0
[pid=6152/tid=6159] ppid=6150 vsize=10544748 CPUtime=0.04 cores=1,3,5,7
/proc/6152/task/6159/stat : 6159 (java) S 6150 6152 2916 0 -1 4202560 62 0 0 0 4 0 0 0 15 0 19 0 635312012 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 1 0 0 0
[pid=6152/tid=6160] ppid=6150 vsize=10544748 CPUtime=0.04 cores=1,3,5,7
/proc/6152/task/6160/stat : 6160 (java) S 6150 6152 2916 0 -1 4202560 107 0 0 0 4 0 0 0 15 0 19 0 635312012 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6161] ppid=6150 vsize=10544748 CPUtime=0.03 cores=1,3,5,7
/proc/6152/task/6161/stat : 6161 (java) S 6150 6152 2916 0 -1 4202560 250 0 0 0 3 0 0 0 15 0 19 0 635312012 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6162] ppid=6150 vsize=10544748 CPUtime=0.03 cores=1,3,5,7
/proc/6152/task/6162/stat : 6162 (java) S 6150 6152 2916 0 -1 4202560 195 0 0 0 3 0 0 0 15 0 19 0 635312012 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6163] ppid=6150 vsize=10544748 CPUtime=2.16 cores=1,3,5,7
/proc/6152/task/6163/stat : 6163 (java) S 6150 6152 2916 0 -1 4202560 1004 0 0 0 214 2 0 0 16 0 19 0 635312013 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478720 0 0 0 16800975 18446604457244297216 0 0 -1 3 0 0 0
[pid=6152/tid=6164] ppid=6150 vsize=10544748 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6164/stat : 6164 (java) S 6150 6152 2916 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 635312013 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6165] ppid=6150 vsize=10544748 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6165/stat : 6165 (java) S 6150 6152 2916 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 635312013 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6166] ppid=6150 vsize=10544748 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6166/stat : 6166 (java) S 6150 6152 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635312015 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672485809 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6167] ppid=6150 vsize=10544748 CPUtime=0.3 cores=1,3,5,7
/proc/6152/task/6167/stat : 6167 (java) S 6150 6152 2916 0 -1 4202560 2197 0 0 0 30 0 0 0 15 0 19 0 635312015 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6168] ppid=6150 vsize=10544748 CPUtime=0.95 cores=1,3,5,7
/proc/6152/task/6168/stat : 6168 (java) S 6150 6152 2916 0 -1 4202560 14162 0 0 0 95 0 0 0 15 0 19 0 635312015 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 1 0 0 0
[pid=6152/tid=6169] ppid=6150 vsize=10544748 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6169/stat : 6169 (java) S 6150 6152 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635312015 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6170] ppid=6150 vsize=10544748 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6170/stat : 6170 (java) S 6150 6152 2916 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 635312015 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478720 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6171] ppid=6150 vsize=10544748 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6171/stat : 6171 (java) S 6150 6152 2916 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 635312027 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478720 0 4 0 16800975 18446604457244297216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 57.31
Current children cumulated vsize (KiB) 10544748

[startup+56.7006 s]
/proc/loadavg: 1.98 2.01 1.93 3/214 6173
/proc/meminfo: memFree=866592/32951124 swapFree=67055716/67111528
[pid=6152] ppid=6150 vsize=10544748 CPUtime=58.12 cores=1,3,5,7
/proc/6152/stat : 6152 (java) S 6150 6152 2916 0 -1 4202496 32078 0 1 0 5806 6 0 0 25 0 19 0 635312009 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6152/statm: 2636187 21841 2250 9 0 2626921 0
[pid=6152/tid=6154] ppid=6150 vsize=10544748 CPUtime=54.29 cores=1,3,5,7
/proc/6152/task/6154/stat : 6154 (java) R 6150 6152 2916 0 -1 4202560 12391 0 1 0 5428 1 0 0 25 0 19 0 635312010 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 46912505649383 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6152/tid=6155] ppid=6150 vsize=10544748 CPUtime=0.04 cores=1,3,5,7
/proc/6152/task/6155/stat : 6155 (java) S 6150 6152 2916 0 -1 4202560 145 0 0 0 4 0 0 0 16 0 19 0 635312012 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6156] ppid=6150 vsize=10544748 CPUtime=0.03 cores=1,3,5,7
/proc/6152/task/6156/stat : 6156 (java) S 6150 6152 2916 0 -1 4202560 137 0 0 0 3 0 0 0 15 0 19 0 635312012 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6157] ppid=6150 vsize=10544748 CPUtime=0.04 cores=1,3,5,7
/proc/6152/task/6157/stat : 6157 (java) S 6150 6152 2916 0 -1 4202560 26 0 0 0 4 0 0 0 15 0 19 0 635312012 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 1 0 0 0
[pid=6152/tid=6158] ppid=6150 vsize=10544748 CPUtime=0.04 cores=1,3,5,7
/proc/6152/task/6158/stat : 6158 (java) S 6150 6152 2916 0 -1 4202560 246 0 0 0 4 0 0 0 16 0 19 0 635312012 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 7 0 0 0
[pid=6152/tid=6159] ppid=6150 vsize=10544748 CPUtime=0.04 cores=1,3,5,7
/proc/6152/task/6159/stat : 6159 (java) S 6150 6152 2916 0 -1 4202560 62 0 0 0 4 0 0 0 16 0 19 0 635312012 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 1 0 0 0
[pid=6152/tid=6160] ppid=6150 vsize=10544748 CPUtime=0.04 cores=1,3,5,7
/proc/6152/task/6160/stat : 6160 (java) S 6150 6152 2916 0 -1 4202560 107 0 0 0 4 0 0 0 15 0 19 0 635312012 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 7 0 0 0
[pid=6152/tid=6161] ppid=6150 vsize=10544748 CPUtime=0.03 cores=1,3,5,7
/proc/6152/task/6161/stat : 6161 (java) S 6150 6152 2916 0 -1 4202560 250 0 0 0 3 0 0 0 15 0 19 0 635312012 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6162] ppid=6150 vsize=10544748 CPUtime=0.03 cores=1,3,5,7
/proc/6152/task/6162/stat : 6162 (java) S 6150 6152 2916 0 -1 4202560 195 0 0 0 3 0 0 0 16 0 19 0 635312012 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6163] ppid=6150 vsize=10544748 CPUtime=2.19 cores=1,3,5,7
/proc/6152/task/6163/stat : 6163 (java) S 6150 6152 2916 0 -1 4202560 1004 0 0 0 217 2 0 0 16 0 19 0 635312013 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478720 0 0 0 16800975 18446604457244297216 0 0 -1 3 0 0 0
[pid=6152/tid=6164] ppid=6150 vsize=10544748 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6164/stat : 6164 (java) S 6150 6152 2916 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 635312013 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6165] ppid=6150 vsize=10544748 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6165/stat : 6165 (java) S 6150 6152 2916 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 635312013 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6166] ppid=6150 vsize=10544748 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6166/stat : 6166 (java) S 6150 6152 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635312015 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672485809 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6167] ppid=6150 vsize=10544748 CPUtime=0.3 cores=1,3,5,7
/proc/6152/task/6167/stat : 6167 (java) R 6150 6152 2916 0 -1 4202560 2198 0 0 0 30 0 0 0 15 0 19 0 635312015 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 47755847655832 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6152/tid=6168] ppid=6150 vsize=10544748 CPUtime=0.95 cores=1,3,5,7
/proc/6152/task/6168/stat : 6168 (java) S 6150 6152 2916 0 -1 4202560 14162 0 0 0 95 0 0 0 15 0 19 0 635312015 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 1 0 0 0
[pid=6152/tid=6169] ppid=6150 vsize=10544748 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6169/stat : 6169 (java) S 6150 6152 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635312015 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6170] ppid=6150 vsize=10544748 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6170/stat : 6170 (java) S 6150 6152 2916 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 635312015 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478720 0 4 0 16800975 18446604457244297216 0 0 -1 3 0 0 0
[pid=6152/tid=6171] ppid=6150 vsize=10544748 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6171/stat : 6171 (java) S 6150 6152 2916 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 635312027 10797821952 21841 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478720 0 4 0 16800975 18446604457244297216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 58.12
Current children cumulated vsize (KiB) 10544748

[startup+57.5015 s]
/proc/loadavg: 1.98 2.01 1.93 3/214 6173
/proc/meminfo: memFree=866432/32951124 swapFree=67055716/67111528
[pid=6152] ppid=6150 vsize=10544748 CPUtime=58.94 cores=1,3,5,7
/proc/6152/stat : 6152 (java) S 6150 6152 2916 0 -1 4202496 32083 0 1 0 5888 6 0 0 25 0 19 0 635312009 10797821952 21843 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6152/statm: 2636187 21843 2250 9 0 2626921 0
[pid=6152/tid=6154] ppid=6150 vsize=10544748 CPUtime=55.04 cores=1,3,5,7
/proc/6152/task/6154/stat : 6154 (java) R 6150 6152 2916 0 -1 4202560 12394 0 1 0 5503 1 0 0 25 0 19 0 635312010 10797821952 21843 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 46912505595517 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6152/tid=6155] ppid=6150 vsize=10544748 CPUtime=0.04 cores=1,3,5,7
/proc/6152/task/6155/stat : 6155 (java) S 6150 6152 2916 0 -1 4202560 145 0 0 0 4 0 0 0 15 0 19 0 635312012 10797821952 21843 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6156] ppid=6150 vsize=10544748 CPUtime=0.03 cores=1,3,5,7
/proc/6152/task/6156/stat : 6156 (java) S 6150 6152 2916 0 -1 4202560 137 0 0 0 3 0 0 0 15 0 19 0 635312012 10797821952 21843 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6157] ppid=6150 vsize=10544748 CPUtime=0.04 cores=1,3,5,7
/proc/6152/task/6157/stat : 6157 (java) S 6150 6152 2916 0 -1 4202560 26 0 0 0 4 0 0 0 16 0 19 0 635312012 10797821952 21843 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 1 0 0 0
[pid=6152/tid=6158] ppid=6150 vsize=10544748 CPUtime=0.04 cores=1,3,5,7
/proc/6152/task/6158/stat : 6158 (java) S 6150 6152 2916 0 -1 4202560 246 0 0 0 4 0 0 0 15 0 19 0 635312012 10797821952 21843 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 7 0 0 0
[pid=6152/tid=6159] ppid=6150 vsize=10544748 CPUtime=0.04 cores=1,3,5,7
/proc/6152/task/6159/stat : 6159 (java) S 6150 6152 2916 0 -1 4202560 63 0 0 0 4 0 0 0 15 0 19 0 635312012 10797821952 21843 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 7 0 0 0
[pid=6152/tid=6160] ppid=6150 vsize=10544748 CPUtime=0.05 cores=1,3,5,7
/proc/6152/task/6160/stat : 6160 (java) S 6150 6152 2916 0 -1 4202560 107 0 0 0 5 0 0 0 15 0 19 0 635312012 10797821952 21843 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 7 0 0 0
[pid=6152/tid=6161] ppid=6150 vsize=10544748 CPUtime=0.03 cores=1,3,5,7
/proc/6152/task/6161/stat : 6161 (java) S 6150 6152 2916 0 -1 4202560 250 0 0 0 3 0 0 0 15 0 19 0 635312012 10797821952 21843 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 7 0 0 0
[pid=6152/tid=6162] ppid=6150 vsize=10544748 CPUtime=0.03 cores=1,3,5,7
/proc/6152/task/6162/stat : 6162 (java) S 6150 6152 2916 0 -1 4202560 195 0 0 0 3 0 0 0 15 0 19 0 635312012 10797821952 21843 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 1 0 0 0
[pid=6152/tid=6163] ppid=6150 vsize=10544748 CPUtime=2.23 cores=1,3,5,7
/proc/6152/task/6163/stat : 6163 (java) S 6150 6152 2916 0 -1 4202560 1005 0 0 0 221 2 0 0 16 0 19 0 635312013 10797821952 21843 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478720 0 0 0 16800975 18446604457244297216 0 0 -1 3 0 0 0
[pid=6152/tid=6164] ppid=6150 vsize=10544748 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6164/stat : 6164 (java) S 6150 6152 2916 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 635312013 10797821952 21843 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6165] ppid=6150 vsize=10544748 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6165/stat : 6165 (java) S 6150 6152 2916 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 635312013 10797821952 21843 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6166] ppid=6150 vsize=10544748 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6166/stat : 6166 (java) S 6150 6152 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635312015 10797821952 21843 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672485809 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6167] ppid=6150 vsize=10544748 CPUtime=0.32 cores=1,3,5,7
/proc/6152/task/6167/stat : 6167 (java) S 6150 6152 2916 0 -1 4202560 2198 0 0 0 32 0 0 0 15 0 19 0 635312015 10797821952 21843 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6168] ppid=6150 vsize=10544748 CPUtime=0.95 cores=1,3,5,7
/proc/6152/task/6168/stat : 6168 (java) S 6150 6152 2916 0 -1 4202560 14162 0 0 0 95 0 0 0 15 0 19 0 635312015 10797821952 21843 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 1 0 0 0
[pid=6152/tid=6169] ppid=6150 vsize=10544748 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6169/stat : 6169 (java) S 6150 6152 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635312015 10797821952 21843 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6170] ppid=6150 vsize=10544748 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6170/stat : 6170 (java) S 6150 6152 2916 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 635312015 10797821952 21843 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478720 0 4 0 16800975 18446604457244297216 0 0 -1 1 0 0 0
[pid=6152/tid=6171] ppid=6150 vsize=10544748 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6171/stat : 6171 (java) S 6150 6152 2916 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 635312027 10797821952 21843 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478720 0 4 0 16800975 18446604457244297216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 58.94
Current children cumulated vsize (KiB) 10544748

[startup+57.9014 s]
/proc/loadavg: 1.98 2.01 1.93 3/214 6173
/proc/meminfo: memFree=866432/32951124 swapFree=67055716/67111528
[pid=6152] ppid=6150 vsize=10545776 CPUtime=59.34 cores=1,3,5,7
/proc/6152/stat : 6152 (java) S 6150 6152 2916 0 -1 4202496 32113 0 1 0 5928 6 0 0 25 0 18 0 635312009 10798874624 21871 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6152/statm: 2636444 21871 2252 9 0 2627178 0
[pid=6152/tid=6154] ppid=6150 vsize=10545776 CPUtime=55.43 cores=1,3,5,7
/proc/6152/task/6154/stat : 6154 (java) S 6150 6152 2916 0 -1 4202560 12402 0 1 0 5542 1 0 0 25 0 18 0 635312010 10798874624 21871 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 3 0 0 0
[pid=6152/tid=6155] ppid=6150 vsize=10545776 CPUtime=0.04 cores=1,3,5,7
/proc/6152/task/6155/stat : 6155 (java) S 6150 6152 2916 0 -1 4202560 145 0 0 0 4 0 0 0 15 0 18 0 635312012 10798874624 21871 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6156] ppid=6150 vsize=10545776 CPUtime=0.03 cores=1,3,5,7
/proc/6152/task/6156/stat : 6156 (java) S 6150 6152 2916 0 -1 4202560 137 0 0 0 3 0 0 0 15 0 18 0 635312012 10798874624 21871 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6157] ppid=6150 vsize=10545776 CPUtime=0.04 cores=1,3,5,7
/proc/6152/task/6157/stat : 6157 (java) S 6150 6152 2916 0 -1 4202560 26 0 0 0 4 0 0 0 15 0 18 0 635312012 10798874624 21871 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 1 0 0 0
[pid=6152/tid=6158] ppid=6150 vsize=10545776 CPUtime=0.04 cores=1,3,5,7
/proc/6152/task/6158/stat : 6158 (java) S 6150 6152 2916 0 -1 4202560 246 0 0 0 4 0 0 0 15 0 18 0 635312012 10798874624 21871 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 7 0 0 0
[pid=6152/tid=6159] ppid=6150 vsize=10545776 CPUtime=0.04 cores=1,3,5,7
/proc/6152/task/6159/stat : 6159 (java) S 6150 6152 2916 0 -1 4202560 63 0 0 0 4 0 0 0 15 0 18 0 635312012 10798874624 21871 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 7 0 0 0
[pid=6152/tid=6160] ppid=6150 vsize=10545776 CPUtime=0.05 cores=1,3,5,7
/proc/6152/task/6160/stat : 6160 (java) S 6150 6152 2916 0 -1 4202560 107 0 0 0 5 0 0 0 15 0 18 0 635312012 10798874624 21871 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 7 0 0 0
[pid=6152/tid=6161] ppid=6150 vsize=10545776 CPUtime=0.03 cores=1,3,5,7
/proc/6152/task/6161/stat : 6161 (java) S 6150 6152 2916 0 -1 4202560 250 0 0 0 3 0 0 0 15 0 18 0 635312012 10798874624 21871 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6162] ppid=6150 vsize=10545776 CPUtime=0.03 cores=1,3,5,7
/proc/6152/task/6162/stat : 6162 (java) S 6150 6152 2916 0 -1 4202560 195 0 0 0 3 0 0 0 15 0 18 0 635312012 10798874624 21871 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 1 0 0 0
[pid=6152/tid=6163] ppid=6150 vsize=10545776 CPUtime=2.24 cores=1,3,5,7
/proc/6152/task/6163/stat : 6163 (java) S 6150 6152 2916 0 -1 4202560 1006 0 0 0 222 2 0 0 16 0 18 0 635312013 10798874624 21871 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478720 0 0 0 16800975 18446604457244297216 0 0 -1 3 0 0 0
[pid=6152/tid=6164] ppid=6150 vsize=10545776 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6164/stat : 6164 (java) S 6150 6152 2916 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 18 0 635312013 10798874624 21871 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6165] ppid=6150 vsize=10545776 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6165/stat : 6165 (java) S 6150 6152 2916 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 18 0 635312013 10798874624 21871 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6166] ppid=6150 vsize=10545776 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6166/stat : 6166 (java) S 6150 6152 2916 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 635312015 10798874624 21871 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6167] ppid=6150 vsize=10545776 CPUtime=0.32 cores=1,3,5,7
/proc/6152/task/6167/stat : 6167 (java) S 6150 6152 2916 0 -1 4202560 2198 0 0 0 32 0 0 0 15 0 18 0 635312015 10798874624 21871 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6168] ppid=6150 vsize=10545776 CPUtime=0.96 cores=1,3,5,7
/proc/6152/task/6168/stat : 6168 (java) S 6150 6152 2916 0 -1 4202560 14162 0 0 0 96 0 0 0 15 0 18 0 635312015 10798874624 21871 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 1 0 0 0
[pid=6152/tid=6169] ppid=6150 vsize=10545776 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6169/stat : 6169 (java) S 6150 6152 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 635312015 10798874624 21871 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478105 0 4 0 16800975 18446604457244297216 0 0 -1 5 0 0 0
[pid=6152/tid=6171] ppid=6150 vsize=10545776 CPUtime=0 cores=1,3,5,7
/proc/6152/task/6171/stat : 6171 (java) S 6150 6152 2916 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 635312027 10798874624 21871 33554432000 1073741824 1073778376 140734500634512 18446744073709551615 268672478720 0 4 0 16800975 18446604457244297216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 59.34
Current children cumulated vsize (KiB) 10545776

Child status: 30
Real time (s): 57.9168
CPU time (s): 59.355
CPU user time (s): 59.286
CPU system time (s): 0.068989
CPU usage (%): 102.483
Max. virtual memory (cumulated for all children) (KiB): 10545776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 59.286
system time used= 0.068989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32113
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= 6344
involuntary context switches= 2995

runsolver used 0.088986 second user time and 0.233964 second system time

The end

Launcher Data 

Begin job on node107 at 2011-06-12 22:40:07
IDJOB=3492004
IDBENCH=79254
IDSOLVER=1982
FILE ID=node107/3492004-1307911207
RUNJOBID= node107-1307908886-4789
PBS_JOBID= 13559596
Free space on /var/tmp= 2892 MiB

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

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

MD5SUM BENCH= b990c74120468e1d0b7525d3b3f74b05
RANDOM SEED=1373246248

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:        981120 kB
Buffers:         63044 kB
Cached:       30723792 kB
SwapCached:      20072 kB
Active:       15822756 kB
Inactive:     15187788 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:        981120 kB
SwapTotal:    67111528 kB
SwapFree:     67055716 kB
Dirty:             472 kB
Writeback:           0 kB
AnonPages:      221132 kB
Mapped:          21144 kB
Slab:           896644 kB
PageTables:       5188 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10541360 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= 2892 MiB
End job on node107 at 2011-06-12 22:41:05