Trace number 3260676

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 core 2.3.0 SNAPSHOT 2011-02-06? (TO) 1301.22 1300.05

General information on the benchmark

Namecrafted/skvortsov/
automata-synchronization/rnd_100_28_u.cnf
MD5SUM7fb794f1c5d1c4d1723aeeb5efb40cdc
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark56.3054
Satisfiable
(Un)Satisfiability was proved
Number of variables2856
Number of clauses10578
Sum of the clauses size26556
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 25178
Number of clauses of size 35400
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.08	c no version file found!!!
0.03/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.08	c java.vm.version	19.1-b02
0.03/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.08	c sun.arch.data.model	64
0.03/0.08	c java.version		1.6.0_24
0.03/0.08	c os.name		Linux
0.03/0.08	c os.version		2.6.18-164.el5
0.03/0.08	c os.arch		amd64
0.03/0.08	c Free memory 		6997539544
0.03/0.08	c Max memory 		7034241024
0.03/0.08	c Total memory 		7034241024
0.03/0.08	c Number of processors 	8
0.09/0.10	c --- Begin Solver configuration ---
0.09/0.10	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@64578ceb
0.09/0.10	c Learn all clauses as in MiniSAT
0.09/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.09/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.09/0.10	c Expensive reason simplification
0.09/0.10	c Armin Biere (Picosat) restarts strategy
0.09/0.10	c Glucose learned constraints deletion strategy
0.09/0.10	c timeout=2147483647s
0.09/0.10	c DB Simplification allowed=true
0.09/0.10	c --- End Solver configuration ---
0.09/0.10	c solving HOME/instance-3260676-1303539686.cnf
0.09/0.10	c reading problem ... 
0.09/0.17	c ... done. Wall clock time 0.068s.
0.09/0.17	c #vars     2856
0.09/0.17	c #constraints  10578
0.09/0.17	c constraints type 
0.09/0.17	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5400
0.09/0.17	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5178
1.84/1.30	c cleaning 2485 clauses out of 4972 with flag 5001/5001
2.95/2.14	c cleaning 4243 clauses out of 8485 with flag 11001/11001
3.55/2.71	c cleaning 5620 clauses out of 11239 with flag 18001/18001
4.16/3.34	c cleaning 6807 clauses out of 13614 with flag 26001/26001
4.97/4.10	c cleaning 7903 clauses out of 15805 with flag 35000/35000
5.87/5.04	c cleaning 8948 clauses out of 17900 with flag 45000/45000
7.17/6.32	c cleaning 9973 clauses out of 19950 with flag 56000/56000
8.47/7.64	c cleaning 10488 clauses out of 20976 with flag 67000/67000
9.87/9.09	c cleaning 10739 clauses out of 21487 with flag 78001/78001
11.37/10.50	c cleaning 10873 clauses out of 21746 with flag 89000/89000
12.77/11.93	c cleaning 10931 clauses out of 21873 with flag 100000/100000
14.17/13.33	c cleaning 10966 clauses out of 21943 with flag 111001/111001
15.47/14.69	c cleaning 10981 clauses out of 21977 with flag 122001/122001
17.07/16.24	c cleaning 10987 clauses out of 21991 with flag 133000/133000
18.77/17.97	c cleaning 10998 clauses out of 22003 with flag 144000/144000
20.57/19.71	c cleaning 10257 clauses out of 22006 with flag 155001/155001
22.37/21.54	c cleaning 10342 clauses out of 22749 with flag 166001/166001
24.27/23.43	c cleaning 9953 clauses out of 23407 with flag 177001/177001
26.37/25.51	c cleaning 10133 clauses out of 24453 with flag 188000/188000
28.47/27.61	c cleaning 10077 clauses out of 25321 with flag 199001/199001
30.57/29.77	c cleaning 10111 clauses out of 26243 with flag 210000/210000
32.77/31.96	c cleaning 9945 clauses out of 27132 with flag 221000/221000
34.97/34.19	c cleaning 10309 clauses out of 28188 with flag 232001/232001
37.27/36.48	c cleaning 10034 clauses out of 28880 with flag 243002/243002
39.67/38.88	c cleaning 10180 clauses out of 29844 with flag 254000/254000
41.97/41.15	c cleaning 10005 clauses out of 30664 with flag 265000/265000
44.37/43.52	c cleaning 10002 clauses out of 31659 with flag 276000/276000
46.67/45.84	c cleaning 9966 clauses out of 32657 with flag 287000/287000
49.07/48.20	c cleaning 10168 clauses out of 33692 with flag 298001/298001
51.37/50.52	c cleaning 10019 clauses out of 34524 with flag 309001/309001
53.77/52.92	c cleaning 9993 clauses out of 35506 with flag 320002/320002
56.17/55.31	c cleaning 10018 clauses out of 36511 with flag 331000/331000
58.77/57.90	c cleaning 10156 clauses out of 37494 with flag 342001/342001
61.27/60.47	c cleaning 9984 clauses out of 38337 with flag 353000/353000
64.07/63.23	c cleaning 10221 clauses out of 39353 with flag 364000/364000
66.97/66.17	c cleaning 10080 clauses out of 40133 with flag 375001/375001
69.87/69.08	c cleaning 10193 clauses out of 41052 with flag 386000/386000
72.77/71.95	c cleaning 10401 clauses out of 41859 with flag 397000/397000
75.68/74.83	c cleaning 10415 clauses out of 42458 with flag 408000/408000
78.78/77.92	c cleaning 10374 clauses out of 43044 with flag 419001/419001
81.58/80.76	c cleaning 10445 clauses out of 43670 with flag 430001/430001
84.28/83.44	c cleaning 10554 clauses out of 44226 with flag 441002/441002
87.18/86.30	c cleaning 10332 clauses out of 44670 with flag 452000/452000
90.18/89.36	c cleaning 10298 clauses out of 45338 with flag 463000/463000
93.28/92.41	c cleaning 10463 clauses out of 46040 with flag 474000/474000
96.08/95.27	c cleaning 10497 clauses out of 46577 with flag 485000/485000
99.17/98.34	c cleaning 10337 clauses out of 47080 with flag 496000/496000
102.47/101.62	c cleaning 10299 clauses out of 47743 with flag 507000/507000
105.67/104.88	c cleaning 10220 clauses out of 48445 with flag 518001/518001
108.77/107.97	c cleaning 10406 clauses out of 49224 with flag 529000/529000
111.98/111.19	c cleaning 10317 clauses out of 49820 with flag 540002/540002
115.18/114.35	c cleaning 10137 clauses out of 50503 with flag 551002/551002
118.58/117.77	c cleaning 10097 clauses out of 51365 with flag 562001/562001
121.88/121.06	c cleaning 10242 clauses out of 52267 with flag 573000/573000
125.27/124.45	c cleaning 10119 clauses out of 53025 with flag 584000/584000
128.68/127.82	c cleaning 10190 clauses out of 53907 with flag 595001/595001
131.98/131.19	c cleaning 10159 clauses out of 54717 with flag 606001/606001
135.58/134.70	c cleaning 9990 clauses out of 55558 with flag 617001/617001
138.88/138.06	c cleaning 9899 clauses out of 56568 with flag 628001/628001
142.08/141.24	c cleaning 9999 clauses out of 57670 with flag 639002/639002
145.48/144.61	c cleaning 10049 clauses out of 58670 with flag 650001/650001
148.88/148.02	c cleaning 9849 clauses out of 59620 with flag 661000/661000
152.49/151.69	c cleaning 10052 clauses out of 60771 with flag 672000/672000
156.69/155.87	c cleaning 10028 clauses out of 61719 with flag 683000/683000
160.59/159.74	c cleaning 9999 clauses out of 62691 with flag 694000/694000
164.39/163.53	c cleaning 10022 clauses out of 63693 with flag 705001/705001
168.10/167.25	c cleaning 10106 clauses out of 64672 with flag 716002/716002
171.99/171.14	c cleaning 9942 clauses out of 65564 with flag 727000/727000
176.19/175.34	c cleaning 10205 clauses out of 66622 with flag 738000/738000
180.59/179.71	c cleaning 10172 clauses out of 67418 with flag 749001/749001
185.09/184.27	c cleaning 10036 clauses out of 68245 with flag 760000/760000
189.69/188.82	c cleaning 10151 clauses out of 69210 with flag 771001/771001
194.40/193.50	c cleaning 10000 clauses out of 70058 with flag 782000/782000
199.21/198.33	c cleaning 10011 clauses out of 71059 with flag 793001/793001
204.11/203.23	c cleaning 9927 clauses out of 72049 with flag 804002/804002
208.51/207.63	c cleaning 10039 clauses out of 73121 with flag 815001/815001
213.22/212.39	c cleaning 10054 clauses out of 74081 with flag 826000/826000
218.41/217.53	c cleaning 9929 clauses out of 75028 with flag 837001/837001
223.62/222.79	c cleaning 10089 clauses out of 76098 with flag 848000/848000
228.92/228.00	c cleaning 10145 clauses out of 77009 with flag 859000/859000
234.02/233.16	c cleaning 9966 clauses out of 77864 with flag 870000/870000
239.82/238.91	c cleaning 9965 clauses out of 78899 with flag 881001/881001
245.32/244.49	c cleaning 10019 clauses out of 79933 with flag 892000/892000
250.92/250.01	c cleaning 10006 clauses out of 80914 with flag 903000/903000
256.02/255.14	c cleaning 9911 clauses out of 81908 with flag 914000/914000
261.63/260.76	c cleaning 10042 clauses out of 82998 with flag 925001/925001
267.53/266.69	c cleaning 9932 clauses out of 83955 with flag 936000/936000
272.93/272.09	c cleaning 10113 clauses out of 85024 with flag 947001/947001
278.33/277.40	c cleaning 10050 clauses out of 85911 with flag 958001/958001
283.83/282.95	c cleaning 9954 clauses out of 86860 with flag 969000/969000
289.53/288.63	c cleaning 9880 clauses out of 87907 with flag 980001/980001
294.43/293.53	c cleaning 9806 clauses out of 89026 with flag 991000/991000
299.23/298.39	c cleaning 9893 clauses out of 90220 with flag 1002000/1002000
304.13/303.28	c cleaning 9978 clauses out of 91328 with flag 1013001/1013001
310.33/309.49	c cleaning 9897 clauses out of 92350 with flag 1024001/1024001
315.73/314.86	c cleaning 10068 clauses out of 93452 with flag 1035000/1035000
321.64/320.77	c cleaning 9912 clauses out of 94384 with flag 1046000/1046000
327.54/326.70	c cleaning 10015 clauses out of 95473 with flag 1057001/1057001
333.64/332.77	c cleaning 10003 clauses out of 96458 with flag 1068001/1068001
339.34/338.47	c cleaning 9980 clauses out of 97454 with flag 1079000/1079000
345.34/344.45	c cleaning 10025 clauses out of 98474 with flag 1090000/1090000
351.54/350.65	c cleaning 10166 clauses out of 99449 with flag 1101000/1101000
357.35/356.46	c cleaning 9882 clauses out of 100283 with flag 1112000/1112000
364.55/363.65	c cleaning 9883 clauses out of 101403 with flag 1123002/1123002
371.35/370.44	c cleaning 9834 clauses out of 102518 with flag 1134000/1134000
378.05/377.13	c cleaning 9865 clauses out of 103685 with flag 1145001/1145001
384.76/383.88	c cleaning 9875 clauses out of 104820 with flag 1156001/1156001
391.36/390.40	c cleaning 9931 clauses out of 105945 with flag 1167001/1167001
398.46/397.54	c cleaning 9827 clauses out of 107014 with flag 1178001/1178001
405.76/404.84	c cleaning 9787 clauses out of 108187 with flag 1189001/1189001
412.56/411.64	c cleaning 10036 clauses out of 109399 with flag 1200000/1200000
419.86/418.98	c cleaning 9865 clauses out of 110364 with flag 1211001/1211001
427.56/426.61	c cleaning 10078 clauses out of 111499 with flag 1222001/1222001
434.37/433.49	c cleaning 10108 clauses out of 112420 with flag 1233000/1233000
442.16/441.28	c cleaning 9957 clauses out of 113312 with flag 1244000/1244000
450.16/449.27	c cleaning 9973 clauses out of 114355 with flag 1255000/1255000
458.17/457.23	c cleaning 10133 clauses out of 115383 with flag 1266001/1266001
465.87/464.99	c cleaning 10163 clauses out of 116249 with flag 1277000/1277000
471.57/470.65	c cleaning 10186 clauses out of 117086 with flag 1288000/1288000
477.48/476.58	c cleaning 10296 clauses out of 117901 with flag 1299001/1299001
483.78/482.85	c cleaning 10244 clauses out of 118605 with flag 1310001/1310001
491.48/490.57	c cleaning 10109 clauses out of 119360 with flag 1321000/1321000
499.08/498.15	c cleaning 9930 clauses out of 120252 with flag 1332001/1332001
508.09/507.18	c cleaning 9853 clauses out of 121322 with flag 1343001/1343001
516.28/515.31	c cleaning 10145 clauses out of 122469 with flag 1354001/1354001
524.68/523.74	c cleaning 10285 clauses out of 123323 with flag 1365000/1365000
532.89/531.90	c cleaning 10150 clauses out of 124039 with flag 1376001/1376001
539.49/538.59	c cleaning 10252 clauses out of 124888 with flag 1387000/1387000
547.99/547.02	c cleaning 10047 clauses out of 125636 with flag 1398000/1398000
555.69/554.75	c cleaning 10154 clauses out of 126589 with flag 1409000/1409000
563.69/562.79	c cleaning 10115 clauses out of 127435 with flag 1420000/1420000
573.19/572.29	c cleaning 10060 clauses out of 128321 with flag 1431001/1431001
582.40/581.45	c cleaning 10059 clauses out of 129261 with flag 1442001/1442001
591.00/590.09	c cleaning 10371 clauses out of 130203 with flag 1453002/1453002
599.30/598.33	c cleaning 10181 clauses out of 130830 with flag 1464000/1464000
607.80/606.89	c cleaning 10060 clauses out of 131649 with flag 1475000/1475000
616.20/615.27	c cleaning 10149 clauses out of 132590 with flag 1486001/1486001
625.00/624.03	c cleaning 9997 clauses out of 133441 with flag 1497001/1497001
634.70/633.78	c cleaning 10231 clauses out of 134443 with flag 1508000/1508000
645.80/644.84	c cleaning 10356 clauses out of 135212 with flag 1519000/1519000
654.31/653.34	c cleaning 10031 clauses out of 135856 with flag 1530000/1530000
665.01/664.05	c cleaning 10011 clauses out of 136825 with flag 1541000/1541000
674.41/673.41	c cleaning 9960 clauses out of 137814 with flag 1552000/1552000
685.12/684.19	c cleaning 10073 clauses out of 138854 with flag 1563000/1563000
694.51/693.51	c cleaning 10109 clauses out of 139782 with flag 1574001/1574001
704.92/703.96	c cleaning 10097 clauses out of 140673 with flag 1585001/1585001
715.02/714.06	c cleaning 10049 clauses out of 141575 with flag 1596000/1596000
724.82/723.84	c cleaning 10102 clauses out of 142528 with flag 1607002/1607002
735.32/734.34	c cleaning 10033 clauses out of 143424 with flag 1618000/1618000
746.32/745.37	c cleaning 10067 clauses out of 144391 with flag 1629000/1629000
755.73/754.75	c cleaning 10000 clauses out of 145325 with flag 1640001/1640001
764.93/763.99	c cleaning 10157 clauses out of 146325 with flag 1651001/1651001
775.93/774.93	c cleaning 10103 clauses out of 147167 with flag 1662000/1662000
786.63/785.63	c cleaning 10004 clauses out of 148065 with flag 1673001/1673001
796.83/795.84	c cleaning 10175 clauses out of 149060 with flag 1684000/1684000
807.63/806.63	c cleaning 10203 clauses out of 149886 with flag 1695001/1695001
818.53/817.57	c cleaning 10083 clauses out of 150682 with flag 1706000/1706000
828.93/827.98	c cleaning 9980 clauses out of 151599 with flag 1717000/1717000
840.34/839.30	c cleaning 10163 clauses out of 152620 with flag 1728001/1728001
850.64/849.68	c cleaning 10029 clauses out of 153457 with flag 1739001/1739001
861.94/860.90	c cleaning 10021 clauses out of 154428 with flag 1750001/1750001
872.54/871.55	c cleaning 9969 clauses out of 155406 with flag 1761000/1761000
884.24/883.25	c cleaning 9818 clauses out of 156438 with flag 1772001/1772001
897.14/896.10	c cleaning 10096 clauses out of 157620 with flag 1783001/1783001
909.05/908.01	c cleaning 10082 clauses out of 158524 with flag 1794001/1794001
921.45/920.41	c cleaning 10135 clauses out of 159441 with flag 1805000/1805000
933.95/932.93	c cleaning 10117 clauses out of 160306 with flag 1816000/1816000
945.96/944.90	c cleaning 9930 clauses out of 161189 with flag 1827000/1827000
959.36/958.35	c cleaning 10036 clauses out of 162259 with flag 1838000/1838000
971.46/970.48	c cleaning 10176 clauses out of 163224 with flag 1849001/1849001
984.86/983.86	c cleaning 10185 clauses out of 164049 with flag 1860002/1860002
996.97/995.90	c cleaning 10158 clauses out of 164862 with flag 1871000/1871000
1008.27/1007.23	c cleaning 10288 clauses out of 165706 with flag 1882002/1882002
1020.78/1019.75	c cleaning 10028 clauses out of 166417 with flag 1893001/1893001
1033.57/1032.50	c cleaning 10156 clauses out of 167389 with flag 1904001/1904001
1044.77/1043.79	c cleaning 10166 clauses out of 168233 with flag 1915001/1915001
1056.67/1055.60	c cleaning 10090 clauses out of 169066 with flag 1926000/1926000
1070.38/1069.35	c cleaning 10172 clauses out of 169976 with flag 1937000/1937000
1084.68/1083.63	c cleaning 10203 clauses out of 170805 with flag 1948001/1948001
1097.89/1096.80	c cleaning 10097 clauses out of 171603 with flag 1959002/1959002
1110.49/1109.49	c cleaning 10042 clauses out of 172504 with flag 1970000/1970000
1123.99/1122.95	c cleaning 10067 clauses out of 173462 with flag 1981000/1981000
1136.79/1135.72	c cleaning 10157 clauses out of 174396 with flag 1992001/1992001
1150.50/1149.45	c cleaning 10044 clauses out of 175239 with flag 2003001/2003001
1162.00/1160.96	c cleaning 10278 clauses out of 176194 with flag 2014000/2014000
1175.40/1174.36	c cleaning 10200 clauses out of 176917 with flag 2025001/2025001
1190.40/1189.38	c cleaning 10207 clauses out of 177716 with flag 2036000/2036000
1204.01/1202.98	c cleaning 10137 clauses out of 178510 with flag 2047001/2047001
1217.51/1216.41	c cleaning 10122 clauses out of 179372 with flag 2058000/2058000
1229.71/1228.69	c cleaning 10115 clauses out of 180252 with flag 2069002/2069002
1244.41/1243.32	c cleaning 10221 clauses out of 181136 with flag 2080001/2080001
1258.91/1257.84	c cleaning 10293 clauses out of 181915 with flag 2091001/2091001
1274.11/1273.00	c cleaning 10219 clauses out of 182621 with flag 2102000/2102000
1288.92/1287.85	c cleaning 10209 clauses out of 183403 with flag 2113001/2113001
1301.12/1300.01	c starts		: 1589
1301.12/1300.01	c conflicts		: 2121880
1301.12/1300.01	c decisions		: 2214258
1301.12/1300.01	c propagations		: 831689365
1301.12/1300.01	c inspects		: 13294395971
1301.12/1300.01	c shortcuts		: 0
1301.12/1300.01	c learnt literals	: 49
1301.12/1300.01	c learnt binary clauses	: 108
1301.12/1300.01	c learnt ternary clauses	: 4757
1301.12/1300.01	c learnt constraints	: 2121831
1301.12/1300.01	c ignored constraints	: 0
1301.12/1300.01	c root simplifications	: 1638
1301.12/1300.01	c removed literals (reason simplification)	: 10694529
1301.12/1300.01	c reason swapping (by a shorter reason)	: 0
1301.12/1300.01	c Calls to reduceDB	: 194
1301.12/1300.01	c speed (assignments/second)	: 639841.7685000262
1301.12/1300.01	c non guided choices	28
1301.12/1300.04	c learnt constraints type 
1301.12/1300.04	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 105
1301.12/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 181990
1301.12/1300.04	c constraints type 
1301.12/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5400
1301.12/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5178
1301.12/1300.04	s UNKNOWN
1301.12/1300.04	c Total wall clock time (in seconds) : 1299.905

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3260676-1303539686/watcher-3260676-1303539686 -o /tmp/evaluation-result-3260676-1303539686/solver-3260676-1303539686 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3260676-1303539686.cnf 

running on 2 cores: 0,2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 1/174 739
/proc/meminfo: memFree=20550768/32951124 swapFree=67110396/67111528
[pid=739] ppid=737 vsize=9100 CPUtime=0 cores=0,2
/proc/739/stat : 739 (java) S 737 739 709 0 -1 4202496 230 0 0 0 0 0 0 0 22 0 1 0 544199326 9318400 165 33554432000 1073741824 1073778376 140734953664384 18446744073709551615 224284923904 0 2147483391 4096 0 18446744071699199166 0 0 17 0 0 0 0
/proc/739/statm: 2275 165 125 9 0 67 0

[startup+0.046981 s]
/proc/loadavg: 0.00 0.00 0.00 1/174 739
/proc/meminfo: memFree=20550768/32951124 swapFree=67110396/67111528
[pid=739] ppid=737 vsize=7564352 CPUtime=0.03 cores=0,2
/proc/739/stat : 739 (java) S 737 739 709 0 -1 4202496 8767 0 1 0 2 1 0 0 22 0 13 0 544199326 7745896448 8462 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/739/statm: 1891088 8462 1675 9 0 1881836 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7564352

[startup+0.100962 s]
/proc/loadavg: 0.00 0.00 0.00 1/174 739
/proc/meminfo: memFree=20550768/32951124 swapFree=67110396/67111528
[pid=739] ppid=737 vsize=7570728 CPUtime=0.09 cores=0,2
/proc/739/stat : 739 (java) S 737 739 709 0 -1 4202496 10109 0 1 0 8 1 0 0 22 0 18 0 544199326 7752425472 9804 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/739/statm: 1892682 9805 2058 9 0 1883420 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7570728

[startup+0.300927 s]
/proc/loadavg: 0.00 0.00 0.00 1/174 739
/proc/meminfo: memFree=20550768/32951124 swapFree=67110396/67111528
[pid=739] ppid=737 vsize=7580840 CPUtime=0.47 cores=0,2
/proc/739/stat : 739 (java) S 737 739 709 0 -1 4202496 13964 0 1 0 45 2 0 0 22 0 19 0 544199326 7762780160 12521 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/739/statm: 1895210 12521 2205 9 0 1885948 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 7580840

[startup+0.700879 s]
/proc/loadavg: 0.00 0.00 0.00 1/174 739
/proc/meminfo: memFree=20550768/32951124 swapFree=67110396/67111528
[pid=739] ppid=737 vsize=7581160 CPUtime=1.14 cores=0,2
/proc/739/stat : 739 (java) S 737 739 709 0 -1 4202496 14428 0 1 0 112 2 0 0 22 0 19 0 544199326 7763107840 12984 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/739/statm: 1895290 12984 2224 9 0 1886028 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 7581160

[startup+1.5007 s]
/proc/loadavg: 0.00 0.00 0.00 3/193 759
/proc/meminfo: memFree=20506424/32951124 swapFree=67110396/67111528
[pid=739] ppid=737 vsize=7594260 CPUtime=2.23 cores=0,2
/proc/739/stat : 739 (java) S 737 739 709 0 -1 4202496 20708 0 1 0 220 3 0 0 22 0 19 0 544199326 7776522240 17619 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/739/statm: 1898565 17619 2253 9 0 1889303 0
[pid=739/tid=741] ppid=737 vsize=7594260 CPUtime=1.43 cores=0,2
/proc/739/task/741/stat : 741 (java) R 737 739 709 0 -1 4202560 9332 0 1 0 142 1 0 0 25 0 19 0 544199326 7776522240 17619 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 46912505613456 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=739/tid=742] ppid=737 vsize=7594260 CPUtime=0 cores=0,2
/proc/739/task/742/stat : 742 (java) S 737 739 709 0 -1 4202560 254 0 0 0 0 0 0 0 18 0 19 0 544199328 7776522240 17619 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=743] ppid=737 vsize=7594260 CPUtime=0 cores=0,2
/proc/739/task/743/stat : 743 (java) S 737 739 709 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 544199328 7776522240 17619 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=744] ppid=737 vsize=7594260 CPUtime=0 cores=0,2
/proc/739/task/744/stat : 744 (java) S 737 739 709 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 544199328 7776522240 17619 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=745] ppid=737 vsize=7594260 CPUtime=0 cores=0,2
/proc/739/task/745/stat : 745 (java) S 737 739 709 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 544199328 7776522240 17619 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=746] ppid=737 vsize=7594260 CPUtime=0 cores=0,2
/proc/739/task/746/stat : 746 (java) S 737 739 709 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 544199328 7776522240 17619 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=747] ppid=737 vsize=7594260 CPUtime=0 cores=0,2
/proc/739/task/747/stat : 747 (java) S 737 739 709 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 544199328 7776522240 17619 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=748] ppid=737 vsize=7594260 CPUtime=0 cores=0,2
/proc/739/task/748/stat : 748 (java) S 737 739 709 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 544199328 7776522240 17619 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=749] ppid=737 vsize=7594260 CPUtime=0 cores=0,2
/proc/739/task/749/stat : 749 (java) S 737 739 709 0 -1 4202560 309 0 0 0 0 0 0 0 17 0 19 0 544199328 7776522240 17619 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=750] ppid=737 vsize=7594260 CPUtime=0.01 cores=0,2
/proc/739/task/750/stat : 750 (java) S 737 739 709 0 -1 4202560 580 0 0 0 1 0 0 0 15 0 19 0 544199329 7776522240 17619 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296742400 0 0 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=751] ppid=737 vsize=7594260 CPUtime=0 cores=0,2
/proc/739/task/751/stat : 751 (java) S 737 739 709 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 544199330 7776522240 17619 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=752] ppid=737 vsize=7594260 CPUtime=0 cores=0,2
/proc/739/task/752/stat : 752 (java) S 737 739 709 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 544199330 7776522240 17619 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=753] ppid=737 vsize=7594260 CPUtime=0 cores=0,2
/proc/739/task/753/stat : 753 (java) S 737 739 709 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544199332 7776522240 17619 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296749489 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=755] ppid=737 vsize=7594260 CPUtime=0.2 cores=0,2
/proc/739/task/755/stat : 755 (java) S 737 739 709 0 -1 4202560 1433 0 0 0 20 0 0 0 18 0 19 0 544199332 7776522240 17619 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=756] ppid=737 vsize=7594260 CPUtime=0.56 cores=0,2
/proc/739/task/756/stat : 756 (java) R 737 739 709 0 -1 4202560 7641 0 0 0 55 1 0 0 19 0 19 0 544199332 7776522240 17619 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 47961931623841 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=739/tid=757] ppid=737 vsize=7594260 CPUtime=0 cores=0,2
/proc/739/task/757/stat : 757 (java) S 737 739 709 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544199332 7776522240 17619 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=758] ppid=737 vsize=7594260 CPUtime=0 cores=0,2
/proc/739/task/758/stat : 758 (java) S 737 739 709 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 544199332 7776522240 17619 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296742400 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=759] ppid=737 vsize=7594260 CPUtime=0 cores=0,2
/proc/739/task/759/stat : 759 (java) S 737 739 709 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 544199344 7776522240 17619 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296742400 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 7594260

[startup+3.10143 s]
/proc/loadavg: 0.16 0.03 0.01 2/193 759
/proc/meminfo: memFree=20485536/32951124 swapFree=67110396/67111528
[pid=739] ppid=737 vsize=7596444 CPUtime=3.95 cores=0,2
/proc/739/stat : 739 (java) S 737 739 709 0 -1 4202496 21799 0 1 0 392 3 0 0 22 0 19 0 544199326 7778758656 18708 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/739/statm: 1899111 18708 2255 9 0 1889849 0
[pid=739/tid=741] ppid=737 vsize=7596444 CPUtime=2.98 cores=0,2
/proc/739/task/741/stat : 741 (java) R 737 739 709 0 -1 4202560 9335 0 1 0 297 1 0 0 25 0 19 0 544199326 7778758656 18708 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 46912505721629 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=739/tid=742] ppid=737 vsize=7596444 CPUtime=0 cores=0,2
/proc/739/task/742/stat : 742 (java) S 737 739 709 0 -1 4202560 254 0 0 0 0 0 0 0 15 0 19 0 544199328 7778758656 18708 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=743] ppid=737 vsize=7596444 CPUtime=0 cores=0,2
/proc/739/task/743/stat : 743 (java) S 737 739 709 0 -1 4202560 242 0 0 0 0 0 0 0 15 0 19 0 544199328 7778758656 18708 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=744] ppid=737 vsize=7596444 CPUtime=0 cores=0,2
/proc/739/task/744/stat : 744 (java) S 737 739 709 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 544199328 7778758656 18708 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=745] ppid=737 vsize=7596444 CPUtime=0 cores=0,2
/proc/739/task/745/stat : 745 (java) S 737 739 709 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 544199328 7778758656 18708 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=746] ppid=737 vsize=7596444 CPUtime=0 cores=0,2
/proc/739/task/746/stat : 746 (java) S 737 739 709 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 544199328 7778758656 18708 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=747] ppid=737 vsize=7596444 CPUtime=0 cores=0,2
/proc/739/task/747/stat : 747 (java) S 737 739 709 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 544199328 7778758656 18708 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=748] ppid=737 vsize=7596444 CPUtime=0 cores=0,2
/proc/739/task/748/stat : 748 (java) S 737 739 709 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 544199328 7778758656 18708 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=749] ppid=737 vsize=7596444 CPUtime=0 cores=0,2
/proc/739/task/749/stat : 749 (java) S 737 739 709 0 -1 4202560 317 0 0 0 0 0 0 0 16 0 19 0 544199328 7778758656 18708 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=750] ppid=737 vsize=7596444 CPUtime=0.03 cores=0,2
/proc/739/task/750/stat : 750 (java) S 737 739 709 0 -1 4202560 869 0 0 0 3 0 0 0 16 0 19 0 544199329 7778758656 18708 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296742400 0 0 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=751] ppid=737 vsize=7596444 CPUtime=0 cores=0,2
/proc/739/task/751/stat : 751 (java) S 737 739 709 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 544199330 7778758656 18708 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=752] ppid=737 vsize=7596444 CPUtime=0 cores=0,2
/proc/739/task/752/stat : 752 (java) S 737 739 709 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 544199330 7778758656 18708 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=753] ppid=737 vsize=7596444 CPUtime=0 cores=0,2
/proc/739/task/753/stat : 753 (java) S 737 739 709 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544199332 7778758656 18708 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296749489 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=755] ppid=737 vsize=7596444 CPUtime=0.22 cores=0,2
/proc/739/task/755/stat : 755 (java) S 737 739 709 0 -1 4202560 1434 0 0 0 22 0 0 0 15 0 19 0 544199332 7778758656 18708 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=756] ppid=737 vsize=7596444 CPUtime=0.68 cores=0,2
/proc/739/task/756/stat : 756 (java) S 737 739 709 0 -1 4202560 8189 0 0 0 67 1 0 0 15 0 19 0 544199332 7778758656 18708 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=757] ppid=737 vsize=7596444 CPUtime=0 cores=0,2
/proc/739/task/757/stat : 757 (java) S 737 739 709 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544199332 7778758656 18708 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=758] ppid=737 vsize=7596444 CPUtime=0 cores=0,2
/proc/739/task/758/stat : 758 (java) S 737 739 709 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 544199332 7778758656 18708 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296742400 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=759] ppid=737 vsize=7596444 CPUtime=0 cores=0,2
/proc/739/task/759/stat : 759 (java) S 737 739 709 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 544199344 7778758656 18708 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296742400 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 7596444

[startup+6.30097 s]
/proc/loadavg: 0.16 0.03 0.01 7/239 815
/proc/meminfo: memFree=20364488/32951124 swapFree=67110396/67111528
[pid=739] ppid=737 vsize=7588176 CPUtime=7.17 cores=0,2
/proc/739/stat : 739 (java) S 737 739 709 0 -1 4202496 22183 0 1 0 714 3 0 0 22 0 19 0 544199326 7770292224 17091 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/739/statm: 1897044 17091 2255 9 0 1887782 0
[pid=739/tid=741] ppid=737 vsize=7588176 CPUtime=6.09 cores=0,2
/proc/739/task/741/stat : 741 (java) R 737 739 709 0 -1 4202560 9339 0 1 0 608 1 0 0 25 0 19 0 544199326 7770292224 17091 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 46912505805796 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=739/tid=742] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/742/stat : 742 (java) S 737 739 709 0 -1 4202560 309 0 0 0 0 0 0 0 15 0 19 0 544199328 7770292224 17091 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=743] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/743/stat : 743 (java) S 737 739 709 0 -1 4202560 246 0 0 0 0 0 0 0 15 0 19 0 544199328 7770292224 17091 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=744] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/744/stat : 744 (java) S 737 739 709 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 544199328 7770292224 17091 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=745] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/745/stat : 745 (java) S 737 739 709 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 544199328 7770292224 17091 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=746] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/746/stat : 746 (java) S 737 739 709 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 544199328 7770292224 17091 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=747] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/747/stat : 747 (java) S 737 739 709 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 544199328 7770292224 17091 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=748] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/748/stat : 748 (java) S 737 739 709 0 -1 4202560 37 0 0 0 0 0 0 0 16 0 19 0 544199328 7770292224 17091 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=749] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/749/stat : 749 (java) S 737 739 709 0 -1 4202560 317 0 0 0 0 0 0 0 15 0 19 0 544199328 7770292224 17091 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=750] ppid=737 vsize=7588176 CPUtime=0.07 cores=0,2
/proc/739/task/750/stat : 750 (java) S 737 739 709 0 -1 4202560 1139 0 0 0 7 0 0 0 15 0 19 0 544199329 7770292224 17091 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296742400 0 0 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=751] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/751/stat : 751 (java) S 737 739 709 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 544199330 7770292224 17091 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=752] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/752/stat : 752 (java) S 737 739 709 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 544199330 7770292224 17091 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=753] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/753/stat : 753 (java) S 737 739 709 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544199332 7770292224 17091 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296749489 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=755] ppid=737 vsize=7588176 CPUtime=0.27 cores=0,2
/proc/739/task/755/stat : 755 (java) S 737 739 709 0 -1 4202560 1437 0 0 0 27 0 0 0 15 0 19 0 544199332 7770292224 17091 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=756] ppid=737 vsize=7588176 CPUtime=0.68 cores=0,2
/proc/739/task/756/stat : 756 (java) S 737 739 709 0 -1 4202560 8189 0 0 0 67 1 0 0 15 0 19 0 544199332 7770292224 17091 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=757] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/757/stat : 757 (java) S 737 739 709 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544199332 7770292224 17091 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=758] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/758/stat : 758 (java) S 737 739 709 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 544199332 7770292224 17091 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296742400 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=759] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/759/stat : 759 (java) S 737 739 709 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 544199344 7770292224 17091 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296742400 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.17
Current children cumulated vsize (KiB) 7588176

[startup+12.7009 s]

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

[pid=739/tid=747] ppid=737 vsize=7588176 CPUtime=0.08 cores=0,2
/proc/739/task/747/stat : 747 (java) S 737 739 709 0 -1 4202560 17 0 0 0 8 0 0 0 15 0 19 0 544199328 7770292224 20858 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=748] ppid=737 vsize=7588176 CPUtime=0.09 cores=0,2
/proc/739/task/748/stat : 748 (java) S 737 739 709 0 -1 4202560 37 0 0 0 9 0 0 0 16 0 19 0 544199328 7770292224 20858 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=749] ppid=737 vsize=7588176 CPUtime=0.08 cores=0,2
/proc/739/task/749/stat : 749 (java) S 737 739 709 0 -1 4202560 336 0 0 0 8 0 0 0 16 0 19 0 544199328 7770292224 20858 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=750] ppid=737 vsize=7588176 CPUtime=6.47 cores=0,2
/proc/739/task/750/stat : 750 (java) S 737 739 709 0 -1 4202560 4835 0 0 0 646 1 0 0 15 0 19 0 544199329 7770292224 20858 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296742400 0 0 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=751] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/751/stat : 751 (java) S 737 739 709 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 544199330 7770292224 20858 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=752] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/752/stat : 752 (java) S 737 739 709 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 544199330 7770292224 20858 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=753] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/753/stat : 753 (java) S 737 739 709 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544199332 7770292224 20858 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296749489 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=755] ppid=737 vsize=7588176 CPUtime=0.29 cores=0,2
/proc/739/task/755/stat : 755 (java) S 737 739 709 0 -1 4202560 1442 0 0 0 29 0 0 0 15 0 19 0 544199332 7770292224 20858 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=756] ppid=737 vsize=7588176 CPUtime=0.68 cores=0,2
/proc/739/task/756/stat : 756 (java) S 737 739 709 0 -1 4202560 8189 0 0 0 67 1 0 0 15 0 19 0 544199332 7770292224 20858 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=757] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/757/stat : 757 (java) S 737 739 709 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544199332 7770292224 20858 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=758] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/758/stat : 758 (java) S 737 739 709 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 544199332 7770292224 20858 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296742400 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=759] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/759/stat : 759 (java) S 737 739 709 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 544199344 7770292224 20858 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296742400 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1123.39
Current children cumulated vsize (KiB) 7588176

[startup+1182.3 s]
/proc/loadavg: 4.04 3.94 2.88 5/262 1035
/proc/meminfo: memFree=19591516/32951124 swapFree=67110396/67111528
[pid=739] ppid=737 vsize=7588176 CPUtime=1183.4 cores=0,2
/proc/739/stat : 739 (java) S 737 739 709 0 -1 4202496 26363 0 1 0 118333 7 0 0 22 0 19 0 544199326 7770292224 20958 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/739/statm: 1897044 20958 2256 9 0 1887782 0
[pid=739/tid=741] ppid=737 vsize=7588176 CPUtime=1174.93 cores=0,2
/proc/739/task/741/stat : 741 (java) R 737 739 709 0 -1 4202560 9519 0 1 0 117490 3 0 0 25 0 19 0 544199326 7770292224 20958 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 46912505616905 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=739/tid=742] ppid=737 vsize=7588176 CPUtime=0.09 cores=0,2
/proc/739/task/742/stat : 742 (java) S 737 739 709 0 -1 4202560 311 0 0 0 9 0 0 0 15 0 19 0 544199328 7770292224 20958 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=743] ppid=737 vsize=7588176 CPUtime=0.07 cores=0,2
/proc/739/task/743/stat : 743 (java) S 737 739 709 0 -1 4202560 253 0 0 0 7 0 0 0 15 0 19 0 544199328 7770292224 20958 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=744] ppid=737 vsize=7588176 CPUtime=0.08 cores=0,2
/proc/739/task/744/stat : 744 (java) S 737 739 709 0 -1 4202560 26 0 0 0 8 0 0 0 15 0 19 0 544199328 7770292224 20958 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=745] ppid=737 vsize=7588176 CPUtime=0.06 cores=0,2
/proc/739/task/745/stat : 745 (java) S 737 739 709 0 -1 4202560 21 0 0 0 6 0 0 0 15 0 19 0 544199328 7770292224 20958 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=746] ppid=737 vsize=7588176 CPUtime=0.09 cores=0,2
/proc/739/task/746/stat : 746 (java) S 737 739 709 0 -1 4202560 64 0 0 0 9 0 0 0 15 0 19 0 544199328 7770292224 20958 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=747] ppid=737 vsize=7588176 CPUtime=0.08 cores=0,2
/proc/739/task/747/stat : 747 (java) S 737 739 709 0 -1 4202560 17 0 0 0 8 0 0 0 15 0 19 0 544199328 7770292224 20958 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=748] ppid=737 vsize=7588176 CPUtime=0.09 cores=0,2
/proc/739/task/748/stat : 748 (java) S 737 739 709 0 -1 4202560 37 0 0 0 9 0 0 0 15 0 19 0 544199328 7770292224 20958 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=749] ppid=737 vsize=7588176 CPUtime=0.08 cores=0,2
/proc/739/task/749/stat : 749 (java) S 737 739 709 0 -1 4202560 336 0 0 0 8 0 0 0 15 0 19 0 544199328 7770292224 20958 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=750] ppid=737 vsize=7588176 CPUtime=6.76 cores=0,2
/proc/739/task/750/stat : 750 (java) S 737 739 709 0 -1 4202560 4929 0 0 0 675 1 0 0 15 0 19 0 544199329 7770292224 20958 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296742400 0 0 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=751] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/751/stat : 751 (java) S 737 739 709 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 544199330 7770292224 20958 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=752] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/752/stat : 752 (java) S 737 739 709 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 544199330 7770292224 20958 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=753] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/753/stat : 753 (java) S 737 739 709 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544199332 7770292224 20958 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296749489 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=755] ppid=737 vsize=7588176 CPUtime=0.29 cores=0,2
/proc/739/task/755/stat : 755 (java) S 737 739 709 0 -1 4202560 1442 0 0 0 29 0 0 0 15 0 19 0 544199332 7770292224 20958 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=756] ppid=737 vsize=7588176 CPUtime=0.68 cores=0,2
/proc/739/task/756/stat : 756 (java) S 737 739 709 0 -1 4202560 8189 0 0 0 67 1 0 0 15 0 19 0 544199332 7770292224 20958 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=757] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/757/stat : 757 (java) S 737 739 709 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544199332 7770292224 20958 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=758] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/758/stat : 758 (java) S 737 739 709 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 544199332 7770292224 20958 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296742400 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=759] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/759/stat : 759 (java) S 737 739 709 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 544199344 7770292224 20958 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296742400 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1183.4
Current children cumulated vsize (KiB) 7588176

[startup+1242.3 s]
/proc/loadavg: 4.08 3.97 2.95 5/262 1037
/proc/meminfo: memFree=19589356/32951124 swapFree=67110396/67111528
[pid=739] ppid=737 vsize=7588176 CPUtime=1243.41 cores=0,2
/proc/739/stat : 739 (java) S 737 739 709 0 -1 4202496 26478 0 1 0 124334 7 0 0 22 0 19 0 544199326 7770292224 21061 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/739/statm: 1897044 21061 2256 9 0 1887782 0
[pid=739/tid=741] ppid=737 vsize=7588176 CPUtime=1234.67 cores=0,2
/proc/739/task/741/stat : 741 (java) R 737 739 709 0 -1 4202560 9523 0 1 0 123464 3 0 0 25 0 19 0 544199326 7770292224 21061 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 46912505697205 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=739/tid=742] ppid=737 vsize=7588176 CPUtime=0.09 cores=0,2
/proc/739/task/742/stat : 742 (java) S 737 739 709 0 -1 4202560 311 0 0 0 9 0 0 0 15 0 19 0 544199328 7770292224 21061 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=743] ppid=737 vsize=7588176 CPUtime=0.08 cores=0,2
/proc/739/task/743/stat : 743 (java) S 737 739 709 0 -1 4202560 253 0 0 0 8 0 0 0 15 0 19 0 544199328 7770292224 21061 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=744] ppid=737 vsize=7588176 CPUtime=0.08 cores=0,2
/proc/739/task/744/stat : 744 (java) S 737 739 709 0 -1 4202560 26 0 0 0 8 0 0 0 15 0 19 0 544199328 7770292224 21061 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=745] ppid=737 vsize=7588176 CPUtime=0.06 cores=0,2
/proc/739/task/745/stat : 745 (java) S 737 739 709 0 -1 4202560 21 0 0 0 6 0 0 0 16 0 19 0 544199328 7770292224 21061 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=746] ppid=737 vsize=7588176 CPUtime=0.1 cores=0,2
/proc/739/task/746/stat : 746 (java) S 737 739 709 0 -1 4202560 64 0 0 0 10 0 0 0 15 0 19 0 544199328 7770292224 21061 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=747] ppid=737 vsize=7588176 CPUtime=0.09 cores=0,2
/proc/739/task/747/stat : 747 (java) S 737 739 709 0 -1 4202560 17 0 0 0 9 0 0 0 16 0 19 0 544199328 7770292224 21061 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=748] ppid=737 vsize=7588176 CPUtime=0.09 cores=0,2
/proc/739/task/748/stat : 748 (java) S 737 739 709 0 -1 4202560 37 0 0 0 9 0 0 0 15 0 19 0 544199328 7770292224 21061 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=749] ppid=737 vsize=7588176 CPUtime=0.08 cores=0,2
/proc/739/task/749/stat : 749 (java) S 737 739 709 0 -1 4202560 336 0 0 0 8 0 0 0 15 0 19 0 544199328 7770292224 21061 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=750] ppid=737 vsize=7588176 CPUtime=7.01 cores=0,2
/proc/739/task/750/stat : 750 (java) S 737 739 709 0 -1 4202560 5036 0 0 0 700 1 0 0 15 0 19 0 544199329 7770292224 21061 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296742400 0 0 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=751] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/751/stat : 751 (java) S 737 739 709 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 544199330 7770292224 21061 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=752] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/752/stat : 752 (java) S 737 739 709 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 544199330 7770292224 21061 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=753] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/753/stat : 753 (java) S 737 739 709 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544199332 7770292224 21061 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296749489 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=755] ppid=737 vsize=7588176 CPUtime=0.29 cores=0,2
/proc/739/task/755/stat : 755 (java) S 737 739 709 0 -1 4202560 1442 0 0 0 29 0 0 0 15 0 19 0 544199332 7770292224 21061 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=756] ppid=737 vsize=7588176 CPUtime=0.68 cores=0,2
/proc/739/task/756/stat : 756 (java) S 737 739 709 0 -1 4202560 8189 0 0 0 67 1 0 0 15 0 19 0 544199332 7770292224 21061 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=757] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/757/stat : 757 (java) S 737 739 709 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544199332 7770292224 21061 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=758] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/758/stat : 758 (java) S 737 739 709 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 544199332 7770292224 21061 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296742400 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=759] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/759/stat : 759 (java) S 737 739 709 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 544199344 7770292224 21061 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296742400 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1243.41
Current children cumulated vsize (KiB) 7588176



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.08 3.98 3.02 5/262 1039
/proc/meminfo: memFree=19575164/32951124 swapFree=67110396/67111528
[pid=739] ppid=737 vsize=7588176 CPUtime=1301.12 cores=0,2
/proc/739/stat : 739 (java) S 737 739 709 0 -1 4202496 26555 0 1 0 130105 7 0 0 22 0 19 0 544199326 7770292224 21128 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/739/statm: 1897044 21128 2256 9 0 1887782 0
[pid=739/tid=741] ppid=737 vsize=7588176 CPUtime=1292.11 cores=0,2
/proc/739/task/741/stat : 741 (java) R 737 739 709 0 -1 4202560 9527 0 1 0 129208 3 0 0 25 0 19 0 544199326 7770292224 21128 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 46912505697205 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=739/tid=742] ppid=737 vsize=7588176 CPUtime=0.1 cores=0,2
/proc/739/task/742/stat : 742 (java) S 737 739 709 0 -1 4202560 311 0 0 0 10 0 0 0 15 0 19 0 544199328 7770292224 21128 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=743] ppid=737 vsize=7588176 CPUtime=0.08 cores=0,2
/proc/739/task/743/stat : 743 (java) S 737 739 709 0 -1 4202560 253 0 0 0 8 0 0 0 16 0 19 0 544199328 7770292224 21128 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=744] ppid=737 vsize=7588176 CPUtime=0.08 cores=0,2
/proc/739/task/744/stat : 744 (java) S 737 739 709 0 -1 4202560 26 0 0 0 8 0 0 0 15 0 19 0 544199328 7770292224 21128 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=745] ppid=737 vsize=7588176 CPUtime=0.06 cores=0,2
/proc/739/task/745/stat : 745 (java) S 737 739 709 0 -1 4202560 21 0 0 0 6 0 0 0 15 0 19 0 544199328 7770292224 21128 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=746] ppid=737 vsize=7588176 CPUtime=0.1 cores=0,2
/proc/739/task/746/stat : 746 (java) S 737 739 709 0 -1 4202560 64 0 0 0 10 0 0 0 15 0 19 0 544199328 7770292224 21128 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=747] ppid=737 vsize=7588176 CPUtime=0.09 cores=0,2
/proc/739/task/747/stat : 747 (java) S 737 739 709 0 -1 4202560 17 0 0 0 9 0 0 0 15 0 19 0 544199328 7770292224 21128 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=748] ppid=737 vsize=7588176 CPUtime=0.09 cores=0,2
/proc/739/task/748/stat : 748 (java) S 737 739 709 0 -1 4202560 37 0 0 0 9 0 0 0 16 0 19 0 544199328 7770292224 21128 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=749] ppid=737 vsize=7588176 CPUtime=0.09 cores=0,2
/proc/739/task/749/stat : 749 (java) S 737 739 709 0 -1 4202560 336 0 0 0 9 0 0 0 15 0 19 0 544199328 7770292224 21128 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=750] ppid=737 vsize=7588176 CPUtime=7.26 cores=0,2
/proc/739/task/750/stat : 750 (java) S 737 739 709 0 -1 4202560 5105 0 0 0 725 1 0 0 15 0 19 0 544199329 7770292224 21128 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296742400 0 0 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=751] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/751/stat : 751 (java) S 737 739 709 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 544199330 7770292224 21128 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=752] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/752/stat : 752 (java) S 737 739 709 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 544199330 7770292224 21128 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=753] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/753/stat : 753 (java) S 737 739 709 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544199332 7770292224 21128 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296749489 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=755] ppid=737 vsize=7588176 CPUtime=0.29 cores=0,2
/proc/739/task/755/stat : 755 (java) S 737 739 709 0 -1 4202560 1442 0 0 0 29 0 0 0 15 0 19 0 544199332 7770292224 21128 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=756] ppid=737 vsize=7588176 CPUtime=0.68 cores=0,2
/proc/739/task/756/stat : 756 (java) S 737 739 709 0 -1 4202560 8189 0 0 0 67 1 0 0 15 0 19 0 544199332 7770292224 21128 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=757] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/757/stat : 757 (java) S 737 739 709 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544199332 7770292224 21128 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296741785 0 4 0 16800975 18446604453880074688 0 0 -1 0 0 0 0
[pid=739/tid=758] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/758/stat : 758 (java) S 737 739 709 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 544199332 7770292224 21128 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296742400 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
[pid=739/tid=759] ppid=737 vsize=7588176 CPUtime=0 cores=0,2
/proc/739/task/759/stat : 759 (java) S 737 739 709 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 544199344 7770292224 21128 33554432000 1073741824 1073778376 140734155685856 18446744073709551615 224296742400 0 4 0 16800975 18446604453880074688 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1301.12
Current children cumulated vsize (KiB) 7588176

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

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

Child status: 143
Real time (s): 1300.05
CPU time (s): 1301.22
CPU user time (s): 1301.14
CPU system time (s): 0.085986
CPU usage (%): 100.09
Max. virtual memory (cumulated for all children) (KiB): 7596444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.14
system time used= 0.085986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26592
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= 31733
involuntary context switches= 10990

runsolver used 2.31365 second user time and 4.81427 second system time

The end

Launcher Data 

Begin job on node118 at 2011-04-23 08:21:27
IDJOB=3260676
IDBENCH=83192
IDSOLVER=1611
FILE ID=node118/3260676-1303539686
RUNJOBID= node118-1303539684-727
PBS_JOBID= 13143120
Free space on /tmp= 71744 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/crafted/skvortsov/automata-synchronization/rnd_100_28_u.cnf
COMMAND LINE= java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3260676-1303539686/watcher-3260676-1303539686 -o /tmp/evaluation-result-3260676-1303539686/solver-3260676-1303539686 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3260676-1303539686.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 7fb794f1c5d1c4d1723aeeb5efb40cdc
RANDOM SEED=1713652017

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20550808 kB
Buffers:       1854724 kB
Cached:        9959908 kB
SwapCached:        600 kB
Active:        8437756 kB
Inactive:      3441704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20550808 kB
SwapTotal:    67111528 kB
SwapFree:     67110396 kB
Dirty:              32 kB
Writeback:           0 kB
AnonPages:       63556 kB
Mapped:          14512 kB
Slab:           457868 kB
PageTables:       4800 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186620 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= 71740 MiB
End job on node118 at 2011-04-23 08:43:09