Trace number 3190364

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) 1300.76 1300.05

General information on the benchmark

Namerandom/large/
unif-k7-r85-v250-c21250-S977260632-016-UNKNOWN.cnf
MD5SUM58eb79e3bfc8d25580f794d4e2d18629
Bench CategoryRANDOM (random 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 variables250
Number of clauses21250
Sum of the clauses size148750
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 521250

Solver Data 

0.02/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.08	c See www.sat4j.org for details.
0.02/0.08	c no version file found!!!
0.02/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.08	c java.vm.version	19.1-b02
0.02/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.08	c sun.arch.data.model	64
0.02/0.08	c java.version		1.6.0_24
0.02/0.08	c os.name		Linux
0.02/0.08	c os.version		2.6.18-164.el5
0.02/0.08	c os.arch		amd64
0.02/0.08	c Free memory 		6997539544
0.02/0.08	c Max memory 		7034241024
0.02/0.08	c Total memory 		7034241024
0.02/0.08	c Number of processors 	8
0.09/0.16	c --- Begin Solver configuration ---
0.09/0.16	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@64578ceb
0.09/0.16	c Learn all clauses as in MiniSAT
0.09/0.16	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.09/0.16	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.09/0.16	c Expensive reason simplification
0.09/0.16	c Armin Biere (Picosat) restarts strategy
0.09/0.16	c Glucose learned constraints deletion strategy
0.09/0.16	c timeout=2147483647s
0.09/0.16	c DB Simplification allowed=true
0.09/0.16	c --- End Solver configuration ---
0.09/0.16	c solving HOME/instance-3190364-1302599282.cnf
0.09/0.16	c reading problem ... 
0.09/0.24	c ... done. Wall clock time 0.122s.
0.09/0.24	c #vars     250
0.09/0.24	c #constraints  21250
0.09/0.24	c constraints type 
0.09/0.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21250
1.43/1.11	c cleaning 2498 clauses out of 5000 with flag 5000/5000
2.13/1.85	c cleaning 4250 clauses out of 8502 with flag 11000/11000
3.03/2.73	c cleaning 5623 clauses out of 11254 with flag 18002/18002
4.02/3.78	c cleaning 6811 clauses out of 13629 with flag 26000/26000
5.21/4.97	c cleaning 7908 clauses out of 15820 with flag 35002/35002
6.60/6.39	c cleaning 8955 clauses out of 17911 with flag 45001/45001
8.40/8.14	c cleaning 9975 clauses out of 19955 with flag 56000/56000
10.40/10.17	c cleaning 10985 clauses out of 21980 with flag 68000/68000
12.60/12.34	c cleaning 11995 clauses out of 23998 with flag 81003/81003
14.89/14.69	c cleaning 12996 clauses out of 26001 with flag 95001/95001
17.70/17.42	c cleaning 13991 clauses out of 28004 with flag 110000/110000
20.60/20.38	c cleaning 14999 clauses out of 30013 with flag 126000/126000
23.90/23.66	c cleaning 16004 clauses out of 32015 with flag 143001/143001
27.40/27.19	c cleaning 17000 clauses out of 34010 with flag 161000/161000
31.31/31.06	c cleaning 18000 clauses out of 36010 with flag 180000/180000
35.51/35.24	c cleaning 18998 clauses out of 38010 with flag 200000/200000
40.11/39.84	c cleaning 19998 clauses out of 40013 with flag 221001/221001
45.11/44.81	c cleaning 21004 clauses out of 42015 with flag 243001/243001
49.82/49.53	c cleaning 21501 clauses out of 43012 with flag 265002/265002
54.73/54.49	c cleaning 21748 clauses out of 43509 with flag 287000/287000
59.83/59.59	c cleaning 21874 clauses out of 43761 with flag 309000/309000
64.93/64.61	c cleaning 21938 clauses out of 43887 with flag 331000/331000
69.83/69.57	c cleaning 21964 clauses out of 43949 with flag 353000/353000
74.93/74.65	c cleaning 21984 clauses out of 43985 with flag 375000/375000
79.73/79.46	c cleaning 21998 clauses out of 44002 with flag 397001/397001
84.94/84.65	c cleaning 21995 clauses out of 44003 with flag 419000/419000
89.94/89.64	c cleaning 21998 clauses out of 44008 with flag 441000/441000
95.04/94.74	c cleaning 21995 clauses out of 44010 with flag 463000/463000
99.84/99.54	c cleaning 22005 clauses out of 44017 with flag 485002/485002
105.04/104.77	c cleaning 21999 clauses out of 44010 with flag 507000/507000
109.94/109.65	c cleaning 22000 clauses out of 44012 with flag 529001/529001
114.84/114.59	c cleaning 21999 clauses out of 44011 with flag 551000/551000
119.94/119.63	c cleaning 22001 clauses out of 44014 with flag 573002/573002
124.84/124.53	c cleaning 22001 clauses out of 44011 with flag 595000/595000
130.05/129.78	c cleaning 22005 clauses out of 44013 with flag 617003/617003
134.95/134.66	c cleaning 21995 clauses out of 44005 with flag 639000/639000
139.65/139.35	c cleaning 22001 clauses out of 44010 with flag 661000/661000
144.95/144.61	c cleaning 21998 clauses out of 44009 with flag 683000/683000
149.95/149.62	c cleaning 22002 clauses out of 44012 with flag 705001/705001
154.75/154.43	c cleaning 21997 clauses out of 44009 with flag 727000/727000
159.55/159.29	c cleaning 22000 clauses out of 44013 with flag 749001/749001
164.45/164.16	c cleaning 22003 clauses out of 44013 with flag 771001/771001
169.45/169.14	c cleaning 21998 clauses out of 44009 with flag 793000/793000
174.46/174.10	c cleaning 22003 clauses out of 44011 with flag 815000/815000
179.56/179.22	c cleaning 22001 clauses out of 44008 with flag 837000/837000
184.56/184.20	c cleaning 21999 clauses out of 44008 with flag 859001/859001
189.36/189.07	c cleaning 22000 clauses out of 44008 with flag 881000/881000
194.16/193.88	c cleaning 21995 clauses out of 44008 with flag 903000/903000
199.56/199.25	c cleaning 22003 clauses out of 44013 with flag 925000/925000
204.46/204.17	c cleaning 22000 clauses out of 44011 with flag 947001/947001
209.27/208.95	c cleaning 21997 clauses out of 44010 with flag 969000/969000
214.16/213.85	c cleaning 22003 clauses out of 44013 with flag 991000/991000
219.36/219.09	c cleaning 22005 clauses out of 44012 with flag 1013002/1013002
224.37/224.03	c cleaning 21995 clauses out of 44005 with flag 1035000/1035000
229.27/228.95	c cleaning 21994 clauses out of 44011 with flag 1057001/1057001
234.37/234.04	c cleaning 22003 clauses out of 44018 with flag 1079002/1079002
239.57/239.22	c cleaning 22001 clauses out of 44015 with flag 1101002/1101002
244.87/244.56	c cleaning 22000 clauses out of 44013 with flag 1123001/1123001
249.77/249.46	c cleaning 22001 clauses out of 44012 with flag 1145000/1145000
254.57/254.21	c cleaning 22001 clauses out of 44011 with flag 1167000/1167000
259.17/258.82	c cleaning 21997 clauses out of 44010 with flag 1189000/1189000
263.98/263.67	c cleaning 21998 clauses out of 44013 with flag 1211000/1211000
269.08/268.79	c cleaning 22003 clauses out of 44015 with flag 1233000/1233000
274.18/273.83	c cleaning 22004 clauses out of 44012 with flag 1255000/1255000
278.78/278.46	c cleaning 21996 clauses out of 44009 with flag 1277001/1277001
283.58/283.28	c cleaning 21997 clauses out of 44012 with flag 1299000/1299000
288.49/288.15	c cleaning 22000 clauses out of 44015 with flag 1321000/1321000
293.38/293.05	c cleaning 22001 clauses out of 44016 with flag 1343001/1343001
298.39/298.09	c cleaning 22002 clauses out of 44014 with flag 1365000/1365000
303.39/303.04	c cleaning 21997 clauses out of 44013 with flag 1387001/1387001
308.09/307.76	c cleaning 21996 clauses out of 44015 with flag 1409000/1409000
313.19/312.90	c cleaning 21997 clauses out of 44020 with flag 1431001/1431001
318.30/317.99	c cleaning 22003 clauses out of 44024 with flag 1453002/1453002
323.31/322.90	c cleaning 22000 clauses out of 44019 with flag 1475000/1475000
328.31/327.94	c cleaning 22001 clauses out of 44019 with flag 1497000/1497000
333.51/333.13	c cleaning 22002 clauses out of 44019 with flag 1519001/1519001
338.31/337.92	c cleaning 22002 clauses out of 44016 with flag 1541000/1541000
343.12/342.76	c cleaning 21998 clauses out of 44014 with flag 1563000/1563000
347.92/347.59	c cleaning 22002 clauses out of 44016 with flag 1585000/1585000
353.12/352.72	c cleaning 21997 clauses out of 44014 with flag 1607000/1607000
358.02/357.62	c cleaning 22004 clauses out of 44017 with flag 1629000/1629000
363.12/362.71	c cleaning 21997 clauses out of 44013 with flag 1651000/1651000
368.22/367.81	c cleaning 22000 clauses out of 44016 with flag 1673000/1673000
373.02/372.65	c cleaning 22003 clauses out of 44016 with flag 1695000/1695000
377.82/377.44	c cleaning 21998 clauses out of 44013 with flag 1717000/1717000
382.73/382.30	c cleaning 22000 clauses out of 44015 with flag 1739000/1739000
387.53/387.20	c cleaning 21998 clauses out of 44016 with flag 1761001/1761001
392.53/392.18	c cleaning 22004 clauses out of 44017 with flag 1783000/1783000
397.73/397.33	c cleaning 22001 clauses out of 44016 with flag 1805003/1805003
402.94/402.58	c cleaning 22006 clauses out of 44013 with flag 1827001/1827001
408.03/407.66	c cleaning 21993 clauses out of 44006 with flag 1849000/1849000
412.94/412.59	c cleaning 22003 clauses out of 44015 with flag 1871002/1871002
417.83/417.47	c cleaning 22001 clauses out of 44010 with flag 1893000/1893000
422.84/422.46	c cleaning 21994 clauses out of 44009 with flag 1915000/1915000
427.84/427.44	c cleaning 22002 clauses out of 44017 with flag 1937002/1937002
432.74/432.34	c cleaning 21995 clauses out of 44013 with flag 1959000/1959000
437.64/437.26	c cleaning 22005 clauses out of 44018 with flag 1981000/1981000
442.64/442.25	c cleaning 22002 clauses out of 44015 with flag 2003002/2003002
447.94/447.54	c cleaning 21999 clauses out of 44012 with flag 2025001/2025001
452.64/452.25	c cleaning 21999 clauses out of 44012 with flag 2047000/2047000
457.44/457.03	c cleaning 21997 clauses out of 44013 with flag 2069000/2069000
462.24/461.84	c cleaning 22004 clauses out of 44020 with flag 2091004/2091004
466.94/466.58	c cleaning 21999 clauses out of 44014 with flag 2113002/2113002
471.95/471.51	c cleaning 21999 clauses out of 44013 with flag 2135000/2135000
476.75/476.39	c cleaning 22001 clauses out of 44014 with flag 2157000/2157000
481.66/481.27	c cleaning 21996 clauses out of 44013 with flag 2179000/2179000
486.67/486.21	c cleaning 21999 clauses out of 44017 with flag 2201000/2201000
492.16/491.71	c cleaning 22006 clauses out of 44019 with flag 2223001/2223001
497.16/496.75	c cleaning 22000 clauses out of 44014 with flag 2245002/2245002
502.16/501.75	c cleaning 22000 clauses out of 44012 with flag 2267000/2267000
506.96/506.50	c cleaning 21994 clauses out of 44012 with flag 2289000/2289000
511.76/511.38	c cleaning 22001 clauses out of 44018 with flag 2311000/2311000
516.66/516.26	c cleaning 22006 clauses out of 44018 with flag 2333001/2333001
521.67/521.21	c cleaning 21999 clauses out of 44011 with flag 2355000/2355000
526.67/526.23	c cleaning 22003 clauses out of 44012 with flag 2377000/2377000
531.68/531.30	c cleaning 21994 clauses out of 44010 with flag 2399001/2399001
536.77/536.35	c cleaning 21999 clauses out of 44015 with flag 2421000/2421000
541.87/541.42	c cleaning 21997 clauses out of 44016 with flag 2443000/2443000
546.87/546.48	c cleaning 22005 clauses out of 44019 with flag 2465000/2465000
551.67/551.27	c cleaning 22000 clauses out of 44015 with flag 2487001/2487001
556.57/556.12	c cleaning 22002 clauses out of 44015 with flag 2509001/2509001
561.48/561.03	c cleaning 21999 clauses out of 44013 with flag 2531001/2531001
566.57/566.14	c cleaning 21997 clauses out of 44013 with flag 2553000/2553000
571.48/571.03	c cleaning 21999 clauses out of 44018 with flag 2575002/2575002
576.48/576.05	c cleaning 21997 clauses out of 44017 with flag 2597000/2597000
581.28/580.88	c cleaning 21997 clauses out of 44021 with flag 2619001/2619001
586.48/586.04	c cleaning 22002 clauses out of 44023 with flag 2641000/2641000
591.58/591.11	c cleaning 22000 clauses out of 44021 with flag 2663000/2663000
596.69/596.21	c cleaning 22004 clauses out of 44022 with flag 2685001/2685001
601.98/601.56	c cleaning 22002 clauses out of 44017 with flag 2707000/2707000
606.98/606.52	c cleaning 21996 clauses out of 44016 with flag 2729001/2729001
611.59/611.11	c cleaning 22002 clauses out of 44019 with flag 2751000/2751000
616.59/616.12	c cleaning 22001 clauses out of 44018 with flag 2773001/2773001
621.79/621.30	c cleaning 22000 clauses out of 44016 with flag 2795000/2795000
626.59/626.14	c cleaning 22000 clauses out of 44017 with flag 2817001/2817001
631.39/630.94	c cleaning 22000 clauses out of 44017 with flag 2839001/2839001
636.49/636.02	c cleaning 22005 clauses out of 44017 with flag 2861001/2861001
641.70/641.24	c cleaning 21997 clauses out of 44011 with flag 2883000/2883000
646.79/646.36	c cleaning 21997 clauses out of 44015 with flag 2905001/2905001
652.10/651.60	c cleaning 22000 clauses out of 44018 with flag 2927001/2927001
657.51/657.08	c cleaning 22004 clauses out of 44018 with flag 2949001/2949001
662.81/662.34	c cleaning 21998 clauses out of 44016 with flag 2971003/2971003
667.91/667.47	c cleaning 21999 clauses out of 44015 with flag 2993000/2993000
672.91/672.49	c cleaning 21997 clauses out of 44016 with flag 3015000/3015000
677.71/677.26	c cleaning 21998 clauses out of 44019 with flag 3037000/3037000
682.52/682.06	c cleaning 22000 clauses out of 44021 with flag 3059000/3059000
687.32/686.80	c cleaning 21994 clauses out of 44022 with flag 3081001/3081001
692.42/691.95	c cleaning 22006 clauses out of 44028 with flag 3103001/3103001
697.32/696.88	c cleaning 22001 clauses out of 44021 with flag 3125000/3125000
702.12/701.70	c cleaning 22008 clauses out of 44020 with flag 3147000/3147000
707.22/706.71	c cleaning 21998 clauses out of 44012 with flag 3169000/3169000
712.12/711.65	c cleaning 21997 clauses out of 44014 with flag 3191000/3191000
717.42/716.95	c cleaning 21998 clauses out of 44018 with flag 3213001/3213001
722.52/722.09	c cleaning 21999 clauses out of 44019 with flag 3235000/3235000
727.63/727.18	c cleaning 22003 clauses out of 44021 with flag 3257001/3257001
732.83/732.35	c cleaning 21996 clauses out of 44017 with flag 3279000/3279000
737.83/737.37	c cleaning 22004 clauses out of 44022 with flag 3301001/3301001
742.63/742.19	c cleaning 21999 clauses out of 44018 with flag 3323001/3323001
747.53/747.09	c cleaning 22000 clauses out of 44018 with flag 3345000/3345000
752.43/751.92	c cleaning 22005 clauses out of 44018 with flag 3367000/3367000
757.13/756.66	c cleaning 21999 clauses out of 44014 with flag 3389001/3389001
762.43/761.90	c cleaning 21998 clauses out of 44014 with flag 3411000/3411000
767.44/766.98	c cleaning 22002 clauses out of 44016 with flag 3433000/3433000
772.75/772.23	c cleaning 22002 clauses out of 44015 with flag 3455001/3455001
777.74/777.29	c cleaning 21996 clauses out of 44012 with flag 3477000/3477000
782.84/782.35	c cleaning 21995 clauses out of 44017 with flag 3499001/3499001
788.05/787.54	c cleaning 21998 clauses out of 44022 with flag 3521001/3521001
792.85/792.33	c cleaning 22007 clauses out of 44023 with flag 3543000/3543000
797.75/797.22	c cleaning 22001 clauses out of 44017 with flag 3565001/3565001
802.95/802.40	c cleaning 22001 clauses out of 44018 with flag 3587003/3587003
808.15/807.63	c cleaning 21996 clauses out of 44014 with flag 3609000/3609000
813.15/812.62	c cleaning 22000 clauses out of 44018 with flag 3631000/3631000
817.76/817.24	c cleaning 22002 clauses out of 44018 with flag 3653000/3653000
822.65/822.14	c cleaning 22001 clauses out of 44016 with flag 3675000/3675000
827.36/826.83	c cleaning 22000 clauses out of 44016 with flag 3697001/3697001
832.26/831.78	c cleaning 21998 clauses out of 44015 with flag 3719000/3719000
837.06/836.55	c cleaning 21997 clauses out of 44017 with flag 3741000/3741000
841.76/841.28	c cleaning 22000 clauses out of 44020 with flag 3763000/3763000
846.76/846.22	c cleaning 22003 clauses out of 44021 with flag 3785001/3785001
851.86/851.40	c cleaning 22005 clauses out of 44018 with flag 3807001/3807001
856.76/856.24	c cleaning 21990 clauses out of 44012 with flag 3829000/3829000
861.66/861.15	c cleaning 22000 clauses out of 44022 with flag 3851000/3851000
866.66/866.10	c cleaning 22004 clauses out of 44023 with flag 3873001/3873001
871.77/871.26	c cleaning 22002 clauses out of 44018 with flag 3895000/3895000
877.06/876.60	c cleaning 22002 clauses out of 44017 with flag 3917001/3917001
882.36/881.89	c cleaning 21998 clauses out of 44014 with flag 3939000/3939000
887.37/886.82	c cleaning 21999 clauses out of 44016 with flag 3961000/3961000
892.67/892.15	c cleaning 22004 clauses out of 44018 with flag 3983001/3983001
897.67/897.11	c cleaning 21999 clauses out of 44014 with flag 4005001/4005001
902.37/901.86	c cleaning 22005 clauses out of 44017 with flag 4027003/4027003
906.98/906.49	c cleaning 21992 clauses out of 44010 with flag 4049001/4049001
911.77/911.29	c cleaning 22004 clauses out of 44019 with flag 4071002/4071002
916.67/916.14	c cleaning 21995 clauses out of 44014 with flag 4093001/4093001
921.37/920.82	c cleaning 21998 clauses out of 44019 with flag 4115001/4115001
926.47/925.93	c cleaning 22005 clauses out of 44020 with flag 4137000/4137000
931.68/931.12	c cleaning 22003 clauses out of 44016 with flag 4159001/4159001
936.68/936.18	c cleaning 21989 clauses out of 44013 with flag 4181001/4181001
941.78/941.27	c cleaning 22002 clauses out of 44023 with flag 4203000/4203000
946.88/946.39	c cleaning 22005 clauses out of 44022 with flag 4225001/4225001
951.88/951.37	c cleaning 21998 clauses out of 44017 with flag 4247001/4247001
956.88/956.36	c cleaning 21999 clauses out of 44018 with flag 4269000/4269000
961.99/961.49	c cleaning 22001 clauses out of 44019 with flag 4291000/4291000
967.28/966.79	c cleaning 21998 clauses out of 44018 with flag 4313000/4313000
972.48/971.98	c cleaning 21998 clauses out of 44020 with flag 4335000/4335000
977.39/976.84	c cleaning 22006 clauses out of 44022 with flag 4357000/4357000
982.49/981.99	c cleaning 21999 clauses out of 44017 with flag 4379001/4379001
987.60/987.01	c cleaning 22001 clauses out of 44018 with flag 4401001/4401001
992.50/991.91	c cleaning 21999 clauses out of 44016 with flag 4423000/4423000
997.10/996.57	c cleaning 22000 clauses out of 44017 with flag 4445000/4445000
1001.90/1001.37	c cleaning 22001 clauses out of 44017 with flag 4467000/4467000
1006.80/1006.28	c cleaning 21998 clauses out of 44016 with flag 4489000/4489000
1011.70/1011.18	c cleaning 22002 clauses out of 44018 with flag 4511000/4511000
1016.60/1016.04	c cleaning 21996 clauses out of 44017 with flag 4533001/4533001
1021.60/1021.02	c cleaning 22005 clauses out of 44022 with flag 4555002/4555002
1026.81/1026.29	c cleaning 21998 clauses out of 44015 with flag 4577000/4577000
1031.91/1031.38	c cleaning 22001 clauses out of 44017 with flag 4599000/4599000
1036.91/1036.39	c cleaning 21992 clauses out of 44016 with flag 4621000/4621000
1041.61/1041.09	c cleaning 22009 clauses out of 44024 with flag 4643000/4643000
1046.72/1046.18	c cleaning 22000 clauses out of 44016 with flag 4665001/4665001
1052.01/1051.41	c cleaning 22000 clauses out of 44017 with flag 4687002/4687002
1057.11/1056.54	c cleaning 22001 clauses out of 44015 with flag 4709000/4709000
1062.12/1061.56	c cleaning 21998 clauses out of 44014 with flag 4731000/4731000
1067.11/1066.58	c cleaning 22002 clauses out of 44016 with flag 4753000/4753000
1072.22/1071.67	c cleaning 22000 clauses out of 44015 with flag 4775001/4775001
1077.12/1076.54	c cleaning 21995 clauses out of 44014 with flag 4797000/4797000
1082.42/1081.81	c cleaning 21995 clauses out of 44019 with flag 4819000/4819000
1087.62/1087.01	c cleaning 22011 clauses out of 44027 with flag 4841003/4841003
1092.42/1091.82	c cleaning 22004 clauses out of 44014 with flag 4863001/4863001
1097.33/1096.72	c cleaning 21999 clauses out of 44009 with flag 4885000/4885000
1102.02/1101.47	c cleaning 21999 clauses out of 44013 with flag 4907003/4907003
1107.02/1106.49	c cleaning 21994 clauses out of 44011 with flag 4929000/4929000
1111.92/1111.34	c cleaning 21993 clauses out of 44017 with flag 4951000/4951000
1116.73/1116.16	c cleaning 22005 clauses out of 44024 with flag 4973000/4973000
1121.53/1120.98	c cleaning 21995 clauses out of 44019 with flag 4995000/4995000
1126.53/1125.94	c cleaning 22003 clauses out of 44024 with flag 5017000/5017000
1131.73/1131.15	c cleaning 21999 clauses out of 44021 with flag 5039000/5039000
1137.03/1136.46	c cleaning 21999 clauses out of 44022 with flag 5061000/5061000
1142.34/1141.75	c cleaning 22007 clauses out of 44023 with flag 5083000/5083000
1147.94/1147.35	c cleaning 22000 clauses out of 44017 with flag 5105001/5105001
1153.03/1152.45	c cleaning 21998 clauses out of 44016 with flag 5127000/5127000
1158.04/1157.47	c cleaning 22003 clauses out of 44018 with flag 5149000/5149000
1162.94/1162.38	c cleaning 21995 clauses out of 44016 with flag 5171001/5171001
1168.24/1167.63	c cleaning 22000 clauses out of 44020 with flag 5193000/5193000
1173.44/1172.88	c cleaning 22000 clauses out of 44020 with flag 5215000/5215000
1178.84/1178.26	c cleaning 22003 clauses out of 44021 with flag 5237001/5237001
1184.25/1183.66	c cleaning 21998 clauses out of 44017 with flag 5259000/5259000
1189.25/1188.63	c cleaning 22000 clauses out of 44020 with flag 5281001/5281001
1194.25/1193.64	c cleaning 22004 clauses out of 44021 with flag 5303002/5303002
1199.25/1198.68	c cleaning 22001 clauses out of 44016 with flag 5325001/5325001
1204.06/1203.47	c cleaning 22002 clauses out of 44014 with flag 5347000/5347000
1208.75/1208.18	c cleaning 21999 clauses out of 44012 with flag 5369000/5369000
1213.75/1213.12	c cleaning 21994 clauses out of 44013 with flag 5391000/5391000
1218.75/1218.10	c cleaning 22002 clauses out of 44022 with flag 5413003/5413003
1223.55/1222.90	c cleaning 21997 clauses out of 44017 with flag 5435000/5435000
1228.45/1227.89	c cleaning 21993 clauses out of 44020 with flag 5457000/5457000
1233.26/1232.67	c cleaning 22005 clauses out of 44027 with flag 5479000/5479000
1238.06/1237.47	c cleaning 22001 clauses out of 44022 with flag 5501000/5501000
1242.86/1242.30	c cleaning 22006 clauses out of 44022 with flag 5523001/5523001
1247.86/1247.25	c cleaning 22003 clauses out of 44017 with flag 5545002/5545002
1253.06/1252.43	c cleaning 21999 clauses out of 44012 with flag 5567000/5567000
1258.16/1257.59	c cleaning 22001 clauses out of 44014 with flag 5589001/5589001
1263.26/1262.62	c cleaning 22001 clauses out of 44013 with flag 5611001/5611001
1268.16/1267.59	c cleaning 22004 clauses out of 44015 with flag 5633004/5633004
1273.27/1272.69	c cleaning 21995 clauses out of 44007 with flag 5655000/5655000
1278.66/1278.01	c cleaning 21999 clauses out of 44013 with flag 5677001/5677001
1283.56/1282.93	c cleaning 22001 clauses out of 44013 with flag 5699000/5699000
1288.96/1288.33	c cleaning 21994 clauses out of 44012 with flag 5721000/5721000
1294.07/1293.41	c cleaning 21995 clauses out of 44018 with flag 5743000/5743000
1299.17/1298.54	c cleaning 21999 clauses out of 44023 with flag 5765000/5765000
1300.68/1300.01	c starts		: 2210
1300.68/1300.01	c conflicts		: 5772932
1300.68/1300.01	c decisions		: 6841067
1300.68/1300.01	c propagations		: 150664891
1300.68/1300.01	c inspects		: 14194720935
1300.68/1300.01	c shortcuts		: 0
1300.68/1300.01	c learnt literals	: 0
1300.68/1300.01	c learnt binary clauses	: 0
1300.68/1300.01	c learnt ternary clauses	: 0
1300.68/1300.01	c learnt constraints	: 5772933
1300.68/1300.01	c ignored constraints	: 0
1300.68/1300.01	c root simplifications	: 2210
1300.68/1300.01	c removed literals (reason simplification)	: 32614476
1300.68/1300.01	c reason swapping (by a shorter reason)	: 0
1300.68/1300.01	c Calls to reduceDB	: 269
1300.68/1300.01	c speed (assignments/second)	: 115914.8923402183
1300.68/1300.01	c non guided choices	109
1300.68/1300.04	c learnt constraints type 
1300.68/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 30070
1300.68/1300.04	c constraints type 
1300.68/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21250
1300.68/1300.04	s UNKNOWN
1300.68/1300.04	c Total wall clock time (in seconds) : 1299.912

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 893)

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-3190364-1302599282/watcher-3190364-1302599282 -o /tmp/evaluation-result-3190364-1302599282/solver-3190364-1302599282 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190364-1302599282.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: 4.00 4.01 3.83 3/181 29810
/proc/meminfo: memFree=11550528/32951124 swapFree=67111528/67111528
[pid=29810] ppid=29807 vsize=11760 CPUtime=0 cores=0,2
/proc/29810/stat : 29810 (runsolver) R 29807 29810 29350 0 -1 4202560 47 0 0 0 0 0 0 0 25 0 1 0 371526702 12042240 55 33554432000 4194304 5392636 140734678835120 18446744073709551615 5012135 0 2147483391 4096 24578 0 0 0 17 2 0 0 0
/proc/29810/statm: 2940 55 36 293 0 2644 0

[startup+0.0455571 s]
/proc/loadavg: 4.00 4.01 3.83 3/181 29810
/proc/meminfo: memFree=11550528/32951124 swapFree=67111528/67111528
[pid=29810] ppid=29807 vsize=7564352 CPUtime=0.02 cores=0,2
/proc/29810/stat : 29810 (java) S 29807 29810 29350 0 -1 4202496 8700 0 1 0 1 1 0 0 25 0 13 0 371526702 7745896448 8394 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/29810/statm: 1891088 8394 1661 9 0 1881836 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 7564352

[startup+0.104986 s]
/proc/loadavg: 4.00 4.01 3.83 3/181 29810
/proc/meminfo: memFree=11550528/32951124 swapFree=67111528/67111528
[pid=29810] ppid=29807 vsize=7636444 CPUtime=0.09 cores=0,2
/proc/29810/stat : 29810 (java) S 29807 29810 29350 0 -1 4202496 10300 0 1 0 8 1 0 0 25 0 18 0 371526702 7819718656 9994 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29810/statm: 1909111 9994 2094 9 0 1899849 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7636444

[startup+0.300488 s]
/proc/loadavg: 4.00 4.01 3.83 3/181 29810
/proc/meminfo: memFree=11550528/32951124 swapFree=67111528/67111528
[pid=29810] ppid=29807 vsize=7639580 CPUtime=0.46 cores=0,2
/proc/29810/stat : 29810 (java) S 29807 29810 29350 0 -1 4202496 12351 0 1 0 44 2 0 0 25 0 19 0 371526702 7822929920 11682 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29810/statm: 1910533 12395 2207 9 0 1901271 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 7639580

[startup+0.700448 s]
/proc/loadavg: 4.00 4.01 3.83 3/181 29810
/proc/meminfo: memFree=11550528/32951124 swapFree=67111528/67111528
[pid=29810] ppid=29807 vsize=7642348 CPUtime=0.99 cores=0,2
/proc/29810/stat : 29810 (java) S 29807 29810 29350 0 -1 4202496 14428 0 1 0 96 3 0 0 25 0 19 0 371526702 7825764352 13062 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29810/statm: 1910587 13062 2224 9 0 1901325 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 7642348

[startup+1.5013 s]
/proc/loadavg: 4.00 4.01 3.83 5/261 29947
/proc/meminfo: memFree=11353960/32951124 swapFree=67111528/67111528
[pid=29810] ppid=29807 vsize=7642348 CPUtime=1.83 cores=0,2
/proc/29810/stat : 29810 (java) S 29807 29810 29350 0 -1 4202496 16485 0 1 0 180 3 0 0 25 0 19 0 371526702 7825764352 15088 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29810/statm: 1910587 15088 2253 9 0 1901325 0
[pid=29810/tid=29813] ppid=29807 vsize=7642348 CPUtime=1.31 cores=0,2
/proc/29810/task/29813/stat : 29813 (java) R 29807 29810 29350 0 -1 4202560 10154 0 1 0 129 2 0 0 25 0 19 0 371526703 7825764352 15088 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 46912505610881 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=29810/tid=29814] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29814/stat : 29814 (java) S 29807 29810 29350 0 -1 4202560 863 0 0 0 0 0 0 0 18 0 19 0 371526705 7825764352 15088 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29815] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29815/stat : 29815 (java) S 29807 29810 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371526705 7825764352 15088 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29816] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29816/stat : 29816 (java) S 29807 29810 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371526705 7825764352 15088 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29817] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29817/stat : 29817 (java) S 29807 29810 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371526705 7825764352 15088 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29818] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29818/stat : 29818 (java) S 29807 29810 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371526705 7825764352 15088 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29819] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29819/stat : 29819 (java) S 29807 29810 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371526705 7825764352 15088 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29820] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29820/stat : 29820 (java) S 29807 29810 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371526705 7825764352 15088 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29821] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29821/stat : 29821 (java) S 29807 29810 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371526705 7825764352 15088 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29822] ppid=29807 vsize=7642348 CPUtime=0.01 cores=0,2
/proc/29810/task/29822/stat : 29822 (java) S 29807 29810 29350 0 -1 4202560 870 0 0 0 1 0 0 0 17 0 19 0 371526706 7825764352 15088 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463872 0 0 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=29810/tid=29823] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29823/stat : 29823 (java) S 29807 29810 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371526706 7825764352 15088 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29824] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29824/stat : 29824 (java) S 29807 29810 29350 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 371526706 7825764352 15088 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29832] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29832/stat : 29832 (java) S 29807 29810 29350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371526709 7825764352 15088 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216470961 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29833] ppid=29807 vsize=7642348 CPUtime=0.15 cores=0,2
/proc/29810/task/29833/stat : 29833 (java) S 29807 29810 29350 0 -1 4202560 827 0 0 0 15 0 0 0 16 0 19 0 371526709 7825764352 15088 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29834] ppid=29807 vsize=7642348 CPUtime=0.32 cores=0,2
/proc/29810/task/29834/stat : 29834 (java) S 29807 29810 29350 0 -1 4202560 2611 0 0 0 32 0 0 0 15 0 19 0 371526709 7825764352 15088 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=29810/tid=29836] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29836/stat : 29836 (java) S 29807 29810 29350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371526709 7825764352 15088 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29837] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29837/stat : 29837 (java) S 29807 29810 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371526709 7825764352 15088 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463872 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29866] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29866/stat : 29866 (java) S 29807 29810 29350 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 371526725 7825764352 15088 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463872 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 7642348

[startup+3.10101 s]
/proc/loadavg: 4.00 4.01 3.83 5/262 29948
/proc/meminfo: memFree=11304228/32951124 swapFree=67111528/67111528
[pid=29810] ppid=29807 vsize=7642348 CPUtime=3.43 cores=0,2
/proc/29810/stat : 29810 (java) S 29807 29810 29350 0 -1 4202496 17177 0 1 0 340 3 0 0 25 0 19 0 371526702 7825764352 15778 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29810/statm: 1910587 15778 2255 9 0 1901325 0
[pid=29810/tid=29813] ppid=29807 vsize=7642348 CPUtime=2.84 cores=0,2
/proc/29810/task/29813/stat : 29813 (java) R 29807 29810 29350 0 -1 4202560 10157 0 1 0 282 2 0 0 25 0 19 0 371526703 7825764352 15778 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 46912505642380 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=29810/tid=29814] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29814/stat : 29814 (java) S 29807 29810 29350 0 -1 4202560 863 0 0 0 0 0 0 0 15 0 19 0 371526705 7825764352 15778 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29815] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29815/stat : 29815 (java) S 29807 29810 29350 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 371526705 7825764352 15778 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29816] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29816/stat : 29816 (java) S 29807 29810 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371526705 7825764352 15778 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29817] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29817/stat : 29817 (java) S 29807 29810 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371526705 7825764352 15778 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29818] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29818/stat : 29818 (java) S 29807 29810 29350 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 371526705 7825764352 15778 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29819] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29819/stat : 29819 (java) S 29807 29810 29350 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 371526705 7825764352 15778 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29820] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29820/stat : 29820 (java) S 29807 29810 29350 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 371526705 7825764352 15778 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29821] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29821/stat : 29821 (java) S 29807 29810 29350 0 -1 4202560 380 0 0 0 0 0 0 0 15 0 19 0 371526705 7825764352 15778 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29822] ppid=29807 vsize=7642348 CPUtime=0.05 cores=0,2
/proc/29810/task/29822/stat : 29822 (java) S 29807 29810 29350 0 -1 4202560 1168 0 0 0 5 0 0 0 15 0 19 0 371526706 7825764352 15778 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463872 0 0 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=29810/tid=29823] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29823/stat : 29823 (java) S 29807 29810 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371526706 7825764352 15778 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29824] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29824/stat : 29824 (java) S 29807 29810 29350 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 371526706 7825764352 15778 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29832] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29832/stat : 29832 (java) S 29807 29810 29350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371526709 7825764352 15778 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216470961 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29833] ppid=29807 vsize=7642348 CPUtime=0.17 cores=0,2
/proc/29810/task/29833/stat : 29833 (java) S 29807 29810 29350 0 -1 4202560 834 0 0 0 17 0 0 0 15 0 19 0 371526709 7825764352 15778 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29834] ppid=29807 vsize=7642348 CPUtime=0.33 cores=0,2
/proc/29810/task/29834/stat : 29834 (java) S 29807 29810 29350 0 -1 4202560 2612 0 0 0 33 0 0 0 15 0 19 0 371526709 7825764352 15778 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=29810/tid=29836] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29836/stat : 29836 (java) S 29807 29810 29350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371526709 7825764352 15778 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29837] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29837/stat : 29837 (java) S 29807 29810 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371526709 7825764352 15778 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463872 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29866] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29866/stat : 29866 (java) S 29807 29810 29350 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 371526725 7825764352 15778 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463872 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.43
Current children cumulated vsize (KiB) 7642348

[startup+6.30149 s]
/proc/loadavg: 4.00 4.01 3.83 5/262 29948
/proc/meminfo: memFree=11258348/32951124 swapFree=67111528/67111528
[pid=29810] ppid=29807 vsize=7642348 CPUtime=6.6 cores=0,2
/proc/29810/stat : 29810 (java) S 29807 29810 29350 0 -1 4202496 17580 0 1 0 657 3 0 0 25 0 19 0 371526702 7825764352 16168 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29810/statm: 1910587 16168 2255 9 0 1901325 0
[pid=29810/tid=29813] ppid=29807 vsize=7642348 CPUtime=5.94 cores=0,2
/proc/29810/task/29813/stat : 29813 (java) R 29807 29810 29350 0 -1 4202560 10160 0 1 0 592 2 0 0 25 0 19 0 371526703 7825764352 16168 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 46912505588050 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=29810/tid=29814] ppid=29807 vsize=7642348 CPUtime=0.01 cores=0,2
/proc/29810/task/29814/stat : 29814 (java) S 29807 29810 29350 0 -1 4202560 1130 0 0 0 1 0 0 0 15 0 19 0 371526705 7825764352 16168 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29815] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29815/stat : 29815 (java) S 29807 29810 29350 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 371526705 7825764352 16168 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29816] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29816/stat : 29816 (java) S 29807 29810 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371526705 7825764352 16168 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29817] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29817/stat : 29817 (java) S 29807 29810 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371526705 7825764352 16168 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29818] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29818/stat : 29818 (java) S 29807 29810 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371526705 7825764352 16168 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29819] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29819/stat : 29819 (java) S 29807 29810 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371526705 7825764352 16168 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29820] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29820/stat : 29820 (java) S 29807 29810 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371526705 7825764352 16168 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29821] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29821/stat : 29821 (java) S 29807 29810 29350 0 -1 4202560 380 0 0 0 0 0 0 0 16 0 19 0 371526705 7825764352 16168 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29822] ppid=29807 vsize=7642348 CPUtime=0.09 cores=0,2
/proc/29810/task/29822/stat : 29822 (java) S 29807 29810 29350 0 -1 4202560 1294 0 0 0 9 0 0 0 15 0 19 0 371526706 7825764352 16168 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463872 0 0 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=29810/tid=29823] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29823/stat : 29823 (java) S 29807 29810 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371526706 7825764352 16168 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29824] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29824/stat : 29824 (java) S 29807 29810 29350 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 371526706 7825764352 16168 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29832] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29832/stat : 29832 (java) S 29807 29810 29350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371526709 7825764352 16168 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216470961 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29833] ppid=29807 vsize=7642348 CPUtime=0.19 cores=0,2
/proc/29810/task/29833/stat : 29833 (java) S 29807 29810 29350 0 -1 4202560 841 0 0 0 19 0 0 0 15 0 19 0 371526709 7825764352 16168 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29834] ppid=29807 vsize=7642348 CPUtime=0.33 cores=0,2
/proc/29810/task/29834/stat : 29834 (java) S 29807 29810 29350 0 -1 4202560 2612 0 0 0 33 0 0 0 15 0 19 0 371526709 7825764352 16168 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=29810/tid=29836] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29836/stat : 29836 (java) S 29807 29810 29350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371526709 7825764352 16168 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29837] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29837/stat : 29837 (java) S 29807 29810 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371526709 7825764352 16168 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463872 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29866] ppid=29807 vsize=7642348 CPUtime=0 cores=0,2
/proc/29810/task/29866/stat : 29866 (java) S 29807 29810 29350 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 371526725 7825764352 16168 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463872 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.6
Current children cumulated vsize (KiB) 7642348

[startup+12.7014 s]

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

[pid=29810/tid=29819] ppid=29807 vsize=7640800 CPUtime=0.08 cores=0,2
/proc/29810/task/29819/stat : 29819 (java) S 29807 29810 29350 0 -1 4202560 167 0 0 0 8 0 0 0 15 0 19 0 371526705 7824179200 17869 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=29810/tid=29820] ppid=29807 vsize=7640800 CPUtime=0.08 cores=0,2
/proc/29810/task/29820/stat : 29820 (java) S 29807 29810 29350 0 -1 4202560 13 0 0 0 8 0 0 0 15 0 19 0 371526705 7824179200 17869 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29821] ppid=29807 vsize=7640800 CPUtime=0.08 cores=0,2
/proc/29810/task/29821/stat : 29821 (java) S 29807 29810 29350 0 -1 4202560 530 0 0 0 8 0 0 0 15 0 19 0 371526705 7824179200 17869 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29822] ppid=29807 vsize=7640800 CPUtime=5.86 cores=0,2
/proc/29810/task/29822/stat : 29822 (java) S 29807 29810 29350 0 -1 4202560 2541 0 0 0 583 3 0 0 15 0 19 0 371526706 7824179200 17869 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463872 0 0 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=29810/tid=29823] ppid=29807 vsize=7640800 CPUtime=0 cores=0,2
/proc/29810/task/29823/stat : 29823 (java) S 29807 29810 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371526706 7824179200 17869 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29824] ppid=29807 vsize=7640800 CPUtime=0 cores=0,2
/proc/29810/task/29824/stat : 29824 (java) S 29807 29810 29350 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 371526706 7824179200 17869 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29832] ppid=29807 vsize=7640800 CPUtime=0 cores=0,2
/proc/29810/task/29832/stat : 29832 (java) S 29807 29810 29350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371526709 7824179200 17869 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216470961 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29833] ppid=29807 vsize=7640800 CPUtime=0.22 cores=0,2
/proc/29810/task/29833/stat : 29833 (java) S 29807 29810 29350 0 -1 4202560 1375 0 0 0 22 0 0 0 15 0 19 0 371526709 7824179200 17869 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29834] ppid=29807 vsize=7640800 CPUtime=0.33 cores=0,2
/proc/29810/task/29834/stat : 29834 (java) S 29807 29810 29350 0 -1 4202560 2612 0 0 0 33 0 0 0 15 0 19 0 371526709 7824179200 17869 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=29810/tid=29836] ppid=29807 vsize=7640800 CPUtime=0 cores=0,2
/proc/29810/task/29836/stat : 29836 (java) S 29807 29810 29350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371526709 7824179200 17869 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29837] ppid=29807 vsize=7640800 CPUtime=0 cores=0,2
/proc/29810/task/29837/stat : 29837 (java) S 29807 29810 29350 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 19 0 371526709 7824179200 17869 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463872 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29866] ppid=29807 vsize=7640800 CPUtime=0 cores=0,2
/proc/29810/task/29866/stat : 29866 (java) S 29807 29810 29350 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 371526725 7824179200 17869 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463872 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1122.93
Current children cumulated vsize (KiB) 7640800

[startup+1182.3 s]
/proc/loadavg: 4.05 4.02 3.93 5/262 29980
/proc/meminfo: memFree=10797416/32951124 swapFree=67111528/67111528
[pid=29810] ppid=29807 vsize=7640800 CPUtime=1182.94 cores=0,2
/proc/29810/stat : 29810 (java) S 29807 29810 29350 0 -1 4202496 20546 0 1 0 118285 9 0 0 25 0 19 0 371526702 7824179200 17930 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29810/statm: 1910200 17930 2256 9 0 1900938 0
[pid=29810/tid=29813] ppid=29807 vsize=7640800 CPUtime=1175.34 cores=0,2
/proc/29810/task/29813/stat : 29813 (java) R 29807 29810 29350 0 -1 4202560 10453 0 1 0 117530 4 0 0 25 0 19 0 371526703 7824179200 17930 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 46912505623882 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29810/tid=29814] ppid=29807 vsize=7640800 CPUtime=0.11 cores=0,2
/proc/29810/task/29814/stat : 29814 (java) S 29807 29810 29350 0 -1 4202560 1131 0 0 0 11 0 0 0 15 0 19 0 371526705 7824179200 17930 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29815] ppid=29807 vsize=7640800 CPUtime=0.12 cores=0,2
/proc/29810/task/29815/stat : 29815 (java) S 29807 29810 29350 0 -1 4202560 17 0 0 0 12 0 0 0 16 0 19 0 371526705 7824179200 17930 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29816] ppid=29807 vsize=7640800 CPUtime=0.11 cores=0,2
/proc/29810/task/29816/stat : 29816 (java) S 29807 29810 29350 0 -1 4202560 15 0 0 0 11 0 0 0 15 0 19 0 371526705 7824179200 17930 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29817] ppid=29807 vsize=7640800 CPUtime=0.11 cores=0,2
/proc/29810/task/29817/stat : 29817 (java) S 29807 29810 29350 0 -1 4202560 11 0 0 0 11 0 0 0 16 0 19 0 371526705 7824179200 17930 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29818] ppid=29807 vsize=7640800 CPUtime=0.11 cores=0,2
/proc/29810/task/29818/stat : 29818 (java) S 29807 29810 29350 0 -1 4202560 399 0 0 0 11 0 0 0 16 0 19 0 371526705 7824179200 17930 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29819] ppid=29807 vsize=7640800 CPUtime=0.09 cores=0,2
/proc/29810/task/29819/stat : 29819 (java) S 29807 29810 29350 0 -1 4202560 168 0 0 0 9 0 0 0 15 0 19 0 371526705 7824179200 17930 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=29810/tid=29820] ppid=29807 vsize=7640800 CPUtime=0.08 cores=0,2
/proc/29810/task/29820/stat : 29820 (java) S 29807 29810 29350 0 -1 4202560 15 0 0 0 8 0 0 0 15 0 19 0 371526705 7824179200 17930 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29821] ppid=29807 vsize=7640800 CPUtime=0.09 cores=0,2
/proc/29810/task/29821/stat : 29821 (java) S 29807 29810 29350 0 -1 4202560 531 0 0 0 9 0 0 0 15 0 19 0 371526705 7824179200 17930 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29822] ppid=29807 vsize=7640800 CPUtime=6.15 cores=0,2
/proc/29810/task/29822/stat : 29822 (java) S 29807 29810 29350 0 -1 4202560 2599 0 0 0 612 3 0 0 15 0 19 0 371526706 7824179200 17930 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463872 0 0 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=29810/tid=29823] ppid=29807 vsize=7640800 CPUtime=0 cores=0,2
/proc/29810/task/29823/stat : 29823 (java) S 29807 29810 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371526706 7824179200 17930 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29824] ppid=29807 vsize=7640800 CPUtime=0 cores=0,2
/proc/29810/task/29824/stat : 29824 (java) S 29807 29810 29350 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 371526706 7824179200 17930 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29832] ppid=29807 vsize=7640800 CPUtime=0 cores=0,2
/proc/29810/task/29832/stat : 29832 (java) S 29807 29810 29350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371526709 7824179200 17930 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216470961 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29833] ppid=29807 vsize=7640800 CPUtime=0.22 cores=0,2
/proc/29810/task/29833/stat : 29833 (java) S 29807 29810 29350 0 -1 4202560 1375 0 0 0 22 0 0 0 15 0 19 0 371526709 7824179200 17930 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29834] ppid=29807 vsize=7640800 CPUtime=0.33 cores=0,2
/proc/29810/task/29834/stat : 29834 (java) S 29807 29810 29350 0 -1 4202560 2612 0 0 0 33 0 0 0 15 0 19 0 371526709 7824179200 17930 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=29810/tid=29836] ppid=29807 vsize=7640800 CPUtime=0 cores=0,2
/proc/29810/task/29836/stat : 29836 (java) S 29807 29810 29350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371526709 7824179200 17930 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29837] ppid=29807 vsize=7640800 CPUtime=0 cores=0,2
/proc/29810/task/29837/stat : 29837 (java) S 29807 29810 29350 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 371526709 7824179200 17930 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463872 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29866] ppid=29807 vsize=7640800 CPUtime=0 cores=0,2
/proc/29810/task/29866/stat : 29866 (java) S 29807 29810 29350 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 371526725 7824179200 17930 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463872 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1182.94
Current children cumulated vsize (KiB) 7640800

[startup+1242.3 s]
/proc/loadavg: 4.02 4.01 3.93 5/262 29982
/proc/meminfo: memFree=10774556/32951124 swapFree=67111528/67111528
[pid=29810] ppid=29807 vsize=7640800 CPUtime=1242.96 cores=0,2
/proc/29810/stat : 29810 (java) S 29807 29810 29350 0 -1 4202496 20602 0 1 0 124287 9 0 0 25 0 19 0 371526702 7824179200 17965 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29810/statm: 1910200 17965 2256 9 0 1900938 0
[pid=29810/tid=29813] ppid=29807 vsize=7640800 CPUtime=1235 cores=0,2
/proc/29810/task/29813/stat : 29813 (java) S 29807 29810 29350 0 -1 4202560 10466 0 1 0 123496 4 0 0 25 0 19 0 371526703 7824179200 17965 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=29810/tid=29814] ppid=29807 vsize=7640800 CPUtime=0.11 cores=0,2
/proc/29810/task/29814/stat : 29814 (java) R 29807 29810 29350 0 -1 4202560 1131 0 0 0 11 0 0 0 15 0 19 0 371526705 7824179200 17965 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=29810/tid=29815] ppid=29807 vsize=7640800 CPUtime=0.13 cores=0,2
/proc/29810/task/29815/stat : 29815 (java) S 29807 29810 29350 0 -1 4202560 17 0 0 0 13 0 0 0 15 0 19 0 371526705 7824179200 17965 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29816] ppid=29807 vsize=7640800 CPUtime=0.12 cores=0,2
/proc/29810/task/29816/stat : 29816 (java) S 29807 29810 29350 0 -1 4202560 15 0 0 0 12 0 0 0 15 0 19 0 371526705 7824179200 17965 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29817] ppid=29807 vsize=7640800 CPUtime=0.12 cores=0,2
/proc/29810/task/29817/stat : 29817 (java) R 29807 29810 29350 0 -1 4202560 13 0 0 0 12 0 0 0 15 0 19 0 371526705 7824179200 17965 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210204600631 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29810/tid=29818] ppid=29807 vsize=7640800 CPUtime=0.11 cores=0,2
/proc/29810/task/29818/stat : 29818 (java) S 29807 29810 29350 0 -1 4202560 399 0 0 0 11 0 0 0 15 0 19 0 371526705 7824179200 17965 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29819] ppid=29807 vsize=7640800 CPUtime=0.1 cores=0,2
/proc/29810/task/29819/stat : 29819 (java) R 29807 29810 29350 0 -1 4202560 168 0 0 0 10 0 0 0 15 0 19 0 371526705 7824179200 17965 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210204600631 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=29810/tid=29820] ppid=29807 vsize=7640800 CPUtime=0.09 cores=0,2
/proc/29810/task/29820/stat : 29820 (java) R 29807 29810 29350 0 -1 4202560 15 0 0 0 9 0 0 0 15 0 19 0 371526705 7824179200 17965 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210204600631 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29810/tid=29821] ppid=29807 vsize=7640800 CPUtime=0.1 cores=0,2
/proc/29810/task/29821/stat : 29821 (java) S 29807 29810 29350 0 -1 4202560 531 0 0 0 10 0 0 0 15 0 19 0 371526705 7824179200 17965 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29822] ppid=29807 vsize=7640800 CPUtime=6.46 cores=0,2
/proc/29810/task/29822/stat : 29822 (java) S 29807 29810 29350 0 -1 4202560 2636 0 0 0 643 3 0 0 16 0 19 0 371526706 7824179200 17965 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 0 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=29810/tid=29823] ppid=29807 vsize=7640800 CPUtime=0 cores=0,2
/proc/29810/task/29823/stat : 29823 (java) S 29807 29810 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371526706 7824179200 17965 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29824] ppid=29807 vsize=7640800 CPUtime=0 cores=0,2
/proc/29810/task/29824/stat : 29824 (java) S 29807 29810 29350 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 371526706 7824179200 17965 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29832] ppid=29807 vsize=7640800 CPUtime=0 cores=0,2
/proc/29810/task/29832/stat : 29832 (java) S 29807 29810 29350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371526709 7824179200 17965 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216470961 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29833] ppid=29807 vsize=7640800 CPUtime=0.22 cores=0,2
/proc/29810/task/29833/stat : 29833 (java) S 29807 29810 29350 0 -1 4202560 1375 0 0 0 22 0 0 0 15 0 19 0 371526709 7824179200 17965 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29834] ppid=29807 vsize=7640800 CPUtime=0.33 cores=0,2
/proc/29810/task/29834/stat : 29834 (java) S 29807 29810 29350 0 -1 4202560 2612 0 0 0 33 0 0 0 15 0 19 0 371526709 7824179200 17965 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=29810/tid=29836] ppid=29807 vsize=7640800 CPUtime=0 cores=0,2
/proc/29810/task/29836/stat : 29836 (java) S 29807 29810 29350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371526709 7824179200 17965 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29837] ppid=29807 vsize=7640800 CPUtime=0 cores=0,2
/proc/29810/task/29837/stat : 29837 (java) S 29807 29810 29350 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 371526709 7824179200 17965 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463872 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29866] ppid=29807 vsize=7640800 CPUtime=0 cores=0,2
/proc/29810/task/29866/stat : 29866 (java) S 29807 29810 29350 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 371526725 7824179200 17965 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463872 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1242.96
Current children cumulated vsize (KiB) 7640800



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.11 4.04 3.94 5/262 29983
/proc/meminfo: memFree=10758108/32951124 swapFree=67111528/67111528
[pid=29810] ppid=29807 vsize=7640800 CPUtime=1300.68 cores=0,2
/proc/29810/stat : 29810 (java) S 29807 29810 29350 0 -1 4202496 20647 0 1 0 130059 9 0 0 25 0 19 0 371526702 7824179200 17991 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29810/statm: 1910200 17991 2256 9 0 1900938 0
[pid=29810/tid=29813] ppid=29807 vsize=7640800 CPUtime=1292.37 cores=0,2
/proc/29810/task/29813/stat : 29813 (java) R 29807 29810 29350 0 -1 4202560 10477 0 1 0 129233 4 0 0 25 0 19 0 371526703 7824179200 17991 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 46912505588079 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29810/tid=29814] ppid=29807 vsize=7640800 CPUtime=0.11 cores=0,2
/proc/29810/task/29814/stat : 29814 (java) S 29807 29810 29350 0 -1 4202560 1131 0 0 0 11 0 0 0 15 0 19 0 371526705 7824179200 17991 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29815] ppid=29807 vsize=7640800 CPUtime=0.14 cores=0,2
/proc/29810/task/29815/stat : 29815 (java) S 29807 29810 29350 0 -1 4202560 17 0 0 0 14 0 0 0 15 0 19 0 371526705 7824179200 17991 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29816] ppid=29807 vsize=7640800 CPUtime=0.12 cores=0,2
/proc/29810/task/29816/stat : 29816 (java) S 29807 29810 29350 0 -1 4202560 15 0 0 0 12 0 0 0 15 0 19 0 371526705 7824179200 17991 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29817] ppid=29807 vsize=7640800 CPUtime=0.13 cores=0,2
/proc/29810/task/29817/stat : 29817 (java) S 29807 29810 29350 0 -1 4202560 13 0 0 0 13 0 0 0 15 0 19 0 371526705 7824179200 17991 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29818] ppid=29807 vsize=7640800 CPUtime=0.11 cores=0,2
/proc/29810/task/29818/stat : 29818 (java) S 29807 29810 29350 0 -1 4202560 400 0 0 0 11 0 0 0 16 0 19 0 371526705 7824179200 17991 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29819] ppid=29807 vsize=7640800 CPUtime=0.11 cores=0,2
/proc/29810/task/29819/stat : 29819 (java) S 29807 29810 29350 0 -1 4202560 169 0 0 0 11 0 0 0 15 0 19 0 371526705 7824179200 17991 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29820] ppid=29807 vsize=7640800 CPUtime=0.09 cores=0,2
/proc/29810/task/29820/stat : 29820 (java) S 29807 29810 29350 0 -1 4202560 15 0 0 0 9 0 0 0 15 0 19 0 371526705 7824179200 17991 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29821] ppid=29807 vsize=7640800 CPUtime=0.1 cores=0,2
/proc/29810/task/29821/stat : 29821 (java) S 29807 29810 29350 0 -1 4202560 531 0 0 0 10 0 0 0 15 0 19 0 371526705 7824179200 17991 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29822] ppid=29807 vsize=7640800 CPUtime=6.77 cores=0,2
/proc/29810/task/29822/stat : 29822 (java) S 29807 29810 29350 0 -1 4202560 2664 0 0 0 674 3 0 0 15 0 19 0 371526706 7824179200 17991 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463872 0 0 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=29810/tid=29823] ppid=29807 vsize=7640800 CPUtime=0 cores=0,2
/proc/29810/task/29823/stat : 29823 (java) S 29807 29810 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371526706 7824179200 17991 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29824] ppid=29807 vsize=7640800 CPUtime=0 cores=0,2
/proc/29810/task/29824/stat : 29824 (java) S 29807 29810 29350 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 371526706 7824179200 17991 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29832] ppid=29807 vsize=7640800 CPUtime=0 cores=0,2
/proc/29810/task/29832/stat : 29832 (java) S 29807 29810 29350 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371526709 7824179200 17991 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216470961 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29833] ppid=29807 vsize=7640800 CPUtime=0.22 cores=0,2
/proc/29810/task/29833/stat : 29833 (java) S 29807 29810 29350 0 -1 4202560 1375 0 0 0 22 0 0 0 15 0 19 0 371526709 7824179200 17991 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29834] ppid=29807 vsize=7640800 CPUtime=0.33 cores=0,2
/proc/29810/task/29834/stat : 29834 (java) S 29807 29810 29350 0 -1 4202560 2612 0 0 0 33 0 0 0 15 0 19 0 371526709 7824179200 17991 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=29810/tid=29836] ppid=29807 vsize=7640800 CPUtime=0 cores=0,2
/proc/29810/task/29836/stat : 29836 (java) S 29807 29810 29350 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371526709 7824179200 17991 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29837] ppid=29807 vsize=7640800 CPUtime=0 cores=0,2
/proc/29810/task/29837/stat : 29837 (java) S 29807 29810 29350 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 371526709 7824179200 17991 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463872 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=29810/tid=29866] ppid=29807 vsize=7640800 CPUtime=0 cores=0,2
/proc/29810/task/29866/stat : 29866 (java) S 29807 29810 29350 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 371526725 7824179200 17991 33554432000 1073741824 1073778376 140737126479760 18446744073709551615 210216463872 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1300.68
Current children cumulated vsize (KiB) 7640800

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): 1300.76
CPU user time (s): 1300.66
CPU system time (s): 0.104984
CPU usage (%): 100.055
Max. virtual memory (cumulated for all children) (KiB): 7642348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1300.66
system time used= 0.104984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21035
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= 34131
involuntary context switches= 9627

runsolver used 2.26565 second user time and 4.85226 second system time

The end

Launcher Data 

Begin job on node130 at 2011-04-12 11:08:02
IDJOB=3190364
IDBENCH=82695
IDSOLVER=1611
FILE ID=node130/3190364-1302599282
RUNJOBID= node130-1302596677-29368
PBS_JOBID= 12958086
Free space on /tmp= 71572 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/random/large/unif-k7-r85-v250-c21250-S977260632-016-UNKNOWN.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-3190364-1302599282/watcher-3190364-1302599282 -o /tmp/evaluation-result-3190364-1302599282/solver-3190364-1302599282 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190364-1302599282.cnf

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

MD5SUM BENCH= 58eb79e3bfc8d25580f794d4e2d18629
RANDOM SEED=807227560

node130.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	: 5332.83
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.81
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      11550692 kB
Buffers:        760496 kB
Cached:       20144980 kB
SwapCached:          0 kB
Active:       10005336 kB
Inactive:     10969272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11550692 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:             872 kB
Writeback:          24 kB
AnonPages:       69120 kB
Mapped:          15360 kB
Slab:           362456 kB
PageTables:       5124 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   258812 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= 71568 MiB
End job on node130 at 2011-04-12 11:29:44