Trace number 3492224

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 258.172 256.099

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900584219--soft-0-100-0.wbo
MD5SUM81f3c07bf85fb8fa2211498324cd1b10
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark104.093
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 136843
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136842
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 689
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.07/0.09	c version 2.3.1.v20110525
0.07/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.09	c java.vm.version	19.1-b02
0.07/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.09	c sun.arch.data.model	64
0.07/0.09	c java.version		1.6.0_24
0.07/0.09	c os.name		Linux
0.07/0.09	c os.version		2.6.18-164.el5
0.07/0.09	c os.arch		amd64
0.07/0.09	c Free memory 		9996466904
0.07/0.09	c Max memory 		10048897024
0.07/0.09	c Total memory 		10048897024
0.07/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@13d4c61c
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-3492224-1307911732.wbo
0.10/0.11	c reading problem ... 
0.49/0.32	c ... done. Wall clock time 0.209s.
0.49/0.32	c #vars     2938
0.49/0.32	c #constraints  2707
0.49/0.32	c constraints type 
0.49/0.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684
0.49/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
1.09/0.52	c SATISFIABLE
1.09/0.52	c OPTIMIZING...
1.09/0.52	c Got one! Elapsed wall clock time (in seconds):0.415
1.09/0.52	o 560
1.09/0.56	c Got one! Elapsed wall clock time (in seconds):0.448
1.09/0.56	o 558
1.09/0.59	c Got one! Elapsed wall clock time (in seconds):0.477
1.09/0.59	o 382
1.34/0.61	c Got one! Elapsed wall clock time (in seconds):0.497
1.34/0.61	o 254
1.34/0.63	c Got one! Elapsed wall clock time (in seconds):0.526
1.34/0.63	o 246
1.34/0.67	c Got one! Elapsed wall clock time (in seconds):0.56
1.34/0.67	o 221
1.56/0.73	c Got one! Elapsed wall clock time (in seconds):0.626
1.56/0.73	o 212
1.56/0.76	c Got one! Elapsed wall clock time (in seconds):0.656
1.56/0.76	o 200
1.76/0.94	c Got one! Elapsed wall clock time (in seconds):0.834
1.76/0.94	o 196
1.76/0.97	c Got one! Elapsed wall clock time (in seconds):0.858
1.76/0.97	o 189
1.86/1.04	c Got one! Elapsed wall clock time (in seconds):0.932
1.86/1.04	o 170
1.86/1.10	c Got one! Elapsed wall clock time (in seconds):0.992
1.86/1.10	o 164
1.96/1.18	c Got one! Elapsed wall clock time (in seconds):1.073
1.96/1.18	o 161
2.06/1.23	c Got one! Elapsed wall clock time (in seconds):1.121
2.06/1.23	o 147
2.06/1.28	c Got one! Elapsed wall clock time (in seconds):1.17
2.06/1.28	o 143
2.16/1.36	c Got one! Elapsed wall clock time (in seconds):1.25
2.16/1.36	o 139
2.86/2.09	c Got one! Elapsed wall clock time (in seconds):1.979
2.86/2.09	o 127
2.96/2.17	c Got one! Elapsed wall clock time (in seconds):2.057
2.96/2.17	o 117
3.07/2.27	c Got one! Elapsed wall clock time (in seconds):2.157
3.07/2.27	o 113
3.26/2.45	c Got one! Elapsed wall clock time (in seconds):2.342
3.26/2.45	o 111
3.58/2.72	c Got one! Elapsed wall clock time (in seconds):2.608
3.58/2.72	o 105
3.58/2.79	c Got one! Elapsed wall clock time (in seconds):2.677
3.58/2.79	o 100
4.09/3.30	c Got one! Elapsed wall clock time (in seconds):3.194
4.09/3.30	o 93
4.29/3.47	c cleaning 6446 clauses out of 12901 with flag 1000/12901
4.51/3.68	c Got one! Elapsed wall clock time (in seconds):3.576
4.51/3.68	o 81
4.91/4.08	c Got one! Elapsed wall clock time (in seconds):3.97
4.91/4.08	o 56
5.41/4.52	c Got one! Elapsed wall clock time (in seconds):4.413
5.41/4.52	o 50
5.51/4.69	c Got one! Elapsed wall clock time (in seconds):4.586
5.51/4.69	o 46
5.71/4.84	c cleaning 6813 clauses out of 13635 with flag 1001/20081
5.93/4.94	c Got one! Elapsed wall clock time (in seconds):4.833
5.93/4.94	o 43
6.53/5.28	c Got one! Elapsed wall clock time (in seconds):5.171
6.53/5.28	o 40
6.69/5.34	c Got one! Elapsed wall clock time (in seconds):5.23
6.69/5.34	o 39
6.80/5.42	c Got one! Elapsed wall clock time (in seconds):5.313
6.80/5.42	o 36
6.90/5.54	c Got one! Elapsed wall clock time (in seconds):5.43
6.90/5.54	o 22
7.00/5.65	c cleaning 7131 clauses out of 14270 with flag 1002/27529
7.75/6.30	c Got one! Elapsed wall clock time (in seconds):6.196
7.75/6.30	o 21
8.15/6.77	c Got one! Elapsed wall clock time (in seconds):6.66
8.15/6.77	o 18
8.35/6.91	c cleaning 9385 clauses out of 18778 with flag 1000/39168
8.65/7.24	c Got one! Elapsed wall clock time (in seconds):7.127
8.65/7.24	o 17
8.85/7.43	c cleaning 7329 clauses out of 14667 with flag 2000/44442
9.06/7.67	c Got one! Elapsed wall clock time (in seconds):7.557
9.06/7.67	o 15
9.35/7.97	c cleaning 6498 clauses out of 13009 with flag 4000/50113
9.95/8.55	c cleaning 6251 clauses out of 12514 with flag 10003/56116
10.05/8.64	c Got one! Elapsed wall clock time (in seconds):8.537
10.05/8.64	o 12
10.35/8.94	c cleaning 5797 clauses out of 11607 with flag 4001/61460
10.65/9.28	c cleaning 5901 clauses out of 11809 with flag 10000/67459
10.85/9.49	c Got one! Elapsed wall clock time (in seconds):9.384
10.85/9.49	o 10
11.05/9.63	c cleaning 5868 clauses out of 11748 with flag 2002/73299
11.45/10.02	c cleaning 5934 clauses out of 11880 with flag 8002/79299
11.96/10.56	c cleaning 6470 clauses out of 12946 with flag 15002/86299
12.07/10.61	c Got one! Elapsed wall clock time (in seconds):10.499
12.07/10.61	o 4
12.27/10.88	c cleaning 6018 clauses out of 12041 with flag 5000/91864
12.57/11.19	c cleaning 6007 clauses out of 12025 with flag 11002/97866
12.97/11.51	c Got one! Elapsed wall clock time (in seconds):11.399
12.97/11.51	o 3
13.37/11.90	c cleaning 8537 clauses out of 17083 with flag 5000/108931
13.67/12.29	c cleaning 7265 clauses out of 14549 with flag 11003/114934
14.17/12.77	c cleaning 7133 clauses out of 14283 with flag 18002/121933
14.57/13.19	c cleaning 7570 clauses out of 15150 with flag 26002/129933
15.07/13.67	c cleaning 8286 clauses out of 16580 with flag 35002/138933
15.68/14.21	c cleaning 9144 clauses out of 18293 with flag 45001/148932
16.18/14.75	c cleaning 9569 clauses out of 19149 with flag 55001/158932
16.68/15.29	c cleaning 9781 clauses out of 19579 with flag 65000/168931
17.28/15.82	c cleaning 9895 clauses out of 19800 with flag 75002/178933
17.78/16.35	c cleaning 9948 clauses out of 19904 with flag 85001/188932
18.28/16.89	c cleaning 9972 clauses out of 19956 with flag 95001/198932
18.88/17.46	c cleaning 9978 clauses out of 19983 with flag 105000/208931
19.48/18.03	c cleaning 9998 clauses out of 20006 with flag 115001/218932
19.98/18.55	c cleaning 10000 clauses out of 20008 with flag 125001/228932
20.48/19.05	c cleaning 10000 clauses out of 20008 with flag 135001/238932
20.98/19.54	c cleaning 9997 clauses out of 20007 with flag 145000/248931
21.48/20.01	c cleaning 9999 clauses out of 20012 with flag 155002/258933
22.00/20.55	c cleaning 10000 clauses out of 20012 with flag 165001/268932
22.51/21.05	c cleaning 10004 clauses out of 20013 with flag 175002/278933
23.01/21.55	c cleaning 10000 clauses out of 20009 with flag 185002/288933
23.51/22.10	c cleaning 9995 clauses out of 20007 with flag 195000/298931
24.11/22.64	c cleaning 9994 clauses out of 20012 with flag 205000/308931
24.62/23.15	c cleaning 10005 clauses out of 20022 with flag 215004/318935
25.11/23.68	c cleaning 10003 clauses out of 20017 with flag 225004/328935
25.62/24.15	c cleaning 10000 clauses out of 20010 with flag 235000/338931
26.11/24.64	c cleaning 10000 clauses out of 20010 with flag 245000/348931
26.61/25.14	c cleaning 10004 clauses out of 20014 with flag 255004/358935
27.22/25.71	c cleaning 10000 clauses out of 20009 with flag 265003/368934
27.72/26.28	c cleaning 9995 clauses out of 20006 with flag 275000/378931
28.22/26.78	c cleaning 10000 clauses out of 20012 with flag 285001/388932
28.82/27.32	c cleaning 10003 clauses out of 20014 with flag 295003/398934
29.32/27.85	c cleaning 9998 clauses out of 20008 with flag 305000/408931
29.82/28.39	c cleaning 10002 clauses out of 20011 with flag 315001/418932
30.42/28.95	c cleaning 9999 clauses out of 20008 with flag 325000/428931
31.02/29.52	c cleaning 9999 clauses out of 20009 with flag 335000/438931
31.52/30.05	c cleaning 10002 clauses out of 20012 with flag 345002/448933
32.12/30.61	c cleaning 9993 clauses out of 20008 with flag 355000/458931
32.62/31.16	c cleaning 10001 clauses out of 20015 with flag 365000/468931
33.22/31.72	c cleaning 9999 clauses out of 20015 with flag 375001/478932
33.72/32.28	c cleaning 10003 clauses out of 20016 with flag 385001/488932
34.32/32.87	c cleaning 10000 clauses out of 20013 with flag 395001/498932
34.82/33.36	c cleaning 10003 clauses out of 20013 with flag 405001/508932
35.33/33.84	c cleaning 10001 clauses out of 20009 with flag 415000/518931
35.83/34.35	c cleaning 9995 clauses out of 20008 with flag 425000/528931
36.33/34.87	c cleaning 10004 clauses out of 20013 with flag 435000/538931
36.33/34.89	c Got one! Elapsed wall clock time (in seconds):34.785
36.33/34.89	o 2
36.73/35.24	c cleaning 7530 clauses out of 15061 with flag 5001/543983
37.13/35.60	c cleaning 6753 clauses out of 13530 with flag 11000/549982
37.53/36.02	c cleaning 6878 clauses out of 13777 with flag 18000/556982
38.04/36.55	c cleaning 7445 clauses out of 14901 with flag 26002/564984
38.64/37.10	c cleaning 8225 clauses out of 16455 with flag 35001/573983
39.44/37.90	c cleaning 9106 clauses out of 18229 with flag 45000/583982
40.05/38.57	c cleaning 9557 clauses out of 19123 with flag 55000/593982
40.65/39.16	c cleaning 9774 clauses out of 19566 with flag 65000/603982
41.15/39.68	c cleaning 9888 clauses out of 19793 with flag 75001/613983
41.65/40.19	c cleaning 9949 clauses out of 19905 with flag 85001/623983
42.26/40.74	c cleaning 9969 clauses out of 19955 with flag 95000/633982
42.75/41.29	c cleaning 9985 clauses out of 19987 with flag 105001/643983
43.36/41.87	c cleaning 9997 clauses out of 20001 with flag 115000/653982
43.96/42.43	c cleaning 9996 clauses out of 20004 with flag 125000/663982
44.56/43.01	c cleaning 10000 clauses out of 20010 with flag 135002/673984
45.16/43.63	c cleaning 10003 clauses out of 20011 with flag 145003/683985
45.66/44.19	c cleaning 9994 clauses out of 20006 with flag 155001/693983
46.26/44.77	c cleaning 9995 clauses out of 20012 with flag 165001/703983
46.86/45.33	c cleaning 9997 clauses out of 20017 with flag 175001/713983
47.46/45.94	c cleaning 10006 clauses out of 20021 with flag 185002/723984
47.96/46.47	c cleaning 10001 clauses out of 20015 with flag 195002/733984
48.46/46.98	c cleaning 10003 clauses out of 20013 with flag 205001/743983
48.97/47.48	c cleaning 9997 clauses out of 20012 with flag 215003/753985
49.57/48.00	c cleaning 10003 clauses out of 20013 with flag 225001/763983
50.07/48.54	c cleaning 10000 clauses out of 20010 with flag 235001/773983
50.67/49.15	c cleaning 10000 clauses out of 20011 with flag 245002/783984
51.17/49.67	c cleaning 9994 clauses out of 20010 with flag 255001/793983
51.77/50.21	c cleaning 10004 clauses out of 20018 with flag 265003/803985
52.27/50.77	c cleaning 10000 clauses out of 20011 with flag 275000/813982
52.87/51.35	c cleaning 10002 clauses out of 20012 with flag 285001/823983
53.48/51.94	c cleaning 9993 clauses out of 20009 with flag 295000/833982
54.08/52.54	c cleaning 9998 clauses out of 20016 with flag 305000/843982
54.68/53.10	c cleaning 9999 clauses out of 20018 with flag 315000/853982
55.18/53.62	c cleaning 10005 clauses out of 20021 with flag 325002/863984
55.68/54.16	c cleaning 9998 clauses out of 20014 with flag 335000/873982
56.28/54.70	c cleaning 10001 clauses out of 20016 with flag 345000/883982
56.78/55.26	c cleaning 10003 clauses out of 20016 with flag 355001/893983
57.38/55.84	c cleaning 10002 clauses out of 20013 with flag 365001/903983
57.88/56.37	c cleaning 9998 clauses out of 20010 with flag 375000/913982
58.38/56.90	c cleaning 9998 clauses out of 20012 with flag 385000/923982
58.99/57.44	c cleaning 10000 clauses out of 20015 with flag 395001/933983
59.49/57.95	c cleaning 10001 clauses out of 20014 with flag 405000/943982
60.09/58.56	c cleaning 10001 clauses out of 20014 with flag 415001/953983
60.59/59.10	c cleaning 10000 clauses out of 20012 with flag 425000/963982
61.19/59.60	c cleaning 10000 clauses out of 20013 with flag 435001/973983
61.69/60.11	c cleaning 10002 clauses out of 20014 with flag 445002/983984
62.10/60.58	c cleaning 9996 clauses out of 20010 with flag 455000/993982
62.70/61.15	c cleaning 10001 clauses out of 20015 with flag 465001/1003983
63.20/61.69	c cleaning 10002 clauses out of 20016 with flag 475003/1013985
63.80/62.23	c cleaning 9996 clauses out of 20014 with flag 485003/1023985
64.30/62.77	c cleaning 9999 clauses out of 20016 with flag 495001/1033983
64.90/63.36	c cleaning 10002 clauses out of 20016 with flag 505000/1043982
65.51/63.94	c cleaning 10001 clauses out of 20015 with flag 515001/1053983
66.11/64.55	c cleaning 9998 clauses out of 20014 with flag 525001/1063983
66.71/65.16	c cleaning 10003 clauses out of 20016 with flag 535001/1073983
67.32/65.75	c cleaning 9998 clauses out of 20014 with flag 545002/1083984
67.92/66.31	c cleaning 10003 clauses out of 20015 with flag 555001/1093983
68.42/66.81	c cleaning 10002 clauses out of 20011 with flag 565000/1103982
68.92/67.33	c cleaning 10000 clauses out of 20010 with flag 575001/1113983
69.52/67.90	c cleaning 10000 clauses out of 20010 with flag 585001/1123983
70.12/68.51	c cleaning 9996 clauses out of 20009 with flag 595000/1133982
70.72/69.12	c cleaning 9999 clauses out of 20013 with flag 605000/1143982
71.43/69.84	c cleaning 9999 clauses out of 20014 with flag 615000/1153982
72.03/70.41	c cleaning 10005 clauses out of 20016 with flag 625001/1163983
72.53/70.98	c cleaning 10000 clauses out of 20010 with flag 635000/1173982
73.14/71.51	c cleaning 10000 clauses out of 20011 with flag 645001/1183983
73.63/72.07	c cleaning 9999 clauses out of 20011 with flag 655001/1193983
74.24/72.67	c cleaning 10001 clauses out of 20011 with flag 665000/1203982
74.83/73.20	c cleaning 10001 clauses out of 20012 with flag 675002/1213984
75.43/73.80	c cleaning 10002 clauses out of 20012 with flag 685003/1223985
76.03/74.43	c cleaning 10001 clauses out of 20007 with flag 695000/1233982
76.53/74.99	c cleaning 9999 clauses out of 20006 with flag 705000/1243982
77.13/75.59	c cleaning 9995 clauses out of 20008 with flag 715001/1253983
77.83/76.25	c cleaning 9993 clauses out of 20012 with flag 725000/1263982
78.54/76.91	c cleaning 9999 clauses out of 20020 with flag 735001/1273983
79.13/77.50	c cleaning 10004 clauses out of 20021 with flag 745001/1283983
79.64/78.09	c cleaning 10001 clauses out of 20017 with flag 755001/1293983
80.24/78.66	c cleaning 9998 clauses out of 20018 with flag 765003/1303985
80.84/79.24	c cleaning 9997 clauses out of 20019 with flag 775002/1313984
81.44/79.88	c cleaning 10010 clauses out of 20024 with flag 785004/1323986
82.14/80.56	c cleaning 10001 clauses out of 20013 with flag 795003/1333985
82.74/81.16	c cleaning 10004 clauses out of 20011 with flag 805002/1343984
83.44/81.82	c cleaning 9996 clauses out of 20006 with flag 815001/1353983
83.94/82.37	c cleaning 9999 clauses out of 20009 with flag 825000/1363982
84.54/82.91	c cleaning 10004 clauses out of 20013 with flag 835003/1373985
85.04/83.47	c cleaning 10001 clauses out of 20011 with flag 845005/1383987
85.64/84.04	c cleaning 10000 clauses out of 20007 with flag 855002/1393984
86.25/84.62	c cleaning 9999 clauses out of 20006 with flag 865001/1403983
86.74/85.15	c cleaning 9999 clauses out of 20006 with flag 875000/1413982
87.24/85.67	c cleaning 9999 clauses out of 20009 with flag 885002/1423984
87.75/86.18	c cleaning 9996 clauses out of 20008 with flag 895000/1433982
88.25/86.69	c cleaning 9998 clauses out of 20012 with flag 905000/1443982
88.85/87.22	c cleaning 10004 clauses out of 20015 with flag 915001/1453983
89.35/87.74	c cleaning 10000 clauses out of 20011 with flag 925001/1463983
89.85/88.29	c cleaning 9998 clauses out of 20010 with flag 935000/1473982
90.45/88.88	c cleaning 10004 clauses out of 20015 with flag 945003/1483985
91.06/89.48	c cleaning 10000 clauses out of 20008 with flag 955000/1493982
91.66/90.10	c cleaning 9998 clauses out of 20008 with flag 965000/1503982
92.26/90.70	c cleaning 9999 clauses out of 20011 with flag 975001/1513983
92.87/91.26	c cleaning 10004 clauses out of 20014 with flag 985003/1523985
93.47/91.85	c cleaning 9998 clauses out of 20008 with flag 995001/1533983
94.07/92.41	c cleaning 9999 clauses out of 20009 with flag 1005000/1543982
94.57/92.93	c cleaning 10000 clauses out of 20010 with flag 1015000/1553982
95.07/93.47	c cleaning 9999 clauses out of 20010 with flag 1025000/1563982
95.67/94.05	c cleaning 10000 clauses out of 20011 with flag 1035000/1573982
96.28/94.68	c cleaning 10000 clauses out of 20012 with flag 1045001/1583983
96.87/95.28	c cleaning 9997 clauses out of 20012 with flag 1055001/1593983
97.47/95.84	c cleaning 10003 clauses out of 20014 with flag 1065000/1603982
98.07/96.43	c cleaning 10001 clauses out of 20011 with flag 1075000/1613982
98.67/97.00	c cleaning 10001 clauses out of 20012 with flag 1085002/1623984
99.17/97.57	c cleaning 10000 clauses out of 20009 with flag 1095000/1633982
99.77/98.13	c cleaning 10002 clauses out of 20010 with flag 1105001/1643983
100.37/98.74	c cleaning 9999 clauses out of 20007 with flag 1115000/1653982
100.87/99.23	c cleaning 9995 clauses out of 20010 with flag 1125002/1663984
101.37/99.73	c cleaning 10000 clauses out of 20014 with flag 1135001/1673983
101.97/100.35	c cleaning 10001 clauses out of 20013 with flag 1145000/1683982
102.58/100.94	c cleaning 9998 clauses out of 20012 with flag 1155000/1693982
103.08/101.47	c cleaning 10001 clauses out of 20014 with flag 1165000/1703982
103.68/102.05	c cleaning 10003 clauses out of 20018 with flag 1175005/1713987
104.28/102.60	c cleaning 10000 clauses out of 20011 with flag 1185001/1723983
104.78/103.18	c cleaning 10001 clauses out of 20012 with flag 1195002/1733984
105.38/103.71	c cleaning 9996 clauses out of 20009 with flag 1205000/1743982
105.98/104.36	c cleaning 10006 clauses out of 20015 with flag 1215002/1753984
106.58/104.98	c cleaning 10000 clauses out of 20009 with flag 1225002/1763984
107.19/105.52	c cleaning 9998 clauses out of 20007 with flag 1235000/1773982
107.68/106.06	c cleaning 9998 clauses out of 20009 with flag 1245000/1783982
108.18/106.58	c cleaning 9999 clauses out of 20012 with flag 1255001/1793983
108.78/107.17	c cleaning 9999 clauses out of 20012 with flag 1265000/1803982
109.49/107.83	c cleaning 10003 clauses out of 20014 with flag 1275001/1813983
110.08/108.41	c cleaning 10001 clauses out of 20011 with flag 1285001/1823983
110.59/108.99	c cleaning 10002 clauses out of 20009 with flag 1295000/1833982
111.19/109.57	c cleaning 10001 clauses out of 20007 with flag 1305000/1843982
111.79/110.18	c cleaning 9999 clauses out of 20007 with flag 1315001/1853983
112.39/110.77	c cleaning 10000 clauses out of 20009 with flag 1325002/1863984
112.99/111.33	c cleaning 9998 clauses out of 20007 with flag 1335000/1873982
113.59/111.91	c cleaning 9996 clauses out of 20009 with flag 1345000/1883982
114.09/112.41	c cleaning 10001 clauses out of 20015 with flag 1355002/1893984
114.59/112.96	c cleaning 10002 clauses out of 20012 with flag 1365000/1903982
115.19/113.51	c cleaning 9999 clauses out of 20011 with flag 1375001/1913983
115.69/114.09	c cleaning 9998 clauses out of 20012 with flag 1385001/1923983
116.29/114.62	c cleaning 10001 clauses out of 20017 with flag 1395004/1933986
116.79/115.18	c cleaning 9997 clauses out of 20012 with flag 1405000/1943982
117.39/115.75	c cleaning 10002 clauses out of 20015 with flag 1415000/1953982
118.00/116.31	c cleaning 10001 clauses out of 20014 with flag 1425001/1963983
118.60/116.92	c cleaning 10001 clauses out of 20014 with flag 1435002/1973984
119.09/117.46	c cleaning 9999 clauses out of 20013 with flag 1445002/1983984
119.70/118.05	c cleaning 10001 clauses out of 20015 with flag 1455003/1993985
120.20/118.59	c cleaning 9995 clauses out of 20011 with flag 1465000/2003982
120.80/119.11	c cleaning 10002 clauses out of 20016 with flag 1475000/2013982
121.31/119.61	c cleaning 10002 clauses out of 20014 with flag 1485000/2023982
121.91/120.20	c cleaning 10001 clauses out of 20014 with flag 1495002/2033984
122.51/120.82	c cleaning 10001 clauses out of 20013 with flag 1505002/2043984
123.12/121.42	c cleaning 9998 clauses out of 20011 with flag 1515001/2053983
123.62/121.98	c cleaning 9998 clauses out of 20012 with flag 1525000/2063982
124.22/122.57	c cleaning 10002 clauses out of 20015 with flag 1535001/2073983
124.82/123.16	c cleaning 9997 clauses out of 20012 with flag 1545000/2083982
125.42/123.75	c cleaning 10005 clauses out of 20016 with flag 1555001/2093983
126.02/124.31	c cleaning 9997 clauses out of 20010 with flag 1565000/2103982
126.52/124.87	c cleaning 9999 clauses out of 20013 with flag 1575000/2113982
127.03/125.38	c cleaning 9999 clauses out of 20016 with flag 1585002/2123984
127.52/125.89	c cleaning 9998 clauses out of 20019 with flag 1595004/2133986
128.13/126.42	c cleaning 9999 clauses out of 20017 with flag 1605000/2143982
128.62/126.98	c cleaning 10003 clauses out of 20020 with flag 1615002/2153984
129.23/127.54	c cleaning 10004 clauses out of 20017 with flag 1625002/2163984
129.83/128.10	c cleaning 10000 clauses out of 20017 with flag 1635006/2173988
130.33/128.69	c cleaning 10001 clauses out of 20014 with flag 1645003/2183985
130.93/129.28	c cleaning 10000 clauses out of 20010 with flag 1655000/2193982
131.63/129.90	c cleaning 10002 clauses out of 20011 with flag 1665001/2203983
132.13/130.46	c cleaning 9997 clauses out of 20010 with flag 1675002/2213984
132.73/131.05	c cleaning 9993 clauses out of 20012 with flag 1685001/2223983
133.33/131.62	c cleaning 10002 clauses out of 20018 with flag 1695000/2233982
133.83/132.12	c cleaning 9999 clauses out of 20016 with flag 1705000/2243982
134.33/132.67	c cleaning 10004 clauses out of 20017 with flag 1715000/2253982
134.94/133.26	c cleaning 9996 clauses out of 20013 with flag 1725000/2263982
135.54/133.89	c cleaning 10006 clauses out of 20019 with flag 1735002/2273984
136.24/134.51	c cleaning 9998 clauses out of 20011 with flag 1745000/2283982
136.74/135.09	c cleaning 10002 clauses out of 20013 with flag 1755000/2293982
137.34/135.67	c cleaning 10001 clauses out of 20012 with flag 1765001/2303983
137.94/136.30	c cleaning 10000 clauses out of 20011 with flag 1775001/2313983
138.64/136.90	c cleaning 10001 clauses out of 20011 with flag 1785001/2323983
139.15/137.47	c cleaning 10001 clauses out of 20010 with flag 1795001/2333983
139.74/138.07	c cleaning 9997 clauses out of 20009 with flag 1805001/2343983
140.35/138.60	c cleaning 10002 clauses out of 20014 with flag 1815003/2353985
140.85/139.14	c cleaning 9997 clauses out of 20010 with flag 1825001/2363983
141.55/139.82	c cleaning 10000 clauses out of 20013 with flag 1835001/2373983
142.15/140.49	c cleaning 10001 clauses out of 20012 with flag 1845000/2383982
142.75/141.07	c cleaning 9999 clauses out of 20011 with flag 1855000/2393982
143.45/141.75	c cleaning 9999 clauses out of 20014 with flag 1865002/2403984
144.05/142.34	c cleaning 9997 clauses out of 20013 with flag 1875000/2413982
144.55/142.88	c cleaning 10001 clauses out of 20016 with flag 1885000/2423982
145.16/143.47	c cleaning 10001 clauses out of 20016 with flag 1895001/2433983
145.76/144.05	c cleaning 10001 clauses out of 20017 with flag 1905003/2443985
146.36/144.67	c cleaning 9994 clauses out of 20013 with flag 1915000/2453982
146.96/145.24	c cleaning 10003 clauses out of 20020 with flag 1925001/2463983
147.46/145.79	c cleaning 10006 clauses out of 20017 with flag 1935001/2473983
148.06/146.36	c cleaning 9997 clauses out of 20012 with flag 1945002/2483984
148.66/146.91	c cleaning 9999 clauses out of 20013 with flag 1955000/2493982
149.26/147.59	c cleaning 9988 clauses out of 20015 with flag 1965001/2503983
149.86/148.15	c cleaning 10009 clauses out of 20027 with flag 1975001/2513983
150.46/148.79	c cleaning 9998 clauses out of 20017 with flag 1985000/2523982
151.06/149.39	c cleaning 10005 clauses out of 20022 with flag 1995003/2533985
151.67/149.97	c cleaning 9999 clauses out of 20014 with flag 2005000/2543982
152.27/150.53	c cleaning 10000 clauses out of 20015 with flag 2015000/2553982
152.87/151.11	c cleaning 10000 clauses out of 20018 with flag 2025003/2563985
153.37/151.65	c cleaning 10001 clauses out of 20016 with flag 2035001/2573983
153.87/152.18	c cleaning 10002 clauses out of 20015 with flag 2045001/2583983
154.47/152.70	c cleaning 9994 clauses out of 20012 with flag 2055000/2593982
155.07/153.32	c cleaning 9995 clauses out of 20021 with flag 2065003/2603985
155.58/153.89	c cleaning 10007 clauses out of 20023 with flag 2075000/2613982
156.18/154.43	c cleaning 10003 clauses out of 20016 with flag 2085000/2623982
156.78/155.03	c cleaning 10003 clauses out of 20016 with flag 2095003/2633985
157.38/155.60	c cleaning 9998 clauses out of 20010 with flag 2105000/2643982
157.89/156.16	c cleaning 10001 clauses out of 20012 with flag 2115000/2653982
158.48/156.75	c cleaning 10002 clauses out of 20012 with flag 2125001/2663983
159.09/157.35	c cleaning 9998 clauses out of 20009 with flag 2135000/2673982
159.58/157.86	c cleaning 9997 clauses out of 20011 with flag 2145000/2683982
160.09/158.34	c cleaning 10002 clauses out of 20014 with flag 2155000/2693982
160.59/158.83	c cleaning 9998 clauses out of 20015 with flag 2165003/2703985
161.09/159.35	c cleaning 10003 clauses out of 20015 with flag 2175001/2713983
161.69/159.90	c cleaning 10002 clauses out of 20015 with flag 2185004/2723986
162.19/160.43	c cleaning 10000 clauses out of 20010 with flag 2195001/2733983
162.69/160.99	c cleaning 10000 clauses out of 20010 with flag 2205001/2743983
163.30/161.59	c cleaning 9999 clauses out of 20009 with flag 2215000/2753982
164.00/162.21	c cleaning 10003 clauses out of 20012 with flag 2225002/2763984
164.50/162.73	c cleaning 9995 clauses out of 20008 with flag 2235001/2773983
165.10/163.32	c cleaning 9993 clauses out of 20014 with flag 2245002/2783984
165.60/163.90	c cleaning 10006 clauses out of 20025 with flag 2255006/2793988
166.20/164.44	c cleaning 9998 clauses out of 20013 with flag 2265000/2803982
166.81/165.01	c cleaning 10004 clauses out of 20015 with flag 2275000/2813982
167.31/165.52	c cleaning 9994 clauses out of 20011 with flag 2285000/2823982
167.82/166.07	c cleaning 10004 clauses out of 20019 with flag 2295002/2833984
168.41/166.64	c cleaning 10000 clauses out of 20013 with flag 2305000/2843982
168.92/167.19	c cleaning 9999 clauses out of 20013 with flag 2315000/2853982
169.52/167.73	c cleaning 10002 clauses out of 20014 with flag 2325000/2863982
170.02/168.30	c cleaning 10004 clauses out of 20014 with flag 2335002/2873984
170.62/168.83	c cleaning 9991 clauses out of 20008 with flag 2345000/2883982
171.12/169.37	c cleaning 9998 clauses out of 20017 with flag 2355000/2893982
171.72/169.97	c cleaning 10000 clauses out of 20019 with flag 2365000/2903982
172.33/170.56	c cleaning 9998 clauses out of 20020 with flag 2375001/2913983
172.82/171.07	c cleaning 10006 clauses out of 20022 with flag 2385001/2923983
173.33/171.58	c cleaning 10005 clauses out of 20016 with flag 2395001/2933983
173.82/172.07	c cleaning 10000 clauses out of 20010 with flag 2405000/2943982
174.43/172.65	c cleaning 9998 clauses out of 20012 with flag 2415002/2953984
175.03/173.23	c cleaning 9994 clauses out of 20012 with flag 2425000/2963982
175.63/173.83	c cleaning 9991 clauses out of 20018 with flag 2435000/2973982
176.13/174.39	c cleaning 10007 clauses out of 20028 with flag 2445001/2983983
176.83/175.00	c cleaning 10004 clauses out of 20020 with flag 2455000/2993982
177.43/175.66	c cleaning 10004 clauses out of 20017 with flag 2465001/3003983
178.03/176.21	c cleaning 9999 clauses out of 20012 with flag 2475000/3013982
178.53/176.75	c cleaning 10003 clauses out of 20015 with flag 2485002/3023984
179.14/177.31	c cleaning 9998 clauses out of 20010 with flag 2495000/3033982
179.64/177.80	c cleaning 10004 clauses out of 20014 with flag 2505002/3043984
180.04/178.27	c cleaning 9996 clauses out of 20010 with flag 2515002/3053984
180.54/178.79	c cleaning 10005 clauses out of 20013 with flag 2525001/3063983
181.15/179.32	c cleaning 9999 clauses out of 20007 with flag 2535000/3073982
181.64/179.85	c cleaning 9996 clauses out of 20008 with flag 2545000/3083982
182.15/180.35	c cleaning 10004 clauses out of 20012 with flag 2555000/3093982
182.75/180.95	c cleaning 10000 clauses out of 20009 with flag 2565001/3103983
183.35/181.52	c cleaning 9996 clauses out of 20008 with flag 2575000/3113982
183.85/182.07	c cleaning 10000 clauses out of 20013 with flag 2585001/3123983
184.35/182.60	c cleaning 10002 clauses out of 20013 with flag 2595001/3133983
185.05/183.20	c cleaning 9999 clauses out of 20010 with flag 2605000/3143982
185.55/183.78	c cleaning 9999 clauses out of 20013 with flag 2615002/3153984
186.05/184.29	c cleaning 10002 clauses out of 20014 with flag 2625002/3163984
186.55/184.80	c cleaning 10000 clauses out of 20010 with flag 2635000/3173982
187.15/185.32	c cleaning 10001 clauses out of 20011 with flag 2645001/3183983
187.76/185.92	c cleaning 9988 clauses out of 20009 with flag 2655000/3193982
188.36/186.53	c cleaning 10005 clauses out of 20022 with flag 2665001/3203983
188.96/187.15	c cleaning 10003 clauses out of 20016 with flag 2675000/3213982
189.56/187.70	c cleaning 10002 clauses out of 20015 with flag 2685002/3223984
190.06/188.29	c cleaning 10002 clauses out of 20011 with flag 2695000/3233982
190.66/188.88	c cleaning 10001 clauses out of 20009 with flag 2705000/3243982
191.26/189.42	c cleaning 9998 clauses out of 20008 with flag 2715000/3253982
191.76/189.98	c cleaning 9999 clauses out of 20010 with flag 2725000/3263982
192.36/190.57	c cleaning 10002 clauses out of 20012 with flag 2735001/3273983
192.96/191.13	c cleaning 9995 clauses out of 20011 with flag 2745002/3283984
193.47/191.66	c cleaning 9998 clauses out of 20014 with flag 2755000/3293982
194.07/192.22	c cleaning 10003 clauses out of 20016 with flag 2765000/3303982
194.57/192.76	c cleaning 10002 clauses out of 20014 with flag 2775001/3313983
195.17/193.39	c cleaning 10002 clauses out of 20012 with flag 2785001/3323983
195.77/193.95	c cleaning 9999 clauses out of 20009 with flag 2795000/3333982
196.37/194.52	c cleaning 10002 clauses out of 20012 with flag 2805002/3343984
196.87/195.09	c cleaning 9993 clauses out of 20008 with flag 2815000/3353982
197.47/195.69	c cleaning 9994 clauses out of 20017 with flag 2825002/3363984
198.08/196.28	c cleaning 10005 clauses out of 20021 with flag 2835000/3373982
198.78/196.91	c cleaning 9998 clauses out of 20016 with flag 2845000/3383982
199.28/197.45	c cleaning 10004 clauses out of 20019 with flag 2855001/3393983
199.89/198.00	c cleaning 9996 clauses out of 20015 with flag 2865001/3403983
200.48/198.61	c cleaning 10003 clauses out of 20019 with flag 2875001/3413983
200.99/199.18	c cleaning 10002 clauses out of 20015 with flag 2885000/3423982
201.58/199.75	c cleaning 10002 clauses out of 20016 with flag 2895003/3433985
202.09/200.29	c cleaning 10002 clauses out of 20013 with flag 2905002/3443984
202.68/200.86	c cleaning 9997 clauses out of 20010 with flag 2915001/3453983
203.28/201.45	c cleaning 9998 clauses out of 20012 with flag 2925000/3463982
203.88/202.02	c cleaning 9997 clauses out of 20014 with flag 2935000/3473982
204.38/202.57	c cleaning 10005 clauses out of 20018 with flag 2945001/3483983
204.89/203.10	c cleaning 9998 clauses out of 20012 with flag 2955000/3493982
205.59/203.74	c cleaning 10003 clauses out of 20014 with flag 2965000/3503982
206.09/204.26	c cleaning 9997 clauses out of 20011 with flag 2975000/3513982
206.69/204.84	c cleaning 9998 clauses out of 20015 with flag 2985001/3523983
207.19/205.39	c cleaning 10004 clauses out of 20018 with flag 2995002/3533984
207.79/205.93	c cleaning 10001 clauses out of 20013 with flag 3005001/3543983
208.29/206.48	c cleaning 9999 clauses out of 20011 with flag 3015000/3553982
208.89/207.04	c cleaning 10001 clauses out of 20012 with flag 3025000/3563982
209.49/207.62	c cleaning 9996 clauses out of 20012 with flag 3035001/3573983
209.99/208.20	c cleaning 9998 clauses out of 20016 with flag 3045001/3583983
210.69/208.84	c cleaning 10003 clauses out of 20019 with flag 3055002/3593984
211.29/209.40	c cleaning 10001 clauses out of 20016 with flag 3065002/3603984
211.80/209.96	c cleaning 10003 clauses out of 20015 with flag 3075002/3613984
212.40/210.54	c cleaning 9988 clauses out of 20010 with flag 3085000/3623982
212.90/211.08	c cleaning 10006 clauses out of 20023 with flag 3095001/3633983
213.40/211.60	c cleaning 10001 clauses out of 20016 with flag 3105000/3643982
214.00/212.16	c cleaning 10001 clauses out of 20015 with flag 3115000/3653982
214.60/212.73	c cleaning 9996 clauses out of 20014 with flag 3125000/3663982
215.11/213.28	c cleaning 10000 clauses out of 20018 with flag 3135000/3673982
215.71/213.90	c cleaning 10000 clauses out of 20018 with flag 3145000/3683982
216.41/214.51	c cleaning 10003 clauses out of 20019 with flag 3155001/3693983
216.91/215.07	c cleaning 9999 clauses out of 20015 with flag 3165000/3703982
217.52/215.67	c cleaning 10004 clauses out of 20017 with flag 3175001/3713983
218.12/216.22	c cleaning 9999 clauses out of 20012 with flag 3185000/3723982
218.72/216.83	c cleaning 10005 clauses out of 20013 with flag 3195000/3733982
219.22/217.33	c cleaning 9999 clauses out of 20010 with flag 3205002/3743984
219.72/217.85	c cleaning 10000 clauses out of 20009 with flag 3215000/3753982
220.42/218.60	c cleaning 9991 clauses out of 20010 with flag 3225001/3763983
221.12/219.23	c cleaning 10004 clauses out of 20018 with flag 3235000/3773982
221.62/219.79	c cleaning 10000 clauses out of 20014 with flag 3245000/3783982
222.22/220.37	c cleaning 10005 clauses out of 20015 with flag 3255001/3793983
222.83/220.94	c cleaning 9999 clauses out of 20010 with flag 3265001/3803983
223.43/221.50	c cleaning 10001 clauses out of 20013 with flag 3275003/3813985
223.94/222.08	c cleaning 10002 clauses out of 20011 with flag 3285002/3823984
224.64/222.70	c cleaning 9991 clauses out of 20007 with flag 3295000/3833982
225.24/223.33	c cleaning 10003 clauses out of 20016 with flag 3305000/3843982
225.84/223.90	c cleaning 9998 clauses out of 20016 with flag 3315003/3853985
226.35/224.48	c cleaning 9992 clauses out of 20016 with flag 3325001/3863983
226.94/225.08	c cleaning 10004 clauses out of 20024 with flag 3335001/3873983
227.65/225.75	c cleaning 10005 clauses out of 20019 with flag 3345000/3883982
228.35/226.44	c cleaning 10001 clauses out of 20014 with flag 3355000/3893982
228.95/227.04	c cleaning 10000 clauses out of 20015 with flag 3365002/3903984
229.56/227.62	c cleaning 10001 clauses out of 20015 with flag 3375002/3913984
230.15/228.29	c cleaning 10002 clauses out of 20014 with flag 3385002/3923984
230.85/228.99	c cleaning 9996 clauses out of 20011 with flag 3395001/3933983
231.56/229.65	c cleaning 9999 clauses out of 20015 with flag 3405001/3943983
232.16/230.22	c cleaning 10000 clauses out of 20017 with flag 3415002/3953984
232.76/230.84	c cleaning 10004 clauses out of 20018 with flag 3425003/3963985
233.46/231.55	c cleaning 10003 clauses out of 20014 with flag 3435003/3973985
234.16/232.27	c cleaning 9998 clauses out of 20009 with flag 3445001/3983983
234.76/232.87	c cleaning 9994 clauses out of 20011 with flag 3455001/3993983
235.46/233.52	c cleaning 10003 clauses out of 20016 with flag 3465000/4003982
236.07/234.14	c cleaning 10001 clauses out of 20016 with flag 3475003/4013985
236.67/234.75	c cleaning 9997 clauses out of 20014 with flag 3485002/4023984
237.28/235.32	c cleaning 10002 clauses out of 20015 with flag 3495000/4033982
237.77/235.88	c cleaning 9998 clauses out of 20014 with flag 3505001/4043983
238.38/236.43	c cleaning 9997 clauses out of 20016 with flag 3515001/4053983
238.98/237.01	c cleaning 10006 clauses out of 20019 with flag 3525001/4063983
239.49/237.55	c cleaning 10003 clauses out of 20013 with flag 3535001/4073983
240.08/238.13	c cleaning 9993 clauses out of 20011 with flag 3545002/4083984
240.59/238.70	c cleaning 9997 clauses out of 20016 with flag 3555000/4093982
241.29/239.38	c cleaning 10003 clauses out of 20021 with flag 3565002/4103984
241.89/239.97	c cleaning 10000 clauses out of 20016 with flag 3575000/4113982
242.59/240.62	c cleaning 10001 clauses out of 20020 with flag 3585004/4123986
243.19/241.20	c cleaning 10001 clauses out of 20015 with flag 3595000/4133982
243.79/241.83	c cleaning 10004 clauses out of 20015 with flag 3605001/4143983
244.39/242.43	c cleaning 10002 clauses out of 20011 with flag 3615001/4153983
245.10/243.11	c cleaning 9996 clauses out of 20010 with flag 3625002/4163984
245.59/243.63	c cleaning 9992 clauses out of 20012 with flag 3635000/4173982
245.99/244.09	c cleaning 10004 clauses out of 20020 with flag 3645000/4183982
246.59/244.62	c cleaning 10004 clauses out of 20017 with flag 3655001/4193983
247.20/245.23	c cleaning 9994 clauses out of 20014 with flag 3665002/4203984
247.69/245.79	c cleaning 10004 clauses out of 20019 with flag 3675001/4213983
248.30/246.33	c cleaning 9997 clauses out of 20014 with flag 3685000/4223982
248.80/246.89	c cleaning 9996 clauses out of 20017 with flag 3695000/4233982
249.40/247.45	c cleaning 10003 clauses out of 20022 with flag 3705001/4243983
250.00/248.02	c cleaning 9995 clauses out of 20018 with flag 3715000/4253982
250.50/248.58	c cleaning 10002 clauses out of 20023 with flag 3725000/4263982
251.20/249.22	c cleaning 10005 clauses out of 20022 with flag 3735001/4273983
251.80/249.80	c cleaning 10007 clauses out of 20017 with flag 3745001/4283983
252.30/250.38	c cleaning 10002 clauses out of 20010 with flag 3755001/4293983
252.90/250.96	c cleaning 9999 clauses out of 20007 with flag 3765000/4303982
253.61/251.61	c cleaning 9995 clauses out of 20010 with flag 3775002/4313984
254.24/252.23	c cleaning 9998 clauses out of 20016 with flag 3785004/4323986
254.86/252.84	c cleaning 9998 clauses out of 20014 with flag 3795000/4333982
255.46/253.41	c cleaning 10001 clauses out of 20016 with flag 3805000/4343982
256.06/254.08	c cleaning 10001 clauses out of 20015 with flag 3815000/4353982
256.76/254.75	c cleaning 9999 clauses out of 20014 with flag 3825000/4363982
257.56/255.54	c cleaning 9994 clauses out of 20014 with flag 3835000/4373982
258.06/256.09	c starts		: 294
258.06/256.09	c conflicts		: 4380750
258.06/256.09	c decisions		: 6693870
258.06/256.09	c propagations		: 222617569
258.06/256.09	c inspects		: 2215554306
258.06/256.09	c shortcuts		: 0
258.06/256.09	c learnt literals	: 3
258.06/256.09	c learnt binary clauses	: 30
258.06/256.09	c learnt ternary clauses	: 958
258.06/256.09	c learnt constraints	: 4380746
258.06/256.09	c ignored constraints	: 0
258.06/256.09	c root simplifications	: 0
258.06/256.09	c removed literals (reason simplification)	: 21689669
258.06/256.09	c reason swapping (by a shorter reason)	: 0
258.06/256.09	c Calls to reduceDB	: 444
258.06/256.09	c number of reductions to clauses (during analyze)	: 0
258.06/256.09	c number of learned constraints concerned by reduction	: 0
258.06/256.09	c number of learning phase by resolution	: 0
258.06/256.09	c number of learning phase by cutting planes	: 0
258.06/256.09	c speed (assignments/second)	: 1006440.3891624056
258.06/256.09	c non guided choices	5382
258.06/256.09	c learnt constraints type 
258.06/256.09	c constraints type 
258.06/256.09	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684
258.06/256.09	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
258.06/256.09	s OPTIMUM FOUND
258.06/256.09	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 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 
258.06/256.09	c objective function=2
258.06/256.09	c Total wall clock time (in seconds): 255.98

Verifier Data 

OK	2

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.00 1.94 2/195 19686
/proc/meminfo: memFree=3181048/32950928 swapFree=67052124/67111528
[pid=19686] ppid=19684 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/19686/stat : 19686 (java) R 19684 19686 14010 0 -1 4202496 955 0 0 0 0 0 0 0 25 0 1 0 902771927 23580672 697 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235589904273 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19686/statm: 5757 697 513 9 0 124 0

[startup+0.0856089 s]
/proc/loadavg: 2.01 2.00 1.94 2/195 19686
/proc/meminfo: memFree=3181048/32950928 swapFree=67052124/67111528
[pid=19686] ppid=19684 vsize=10473680 CPUtime=0.07 cores=0,2,4,6
/proc/19686/stat : 19686 (java) S 19684 19686 14010 0 -1 4202496 12442 0 1 0 6 1 0 0 25 0 18 0 902771927 10725048320 12117 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19686/statm: 2618420 12120 1973 9 0 2609154 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10473680

[startup+0.107979 s]
/proc/loadavg: 2.01 2.00 1.94 2/195 19686
/proc/meminfo: memFree=3181048/32950928 swapFree=67052124/67111528
[pid=19686] ppid=19684 vsize=10540072 CPUtime=0.1 cores=0,2,4,6
/proc/19686/stat : 19686 (java) S 19684 19686 14010 0 -1 4202496 13141 0 1 0 9 1 0 0 25 0 18 0 902771927 10793033728 12809 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19686/statm: 2635018 12809 2093 9 0 2625752 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540072

[startup+0.300802 s]
/proc/loadavg: 2.01 2.00 1.94 2/195 19686
/proc/meminfo: memFree=3181048/32950928 swapFree=67052124/67111528
[pid=19686] ppid=19684 vsize=10540072 CPUtime=0.49 cores=0,2,4,6
/proc/19686/stat : 19686 (java) S 19684 19686 14010 0 -1 4202496 16717 0 1 0 47 2 0 0 25 0 18 0 902771927 10793033728 15755 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19686/statm: 2635018 15755 2205 9 0 2625752 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10540072

[startup+0.70073 s]
/proc/loadavg: 2.01 2.00 1.94 2/195 19686
/proc/meminfo: memFree=3181048/32950928 swapFree=67052124/67111528
[pid=19686] ppid=19684 vsize=10544804 CPUtime=1.56 cores=0,2,4,6
/proc/19686/stat : 19686 (java) S 19684 19686 14010 0 -1 4202496 23171 0 1 0 153 3 0 0 25 0 19 0 902771927 10797879296 19570 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19686/statm: 2636201 19570 2236 9 0 2626935 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 10544804

[startup+1.50059 s]
/proc/loadavg: 2.01 2.00 1.94 3/214 19705
/proc/meminfo: memFree=3107000/32950928 swapFree=67052124/67111528
[pid=19686] ppid=19684 vsize=10544804 CPUtime=2.36 cores=0,2,4,6
/proc/19686/stat : 19686 (java) S 19684 19686 14010 0 -1 4202496 25827 0 1 0 233 3 0 0 25 0 19 0 902771927 10797879296 22225 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19686/statm: 2636201 22225 2238 9 0 2626935 0
[pid=19686/tid=19688] ppid=19684 vsize=10544804 CPUtime=1.48 cores=0,2,4,6
/proc/19686/task/19688/stat : 19688 (java) R 19684 19686 14010 0 -1 4202560 17553 0 1 0 146 2 0 0 20 0 19 0 902771927 10797879296 22225 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 46912505719401 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19686/tid=19689] ppid=19684 vsize=10544804 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19689/stat : 19689 (java) S 19684 19686 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771929 10797879296 22225 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19690] ppid=19684 vsize=10544804 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19690/stat : 19690 (java) S 19684 19686 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771929 10797879296 22225 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19691] ppid=19684 vsize=10544804 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19691/stat : 19691 (java) S 19684 19686 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771929 10797879296 22225 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19692] ppid=19684 vsize=10544804 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19692/stat : 19692 (java) S 19684 19686 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771929 10797879296 22225 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19693] ppid=19684 vsize=10544804 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19693/stat : 19693 (java) S 19684 19686 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771929 10797879296 22225 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19694] ppid=19684 vsize=10544804 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19694/stat : 19694 (java) S 19684 19686 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771929 10797879296 22225 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19695] ppid=19684 vsize=10544804 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19695/stat : 19695 (java) S 19684 19686 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771929 10797879296 22225 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19696] ppid=19684 vsize=10544804 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19696/stat : 19696 (java) S 19684 19686 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771929 10797879296 22225 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19697] ppid=19684 vsize=10544804 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19697/stat : 19697 (java) S 19684 19686 14010 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902771930 10797879296 22225 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606683136 0 0 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19698] ppid=19684 vsize=10544804 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19698/stat : 19698 (java) S 19684 19686 14010 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902771930 10797879296 22225 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19699] ppid=19684 vsize=10544804 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19699/stat : 19699 (java) S 19684 19686 14010 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 902771930 10797879296 22225 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 0 0 0 0
[pid=19686/tid=19700] ppid=19684 vsize=10544804 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19700/stat : 19700 (java) S 19684 19686 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771933 10797879296 22225 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606690225 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
[pid=19686/tid=19701] ppid=19684 vsize=10544804 CPUtime=0.45 cores=0,2,4,6
/proc/19686/task/19701/stat : 19701 (java) S 19684 19686 14010 0 -1 4202560 3084 0 0 0 45 0 0 0 25 0 19 0 902771933 10797879296 22225 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 2 0 0 0
[pid=19686/tid=19702] ppid=19684 vsize=10544804 CPUtime=0.41 cores=0,2,4,6
/proc/19686/task/19702/stat : 19702 (java) S 19684 19686 14010 0 -1 4202560 4027 0 0 0 41 0 0 0 25 0 19 0 902771933 10797879296 22225 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 0 0 0 0
[pid=19686/tid=19703] ppid=19684 vsize=10544804 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19703/stat : 19703 (java) S 19684 19686 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771933 10797879296 22225 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
[pid=19686/tid=19704] ppid=19684 vsize=10544804 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19704/stat : 19704 (java) S 19684 19686 14010 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902771933 10797879296 22225 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606683136 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
[pid=19686/tid=19705] ppid=19684 vsize=10544804 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19705/stat : 19705 (java) S 19684 19686 14010 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902771963 10797879296 22225 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606683136 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 10544804

[startup+3.10143 s]
/proc/loadavg: 2.01 2.00 1.94 3/214 19705
/proc/meminfo: memFree=3098940/32950928 swapFree=67052124/67111528
[pid=19686] ppid=19684 vsize=10544804 CPUtime=3.98 cores=0,2,4,6
/proc/19686/stat : 19686 (java) S 19684 19686 14010 0 -1 4202496 27964 0 1 0 395 3 0 0 25 0 19 0 902771927 10797879296 24362 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19686/statm: 2636201 24362 2238 9 0 2626935 0
[pid=19686/tid=19688] ppid=19684 vsize=10544804 CPUtime=3.08 cores=0,2,4,6
/proc/19686/task/19688/stat : 19688 (java) R 19684 19686 14010 0 -1 4202560 19688 0 1 0 306 2 0 0 25 0 19 0 902771927 10797879296 24362 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 46912505717331 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19686/tid=19689] ppid=19684 vsize=10544804 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19689/stat : 19689 (java) S 19684 19686 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771929 10797879296 24362 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19690] ppid=19684 vsize=10544804 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19690/stat : 19690 (java) S 19684 19686 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771929 10797879296 24362 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19691] ppid=19684 vsize=10544804 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19691/stat : 19691 (java) S 19684 19686 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771929 10797879296 24362 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19692] ppid=19684 vsize=10544804 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19692/stat : 19692 (java) S 19684 19686 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771929 10797879296 24362 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19693] ppid=19684 vsize=10544804 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19693/stat : 19693 (java) S 19684 19686 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771929 10797879296 24362 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19694] ppid=19684 vsize=10544804 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19694/stat : 19694 (java) S 19684 19686 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771929 10797879296 24362 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19695] ppid=19684 vsize=10544804 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19695/stat : 19695 (java) S 19684 19686 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771929 10797879296 24362 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19696] ppid=19684 vsize=10544804 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19696/stat : 19696 (java) S 19684 19686 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771929 10797879296 24362 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19697] ppid=19684 vsize=10544804 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19697/stat : 19697 (java) S 19684 19686 14010 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902771930 10797879296 24362 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606683136 0 0 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19698] ppid=19684 vsize=10544804 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19698/stat : 19698 (java) S 19684 19686 14010 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902771930 10797879296 24362 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19699] ppid=19684 vsize=10544804 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19699/stat : 19699 (java) S 19684 19686 14010 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 902771930 10797879296 24362 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 0 0 0 0
[pid=19686/tid=19700] ppid=19684 vsize=10544804 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19700/stat : 19700 (java) S 19684 19686 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771933 10797879296 24362 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606690225 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
[pid=19686/tid=19701] ppid=19684 vsize=10544804 CPUtime=0.46 cores=0,2,4,6
/proc/19686/task/19701/stat : 19701 (java) S 19684 19686 14010 0 -1 4202560 3085 0 0 0 46 0 0 0 16 0 19 0 902771933 10797879296 24362 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 2 0 0 0
[pid=19686/tid=19702] ppid=19684 vsize=10544804 CPUtime=0.42 cores=0,2,4,6
/proc/19686/task/19702/stat : 19702 (java) S 19684 19686 14010 0 -1 4202560 4028 0 0 0 42 0 0 0 16 0 19 0 902771933 10797879296 24362 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 0 0 0 0
[pid=19686/tid=19703] ppid=19684 vsize=10544804 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19703/stat : 19703 (java) S 19684 19686 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771933 10797879296 24362 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
[pid=19686/tid=19704] ppid=19684 vsize=10544804 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19704/stat : 19704 (java) S 19684 19686 14010 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902771933 10797879296 24362 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606683136 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
[pid=19686/tid=19705] ppid=19684 vsize=10544804 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19705/stat : 19705 (java) S 19684 19686 14010 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902771963 10797879296 24362 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606683136 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 10544804

[startup+6.30087 s]
/proc/loadavg: 2.01 2.00 1.94 3/214 19705
/proc/meminfo: memFree=3079732/32950928 swapFree=67052124/67111528
[pid=19686] ppid=19684 vsize=10545016 CPUtime=7.75 cores=0,2,4,6
/proc/19686/stat : 19686 (java) S 19684 19686 14010 0 -1 4202496 37830 0 1 0 770 5 0 0 25 0 19 0 902771927 10798096384 27625 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19686/statm: 2636254 27625 2264 9 0 2626988 0
[pid=19686/tid=19688] ppid=19684 vsize=10545016 CPUtime=6.22 cores=0,2,4,6
/proc/19686/task/19688/stat : 19688 (java) R 19684 19686 14010 0 -1 4202560 20175 0 1 0 619 3 0 0 25 0 19 0 902771927 10798096384 27625 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 46912505874020 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19686/tid=19689] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19689/stat : 19689 (java) S 19684 19686 14010 0 -1 4202560 373 0 0 0 0 0 0 0 16 0 19 0 902771929 10798096384 27625 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 2 0 0 0
[pid=19686/tid=19690] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19690/stat : 19690 (java) S 19684 19686 14010 0 -1 4202560 533 0 0 0 0 0 0 0 15 0 19 0 902771929 10798096384 27625 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 0 0 0 0
[pid=19686/tid=19691] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19691/stat : 19691 (java) S 19684 19686 14010 0 -1 4202560 272 0 0 0 0 0 0 0 15 0 19 0 902771929 10798096384 27625 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
[pid=19686/tid=19692] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19692/stat : 19692 (java) S 19684 19686 14010 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 902771929 10798096384 27625 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 0 0 0 0
[pid=19686/tid=19693] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19693/stat : 19693 (java) S 19684 19686 14010 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902771929 10798096384 27625 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 0 0 0 0
[pid=19686/tid=19694] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19694/stat : 19694 (java) S 19684 19686 14010 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902771929 10798096384 27625 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 2 0 0 0
[pid=19686/tid=19695] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19695/stat : 19695 (java) S 19684 19686 14010 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902771929 10798096384 27625 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 0 0 0 0
[pid=19686/tid=19696] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19696/stat : 19696 (java) S 19684 19686 14010 0 -1 4202560 361 0 0 0 0 0 0 0 15 0 19 0 902771929 10798096384 27625 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
[pid=19686/tid=19697] ppid=19684 vsize=10545016 CPUtime=0.04 cores=0,2,4,6
/proc/19686/task/19697/stat : 19697 (java) S 19684 19686 14010 0 -1 4202560 1232 0 0 0 4 0 0 0 16 0 19 0 902771930 10798096384 27625 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606683136 0 0 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19698] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19698/stat : 19698 (java) S 19684 19686 14010 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902771930 10798096384 27625 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19699] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19699/stat : 19699 (java) S 19684 19686 14010 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902771930 10798096384 27625 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 0 0 0 0
[pid=19686/tid=19700] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19700/stat : 19700 (java) S 19684 19686 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771933 10798096384 27625 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606690225 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
[pid=19686/tid=19701] ppid=19684 vsize=10545016 CPUtime=0.98 cores=0,2,4,6
/proc/19686/task/19701/stat : 19701 (java) S 19684 19686 14010 0 -1 4202560 9606 0 0 0 97 1 0 0 15 0 19 0 902771933 10798096384 27625 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 2 0 0 0
[pid=19686/tid=19702] ppid=19684 vsize=10545016 CPUtime=0.47 cores=0,2,4,6
/proc/19686/task/19702/stat : 19702 (java) S 19684 19686 14010 0 -1 4202560 4040 0 0 0 47 0 0 0 15 0 19 0 902771933 10798096384 27625 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 0 0 0 0
[pid=19686/tid=19703] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19703/stat : 19703 (java) S 19684 19686 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771933 10798096384 27625 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
[pid=19686/tid=19704] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19704/stat : 19704 (java) S 19684 19686 14010 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902771933 10798096384 27625 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606683136 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
[pid=19686/tid=19705] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19705/stat : 19705 (java) S 19684 19686 14010 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902771963 10798096384 27625 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606683136 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.75
Current children cumulated vsize (KiB) 10545016

[startup+12.7006 s]

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

/proc/19686/task/19689/stat : 19689 (java) S 19684 19686 14010 0 -1 4202560 384 0 0 0 11 0 0 0 15 0 19 0 902771929 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 2 0 0 0
[pid=19686/tid=19690] ppid=19684 vsize=10545016 CPUtime=0.13 cores=0,2,4,6
/proc/19686/task/19690/stat : 19690 (java) S 19684 19686 14010 0 -1 4202560 547 0 0 0 13 0 0 0 15 0 19 0 902771929 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 2 0 0 0
[pid=19686/tid=19691] ppid=19684 vsize=10545016 CPUtime=0.14 cores=0,2,4,6
/proc/19686/task/19691/stat : 19691 (java) S 19684 19686 14010 0 -1 4202560 283 0 0 0 14 0 0 0 15 0 19 0 902771929 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 2 0 0 0
[pid=19686/tid=19692] ppid=19684 vsize=10545016 CPUtime=0.13 cores=0,2,4,6
/proc/19686/task/19692/stat : 19692 (java) S 19684 19686 14010 0 -1 4202560 91 0 0 0 13 0 0 0 16 0 19 0 902771929 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
[pid=19686/tid=19693] ppid=19684 vsize=10545016 CPUtime=0.14 cores=0,2,4,6
/proc/19686/task/19693/stat : 19693 (java) S 19684 19686 14010 0 -1 4202560 9 0 0 0 14 0 0 0 16 0 19 0 902771929 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
[pid=19686/tid=19694] ppid=19684 vsize=10545016 CPUtime=0.14 cores=0,2,4,6
/proc/19686/task/19694/stat : 19694 (java) S 19684 19686 14010 0 -1 4202560 20 0 0 0 14 0 0 0 15 0 19 0 902771929 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
[pid=19686/tid=19695] ppid=19684 vsize=10545016 CPUtime=0.14 cores=0,2,4,6
/proc/19686/task/19695/stat : 19695 (java) S 19684 19686 14010 0 -1 4202560 16 0 0 0 14 0 0 0 15 0 19 0 902771929 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19696] ppid=19684 vsize=10545016 CPUtime=0.15 cores=0,2,4,6
/proc/19686/task/19696/stat : 19696 (java) S 19684 19686 14010 0 -1 4202560 374 0 0 0 15 0 0 0 15 0 19 0 902771929 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19697] ppid=19684 vsize=10545016 CPUtime=7.59 cores=0,2,4,6
/proc/19686/task/19697/stat : 19697 (java) S 19684 19686 14010 0 -1 4202560 1820 0 0 0 756 3 0 0 16 0 19 0 902771930 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606683136 0 0 0 16800975 18446604450031328064 0 0 -1 0 0 0 0
[pid=19686/tid=19698] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19698/stat : 19698 (java) S 19684 19686 14010 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902771930 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19699] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19699/stat : 19699 (java) S 19684 19686 14010 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902771930 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 0 0 0 0
[pid=19686/tid=19700] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19700/stat : 19700 (java) S 19684 19686 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771933 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606690225 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
[pid=19686/tid=19701] ppid=19684 vsize=10545016 CPUtime=1.02 cores=0,2,4,6
/proc/19686/task/19701/stat : 19701 (java) S 19684 19686 14010 0 -1 4202560 9654 0 0 0 101 1 0 0 16 0 19 0 902771933 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 2 0 0 0
[pid=19686/tid=19702] ppid=19684 vsize=10545016 CPUtime=0.5 cores=0,2,4,6
/proc/19686/task/19702/stat : 19702 (java) S 19684 19686 14010 0 -1 4202560 4040 0 0 0 50 0 0 0 15 0 19 0 902771933 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 0 0 0 0
[pid=19686/tid=19703] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19703/stat : 19703 (java) S 19684 19686 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771933 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
[pid=19686/tid=19704] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19704/stat : 19704 (java) S 19684 19686 14010 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 902771933 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606683136 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
[pid=19686/tid=19705] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19705/stat : 19705 (java) S 19684 19686 14010 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902771963 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606683136 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 257.17
Current children cumulated vsize (KiB) 10545016

[startup+255.501 s]
/proc/loadavg: 2.00 2.00 1.94 3/214 19712
/proc/meminfo: memFree=3068648/32950928 swapFree=67052124/67111528
[pid=19686] ppid=19684 vsize=10545016 CPUtime=257.56 cores=0,2,4,6
/proc/19686/stat : 19686 (java) S 19684 19686 14010 0 -1 4202496 39021 0 1 0 25744 12 0 0 25 0 19 0 902771927 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19686/statm: 2636254 28099 2265 9 0 2626988 0
[pid=19686/tid=19688] ppid=19684 vsize=10545016 CPUtime=247.28 cores=0,2,4,6
/proc/19686/task/19688/stat : 19688 (java) R 19684 19686 14010 0 -1 4202560 20616 0 1 0 24724 4 0 0 25 0 19 0 902771927 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 46912505829984 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19686/tid=19689] ppid=19684 vsize=10545016 CPUtime=0.11 cores=0,2,4,6
/proc/19686/task/19689/stat : 19689 (java) S 19684 19686 14010 0 -1 4202560 384 0 0 0 11 0 0 0 15 0 19 0 902771929 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 2 0 0 0
[pid=19686/tid=19690] ppid=19684 vsize=10545016 CPUtime=0.13 cores=0,2,4,6
/proc/19686/task/19690/stat : 19690 (java) S 19684 19686 14010 0 -1 4202560 547 0 0 0 13 0 0 0 15 0 19 0 902771929 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 2 0 0 0
[pid=19686/tid=19691] ppid=19684 vsize=10545016 CPUtime=0.14 cores=0,2,4,6
/proc/19686/task/19691/stat : 19691 (java) S 19684 19686 14010 0 -1 4202560 283 0 0 0 14 0 0 0 15 0 19 0 902771929 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 2 0 0 0
[pid=19686/tid=19692] ppid=19684 vsize=10545016 CPUtime=0.13 cores=0,2,4,6
/proc/19686/task/19692/stat : 19692 (java) S 19684 19686 14010 0 -1 4202560 91 0 0 0 13 0 0 0 16 0 19 0 902771929 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
[pid=19686/tid=19693] ppid=19684 vsize=10545016 CPUtime=0.14 cores=0,2,4,6
/proc/19686/task/19693/stat : 19693 (java) S 19684 19686 14010 0 -1 4202560 9 0 0 0 14 0 0 0 16 0 19 0 902771929 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
[pid=19686/tid=19694] ppid=19684 vsize=10545016 CPUtime=0.14 cores=0,2,4,6
/proc/19686/task/19694/stat : 19694 (java) S 19684 19686 14010 0 -1 4202560 20 0 0 0 14 0 0 0 15 0 19 0 902771929 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
[pid=19686/tid=19695] ppid=19684 vsize=10545016 CPUtime=0.14 cores=0,2,4,6
/proc/19686/task/19695/stat : 19695 (java) S 19684 19686 14010 0 -1 4202560 16 0 0 0 14 0 0 0 15 0 19 0 902771929 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19696] ppid=19684 vsize=10545016 CPUtime=0.15 cores=0,2,4,6
/proc/19686/task/19696/stat : 19696 (java) S 19684 19686 14010 0 -1 4202560 374 0 0 0 15 0 0 0 15 0 19 0 902771929 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19697] ppid=19684 vsize=10545016 CPUtime=7.59 cores=0,2,4,6
/proc/19686/task/19697/stat : 19697 (java) S 19684 19686 14010 0 -1 4202560 1820 0 0 0 756 3 0 0 16 0 19 0 902771930 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606683136 0 0 0 16800975 18446604450031328064 0 0 -1 0 0 0 0
[pid=19686/tid=19698] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19698/stat : 19698 (java) S 19684 19686 14010 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902771930 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19699] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19699/stat : 19699 (java) S 19684 19686 14010 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902771930 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 0 0 0 0
[pid=19686/tid=19700] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19700/stat : 19700 (java) S 19684 19686 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771933 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606690225 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
[pid=19686/tid=19701] ppid=19684 vsize=10545016 CPUtime=1.02 cores=0,2,4,6
/proc/19686/task/19701/stat : 19701 (java) S 19684 19686 14010 0 -1 4202560 9654 0 0 0 101 1 0 0 16 0 19 0 902771933 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 2 0 0 0
[pid=19686/tid=19702] ppid=19684 vsize=10545016 CPUtime=0.5 cores=0,2,4,6
/proc/19686/task/19702/stat : 19702 (java) S 19684 19686 14010 0 -1 4202560 4040 0 0 0 50 0 0 0 15 0 19 0 902771933 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 0 0 0 0
[pid=19686/tid=19703] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19703/stat : 19703 (java) S 19684 19686 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771933 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
[pid=19686/tid=19704] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19704/stat : 19704 (java) R 19684 19686 14010 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 902771933 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606683136 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=19686/tid=19705] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19705/stat : 19705 (java) S 19684 19686 14010 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902771963 10798096384 28099 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606683136 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 257.56
Current children cumulated vsize (KiB) 10545016

[startup+255.901 s]
/proc/loadavg: 2.00 2.00 1.94 3/214 19712
/proc/meminfo: memFree=3068648/32950928 swapFree=67052124/67111528
[pid=19686] ppid=19684 vsize=10545016 CPUtime=257.96 cores=0,2,4,6
/proc/19686/stat : 19686 (java) S 19684 19686 14010 0 -1 4202496 39023 0 1 0 25784 12 0 0 25 0 19 0 902771927 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19686/statm: 2636254 28100 2265 9 0 2626988 0
[pid=19686/tid=19688] ppid=19684 vsize=10545016 CPUtime=247.66 cores=0,2,4,6
/proc/19686/task/19688/stat : 19688 (java) R 19684 19686 14010 0 -1 4202560 20617 0 1 0 24762 4 0 0 25 0 19 0 902771927 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 46912505707966 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19686/tid=19689] ppid=19684 vsize=10545016 CPUtime=0.11 cores=0,2,4,6
/proc/19686/task/19689/stat : 19689 (java) S 19684 19686 14010 0 -1 4202560 384 0 0 0 11 0 0 0 15 0 19 0 902771929 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 2 0 0 0
[pid=19686/tid=19690] ppid=19684 vsize=10545016 CPUtime=0.13 cores=0,2,4,6
/proc/19686/task/19690/stat : 19690 (java) S 19684 19686 14010 0 -1 4202560 547 0 0 0 13 0 0 0 15 0 19 0 902771929 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 2 0 0 0
[pid=19686/tid=19691] ppid=19684 vsize=10545016 CPUtime=0.14 cores=0,2,4,6
/proc/19686/task/19691/stat : 19691 (java) S 19684 19686 14010 0 -1 4202560 283 0 0 0 14 0 0 0 15 0 19 0 902771929 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 2 0 0 0
[pid=19686/tid=19692] ppid=19684 vsize=10545016 CPUtime=0.13 cores=0,2,4,6
/proc/19686/task/19692/stat : 19692 (java) S 19684 19686 14010 0 -1 4202560 91 0 0 0 13 0 0 0 15 0 19 0 902771929 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
[pid=19686/tid=19693] ppid=19684 vsize=10545016 CPUtime=0.14 cores=0,2,4,6
/proc/19686/task/19693/stat : 19693 (java) S 19684 19686 14010 0 -1 4202560 10 0 0 0 14 0 0 0 15 0 19 0 902771929 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19694] ppid=19684 vsize=10545016 CPUtime=0.14 cores=0,2,4,6
/proc/19686/task/19694/stat : 19694 (java) S 19684 19686 14010 0 -1 4202560 20 0 0 0 14 0 0 0 15 0 19 0 902771929 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
[pid=19686/tid=19695] ppid=19684 vsize=10545016 CPUtime=0.14 cores=0,2,4,6
/proc/19686/task/19695/stat : 19695 (java) S 19684 19686 14010 0 -1 4202560 16 0 0 0 14 0 0 0 15 0 19 0 902771929 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19696] ppid=19684 vsize=10545016 CPUtime=0.15 cores=0,2,4,6
/proc/19686/task/19696/stat : 19696 (java) S 19684 19686 14010 0 -1 4202560 374 0 0 0 15 0 0 0 15 0 19 0 902771929 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19697] ppid=19684 vsize=10545016 CPUtime=7.61 cores=0,2,4,6
/proc/19686/task/19697/stat : 19697 (java) S 19684 19686 14010 0 -1 4202560 1820 0 0 0 758 3 0 0 16 0 19 0 902771930 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606683136 0 0 0 16800975 18446604450031328064 0 0 -1 0 0 0 0
[pid=19686/tid=19698] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19698/stat : 19698 (java) S 19684 19686 14010 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902771930 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19699] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19699/stat : 19699 (java) S 19684 19686 14010 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902771930 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 0 0 0 0
[pid=19686/tid=19700] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19700/stat : 19700 (java) S 19684 19686 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771933 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606690225 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
[pid=19686/tid=19701] ppid=19684 vsize=10545016 CPUtime=1.02 cores=0,2,4,6
/proc/19686/task/19701/stat : 19701 (java) S 19684 19686 14010 0 -1 4202560 9654 0 0 0 101 1 0 0 16 0 19 0 902771933 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 2 0 0 0
[pid=19686/tid=19702] ppid=19684 vsize=10545016 CPUtime=0.5 cores=0,2,4,6
/proc/19686/task/19702/stat : 19702 (java) S 19684 19686 14010 0 -1 4202560 4040 0 0 0 50 0 0 0 15 0 19 0 902771933 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 0 0 0 0
[pid=19686/tid=19703] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19703/stat : 19703 (java) S 19684 19686 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771933 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
[pid=19686/tid=19704] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19704/stat : 19704 (java) S 19684 19686 14010 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 902771933 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606683136 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
[pid=19686/tid=19705] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19705/stat : 19705 (java) S 19684 19686 14010 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902771963 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606683136 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 257.96
Current children cumulated vsize (KiB) 10545016

[startup+256.001 s]
/proc/loadavg: 2.00 2.00 1.94 3/214 19712
/proc/meminfo: memFree=3068648/32950928 swapFree=67052124/67111528
[pid=19686] ppid=19684 vsize=10545016 CPUtime=258.06 cores=0,2,4,6
/proc/19686/stat : 19686 (java) S 19684 19686 14010 0 -1 4202496 39023 0 1 0 25794 12 0 0 25 0 19 0 902771927 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19686/statm: 2636254 28100 2265 9 0 2626988 0
[pid=19686/tid=19688] ppid=19684 vsize=10545016 CPUtime=247.76 cores=0,2,4,6
/proc/19686/task/19688/stat : 19688 (java) R 19684 19686 14010 0 -1 4202560 20617 0 1 0 24772 4 0 0 25 0 19 0 902771927 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 46912505709160 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19686/tid=19689] ppid=19684 vsize=10545016 CPUtime=0.11 cores=0,2,4,6
/proc/19686/task/19689/stat : 19689 (java) S 19684 19686 14010 0 -1 4202560 384 0 0 0 11 0 0 0 15 0 19 0 902771929 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 2 0 0 0
[pid=19686/tid=19690] ppid=19684 vsize=10545016 CPUtime=0.13 cores=0,2,4,6
/proc/19686/task/19690/stat : 19690 (java) S 19684 19686 14010 0 -1 4202560 547 0 0 0 13 0 0 0 15 0 19 0 902771929 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 2 0 0 0
[pid=19686/tid=19691] ppid=19684 vsize=10545016 CPUtime=0.14 cores=0,2,4,6
/proc/19686/task/19691/stat : 19691 (java) S 19684 19686 14010 0 -1 4202560 283 0 0 0 14 0 0 0 15 0 19 0 902771929 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 2 0 0 0
[pid=19686/tid=19692] ppid=19684 vsize=10545016 CPUtime=0.13 cores=0,2,4,6
/proc/19686/task/19692/stat : 19692 (java) S 19684 19686 14010 0 -1 4202560 91 0 0 0 13 0 0 0 15 0 19 0 902771929 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
[pid=19686/tid=19693] ppid=19684 vsize=10545016 CPUtime=0.14 cores=0,2,4,6
/proc/19686/task/19693/stat : 19693 (java) S 19684 19686 14010 0 -1 4202560 10 0 0 0 14 0 0 0 15 0 19 0 902771929 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19694] ppid=19684 vsize=10545016 CPUtime=0.14 cores=0,2,4,6
/proc/19686/task/19694/stat : 19694 (java) S 19684 19686 14010 0 -1 4202560 20 0 0 0 14 0 0 0 15 0 19 0 902771929 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
[pid=19686/tid=19695] ppid=19684 vsize=10545016 CPUtime=0.14 cores=0,2,4,6
/proc/19686/task/19695/stat : 19695 (java) S 19684 19686 14010 0 -1 4202560 16 0 0 0 14 0 0 0 15 0 19 0 902771929 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19696] ppid=19684 vsize=10545016 CPUtime=0.15 cores=0,2,4,6
/proc/19686/task/19696/stat : 19696 (java) S 19684 19686 14010 0 -1 4202560 374 0 0 0 15 0 0 0 15 0 19 0 902771929 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19697] ppid=19684 vsize=10545016 CPUtime=7.61 cores=0,2,4,6
/proc/19686/task/19697/stat : 19697 (java) S 19684 19686 14010 0 -1 4202560 1820 0 0 0 758 3 0 0 16 0 19 0 902771930 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606683136 0 0 0 16800975 18446604450031328064 0 0 -1 0 0 0 0
[pid=19686/tid=19698] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19698/stat : 19698 (java) S 19684 19686 14010 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902771930 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 4 0 0 0
[pid=19686/tid=19699] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19699/stat : 19699 (java) S 19684 19686 14010 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902771930 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 0 0 0 0
[pid=19686/tid=19700] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19700/stat : 19700 (java) S 19684 19686 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771933 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606690225 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
[pid=19686/tid=19701] ppid=19684 vsize=10545016 CPUtime=1.02 cores=0,2,4,6
/proc/19686/task/19701/stat : 19701 (java) S 19684 19686 14010 0 -1 4202560 9654 0 0 0 101 1 0 0 16 0 19 0 902771933 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 2 0 0 0
[pid=19686/tid=19702] ppid=19684 vsize=10545016 CPUtime=0.5 cores=0,2,4,6
/proc/19686/task/19702/stat : 19702 (java) S 19684 19686 14010 0 -1 4202560 4040 0 0 0 50 0 0 0 15 0 19 0 902771933 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 0 0 0 0
[pid=19686/tid=19703] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19703/stat : 19703 (java) S 19684 19686 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902771933 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606682521 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
[pid=19686/tid=19704] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19704/stat : 19704 (java) S 19684 19686 14010 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 902771933 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606683136 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
[pid=19686/tid=19705] ppid=19684 vsize=10545016 CPUtime=0 cores=0,2,4,6
/proc/19686/task/19705/stat : 19705 (java) S 19684 19686 14010 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902771963 10798096384 28100 33554432000 1073741824 1073778376 140734933619264 18446744073709551615 235606683136 0 4 0 16800975 18446604450031328064 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 258.06
Current children cumulated vsize (KiB) 10545016

Child status: 30
Real time (s): 256.099
CPU time (s): 258.172
CPU user time (s): 258.043
CPU system time (s): 0.12898
CPU usage (%): 100.809
Max. virtual memory (cumulated for all children) (KiB): 10563848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 258.043
system time used= 0.12898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39050
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= 16800
involuntary context switches= 10957

runsolver used 0.481926 second user time and 0.926859 second system time

The end

Launcher Data 

Begin job on node120 at 2011-06-12 22:48:52
IDJOB=3492224
IDBENCH=79314
IDSOLVER=1982
FILE ID=node120/3492224-1307911732
RUNJOBID= node120-1307908961-19331
PBS_JOBID= 13559586
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/tsp/normalized-t3002.11tsp11.1900584219--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-3492224-1307911732/watcher-3492224-1307911732 -o /var/tmp/evaluation-result-3492224-1307911732/solver-3492224-1307911732 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492224-1307911732.wbo

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

MD5SUM BENCH= 81f3c07bf85fb8fa2211498324cd1b10
RANDOM SEED=255081590

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       3181460 kB
Buffers:         66488 kB
Cached:       28577776 kB
SwapCached:      11644 kB
Active:       13981836 kB
Inactive:     14883956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       3181460 kB
SwapTotal:    67111528 kB
SwapFree:     67052124 kB
Dirty:             560 kB
Writeback:           0 kB
AnonPages:      218704 kB
Mapped:          17452 kB
Slab:           839792 kB
PageTables:       4848 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 10556768 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 node120 at 2011-06-12 22:53:08