Trace number 3250510

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.62 1300.04

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_508.cnf
MD5SUMb891f70c80006fb02dca40f266c0cec1
Bench CategoryCRAFTED (crafted 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 variables254
Number of clauses34661
Sum of the clauses size157137
Maximum clause length23
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 285
Number of clauses of size 331908
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 52668

Solver Data 

0.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.08	c no version file found!!!
0.03/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.08	c java.vm.version	19.1-b02
0.03/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.08	c sun.arch.data.model	64
0.03/0.08	c java.version		1.6.0_24
0.03/0.08	c os.name		Linux
0.03/0.08	c os.version		2.6.18-164.el5
0.03/0.08	c os.arch		amd64
0.03/0.08	c Free memory 		6997539544
0.03/0.08	c Max memory 		7034241024
0.03/0.08	c Total memory 		7034241024
0.03/0.08	c Number of processors 	8
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@64578ceb
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.09/0.11	c Expensive reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483647s
0.09/0.11	c DB Simplification allowed=true
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3250510-1303546801.cnf
0.09/0.11	c reading problem ... 
0.32/0.23	c ... done. Wall clock time 0.118s.
0.32/0.23	c #vars     254
0.32/0.23	c #constraints  34661
0.32/0.23	c constraints type 
0.35/0.55	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 34576
0.35/0.55	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 85
1.34/1.34	c cleaning 2500 clauses out of 5000 with flag 5000/5000
1.95/1.97	c cleaning 4248 clauses out of 8500 with flag 11000/11000
2.65/2.67	c cleaning 5624 clauses out of 11252 with flag 18000/18000
3.45/3.49	c cleaning 6813 clauses out of 13628 with flag 26000/26000
4.46/4.42	c cleaning 7906 clauses out of 15815 with flag 35000/35000
5.46/5.46	c cleaning 8955 clauses out of 17909 with flag 45000/45000
6.66/6.60	c cleaning 9975 clauses out of 19955 with flag 56001/56001
7.85/7.87	c cleaning 10985 clauses out of 21979 with flag 68000/68000
9.25/9.26	c cleaning 11990 clauses out of 23995 with flag 81001/81001
10.76/10.78	c cleaning 12995 clauses out of 26005 with flag 95001/95001
12.46/12.44	c cleaning 14004 clauses out of 28009 with flag 110000/110000
14.37/14.31	c cleaning 15001 clauses out of 30005 with flag 126000/126000
16.26/16.21	c cleaning 15998 clauses out of 32005 with flag 143001/143001
18.26/18.21	c cleaning 17001 clauses out of 34006 with flag 161000/161000
20.46/20.41	c cleaning 18000 clauses out of 36005 with flag 180000/180000
22.67/22.69	c cleaning 19001 clauses out of 38005 with flag 200000/200000
25.17/25.18	c cleaning 20001 clauses out of 40005 with flag 221001/221001
27.87/27.86	c cleaning 21003 clauses out of 42005 with flag 243002/243002
30.67/30.61	c cleaning 21999 clauses out of 44000 with flag 266000/266000
33.77/33.76	c cleaning 22998 clauses out of 46001 with flag 290000/290000
36.98/36.90	c cleaning 23996 clauses out of 48003 with flag 315000/315000
40.28/40.22	c cleaning 24999 clauses out of 50007 with flag 341000/341000
43.88/43.89	c cleaning 25998 clauses out of 52008 with flag 368000/368000
47.59/47.53	c cleaning 26995 clauses out of 54010 with flag 396000/396000
51.49/51.40	c cleaning 28003 clauses out of 56015 with flag 425000/425000
55.30/55.24	c cleaning 29002 clauses out of 58013 with flag 455001/455001
59.41/59.32	c cleaning 30006 clauses out of 60011 with flag 486001/486001
63.51/63.49	c cleaning 30994 clauses out of 62004 with flag 518000/518000
68.32/68.27	c cleaning 31989 clauses out of 64011 with flag 551001/551001
73.41/73.31	c cleaning 33010 clauses out of 66021 with flag 585000/585000
78.51/78.46	c cleaning 33995 clauses out of 68011 with flag 620000/620000
84.02/83.93	c cleaning 34501 clauses out of 69016 with flag 655000/655000
88.72/88.65	c cleaning 34745 clauses out of 69515 with flag 690000/690000
93.32/93.22	c cleaning 34873 clauses out of 69770 with flag 725000/725000
98.12/98.01	c cleaning 34934 clauses out of 69897 with flag 760000/760000
102.53/102.49	c cleaning 34975 clauses out of 69964 with flag 795001/795001
107.43/107.38	c cleaning 34990 clauses out of 69989 with flag 830001/830001
112.13/112.10	c cleaning 34988 clauses out of 69998 with flag 865000/865000
117.13/117.02	c cleaning 34995 clauses out of 70010 with flag 900000/900000
121.83/121.74	c cleaning 35000 clauses out of 70015 with flag 935000/935000
126.44/126.35	c cleaning 35005 clauses out of 70016 with flag 970001/970001
131.24/131.14	c cleaning 35002 clauses out of 70011 with flag 1005001/1005001
135.84/135.73	c cleaning 34999 clauses out of 70008 with flag 1040000/1040000
140.44/140.35	c cleaning 35000 clauses out of 70009 with flag 1075000/1075000
145.04/144.91	c cleaning 35004 clauses out of 70010 with flag 1110001/1110001
149.65/149.59	c cleaning 34999 clauses out of 70005 with flag 1145000/1145000
154.24/154.16	c cleaning 34999 clauses out of 70007 with flag 1180001/1180001
159.14/159.05	c cleaning 35004 clauses out of 70007 with flag 1215000/1215000
163.95/163.83	c cleaning 34994 clauses out of 70003 with flag 1250000/1250000
168.55/168.48	c cleaning 35005 clauses out of 70010 with flag 1285001/1285001
173.65/173.57	c cleaning 34994 clauses out of 70004 with flag 1320000/1320000
178.75/178.64	c cleaning 35005 clauses out of 70011 with flag 1355001/1355001
183.36/183.27	c cleaning 34997 clauses out of 70006 with flag 1390001/1390001
188.16/188.10	c cleaning 35001 clauses out of 70010 with flag 1425002/1425002
193.26/193.11	c cleaning 34998 clauses out of 70007 with flag 1460000/1460000
197.76/197.67	c cleaning 35000 clauses out of 70011 with flag 1495002/1495002
202.57/202.47	c cleaning 34994 clauses out of 70009 with flag 1530000/1530000
207.26/207.18	c cleaning 35008 clauses out of 70015 with flag 1565000/1565000
212.06/211.91	c cleaning 34996 clauses out of 70007 with flag 1600000/1600000
216.97/216.85	c cleaning 35004 clauses out of 70011 with flag 1635000/1635000
221.87/221.77	c cleaning 34999 clauses out of 70008 with flag 1670001/1670001
227.07/226.94	c cleaning 34999 clauses out of 70008 with flag 1705000/1705000
231.77/231.64	c cleaning 34996 clauses out of 70009 with flag 1740000/1740000
236.58/236.43	c cleaning 35005 clauses out of 70013 with flag 1775000/1775000
241.58/241.47	c cleaning 35003 clauses out of 70008 with flag 1810000/1810000
246.48/246.37	c cleaning 34982 clauses out of 70005 with flag 1845000/1845000
251.58/251.46	c cleaning 35010 clauses out of 70023 with flag 1880000/1880000
256.78/256.69	c cleaning 35004 clauses out of 70013 with flag 1915000/1915000
262.28/262.17	c cleaning 35005 clauses out of 70010 with flag 1950001/1950001
267.39/267.26	c cleaning 34994 clauses out of 70005 with flag 1985001/1985001
272.59/272.41	c cleaning 34994 clauses out of 70010 with flag 2020000/2020000
277.19/277.09	c cleaning 34999 clauses out of 70016 with flag 2055000/2055000
282.51/282.33	c cleaning 35004 clauses out of 70018 with flag 2090001/2090001
287.61/287.46	c cleaning 34988 clauses out of 70013 with flag 2125000/2125000
292.81/292.64	c cleaning 35000 clauses out of 70025 with flag 2160000/2160000
297.91/297.70	c cleaning 35005 clauses out of 70025 with flag 2195000/2195000
303.11/302.93	c cleaning 34999 clauses out of 70020 with flag 2230000/2230000
307.71/307.53	c cleaning 34996 clauses out of 70021 with flag 2265000/2265000
312.71/312.56	c cleaning 35000 clauses out of 70025 with flag 2300000/2300000
317.71/317.59	c cleaning 35009 clauses out of 70026 with flag 2335001/2335001
322.61/322.40	c cleaning 34994 clauses out of 70016 with flag 2370000/2370000
327.42/327.26	c cleaning 35000 clauses out of 70022 with flag 2405000/2405000
332.62/332.40	c cleaning 35006 clauses out of 70023 with flag 2440001/2440001
337.21/337.05	c cleaning 35002 clauses out of 70016 with flag 2475000/2475000
341.72/341.54	c cleaning 34992 clauses out of 70014 with flag 2510000/2510000
346.52/346.30	c cleaning 34994 clauses out of 70022 with flag 2545000/2545000
351.32/351.17	c cleaning 35012 clauses out of 70031 with flag 2580003/2580003
356.02/355.80	c cleaning 35003 clauses out of 70016 with flag 2615000/2615000
360.82/360.69	c cleaning 35000 clauses out of 70013 with flag 2650000/2650000
365.82/365.69	c cleaning 35007 clauses out of 70013 with flag 2685000/2685000
370.72/370.53	c cleaning 34989 clauses out of 70006 with flag 2720000/2720000
375.62/375.40	c cleaning 35003 clauses out of 70017 with flag 2755000/2755000
380.62/380.45	c cleaning 35001 clauses out of 70014 with flag 2790000/2790000
385.43/385.29	c cleaning 34996 clauses out of 70013 with flag 2825000/2825000
390.64/390.43	c cleaning 35005 clauses out of 70018 with flag 2860001/2860001
395.74/395.56	c cleaning 35001 clauses out of 70012 with flag 2895000/2895000
400.65/400.45	c cleaning 34997 clauses out of 70011 with flag 2930000/2930000
405.74/405.53	c cleaning 35005 clauses out of 70014 with flag 2965000/2965000
410.55/410.32	c cleaning 34998 clauses out of 70010 with flag 3000001/3000001
414.95/414.79	c cleaning 34997 clauses out of 70011 with flag 3035000/3035000
419.35/419.19	c cleaning 35003 clauses out of 70014 with flag 3070000/3070000
424.05/423.88	c cleaning 34993 clauses out of 70011 with flag 3105000/3105000
428.85/428.68	c cleaning 34998 clauses out of 70019 with flag 3140001/3140001
433.56/433.39	c cleaning 34996 clauses out of 70020 with flag 3175000/3175000
438.15/437.98	c cleaning 35010 clauses out of 70025 with flag 3210001/3210001
443.05/442.81	c cleaning 34997 clauses out of 70015 with flag 3245001/3245001
447.96/447.74	c cleaning 35006 clauses out of 70017 with flag 3280000/3280000
452.66/452.49	c cleaning 35003 clauses out of 70011 with flag 3315000/3315000
457.26/457.03	c cleaning 34998 clauses out of 70008 with flag 3350000/3350000
461.56/461.38	c cleaning 35001 clauses out of 70010 with flag 3385000/3385000
466.46/466.28	c cleaning 35000 clauses out of 70009 with flag 3420000/3420000
471.36/471.19	c cleaning 35000 clauses out of 70009 with flag 3455000/3455000
475.96/475.76	c cleaning 34996 clauses out of 70009 with flag 3490000/3490000
480.56/480.34	c cleaning 34999 clauses out of 70013 with flag 3525000/3525000
485.17/485.00	c cleaning 35000 clauses out of 70014 with flag 3560000/3560000
489.87/489.69	c cleaning 35002 clauses out of 70015 with flag 3595001/3595001
494.97/494.79	c cleaning 35000 clauses out of 70014 with flag 3630002/3630002
499.58/499.32	c cleaning 34996 clauses out of 70012 with flag 3665000/3665000
504.37/504.11	c cleaning 35004 clauses out of 70016 with flag 3700000/3700000
508.97/508.71	c cleaning 34996 clauses out of 70012 with flag 3735000/3735000
513.67/513.41	c cleaning 34997 clauses out of 70016 with flag 3770000/3770000
518.38/518.18	c cleaning 34996 clauses out of 70019 with flag 3805000/3805000
523.08/522.85	c cleaning 35010 clauses out of 70023 with flag 3840000/3840000
527.88/527.68	c cleaning 34988 clauses out of 70013 with flag 3875000/3875000
532.78/532.51	c cleaning 35007 clauses out of 70025 with flag 3910000/3910000
537.78/537.51	c cleaning 35000 clauses out of 70018 with flag 3945000/3945000
542.68/542.44	c cleaning 35007 clauses out of 70019 with flag 3980001/3980001
547.09/546.89	c cleaning 35004 clauses out of 70011 with flag 4015000/4015000
551.89/551.69	c cleaning 35002 clauses out of 70007 with flag 4050000/4050000
556.49/556.26	c cleaning 34992 clauses out of 70005 with flag 4085000/4085000
561.09/560.82	c cleaning 35003 clauses out of 70014 with flag 4120001/4120001
565.60/565.31	c cleaning 34993 clauses out of 70011 with flag 4155001/4155001
570.19/569.96	c cleaning 35001 clauses out of 70018 with flag 4190001/4190001
574.89/574.62	c cleaning 34992 clauses out of 70016 with flag 4225000/4225000
579.59/579.31	c cleaning 35009 clauses out of 70024 with flag 4260000/4260000
584.50/584.23	c cleaning 35000 clauses out of 70015 with flag 4295000/4295000
589.20/588.96	c cleaning 35004 clauses out of 70015 with flag 4330000/4330000
594.00/593.76	c cleaning 35001 clauses out of 70011 with flag 4365000/4365000
598.80/598.53	c cleaning 34998 clauses out of 70010 with flag 4400000/4400000
603.50/603.28	c cleaning 34994 clauses out of 70012 with flag 4435000/4435000
608.51/608.23	c cleaning 34994 clauses out of 70018 with flag 4470000/4470000
613.51/613.21	c cleaning 35008 clauses out of 70026 with flag 4505002/4505002
618.41/618.16	c cleaning 35000 clauses out of 70019 with flag 4540003/4540003
623.21/622.97	c cleaning 35005 clauses out of 70017 with flag 4575001/4575001
628.31/628.08	c cleaning 35001 clauses out of 70012 with flag 4610001/4610001
633.21/632.95	c cleaning 34996 clauses out of 70011 with flag 4645001/4645001
637.91/637.65	c cleaning 34992 clauses out of 70014 with flag 4680000/4680000
642.81/642.53	c cleaning 35002 clauses out of 70022 with flag 4715000/4715000
647.92/647.62	c cleaning 35002 clauses out of 70020 with flag 4750000/4750000
652.82/652.56	c cleaning 34995 clauses out of 70018 with flag 4785000/4785000
657.62/657.33	c cleaning 35001 clauses out of 70024 with flag 4820001/4820001
662.22/661.90	c cleaning 35002 clauses out of 70022 with flag 4855000/4855000
666.62/666.36	c cleaning 34996 clauses out of 70020 with flag 4890000/4890000
671.92/671.61	c cleaning 35005 clauses out of 70024 with flag 4925000/4925000
676.52/676.23	c cleaning 35006 clauses out of 70019 with flag 4960000/4960000
681.03/680.77	c cleaning 34997 clauses out of 70013 with flag 4995000/4995000
685.73/685.40	c cleaning 35000 clauses out of 70016 with flag 5030000/5030000
690.53/690.26	c cleaning 35007 clauses out of 70016 with flag 5065000/5065000
695.33/695.03	c cleaning 35002 clauses out of 70009 with flag 5100000/5100000
700.23/699.99	c cleaning 34994 clauses out of 70007 with flag 5135000/5135000
705.34/705.05	c cleaning 34995 clauses out of 70013 with flag 5170000/5170000
710.34/710.09	c cleaning 35011 clauses out of 70021 with flag 5205003/5205003
715.35/715.05	c cleaning 35000 clauses out of 70007 with flag 5240000/5240000
720.45/720.12	c cleaning 34997 clauses out of 70007 with flag 5275000/5275000
725.55/725.29	c cleaning 34998 clauses out of 70011 with flag 5310001/5310001
730.25/729.92	c cleaning 35005 clauses out of 70014 with flag 5345002/5345002
734.56/734.22	c cleaning 35000 clauses out of 70009 with flag 5380002/5380002
739.16/738.80	c cleaning 34997 clauses out of 70007 with flag 5415000/5415000
743.76/743.44	c cleaning 35000 clauses out of 70010 with flag 5450000/5450000
748.66/748.33	c cleaning 34999 clauses out of 70010 with flag 5485000/5485000
753.56/753.21	c cleaning 35001 clauses out of 70011 with flag 5520000/5520000
758.36/758.04	c cleaning 34998 clauses out of 70010 with flag 5555000/5555000
763.26/762.90	c cleaning 35004 clauses out of 70012 with flag 5590000/5590000
768.07/767.75	c cleaning 35004 clauses out of 70009 with flag 5625001/5625001
772.87/772.60	c cleaning 34997 clauses out of 70005 with flag 5660001/5660001
777.67/777.36	c cleaning 35001 clauses out of 70008 with flag 5695001/5695001
782.67/782.30	c cleaning 34991 clauses out of 70006 with flag 5730000/5730000
787.57/787.28	c cleaning 35002 clauses out of 70016 with flag 5765001/5765001
792.57/792.24	c cleaning 35002 clauses out of 70013 with flag 5800000/5800000
797.47/797.12	c cleaning 34995 clauses out of 70011 with flag 5835000/5835000
802.57/802.29	c cleaning 35002 clauses out of 70016 with flag 5870000/5870000
807.58/807.20	c cleaning 34998 clauses out of 70014 with flag 5905000/5905000
812.38/812.02	c cleaning 34992 clauses out of 70016 with flag 5940000/5940000
817.28/816.95	c cleaning 35000 clauses out of 70024 with flag 5975000/5975000
822.28/821.98	c cleaning 35010 clauses out of 70024 with flag 6010000/6010000
827.18/826.84	c cleaning 35004 clauses out of 70014 with flag 6045000/6045000
832.08/831.74	c cleaning 34990 clauses out of 70010 with flag 6080000/6080000
836.98/836.61	c cleaning 35000 clauses out of 70021 with flag 6115001/6115001
842.18/841.81	c cleaning 35001 clauses out of 70020 with flag 6150000/6150000
847.18/846.84	c cleaning 35003 clauses out of 70021 with flag 6185002/6185002
852.19/851.87	c cleaning 35003 clauses out of 70016 with flag 6220000/6220000
857.39/857.01	c cleaning 34998 clauses out of 70013 with flag 6255000/6255000
862.19/861.87	c cleaning 34995 clauses out of 70015 with flag 6290000/6290000
866.89/866.51	c cleaning 35001 clauses out of 70022 with flag 6325002/6325002
871.79/871.44	c cleaning 34999 clauses out of 70019 with flag 6360000/6360000
876.89/876.59	c cleaning 35010 clauses out of 70021 with flag 6395001/6395001
882.09/881.76	c cleaning 34994 clauses out of 70010 with flag 6430000/6430000
886.80/886.50	c cleaning 34997 clauses out of 70017 with flag 6465001/6465001
891.59/891.28	c cleaning 35000 clauses out of 70019 with flag 6500000/6500000
896.50/896.14	c cleaning 35000 clauses out of 70019 with flag 6535000/6535000
901.50/901.14	c cleaning 35008 clauses out of 70019 with flag 6570000/6570000
906.70/906.33	c cleaning 35005 clauses out of 70012 with flag 6605001/6605001
911.70/911.30	c cleaning 34998 clauses out of 70006 with flag 6640000/6640000
916.40/916.08	c cleaning 35002 clauses out of 70008 with flag 6675000/6675000
921.31/920.95	c cleaning 34994 clauses out of 70008 with flag 6710002/6710002
926.11/925.80	c cleaning 34996 clauses out of 70012 with flag 6745000/6745000
930.91/930.60	c cleaning 34996 clauses out of 70016 with flag 6780000/6780000
936.01/935.63	c cleaning 35007 clauses out of 70021 with flag 6815001/6815001
940.92/940.52	c cleaning 35005 clauses out of 70014 with flag 6850001/6850001
945.81/945.43	c cleaning 34999 clauses out of 70008 with flag 6885000/6885000
950.52/950.16	c cleaning 35000 clauses out of 70009 with flag 6920000/6920000
955.62/955.26	c cleaning 35000 clauses out of 70009 with flag 6955000/6955000
960.52/960.14	c cleaning 34994 clauses out of 70009 with flag 6990000/6990000
965.42/965.03	c cleaning 35006 clauses out of 70015 with flag 7025000/7025000
970.22/969.89	c cleaning 35004 clauses out of 70010 with flag 7060001/7060001
975.22/974.88	c cleaning 35002 clauses out of 70006 with flag 7095001/7095001
980.02/979.65	c cleaning 35000 clauses out of 70004 with flag 7130001/7130001
985.02/984.65	c cleaning 34994 clauses out of 70003 with flag 7165000/7165000
989.82/989.49	c cleaning 34993 clauses out of 70009 with flag 7200000/7200000
994.92/994.51	c cleaning 35004 clauses out of 70017 with flag 7235001/7235001
1000.03/999.62	c cleaning 35001 clauses out of 70012 with flag 7270000/7270000
1004.93/1004.57	c cleaning 35004 clauses out of 70011 with flag 7305000/7305000
1009.74/1009.31	c cleaning 34988 clauses out of 70007 with flag 7340000/7340000
1014.84/1014.47	c cleaning 35002 clauses out of 70019 with flag 7375000/7375000
1019.84/1019.44	c cleaning 35002 clauses out of 70017 with flag 7410000/7410000
1024.85/1024.43	c cleaning 35002 clauses out of 70015 with flag 7445000/7445000
1029.75/1029.39	c cleaning 35003 clauses out of 70013 with flag 7480000/7480000
1034.85/1034.49	c cleaning 34999 clauses out of 70010 with flag 7515000/7515000
1039.75/1039.34	c cleaning 34998 clauses out of 70011 with flag 7550000/7550000
1044.75/1044.32	c cleaning 35000 clauses out of 70015 with flag 7585002/7585002
1049.86/1049.49	c cleaning 35004 clauses out of 70015 with flag 7620002/7620002
1055.05/1054.62	c cleaning 34996 clauses out of 70009 with flag 7655000/7655000
1060.15/1059.71	c cleaning 35002 clauses out of 70014 with flag 7690001/7690001
1065.16/1064.78	c cleaning 35004 clauses out of 70012 with flag 7725001/7725001
1070.46/1070.09	c cleaning 35001 clauses out of 70007 with flag 7760000/7760000
1075.76/1075.34	c cleaning 34998 clauses out of 70007 with flag 7795001/7795001
1080.96/1080.56	c cleaning 34996 clauses out of 70008 with flag 7830000/7830000
1085.66/1085.22	c cleaning 34996 clauses out of 70012 with flag 7865000/7865000
1090.37/1089.98	c cleaning 34999 clauses out of 70016 with flag 7900000/7900000
1095.27/1094.83	c cleaning 34999 clauses out of 70017 with flag 7935000/7935000
1100.07/1099.63	c cleaning 35007 clauses out of 70019 with flag 7970001/7970001
1105.07/1104.64	c cleaning 34995 clauses out of 70011 with flag 8005000/8005000
1109.97/1109.50	c cleaning 35000 clauses out of 70016 with flag 8040000/8040000
1115.08/1114.60	c cleaning 34996 clauses out of 70016 with flag 8075000/8075000
1119.98/1119.59	c cleaning 35003 clauses out of 70020 with flag 8110000/8110000
1124.98/1124.55	c cleaning 35008 clauses out of 70017 with flag 8145000/8145000
1130.19/1129.74	c cleaning 34992 clauses out of 70009 with flag 8180000/8180000
1135.48/1135.04	c cleaning 34999 clauses out of 70017 with flag 8215000/8215000
1140.58/1140.11	c cleaning 35005 clauses out of 70018 with flag 8250000/8250000
1145.59/1145.11	c cleaning 34994 clauses out of 70013 with flag 8285000/8285000
1150.69/1150.23	c cleaning 35008 clauses out of 70019 with flag 8320000/8320000
1155.79/1155.31	c cleaning 34998 clauses out of 70014 with flag 8355003/8355003
1160.79/1160.38	c cleaning 35000 clauses out of 70013 with flag 8390000/8390000
1166.09/1165.63	c cleaning 35007 clauses out of 70013 with flag 8425000/8425000
1171.19/1170.73	c cleaning 35000 clauses out of 70006 with flag 8460000/8460000
1176.30/1175.88	c cleaning 35002 clauses out of 70007 with flag 8495001/8495001
1181.39/1180.93	c cleaning 34994 clauses out of 70004 with flag 8530000/8530000
1186.39/1185.96	c cleaning 34994 clauses out of 70010 with flag 8565000/8565000
1191.49/1191.04	c cleaning 35000 clauses out of 70016 with flag 8600000/8600000
1196.40/1195.90	c cleaning 34993 clauses out of 70016 with flag 8635000/8635000
1201.00/1200.59	c cleaning 35002 clauses out of 70024 with flag 8670001/8670001
1205.70/1205.27	c cleaning 34994 clauses out of 70021 with flag 8705000/8705000
1210.40/1209.99	c cleaning 35004 clauses out of 70027 with flag 8740000/8740000
1215.30/1214.86	c cleaning 34994 clauses out of 70023 with flag 8775000/8775000
1220.00/1219.59	c cleaning 35013 clauses out of 70029 with flag 8810000/8810000
1224.71/1224.30	c cleaning 35005 clauses out of 70018 with flag 8845002/8845002
1229.71/1229.27	c cleaning 34997 clauses out of 70011 with flag 8880000/8880000
1234.61/1234.10	c cleaning 34998 clauses out of 70014 with flag 8915000/8915000
1239.51/1239.08	c cleaning 35004 clauses out of 70017 with flag 8950001/8950001
1244.41/1243.96	c cleaning 34999 clauses out of 70012 with flag 8985000/8985000
1249.21/1248.78	c cleaning 34999 clauses out of 70013 with flag 9020000/9020000
1254.22/1253.73	c cleaning 34988 clauses out of 70014 with flag 9055000/9055000
1259.32/1258.82	c cleaning 35003 clauses out of 70027 with flag 9090001/9090001
1264.43/1263.98	c cleaning 35009 clauses out of 70023 with flag 9125000/9125000
1269.42/1268.99	c cleaning 34990 clauses out of 70014 with flag 9160000/9160000
1274.72/1274.27	c cleaning 35006 clauses out of 70026 with flag 9195002/9195002
1279.62/1279.19	c cleaning 35002 clauses out of 70019 with flag 9230001/9230001
1284.63/1284.19	c cleaning 35002 clauses out of 70017 with flag 9265001/9265001
1289.84/1289.32	c cleaning 35001 clauses out of 70015 with flag 9300001/9300001
1294.84/1294.36	c cleaning 35003 clauses out of 70013 with flag 9335000/9335000
1300.14/1299.67	c cleaning 35002 clauses out of 70010 with flag 9370000/9370000
1300.55/1300.01	c starts		: 2555
1300.55/1300.01	c conflicts		: 9372928
1300.55/1300.01	c decisions		: 9752752
1300.55/1300.01	c propagations		: 303136309
1300.55/1300.01	c inspects		: 17254870960
1300.55/1300.01	c shortcuts		: 0
1300.55/1300.01	c learnt literals	: 0
1300.55/1300.01	c learnt binary clauses	: 0
1300.55/1300.01	c learnt ternary clauses	: 14
1300.55/1300.01	c learnt constraints	: 9372928
1300.55/1300.01	c ignored constraints	: 0
1300.55/1300.01	c root simplifications	: 2555
1300.55/1300.01	c removed literals (reason simplification)	: 250847617
1300.55/1300.01	c reason swapping (by a shorter reason)	: 0
1300.55/1300.01	c Calls to reduceDB	: 281
1300.55/1300.01	c speed (assignments/second)	: 233277.9746110704
1300.55/1300.01	c non guided choices	8
1300.55/1300.03	c learnt constraints type 
1300.55/1300.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 38151
1300.55/1300.03	c constraints type 
1300.55/1300.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 34576
1300.55/1300.03	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 85
1300.55/1300.03	s UNKNOWN
1300.55/1300.03	c Total wall clock time (in seconds) : 1299.904

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

running on 2 cores: 4,6

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.05 2.44 3.17 5/180 5016
/proc/meminfo: memFree=13756732/32951124 swapFree=67102140/67111528
[pid=5016] ppid=5014 vsize=9100 CPUtime=0 cores=4,6
/proc/5016/stat : 5016 (java) S 5014 5016 3806 0 -1 4202496 426 0 0 0 0 0 0 0 18 0 1 0 544910748 9318400 172 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216730254983 0 2147483391 4096 0 18446744071699199166 0 0 17 4 0 0 0
/proc/5016/statm: 5101 172 132 9 0 67 0

[startup+0.0467459 s]
/proc/loadavg: 1.05 2.44 3.17 5/180 5016
/proc/meminfo: memFree=13756732/32951124 swapFree=67102140/67111528
[pid=5016] ppid=5014 vsize=7564352 CPUtime=0.03 cores=4,6
/proc/5016/stat : 5016 (java) S 5014 5016 3806 0 -1 4202496 8807 0 1 0 2 1 0 0 18 0 13 0 544910748 7745896448 8504 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746981349 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/5016/statm: 1891088 8506 1677 9 0 1881836 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7564352

[startup+0.109938 s]
/proc/loadavg: 1.05 2.44 3.17 5/180 5016
/proc/meminfo: memFree=13756732/32951124 swapFree=67102140/67111528
[pid=5016] ppid=5014 vsize=7636344 CPUtime=0.09 cores=4,6
/proc/5016/stat : 5016 (java) S 5014 5016 3806 0 -1 4202496 10326 0 1 0 8 1 0 0 18 0 18 0 544910748 7819616256 10023 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5016/statm: 1909086 10023 2094 9 0 1899824 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7636344

[startup+0.300672 s]
/proc/loadavg: 1.05 2.44 3.17 5/180 5016
/proc/meminfo: memFree=13756732/32951124 swapFree=67102140/67111528
[pid=5016] ppid=5014 vsize=7640824 CPUtime=0.35 cores=4,6
/proc/5016/stat : 5016 (java) S 5014 5016 3806 0 -1 4202496 13168 0 1 0 34 1 0 0 18 0 18 0 544910748 7824203776 12277 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5016/statm: 1910206 12277 2198 9 0 1900944 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 7640824

[startup+0.70054 s]
/proc/loadavg: 1.05 2.44 3.17 5/180 5016
/proc/meminfo: memFree=13756732/32951124 swapFree=67102140/67111528
[pid=5016] ppid=5014 vsize=7641600 CPUtime=0.64 cores=4,6
/proc/5016/stat : 5016 (java) S 5014 5016 3806 0 -1 4202496 14569 0 1 0 62 2 0 0 18 0 19 0 544910748 7824998400 12986 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5016/statm: 1910400 12986 2222 9 0 1901138 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 7641600

[startup+1.50144 s]
/proc/loadavg: 1.05 2.44 3.17 6/262 5106
/proc/meminfo: memFree=13579968/32951124 swapFree=67102140/67111528
[pid=5016] ppid=5014 vsize=7641600 CPUtime=1.54 cores=4,6
/proc/5016/stat : 5016 (java) S 5014 5016 3806 0 -1 4202496 17324 0 1 0 152 2 0 0 18 0 19 0 544910748 7824998400 15531 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5016/statm: 1910400 15531 2253 9 0 1901138 0
[pid=5016/tid=5020] ppid=5014 vsize=7641600 CPUtime=0.95 cores=4,6
/proc/5016/task/5020/stat : 5020 (java) R 5014 5016 3806 0 -1 4202560 10095 0 1 0 94 1 0 0 19 0 19 0 544910749 7824998400 15531 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 46912505604300 0 4 0 16800975 0 0 0 -1 4 0 0 33
[pid=5016/tid=5030] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5030/stat : 5030 (java) S 5014 5016 3806 0 -1 4202560 463 0 0 0 0 0 0 0 18 0 19 0 544910751 7824998400 15531 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5031] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5031/stat : 5031 (java) S 5014 5016 3806 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 544910751 7824998400 15531 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5032] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5032/stat : 5032 (java) S 5014 5016 3806 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 544910751 7824998400 15531 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5033] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5033/stat : 5033 (java) S 5014 5016 3806 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 544910751 7824998400 15531 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5034] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5034/stat : 5034 (java) S 5014 5016 3806 0 -1 4202560 113 0 0 0 0 0 0 0 18 0 19 0 544910751 7824998400 15531 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5035] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5035/stat : 5035 (java) S 5014 5016 3806 0 -1 4202560 476 0 0 0 0 0 0 0 18 0 19 0 544910751 7824998400 15531 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5036] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5036/stat : 5036 (java) S 5014 5016 3806 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 544910751 7824998400 15531 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5037] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5037/stat : 5037 (java) S 5014 5016 3806 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 544910751 7824998400 15531 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5045] ppid=5014 vsize=7641600 CPUtime=0.01 cores=4,6
/proc/5016/task/5045/stat : 5045 (java) S 5014 5016 3806 0 -1 4202560 1051 0 0 0 1 0 0 0 15 0 19 0 544910752 7824998400 15531 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746995200 0 0 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5048] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5048/stat : 5048 (java) S 5014 5016 3806 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 544910752 7824998400 15531 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5049] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5049/stat : 5049 (java) S 5014 5016 3806 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 544910752 7824998400 15531 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5060] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5060/stat : 5060 (java) S 5014 5016 3806 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 544910755 7824998400 15531 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216747002289 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5062] ppid=5014 vsize=7641600 CPUtime=0.25 cores=4,6
/proc/5016/task/5062/stat : 5062 (java) S 5014 5016 3806 0 -1 4202560 1615 0 0 0 25 0 0 0 15 0 19 0 544910755 7824998400 15531 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5065] ppid=5014 vsize=7641600 CPUtime=0.28 cores=4,6
/proc/5016/task/5065/stat : 5065 (java) S 5014 5016 3806 0 -1 4202560 2356 0 0 0 28 0 0 0 16 0 19 0 544910755 7824998400 15531 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5067] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5067/stat : 5067 (java) S 5014 5016 3806 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 544910755 7824998400 15531 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5068] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5068/stat : 5068 (java) S 5014 5016 3806 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 544910755 7824998400 15531 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746995200 0 4 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5103] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5103/stat : 5103 (java) S 5014 5016 3806 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 544910804 7824998400 15531 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746995200 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 7641600

[startup+3.10113 s]
/proc/loadavg: 1.45 2.50 3.18 6/262 5106
/proc/meminfo: memFree=13506932/32951124 swapFree=67102140/67111528
[pid=5016] ppid=5014 vsize=7641600 CPUtime=3.16 cores=4,6
/proc/5016/stat : 5016 (java) S 5014 5016 3806 0 -1 4202496 17856 0 1 0 314 2 0 0 18 0 19 0 544910748 7824998400 16061 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5016/statm: 1910400 16061 2255 9 0 1901138 0
[pid=5016/tid=5020] ppid=5014 vsize=7641600 CPUtime=2.49 cores=4,6
/proc/5016/task/5020/stat : 5020 (java) R 5014 5016 3806 0 -1 4202560 10098 0 1 0 248 1 0 0 23 0 19 0 544910749 7824998400 16061 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 46912505641663 0 4 0 16800975 0 0 0 -1 6 0 0 33
[pid=5016/tid=5030] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5030/stat : 5030 (java) S 5014 5016 3806 0 -1 4202560 463 0 0 0 0 0 0 0 15 0 19 0 544910751 7824998400 16061 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5031] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5031/stat : 5031 (java) S 5014 5016 3806 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 19 0 544910751 7824998400 16061 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5032] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5032/stat : 5032 (java) S 5014 5016 3806 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 544910751 7824998400 16061 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5033] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5033/stat : 5033 (java) S 5014 5016 3806 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 544910751 7824998400 16061 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5034] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5034/stat : 5034 (java) S 5014 5016 3806 0 -1 4202560 113 0 0 0 0 0 0 0 15 0 19 0 544910751 7824998400 16061 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5035] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5035/stat : 5035 (java) S 5014 5016 3806 0 -1 4202560 476 0 0 0 0 0 0 0 15 0 19 0 544910751 7824998400 16061 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5036] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5036/stat : 5036 (java) S 5014 5016 3806 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 544910751 7824998400 16061 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5037] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5037/stat : 5037 (java) S 5014 5016 3806 0 -1 4202560 211 0 0 0 0 0 0 0 15 0 19 0 544910751 7824998400 16061 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5045] ppid=5014 vsize=7641600 CPUtime=0.05 cores=4,6
/proc/5016/task/5045/stat : 5045 (java) S 5014 5016 3806 0 -1 4202560 1313 0 0 0 5 0 0 0 16 0 19 0 544910752 7824998400 16061 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746995200 0 0 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5048] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5048/stat : 5048 (java) S 5014 5016 3806 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 544910752 7824998400 16061 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5049] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5049/stat : 5049 (java) S 5014 5016 3806 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 544910752 7824998400 16061 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5060] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5060/stat : 5060 (java) S 5014 5016 3806 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 544910755 7824998400 16061 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216747002289 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5062] ppid=5014 vsize=7641600 CPUtime=0.28 cores=4,6
/proc/5016/task/5062/stat : 5062 (java) S 5014 5016 3806 0 -1 4202560 1620 0 0 0 28 0 0 0 15 0 19 0 544910755 7824998400 16061 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5065] ppid=5014 vsize=7641600 CPUtime=0.3 cores=4,6
/proc/5016/task/5065/stat : 5065 (java) S 5014 5016 3806 0 -1 4202560 2360 0 0 0 30 0 0 0 16 0 19 0 544910755 7824998400 16061 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5067] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5067/stat : 5067 (java) S 5014 5016 3806 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 544910755 7824998400 16061 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5068] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5068/stat : 5068 (java) S 5014 5016 3806 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 544910755 7824998400 16061 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746995200 0 4 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5103] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5103/stat : 5103 (java) S 5014 5016 3806 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 544910804 7824998400 16061 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746995200 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.16
Current children cumulated vsize (KiB) 7641600

[startup+6.30163 s]
/proc/loadavg: 1.45 2.50 3.18 6/262 5106
/proc/meminfo: memFree=13504408/32951124 swapFree=67102140/67111528
[pid=5016] ppid=5014 vsize=7641600 CPUtime=6.35 cores=4,6
/proc/5016/stat : 5016 (java) S 5014 5016 3806 0 -1 4202496 18116 0 1 0 633 2 0 0 18 0 19 0 544910748 7824998400 16229 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5016/statm: 1910400 16229 2255 9 0 1901138 0
[pid=5016/tid=5020] ppid=5014 vsize=7641600 CPUtime=5.59 cores=4,6
/proc/5016/task/5020/stat : 5020 (java) R 5014 5016 3806 0 -1 4202560 10102 0 1 0 558 1 0 0 25 0 19 0 544910749 7824998400 16229 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 46912505604322 0 4 0 16800975 0 0 0 -1 4 0 0 33
[pid=5016/tid=5030] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5030/stat : 5030 (java) S 5014 5016 3806 0 -1 4202560 560 0 0 0 0 0 0 0 15 0 19 0 544910751 7824998400 16229 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5031] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5031/stat : 5031 (java) S 5014 5016 3806 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 19 0 544910751 7824998400 16229 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5032] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5032/stat : 5032 (java) S 5014 5016 3806 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 544910751 7824998400 16229 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5033] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5033/stat : 5033 (java) S 5014 5016 3806 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 544910751 7824998400 16229 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5034] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5034/stat : 5034 (java) S 5014 5016 3806 0 -1 4202560 113 0 0 0 0 0 0 0 15 0 19 0 544910751 7824998400 16229 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5035] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5035/stat : 5035 (java) S 5014 5016 3806 0 -1 4202560 476 0 0 0 0 0 0 0 15 0 19 0 544910751 7824998400 16229 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5036] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5036/stat : 5036 (java) S 5014 5016 3806 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 544910751 7824998400 16229 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5037] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5037/stat : 5037 (java) S 5014 5016 3806 0 -1 4202560 211 0 0 0 0 0 0 0 15 0 19 0 544910751 7824998400 16229 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5045] ppid=5014 vsize=7641600 CPUtime=0.11 cores=4,6
/proc/5016/task/5045/stat : 5045 (java) S 5014 5016 3806 0 -1 4202560 1465 0 0 0 11 0 0 0 16 0 19 0 544910752 7824998400 16229 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746995200 0 0 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5048] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5048/stat : 5048 (java) S 5014 5016 3806 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 544910752 7824998400 16229 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5049] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5049/stat : 5049 (java) S 5014 5016 3806 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 544910752 7824998400 16229 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5060] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5060/stat : 5060 (java) S 5014 5016 3806 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 544910755 7824998400 16229 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216747002289 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5062] ppid=5014 vsize=7641600 CPUtime=0.3 cores=4,6
/proc/5016/task/5062/stat : 5062 (java) S 5014 5016 3806 0 -1 4202560 1625 0 0 0 30 0 0 0 15 0 19 0 544910755 7824998400 16229 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5065] ppid=5014 vsize=7641600 CPUtime=0.3 cores=4,6
/proc/5016/task/5065/stat : 5065 (java) S 5014 5016 3806 0 -1 4202560 2360 0 0 0 30 0 0 0 16 0 19 0 544910755 7824998400 16229 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5067] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5067/stat : 5067 (java) S 5014 5016 3806 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 544910755 7824998400 16229 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5068] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5068/stat : 5068 (java) S 5014 5016 3806 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 544910755 7824998400 16229 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746995200 0 4 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5103] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5103/stat : 5103 (java) S 5014 5016 3806 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 544910804 7824998400 16229 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746995200 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.35
Current children cumulated vsize (KiB) 7641600

[startup+12.7015 s]

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

[pid=5016/tid=5035] ppid=5014 vsize=7641600 CPUtime=0.13 cores=4,6
/proc/5016/task/5035/stat : 5035 (java) S 5014 5016 3806 0 -1 4202560 496 0 0 0 13 0 0 0 15 0 19 0 544910751 7824998400 19246 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5036] ppid=5014 vsize=7641600 CPUtime=0.14 cores=4,6
/proc/5016/task/5036/stat : 5036 (java) S 5014 5016 3806 0 -1 4202560 41 0 0 0 14 0 0 0 15 0 19 0 544910751 7824998400 19246 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5037] ppid=5014 vsize=7641600 CPUtime=0.14 cores=4,6
/proc/5016/task/5037/stat : 5037 (java) S 5014 5016 3806 0 -1 4202560 573 0 0 0 14 0 0 0 15 0 19 0 544910751 7824998400 19246 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5045] ppid=5014 vsize=7641600 CPUtime=7.18 cores=4,6
/proc/5016/task/5045/stat : 5045 (java) S 5014 5016 3806 0 -1 4202560 3603 0 0 0 716 2 0 0 15 0 19 0 544910752 7824998400 19246 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746995200 0 0 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5048] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5048/stat : 5048 (java) S 5014 5016 3806 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 544910752 7824998400 19246 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5049] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5049/stat : 5049 (java) S 5014 5016 3806 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 544910752 7824998400 19246 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5060] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5060/stat : 5060 (java) S 5014 5016 3806 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 544910755 7824998400 19246 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216747002289 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5062] ppid=5014 vsize=7641600 CPUtime=0.33 cores=4,6
/proc/5016/task/5062/stat : 5062 (java) S 5014 5016 3806 0 -1 4202560 1631 0 0 0 33 0 0 0 15 0 19 0 544910755 7824998400 19246 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5065] ppid=5014 vsize=7641600 CPUtime=0.3 cores=4,6
/proc/5016/task/5065/stat : 5065 (java) S 5014 5016 3806 0 -1 4202560 2360 0 0 0 30 0 0 0 16 0 19 0 544910755 7824998400 19246 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5067] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5067/stat : 5067 (java) S 5014 5016 3806 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 544910755 7824998400 19246 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5068] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5068/stat : 5068 (java) S 5014 5016 3806 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 544910755 7824998400 19246 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746995200 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5103] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5103/stat : 5103 (java) S 5014 5016 3806 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 544910804 7824998400 19246 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746995200 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1122.78
Current children cumulated vsize (KiB) 7641600

[startup+1182.3 s]
/proc/loadavg: 2.09 2.34 2.87 3/214 5315
/proc/meminfo: memFree=13601652/32951124 swapFree=67102140/67111528
[pid=5016] ppid=5014 vsize=7641600 CPUtime=1182.79 cores=4,6
/proc/5016/stat : 5016 (java) S 5014 5016 3806 0 -1 4202496 21586 0 1 0 118273 6 0 0 18 0 19 0 544910748 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5016/statm: 1910400 19310 2256 9 0 1901138 0
[pid=5016/tid=5020] ppid=5014 vsize=7641600 CPUtime=1173.43 cores=4,6
/proc/5016/task/5020/stat : 5020 (java) R 5014 5016 3806 0 -1 4202560 10352 0 1 0 117342 1 0 0 25 0 19 0 544910749 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 46912505604475 0 4 0 16800975 0 0 0 -1 4 0 0 33
[pid=5016/tid=5030] ppid=5014 vsize=7641600 CPUtime=0.13 cores=4,6
/proc/5016/task/5030/stat : 5030 (java) S 5014 5016 3806 0 -1 4202560 749 0 0 0 13 0 0 0 15 0 19 0 544910751 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5031] ppid=5014 vsize=7641600 CPUtime=0.14 cores=4,6
/proc/5016/task/5031/stat : 5031 (java) S 5014 5016 3806 0 -1 4202560 73 0 0 0 14 0 0 0 15 0 19 0 544910751 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5032] ppid=5014 vsize=7641600 CPUtime=0.12 cores=4,6
/proc/5016/task/5032/stat : 5032 (java) S 5014 5016 3806 0 -1 4202560 16 0 0 0 12 0 0 0 15 0 19 0 544910751 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5033] ppid=5014 vsize=7641600 CPUtime=0.12 cores=4,6
/proc/5016/task/5033/stat : 5033 (java) S 5014 5016 3806 0 -1 4202560 60 0 0 0 12 0 0 0 16 0 19 0 544910751 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5034] ppid=5014 vsize=7641600 CPUtime=0.16 cores=4,6
/proc/5016/task/5034/stat : 5034 (java) S 5014 5016 3806 0 -1 4202560 346 0 0 0 16 0 0 0 15 0 19 0 544910751 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5035] ppid=5014 vsize=7641600 CPUtime=0.14 cores=4,6
/proc/5016/task/5035/stat : 5035 (java) S 5014 5016 3806 0 -1 4202560 496 0 0 0 14 0 0 0 15 0 19 0 544910751 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5036] ppid=5014 vsize=7641600 CPUtime=0.15 cores=4,6
/proc/5016/task/5036/stat : 5036 (java) S 5014 5016 3806 0 -1 4202560 41 0 0 0 15 0 0 0 15 0 19 0 544910751 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5037] ppid=5014 vsize=7641600 CPUtime=0.15 cores=4,6
/proc/5016/task/5037/stat : 5037 (java) S 5014 5016 3806 0 -1 4202560 573 0 0 0 15 0 0 0 15 0 19 0 544910751 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5045] ppid=5014 vsize=7641600 CPUtime=7.55 cores=4,6
/proc/5016/task/5045/stat : 5045 (java) S 5014 5016 3806 0 -1 4202560 3671 0 0 0 753 2 0 0 15 0 19 0 544910752 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746995200 0 0 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5048] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5048/stat : 5048 (java) S 5014 5016 3806 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 544910752 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5049] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5049/stat : 5049 (java) S 5014 5016 3806 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 544910752 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5060] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5060/stat : 5060 (java) S 5014 5016 3806 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 544910755 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216747002289 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5062] ppid=5014 vsize=7641600 CPUtime=0.33 cores=4,6
/proc/5016/task/5062/stat : 5062 (java) S 5014 5016 3806 0 -1 4202560 1631 0 0 0 33 0 0 0 15 0 19 0 544910755 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5065] ppid=5014 vsize=7641600 CPUtime=0.3 cores=4,6
/proc/5016/task/5065/stat : 5065 (java) S 5014 5016 3806 0 -1 4202560 2360 0 0 0 30 0 0 0 16 0 19 0 544910755 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5067] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5067/stat : 5067 (java) S 5014 5016 3806 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 544910755 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5068] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5068/stat : 5068 (java) S 5014 5016 3806 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 544910755 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746995200 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5103] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5103/stat : 5103 (java) S 5014 5016 3806 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 544910804 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746995200 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1182.79
Current children cumulated vsize (KiB) 7641600

[startup+1242.3 s]
/proc/loadavg: 2.03 2.27 2.81 3/214 5316
/proc/meminfo: memFree=13601488/32951124 swapFree=67102140/67111528
[pid=5016] ppid=5014 vsize=7641600 CPUtime=1242.81 cores=4,6
/proc/5016/stat : 5016 (java) S 5014 5016 3806 0 -1 4202496 21606 0 1 0 124275 6 0 0 18 0 19 0 544910748 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5016/statm: 1910400 19310 2256 9 0 1901138 0
[pid=5016/tid=5020] ppid=5014 vsize=7641600 CPUtime=1233.03 cores=4,6
/proc/5016/task/5020/stat : 5020 (java) R 5014 5016 3806 0 -1 4202560 10364 0 1 0 123302 1 0 0 25 0 19 0 544910749 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 46912505604464 0 4 0 16800975 0 0 0 -1 4 0 0 33
[pid=5016/tid=5030] ppid=5014 vsize=7641600 CPUtime=0.14 cores=4,6
/proc/5016/task/5030/stat : 5030 (java) S 5014 5016 3806 0 -1 4202560 749 0 0 0 14 0 0 0 15 0 19 0 544910751 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5031] ppid=5014 vsize=7641600 CPUtime=0.14 cores=4,6
/proc/5016/task/5031/stat : 5031 (java) S 5014 5016 3806 0 -1 4202560 73 0 0 0 14 0 0 0 15 0 19 0 544910751 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5032] ppid=5014 vsize=7641600 CPUtime=0.13 cores=4,6
/proc/5016/task/5032/stat : 5032 (java) S 5014 5016 3806 0 -1 4202560 16 0 0 0 13 0 0 0 15 0 19 0 544910751 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5033] ppid=5014 vsize=7641600 CPUtime=0.13 cores=4,6
/proc/5016/task/5033/stat : 5033 (java) S 5014 5016 3806 0 -1 4202560 60 0 0 0 13 0 0 0 16 0 19 0 544910751 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5034] ppid=5014 vsize=7641600 CPUtime=0.16 cores=4,6
/proc/5016/task/5034/stat : 5034 (java) S 5014 5016 3806 0 -1 4202560 346 0 0 0 16 0 0 0 15 0 19 0 544910751 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5035] ppid=5014 vsize=7641600 CPUtime=0.14 cores=4,6
/proc/5016/task/5035/stat : 5035 (java) S 5014 5016 3806 0 -1 4202560 496 0 0 0 14 0 0 0 15 0 19 0 544910751 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5036] ppid=5014 vsize=7641600 CPUtime=0.15 cores=4,6
/proc/5016/task/5036/stat : 5036 (java) S 5014 5016 3806 0 -1 4202560 41 0 0 0 15 0 0 0 15 0 19 0 544910751 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5037] ppid=5014 vsize=7641600 CPUtime=0.16 cores=4,6
/proc/5016/task/5037/stat : 5037 (java) S 5014 5016 3806 0 -1 4202560 573 0 0 0 16 0 0 0 15 0 19 0 544910751 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5045] ppid=5014 vsize=7641600 CPUtime=7.93 cores=4,6
/proc/5016/task/5045/stat : 5045 (java) S 5014 5016 3806 0 -1 4202560 3675 0 0 0 790 3 0 0 15 0 19 0 544910752 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746995200 0 0 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5048] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5048/stat : 5048 (java) S 5014 5016 3806 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 544910752 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5049] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5049/stat : 5049 (java) S 5014 5016 3806 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 544910752 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5060] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5060/stat : 5060 (java) S 5014 5016 3806 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 544910755 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216747002289 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5062] ppid=5014 vsize=7641600 CPUtime=0.33 cores=4,6
/proc/5016/task/5062/stat : 5062 (java) S 5014 5016 3806 0 -1 4202560 1631 0 0 0 33 0 0 0 15 0 19 0 544910755 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5065] ppid=5014 vsize=7641600 CPUtime=0.3 cores=4,6
/proc/5016/task/5065/stat : 5065 (java) S 5014 5016 3806 0 -1 4202560 2360 0 0 0 30 0 0 0 16 0 19 0 544910755 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5067] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5067/stat : 5067 (java) S 5014 5016 3806 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 544910755 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5068] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5068/stat : 5068 (java) S 5014 5016 3806 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 544910755 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746995200 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5103] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5103/stat : 5103 (java) S 5014 5016 3806 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 544910804 7824998400 19310 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746995200 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1242.81
Current children cumulated vsize (KiB) 7641600



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 2.01 2.22 2.76 3/214 5318
/proc/meminfo: memFree=13600964/32951124 swapFree=67102140/67111528
[pid=5016] ppid=5014 vsize=7641600 CPUtime=1300.55 cores=4,6
/proc/5016/stat : 5016 (java) S 5014 5016 3806 0 -1 4202496 21661 0 1 0 130048 7 0 0 18 0 19 0 544910748 7824998400 19345 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5016/statm: 1910400 19345 2256 9 0 1901138 0
[pid=5016/tid=5020] ppid=5014 vsize=7641600 CPUtime=1290.34 cores=4,6
/proc/5016/task/5020/stat : 5020 (java) R 5014 5016 3806 0 -1 4202560 10376 0 1 0 129033 1 0 0 25 0 19 0 544910749 7824998400 19345 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 46912505604265 0 4 0 16800975 0 0 0 -1 4 0 0 33
[pid=5016/tid=5030] ppid=5014 vsize=7641600 CPUtime=0.14 cores=4,6
/proc/5016/task/5030/stat : 5030 (java) S 5014 5016 3806 0 -1 4202560 749 0 0 0 14 0 0 0 15 0 19 0 544910751 7824998400 19345 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5031] ppid=5014 vsize=7641600 CPUtime=0.15 cores=4,6
/proc/5016/task/5031/stat : 5031 (java) S 5014 5016 3806 0 -1 4202560 73 0 0 0 15 0 0 0 15 0 19 0 544910751 7824998400 19345 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5032] ppid=5014 vsize=7641600 CPUtime=0.13 cores=4,6
/proc/5016/task/5032/stat : 5032 (java) S 5014 5016 3806 0 -1 4202560 16 0 0 0 13 0 0 0 15 0 19 0 544910751 7824998400 19345 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5033] ppid=5014 vsize=7641600 CPUtime=0.13 cores=4,6
/proc/5016/task/5033/stat : 5033 (java) S 5014 5016 3806 0 -1 4202560 60 0 0 0 13 0 0 0 15 0 19 0 544910751 7824998400 19345 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5034] ppid=5014 vsize=7641600 CPUtime=0.17 cores=4,6
/proc/5016/task/5034/stat : 5034 (java) S 5014 5016 3806 0 -1 4202560 348 0 0 0 17 0 0 0 15 0 19 0 544910751 7824998400 19345 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5035] ppid=5014 vsize=7641600 CPUtime=0.15 cores=4,6
/proc/5016/task/5035/stat : 5035 (java) S 5014 5016 3806 0 -1 4202560 496 0 0 0 15 0 0 0 15 0 19 0 544910751 7824998400 19345 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5036] ppid=5014 vsize=7641600 CPUtime=0.16 cores=4,6
/proc/5016/task/5036/stat : 5036 (java) S 5014 5016 3806 0 -1 4202560 41 0 0 0 16 0 0 0 15 0 19 0 544910751 7824998400 19345 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5037] ppid=5014 vsize=7641600 CPUtime=0.17 cores=4,6
/proc/5016/task/5037/stat : 5037 (java) S 5014 5016 3806 0 -1 4202560 573 0 0 0 17 0 0 0 15 0 19 0 544910751 7824998400 19345 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5045] ppid=5014 vsize=7641600 CPUtime=8.29 cores=4,6
/proc/5016/task/5045/stat : 5045 (java) S 5014 5016 3806 0 -1 4202560 3712 0 0 0 826 3 0 0 16 0 19 0 544910752 7824998400 19345 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746995200 0 0 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5048] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5048/stat : 5048 (java) S 5014 5016 3806 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 544910752 7824998400 19345 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5049] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5049/stat : 5049 (java) S 5014 5016 3806 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 544910752 7824998400 19345 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5060] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5060/stat : 5060 (java) S 5014 5016 3806 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 544910755 7824998400 19345 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216747002289 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5062] ppid=5014 vsize=7641600 CPUtime=0.33 cores=4,6
/proc/5016/task/5062/stat : 5062 (java) S 5014 5016 3806 0 -1 4202560 1631 0 0 0 33 0 0 0 15 0 19 0 544910755 7824998400 19345 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 4 0 0 0
[pid=5016/tid=5065] ppid=5014 vsize=7641600 CPUtime=0.3 cores=4,6
/proc/5016/task/5065/stat : 5065 (java) S 5014 5016 3806 0 -1 4202560 2360 0 0 0 30 0 0 0 16 0 19 0 544910755 7824998400 19345 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5067] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5067/stat : 5067 (java) S 5014 5016 3806 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 544910755 7824998400 19345 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746994585 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5068] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5068/stat : 5068 (java) S 5014 5016 3806 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 544910755 7824998400 19345 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746995200 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
[pid=5016/tid=5103] ppid=5014 vsize=7641600 CPUtime=0 cores=4,6
/proc/5016/task/5103/stat : 5103 (java) S 5014 5016 3806 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 544910804 7824998400 19345 33554432000 1073741824 1073778376 140733228877776 18446744073709551615 216746995200 0 4 0 16800975 18446604453889176576 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1300.55
Current children cumulated vsize (KiB) 7641600

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.04
CPU time (s): 1300.62
CPU user time (s): 1300.54
CPU system time (s): 0.074988
CPU usage (%): 100.044
Max. virtual memory (cumulated for all children) (KiB): 7641600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1300.54
system time used= 0.074988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21794
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= 34853
involuntary context switches= 10843

runsolver used 2.26365 second user time and 4.86326 second system time

The end

Launcher Data 

Begin job on node119 at 2011-04-23 10:20:01
IDJOB=3250510
IDBENCH=83275
IDSOLVER=1611
FILE ID=node119/3250510-1303546801
RUNJOBID= node119-1303546801-4992
PBS_JOBID= 13143119
Free space on /tmp= 71920 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-23_508.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-3250510-1303546801/watcher-3250510-1303546801 -o /tmp/evaluation-result-3250510-1303546801/solver-3250510-1303546801 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3250510-1303546801.cnf

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

MD5SUM BENCH= b891f70c80006fb02dca40f266c0cec1
RANDOM SEED=1137755552

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
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.67
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.815
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.815
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.815
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:     32951124 kB
MemFree:      13757236 kB
Buffers:       2209204 kB
Cached:       16344256 kB
SwapCached:       5504 kB
Active:        7433936 kB
Inactive:     11182040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13757236 kB
SwapTotal:    67111528 kB
SwapFree:     67102140 kB
Dirty:            1196 kB
Writeback:           0 kB
AnonPages:       59708 kB
Mapped:          14728 kB
Slab:           513944 kB
PageTables:       5512 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   215348 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= 71920 MiB
End job on node119 at 2011-04-23 10:41:43