Trace number 3492470

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 75.8265 74.6134

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976730--soft-66-100-0.wbo
MD5SUM6f22b253a236148adccf262092f666c3
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark78
Best CPU time to get the best result obtained on this benchmark0.862868
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 constraints28
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 1415
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 1414
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1183
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.02/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.08	c See www.sat4j.org for details.
0.02/0.08	c version 2.3.1.v20110525
0.02/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.08	c java.vm.version	19.1-b02
0.02/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.08	c sun.arch.data.model	64
0.02/0.08	c java.version		1.6.0_24
0.02/0.09	c os.name		Linux
0.02/0.09	c os.version		2.6.18-164.el5
0.02/0.09	c os.arch		amd64
0.02/0.09	c Free memory 		9996466904
0.02/0.09	c Max memory 		10048897024
0.02/0.09	c Total memory 		10048897024
0.02/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3492470-1307909877.wbo
0.11/0.11	c reading problem ... 
0.11/0.17	c ... done. Wall clock time 0.06s.
0.11/0.17	c #vars     197
0.11/0.17	c #constraints  101
0.11/0.17	c constraints type 
0.11/0.17	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 28
0.11/0.17	c org.sat4j.minisat.constraints.card.MinWatchCard => 50
0.11/0.17	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2
0.11/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21
0.65/0.48	c cleaning 2498 clauses out of 5000 with flag 5000/5000
1.03/0.72	c cleaning 4249 clauses out of 8503 with flag 11001/11001
1.23/1.00	c cleaning 5620 clauses out of 11253 with flag 18000/18000
1.64/1.35	c cleaning 6816 clauses out of 13634 with flag 26001/26001
2.07/1.75	c cleaning 7907 clauses out of 15818 with flag 35001/35001
2.48/2.14	c cleaning 8952 clauses out of 17912 with flag 45002/45002
2.87/2.57	c cleaning 9473 clauses out of 18959 with flag 55001/55001
3.28/2.97	c cleaning 9740 clauses out of 19488 with flag 65003/65003
3.68/3.35	c cleaning 9873 clauses out of 19746 with flag 75001/75001
4.08/3.72	c SATISFIABLE
4.08/3.72	c OPTIMIZING...
4.08/3.72	c Got one! Elapsed wall clock time (in seconds):3.615
4.08/3.72	o 421
4.28/3.99	c cleaning 12323 clauses out of 24654 with flag 5001/89782
4.59/4.24	c cleaning 9161 clauses out of 18332 with flag 11002/95783
4.79/4.48	c cleaning 8082 clauses out of 16170 with flag 18001/102782
5.09/4.74	c cleaning 8037 clauses out of 16088 with flag 26001/110782
5.39/5.03	c cleaning 8521 clauses out of 17051 with flag 35001/119782
5.69/5.39	c cleaning 9262 clauses out of 18529 with flag 45000/129781
6.09/5.71	c cleaning 9631 clauses out of 19268 with flag 55001/139782
6.39/6.05	c cleaning 9814 clauses out of 19636 with flag 65000/149781
6.69/6.37	c cleaning 9902 clauses out of 19824 with flag 75002/159783
6.90/6.50	c Got one! Elapsed wall clock time (in seconds):6.394
6.90/6.50	o 244
6.90/6.54	c cleaning 7711 clauses out of 15425 with flag 1002/165286
7.09/6.76	c cleaning 6849 clauses out of 13713 with flag 7001/171285
7.40/7.01	c cleaning 6929 clauses out of 13864 with flag 14001/178285
7.60/7.29	c cleaning 7462 clauses out of 14934 with flag 22000/186284
8.00/7.60	c cleaning 8231 clauses out of 16472 with flag 31000/195284
8.30/7.95	c cleaning 9112 clauses out of 18241 with flag 41000/205284
8.60/8.29	c cleaning 9560 clauses out of 19129 with flag 51000/215284
9.00/8.62	c cleaning 9781 clauses out of 19572 with flag 61003/225287
9.30/8.95	c cleaning 9889 clauses out of 19789 with flag 71001/235285
9.61/9.26	c cleaning 9947 clauses out of 19900 with flag 81001/245285
10.01/9.60	c cleaning 9972 clauses out of 19955 with flag 91003/255287
10.31/9.92	c cleaning 9987 clauses out of 19981 with flag 101001/265285
10.61/10.28	c cleaning 9991 clauses out of 19993 with flag 111000/275284
11.01/10.64	c cleaning 9998 clauses out of 20003 with flag 121001/285285
11.32/10.97	c cleaning 9998 clauses out of 20004 with flag 131000/295284
11.71/11.32	c cleaning 9998 clauses out of 20006 with flag 141000/305284
11.91/11.54	c Got one! Elapsed wall clock time (in seconds):11.436
11.91/11.54	o 212
12.11/11.76	c cleaning 11161 clauses out of 22328 with flag 5004/317604
12.31/11.98	c cleaning 8576 clauses out of 17164 with flag 11001/323601
12.61/12.24	c cleaning 7789 clauses out of 15587 with flag 18000/330600
12.91/12.53	c cleaning 7889 clauses out of 15798 with flag 26000/338600
13.21/12.82	c cleaning 8450 clauses out of 16910 with flag 35001/347601
13.31/12.98	c Got one! Elapsed wall clock time (in seconds):12.876
13.31/12.98	o 123
13.52/13.19	c cleaning 9476 clauses out of 18960 with flag 5002/358101
13.81/13.41	c cleaning 7737 clauses out of 15482 with flag 11000/364099
14.02/13.67	c cleaning 7369 clauses out of 14745 with flag 18000/371099
14.31/13.98	c cleaning 7681 clauses out of 15376 with flag 26000/379099
14.72/14.31	c cleaning 8346 clauses out of 16698 with flag 35003/388102
15.02/14.68	c cleaning 9172 clauses out of 18349 with flag 45000/398099
15.42/15.05	c cleaning 9586 clauses out of 19179 with flag 55002/408101
15.72/15.40	c cleaning 9793 clauses out of 19593 with flag 65002/418101
16.12/15.77	c cleaning 9893 clauses out of 19798 with flag 75000/428099
16.52/16.16	c cleaning 9951 clauses out of 19905 with flag 85000/438099
16.93/16.53	c cleaning 9971 clauses out of 19954 with flag 95000/448099
17.12/16.75	c Got one! Elapsed wall clock time (in seconds):16.641
17.12/16.75	o 106
17.32/16.98	c cleaning 10823 clauses out of 21655 with flag 5000/459771
17.62/17.23	c cleaning 8408 clauses out of 16833 with flag 11001/465772
17.93/17.52	c cleaning 7712 clauses out of 15428 with flag 18004/472775
18.23/17.82	c cleaning 7848 clauses out of 15716 with flag 26004/480775
18.63/18.20	c cleaning 8429 clauses out of 16864 with flag 35000/489771
18.93/18.59	c cleaning 9212 clauses out of 18435 with flag 45000/499771
19.33/18.96	c cleaning 9607 clauses out of 19223 with flag 55000/509771
19.73/19.35	c cleaning 9802 clauses out of 19616 with flag 65000/519771
20.14/19.75	c cleaning 9903 clauses out of 19815 with flag 75001/529772
20.53/20.14	c cleaning 9949 clauses out of 19912 with flag 85001/539772
20.94/20.54	c cleaning 9977 clauses out of 19963 with flag 95001/549772
21.35/20.91	c cleaning 9987 clauses out of 19986 with flag 105001/559772
21.65/21.28	c cleaning 9996 clauses out of 20000 with flag 115002/569773
22.07/21.65	c cleaning 9993 clauses out of 20002 with flag 125000/579771
22.27/21.83	c Got one! Elapsed wall clock time (in seconds):21.721
22.27/21.83	o 100
22.27/21.87	c cleaning 7989 clauses out of 15985 with flag 1000/585747
22.57/22.11	c cleaning 6993 clauses out of 13996 with flag 7000/591747
22.77/22.39	c cleaning 6997 clauses out of 14004 with flag 14001/598748
23.17/22.72	c cleaning 7500 clauses out of 15011 with flag 22005/606752
23.47/23.09	c cleaning 8248 clauses out of 16507 with flag 31001/615748
23.97/23.51	c cleaning 9122 clauses out of 18258 with flag 41000/625747
24.37/23.93	c cleaning 9561 clauses out of 19137 with flag 51001/635748
24.77/24.34	c cleaning 9780 clauses out of 19576 with flag 61001/645748
25.18/24.75	c cleaning 9896 clauses out of 19797 with flag 71002/655749
25.58/25.12	c cleaning 9947 clauses out of 19899 with flag 81000/665747
25.98/25.51	c cleaning 9969 clauses out of 19952 with flag 91000/675747
26.38/25.92	c cleaning 9987 clauses out of 19984 with flag 101001/685748
26.68/26.30	c cleaning 9994 clauses out of 19997 with flag 111001/695748
27.08/26.69	c cleaning 9997 clauses out of 20002 with flag 121000/705747
27.48/27.06	c cleaning 10001 clauses out of 20006 with flag 131001/715748
27.89/27.44	c cleaning 9996 clauses out of 20004 with flag 141000/725747
28.29/27.82	c cleaning 10000 clauses out of 20010 with flag 151002/735749
28.69/28.24	c cleaning 10001 clauses out of 20008 with flag 161000/745747
29.10/28.65	c cleaning 9997 clauses out of 20007 with flag 171000/755747
29.49/29.05	c cleaning 10002 clauses out of 20010 with flag 181000/765747
29.89/29.44	c cleaning 9998 clauses out of 20008 with flag 191000/775747
30.29/29.82	c cleaning 9998 clauses out of 20010 with flag 201000/785747
30.69/30.20	c cleaning 10002 clauses out of 20014 with flag 211002/795749
30.99/30.58	c cleaning 9996 clauses out of 20010 with flag 221000/805747
31.39/30.99	c cleaning 10003 clauses out of 20014 with flag 231000/815747
31.80/31.37	c cleaning 10001 clauses out of 20011 with flag 241000/825747
32.20/31.72	c cleaning 9992 clauses out of 20011 with flag 251001/835748
32.60/32.10	c cleaning 10006 clauses out of 20019 with flag 261001/845748
32.99/32.50	c cleaning 10000 clauses out of 20012 with flag 271000/855747
33.30/32.88	c cleaning 9996 clauses out of 20012 with flag 281000/865747
33.80/33.30	c cleaning 10004 clauses out of 20018 with flag 291002/875749
34.10/33.66	c cleaning 10001 clauses out of 20013 with flag 301001/885748
34.20/33.75	c Got one! Elapsed wall clock time (in seconds):33.644
34.20/33.75	o 89
34.30/33.87	c cleaning 7742 clauses out of 15491 with flag 3003/891227
34.51/34.10	c cleaning 6869 clauses out of 13747 with flag 9001/897225
34.80/34.37	c cleaning 6933 clauses out of 13877 with flag 16000/904224
35.20/34.70	c cleaning 7469 clauses out of 14947 with flag 24003/912227
35.50/35.06	c cleaning 8234 clauses out of 16475 with flag 33000/921224
35.91/35.47	c cleaning 9116 clauses out of 18241 with flag 43000/931224
36.31/35.85	c cleaning 9560 clauses out of 19125 with flag 53000/941224
36.71/36.24	c cleaning 9778 clauses out of 19566 with flag 63001/951225
37.11/36.69	c cleaning 9890 clauses out of 19791 with flag 73004/961228
37.61/37.10	c cleaning 9945 clauses out of 19898 with flag 83001/971225
38.01/37.53	c cleaning 9971 clauses out of 19952 with flag 93000/981224
38.41/37.93	c cleaning 9984 clauses out of 19981 with flag 103000/991224
38.81/38.32	c cleaning 9994 clauses out of 19998 with flag 113001/1001225
39.21/38.72	c cleaning 9997 clauses out of 20004 with flag 123001/1011225
39.51/39.08	c cleaning 9999 clauses out of 20007 with flag 133001/1021225
39.91/39.45	c cleaning 10001 clauses out of 20008 with flag 143001/1031225
40.31/39.85	c cleaning 9996 clauses out of 20006 with flag 153000/1041224
40.71/40.25	c cleaning 9995 clauses out of 20010 with flag 163000/1051224
41.12/40.63	c cleaning 10003 clauses out of 20015 with flag 173000/1061224
41.52/41.02	c cleaning 9998 clauses out of 20012 with flag 183000/1071224
41.92/41.41	c cleaning 10002 clauses out of 20016 with flag 193002/1081226
42.22/41.79	c cleaning 10003 clauses out of 20013 with flag 203001/1091225
42.62/42.17	c cleaning 10002 clauses out of 20012 with flag 213003/1101227
43.02/42.55	c cleaning 10000 clauses out of 20007 with flag 223000/1111224
43.43/42.92	c cleaning 10001 clauses out of 20008 with flag 233001/1121225
43.72/43.29	c cleaning 9998 clauses out of 20006 with flag 243000/1131224
44.12/43.65	c cleaning 9998 clauses out of 20008 with flag 253000/1141224
44.54/44.01	c cleaning 10002 clauses out of 20011 with flag 263001/1151225
44.83/44.38	c cleaning 10002 clauses out of 20010 with flag 273002/1161226
45.23/44.75	c cleaning 9999 clauses out of 20007 with flag 283001/1171225
45.64/45.12	c cleaning 9999 clauses out of 20007 with flag 293000/1181224
46.03/45.52	c cleaning 10000 clauses out of 20009 with flag 303001/1191225
46.43/45.90	c cleaning 9998 clauses out of 20008 with flag 313000/1201224
46.74/46.28	c cleaning 9999 clauses out of 20012 with flag 323002/1211226
47.14/46.66	c cleaning 10004 clauses out of 20012 with flag 333001/1221225
47.54/47.04	c cleaning 9998 clauses out of 20007 with flag 343000/1231224
47.94/47.43	c cleaning 9999 clauses out of 20009 with flag 353000/1241224
48.34/47.80	c cleaning 9999 clauses out of 20010 with flag 363000/1251224
48.64/48.19	c cleaning 10000 clauses out of 20011 with flag 373000/1261224
49.04/48.57	c cleaning 10003 clauses out of 20013 with flag 383002/1271226
49.44/48.96	c cleaning 9999 clauses out of 20009 with flag 393001/1281225
49.84/49.34	c cleaning 10001 clauses out of 20010 with flag 403001/1291225
50.24/49.70	c cleaning 10000 clauses out of 20008 with flag 413000/1301224
50.54/50.07	c cleaning 9996 clauses out of 20008 with flag 423000/1311224
50.94/50.43	c cleaning 10001 clauses out of 20013 with flag 433001/1321225
51.24/50.78	c cleaning 10000 clauses out of 20011 with flag 443000/1331224
51.64/51.11	c cleaning 9999 clauses out of 20014 with flag 453003/1341227
51.94/51.46	c cleaning 10001 clauses out of 20016 with flag 463004/1351228
52.35/51.81	c cleaning 10000 clauses out of 20012 with flag 473001/1361225
52.65/52.17	c cleaning 9999 clauses out of 20012 with flag 483001/1371225
53.05/52.58	c cleaning 10002 clauses out of 20015 with flag 493003/1381227
53.25/52.72	c Got one! Elapsed wall clock time (in seconds):52.61
53.25/52.72	o 78
53.25/52.80	c cleaning 8002 clauses out of 16010 with flag 2002/1387224
53.55/53.03	c cleaning 7001 clauses out of 14007 with flag 8001/1393223
53.85/53.31	c cleaning 6997 clauses out of 14005 with flag 15000/1400222
54.15/53.61	c cleaning 7499 clauses out of 15009 with flag 23001/1408223
54.46/53.96	c cleaning 8249 clauses out of 16510 with flag 32001/1417223
54.85/54.36	c cleaning 9128 clauses out of 18262 with flag 42002/1427224
55.25/54.73	c cleaning 9562 clauses out of 19133 with flag 52001/1437223
55.65/55.10	c cleaning 9779 clauses out of 19570 with flag 62000/1447222
55.95/55.49	c cleaning 9893 clauses out of 19791 with flag 72000/1457222
56.35/55.88	c cleaning 9945 clauses out of 19899 with flag 82001/1467223
56.75/56.28	c cleaning 9972 clauses out of 19954 with flag 92001/1477223
57.15/56.64	c cleaning 9986 clauses out of 19981 with flag 102000/1487222
57.45/57.00	c cleaning 9992 clauses out of 19995 with flag 112000/1497222
57.86/57.36	c cleaning 9997 clauses out of 20003 with flag 122000/1507222
58.26/57.73	c cleaning 9998 clauses out of 20006 with flag 132000/1517222
58.66/58.14	c cleaning 10000 clauses out of 20009 with flag 142001/1527223
59.06/58.51	c cleaning 9998 clauses out of 20008 with flag 152000/1537222
59.36/58.89	c cleaning 10000 clauses out of 20010 with flag 162000/1547222
59.76/59.23	c cleaning 10000 clauses out of 20010 with flag 172000/1557222
60.07/59.59	c cleaning 10000 clauses out of 20010 with flag 182000/1567222
60.47/59.95	c cleaning 9999 clauses out of 20012 with flag 192002/1577224
60.87/60.32	c cleaning 10002 clauses out of 20013 with flag 202002/1587224
61.17/60.68	c cleaning 10002 clauses out of 20009 with flag 212000/1597222
61.57/61.00	c cleaning 10000 clauses out of 20009 with flag 222002/1607224
61.87/61.35	c cleaning 9998 clauses out of 20007 with flag 232000/1617222
62.27/61.70	c cleaning 10000 clauses out of 20012 with flag 242003/1627225
62.57/62.06	c cleaning 9998 clauses out of 20010 with flag 252001/1637223
62.98/62.42	c cleaning 10002 clauses out of 20011 with flag 262000/1647222
63.28/62.78	c cleaning 10002 clauses out of 20011 with flag 272002/1657224
63.68/63.13	c cleaning 9998 clauses out of 20008 with flag 282001/1667223
63.98/63.48	c cleaning 9997 clauses out of 20009 with flag 292000/1677222
64.39/63.83	c cleaning 9999 clauses out of 20012 with flag 302000/1687222
64.78/64.20	c cleaning 10002 clauses out of 20013 with flag 312000/1697222
65.18/64.60	c cleaning 10002 clauses out of 20012 with flag 322001/1707223
65.48/64.97	c cleaning 9999 clauses out of 20009 with flag 332000/1717222
65.88/65.35	c cleaning 10004 clauses out of 20016 with flag 342006/1727228
66.28/65.72	c cleaning 9994 clauses out of 20006 with flag 352000/1737222
66.59/66.07	c cleaning 10002 clauses out of 20013 with flag 362001/1747223
66.98/66.44	c cleaning 9997 clauses out of 20011 with flag 372001/1757223
67.39/66.81	c cleaning 10002 clauses out of 20014 with flag 382001/1767223
67.69/67.17	c cleaning 10000 clauses out of 20012 with flag 392001/1777223
68.09/67.54	c cleaning 9999 clauses out of 20011 with flag 402000/1787222
68.49/67.92	c cleaning 10001 clauses out of 20013 with flag 412001/1797223
68.79/68.27	c cleaning 9998 clauses out of 20011 with flag 422000/1807222
69.19/68.64	c cleaning 10002 clauses out of 20015 with flag 432002/1817224
69.49/69.00	c cleaning 10003 clauses out of 20011 with flag 442000/1827222
69.89/69.33	c cleaning 9999 clauses out of 20010 with flag 452002/1837224
70.29/69.70	c cleaning 10000 clauses out of 20010 with flag 462001/1847223
70.59/70.05	c cleaning 10002 clauses out of 20011 with flag 472002/1857224
70.99/70.41	c cleaning 10000 clauses out of 20007 with flag 482000/1867222
71.29/70.75	c cleaning 10000 clauses out of 20007 with flag 492000/1877222
71.69/71.11	c cleaning 10000 clauses out of 20009 with flag 502002/1887224
72.00/71.44	c cleaning 9998 clauses out of 20010 with flag 512003/1897225
72.30/71.79	c cleaning 10000 clauses out of 20009 with flag 522000/1907222
72.70/72.13	c cleaning 10003 clauses out of 20011 with flag 532002/1917224
73.00/72.48	c cleaning 10000 clauses out of 20007 with flag 542001/1927223
73.40/72.83	c cleaning 10000 clauses out of 20006 with flag 552000/1937222
73.82/73.23	c cleaning 9999 clauses out of 20006 with flag 562000/1947222
74.52/73.61	c cleaning 10002 clauses out of 20009 with flag 572002/1957224
75.17/74.04	c cleaning 9999 clauses out of 20005 with flag 582000/1967222
75.59/74.46	c cleaning 10000 clauses out of 20008 with flag 592003/1977225
75.80/74.60	c starts		: 217
75.80/74.60	c conflicts		: 1981173
75.80/74.60	c decisions		: 2942955
75.80/74.60	c propagations		: 44307754
75.80/74.60	c inspects		: 501370287
75.80/74.60	c shortcuts		: 0
75.80/74.60	c learnt literals	: 8
75.80/74.60	c learnt binary clauses	: 19
75.80/74.60	c learnt ternary clauses	: 506
75.80/74.60	c learnt constraints	: 1981164
75.80/74.60	c ignored constraints	: 0
75.80/74.60	c root simplifications	: 0
75.80/74.60	c removed literals (reason simplification)	: 17860716
75.80/74.60	c reason swapping (by a shorter reason)	: 0
75.80/74.60	c Calls to reduceDB	: 208
75.80/74.60	c number of reductions to clauses (during analyze)	: 0
75.80/74.60	c number of learned constraints concerned by reduction	: 0
75.80/74.60	c number of learning phase by resolution	: 0
75.80/74.60	c number of learning phase by cutting planes	: 0
75.80/74.60	c speed (assignments/second)	: 2024664.3209650887
75.80/74.60	c non guided choices	462
75.80/74.60	c learnt constraints type 
75.80/74.60	c constraints type 
75.80/74.60	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 28
75.80/74.60	c org.sat4j.minisat.constraints.card.MinWatchCard => 50
75.80/74.60	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2
75.80/74.60	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21
75.80/74.60	s OPTIMUM FOUND
75.80/74.60	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 
75.80/74.60	c objective function=78
75.80/74.60	c Total wall clock time (in seconds): 74.497

Verifier Data 

OK	78

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-3492470-1307909877/watcher-3492470-1307909877 -o /var/tmp/evaluation-result-3492470-1307909877/solver-3492470-1307909877 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492470-1307909877.wbo 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.97 1.98 1.89 2/195 13934
/proc/meminfo: memFree=861492/32951124 swapFree=67051728/67111528
[pid=13934] ppid=13932 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/13934/stat : 13934 (java) R 13932 13934 12190 0 -1 4202496 960 0 0 0 0 0 0 0 25 0 1 0 902585683 23580672 702 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228117751272 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13934/statm: 5757 702 518 9 0 124 0

[startup+0.0337669 s]
/proc/loadavg: 1.97 1.98 1.89 2/195 13934
/proc/meminfo: memFree=861492/32951124 swapFree=67051728/67111528
[pid=13934] ppid=13932 vsize=10465424 CPUtime=0.02 cores=0,2,4,6
/proc/13934/stat : 13934 (java) S 13932 13934 12190 0 -1 4202496 10904 0 1 0 1 1 0 0 25 0 11 0 902585683 10716594176 10601 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/13934/statm: 2616356 10601 1564 9 0 2607104 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10465424

[startup+0.104871 s]
/proc/loadavg: 1.97 1.98 1.89 2/195 13934
/proc/meminfo: memFree=861492/32951124 swapFree=67051728/67111528
[pid=13934] ppid=13932 vsize=10540672 CPUtime=0.11 cores=0,2,4,6
/proc/13934/stat : 13934 (java) S 13932 13934 12190 0 -1 4202496 13151 0 1 0 9 2 0 0 25 0 18 0 902585683 10793648128 12829 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13934/statm: 2635168 12829 2093 9 0 2625902 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540672

[startup+0.300858 s]
/proc/loadavg: 1.97 1.98 1.89 2/195 13934
/proc/meminfo: memFree=861492/32951124 swapFree=67051728/67111528
[pid=13934] ppid=13932 vsize=10545796 CPUtime=0.53 cores=0,2,4,6
/proc/13934/stat : 13934 (java) S 13932 13934 12190 0 -1 4202496 16077 0 1 0 51 2 0 0 25 0 19 0 902585683 10798895104 14960 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13934/statm: 2636449 14960 2215 9 0 2627183 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10545796

[startup+0.700765 s]
/proc/loadavg: 1.97 1.98 1.89 2/195 13934
/proc/meminfo: memFree=861492/32951124 swapFree=67051728/67111528
[pid=13934] ppid=13932 vsize=10545796 CPUtime=1.03 cores=0,2,4,6
/proc/13934/stat : 13934 (java) S 13932 13934 12190 0 -1 4202496 16757 0 1 0 101 2 0 0 25 0 19 0 902585683 10798895104 15637 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13934/statm: 2636449 15637 2247 9 0 2627183 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 10545796

[startup+1.50167 s]
/proc/loadavg: 1.97 1.98 1.89 3/194 13956
/proc/meminfo: memFree=1220248/32951124 swapFree=67051728/67111528
[pid=13934] ppid=13932 vsize=10545796 CPUtime=1.87 cores=0,2,4,6
/proc/13934/stat : 13934 (java) S 13932 13934 12190 0 -1 4202496 17386 0 1 0 185 2 0 0 25 0 19 0 902585683 10798895104 16262 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13934/statm: 2636449 16262 2248 9 0 2627183 0
[pid=13934/tid=13936] ppid=13932 vsize=10545796 CPUtime=1.41 cores=0,2,4,6
/proc/13934/task/13936/stat : 13936 (java) R 13932 13934 12190 0 -1 4202560 11982 0 1 0 140 1 0 0 17 0 19 0 902585684 10798895104 16262 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 46912505609654 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13934/tid=13937] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13937/stat : 13937 (java) S 13932 13934 12190 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 19 0 902585685 10798895104 16262 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 4 0 0 0
[pid=13934/tid=13938] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13938/stat : 13938 (java) S 13932 13934 12190 0 -1 4202560 37 0 0 0 0 0 0 0 15 0 19 0 902585685 10798895104 16262 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13939] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13939/stat : 13939 (java) S 13932 13934 12190 0 -1 4202560 79 0 0 0 0 0 0 0 15 0 19 0 902585685 10798895104 16262 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13940] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13940/stat : 13940 (java) S 13932 13934 12190 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902585685 10798895104 16262 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 4 0 0 0
[pid=13934/tid=13941] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13941/stat : 13941 (java) S 13932 13934 12190 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 902585685 10798895104 16262 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13942] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13942/stat : 13942 (java) S 13932 13934 12190 0 -1 4202560 72 0 0 0 0 0 0 0 16 0 19 0 902585685 10798895104 16262 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 4 0 0 0
[pid=13934/tid=13943] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13943/stat : 13943 (java) S 13932 13934 12190 0 -1 4202560 198 0 0 0 0 0 0 0 16 0 19 0 902585685 10798895104 16262 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 2 0 0 0
[pid=13934/tid=13944] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13944/stat : 13944 (java) S 13932 13934 12190 0 -1 4202560 139 0 0 0 0 0 0 0 15 0 19 0 902585685 10798895104 16262 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 2 0 0 0
[pid=13934/tid=13945] ppid=13932 vsize=10545796 CPUtime=0.05 cores=0,2,4,6
/proc/13934/task/13945/stat : 13945 (java) S 13932 13934 12190 0 -1 4202560 412 0 0 0 5 0 0 0 16 0 19 0 902585686 10798895104 16262 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134530560 0 0 0 16800975 18446604440299203648 0 0 -1 0 0 0 0
[pid=13934/tid=13946] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13946/stat : 13946 (java) S 13932 13934 12190 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902585687 10798895104 16262 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13947] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13947/stat : 13947 (java) S 13932 13934 12190 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 902585687 10798895104 16262 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13948] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13948/stat : 13948 (java) S 13932 13934 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902585689 10798895104 16262 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134537649 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13949] ppid=13932 vsize=10545796 CPUtime=0.19 cores=0,2,4,6
/proc/13934/task/13949/stat : 13949 (java) S 13932 13934 12190 0 -1 4202560 1212 0 0 0 19 0 0 0 15 0 19 0 902585689 10798895104 16262 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 2 0 0 0
[pid=13934/tid=13950] ppid=13932 vsize=10545796 CPUtime=0.16 cores=0,2,4,6
/proc/13934/task/13950/stat : 13950 (java) S 13932 13934 12190 0 -1 4202560 2009 0 0 0 16 0 0 0 15 0 19 0 902585689 10798895104 16262 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 4 0 0 0
[pid=13934/tid=13951] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13951/stat : 13951 (java) S 13932 13934 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902585689 10798895104 16262 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13952] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13952/stat : 13952 (java) S 13932 13934 12190 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902585689 10798895104 16262 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134530560 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13953] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13953/stat : 13953 (java) S 13932 13934 12190 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902585701 10798895104 16262 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134530560 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 10545796

[startup+3.10131 s]
/proc/loadavg: 1.97 1.98 1.89 2/194 13956
/proc/meminfo: memFree=1217892/32951124 swapFree=67051728/67111528
[pid=13934] ppid=13932 vsize=10545796 CPUtime=3.48 cores=0,2,4,6
/proc/13934/stat : 13934 (java) S 13932 13934 12190 0 -1 4202496 17713 0 1 0 346 2 0 0 25 0 19 0 902585683 10798895104 16585 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13934/statm: 2636449 16585 2248 9 0 2627183 0
[pid=13934/tid=13936] ppid=13932 vsize=10545796 CPUtime=2.95 cores=0,2,4,6
/proc/13934/task/13936/stat : 13936 (java) R 13932 13934 12190 0 -1 4202560 11986 0 1 0 294 1 0 0 19 0 19 0 902585684 10798895104 16585 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 46912505571060 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13934/tid=13937] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13937/stat : 13937 (java) S 13932 13934 12190 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 902585685 10798895104 16585 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 4 0 0 0
[pid=13934/tid=13938] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13938/stat : 13938 (java) S 13932 13934 12190 0 -1 4202560 37 0 0 0 0 0 0 0 15 0 19 0 902585685 10798895104 16585 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13939] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13939/stat : 13939 (java) S 13932 13934 12190 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 19 0 902585685 10798895104 16585 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13940] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13940/stat : 13940 (java) S 13932 13934 12190 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 902585685 10798895104 16585 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 4 0 0 0
[pid=13934/tid=13941] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13941/stat : 13941 (java) S 13932 13934 12190 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 902585685 10798895104 16585 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13942] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13942/stat : 13942 (java) S 13932 13934 12190 0 -1 4202560 90 0 0 0 0 0 0 0 15 0 19 0 902585685 10798895104 16585 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13943] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13943/stat : 13943 (java) S 13932 13934 12190 0 -1 4202560 223 0 0 0 0 0 0 0 15 0 19 0 902585685 10798895104 16585 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 2 0 0 0
[pid=13934/tid=13944] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13944/stat : 13944 (java) S 13932 13934 12190 0 -1 4202560 141 0 0 0 0 0 0 0 15 0 19 0 902585685 10798895104 16585 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 2 0 0 0
[pid=13934/tid=13945] ppid=13932 vsize=10545796 CPUtime=0.1 cores=0,2,4,6
/proc/13934/task/13945/stat : 13945 (java) S 13932 13934 12190 0 -1 4202560 651 0 0 0 10 0 0 0 16 0 19 0 902585686 10798895104 16585 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134530560 0 0 0 16800975 18446604440299203648 0 0 -1 0 0 0 0
[pid=13934/tid=13946] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13946/stat : 13946 (java) S 13932 13934 12190 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902585687 10798895104 16585 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13947] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13947/stat : 13947 (java) S 13932 13934 12190 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 902585687 10798895104 16585 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13948] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13948/stat : 13948 (java) S 13932 13934 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902585689 10798895104 16585 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134537649 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13949] ppid=13932 vsize=10545796 CPUtime=0.19 cores=0,2,4,6
/proc/13934/task/13949/stat : 13949 (java) S 13932 13934 12190 0 -1 4202560 1212 0 0 0 19 0 0 0 15 0 19 0 902585689 10798895104 16585 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 2 0 0 0
[pid=13934/tid=13950] ppid=13932 vsize=10545796 CPUtime=0.16 cores=0,2,4,6
/proc/13934/task/13950/stat : 13950 (java) S 13932 13934 12190 0 -1 4202560 2009 0 0 0 16 0 0 0 15 0 19 0 902585689 10798895104 16585 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 4 0 0 0
[pid=13934/tid=13951] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13951/stat : 13951 (java) S 13932 13934 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902585689 10798895104 16585 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13952] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13952/stat : 13952 (java) S 13932 13934 12190 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902585689 10798895104 16585 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134530560 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13953] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13953/stat : 13953 (java) S 13932 13934 12190 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902585701 10798895104 16585 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134530560 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 10545796

[startup+6.30075 s]
/proc/loadavg: 1.89 1.97 1.88 3/214 14012
/proc/meminfo: memFree=1164148/32951124 swapFree=67051728/67111528
[pid=13934] ppid=13932 vsize=10545796 CPUtime=6.69 cores=0,2,4,6
/proc/13934/stat : 13934 (java) S 13932 13934 12190 0 -1 4202496 18148 0 1 0 666 3 0 0 25 0 19 0 902585683 10798895104 16978 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13934/statm: 2636449 16978 2248 9 0 2627183 0
[pid=13934/tid=13936] ppid=13932 vsize=10545796 CPUtime=6.01 cores=0,2,4,6
/proc/13934/task/13936/stat : 13936 (java) R 13932 13934 12190 0 -1 4202560 12002 0 1 0 600 1 0 0 25 0 19 0 902585684 10798895104 16978 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 46912505535744 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13934/tid=13937] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13937/stat : 13937 (java) S 13932 13934 12190 0 -1 4202560 140 0 0 0 0 0 0 0 15 0 19 0 902585685 10798895104 16978 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 2 0 0 0
[pid=13934/tid=13938] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13938/stat : 13938 (java) S 13932 13934 12190 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 19 0 902585685 10798895104 16978 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13939] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13939/stat : 13939 (java) S 13932 13934 12190 0 -1 4202560 81 0 0 0 0 0 0 0 15 0 19 0 902585685 10798895104 16978 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 4 0 0 0
[pid=13934/tid=13940] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13940/stat : 13940 (java) S 13932 13934 12190 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 902585685 10798895104 16978 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 4 0 0 0
[pid=13934/tid=13941] ppid=13932 vsize=10545796 CPUtime=0.01 cores=0,2,4,6
/proc/13934/task/13941/stat : 13941 (java) S 13932 13934 12190 0 -1 4202560 17 0 0 0 1 0 0 0 15 0 19 0 902585685 10798895104 16978 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13942] ppid=13932 vsize=10545796 CPUtime=0.01 cores=0,2,4,6
/proc/13934/task/13942/stat : 13942 (java) S 13932 13934 12190 0 -1 4202560 240 0 0 0 1 0 0 0 15 0 19 0 902585685 10798895104 16978 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 4 0 0 0
[pid=13934/tid=13943] ppid=13932 vsize=10545796 CPUtime=0.01 cores=0,2,4,6
/proc/13934/task/13943/stat : 13943 (java) S 13932 13934 12190 0 -1 4202560 282 0 0 0 1 0 0 0 15 0 19 0 902585685 10798895104 16978 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 2 0 0 0
[pid=13934/tid=13944] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13944/stat : 13944 (java) S 13932 13934 12190 0 -1 4202560 142 0 0 0 0 0 0 0 16 0 19 0 902585685 10798895104 16978 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 2 0 0 0
[pid=13934/tid=13945] ppid=13932 vsize=10545796 CPUtime=0.23 cores=0,2,4,6
/proc/13934/task/13945/stat : 13945 (java) S 13932 13934 12190 0 -1 4202560 765 0 0 0 23 0 0 0 15 0 19 0 902585686 10798895104 16978 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134530560 0 0 0 16800975 18446604440299203648 0 0 -1 0 0 0 0
[pid=13934/tid=13946] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13946/stat : 13946 (java) S 13932 13934 12190 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902585687 10798895104 16978 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13947] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13947/stat : 13947 (java) S 13932 13934 12190 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 902585687 10798895104 16978 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13948] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13948/stat : 13948 (java) S 13932 13934 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902585689 10798895104 16978 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134537649 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13949] ppid=13932 vsize=10545796 CPUtime=0.19 cores=0,2,4,6
/proc/13934/task/13949/stat : 13949 (java) S 13932 13934 12190 0 -1 4202560 1212 0 0 0 19 0 0 0 15 0 19 0 902585689 10798895104 16978 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 2 0 0 0
[pid=13934/tid=13950] ppid=13932 vsize=10545796 CPUtime=0.16 cores=0,2,4,6
/proc/13934/task/13950/stat : 13950 (java) S 13932 13934 12190 0 -1 4202560 2009 0 0 0 16 0 0 0 15 0 19 0 902585689 10798895104 16978 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 4 0 0 0
[pid=13934/tid=13951] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13951/stat : 13951 (java) S 13932 13934 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902585689 10798895104 16978 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13952] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13952/stat : 13952 (java) R 13932 13934 12190 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902585689 10798895104 16978 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134530560 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=13934/tid=13953] ppid=13932 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13953/stat : 13953 (java) S 13932 13934 12190 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902585701 10798895104 16978 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134530560 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.69
Current children cumulated vsize (KiB) 10545796

[startup+12.7016 s]

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

/proc/13934/task/13937/stat : 13937 (java) S 13932 13934 12190 0 -1 4202560 145 0 0 0 5 0 0 0 15 0 19 0 902585685 10817515520 21702 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 2 0 0 0
[pid=13934/tid=13938] ppid=13932 vsize=10563980 CPUtime=0.05 cores=0,2,4,6
/proc/13934/task/13938/stat : 13938 (java) S 13932 13934 12190 0 -1 4202560 45 0 0 0 5 0 0 0 15 0 19 0 902585685 10817515520 21702 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 2 0 0 0
[pid=13934/tid=13939] ppid=13932 vsize=10563980 CPUtime=0.04 cores=0,2,4,6
/proc/13934/task/13939/stat : 13939 (java) S 13932 13934 12190 0 -1 4202560 90 0 0 0 4 0 0 0 15 0 19 0 902585685 10817515520 21702 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13940] ppid=13932 vsize=10563980 CPUtime=0.05 cores=0,2,4,6
/proc/13934/task/13940/stat : 13940 (java) S 13932 13934 12190 0 -1 4202560 75 0 0 0 5 0 0 0 15 0 19 0 902585685 10817515520 21702 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 4 0 0 0
[pid=13934/tid=13941] ppid=13932 vsize=10563980 CPUtime=0.06 cores=0,2,4,6
/proc/13934/task/13941/stat : 13941 (java) S 13932 13934 12190 0 -1 4202560 25 0 0 0 6 0 0 0 15 0 19 0 902585685 10817515520 21702 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13942] ppid=13932 vsize=10563980 CPUtime=0.06 cores=0,2,4,6
/proc/13934/task/13942/stat : 13942 (java) S 13932 13934 12190 0 -1 4202560 246 0 0 0 6 0 0 0 15 0 19 0 902585685 10817515520 21702 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 4 0 0 0
[pid=13934/tid=13943] ppid=13932 vsize=10563980 CPUtime=0.06 cores=0,2,4,6
/proc/13934/task/13943/stat : 13943 (java) S 13932 13934 12190 0 -1 4202560 289 0 0 0 6 0 0 0 15 0 19 0 902585685 10817515520 21702 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13944] ppid=13932 vsize=10563980 CPUtime=0.06 cores=0,2,4,6
/proc/13934/task/13944/stat : 13944 (java) S 13932 13934 12190 0 -1 4202560 150 0 0 0 6 0 0 0 15 0 19 0 902585685 10817515520 21702 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 4 0 0 0
[pid=13934/tid=13945] ppid=13932 vsize=10563980 CPUtime=2.92 cores=0,2,4,6
/proc/13934/task/13945/stat : 13945 (java) S 13932 13934 12190 0 -1 4202560 1061 0 0 0 289 3 0 0 15 0 19 0 902585686 10817515520 21702 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134530560 0 0 0 16800975 18446604440299203648 0 0 -1 0 0 0 0
[pid=13934/tid=13946] ppid=13932 vsize=10563980 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13946/stat : 13946 (java) S 13932 13934 12190 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902585687 10817515520 21702 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13947] ppid=13932 vsize=10563980 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13947/stat : 13947 (java) S 13932 13934 12190 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 902585687 10817515520 21702 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13948] ppid=13932 vsize=10563980 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13948/stat : 13948 (java) S 13932 13934 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902585689 10817515520 21702 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134537649 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13949] ppid=13932 vsize=10563980 CPUtime=0.48 cores=0,2,4,6
/proc/13934/task/13949/stat : 13949 (java) S 13932 13934 12190 0 -1 4202560 7371 0 0 0 47 1 0 0 16 0 19 0 902585689 10817515520 21702 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 2 0 0 0
[pid=13934/tid=13950] ppid=13932 vsize=10563980 CPUtime=0.19 cores=0,2,4,6
/proc/13934/task/13950/stat : 13950 (java) S 13932 13934 12190 0 -1 4202560 2287 0 0 0 19 0 0 0 15 0 19 0 902585689 10817515520 21702 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 4 0 0 0
[pid=13934/tid=13951] ppid=13932 vsize=10563980 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13951/stat : 13951 (java) S 13932 13934 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902585689 10817515520 21702 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13952] ppid=13932 vsize=10563980 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13952/stat : 13952 (java) S 13932 13934 12190 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902585689 10817515520 21702 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134530560 0 4 0 16800975 18446604440299203648 0 0 -1 4 0 0 0
[pid=13934/tid=13953] ppid=13932 vsize=10563980 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13953/stat : 13953 (java) S 13932 13934 12190 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902585701 10817515520 21702 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134530560 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 74.39
Current children cumulated vsize (KiB) 10563980

[startup+74.3015 s]
/proc/loadavg: 1.96 1.97 1.89 4/214 14185
/proc/meminfo: memFree=1140576/32951124 swapFree=67051728/67111528
[pid=13934] ppid=13932 vsize=10565688 CPUtime=75.49 cores=0,2,4,6
/proc/13934/stat : 13934 (java) S 13932 13934 12190 0 -1 4202496 26729 0 1 0 7541 8 0 0 25 0 19 0 902585683 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13934/statm: 2641422 22741 2251 9 0 2632156 0
[pid=13934/tid=13936] ppid=13932 vsize=10565688 CPUtime=71.05 cores=0,2,4,6
/proc/13934/task/13936/stat : 13936 (java) R 13932 13934 12190 0 -1 4202560 12194 0 1 0 7103 2 0 0 25 0 19 0 902585684 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 46912505609210 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13934/tid=13937] ppid=13932 vsize=10565688 CPUtime=0.05 cores=0,2,4,6
/proc/13934/task/13937/stat : 13937 (java) S 13932 13934 12190 0 -1 4202560 145 0 0 0 5 0 0 0 16 0 19 0 902585685 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 2 0 0 0
[pid=13934/tid=13938] ppid=13932 vsize=10565688 CPUtime=0.05 cores=0,2,4,6
/proc/13934/task/13938/stat : 13938 (java) S 13932 13934 12190 0 -1 4202560 45 0 0 0 5 0 0 0 15 0 19 0 902585685 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13939] ppid=13932 vsize=10565688 CPUtime=0.05 cores=0,2,4,6
/proc/13934/task/13939/stat : 13939 (java) S 13932 13934 12190 0 -1 4202560 90 0 0 0 5 0 0 0 15 0 19 0 902585685 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13940] ppid=13932 vsize=10565688 CPUtime=0.05 cores=0,2,4,6
/proc/13934/task/13940/stat : 13940 (java) S 13932 13934 12190 0 -1 4202560 75 0 0 0 5 0 0 0 15 0 19 0 902585685 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 4 0 0 0
[pid=13934/tid=13941] ppid=13932 vsize=10565688 CPUtime=0.06 cores=0,2,4,6
/proc/13934/task/13941/stat : 13941 (java) S 13932 13934 12190 0 -1 4202560 25 0 0 0 6 0 0 0 15 0 19 0 902585685 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13942] ppid=13932 vsize=10565688 CPUtime=0.07 cores=0,2,4,6
/proc/13934/task/13942/stat : 13942 (java) S 13932 13934 12190 0 -1 4202560 246 0 0 0 7 0 0 0 15 0 19 0 902585685 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 4 0 0 0
[pid=13934/tid=13943] ppid=13932 vsize=10565688 CPUtime=0.06 cores=0,2,4,6
/proc/13934/task/13943/stat : 13943 (java) S 13932 13934 12190 0 -1 4202560 289 0 0 0 6 0 0 0 15 0 19 0 902585685 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13944] ppid=13932 vsize=10565688 CPUtime=0.07 cores=0,2,4,6
/proc/13934/task/13944/stat : 13944 (java) S 13932 13934 12190 0 -1 4202560 150 0 0 0 7 0 0 0 15 0 19 0 902585685 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13945] ppid=13932 vsize=10565688 CPUtime=2.95 cores=0,2,4,6
/proc/13934/task/13945/stat : 13945 (java) S 13932 13934 12190 0 -1 4202560 1061 0 0 0 292 3 0 0 16 0 19 0 902585686 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134530560 0 0 0 16800975 18446604440299203648 0 0 -1 0 0 0 0
[pid=13934/tid=13946] ppid=13932 vsize=10565688 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13946/stat : 13946 (java) S 13932 13934 12190 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902585687 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13947] ppid=13932 vsize=10565688 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13947/stat : 13947 (java) S 13932 13934 12190 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 902585687 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13948] ppid=13932 vsize=10565688 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13948/stat : 13948 (java) S 13932 13934 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902585689 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134537649 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13949] ppid=13932 vsize=10565688 CPUtime=0.76 cores=0,2,4,6
/proc/13934/task/13949/stat : 13949 (java) S 13932 13934 12190 0 -1 4202560 8868 0 0 0 75 1 0 0 15 0 19 0 902585689 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 2 0 0 0
[pid=13934/tid=13950] ppid=13932 vsize=10565688 CPUtime=0.19 cores=0,2,4,6
/proc/13934/task/13950/stat : 13950 (java) S 13932 13934 12190 0 -1 4202560 2385 0 0 0 19 0 0 0 15 0 19 0 902585689 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 4 0 0 0
[pid=13934/tid=13951] ppid=13932 vsize=10565688 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13951/stat : 13951 (java) S 13932 13934 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902585689 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13952] ppid=13932 vsize=10565688 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13952/stat : 13952 (java) S 13932 13934 12190 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902585689 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134530560 0 4 0 16800975 18446604440299203648 0 0 -1 4 0 0 0
[pid=13934/tid=13953] ppid=13932 vsize=10565688 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13953/stat : 13953 (java) S 13932 13934 12190 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902585701 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134530560 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 75.49
Current children cumulated vsize (KiB) 10565688

[startup+74.5014 s]
/proc/loadavg: 1.96 1.97 1.89 4/214 14185
/proc/meminfo: memFree=1140576/32951124 swapFree=67051728/67111528
[pid=13934] ppid=13932 vsize=10565688 CPUtime=75.7 cores=0,2,4,6
/proc/13934/stat : 13934 (java) S 13932 13934 12190 0 -1 4202496 26730 0 1 0 7562 8 0 0 25 0 19 0 902585683 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13934/statm: 2641422 22741 2251 9 0 2632156 0
[pid=13934/tid=13936] ppid=13932 vsize=10565688 CPUtime=71.23 cores=0,2,4,6
/proc/13934/task/13936/stat : 13936 (java) R 13932 13934 12190 0 -1 4202560 12195 0 1 0 7121 2 0 0 25 0 19 0 902585684 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 46912505530791 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13934/tid=13937] ppid=13932 vsize=10565688 CPUtime=0.05 cores=0,2,4,6
/proc/13934/task/13937/stat : 13937 (java) S 13932 13934 12190 0 -1 4202560 145 0 0 0 5 0 0 0 15 0 19 0 902585685 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 2 0 0 0
[pid=13934/tid=13938] ppid=13932 vsize=10565688 CPUtime=0.05 cores=0,2,4,6
/proc/13934/task/13938/stat : 13938 (java) S 13932 13934 12190 0 -1 4202560 45 0 0 0 5 0 0 0 15 0 19 0 902585685 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 2 0 0 0
[pid=13934/tid=13939] ppid=13932 vsize=10565688 CPUtime=0.05 cores=0,2,4,6
/proc/13934/task/13939/stat : 13939 (java) S 13932 13934 12190 0 -1 4202560 90 0 0 0 5 0 0 0 15 0 19 0 902585685 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13940] ppid=13932 vsize=10565688 CPUtime=0.05 cores=0,2,4,6
/proc/13934/task/13940/stat : 13940 (java) S 13932 13934 12190 0 -1 4202560 75 0 0 0 5 0 0 0 15 0 19 0 902585685 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 4 0 0 0
[pid=13934/tid=13941] ppid=13932 vsize=10565688 CPUtime=0.06 cores=0,2,4,6
/proc/13934/task/13941/stat : 13941 (java) S 13932 13934 12190 0 -1 4202560 25 0 0 0 6 0 0 0 15 0 19 0 902585685 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13942] ppid=13932 vsize=10565688 CPUtime=0.07 cores=0,2,4,6
/proc/13934/task/13942/stat : 13942 (java) S 13932 13934 12190 0 -1 4202560 246 0 0 0 7 0 0 0 16 0 19 0 902585685 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 4 0 0 0
[pid=13934/tid=13943] ppid=13932 vsize=10565688 CPUtime=0.06 cores=0,2,4,6
/proc/13934/task/13943/stat : 13943 (java) S 13932 13934 12190 0 -1 4202560 289 0 0 0 6 0 0 0 15 0 19 0 902585685 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13944] ppid=13932 vsize=10565688 CPUtime=0.07 cores=0,2,4,6
/proc/13934/task/13944/stat : 13944 (java) S 13932 13934 12190 0 -1 4202560 150 0 0 0 7 0 0 0 15 0 19 0 902585685 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13945] ppid=13932 vsize=10565688 CPUtime=2.97 cores=0,2,4,6
/proc/13934/task/13945/stat : 13945 (java) S 13932 13934 12190 0 -1 4202560 1061 0 0 0 294 3 0 0 16 0 19 0 902585686 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134530560 0 0 0 16800975 18446604440299203648 0 0 -1 0 0 0 0
[pid=13934/tid=13946] ppid=13932 vsize=10565688 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13946/stat : 13946 (java) S 13932 13934 12190 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902585687 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13947] ppid=13932 vsize=10565688 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13947/stat : 13947 (java) S 13932 13934 12190 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 902585687 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13948] ppid=13932 vsize=10565688 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13948/stat : 13948 (java) S 13932 13934 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902585689 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134537649 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13949] ppid=13932 vsize=10565688 CPUtime=0.76 cores=0,2,4,6
/proc/13934/task/13949/stat : 13949 (java) S 13932 13934 12190 0 -1 4202560 8868 0 0 0 75 1 0 0 15 0 19 0 902585689 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 2 0 0 0
[pid=13934/tid=13950] ppid=13932 vsize=10565688 CPUtime=0.19 cores=0,2,4,6
/proc/13934/task/13950/stat : 13950 (java) S 13932 13934 12190 0 -1 4202560 2385 0 0 0 19 0 0 0 15 0 19 0 902585689 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 4 0 0 0
[pid=13934/tid=13951] ppid=13932 vsize=10565688 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13951/stat : 13951 (java) S 13932 13934 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902585689 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13952] ppid=13932 vsize=10565688 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13952/stat : 13952 (java) S 13932 13934 12190 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902585689 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134530560 0 4 0 16800975 18446604440299203648 0 0 -1 4 0 0 0
[pid=13934/tid=13953] ppid=13932 vsize=10565688 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13953/stat : 13953 (java) S 13932 13934 12190 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902585701 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134530560 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 75.7
Current children cumulated vsize (KiB) 10565688

[startup+74.6014 s]
/proc/loadavg: 1.96 1.97 1.89 4/214 14185
/proc/meminfo: memFree=1140576/32951124 swapFree=67051728/67111528
[pid=13934] ppid=13932 vsize=10565688 CPUtime=75.8 cores=0,2,4,6
/proc/13934/stat : 13934 (java) S 13932 13934 12190 0 -1 4202496 26730 0 1 0 7572 8 0 0 25 0 19 0 902585683 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13934/statm: 2641422 22741 2251 9 0 2632156 0
[pid=13934/tid=13936] ppid=13932 vsize=10565688 CPUtime=71.33 cores=0,2,4,6
/proc/13934/task/13936/stat : 13936 (java) R 13932 13934 12190 0 -1 4202560 12195 0 1 0 7131 2 0 0 25 0 19 0 902585684 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 46912505228295 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13934/tid=13937] ppid=13932 vsize=10565688 CPUtime=0.05 cores=0,2,4,6
/proc/13934/task/13937/stat : 13937 (java) S 13932 13934 12190 0 -1 4202560 145 0 0 0 5 0 0 0 15 0 19 0 902585685 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 2 0 0 0
[pid=13934/tid=13938] ppid=13932 vsize=10565688 CPUtime=0.05 cores=0,2,4,6
/proc/13934/task/13938/stat : 13938 (java) S 13932 13934 12190 0 -1 4202560 45 0 0 0 5 0 0 0 15 0 19 0 902585685 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 2 0 0 0
[pid=13934/tid=13939] ppid=13932 vsize=10565688 CPUtime=0.05 cores=0,2,4,6
/proc/13934/task/13939/stat : 13939 (java) S 13932 13934 12190 0 -1 4202560 90 0 0 0 5 0 0 0 15 0 19 0 902585685 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13940] ppid=13932 vsize=10565688 CPUtime=0.05 cores=0,2,4,6
/proc/13934/task/13940/stat : 13940 (java) S 13932 13934 12190 0 -1 4202560 75 0 0 0 5 0 0 0 15 0 19 0 902585685 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 4 0 0 0
[pid=13934/tid=13941] ppid=13932 vsize=10565688 CPUtime=0.06 cores=0,2,4,6
/proc/13934/task/13941/stat : 13941 (java) S 13932 13934 12190 0 -1 4202560 25 0 0 0 6 0 0 0 15 0 19 0 902585685 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13942] ppid=13932 vsize=10565688 CPUtime=0.07 cores=0,2,4,6
/proc/13934/task/13942/stat : 13942 (java) S 13932 13934 12190 0 -1 4202560 246 0 0 0 7 0 0 0 16 0 19 0 902585685 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 4 0 0 0
[pid=13934/tid=13943] ppid=13932 vsize=10565688 CPUtime=0.06 cores=0,2,4,6
/proc/13934/task/13943/stat : 13943 (java) S 13932 13934 12190 0 -1 4202560 289 0 0 0 6 0 0 0 15 0 19 0 902585685 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13944] ppid=13932 vsize=10565688 CPUtime=0.07 cores=0,2,4,6
/proc/13934/task/13944/stat : 13944 (java) S 13932 13934 12190 0 -1 4202560 150 0 0 0 7 0 0 0 15 0 19 0 902585685 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13945] ppid=13932 vsize=10565688 CPUtime=2.97 cores=0,2,4,6
/proc/13934/task/13945/stat : 13945 (java) S 13932 13934 12190 0 -1 4202560 1061 0 0 0 294 3 0 0 16 0 19 0 902585686 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134530560 0 0 0 16800975 18446604440299203648 0 0 -1 0 0 0 0
[pid=13934/tid=13946] ppid=13932 vsize=10565688 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13946/stat : 13946 (java) S 13932 13934 12190 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902585687 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13947] ppid=13932 vsize=10565688 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13947/stat : 13947 (java) S 13932 13934 12190 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 902585687 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13948] ppid=13932 vsize=10565688 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13948/stat : 13948 (java) S 13932 13934 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902585689 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134537649 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13949] ppid=13932 vsize=10565688 CPUtime=0.76 cores=0,2,4,6
/proc/13934/task/13949/stat : 13949 (java) S 13932 13934 12190 0 -1 4202560 8868 0 0 0 75 1 0 0 15 0 19 0 902585689 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 2 0 0 0
[pid=13934/tid=13950] ppid=13932 vsize=10565688 CPUtime=0.2 cores=0,2,4,6
/proc/13934/task/13950/stat : 13950 (java) S 13932 13934 12190 0 -1 4202560 2385 0 0 0 20 0 0 0 15 0 19 0 902585689 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 4 0 0 0
[pid=13934/tid=13951] ppid=13932 vsize=10565688 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13951/stat : 13951 (java) S 13932 13934 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902585689 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134529945 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
[pid=13934/tid=13952] ppid=13932 vsize=10565688 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13952/stat : 13952 (java) S 13932 13934 12190 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902585689 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134530560 0 4 0 16800975 18446604440299203648 0 0 -1 4 0 0 0
[pid=13934/tid=13953] ppid=13932 vsize=10565688 CPUtime=0 cores=0,2,4,6
/proc/13934/task/13953/stat : 13953 (java) S 13932 13934 12190 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902585701 10819264512 22741 33554432000 1073741824 1073778376 140737462477232 18446744073709551615 228134530560 0 4 0 16800975 18446604440299203648 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 75.8
Current children cumulated vsize (KiB) 10565688

Child status: 30
Real time (s): 74.6134
CPU time (s): 75.8265
CPU user time (s): 75.7355
CPU system time (s): 0.090986
CPU usage (%): 101.626
Max. virtual memory (cumulated for all children) (KiB): 10565688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 75.7355
system time used= 0.090986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26752
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= 7411
involuntary context switches= 3193

runsolver used 0.140978 second user time and 0.286956 second system time

The end

Launcher Data 

Begin job on node138 at 2011-06-12 22:17:57
IDJOB=3492470
IDBENCH=78831
IDSOLVER=1982
FILE ID=node138/3492470-1307909877
RUNJOBID= node138-1307908076-13712
PBS_JOBID= 13559517
Free space on /var/tmp= 2892 MiB

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

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

MD5SUM BENCH= 6f22b253a236148adccf262092f666c3
RANDOM SEED=229445415

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:        861772 kB
Buffers:         69428 kB
Cached:       30627484 kB
SwapCached:      13084 kB
Active:       16450912 kB
Inactive:     14679380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:        861772 kB
SwapTotal:    67111528 kB
SwapFree:     67051728 kB
Dirty:             396 kB
Writeback:           0 kB
AnonPages:      431540 kB
Mapped:          17896 kB
Slab:           894152 kB
PageTables:       5296 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10558708 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= 2896 MiB
End job on node138 at 2011-06-12 22:19:12