Trace number 3289903

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.56 1300.05

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
128/aes_128_2_keyfind_1.cnf
MD5SUM19e0b91e7d093f7cb35b11b46708a49b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of clauses20544
Sum of the clauses size111944
Maximum clause length8
Minimum clause length1
Number of clauses of size 1272
Number of clauses of size 2256
Number of clauses of size 33520
Number of clauses of size 4640
Number of clauses of size 54096
Number of clauses of size over 511760

Solver Data 

0.04/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.09	c See www.sat4j.org for details.
0.04/0.09	c no version file found!!!
0.04/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.09	c java.vm.version	19.1-b02
0.04/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.18-164.el5
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		6997539544
0.04/0.09	c Max memory 		7034241024
0.04/0.09	c Total memory 		7034241024
0.04/0.09	c Number of processors 	8
0.07/0.11	c --- Begin Solver configuration ---
0.07/0.11	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.07/0.11	c Learn all clauses as in MiniSAT
0.07/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.07/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.07/0.11	c Expensive reason simplification
0.07/0.11	c Armin Biere (Picosat) restarts strategy
0.07/0.11	c Glucose learned constraints deletion strategy
0.07/0.11	c timeout=2147483647s
0.07/0.11	c DB Simplification allowed=true
0.07/0.11	c --- End Solver configuration ---
0.07/0.11	c solving HOME/instance-3289903-1303787801.cnf
0.07/0.11	c reading problem ... 
0.07/0.21	c ... done. Wall clock time 0.097s.
0.07/0.21	c #vars     2000
0.07/0.21	c #constraints  20480
0.07/0.21	c constraints type 
0.07/0.21	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 19952
0.07/0.21	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 256
1.10/0.71	c cleaning 2493 clauses out of 5000 with flag 5000/5000
1.89/1.12	c cleaning 4245 clauses out of 8509 with flag 11002/11002
2.30/1.53	c cleaning 5623 clauses out of 11263 with flag 18001/18001
2.81/2.06	c cleaning 6804 clauses out of 13639 with flag 26000/26000
3.41/2.65	c cleaning 7901 clauses out of 15835 with flag 35000/35000
4.12/3.38	c cleaning 8945 clauses out of 17934 with flag 45000/45000
4.91/4.15	c cleaning 9968 clauses out of 19989 with flag 56000/56000
5.91/5.13	c cleaning 10977 clauses out of 22021 with flag 68000/68000
6.90/6.12	c cleaning 12002 clauses out of 24046 with flag 81002/81002
8.10/7.34	c cleaning 12984 clauses out of 26042 with flag 95000/95000
9.49/8.74	c cleaning 14013 clauses out of 28058 with flag 110000/110000
11.08/10.31	c cleaning 14985 clauses out of 30046 with flag 126001/126001
12.79/12.08	c cleaning 16002 clauses out of 32060 with flag 143000/143000
14.78/14.02	c cleaning 16996 clauses out of 34059 with flag 161001/161001
16.88/16.18	c cleaning 18001 clauses out of 36064 with flag 180002/180002
19.08/18.35	c cleaning 18990 clauses out of 38062 with flag 200001/200001
21.48/20.72	c cleaning 20004 clauses out of 40071 with flag 221000/221000
23.99/23.23	c cleaning 20496 clauses out of 41068 with flag 242001/242001
27.19/26.45	c cleaning 20761 clauses out of 41571 with flag 263000/263000
29.79/29.04	c cleaning 20863 clauses out of 41812 with flag 284002/284002
32.19/31.45	c cleaning 20929 clauses out of 41948 with flag 305001/305001
35.00/34.29	c cleaning 20971 clauses out of 42018 with flag 326000/326000
37.30/36.56	c cleaning 20981 clauses out of 42047 with flag 347000/347000
40.00/39.22	c cleaning 21001 clauses out of 42068 with flag 368002/368002
42.51/41.73	c cleaning 20986 clauses out of 42065 with flag 389000/389000
45.10/44.33	c cleaning 20997 clauses out of 42079 with flag 410000/410000
48.41/47.66	c cleaning 21010 clauses out of 42082 with flag 431000/431000
51.41/50.66	c cleaning 21001 clauses out of 42072 with flag 452000/452000
53.91/53.16	c cleaning 20990 clauses out of 42073 with flag 473002/473002
56.82/56.10	c cleaning 21005 clauses out of 42082 with flag 494001/494001
59.51/58.79	c cleaning 20988 clauses out of 42077 with flag 515001/515001
62.21/61.47	c cleaning 20999 clauses out of 42090 with flag 536002/536002
65.22/64.41	c cleaning 21000 clauses out of 42089 with flag 557000/557000
67.82/67.08	c cleaning 20987 clauses out of 42090 with flag 578001/578001
71.32/70.51	c cleaning 21010 clauses out of 42104 with flag 599002/599002
74.53/73.78	c cleaning 21004 clauses out of 42092 with flag 620000/620000
77.52/76.75	c cleaning 20988 clauses out of 42090 with flag 641002/641002
82.53/81.75	c cleaning 21003 clauses out of 42103 with flag 662003/662003
85.83/85.06	c cleaning 21005 clauses out of 42097 with flag 683000/683000
88.53/87.77	c cleaning 20984 clauses out of 42092 with flag 704000/704000
91.53/90.78	c cleaning 21013 clauses out of 42109 with flag 725001/725001
95.63/94.86	c cleaning 21003 clauses out of 42095 with flag 746000/746000
98.03/97.26	c cleaning 21020 clauses out of 42093 with flag 767001/767001
101.53/100.77	c cleaning 21010 clauses out of 42073 with flag 788001/788001
105.24/104.48	c cleaning 20996 clauses out of 42063 with flag 809001/809001
109.74/108.97	c cleaning 20994 clauses out of 42067 with flag 830001/830001
112.44/111.68	c cleaning 21007 clauses out of 42074 with flag 851002/851002
115.94/115.14	c cleaning 20999 clauses out of 42065 with flag 872000/872000
121.14/120.40	c cleaning 20979 clauses out of 42066 with flag 893000/893000
125.74/124.93	c cleaning 21021 clauses out of 42088 with flag 914001/914001
128.65/127.83	c cleaning 20990 clauses out of 42066 with flag 935000/935000
131.26/130.41	c cleaning 20990 clauses out of 42078 with flag 956002/956002
134.36/133.54	c cleaning 20977 clauses out of 42086 with flag 977000/977000
138.86/138.00	c cleaning 20983 clauses out of 42110 with flag 998001/998001
143.66/142.87	c cleaning 21026 clauses out of 42129 with flag 1019003/1019003
146.56/145.79	c cleaning 21017 clauses out of 42102 with flag 1040002/1040002
149.56/148.79	c cleaning 20991 clauses out of 42083 with flag 1061000/1061000
152.76/151.90	c cleaning 21013 clauses out of 42092 with flag 1082000/1082000
157.67/156.84	c cleaning 21007 clauses out of 42081 with flag 1103002/1103002
160.47/159.65	c cleaning 20989 clauses out of 42072 with flag 1124000/1124000
163.97/163.17	c cleaning 21017 clauses out of 42084 with flag 1145001/1145001
168.37/167.51	c cleaning 20987 clauses out of 42066 with flag 1166000/1166000
172.07/171.25	c cleaning 21000 clauses out of 42080 with flag 1187001/1187001
175.18/174.40	c cleaning 20991 clauses out of 42081 with flag 1208002/1208002
180.38/179.57	c cleaning 20972 clauses out of 42089 with flag 1229001/1229001
183.39/182.53	c cleaning 21015 clauses out of 42117 with flag 1250001/1250001
186.88/186.05	c cleaning 21011 clauses out of 42102 with flag 1271001/1271001
190.98/190.18	c cleaning 21014 clauses out of 42092 with flag 1292002/1292002
196.59/195.71	c cleaning 21000 clauses out of 42077 with flag 1313001/1313001
201.79/200.96	c cleaning 20976 clauses out of 42078 with flag 1334002/1334002
206.09/205.22	c cleaning 20994 clauses out of 42100 with flag 1355000/1355000
209.19/208.38	c cleaning 20996 clauses out of 42106 with flag 1376000/1376000
212.69/211.85	c cleaning 21014 clauses out of 42111 with flag 1397001/1397001
216.70/215.87	c cleaning 21006 clauses out of 42096 with flag 1418000/1418000
221.79/220.91	c cleaning 21017 clauses out of 42091 with flag 1439001/1439001
225.59/224.75	c cleaning 20996 clauses out of 42074 with flag 1460001/1460001
229.30/228.45	c cleaning 20995 clauses out of 42077 with flag 1481000/1481000
234.50/233.60	c cleaning 21003 clauses out of 42083 with flag 1502001/1502001
237.00/236.15	c cleaning 21014 clauses out of 42081 with flag 1523002/1523002
240.10/239.25	c cleaning 20986 clauses out of 42067 with flag 1544002/1544002
244.30/243.46	c cleaning 21000 clauses out of 42079 with flag 1565000/1565000
249.10/248.26	c cleaning 21007 clauses out of 42080 with flag 1586001/1586001
254.91/254.01	c cleaning 21000 clauses out of 42073 with flag 1607001/1607001
261.00/260.17	c cleaning 20985 clauses out of 42072 with flag 1628000/1628000
264.51/263.69	c cleaning 21024 clauses out of 42087 with flag 1649000/1649000
267.41/266.58	c cleaning 20983 clauses out of 42064 with flag 1670001/1670001
270.91/270.08	c cleaning 21016 clauses out of 42081 with flag 1691001/1691001
274.72/273.83	c cleaning 21007 clauses out of 42064 with flag 1712000/1712000
277.61/276.75	c cleaning 20977 clauses out of 42057 with flag 1733000/1733000
282.61/281.74	c cleaning 21000 clauses out of 42080 with flag 1754000/1754000
291.32/290.49	c cleaning 21009 clauses out of 42082 with flag 1775002/1775002
300.62/299.79	c cleaning 20984 clauses out of 42072 with flag 1796001/1796001
308.83/307.97	c cleaning 20964 clauses out of 42087 with flag 1817000/1817000
315.43/314.54	c cleaning 21021 clauses out of 42123 with flag 1838000/1838000
318.13/317.20	c cleaning 21013 clauses out of 42102 with flag 1859000/1859000
321.83/320.97	c cleaning 21011 clauses out of 42090 with flag 1880001/1880001
326.63/325.79	c cleaning 21002 clauses out of 42078 with flag 1901000/1901000
332.33/331.47	c cleaning 20999 clauses out of 42076 with flag 1922000/1922000
338.73/337.81	c cleaning 21023 clauses out of 42077 with flag 1943000/1943000
344.14/343.22	c cleaning 21001 clauses out of 42055 with flag 1964001/1964001
349.84/348.95	c cleaning 20995 clauses out of 42053 with flag 1985000/1985000
357.35/356.49	c cleaning 20991 clauses out of 42059 with flag 2006001/2006001
362.05/361.14	c cleaning 20985 clauses out of 42067 with flag 2027000/2027000
365.65/364.80	c cleaning 20999 clauses out of 42082 with flag 2048000/2048000
369.55/368.69	c cleaning 21008 clauses out of 42084 with flag 2069001/2069001
373.55/372.69	c cleaning 21014 clauses out of 42075 with flag 2090000/2090000
378.26/377.36	c cleaning 21006 clauses out of 42061 with flag 2111000/2111000
383.35/382.46	c cleaning 20987 clauses out of 42056 with flag 2132001/2132001
387.56/386.68	c cleaning 21003 clauses out of 42069 with flag 2153001/2153001
391.06/390.13	c cleaning 20976 clauses out of 42067 with flag 2174002/2174002
394.86/393.91	c cleaning 20996 clauses out of 42089 with flag 2195000/2195000
399.37/398.45	c cleaning 21021 clauses out of 42095 with flag 2216002/2216002
402.87/401.99	c cleaning 21002 clauses out of 42073 with flag 2237001/2237001
405.97/405.03	c cleaning 20994 clauses out of 42071 with flag 2258001/2258001
411.37/410.46	c cleaning 20992 clauses out of 42076 with flag 2279000/2279000
415.88/414.95	c cleaning 21000 clauses out of 42084 with flag 2300000/2300000
419.48/418.53	c cleaning 21011 clauses out of 42085 with flag 2321001/2321001
422.29/421.32	c cleaning 20982 clauses out of 42074 with flag 2342001/2342001
426.18/425.21	c cleaning 21011 clauses out of 42091 with flag 2363000/2363000
430.18/429.21	c cleaning 20999 clauses out of 42082 with flag 2384002/2384002
433.49/432.57	c cleaning 21002 clauses out of 42081 with flag 2405000/2405000
437.70/436.72	c cleaning 20997 clauses out of 42083 with flag 2426004/2426004
443.59/442.62	c cleaning 21008 clauses out of 42083 with flag 2447001/2447001
446.29/445.34	c cleaning 20952 clauses out of 42074 with flag 2468000/2468000
449.80/448.89	c cleaning 21009 clauses out of 42123 with flag 2489001/2489001
453.00/452.01	c cleaning 20995 clauses out of 42115 with flag 2510002/2510002
455.80/454.89	c cleaning 20889 clauses out of 42118 with flag 2531000/2531000
458.20/457.29	c cleaning 20920 clauses out of 42229 with flag 2552000/2552000
461.60/460.63	c cleaning 20511 clauses out of 42311 with flag 2573002/2573002
465.51/464.52	c cleaning 20690 clauses out of 42799 with flag 2594001/2594001
471.11/470.15	c cleaning 20483 clauses out of 43109 with flag 2615001/2615001
475.31/474.37	c cleaning 20841 clauses out of 43625 with flag 2636000/2636000
480.52/479.53	c cleaning 20676 clauses out of 43784 with flag 2657000/2657000
487.13/486.12	c cleaning 20720 clauses out of 44108 with flag 2678000/2678000
494.42/493.47	c cleaning 20907 clauses out of 44390 with flag 2699002/2699002
496.73/495.79	c cleaning 20945 clauses out of 44482 with flag 2720001/2720001
499.63/498.64	c cleaning 20880 clauses out of 44536 with flag 2741000/2741000
503.13/502.11	c cleaning 20785 clauses out of 44656 with flag 2762000/2762000
505.94/504.94	c cleaning 20746 clauses out of 44871 with flag 2783000/2783000
509.54/508.51	c cleaning 20720 clauses out of 45125 with flag 2804000/2804000
515.95/514.92	c cleaning 20722 clauses out of 45405 with flag 2825000/2825000
519.65/518.68	c cleaning 20860 clauses out of 45684 with flag 2846001/2846001
524.65/523.62	c cleaning 20948 clauses out of 45823 with flag 2867000/2867000
530.55/529.53	c cleaning 20939 clauses out of 45875 with flag 2888000/2888000
535.25/534.24	c cleaning 20916 clauses out of 45936 with flag 2909000/2909000
542.05/541.05	c cleaning 20903 clauses out of 46022 with flag 2930002/2930002
546.76/545.79	c cleaning 20856 clauses out of 46117 with flag 2951000/2951000
555.26/554.26	c cleaning 20710 clauses out of 46262 with flag 2972001/2972001
558.06/557.08	c cleaning 20849 clauses out of 46552 with flag 2993001/2993001
561.47/560.49	c cleaning 21006 clauses out of 46702 with flag 3014000/3014000
564.97/563.97	c cleaning 20903 clauses out of 46696 with flag 3035000/3035000
570.07/569.07	c cleaning 20823 clauses out of 46794 with flag 3056001/3056001
573.97/572.91	c cleaning 20902 clauses out of 46970 with flag 3077000/3077000
578.48/577.46	c cleaning 20993 clauses out of 47070 with flag 3098002/3098002
584.68/583.62	c cleaning 20876 clauses out of 47076 with flag 3119001/3119001
589.68/588.63	c cleaning 20865 clauses out of 47199 with flag 3140000/3140000
595.58/594.59	c cleaning 20886 clauses out of 47335 with flag 3161001/3161001
601.59/600.50	c cleaning 20831 clauses out of 47449 with flag 3182001/3182001
607.69/606.70	c cleaning 21004 clauses out of 47617 with flag 3203000/3203000
615.29/614.25	c cleaning 20778 clauses out of 47613 with flag 3224000/3224000
620.09/619.02	c cleaning 20986 clauses out of 47836 with flag 3245001/3245001
624.90/623.82	c cleaning 20904 clauses out of 47850 with flag 3266001/3266001
629.00/627.91	c cleaning 20972 clauses out of 47946 with flag 3287001/3287001
632.90/631.82	c cleaning 20886 clauses out of 47973 with flag 3308000/3308000
638.70/637.68	c cleaning 20799 clauses out of 48087 with flag 3329000/3329000
642.81/641.78	c cleaning 20952 clauses out of 48288 with flag 3350000/3350000
646.51/645.49	c cleaning 20965 clauses out of 48337 with flag 3371001/3371001
653.11/652.07	c cleaning 20745 clauses out of 48371 with flag 3392000/3392000
656.92/655.85	c cleaning 20937 clauses out of 48627 with flag 3413001/3413001
664.62/663.57	c cleaning 20740 clauses out of 48689 with flag 3434000/3434000
670.73/669.60	c cleaning 20951 clauses out of 48949 with flag 3455000/3455000
675.93/674.80	c cleaning 20918 clauses out of 49000 with flag 3476002/3476002
681.94/680.87	c cleaning 20814 clauses out of 49081 with flag 3497001/3497001
689.23/688.12	c cleaning 20884 clauses out of 49266 with flag 3518000/3518000
695.44/694.39	c cleaning 20970 clauses out of 49384 with flag 3539002/3539002
701.34/700.21	c cleaning 20985 clauses out of 49412 with flag 3560000/3560000
710.14/709.01	c cleaning 20957 clauses out of 49428 with flag 3581001/3581001
713.85/712.71	c cleaning 20827 clauses out of 49470 with flag 3602000/3602000
716.65/715.50	c cleaning 20794 clauses out of 49644 with flag 3623001/3623001
719.76/718.65	c cleaning 20892 clauses out of 49850 with flag 3644001/3644001
723.16/722.09	c cleaning 20933 clauses out of 49957 with flag 3665000/3665000
726.86/725.79	c cleaning 20924 clauses out of 50024 with flag 3686000/3686000
731.36/730.24	c cleaning 20942 clauses out of 50100 with flag 3707000/3707000
737.47/736.34	c cleaning 20794 clauses out of 50159 with flag 3728001/3728001
741.38/740.27	c cleaning 20933 clauses out of 50365 with flag 3749001/3749001
746.57/745.40	c cleaning 20938 clauses out of 50431 with flag 3770000/3770000
750.68/749.51	c cleaning 20973 clauses out of 50495 with flag 3791002/3791002
754.88/753.74	c cleaning 20955 clauses out of 50520 with flag 3812000/3812000
760.98/759.80	c cleaning 20996 clauses out of 50566 with flag 3833001/3833001
765.19/764.09	c cleaning 20905 clauses out of 50570 with flag 3854001/3854001
768.39/767.27	c cleaning 20914 clauses out of 50668 with flag 3875004/3875004
773.40/772.24	c cleaning 20810 clauses out of 50751 with flag 3896001/3896001
779.40/778.26	c cleaning 20883 clauses out of 50940 with flag 3917000/3917000
784.41/783.23	c cleaning 20944 clauses out of 51057 with flag 3938000/3938000
789.50/788.37	c cleaning 20552 clauses out of 51114 with flag 3959001/3959001
793.81/792.63	c cleaning 20621 clauses out of 51561 with flag 3980000/3980000
796.41/795.29	c cleaning 20911 clauses out of 51941 with flag 4001001/4001001
799.51/798.36	c cleaning 20953 clauses out of 52029 with flag 4022000/4022000
803.41/802.22	c cleaning 20920 clauses out of 52076 with flag 4043000/4043000
806.81/805.65	c cleaning 20955 clauses out of 52158 with flag 4064002/4064002
811.82/810.62	c cleaning 20783 clauses out of 52202 with flag 4085001/4085001
817.43/816.27	c cleaning 20948 clauses out of 52419 with flag 4106001/4106001
823.62/822.41	c cleaning 20959 clauses out of 52471 with flag 4127001/4127001
828.83/827.63	c cleaning 20972 clauses out of 52512 with flag 4148001/4148001
835.23/834.01	c cleaning 20958 clauses out of 52539 with flag 4169000/4169000
844.53/843.31	c cleaning 20759 clauses out of 52582 with flag 4190001/4190001
856.04/854.89	c cleaning 20836 clauses out of 52822 with flag 4211000/4211000
868.64/867.43	c cleaning 20966 clauses out of 52986 with flag 4232000/4232000
875.94/874.73	c cleaning 20834 clauses out of 53020 with flag 4253000/4253000
882.94/881.73	c cleaning 20654 clauses out of 53186 with flag 4274000/4274000
889.45/888.23	c cleaning 20931 clauses out of 53534 with flag 4295002/4295002
898.45/897.28	c cleaning 20944 clauses out of 53601 with flag 4316000/4316000
904.86/903.63	c cleaning 20904 clauses out of 53659 with flag 4337002/4337002
910.66/909.40	c cleaning 20696 clauses out of 53753 with flag 4358000/4358000
919.36/918.18	c cleaning 20636 clauses out of 54058 with flag 4379001/4379001
922.87/921.67	c cleaning 20830 clauses out of 54421 with flag 4400000/4400000
926.77/925.59	c cleaning 20829 clauses out of 54591 with flag 4421000/4421000
931.37/930.19	c cleaning 20905 clauses out of 54762 with flag 4442000/4442000
936.47/935.24	c cleaning 20911 clauses out of 54857 with flag 4463000/4463000
943.28/942.05	c cleaning 20840 clauses out of 54947 with flag 4484001/4484001
947.08/945.82	c cleaning 20977 clauses out of 55109 with flag 4505003/4505003
950.68/949.45	c cleaning 20882 clauses out of 55129 with flag 4526000/4526000
955.78/954.54	c cleaning 20965 clauses out of 55248 with flag 4547001/4547001
963.69/962.42	c cleaning 20960 clauses out of 55284 with flag 4568002/4568002
970.99/969.79	c cleaning 20826 clauses out of 55323 with flag 4589001/4589001
979.20/977.97	c cleaning 21055 clauses out of 55496 with flag 4610000/4610000
983.50/982.30	c cleaning 20820 clauses out of 55441 with flag 4631000/4631000
988.01/986.75	c cleaning 20956 clauses out of 55622 with flag 4652001/4652001
993.21/991.91	c cleaning 20929 clauses out of 55665 with flag 4673000/4673000
1000.52/999.29	c cleaning 20959 clauses out of 55736 with flag 4694000/4694000
1007.83/1006.59	c cleaning 20962 clauses out of 55777 with flag 4715000/4715000
1014.02/1012.73	c cleaning 20946 clauses out of 55815 with flag 4736000/4736000
1020.73/1019.46	c cleaning 20917 clauses out of 55869 with flag 4757000/4757000
1029.93/1028.65	c cleaning 20950 clauses out of 55953 with flag 4778001/4778001
1036.23/1034.96	c cleaning 20894 clauses out of 56004 with flag 4799002/4799002
1045.54/1044.29	c cleaning 20893 clauses out of 56108 with flag 4820000/4820000
1050.04/1048.76	c cleaning 20920 clauses out of 56215 with flag 4841000/4841000
1054.14/1052.84	c cleaning 20873 clauses out of 56297 with flag 4862002/4862002
1059.45/1058.19	c cleaning 20936 clauses out of 56422 with flag 4883000/4883000
1063.45/1062.15	c cleaning 20919 clauses out of 56486 with flag 4904000/4904000
1069.36/1068.04	c cleaning 20921 clauses out of 56567 with flag 4925000/4925000
1074.35/1073.03	c cleaning 20996 clauses out of 56646 with flag 4946000/4946000
1083.16/1081.80	c cleaning 20927 clauses out of 56651 with flag 4967001/4967001
1088.96/1087.64	c cleaning 20947 clauses out of 56723 with flag 4988000/4988000
1095.77/1094.41	c cleaning 20830 clauses out of 56776 with flag 5009000/5009000
1103.87/1102.54	c cleaning 20896 clauses out of 56946 with flag 5030000/5030000
1112.87/1111.59	c cleaning 20823 clauses out of 57051 with flag 5051001/5051001
1118.77/1117.41	c cleaning 20946 clauses out of 57227 with flag 5072000/5072000
1123.58/1122.23	c cleaning 20951 clauses out of 57282 with flag 5093001/5093001
1130.18/1128.80	c cleaning 20929 clauses out of 57331 with flag 5114001/5114001
1138.69/1137.34	c cleaning 20988 clauses out of 57403 with flag 5135002/5135002
1146.69/1145.31	c cleaning 20883 clauses out of 57414 with flag 5156001/5156001
1152.70/1151.33	c cleaning 21031 clauses out of 57530 with flag 5177000/5177000
1159.40/1158.07	c cleaning 20944 clauses out of 57499 with flag 5198000/5198000
1165.71/1164.31	c cleaning 20910 clauses out of 57555 with flag 5219000/5219000
1170.31/1168.95	c cleaning 20623 clauses out of 57646 with flag 5240001/5240001
1178.81/1177.47	c cleaning 20625 clauses out of 58023 with flag 5261001/5261001
1184.02/1182.66	c cleaning 20824 clauses out of 58398 with flag 5282001/5282001
1189.82/1188.47	c cleaning 20745 clauses out of 58574 with flag 5303001/5303001
1198.62/1197.21	c cleaning 20865 clauses out of 58829 with flag 5324001/5324001
1202.63/1201.21	c cleaning 20955 clauses out of 58964 with flag 5345001/5345001
1207.13/1205.73	c cleaning 20958 clauses out of 59008 with flag 5366000/5366000
1211.83/1210.46	c cleaning 20950 clauses out of 59052 with flag 5387002/5387002
1218.04/1216.61	c cleaning 20835 clauses out of 59102 with flag 5408002/5408002
1222.84/1221.47	c cleaning 20924 clauses out of 59266 with flag 5429001/5429001
1228.44/1227.07	c cleaning 20952 clauses out of 59342 with flag 5450001/5450001
1234.15/1232.70	c cleaning 20941 clauses out of 59390 with flag 5471001/5471001
1241.25/1239.84	c cleaning 20657 clauses out of 59448 with flag 5492000/5492000
1249.95/1248.54	c cleaning 20743 clauses out of 59791 with flag 5513000/5513000
1257.05/1255.67	c cleaning 20846 clauses out of 60048 with flag 5534000/5534000
1266.46/1265.08	c cleaning 20895 clauses out of 60202 with flag 5555000/5555000
1276.37/1274.99	c cleaning 20858 clauses out of 60307 with flag 5576000/5576000
1290.07/1288.68	c cleaning 20748 clauses out of 60450 with flag 5597001/5597001
1298.87/1297.45	c cleaning 20948 clauses out of 60703 with flag 5618002/5618002
1301.48/1300.01	c starts		: 2206
1301.48/1300.01	c conflicts		: 5631085
1301.48/1300.01	c decisions		: 7586209
1301.48/1300.01	c propagations		: 621043751
1301.48/1300.01	c inspects		: 16495555167
1301.48/1300.01	c shortcuts		: 0
1301.48/1300.01	c learnt literals	: 0
1301.48/1300.01	c learnt binary clauses	: 114
1301.48/1300.01	c learnt ternary clauses	: 4121
1301.48/1300.01	c learnt constraints	: 5631086
1301.48/1300.01	c ignored constraints	: 0
1301.48/1300.01	c root simplifications	: 2206
1301.48/1300.01	c removed literals (reason simplification)	: 48711109
1301.48/1300.01	c reason swapping (by a shorter reason)	: 0
1301.48/1300.01	c Calls to reduceDB	: 274
1301.48/1300.01	c speed (assignments/second)	: 477798.1080224403
1301.48/1300.01	c non guided choices	17428
1301.48/1300.03	c learnt constraints type 
1301.48/1300.03	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 114
1301.48/1300.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 52782
1301.48/1300.03	c constraints type 
1301.48/1300.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 19952
1301.48/1300.03	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 256
1301.48/1300.03	s UNKNOWN
1301.48/1300.04	c Total wall clock time (in seconds) : 1299.902

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-3289903-1303787801/watcher-3289903-1303787801 -o /tmp/evaluation-result-3289903-1303787801/solver-3289903-1303787801 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3289903-1303787801.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: 1.39 3.10 3.60 2/176 25907
/proc/meminfo: memFree=15176268/32950928 swapFree=67111528/67111528
[pid=25907] ppid=25905 vsize=23028 CPUtime=0 cores=0,2
/proc/25907/stat : 25907 (java) R 25905 25907 22376 0 -1 4202496 957 0 0 0 0 0 0 0 21 0 1 0 490379850 23580672 700 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248084735464 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25907/statm: 5757 701 518 9 0 124 0

[startup+0.0696449 s]
/proc/loadavg: 1.39 3.10 3.60 2/176 25907
/proc/meminfo: memFree=15176268/32950928 swapFree=67111528/67111528
[pid=25907] ppid=25905 vsize=7564488 CPUtime=0.04 cores=0,2
/proc/25907/stat : 25907 (java) S 25905 25907 22376 0 -1 4202496 9018 0 1 0 3 1 0 0 21 0 13 0 490379850 7746035712 8714 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101500901 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0
/proc/25907/statm: 1891122 8715 1687 9 0 1881870 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7564488

[startup+0.100637 s]
/proc/loadavg: 1.39 3.10 3.60 2/176 25907
/proc/meminfo: memFree=15176268/32950928 swapFree=67111528/67111528
[pid=25907] ppid=25905 vsize=7569940 CPUtime=0.07 cores=0,2
/proc/25907/stat : 25907 (java) S 25905 25907 22376 0 -1 4202496 9522 0 1 0 6 1 0 0 21 0 18 0 490379850 7751618560 9218 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25907/statm: 1892485 9218 1754 9 0 1883223 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7569940

[startup+0.326551 s]
/proc/loadavg: 1.39 3.10 3.60 2/176 25907
/proc/meminfo: memFree=15176268/32950928 swapFree=67111528/67111528
[pid=25907] ppid=25905 vsize=7643468 CPUtime=0.52 cores=0,2
/proc/25907/stat : 25907 (java) S 25905 25907 22376 0 -1 4202496 13594 0 1 0 50 2 0 0 21 0 19 0 490379850 7826911232 12715 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25907/statm: 1910867 12715 2217 9 0 1901605 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 7643468

[startup+0.700485 s]
/proc/loadavg: 1.39 3.10 3.60 2/176 25907
/proc/meminfo: memFree=15176268/32950928 swapFree=67111528/67111528
[pid=25907] ppid=25905 vsize=7643468 CPUtime=1.1 cores=0,2
/proc/25907/stat : 25907 (java) S 25905 25907 22376 0 -1 4202496 14096 0 1 0 108 2 0 0 21 0 19 0 490379850 7826911232 13216 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25907/statm: 1910867 13216 2231 9 0 1901605 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 7643468

[startup+1.50134 s]
/proc/loadavg: 1.39 3.10 3.60 12/262 26006
/proc/meminfo: memFree=14945116/32950928 swapFree=67111528/67111528
[pid=25907] ppid=25905 vsize=7657896 CPUtime=2.3 cores=0,2
/proc/25907/stat : 25907 (java) S 25905 25907 22376 0 -1 4202496 21673 0 1 0 227 3 0 0 21 0 19 0 490379850 7841685504 18612 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25907/statm: 1914474 18612 2254 9 0 1905212 0
[pid=25907/tid=25910] ppid=25905 vsize=7657896 CPUtime=1.32 cores=0,2
/proc/25907/task/25910/stat : 25910 (java) R 25905 25907 22376 0 -1 4202560 9636 0 1 0 131 1 0 0 25 0 19 0 490379851 7841685504 18612 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 46912505600705 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=25907/tid=25921] ppid=25905 vsize=7657896 CPUtime=0 cores=0,2
/proc/25907/task/25921/stat : 25921 (java) S 25905 25907 22376 0 -1 4202560 558 0 0 0 0 0 0 0 15 0 19 0 490379853 7841685504 18612 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25922] ppid=25905 vsize=7657896 CPUtime=0 cores=0,2
/proc/25907/task/25922/stat : 25922 (java) S 25905 25907 22376 0 -1 4202560 176 0 0 0 0 0 0 0 15 0 19 0 490379853 7841685504 18612 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25923] ppid=25905 vsize=7657896 CPUtime=0 cores=0,2
/proc/25907/task/25923/stat : 25923 (java) S 25905 25907 22376 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490379853 7841685504 18612 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25924] ppid=25905 vsize=7657896 CPUtime=0 cores=0,2
/proc/25907/task/25924/stat : 25924 (java) S 25905 25907 22376 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490379853 7841685504 18612 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25925] ppid=25905 vsize=7657896 CPUtime=0 cores=0,2
/proc/25907/task/25925/stat : 25925 (java) S 25905 25907 22376 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490379853 7841685504 18612 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25926] ppid=25905 vsize=7657896 CPUtime=0 cores=0,2
/proc/25907/task/25926/stat : 25926 (java) S 25905 25907 22376 0 -1 4202560 113 0 0 0 0 0 0 0 15 0 19 0 490379853 7841685504 18612 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25927] ppid=25905 vsize=7657896 CPUtime=0 cores=0,2
/proc/25907/task/25927/stat : 25927 (java) S 25905 25907 22376 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490379853 7841685504 18612 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25928] ppid=25905 vsize=7657896 CPUtime=0 cores=0,2
/proc/25907/task/25928/stat : 25928 (java) S 25905 25907 22376 0 -1 4202560 129 0 0 0 0 0 0 0 16 0 19 0 490379853 7841685504 18612 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25929] ppid=25905 vsize=7657896 CPUtime=0.03 cores=0,2
/proc/25907/task/25929/stat : 25929 (java) S 25905 25907 22376 0 -1 4202560 862 0 0 0 3 0 0 0 16 0 19 0 490379854 7841685504 18612 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514752 0 0 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25938] ppid=25905 vsize=7657896 CPUtime=0 cores=0,2
/proc/25907/task/25938/stat : 25938 (java) S 25905 25907 22376 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 490379855 7841685504 18612 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25939] ppid=25905 vsize=7657896 CPUtime=0 cores=0,2
/proc/25907/task/25939/stat : 25939 (java) S 25905 25907 22376 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490379855 7841685504 18612 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25943] ppid=25905 vsize=7657896 CPUtime=0 cores=0,2
/proc/25907/task/25943/stat : 25943 (java) S 25905 25907 22376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490379858 7841685504 18612 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101521841 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25944] ppid=25905 vsize=7657896 CPUtime=0.14 cores=0,2
/proc/25907/task/25944/stat : 25944 (java) S 25905 25907 22376 0 -1 4202560 1138 0 0 0 14 0 0 0 22 0 19 0 490379858 7841685504 18612 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25945] ppid=25905 vsize=7657896 CPUtime=0.76 cores=0,2
/proc/25907/task/25945/stat : 25945 (java) S 25905 25907 22376 0 -1 4202560 7906 0 0 0 76 0 0 0 16 0 19 0 490379858 7841685504 18612 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25946] ppid=25905 vsize=7657896 CPUtime=0 cores=0,2
/proc/25907/task/25946/stat : 25946 (java) S 25905 25907 22376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490379858 7841685504 18612 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25947] ppid=25905 vsize=7657896 CPUtime=0 cores=0,2
/proc/25907/task/25947/stat : 25947 (java) S 25905 25907 22376 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490379858 7841685504 18612 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514752 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=26004] ppid=25905 vsize=7657896 CPUtime=0 cores=0,2
/proc/25907/task/26004/stat : 26004 (java) S 25905 25907 22376 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490379872 7841685504 18612 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514752 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 7657896

[startup+3.10106 s]
/proc/loadavg: 1.39 3.10 3.60 6/262 26006
/proc/meminfo: memFree=14878276/32950928 swapFree=67111528/67111528
[pid=25907] ppid=25905 vsize=7657896 CPUtime=3.92 cores=0,2
/proc/25907/stat : 25907 (java) S 25905 25907 22376 0 -1 4202496 21980 0 1 0 389 3 0 0 21 0 19 0 490379850 7841685504 18916 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25907/statm: 1914474 18916 2254 9 0 1905212 0
[pid=25907/tid=25910] ppid=25905 vsize=7657896 CPUtime=2.85 cores=0,2
/proc/25907/task/25910/stat : 25910 (java) R 25905 25907 22376 0 -1 4202560 9639 0 1 0 284 1 0 0 25 0 19 0 490379851 7841685504 18916 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 46912505579226 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=25907/tid=25921] ppid=25905 vsize=7657896 CPUtime=0 cores=0,2
/proc/25907/task/25921/stat : 25921 (java) S 25905 25907 22376 0 -1 4202560 558 0 0 0 0 0 0 0 16 0 19 0 490379853 7841685504 18916 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25922] ppid=25905 vsize=7657896 CPUtime=0 cores=0,2
/proc/25907/task/25922/stat : 25922 (java) S 25905 25907 22376 0 -1 4202560 176 0 0 0 0 0 0 0 15 0 19 0 490379853 7841685504 18916 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25923] ppid=25905 vsize=7657896 CPUtime=0 cores=0,2
/proc/25907/task/25923/stat : 25923 (java) S 25905 25907 22376 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 19 0 490379853 7841685504 18916 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25924] ppid=25905 vsize=7657896 CPUtime=0 cores=0,2
/proc/25907/task/25924/stat : 25924 (java) S 25905 25907 22376 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490379853 7841685504 18916 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25925] ppid=25905 vsize=7657896 CPUtime=0 cores=0,2
/proc/25907/task/25925/stat : 25925 (java) S 25905 25907 22376 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 490379853 7841685504 18916 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25926] ppid=25905 vsize=7657896 CPUtime=0 cores=0,2
/proc/25907/task/25926/stat : 25926 (java) S 25905 25907 22376 0 -1 4202560 164 0 0 0 0 0 0 0 15 0 19 0 490379853 7841685504 18916 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25927] ppid=25905 vsize=7657896 CPUtime=0 cores=0,2
/proc/25907/task/25927/stat : 25927 (java) S 25905 25907 22376 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 490379853 7841685504 18916 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25928] ppid=25905 vsize=7657896 CPUtime=0 cores=0,2
/proc/25907/task/25928/stat : 25928 (java) S 25905 25907 22376 0 -1 4202560 130 0 0 0 0 0 0 0 15 0 19 0 490379853 7841685504 18916 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25929] ppid=25905 vsize=7657896 CPUtime=0.08 cores=0,2
/proc/25907/task/25929/stat : 25929 (java) S 25905 25907 22376 0 -1 4202560 1053 0 0 0 8 0 0 0 16 0 19 0 490379854 7841685504 18916 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514752 0 0 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25938] ppid=25905 vsize=7657896 CPUtime=0 cores=0,2
/proc/25907/task/25938/stat : 25938 (java) S 25905 25907 22376 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 490379855 7841685504 18916 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25939] ppid=25905 vsize=7657896 CPUtime=0 cores=0,2
/proc/25907/task/25939/stat : 25939 (java) S 25905 25907 22376 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490379855 7841685504 18916 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25943] ppid=25905 vsize=7657896 CPUtime=0 cores=0,2
/proc/25907/task/25943/stat : 25943 (java) S 25905 25907 22376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490379858 7841685504 18916 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101521841 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25944] ppid=25905 vsize=7657896 CPUtime=0.15 cores=0,2
/proc/25907/task/25944/stat : 25944 (java) S 25905 25907 22376 0 -1 4202560 1138 0 0 0 15 0 0 0 17 0 19 0 490379858 7841685504 18916 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25945] ppid=25905 vsize=7657896 CPUtime=0.78 cores=0,2
/proc/25907/task/25945/stat : 25945 (java) S 25905 25907 22376 0 -1 4202560 7906 0 0 0 78 0 0 0 15 0 19 0 490379858 7841685504 18916 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25946] ppid=25905 vsize=7657896 CPUtime=0 cores=0,2
/proc/25907/task/25946/stat : 25946 (java) S 25905 25907 22376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490379858 7841685504 18916 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25947] ppid=25905 vsize=7657896 CPUtime=0 cores=0,2
/proc/25907/task/25947/stat : 25947 (java) S 25905 25907 22376 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490379858 7841685504 18916 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514752 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=26004] ppid=25905 vsize=7657896 CPUtime=0 cores=0,2
/proc/25907/task/26004/stat : 26004 (java) S 25905 25907 22376 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490379872 7841685504 18916 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514752 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.92
Current children cumulated vsize (KiB) 7657896

[startup+6.30149 s]
/proc/loadavg: 1.60 3.12 3.60 6/262 26006
/proc/meminfo: memFree=14883956/32950928 swapFree=67111528/67111528
[pid=25907] ppid=25905 vsize=7652236 CPUtime=7.1 cores=0,2
/proc/25907/stat : 25907 (java) S 25905 25907 22376 0 -1 4202496 22185 0 1 0 707 3 0 0 21 0 19 0 490379850 7835889664 17775 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25907/statm: 1913059 17775 2254 9 0 1903797 0
[pid=25907/tid=25910] ppid=25905 vsize=7652236 CPUtime=5.95 cores=0,2
/proc/25907/task/25910/stat : 25910 (java) R 25905 25907 22376 0 -1 4202560 9644 0 1 0 594 1 0 0 25 0 19 0 490379851 7835889664 17775 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 46912505673324 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=25907/tid=25921] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/25921/stat : 25921 (java) S 25905 25907 22376 0 -1 4202560 559 0 0 0 0 0 0 0 15 0 19 0 490379853 7835889664 17775 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25922] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/25922/stat : 25922 (java) S 25905 25907 22376 0 -1 4202560 177 0 0 0 0 0 0 0 16 0 19 0 490379853 7835889664 17775 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25923] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/25923/stat : 25923 (java) S 25905 25907 22376 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 19 0 490379853 7835889664 17775 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25924] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/25924/stat : 25924 (java) S 25905 25907 22376 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490379853 7835889664 17775 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25925] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/25925/stat : 25925 (java) S 25905 25907 22376 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 490379853 7835889664 17775 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25926] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/25926/stat : 25926 (java) S 25905 25907 22376 0 -1 4202560 164 0 0 0 0 0 0 0 15 0 19 0 490379853 7835889664 17775 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25927] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/25927/stat : 25927 (java) S 25905 25907 22376 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 490379853 7835889664 17775 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25928] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/25928/stat : 25928 (java) S 25905 25907 22376 0 -1 4202560 130 0 0 0 0 0 0 0 15 0 19 0 490379853 7835889664 17775 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25929] ppid=25905 vsize=7652236 CPUtime=0.15 cores=0,2
/proc/25907/task/25929/stat : 25929 (java) S 25905 25907 22376 0 -1 4202560 1251 0 0 0 15 0 0 0 16 0 19 0 490379854 7835889664 17775 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514752 0 0 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25938] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/25938/stat : 25938 (java) S 25905 25907 22376 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 490379855 7835889664 17775 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25939] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/25939/stat : 25939 (java) S 25905 25907 22376 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490379855 7835889664 17775 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25943] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/25943/stat : 25943 (java) S 25905 25907 22376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490379858 7835889664 17775 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101521841 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25944] ppid=25905 vsize=7652236 CPUtime=0.15 cores=0,2
/proc/25907/task/25944/stat : 25944 (java) S 25905 25907 22376 0 -1 4202560 1138 0 0 0 15 0 0 0 17 0 19 0 490379858 7835889664 17775 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25945] ppid=25905 vsize=7652236 CPUtime=0.78 cores=0,2
/proc/25907/task/25945/stat : 25945 (java) S 25905 25907 22376 0 -1 4202560 7906 0 0 0 78 0 0 0 15 0 19 0 490379858 7835889664 17775 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25946] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/25946/stat : 25946 (java) S 25905 25907 22376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490379858 7835889664 17775 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25947] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/25947/stat : 25947 (java) S 25905 25907 22376 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490379858 7835889664 17775 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514752 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=26004] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/26004/stat : 26004 (java) S 25905 25907 22376 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490379872 7835889664 17775 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514752 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.1
Current children cumulated vsize (KiB) 7652236

[startup+12.7014 s]

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

[pid=25907/tid=25926] ppid=25905 vsize=7652236 CPUtime=0.2 cores=0,2
/proc/25907/task/25926/stat : 25926 (java) S 25905 25907 22376 0 -1 4202560 407 0 0 0 20 0 0 0 16 0 19 0 490379853 7835889664 23868 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25927] ppid=25905 vsize=7652236 CPUtime=0.19 cores=0,2
/proc/25907/task/25927/stat : 25927 (java) S 25905 25907 22376 0 -1 4202560 19 0 0 0 19 0 0 0 15 0 19 0 490379853 7835889664 23868 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25928] ppid=25905 vsize=7652236 CPUtime=0.19 cores=0,2
/proc/25907/task/25928/stat : 25928 (java) S 25905 25907 22376 0 -1 4202560 834 0 0 0 19 0 0 0 16 0 19 0 490379853 7835889664 23868 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25929] ppid=25905 vsize=7652236 CPUtime=6.52 cores=0,2
/proc/25907/task/25929/stat : 25929 (java) S 25905 25907 22376 0 -1 4202560 5109 0 0 0 651 1 0 0 16 0 19 0 490379854 7835889664 23868 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514752 0 0 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25938] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/25938/stat : 25938 (java) S 25905 25907 22376 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 490379855 7835889664 23868 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25939] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/25939/stat : 25939 (java) S 25905 25907 22376 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490379855 7835889664 23868 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25943] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/25943/stat : 25943 (java) S 25905 25907 22376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490379858 7835889664 23868 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101521841 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25944] ppid=25905 vsize=7652236 CPUtime=0.15 cores=0,2
/proc/25907/task/25944/stat : 25944 (java) S 25905 25907 22376 0 -1 4202560 1138 0 0 0 15 0 0 0 17 0 19 0 490379858 7835889664 23868 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25945] ppid=25905 vsize=7652236 CPUtime=0.81 cores=0,2
/proc/25907/task/25945/stat : 25945 (java) S 25905 25907 22376 0 -1 4202560 7910 0 0 0 80 1 0 0 15 0 19 0 490379858 7835889664 23868 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25946] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/25946/stat : 25946 (java) S 25905 25907 22376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490379858 7835889664 23868 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25947] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/25947/stat : 25947 (java) S 25905 25907 22376 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 490379858 7835889664 23868 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514752 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=26004] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/26004/stat : 26004 (java) S 25905 25907 22376 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490379872 7835889664 23868 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514752 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1123.68
Current children cumulated vsize (KiB) 7652236

[startup+1182.3 s]
/proc/loadavg: 4.00 4.00 3.88 6/262 26037
/proc/meminfo: memFree=14783368/32950928 swapFree=67111528/67111528
[pid=25907] ppid=25905 vsize=7652236 CPUtime=1183.72 cores=0,2
/proc/25907/stat : 25907 (java) S 25905 25907 22376 0 -1 4202496 29341 0 1 0 118364 8 0 0 21 0 19 0 490379850 7835889664 24298 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25907/statm: 1913059 24298 2255 9 0 1903797 0
[pid=25907/tid=25910] ppid=25905 vsize=7652236 CPUtime=1174.39 cores=0,2
/proc/25907/task/25910/stat : 25910 (java) R 25905 25907 22376 0 -1 4202560 10595 0 1 0 117436 3 0 0 25 0 19 0 490379851 7835889664 24298 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 46912505528511 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25907/tid=25921] ppid=25905 vsize=7652236 CPUtime=0.16 cores=0,2
/proc/25907/task/25921/stat : 25921 (java) S 25905 25907 22376 0 -1 4202560 595 0 0 0 16 0 0 0 15 0 19 0 490379853 7835889664 24298 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25922] ppid=25905 vsize=7652236 CPUtime=0.22 cores=0,2
/proc/25907/task/25922/stat : 25922 (java) S 25905 25907 22376 0 -1 4202560 694 0 0 0 22 0 0 0 15 0 19 0 490379853 7835889664 24298 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25923] ppid=25905 vsize=7652236 CPUtime=0.17 cores=0,2
/proc/25907/task/25923/stat : 25923 (java) S 25905 25907 22376 0 -1 4202560 74 0 0 0 17 0 0 0 15 0 19 0 490379853 7835889664 24298 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25924] ppid=25905 vsize=7652236 CPUtime=0.16 cores=0,2
/proc/25907/task/25924/stat : 25924 (java) S 25905 25907 22376 0 -1 4202560 441 0 0 0 16 0 0 0 15 0 19 0 490379853 7835889664 24298 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25925] ppid=25905 vsize=7652236 CPUtime=0.16 cores=0,2
/proc/25907/task/25925/stat : 25925 (java) S 25905 25907 22376 0 -1 4202560 11 0 0 0 16 0 0 0 15 0 19 0 490379853 7835889664 24298 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25926] ppid=25905 vsize=7652236 CPUtime=0.21 cores=0,2
/proc/25907/task/25926/stat : 25926 (java) S 25905 25907 22376 0 -1 4202560 499 0 0 0 21 0 0 0 15 0 19 0 490379853 7835889664 24298 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25927] ppid=25905 vsize=7652236 CPUtime=0.2 cores=0,2
/proc/25907/task/25927/stat : 25927 (java) S 25905 25907 22376 0 -1 4202560 19 0 0 0 20 0 0 0 15 0 19 0 490379853 7835889664 24298 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25928] ppid=25905 vsize=7652236 CPUtime=0.2 cores=0,2
/proc/25907/task/25928/stat : 25928 (java) S 25905 25907 22376 0 -1 4202560 834 0 0 0 20 0 0 0 15 0 19 0 490379853 7835889664 24298 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25929] ppid=25905 vsize=7652236 CPUtime=6.79 cores=0,2
/proc/25907/task/25929/stat : 25929 (java) S 25905 25907 22376 0 -1 4202560 5312 0 0 0 678 1 0 0 15 0 19 0 490379854 7835889664 24298 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514752 0 0 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25938] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/25938/stat : 25938 (java) S 25905 25907 22376 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 490379855 7835889664 24298 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25939] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/25939/stat : 25939 (java) S 25905 25907 22376 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490379855 7835889664 24298 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25943] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/25943/stat : 25943 (java) S 25905 25907 22376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490379858 7835889664 24298 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101521841 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25944] ppid=25905 vsize=7652236 CPUtime=0.15 cores=0,2
/proc/25907/task/25944/stat : 25944 (java) S 25905 25907 22376 0 -1 4202560 1138 0 0 0 15 0 0 0 17 0 19 0 490379858 7835889664 24298 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25945] ppid=25905 vsize=7652236 CPUtime=0.81 cores=0,2
/proc/25907/task/25945/stat : 25945 (java) S 25905 25907 22376 0 -1 4202560 7910 0 0 0 80 1 0 0 15 0 19 0 490379858 7835889664 24298 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25946] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/25946/stat : 25946 (java) S 25905 25907 22376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490379858 7835889664 24298 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25947] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/25947/stat : 25947 (java) S 25905 25907 22376 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 490379858 7835889664 24298 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514752 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=26004] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/26004/stat : 26004 (java) S 25905 25907 22376 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490379872 7835889664 24298 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514752 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1183.72
Current children cumulated vsize (KiB) 7652236

[startup+1242.3 s]
/proc/loadavg: 4.00 4.00 3.89 6/262 26039
/proc/meminfo: memFree=14782172/32950928 swapFree=67111528/67111528
[pid=25907] ppid=25905 vsize=7652236 CPUtime=1243.75 cores=0,2
/proc/25907/stat : 25907 (java) S 25905 25907 22376 0 -1 4202496 29397 0 1 0 124367 8 0 0 21 0 19 0 490379850 7835889664 24335 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25907/statm: 1913059 24335 2255 9 0 1903797 0
[pid=25907/tid=25910] ppid=25905 vsize=7652236 CPUtime=1233.98 cores=0,2
/proc/25907/task/25910/stat : 25910 (java) R 25905 25907 22376 0 -1 4202560 10606 0 1 0 123395 3 0 0 25 0 19 0 490379851 7835889664 24335 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 46912505580013 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25907/tid=25921] ppid=25905 vsize=7652236 CPUtime=0.17 cores=0,2
/proc/25907/task/25921/stat : 25921 (java) S 25905 25907 22376 0 -1 4202560 595 0 0 0 17 0 0 0 15 0 19 0 490379853 7835889664 24335 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25922] ppid=25905 vsize=7652236 CPUtime=0.23 cores=0,2
/proc/25907/task/25922/stat : 25922 (java) S 25905 25907 22376 0 -1 4202560 694 0 0 0 23 0 0 0 15 0 19 0 490379853 7835889664 24335 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25923] ppid=25905 vsize=7652236 CPUtime=0.18 cores=0,2
/proc/25907/task/25923/stat : 25923 (java) S 25905 25907 22376 0 -1 4202560 74 0 0 0 18 0 0 0 15 0 19 0 490379853 7835889664 24335 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25924] ppid=25905 vsize=7652236 CPUtime=0.18 cores=0,2
/proc/25907/task/25924/stat : 25924 (java) S 25905 25907 22376 0 -1 4202560 441 0 0 0 18 0 0 0 15 0 19 0 490379853 7835889664 24335 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25925] ppid=25905 vsize=7652236 CPUtime=0.17 cores=0,2
/proc/25907/task/25925/stat : 25925 (java) S 25905 25907 22376 0 -1 4202560 14 0 0 0 17 0 0 0 15 0 19 0 490379853 7835889664 24335 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25926] ppid=25905 vsize=7652236 CPUtime=0.23 cores=0,2
/proc/25907/task/25926/stat : 25926 (java) S 25905 25907 22376 0 -1 4202560 499 0 0 0 23 0 0 0 15 0 19 0 490379853 7835889664 24335 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25927] ppid=25905 vsize=7652236 CPUtime=0.2 cores=0,2
/proc/25907/task/25927/stat : 25927 (java) S 25905 25907 22376 0 -1 4202560 19 0 0 0 20 0 0 0 15 0 19 0 490379853 7835889664 24335 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25928] ppid=25905 vsize=7652236 CPUtime=0.21 cores=0,2
/proc/25907/task/25928/stat : 25928 (java) S 25905 25907 22376 0 -1 4202560 834 0 0 0 21 0 0 0 15 0 19 0 490379853 7835889664 24335 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25929] ppid=25905 vsize=7652236 CPUtime=7.15 cores=0,2
/proc/25907/task/25929/stat : 25929 (java) S 25905 25907 22376 0 -1 4202560 5350 0 0 0 714 1 0 0 15 0 19 0 490379854 7835889664 24335 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514752 0 0 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25938] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/25938/stat : 25938 (java) S 25905 25907 22376 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 490379855 7835889664 24335 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25939] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/25939/stat : 25939 (java) S 25905 25907 22376 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490379855 7835889664 24335 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25943] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/25943/stat : 25943 (java) S 25905 25907 22376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490379858 7835889664 24335 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101521841 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25944] ppid=25905 vsize=7652236 CPUtime=0.15 cores=0,2
/proc/25907/task/25944/stat : 25944 (java) S 25905 25907 22376 0 -1 4202560 1138 0 0 0 15 0 0 0 17 0 19 0 490379858 7835889664 24335 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25945] ppid=25905 vsize=7652236 CPUtime=0.81 cores=0,2
/proc/25907/task/25945/stat : 25945 (java) S 25905 25907 22376 0 -1 4202560 7910 0 0 0 80 1 0 0 15 0 19 0 490379858 7835889664 24335 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25946] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/25946/stat : 25946 (java) S 25905 25907 22376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490379858 7835889664 24335 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25947] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/25947/stat : 25947 (java) S 25905 25907 22376 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 490379858 7835889664 24335 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514752 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=26004] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/26004/stat : 26004 (java) S 25905 25907 22376 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490379872 7835889664 24335 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514752 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1243.75
Current children cumulated vsize (KiB) 7652236



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.00 4.00 3.89 5/262 26040
/proc/meminfo: memFree=14780632/32950928 swapFree=67111528/67111528
[pid=25907] ppid=25905 vsize=7652236 CPUtime=1301.48 cores=0,2
/proc/25907/stat : 25907 (java) S 25905 25907 22376 0 -1 4202496 29545 0 1 0 130140 8 0 0 21 0 19 0 490379850 7835889664 24471 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25907/statm: 1913059 24471 2255 9 0 1903797 0
[pid=25907/tid=25910] ppid=25905 vsize=7652236 CPUtime=1291.46 cores=0,2
/proc/25907/task/25910/stat : 25910 (java) R 25905 25907 22376 0 -1 4202560 10612 0 1 0 129143 3 0 0 25 0 19 0 490379851 7835889664 24471 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 46912505580752 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25907/tid=25921] ppid=25905 vsize=7652236 CPUtime=0.17 cores=0,2
/proc/25907/task/25921/stat : 25921 (java) S 25905 25907 22376 0 -1 4202560 595 0 0 0 17 0 0 0 15 0 19 0 490379853 7835889664 24471 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25922] ppid=25905 vsize=7652236 CPUtime=0.24 cores=0,2
/proc/25907/task/25922/stat : 25922 (java) S 25905 25907 22376 0 -1 4202560 694 0 0 0 24 0 0 0 15 0 19 0 490379853 7835889664 24471 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25923] ppid=25905 vsize=7652236 CPUtime=0.19 cores=0,2
/proc/25907/task/25923/stat : 25923 (java) S 25905 25907 22376 0 -1 4202560 74 0 0 0 19 0 0 0 16 0 19 0 490379853 7835889664 24471 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25924] ppid=25905 vsize=7652236 CPUtime=0.18 cores=0,2
/proc/25907/task/25924/stat : 25924 (java) S 25905 25907 22376 0 -1 4202560 441 0 0 0 18 0 0 0 15 0 19 0 490379853 7835889664 24471 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25925] ppid=25905 vsize=7652236 CPUtime=0.18 cores=0,2
/proc/25907/task/25925/stat : 25925 (java) S 25905 25907 22376 0 -1 4202560 14 0 0 0 18 0 0 0 15 0 19 0 490379853 7835889664 24471 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25926] ppid=25905 vsize=7652236 CPUtime=0.23 cores=0,2
/proc/25907/task/25926/stat : 25926 (java) S 25905 25907 22376 0 -1 4202560 502 0 0 0 23 0 0 0 15 0 19 0 490379853 7835889664 24471 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25927] ppid=25905 vsize=7652236 CPUtime=0.22 cores=0,2
/proc/25907/task/25927/stat : 25927 (java) S 25905 25907 22376 0 -1 4202560 19 0 0 0 22 0 0 0 15 0 19 0 490379853 7835889664 24471 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25928] ppid=25905 vsize=7652236 CPUtime=0.22 cores=0,2
/proc/25907/task/25928/stat : 25928 (java) S 25905 25907 22376 0 -1 4202560 834 0 0 0 22 0 0 0 15 0 19 0 490379853 7835889664 24471 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25929] ppid=25905 vsize=7652236 CPUtime=7.35 cores=0,2
/proc/25907/task/25929/stat : 25929 (java) S 25905 25907 22376 0 -1 4202560 5485 0 0 0 734 1 0 0 15 0 19 0 490379854 7835889664 24471 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514752 0 0 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25938] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/25938/stat : 25938 (java) S 25905 25907 22376 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 490379855 7835889664 24471 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25939] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/25939/stat : 25939 (java) S 25905 25907 22376 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490379855 7835889664 24471 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25943] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/25943/stat : 25943 (java) S 25905 25907 22376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490379858 7835889664 24471 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101521841 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25944] ppid=25905 vsize=7652236 CPUtime=0.15 cores=0,2
/proc/25907/task/25944/stat : 25944 (java) S 25905 25907 22376 0 -1 4202560 1138 0 0 0 15 0 0 0 17 0 19 0 490379858 7835889664 24471 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=25945] ppid=25905 vsize=7652236 CPUtime=0.81 cores=0,2
/proc/25907/task/25945/stat : 25945 (java) S 25905 25907 22376 0 -1 4202560 7910 0 0 0 80 1 0 0 15 0 19 0 490379858 7835889664 24471 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25946] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/25946/stat : 25946 (java) S 25905 25907 22376 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490379858 7835889664 24471 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514137 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
[pid=25907/tid=25947] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/25947/stat : 25947 (java) S 25905 25907 22376 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 490379858 7835889664 24471 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514752 0 4 0 16800975 18446604453814428992 0 0 -1 2 0 0 0
[pid=25907/tid=26004] ppid=25905 vsize=7652236 CPUtime=0 cores=0,2
/proc/25907/task/26004/stat : 26004 (java) S 25905 25907 22376 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490379872 7835889664 24471 33554432000 1073741824 1073778376 140736942160208 18446744073709551615 248101514752 0 4 0 16800975 18446604453814428992 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1301.48
Current children cumulated vsize (KiB) 7652236

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.56
CPU user time (s): 1301.46
CPU system time (s): 0.092985
CPU usage (%): 100.116
Max. virtual memory (cumulated for all children) (KiB): 7662324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.46
system time used= 0.092985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30023
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= 34366
involuntary context switches= 10199

runsolver used 2.12268 second user time and 5.00324 second system time

The end

Launcher Data 

Begin job on node123 at 2011-04-26 05:16:41
IDJOB=3289903
IDBENCH=83410
IDSOLVER=1611
FILE ID=node123/3289903-1303787801
RUNJOBID= node123-1303787800-25891
PBS_JOBID= 13157187
Free space on /tmp= 72928 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/128/aes_128_2_keyfind_1.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-3289903-1303787801/watcher-3289903-1303787801 -o /tmp/evaluation-result-3289903-1303787801/solver-3289903-1303787801 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3289903-1303787801.cnf

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

MD5SUM BENCH= 19e0b91e7d093f7cb35b11b46708a49b
RANDOM SEED=382005750

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      15176664 kB
Buffers:       2170632 kB
Cached:       14994996 kB
SwapCached:          0 kB
Active:        8276516 kB
Inactive:      8953708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15176664 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:             848 kB
Writeback:           0 kB
AnonPages:       63788 kB
Mapped:          14492 kB
Slab:           478808 kB
PageTables:       4708 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   198244 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= 72924 MiB
End job on node123 at 2011-04-26 05:38:23