Trace number 3479225

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 Res//CP 2.3.0SAT (TO) 1800.25 961.22

General information on the benchmark

Name/OPT-SMALLINT-LIN/
heinz/normalized-protfold.opb
MD5SUM321cd6ec2ce21c5578ce4ae4e8122b0f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-26
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1835
Total number of constraints2112
Number of constraints which are clauses1906
Number of constraints which are cardinality constraints (but not clauses)86
Number of constraints which are nor clauses,nor cardinality constraints120
Minimum length of a constraint3
Maximum length of a constraint882
Number of terms in the objective function 120
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 120
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 900
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.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.10	c version 2.3.1.v20110525
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.18-164.el5
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		9996466904
0.07/0.10	c Max memory 		10048897024
0.07/0.10	c Total memory 		10048897024
0.07/0.10	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization
0.07/0.13	c ManyCore solver with 2 solvers running in parallel
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c Expensive reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-3479225-1307444775.opb
0.07/0.13	c reading problem ... 
0.51/0.36	c ... done. Wall clock time 0.232s.
0.51/0.36	c #vars     1835
0.51/0.36	c #constraints  2149
0.51/0.36	c constraints type 
0.51/0.36	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1941
0.51/0.36	c org.sat4j.minisat.constraints.card.MinWatchCard => 208
0.51/0.36	c constraints type 
0.51/0.36	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1941
0.51/0.36	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 208
1.08/0.59	c  And the winner is Resolution
1.74/0.87	c SATISFIABLE
1.74/0.87	c OPTIMIZING...
1.74/0.87	c Got one! Elapsed wall clock time (in seconds):0.739
1.74/0.87	o -12
1.85/0.95	c  And the winner is Resolution
2.32/1.37	c Got one! Elapsed wall clock time (in seconds):1.244
2.32/1.37	o -14
2.61/1.50	c  And the winner is Resolution
2.64/1.88	c Got one! Elapsed wall clock time (in seconds):1.749
2.64/1.88	o -15
2.67/1.95	c  And the winner is Resolution
2.81/2.38	c Got one! Elapsed wall clock time (in seconds):2.255
2.81/2.38	o -17
4.16/3.06	c cleaning 3109 clauses out of 6224 with flag 4000/6224
5.27/3.43	c  And the winner is Resolution
5.43/3.89	c Got one! Elapsed wall clock time (in seconds):3.763
5.43/3.89	o -18
5.96/4.10	c  And the winner is Resolution
6.01/4.40	c Got one! Elapsed wall clock time (in seconds):4.268
6.01/4.40	o -19
6.43/4.66	c cleaning 4610 clauses out of 9236 with flag 2002/12345
8.41/5.62	c cleaning 5307 clauses out of 10624 with flag 8000/18343
10.60/6.72	c  And the winner is Resolution
10.70/6.92	c Got one! Elapsed wall clock time (in seconds):6.794
10.70/6.92	o -20
10.84/7.05	c  And the winner is Resolution
10.97/7.43	c Got one! Elapsed wall clock time (in seconds):7.298
10.97/7.43	o -21
12.34/8.15	c cleaning 7968 clauses out of 15957 with flag 4000/28983
14.77/9.34	c cleaning 6966 clauses out of 13990 with flag 10001/34984
17.53/10.72	c cleaning 6969 clauses out of 14025 with flag 17002/41985
20.71/12.37	c cleaning 7478 clauses out of 15055 with flag 25001/49984
24.06/14.02	c cleaning 8281 clauses out of 16580 with flag 34004/58987
28.19/16.19	c cleaning 9126 clauses out of 18295 with flag 44000/68983
33.92/19.05	c cleaning 9533 clauses out of 19169 with flag 54000/78983
38.05/21.14	c cleaning 9782 clauses out of 19637 with flag 64001/88984
43.17/23.74	c  And the winner is Resolution
43.35/23.99	c Got one! Elapsed wall clock time (in seconds):23.864
43.35/23.99	o -22
45.36/25.01	c cleaning 11789 clauses out of 23685 with flag 5002/102814
48.09/26.46	c cleaning 8934 clauses out of 17894 with flag 11000/108812
51.16/28.06	c cleaning 7917 clauses out of 15961 with flag 18001/115813
54.68/29.88	c cleaning 7942 clauses out of 16043 with flag 26000/123812
59.00/32.01	c cleaning 8527 clauses out of 17101 with flag 35000/132812
64.27/34.73	c cleaning 9244 clauses out of 18575 with flag 45001/142813
70.18/37.77	c cleaning 9606 clauses out of 19333 with flag 55003/152815
76.29/40.87	c cleaning 9853 clauses out of 19724 with flag 65000/162812
81.19/43.32	c cleaning 9876 clauses out of 19871 with flag 75000/172812
85.24/45.44	c cleaning 9958 clauses out of 19995 with flag 85000/182812
89.33/47.56	c cleaning 9925 clauses out of 20037 with flag 95000/192812
94.22/50.06	c cleaning 9996 clauses out of 20114 with flag 105002/202814
99.11/52.58	c cleaning 9948 clauses out of 20116 with flag 115000/212812
103.98/55.08	c cleaning 10007 clauses out of 20171 with flag 125003/222815
109.21/57.72	c cleaning 9929 clauses out of 20161 with flag 135000/232812
111.50/58.97	c  And the winner is Resolution
111.70/59.36	c Got one! Elapsed wall clock time (in seconds):59.226
111.70/59.36	o -23
113.58/60.42	c cleaning 10311 clauses out of 20728 with flag 5000/243308
117.66/62.46	c cleaning 8115 clauses out of 16417 with flag 11000/249308
122.08/64.72	c cleaning 7520 clauses out of 15302 with flag 18000/256308
126.95/67.22	c cleaning 7793 clauses out of 15782 with flag 26000/264308
130.43/69.02	c cleaning 8483 clauses out of 16989 with flag 35000/273308
135.34/71.53	c cleaning 9103 clauses out of 18507 with flag 45001/283309
139.90/73.93	c cleaning 9702 clauses out of 19404 with flag 55001/293309
147.77/77.94	c cleaning 9731 clauses out of 19701 with flag 65000/303308
153.43/80.85	c cleaning 9881 clauses out of 19970 with flag 75000/313308
162.29/85.33	c cleaning 9923 clauses out of 20089 with flag 85000/323308
168.48/88.55	c cleaning 9977 clauses out of 20166 with flag 95000/333308
175.33/92.06	c cleaning 10089 clauses out of 20190 with flag 105001/343309
180.21/94.55	c cleaning 9925 clauses out of 20105 with flag 115005/353313
186.02/97.54	c cleaning 10045 clauses out of 20175 with flag 125000/363308
193.59/101.43	c cleaning 9991 clauses out of 20132 with flag 135002/373310
199.23/104.36	c cleaning 9950 clauses out of 20141 with flag 145002/383310
205.04/107.35	c cleaning 9954 clauses out of 20189 with flag 155000/393308
209.07/109.40	c cleaning 10057 clauses out of 20235 with flag 165000/403308
213.62/111.84	c cleaning 10011 clauses out of 20179 with flag 175001/413309
219.65/114.92	c cleaning 9986 clauses out of 20169 with flag 185002/423310
224.68/117.59	c cleaning 9988 clauses out of 20183 with flag 195002/433310
230.90/120.71	c cleaning 10004 clauses out of 20194 with flag 205001/443309
237.04/123.98	c cleaning 10003 clauses out of 20190 with flag 215001/453309
243.07/127.10	c cleaning 9910 clauses out of 20188 with flag 225002/463310
249.89/130.51	c cleaning 10043 clauses out of 20279 with flag 235003/473311
254.95/133.17	c cleaning 10003 clauses out of 20233 with flag 245000/483308
260.04/135.83	c cleaning 9996 clauses out of 20230 with flag 255000/493308
264.65/138.22	c cleaning 10013 clauses out of 20234 with flag 265000/503308
269.70/140.88	c cleaning 10053 clauses out of 20223 with flag 275002/513310
275.07/143.63	c cleaning 9961 clauses out of 20168 with flag 285000/523308
279.78/146.15	c cleaning 9991 clauses out of 20207 with flag 295000/533308
287.19/149.94	c cleaning 9960 clauses out of 20216 with flag 305000/543308
289.80/151.37	c  And the winner is Resolution
290.29/151.77	c Got one! Elapsed wall clock time (in seconds):151.636
290.29/151.77	o -24
291.36/152.34	c cleaning 8040 clauses out of 16223 with flag 2001/549275
295.16/154.33	c cleaning 7036 clauses out of 14183 with flag 8001/555275
299.08/156.48	c cleaning 6965 clauses out of 14147 with flag 15001/562275
303.09/158.54	c cleaning 7541 clauses out of 15181 with flag 23000/570274
308.69/161.44	c cleaning 8276 clauses out of 16640 with flag 32000/579274
314.49/164.45	c cleaning 9149 clauses out of 18364 with flag 42000/589274
322.19/168.45	c cleaning 9555 clauses out of 19216 with flag 52001/599275
328.78/171.82	c cleaning 9762 clauses out of 19661 with flag 62001/609275
333.38/174.27	c cleaning 9899 clauses out of 19898 with flag 72000/619274
338.56/176.97	c cleaning 9943 clauses out of 20000 with flag 82001/629275
344.64/180.18	c cleaning 10019 clauses out of 20057 with flag 92001/639275
352.02/183.92	c cleaning 9946 clauses out of 20037 with flag 102000/649274
357.40/186.72	c cleaning 9936 clauses out of 20092 with flag 112001/659275
362.38/189.37	c cleaning 10047 clauses out of 20156 with flag 122001/669275
368.49/192.53	c cleaning 9977 clauses out of 20109 with flag 132001/679275
375.02/195.94	c cleaning 10002 clauses out of 20132 with flag 142001/689275
381.24/199.14	c cleaning 9974 clauses out of 20132 with flag 152003/699277
386.16/201.79	c cleaning 9962 clauses out of 20158 with flag 162003/709277
392.22/204.99	c cleaning 9882 clauses out of 20194 with flag 172001/719275
399.19/208.51	c cleaning 9954 clauses out of 20311 with flag 182000/729274
405.55/211.89	c cleaning 10051 clauses out of 20357 with flag 192000/739274
410.56/214.49	c cleaning 10055 clauses out of 20307 with flag 202001/749275
416.59/217.60	c cleaning 10009 clauses out of 20251 with flag 212000/759274
422.15/220.58	c cleaning 9913 clauses out of 20244 with flag 222002/769276
428.50/223.82	c cleaning 10048 clauses out of 20330 with flag 232001/779275
435.46/227.43	c cleaning 9940 clauses out of 20281 with flag 242000/789274
442.89/231.37	c cleaning 9965 clauses out of 20341 with flag 252000/799274
450.88/235.49	c cleaning 9942 clauses out of 20376 with flag 262000/809274
455.39/237.81	c cleaning 10041 clauses out of 20434 with flag 272000/819274
460.33/240.45	c cleaning 10083 clauses out of 20395 with flag 282002/829276
467.16/244.02	c cleaning 10027 clauses out of 20310 with flag 292000/839274
472.30/246.74	c cleaning 9992 clauses out of 20283 with flag 302000/849274
477.64/249.50	c cleaning 10057 clauses out of 20291 with flag 312000/859274
482.77/252.29	c cleaning 9936 clauses out of 20236 with flag 322002/869276
488.98/255.55	c cleaning 9966 clauses out of 20298 with flag 332000/879274
494.75/258.55	c cleaning 9962 clauses out of 20332 with flag 342000/889274
500.22/261.45	c cleaning 10011 clauses out of 20370 with flag 352000/899274
506.35/264.70	c cleaning 10147 clauses out of 20359 with flag 362000/909274
510.56/266.90	c cleaning 9984 clauses out of 20212 with flag 372000/919274
515.08/269.35	c cleaning 9998 clauses out of 20229 with flag 382001/929275
519.80/271.87	c cleaning 9991 clauses out of 20230 with flag 392000/939274
525.74/274.93	c cleaning 10063 clauses out of 20240 with flag 402001/949275
531.09/277.88	c cleaning 10033 clauses out of 20176 with flag 412000/959274
536.79/280.80	c cleaning 9977 clauses out of 20143 with flag 422000/969274
542.70/283.99	c cleaning 10028 clauses out of 20166 with flag 432000/979274
549.60/287.54	c cleaning 10008 clauses out of 20139 with flag 442001/989275
555.01/290.49	c cleaning 9970 clauses out of 20130 with flag 452000/999274
562.47/294.33	c cleaning 9967 clauses out of 20160 with flag 462000/1009274
569.17/297.83	c cleaning 9951 clauses out of 20193 with flag 472000/1019274
574.88/300.83	c cleaning 9975 clauses out of 20242 with flag 482000/1029274
582.84/305.01	c cleaning 9982 clauses out of 20267 with flag 492000/1039274
589.54/308.57	c cleaning 10067 clauses out of 20289 with flag 502004/1049278
596.87/312.38	c cleaning 10029 clauses out of 20218 with flag 512000/1059274
603.16/315.70	c cleaning 9971 clauses out of 20189 with flag 522000/1069274
609.88/319.21	c cleaning 10019 clauses out of 20218 with flag 532000/1079274
616.58/322.77	c cleaning 10007 clauses out of 20199 with flag 542000/1089274
624.10/326.65	c cleaning 10007 clauses out of 20192 with flag 552000/1099274
629.75/329.66	c cleaning 10033 clauses out of 20188 with flag 562003/1109277
635.71/332.86	c cleaning 9971 clauses out of 20154 with flag 572002/1119276
643.38/336.84	c cleaning 10035 clauses out of 20184 with flag 582003/1129277
648.86/339.72	c cleaning 9904 clauses out of 20149 with flag 592003/1139277
652.74/341.87	c cleaning 0 clauses out of 6608 with flag 0/6616
658.17/344.63	c cleaning 9983 clauses out of 20242 with flag 602000/1149274
665.18/348.23	c cleaning 10010 clauses out of 20259 with flag 612000/1159274
673.04/352.31	c cleaning 9959 clauses out of 20253 with flag 622004/1169278
678.30/355.15	c cleaning 9996 clauses out of 20290 with flag 632000/1179274
684.03/358.22	c cleaning 10004 clauses out of 20294 with flag 642000/1189274
690.30/361.59	c cleaning 9989 clauses out of 20290 with flag 652000/1199274
694.77/363.96	c cleaning 10127 clauses out of 20304 with flag 662003/1209277
700.64/367.02	c cleaning 9919 clauses out of 20175 with flag 672001/1219275
708.96/371.47	c cleaning 9929 clauses out of 20255 with flag 682000/1229274
716.83/375.56	c cleaning 9975 clauses out of 20327 with flag 692001/1239275
724.53/379.58	c cleaning 10031 clauses out of 20351 with flag 702000/1249274
733.34/384.20	c cleaning 9916 clauses out of 20321 with flag 712001/1259275
742.02/388.75	c cleaning 9956 clauses out of 20404 with flag 722000/1269274
749.86/392.85	c cleaning 10011 clauses out of 20449 with flag 732001/1279275
757.29/396.70	c cleaning 10003 clauses out of 20439 with flag 742002/1289276
765.33/400.95	c cleaning 9995 clauses out of 20435 with flag 752001/1299275
773.80/405.45	c cleaning 9973 clauses out of 20439 with flag 762000/1309274
781.24/409.30	c cleaning 9966 clauses out of 20466 with flag 772000/1319274
790.07/413.98	c cleaning 10001 clauses out of 20501 with flag 782001/1329275
797.72/418.00	c cleaning 9976 clauses out of 20500 with flag 792001/1339275
805.15/421.98	c cleaning 10021 clauses out of 20525 with flag 802002/1349276
810.21/424.63	c cleaning 10218 clauses out of 20504 with flag 812002/1359276
815.99/427.70	c cleaning 10102 clauses out of 20284 with flag 822000/1369274
821.62/430.73	c cleaning 10036 clauses out of 20186 with flag 832004/1379278
827.27/433.88	c cleaning 9917 clauses out of 20147 with flag 842001/1389275
832.74/436.76	c cleaning 10005 clauses out of 20229 with flag 852000/1399274
837.92/439.51	c cleaning 10061 clauses out of 20224 with flag 862000/1409274
844.53/443.00	c cleaning 9961 clauses out of 20163 with flag 872000/1419274
851.77/446.99	c cleaning 9961 clauses out of 20203 with flag 882001/1429275
858.37/450.48	c cleaning 10105 clauses out of 20242 with flag 892001/1439275
864.57/453.79	c cleaning 9898 clauses out of 20136 with flag 902000/1449274
871.37/457.35	c cleaning 10041 clauses out of 20240 with flag 912002/1459276
877.18/460.56	c cleaning 9930 clauses out of 20197 with flag 922000/1469274
883.19/463.75	c cleaning 9960 clauses out of 20267 with flag 932000/1479274
888.01/466.34	c cleaning 10085 clauses out of 20308 with flag 942001/1489275
893.96/469.58	c cleaning 9954 clauses out of 20224 with flag 952002/1499276
900.80/473.21	c cleaning 9938 clauses out of 20269 with flag 962001/1509275
908.00/477.03	c cleaning 9973 clauses out of 20332 with flag 972002/1519276
913.99/480.23	c cleaning 10011 clauses out of 20359 with flag 982002/1529276
919.01/482.98	c cleaning 10047 clauses out of 20347 with flag 992001/1539275
924.80/486.17	c cleaning 10096 clauses out of 20299 with flag 1002000/1549274
930.14/489.10	c cleaning 10028 clauses out of 20205 with flag 1012002/1559276
935.95/492.10	c cleaning 10019 clauses out of 20176 with flag 1022001/1569275
942.33/495.59	c cleaning 9937 clauses out of 20157 with flag 1032001/1579275
948.33/498.86	c cleaning 9965 clauses out of 20219 with flag 1042000/1589274
954.31/502.09	c cleaning 9989 clauses out of 20256 with flag 1052002/1599276
959.75/504.95	c cleaning 9947 clauses out of 20265 with flag 1062000/1609274
965.27/507.91	c cleaning 10029 clauses out of 20318 with flag 1072000/1619274
972.04/511.60	c cleaning 10022 clauses out of 20289 with flag 1082000/1629274
978.61/515.20	c cleaning 9967 clauses out of 20267 with flag 1092000/1639274
984.79/518.49	c cleaning 10071 clauses out of 20300 with flag 1102000/1649274
994.59/523.59	c cleaning 10011 clauses out of 20232 with flag 1112003/1659277
1001.53/527.40	c cleaning 9942 clauses out of 20219 with flag 1122001/1669275
1007.90/530.76	c cleaning 9981 clauses out of 20276 with flag 1132000/1679274
1015.31/534.62	c cleaning 9959 clauses out of 20296 with flag 1142001/1689275
1021.63/538.00	c cleaning 10004 clauses out of 20336 with flag 1152000/1699274
1028.59/541.89	c cleaning 9953 clauses out of 20334 with flag 1162002/1709276
1035.95/545.74	c cleaning 9966 clauses out of 20380 with flag 1172001/1719275
1043.30/549.64	c cleaning 9972 clauses out of 20413 with flag 1182000/1729274
1051.89/554.12	c cleaning 9974 clauses out of 20441 with flag 1192000/1739274
1058.27/557.64	c cleaning 9998 clauses out of 20467 with flag 1202000/1749274
1064.43/561.00	c cleaning 10025 clauses out of 20470 with flag 1212001/1759275
1070.36/564.19	c cleaning 9964 clauses out of 20446 with flag 1222002/1769276
1076.97/567.69	c cleaning 9974 clauses out of 20480 with flag 1232000/1779274
1084.13/571.50	c cleaning 10069 clauses out of 20508 with flag 1242002/1789276
1089.87/574.62	c cleaning 10166 clauses out of 20438 with flag 1252001/1799275
1095.81/577.84	c cleaning 10015 clauses out of 20271 with flag 1262000/1809274
1101.54/580.95	c cleaning 9997 clauses out of 20256 with flag 1272000/1819274
1108.86/584.91	c cleaning 10008 clauses out of 20260 with flag 1282001/1829275
1115.43/588.50	c cleaning 10010 clauses out of 20252 with flag 1292001/1839275
1122.13/592.03	c cleaning 9935 clauses out of 20243 with flag 1302002/1849276
1129.87/596.13	c cleaning 9959 clauses out of 20306 with flag 1312000/1859274
1137.56/600.36	c cleaning 9979 clauses out of 20348 with flag 1322001/1869275
1143.90/603.74	c cleaning 9963 clauses out of 20368 with flag 1332000/1879274
1151.03/607.52	c cleaning 10006 clauses out of 20405 with flag 1342000/1889274
1156.96/610.70	c cleaning 9991 clauses out of 20399 with flag 1352000/1899274
1164.88/615.01	c cleaning 9995 clauses out of 20408 with flag 1362000/1909274
1171.40/618.50	c cleaning 9992 clauses out of 20413 with flag 1372000/1919274
1178.32/622.29	c cleaning 10013 clauses out of 20422 with flag 1382001/1929275
1185.46/626.02	c cleaning 9994 clauses out of 20408 with flag 1392000/1939274
1192.56/629.94	c cleaning 9993 clauses out of 20414 with flag 1402000/1949274
1198.87/633.31	c cleaning 9999 clauses out of 20421 with flag 1412000/1959274
1205.19/636.75	c cleaning 9981 clauses out of 20422 with flag 1422000/1969274
1211.91/640.31	c cleaning 10012 clauses out of 20442 with flag 1432001/1979275
1218.05/643.76	c cleaning 10021 clauses out of 20429 with flag 1442000/1989274
1224.36/647.13	c cleaning 9989 clauses out of 20408 with flag 1452000/1999274
1229.92/650.19	c cleaning 9981 clauses out of 20420 with flag 1462001/2009275
1234.58/652.77	c cleaning 10177 clauses out of 20443 with flag 1472005/2019279
1239.28/655.52	c cleaning 10016 clauses out of 20262 with flag 1482001/2029275
1243.99/658.01	c cleaning 9974 clauses out of 20245 with flag 1492000/2039274
1246.30/659.43	c  And the winner is Resolution
1247.43/660.57	c Got one! Elapsed wall clock time (in seconds):660.445
1247.43/660.57	o -25
1247.75/660.77	c cleaning 8005 clauses out of 16175 with flag 1003/2045178
1251.10/662.66	c cleaning 6989 clauses out of 14167 with flag 7000/2051175
1255.01/664.98	c cleaning 7043 clauses out of 14179 with flag 14001/2058176
1259.15/667.28	c cleaning 7471 clauses out of 15135 with flag 22000/2066175
1266.12/670.94	c cleaning 8271 clauses out of 16665 with flag 31001/2075176
1272.02/674.14	c cleaning 9129 clauses out of 18394 with flag 41001/2085176
1278.18/677.57	c cleaning 9561 clauses out of 19265 with flag 51001/2095176
1285.48/681.45	c cleaning 9768 clauses out of 19704 with flag 61001/2105176
1291.40/684.70	c cleaning 9896 clauses out of 19938 with flag 71003/2115178
1292.93/685.68	c  And the winner is Resolution
1293.62/686.21	c Got one! Elapsed wall clock time (in seconds):686.079
1293.62/686.21	o -26
1294.60/686.77	c cleaning 7422 clauses out of 15051 with flag 3000/2120187
1298.53/689.01	c cleaning 6448 clauses out of 13629 with flag 9000/2126187
1304.06/692.04	c cleaning 6932 clauses out of 14181 with flag 16000/2133187
1310.60/695.57	c cleaning 7518 clauses out of 15253 with flag 24004/2141191
1317.53/699.24	c cleaning 8298 clauses out of 16735 with flag 33004/2150191
1324.44/703.04	c cleaning 9184 clauses out of 18434 with flag 43001/2160188
1329.16/705.62	c cleaning 9463 clauses out of 19249 with flag 53000/2170187
1334.47/708.59	c cleaning 9774 clauses out of 19786 with flag 63000/2180187
1341.20/712.19	c cleaning 9913 clauses out of 20012 with flag 73000/2190187
1346.72/715.25	c cleaning 9937 clauses out of 20102 with flag 83003/2200190
1353.42/718.85	c cleaning 9945 clauses out of 20163 with flag 93001/2210188
1361.16/722.94	c cleaning 9972 clauses out of 20217 with flag 103000/2220187
1366.71/725.96	c cleaning 10078 clauses out of 20245 with flag 113000/2230187
1373.55/729.77	c cleaning 10044 clauses out of 20168 with flag 123001/2240188
1379.45/732.94	c cleaning 9963 clauses out of 20123 with flag 133000/2250187
1386.74/736.90	c cleaning 9851 clauses out of 20160 with flag 143000/2260187
1394.62/741.02	c cleaning 9957 clauses out of 20309 with flag 153000/2270187
1402.12/745.16	c cleaning 9978 clauses out of 20353 with flag 163001/2280188
1407.62/748.17	c cleaning 10070 clauses out of 20376 with flag 173002/2290189
1414.12/751.67	c cleaning 10002 clauses out of 20306 with flag 183002/2300189
1421.64/755.65	c cleaning 10008 clauses out of 20302 with flag 193000/2310187
1428.09/759.27	c cleaning 10064 clauses out of 20297 with flag 203003/2320190
1434.98/762.97	c cleaning 9990 clauses out of 20232 with flag 213002/2330189
1441.07/766.22	c cleaning 10047 clauses out of 20240 with flag 223000/2340187
1446.95/769.46	c cleaning 9948 clauses out of 20195 with flag 233002/2350189
1454.41/773.55	c cleaning 9978 clauses out of 20247 with flag 243002/2360189
1462.50/777.87	c cleaning 9999 clauses out of 20267 with flag 253000/2370187
1469.98/781.88	c cleaning 10029 clauses out of 20268 with flag 263000/2380187
1476.30/785.28	c cleaning 10054 clauses out of 20240 with flag 273001/2390188
1482.62/788.73	c cleaning 9924 clauses out of 20186 with flag 283001/2400188
1489.47/792.46	c cleaning 9928 clauses out of 20261 with flag 293000/2410187
1498.54/797.27	c cleaning 10078 clauses out of 20333 with flag 303000/2420187
1505.26/800.88	c cleaning 9963 clauses out of 20256 with flag 313001/2430188
1512.89/805.04	c cleaning 10024 clauses out of 20292 with flag 323000/2440187
1521.98/809.83	c cleaning 9904 clauses out of 20268 with flag 333000/2450187
1529.69/813.97	c cleaning 10030 clauses out of 20364 with flag 343000/2460187
1536.13/817.42	c cleaning 10001 clauses out of 20335 with flag 353001/2470188
1541.38/820.42	c cleaning 9993 clauses out of 20336 with flag 363003/2480190
1546.64/823.39	c cleaning 10003 clauses out of 20340 with flag 373000/2490187
1551.90/826.22	c cleaning 10007 clauses out of 20339 with flag 383002/2500189
1556.56/828.87	c cleaning 10086 clauses out of 20331 with flag 393001/2510188
1563.19/832.52	c cleaning 10085 clauses out of 20244 with flag 403000/2520187
1568.84/835.63	c cleaning 9924 clauses out of 20160 with flag 413001/2530188
1575.94/839.44	c cleaning 9980 clauses out of 20237 with flag 423002/2540189
1581.64/842.57	c cleaning 10002 clauses out of 20255 with flag 433000/2550187
1588.25/846.21	c cleaning 10007 clauses out of 20253 with flag 443000/2560187
1594.71/849.79	c cleaning 9969 clauses out of 20246 with flag 453000/2570187
1600.77/853.03	c cleaning 10056 clauses out of 20281 with flag 463004/2580191
1606.43/856.11	c cleaning 9986 clauses out of 20221 with flag 473000/2590187
1612.27/859.40	c cleaning 9991 clauses out of 20235 with flag 483000/2600187
1617.92/862.54	c cleaning 9937 clauses out of 20247 with flag 493003/2610190
1624.38/866.01	c cleaning 10027 clauses out of 20310 with flag 503003/2620190
1629.67/868.96	c cleaning 9983 clauses out of 20281 with flag 513001/2630188
1635.51/872.29	c cleaning 9964 clauses out of 20297 with flag 523000/2640187
1640.93/875.20	c cleaning 9990 clauses out of 20334 with flag 533001/2650188
1646.40/878.29	c cleaning 9977 clauses out of 20343 with flag 543000/2660187
1652.85/881.71	c cleaning 9978 clauses out of 20366 with flag 553000/2670187
1658.29/884.87	c cleaning 10018 clauses out of 20389 with flag 563001/2680188
1664.34/888.12	c cleaning 10014 clauses out of 20370 with flag 573000/2690187
1669.79/891.18	c cleaning 10086 clauses out of 20357 with flag 583001/2700188
1678.44/895.71	c cleaning 10057 clauses out of 20270 with flag 593000/2710187
1689.06/901.42	c cleaning 9988 clauses out of 20213 with flag 603000/2720187
1697.55/905.95	c cleaning 10008 clauses out of 20227 with flag 613002/2730189
1705.59/910.25	c cleaning 9996 clauses out of 20218 with flag 623001/2740188
1713.64/914.54	c cleaning 9981 clauses out of 20222 with flag 633001/2750188
1721.44/918.84	c cleaning 10005 clauses out of 20241 with flag 643001/2760188
1728.93/922.88	c cleaning 10034 clauses out of 20235 with flag 653000/2770187
1738.54/927.91	c cleaning 9989 clauses out of 20202 with flag 663001/2780188
1745.99/931.99	c cleaning 9980 clauses out of 20212 with flag 673000/2790187
1754.64/936.66	c cleaning 10042 clauses out of 20235 with flag 683003/2800190
1763.69/941.45	c cleaning 9956 clauses out of 20190 with flag 693000/2810187
1772.17/945.94	c cleaning 10008 clauses out of 20238 with flag 703004/2820191
1778.98/949.67	c cleaning 10015 clauses out of 20226 with flag 713000/2830187
1787.37/954.29	c cleaning 10010 clauses out of 20211 with flag 723000/2840187
1795.81/958.74	c cleaning 9952 clauses out of 20201 with flag 733000/2850187
1800.08/961.13	c starts		: 244
1800.08/961.13	c conflicts		: 2855134
1800.08/961.13	c decisions		: 7249454
1800.08/961.13	c propagations		: 218795940
1800.08/961.13	c inspects		: 1976661745
1800.08/961.13	c shortcuts		: 0
1800.08/961.13	c learnt literals	: 0
1800.08/961.13	c learnt binary clauses	: 4333
1800.08/961.13	c learnt ternary clauses	: 6758
1800.08/961.13	c learnt constraints	: 2855134
1800.08/961.13	c ignored constraints	: 0
1800.08/961.13	c root simplifications	: 0
1800.08/961.13	c removed literals (reason simplification)	: 91824317
1800.08/961.13	c reason swapping (by a shorter reason)	: 0
1800.08/961.13	c Calls to reduceDB	: 293
1800.08/961.13	c number of reductions to clauses (during analyze)	: 0
1800.08/961.13	c number of learned constraints concerned by reduction	: 0
1800.08/961.13	c number of learning phase by resolution	: 0
1800.08/961.13	c number of learning phase by cutting planes	: 0
1800.08/961.13	c speed (assignments/second)	: 795858.997955754
1800.08/961.13	c non guided choices	6175
1800.08/961.14	c learnt constraints type 
1800.08/961.14	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 4333
1800.08/961.14	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 10874
1800.08/961.14	c constraints type 
1800.08/961.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1941
1800.08/961.14	c org.sat4j.minisat.constraints.card.MinWatchCard => 209
1800.08/961.14	c constraints type 
1800.08/961.14	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1941
1800.08/961.14	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 209
1800.08/961.14	s SATISFIABLE
1800.08/961.14	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 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 
1800.08/961.15	c objective function=-26
1800.08/961.15	c Total wall clock time (in seconds): 961.016

Verifier Data 

OK	-26

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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 /tmp/evaluation-result-3479225-1307444775/watcher-3479225-1307444775 -o /tmp/evaluation-result-3479225-1307444775/solver-3479225-1307444775 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3479225-1307444775.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 1/567 23409
/proc/meminfo: memFree=31618308/32950928 swapFree=43925852/67111528
[pid=23409] ppid=23407 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/23409/stat : 23409 (java) S 23407 23409 23381 0 -1 4202496 1316 0 0 0 0 0 0 0 23 0 2 0 856076337 36646912 1018 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/23409/statm: 8947 1018 782 9 0 386 0
[pid=23409/tid=23410] ppid=23407 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23410/stat : 23410 (java) R 23407 23409 23381 0 -1 4202560 207 0 0 0 0 0 0 0 24 0 2 0 856076338 36646912 1023 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268272685061 0 0 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.0858509 s]
/proc/loadavg: 0.00 0.00 0.00 1/567 23409
/proc/meminfo: memFree=31618308/32950928 swapFree=43925852/67111528
[pid=23409] ppid=23407 vsize=10538488 CPUtime=0.05 cores=1,3,5,7
/proc/23409/stat : 23409 (java) S 23407 23409 23381 0 -1 4202496 11738 0 1 0 4 1 0 0 23 0 18 0 856076337 10791411712 11435 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23409/statm: 2634622 11435 1740 9 0 2625356 0
[pid=23409/tid=23410] ppid=23407 vsize=10538488 CPUtime=0.05 cores=1,3,5,7
/proc/23409/task/23410/stat : 23410 (java) R 23407 23409 23381 0 -1 4202560 10563 0 1 0 4 1 0 0 25 0 18 0 856076338 10791411712 11436 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 47629827038035 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10538488

[startup+0.100846 s]
/proc/loadavg: 0.00 0.00 0.00 1/567 23409
/proc/meminfo: memFree=31618308/32950928 swapFree=43925852/67111528
[pid=23409] ppid=23407 vsize=10538624 CPUtime=0.07 cores=1,3,5,7
/proc/23409/stat : 23409 (java) S 23407 23409 23381 0 -1 4202496 12000 0 1 0 6 1 0 0 23 0 18 0 856076337 10791550976 11697 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23409/statm: 2634656 11697 1755 9 0 2625390 0
[pid=23409/tid=23410] ppid=23407 vsize=10538624 CPUtime=0.06 cores=1,3,5,7
/proc/23409/task/23410/stat : 23410 (java) R 23407 23409 23381 0 -1 4202560 10825 0 1 0 5 1 0 0 25 0 18 0 856076338 10791550976 11698 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 47629827038035 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10538624

[startup+0.300814 s]
/proc/loadavg: 0.00 0.00 0.00 1/567 23409
/proc/meminfo: memFree=31618308/32950928 swapFree=43925852/67111528
[pid=23409] ppid=23407 vsize=10542040 CPUtime=0.51 cores=1,3,5,7
/proc/23409/stat : 23409 (java) S 23407 23409 23381 0 -1 4202496 17069 0 1 0 49 2 0 0 23 0 18 0 856076337 10795048960 16302 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23409/statm: 2635510 16303 2200 9 0 2626244 0
[pid=23409/tid=23410] ppid=23407 vsize=10542040 CPUtime=0.26 cores=1,3,5,7
/proc/23409/task/23410/stat : 23410 (java) R 23407 23409 23381 0 -1 4202560 13512 0 1 0 25 1 0 0 25 0 18 0 856076338 10795048960 16303 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 47629827038035 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10542040

[startup+0.700746 s]
/proc/loadavg: 0.00 0.00 0.00 1/567 23409
/proc/meminfo: memFree=31618308/32950928 swapFree=43925852/67111528
[pid=23409] ppid=23407 vsize=10555308 CPUtime=1.64 cores=1,3,5,7
/proc/23409/stat : 23409 (java) S 23407 23409 23381 0 -1 4202496 30172 0 1 0 160 4 0 0 23 0 19 0 856076337 10808635392 23478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23409/statm: 2638827 23478 2234 9 0 2629561 0
[pid=23409/tid=23410] ppid=23407 vsize=10555308 CPUtime=0.32 cores=1,3,5,7
/proc/23409/task/23410/stat : 23410 (java) S 23407 23409 23381 0 -1 4202560 16558 0 1 0 31 1 0 0 25 0 19 0 856076338 10808635392 23478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 10555308

[startup+1.5006 s]
/proc/loadavg: 0.00 0.00 0.00 3/610 23468
/proc/meminfo: memFree=31474248/32950928 swapFree=43925852/67111528
[pid=23409] ppid=23407 vsize=10556468 CPUtime=2.61 cores=1,3,5,7
/proc/23409/stat : 23409 (java) S 23407 23409 23381 0 -1 4202496 39799 0 1 0 256 5 0 0 23 0 22 0 856076337 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23409/statm: 2639117 30505 2237 9 0 2629851 0
[pid=23409/tid=23410] ppid=23407 vsize=10556468 CPUtime=0.33 cores=1,3,5,7
/proc/23409/task/23410/stat : 23410 (java) S 23407 23409 23381 0 -1 4202560 16581 0 1 0 32 1 0 0 17 0 22 0 856076338 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23412] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23412/stat : 23412 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856076341 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23413] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23413/stat : 23413 (java) S 23407 23409 23381 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 856076341 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23414] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23414/stat : 23414 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856076341 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23415] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23415/stat : 23415 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856076341 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23416] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23416/stat : 23416 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856076341 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23417] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23417/stat : 23417 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856076341 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23418] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23418/stat : 23418 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856076341 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23419] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23419/stat : 23419 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856076341 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23420] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23420/stat : 23420 (java) S 23407 23409 23381 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 856076342 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 0 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23421] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23421/stat : 23421 (java) S 23407 23409 23381 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 856076342 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23422] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23422/stat : 23422 (java) S 23407 23409 23381 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 856076342 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23423] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23423/stat : 23423 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856076345 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284512689 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23424] ppid=23407 vsize=10556468 CPUtime=0.76 cores=1,3,5,7
/proc/23409/task/23424/stat : 23424 (java) R 23407 23409 23381 0 -1 4202560 6519 0 0 0 76 0 0 0 22 0 22 0 856076345 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284507905 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23409/tid=23425] ppid=23407 vsize=10556468 CPUtime=0.61 cores=1,3,5,7
/proc/23409/task/23425/stat : 23425 (java) R 23407 23409 23381 0 -1 4202560 7966 0 0 0 60 1 0 0 22 0 22 0 856076345 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23409/tid=23426] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23426/stat : 23426 (java) S 23407 23409 23381 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 856076345 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23427] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23427/stat : 23427 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 856076345 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23462] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23462/stat : 23462 (java) S 23407 23409 23381 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 856076375 10809823232 30505 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 10556468

[startup+3.10132 s]
/proc/loadavg: 0.00 0.00 0.00 1/609 23479
/proc/meminfo: memFree=31418936/32950928 swapFree=43925852/67111528
[pid=23409] ppid=23407 vsize=10556468 CPUtime=4.37 cores=1,3,5,7
/proc/23409/stat : 23409 (java) S 23407 23409 23381 0 -1 4202496 118922 0 1 0 423 14 0 0 23 0 22 0 856076337 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23409/statm: 2639117 109478 2263 9 0 2629851 0
[pid=23409/tid=23410] ppid=23407 vsize=10556468 CPUtime=0.33 cores=1,3,5,7
/proc/23409/task/23410/stat : 23410 (java) S 23407 23409 23381 0 -1 4202560 16604 0 1 0 32 1 0 0 15 0 22 0 856076338 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23412] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23412/stat : 23412 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 856076341 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23413] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23413/stat : 23413 (java) S 23407 23409 23381 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 856076341 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23414] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23414/stat : 23414 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 856076341 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23415] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23415/stat : 23415 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 856076341 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23416] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23416/stat : 23416 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 856076341 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23417] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23417/stat : 23417 (java) S 23407 23409 23381 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 856076341 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23418] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23418/stat : 23418 (java) S 23407 23409 23381 0 -1 4202560 725 0 0 0 0 0 0 0 18 0 22 0 856076341 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23419] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23419/stat : 23419 (java) S 23407 23409 23381 0 -1 4202560 613 0 0 0 0 0 0 0 18 0 22 0 856076341 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23420] ppid=23407 vsize=10556468 CPUtime=0.02 cores=1,3,5,7
/proc/23409/task/23420/stat : 23420 (java) S 23407 23409 23381 0 -1 4202560 1334 0 0 0 2 0 0 0 17 0 22 0 856076342 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 0 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23421] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23421/stat : 23421 (java) S 23407 23409 23381 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 856076342 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23422] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23422/stat : 23422 (java) S 23407 23409 23381 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 856076342 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23423] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23423/stat : 23423 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856076345 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284512689 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23424] ppid=23407 vsize=10556468 CPUtime=0.92 cores=1,3,5,7
/proc/23409/task/23424/stat : 23424 (java) R 23407 23409 23381 0 -1 4202560 6541 0 0 0 92 0 0 0 15 0 22 0 856076345 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 47629825953819 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23409/tid=23425] ppid=23407 vsize=10556468 CPUtime=0.69 cores=1,3,5,7
/proc/23409/task/23425/stat : 23425 (java) S 23407 23409 23381 0 -1 4202560 8117 0 0 0 68 1 0 0 15 0 22 0 856076345 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0
[pid=23409/tid=23426] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23426/stat : 23426 (java) S 23407 23409 23381 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 856076345 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23427] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23427/stat : 23427 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 856076345 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23462] ppid=23407 vsize=10556468 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23462/stat : 23462 (java) S 23407 23409 23381 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 856076375 10809823232 109478 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 10556468

[startup+6.30075 s]
/proc/loadavg: 0.00 0.00 0.00 3/612 23506
/proc/meminfo: memFree=30667224/32950928 swapFree=43925852/67111528
[pid=23409] ppid=23407 vsize=10565388 CPUtime=9.79 cores=1,3,5,7
/proc/23409/stat : 23409 (java) S 23407 23409 23381 0 -1 4202496 232944 0 1 0 951 28 0 0 23 0 22 0 856076337 10818957312 222159 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23409/statm: 2641347 222159 2264 9 0 2632081 0
[pid=23409/tid=23410] ppid=23407 vsize=10565388 CPUtime=0.33 cores=1,3,5,7
/proc/23409/task/23410/stat : 23410 (java) S 23407 23409 23381 0 -1 4202560 16609 0 1 0 32 1 0 0 15 0 22 0 856076338 10818957312 222159 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23412] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23412/stat : 23412 (java) S 23407 23409 23381 0 -1 4202560 419 0 0 0 0 0 0 0 15 0 22 0 856076341 10818957312 222159 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23413] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23413/stat : 23413 (java) S 23407 23409 23381 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 856076341 10818957312 222159 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23414] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23414/stat : 23414 (java) S 23407 23409 23381 0 -1 4202560 391 0 0 0 0 0 0 0 15 0 22 0 856076341 10818957312 222159 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23415] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23415/stat : 23415 (java) S 23407 23409 23381 0 -1 4202560 250 0 0 0 0 0 0 0 15 0 22 0 856076341 10818957312 222159 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23416] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23416/stat : 23416 (java) S 23407 23409 23381 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 22 0 856076341 10818957312 222159 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23417] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23417/stat : 23417 (java) S 23407 23409 23381 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 22 0 856076341 10818957312 222159 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23418] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23418/stat : 23418 (java) S 23407 23409 23381 0 -1 4202560 727 0 0 0 0 0 0 0 15 0 22 0 856076341 10818957312 222159 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23419] ppid=23407 vsize=10565388 CPUtime=0.01 cores=1,3,5,7
/proc/23409/task/23419/stat : 23419 (java) S 23407 23409 23381 0 -1 4202560 623 0 0 0 1 0 0 0 16 0 22 0 856076341 10818957312 222159 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23420] ppid=23407 vsize=10565388 CPUtime=0.08 cores=1,3,5,7
/proc/23409/task/23420/stat : 23420 (java) S 23407 23409 23381 0 -1 4202560 2681 0 0 0 8 0 0 0 16 0 22 0 856076342 10818957312 222159 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 0 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23421] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23421/stat : 23421 (java) S 23407 23409 23381 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 856076342 10818957312 222159 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23422] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23422/stat : 23422 (java) S 23407 23409 23381 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 856076342 10818957312 222159 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23423] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23423/stat : 23423 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856076345 10818957312 222159 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284512689 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23424] ppid=23407 vsize=10565388 CPUtime=1.48 cores=1,3,5,7
/proc/23409/task/23424/stat : 23424 (java) S 23407 23409 23381 0 -1 4202560 10080 0 0 0 147 1 0 0 15 0 22 0 856076345 10818957312 222159 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23425] ppid=23407 vsize=10565388 CPUtime=0.74 cores=1,3,5,7
/proc/23409/task/23425/stat : 23425 (java) S 23407 23409 23381 0 -1 4202560 8124 0 0 0 73 1 0 0 15 0 22 0 856076345 10818957312 222159 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0

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

[pid=23409/tid=23570] ppid=23407 vsize=10565388 CPUtime=162.14 cores=1,3,5,7
/proc/23409/task/23570/stat : 23570 (java) S 23407 23409 23381 0 -1 4202560 2 0 0 0 16214 0 0 0 19 0 22 0 856144959 10818957312 374594 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23571] ppid=23407 vsize=10565388 CPUtime=162.15 cores=1,3,5,7
/proc/23409/task/23571/stat : 23571 (java) S 23407 23409 23381 0 -1 4202560 0 0 0 0 16215 0 0 0 19 0 22 0 856144959 10818957312 374594 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0
[pid=23409/tid=23572] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23572/stat : 23572 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 856144959 10818957312 374594 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1653.5
Current children cumulated vsize (KiB) 10565388

[startup+942.302 s]
/proc/loadavg: 3.58 3.42 2.26 3/615 23579
/proc/meminfo: memFree=29278112/32950928 swapFree=43925852/67111528
[pid=23409] ppid=23407 vsize=10565388 CPUtime=1764.94 cores=1,3,5,7
/proc/23409/stat : 23409 (java) S 23407 23409 23381 0 -1 4202496 388161 0 1 0 176444 50 0 0 23 0 22 0 856076337 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23409/statm: 2641347 376099 2265 9 0 2632081 0
[pid=23409/tid=23410] ppid=23407 vsize=10565388 CPUtime=0.35 cores=1,3,5,7
/proc/23409/task/23410/stat : 23410 (java) S 23407 23409 23381 0 -1 4202560 16706 0 1 0 33 2 0 0 15 0 22 0 856076338 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23412] ppid=23407 vsize=10565388 CPUtime=1.22 cores=1,3,5,7
/proc/23409/task/23412/stat : 23412 (java) S 23407 23409 23381 0 -1 4202560 1402 0 0 0 122 0 0 0 15 0 22 0 856076341 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23413] ppid=23407 vsize=10565388 CPUtime=1.13 cores=1,3,5,7
/proc/23409/task/23413/stat : 23413 (java) S 23407 23409 23381 0 -1 4202560 699 0 0 0 113 0 0 0 15 0 22 0 856076341 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23414] ppid=23407 vsize=10565388 CPUtime=1.31 cores=1,3,5,7
/proc/23409/task/23414/stat : 23414 (java) S 23407 23409 23381 0 -1 4202560 714 0 0 0 131 0 0 0 15 0 22 0 856076341 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0
[pid=23409/tid=23415] ppid=23407 vsize=10565388 CPUtime=1.24 cores=1,3,5,7
/proc/23409/task/23415/stat : 23415 (java) S 23407 23409 23381 0 -1 4202560 454 0 0 0 124 0 0 0 16 0 22 0 856076341 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23416] ppid=23407 vsize=10565388 CPUtime=1.19 cores=1,3,5,7
/proc/23409/task/23416/stat : 23416 (java) S 23407 23409 23381 0 -1 4202560 181 0 0 0 119 0 0 0 16 0 22 0 856076341 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23417] ppid=23407 vsize=10565388 CPUtime=1.12 cores=1,3,5,7
/proc/23409/task/23417/stat : 23417 (java) S 23407 23409 23381 0 -1 4202560 98 0 0 0 112 0 0 0 15 0 22 0 856076341 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23418] ppid=23407 vsize=10565388 CPUtime=1.22 cores=1,3,5,7
/proc/23409/task/23418/stat : 23418 (java) S 23407 23409 23381 0 -1 4202560 1655 0 0 0 122 0 0 0 15 0 22 0 856076341 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23419] ppid=23407 vsize=10565388 CPUtime=1.14 cores=1,3,5,7
/proc/23409/task/23419/stat : 23419 (java) S 23407 23409 23381 0 -1 4202560 1159 0 0 0 114 0 0 0 16 0 22 0 856076341 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0
[pid=23409/tid=23420] ppid=23407 vsize=10565388 CPUtime=116.74 cores=1,3,5,7
/proc/23409/task/23420/stat : 23420 (java) S 23407 23409 23381 0 -1 4202560 73750 0 0 0 11667 7 0 0 16 0 22 0 856076342 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 0 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23421] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23421/stat : 23421 (java) S 23407 23409 23381 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 856076342 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23422] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23422/stat : 23422 (java) S 23407 23409 23381 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 856076342 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23423] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23423/stat : 23423 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856076345 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284512689 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23424] ppid=23407 vsize=10565388 CPUtime=2.07 cores=1,3,5,7
/proc/23409/task/23424/stat : 23424 (java) S 23407 23409 23381 0 -1 4202560 10158 0 0 0 206 1 0 0 15 0 22 0 856076345 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23425] ppid=23407 vsize=10565388 CPUtime=0.82 cores=1,3,5,7
/proc/23409/task/23425/stat : 23425 (java) S 23407 23409 23381 0 -1 4202560 8973 0 0 0 81 1 0 0 15 0 22 0 856076345 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0
[pid=23409/tid=23426] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23426/stat : 23426 (java) S 23407 23409 23381 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 856076345 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23427] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23427/stat : 23427 (java) S 23407 23409 23381 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 856076345 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23462] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23462/stat : 23462 (java) S 23407 23409 23381 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 856076375 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23570] ppid=23407 vsize=10565388 CPUtime=213.16 cores=1,3,5,7
/proc/23409/task/23570/stat : 23570 (java) R 23407 23409 23381 0 -1 4202560 2 0 0 0 21316 0 0 0 20 0 22 0 856144959 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 46912505705888 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23409/tid=23571] ppid=23407 vsize=10565388 CPUtime=213.17 cores=1,3,5,7
/proc/23409/task/23571/stat : 23571 (java) R 23407 23409 23381 0 -1 4202560 0 0 0 0 21317 0 0 0 20 0 22 0 856144959 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 46912505905598 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23409/tid=23572] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23572/stat : 23572 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 856144959 10818957312 376099 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1764.94
Current children cumulated vsize (KiB) 10565388



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+961.101 s]
/proc/loadavg: 3.47 3.41 2.28 4/615 23579
/proc/meminfo: memFree=29273756/32950928 swapFree=43925852/67111528
[pid=23409] ppid=23407 vsize=10565388 CPUtime=1800.08 cores=1,3,5,7
/proc/23409/stat : 23409 (java) S 23407 23409 23381 0 -1 4202496 388720 0 1 0 179958 50 0 0 23 0 22 0 856076337 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23409/statm: 2641347 376650 2265 9 0 2632081 0
[pid=23409/tid=23410] ppid=23407 vsize=10565388 CPUtime=0.35 cores=1,3,5,7
/proc/23409/task/23410/stat : 23410 (java) S 23407 23409 23381 0 -1 4202560 16710 0 1 0 33 2 0 0 15 0 22 0 856076338 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23412] ppid=23407 vsize=10565388 CPUtime=1.24 cores=1,3,5,7
/proc/23409/task/23412/stat : 23412 (java) S 23407 23409 23381 0 -1 4202560 1402 0 0 0 124 0 0 0 15 0 22 0 856076341 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0
[pid=23409/tid=23413] ppid=23407 vsize=10565388 CPUtime=1.15 cores=1,3,5,7
/proc/23409/task/23413/stat : 23413 (java) S 23407 23409 23381 0 -1 4202560 700 0 0 0 115 0 0 0 15 0 22 0 856076341 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23414] ppid=23407 vsize=10565388 CPUtime=1.35 cores=1,3,5,7
/proc/23409/task/23414/stat : 23414 (java) S 23407 23409 23381 0 -1 4202560 716 0 0 0 135 0 0 0 16 0 22 0 856076341 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23415] ppid=23407 vsize=10565388 CPUtime=1.24 cores=1,3,5,7
/proc/23409/task/23415/stat : 23415 (java) S 23407 23409 23381 0 -1 4202560 454 0 0 0 124 0 0 0 15 0 22 0 856076341 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0
[pid=23409/tid=23416] ppid=23407 vsize=10565388 CPUtime=1.2 cores=1,3,5,7
/proc/23409/task/23416/stat : 23416 (java) S 23407 23409 23381 0 -1 4202560 182 0 0 0 120 0 0 0 15 0 22 0 856076341 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23417] ppid=23407 vsize=10565388 CPUtime=1.13 cores=1,3,5,7
/proc/23409/task/23417/stat : 23417 (java) S 23407 23409 23381 0 -1 4202560 98 0 0 0 113 0 0 0 15 0 22 0 856076341 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23418] ppid=23407 vsize=10565388 CPUtime=1.25 cores=1,3,5,7
/proc/23409/task/23418/stat : 23418 (java) S 23407 23409 23381 0 -1 4202560 1660 0 0 0 125 0 0 0 16 0 22 0 856076341 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0
[pid=23409/tid=23419] ppid=23407 vsize=10565388 CPUtime=1.17 cores=1,3,5,7
/proc/23409/task/23419/stat : 23419 (java) S 23407 23409 23381 0 -1 4202560 1159 0 0 0 117 0 0 0 16 0 22 0 856076341 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23420] ppid=23407 vsize=10565388 CPUtime=119.29 cores=1,3,5,7
/proc/23409/task/23420/stat : 23420 (java) S 23407 23409 23381 0 -1 4202560 74294 0 0 0 11921 8 0 0 15 0 22 0 856076342 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 0 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23421] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23421/stat : 23421 (java) S 23407 23409 23381 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 856076342 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23422] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23422/stat : 23422 (java) S 23407 23409 23381 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 856076342 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23423] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23423/stat : 23423 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856076345 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284512689 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23424] ppid=23407 vsize=10565388 CPUtime=2.07 cores=1,3,5,7
/proc/23409/task/23424/stat : 23424 (java) S 23407 23409 23381 0 -1 4202560 10158 0 0 0 206 1 0 0 15 0 22 0 856076345 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23425] ppid=23407 vsize=10565388 CPUtime=0.82 cores=1,3,5,7
/proc/23409/task/23425/stat : 23425 (java) S 23407 23409 23381 0 -1 4202560 8973 0 0 0 81 1 0 0 15 0 22 0 856076345 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0
[pid=23409/tid=23426] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23426/stat : 23426 (java) S 23407 23409 23381 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 856076345 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23427] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23427/stat : 23427 (java) S 23407 23409 23381 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 856076345 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23462] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23462/stat : 23462 (java) S 23407 23409 23381 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 856076375 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23570] ppid=23407 vsize=10565388 CPUtime=229.38 cores=1,3,5,7
/proc/23409/task/23570/stat : 23570 (java) R 23407 23409 23381 0 -1 4202560 2 0 0 0 22938 0 0 0 25 0 22 0 856144959 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 46912505699008 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23409/tid=23571] ppid=23407 vsize=10565388 CPUtime=229.39 cores=1,3,5,7
/proc/23409/task/23571/stat : 23571 (java) R 23407 23409 23381 0 -1 4202560 0 0 0 0 22939 0 0 0 25 0 22 0 856144959 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 46912505852359 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23409/tid=23572] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23572/stat : 23572 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 856144959 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10565388

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+961.101 s]
/proc/loadavg: 3.47 3.41 2.28 4/615 23579
/proc/meminfo: memFree=29273756/32950928 swapFree=43925852/67111528
[pid=23409] ppid=23407 vsize=10565388 CPUtime=1800.08 cores=1,3,5,7
/proc/23409/stat : 23409 (java) S 23407 23409 23381 0 -1 4202496 388720 0 1 0 179958 50 0 0 23 0 22 0 856076337 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23409/statm: 2641347 376650 2265 9 0 2632081 0
[pid=23409/tid=23410] ppid=23407 vsize=10565388 CPUtime=0.35 cores=1,3,5,7
/proc/23409/task/23410/stat : 23410 (java) S 23407 23409 23381 0 -1 4202560 16710 0 1 0 33 2 0 0 15 0 22 0 856076338 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23412] ppid=23407 vsize=10565388 CPUtime=1.24 cores=1,3,5,7
/proc/23409/task/23412/stat : 23412 (java) S 23407 23409 23381 0 -1 4202560 1402 0 0 0 124 0 0 0 15 0 22 0 856076341 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0
[pid=23409/tid=23413] ppid=23407 vsize=10565388 CPUtime=1.15 cores=1,3,5,7
/proc/23409/task/23413/stat : 23413 (java) S 23407 23409 23381 0 -1 4202560 700 0 0 0 115 0 0 0 15 0 22 0 856076341 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23414] ppid=23407 vsize=10565388 CPUtime=1.35 cores=1,3,5,7
/proc/23409/task/23414/stat : 23414 (java) S 23407 23409 23381 0 -1 4202560 716 0 0 0 135 0 0 0 16 0 22 0 856076341 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23415] ppid=23407 vsize=10565388 CPUtime=1.24 cores=1,3,5,7
/proc/23409/task/23415/stat : 23415 (java) S 23407 23409 23381 0 -1 4202560 454 0 0 0 124 0 0 0 15 0 22 0 856076341 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0
[pid=23409/tid=23416] ppid=23407 vsize=10565388 CPUtime=1.2 cores=1,3,5,7
/proc/23409/task/23416/stat : 23416 (java) S 23407 23409 23381 0 -1 4202560 182 0 0 0 120 0 0 0 15 0 22 0 856076341 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23417] ppid=23407 vsize=10565388 CPUtime=1.13 cores=1,3,5,7
/proc/23409/task/23417/stat : 23417 (java) S 23407 23409 23381 0 -1 4202560 98 0 0 0 113 0 0 0 15 0 22 0 856076341 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23418] ppid=23407 vsize=10565388 CPUtime=1.25 cores=1,3,5,7
/proc/23409/task/23418/stat : 23418 (java) S 23407 23409 23381 0 -1 4202560 1660 0 0 0 125 0 0 0 16 0 22 0 856076341 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0
[pid=23409/tid=23419] ppid=23407 vsize=10565388 CPUtime=1.17 cores=1,3,5,7
/proc/23409/task/23419/stat : 23419 (java) S 23407 23409 23381 0 -1 4202560 1159 0 0 0 117 0 0 0 16 0 22 0 856076341 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23420] ppid=23407 vsize=10565388 CPUtime=119.29 cores=1,3,5,7
/proc/23409/task/23420/stat : 23420 (java) S 23407 23409 23381 0 -1 4202560 74294 0 0 0 11921 8 0 0 15 0 22 0 856076342 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 0 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23421] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23421/stat : 23421 (java) S 23407 23409 23381 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 856076342 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23422] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23422/stat : 23422 (java) S 23407 23409 23381 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 856076342 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23423] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23423/stat : 23423 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 856076345 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284512689 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23424] ppid=23407 vsize=10565388 CPUtime=2.07 cores=1,3,5,7
/proc/23409/task/23424/stat : 23424 (java) S 23407 23409 23381 0 -1 4202560 10158 0 0 0 206 1 0 0 15 0 22 0 856076345 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23425] ppid=23407 vsize=10565388 CPUtime=0.82 cores=1,3,5,7
/proc/23409/task/23425/stat : 23425 (java) S 23407 23409 23381 0 -1 4202560 8973 0 0 0 81 1 0 0 15 0 22 0 856076345 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0
[pid=23409/tid=23426] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23426/stat : 23426 (java) S 23407 23409 23381 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 856076345 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=23409/tid=23427] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23427/stat : 23427 (java) S 23407 23409 23381 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 856076345 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=23409/tid=23462] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23462/stat : 23462 (java) S 23407 23409 23381 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 856076375 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=23409/tid=23570] ppid=23407 vsize=10565388 CPUtime=229.38 cores=1,3,5,7
/proc/23409/task/23570/stat : 23570 (java) R 23407 23409 23381 0 -1 4202560 2 0 0 0 22938 0 0 0 25 0 22 0 856144959 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 46912505699008 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23409/tid=23571] ppid=23407 vsize=10565388 CPUtime=229.39 cores=1,3,5,7
/proc/23409/task/23571/stat : 23571 (java) R 23407 23409 23381 0 -1 4202560 0 0 0 0 22939 0 0 0 25 0 22 0 856144959 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 46912505852359 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23409/tid=23572] ppid=23407 vsize=10565388 CPUtime=0 cores=1,3,5,7
/proc/23409/task/23572/stat : 23572 (java) S 23407 23409 23381 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 856144959 10818957312 376650 33554432000 1073741824 1073778376 140734513337568 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10565388

Child status: 143
Real time (s): 961.22
CPU time (s): 1800.25
CPU user time (s): 1799.68
CPU system time (s): 0.566913
CPU usage (%): 187.288
Max. virtual memory (cumulated for all children) (KiB): 10565388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.68
system time used= 0.566913
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 388753
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= 30807
involuntary context switches= 24828

runsolver used 5.57615 second user time and 13.5559 second system time

The end

Launcher Data 

Begin job on node122 at 2011-06-07 13:06:15
IDJOB=3479225
IDBENCH=89864
IDSOLVER=1950
FILE ID=node122/3479225-1307444775
RUNJOBID= node122-1307444774-23400
PBS_JOBID= 13520034
Free space on /tmp= 73872 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-protfold.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3479225-1307444775/watcher-3479225-1307444775 -o /tmp/evaluation-result-3479225-1307444775/solver-3479225-1307444775 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3479225-1307444775.opb

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

MD5SUM BENCH= 321cd6ec2ce21c5578ce4ae4e8122b0f
RANDOM SEED=704874456

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31618712 kB
Buffers:        359876 kB
Cached:         634040 kB
SwapCached:      16832 kB
Active:         508652 kB
Inactive:       506324 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31618712 kB
SwapTotal:    67111528 kB
SwapFree:     43925852 kB
Dirty:             436 kB
Writeback:           0 kB
AnonPages:       18420 kB
Mapped:           8568 kB
Slab:           152124 kB
PageTables:      92864 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 180710776 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 /tmp at the end= 73868 MiB
End job on node122 at 2011-06-07 13:22:19