Trace number 3688178

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 NameAnswerobjective functionCPU timeWall clock time
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO)430 1801.98 991.135

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-prom2.r.opb
MD5SUMfe2fc6a37df33476d3a38f976836359f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark278
Best CPU time to get the best result obtained on this benchmark0.664898
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 278
Optimality of the best value was proved YES
Number of variables2611
Total number of constraints1924
Number of constraints which are clauses1924
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint30
Number of terms in the objective function 2611
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2611
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2611
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.07/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.07/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.08	c See www.sat4j.org for details.
0.07/0.09	c version 2.3.2.v20120418
0.07/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.09	c java.vm.version	19.1-b02
0.07/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.09	c sun.arch.data.model	64
0.07/0.09	c java.version		1.6.0_24
0.07/0.09	c os.name		Linux
0.07/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.09	c os.arch		amd64
0.07/0.09	c Free memory 		501472288
0.07/0.09	c Max memory 		7480803328
0.07/0.09	c Total memory 		504102912
0.07/0.09	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization by upper bound
0.10/0.12	c ManyCore solver with 2 solvers running in parallel
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c c --- End Solver configuration ---
0.10/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3688178-1337875774.opb
0.10/0.12	c reading problem ... 
0.51/0.32	c ... done. Wall clock time 0.202s.
0.51/0.32	c declared #vars     2611
0.51/0.32	c #constraints  1924
0.51/0.32	c constraints type 
0.51/0.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1861
0.51/0.32	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 63
0.51/0.32	c 1924 constraints processed.
0.51/0.32	c constraints type 
0.51/0.32	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 63
0.51/0.32	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1861
0.51/0.32	c 1924 constraints processed.
0.51/0.32	c objective function length is 2611 literals
0.51/0.37	c  And the winner is solver0
0.81/0.83	c SATISFIABLE
0.81/0.83	c OPTIMIZING...
0.81/0.83	c Got one! Elapsed wall clock time (in seconds):0.707
0.81/0.83	o 439
3.69/2.10	c cleaning 2500 clauses out of 5000 with flag 5000/5000
6.45/3.40	c cleaning 4250 clauses out of 8500 with flag 11000/11000
9.88/5.01	c cleaning 5624 clauses out of 11251 with flag 18001/18001
10.91/5.49	c  And the winner is solver1
11.08/5.84	c Got one! Elapsed wall clock time (in seconds):5.721
11.08/5.84	o 438
12.20/6.47	c cleaning 5344 clauses out of 10690 with flag 3000/23064
15.15/7.81	c cleaning 5673 clauses out of 11346 with flag 9000/29064
18.41/9.41	c cleaning 6335 clauses out of 12673 with flag 16000/36064
22.19/11.30	c cleaning 7164 clauses out of 14339 with flag 24001/44065
26.35/13.41	c cleaning 8083 clauses out of 16174 with flag 33000/53064
31.72/16.17	c cleaning 9047 clauses out of 18095 with flag 43004/63068
37.71/19.18	c cleaning 10017 clauses out of 20044 with flag 54000/74064
43.85/22.27	c cleaning 11002 clauses out of 22028 with flag 66001/86065
50.96/25.90	c cleaning 12010 clauses out of 24028 with flag 79003/99067
58.20/29.50	c cleaning 12999 clauses out of 26015 with flag 93000/113064
65.71/33.35	c cleaning 14007 clauses out of 28019 with flag 108003/128067
74.23/37.68	c cleaning 15000 clauses out of 30009 with flag 124000/144064
84.12/42.66	c cleaning 16004 clauses out of 32009 with flag 141000/161064
85.35/43.37	c  And the winner is solver1
85.32/43.62	c Got one! Elapsed wall clock time (in seconds):43.5
85.32/43.62	o 437
86.70/44.39	c cleaning 10871 clauses out of 21743 with flag 4000/166802
89.59/45.83	c cleaning 8433 clauses out of 16873 with flag 10001/172803
92.87/47.54	c cleaning 7720 clauses out of 15440 with flag 17001/179803
96.34/49.41	c cleaning 7858 clauses out of 15720 with flag 25001/187803
100.77/51.66	c cleaning 8424 clauses out of 16861 with flag 34000/196802
105.40/54.05	c cleaning 9219 clauses out of 18440 with flag 44003/206805
110.45/56.69	c cleaning 10104 clauses out of 20218 with flag 55000/217802
116.49/59.78	c cleaning 11057 clauses out of 22115 with flag 67001/229803
123.23/63.29	c cleaning 12016 clauses out of 24057 with flag 80000/242802
130.09/66.74	c  And the winner is solver1
130.07/67.07	c Got one! Elapsed wall clock time (in seconds):66.952
130.07/67.07	o 436
131.94/68.10	c cleaning 15361 clauses out of 30752 with flag 5002/261513
134.60/69.48	c cleaning 10695 clauses out of 21389 with flag 11000/267511
137.82/71.12	c cleaning 8839 clauses out of 17694 with flag 18000/274511
141.53/73.18	c cleaning 8426 clauses out of 16855 with flag 26000/282511
145.55/75.23	c cleaning 8709 clauses out of 17430 with flag 35001/291512
149.95/77.58	c cleaning 9355 clauses out of 18721 with flag 45001/301512
155.76/80.52	c cleaning 10182 clauses out of 20365 with flag 56000/312511
161.42/83.54	c cleaning 11083 clauses out of 22184 with flag 68001/324512
167.38/86.65	c cleaning 12046 clauses out of 24100 with flag 81000/337511
173.95/90.08	c cleaning 13024 clauses out of 26054 with flag 95000/351511
181.33/93.81	c cleaning 14012 clauses out of 28031 with flag 110001/366512
189.92/98.31	c cleaning 15003 clauses out of 30020 with flag 126002/382513
198.88/102.94	c cleaning 16004 clauses out of 32016 with flag 143001/399512
203.08/105.12	c  And the winner is solver1
202.96/105.27	c Got one! Elapsed wall clock time (in seconds):105.15
202.96/105.27	o 434
204.88/106.27	c cleaning 14179 clauses out of 28361 with flag 5000/411861
207.82/107.82	c cleaning 10088 clauses out of 20185 with flag 11003/417864
211.17/109.76	c cleaning 8545 clauses out of 17095 with flag 18001/424862
214.66/111.69	c cleaning 8275 clauses out of 16549 with flag 26000/432861
218.61/113.77	c cleaning 8633 clauses out of 17277 with flag 35003/441864
223.12/116.19	c cleaning 9322 clauses out of 18643 with flag 45002/451863
228.41/119.07	c cleaning 10156 clauses out of 20320 with flag 56001/462862
233.52/121.79	c cleaning 11082 clauses out of 22163 with flag 68000/474861
239.83/125.02	c cleaning 12040 clauses out of 24081 with flag 81000/487861
246.75/128.62	c cleaning 13022 clauses out of 26043 with flag 95002/501863
254.41/132.76	c cleaning 14008 clauses out of 28019 with flag 110000/516861
262.29/136.83	c cleaning 15005 clauses out of 30011 with flag 126000/532861
270.18/140.92	c cleaning 15998 clauses out of 32006 with flag 143000/549861
279.88/145.91	c cleaning 17000 clauses out of 34008 with flag 161000/567861
290.48/151.52	c cleaning 17999 clauses out of 36008 with flag 180000/586861
300.15/156.54	c cleaning 19004 clauses out of 38009 with flag 200000/606861
311.09/162.16	c cleaning 20000 clauses out of 40005 with flag 221000/627861
322.10/167.85	c cleaning 21002 clauses out of 42005 with flag 243000/649861
335.29/174.73	c cleaning 22003 clauses out of 44005 with flag 266002/672863
349.52/182.06	c cleaning 22997 clauses out of 46000 with flag 290000/696861
361.72/188.30	c cleaning 23991 clauses out of 48005 with flag 315002/721863
362.63/189.01	c  And the winner is solver1
362.31/189.31	c Got one! Elapsed wall clock time (in seconds):189.195
362.31/189.31	o 433
364.46/190.42	c cleaning 14970 clauses out of 29940 with flag 5000/727789
368.00/192.60	c cleaning 10485 clauses out of 20972 with flag 11002/733791
371.36/194.52	c cleaning 8742 clauses out of 17486 with flag 18001/740790
375.32/196.71	c cleaning 8368 clauses out of 16743 with flag 26000/748789
379.69/199.19	c cleaning 8683 clauses out of 17376 with flag 35001/757790
385.10/202.26	c cleaning 9337 clauses out of 18692 with flag 45000/767789
390.68/205.27	c cleaning 10173 clauses out of 20355 with flag 56000/778789
396.81/208.52	c cleaning 11087 clauses out of 22183 with flag 68001/790790
403.93/212.33	c cleaning 12039 clauses out of 24095 with flag 81000/803789
411.49/216.55	c cleaning 13014 clauses out of 26056 with flag 95000/817789
419.95/221.02	c cleaning 14003 clauses out of 28043 with flag 110001/832790
428.57/225.91	c cleaning 15017 clauses out of 30039 with flag 126000/848789
438.07/231.01	c cleaning 16005 clauses out of 32023 with flag 143001/865790
447.35/235.96	c cleaning 17007 clauses out of 34017 with flag 161000/883789
457.46/241.26	c cleaning 17997 clauses out of 36010 with flag 180000/902789
468.00/246.72	c cleaning 19001 clauses out of 38013 with flag 200000/922789
480.66/253.53	c cleaning 19997 clauses out of 40012 with flag 221000/943789
493.91/260.46	c cleaning 21001 clauses out of 42015 with flag 243000/965789
506.57/267.00	c cleaning 22008 clauses out of 44015 with flag 266001/988790
519.79/273.91	c cleaning 22999 clauses out of 46006 with flag 290000/1012789
534.12/281.68	c cleaning 23992 clauses out of 48007 with flag 315000/1037789
548.74/289.25	c cleaning 24997 clauses out of 50015 with flag 341000/1063789
563.69/297.02	c cleaning 26007 clauses out of 52018 with flag 368000/1090789
578.04/304.52	c cleaning 26991 clauses out of 54012 with flag 396001/1118790
583.64/307.97	c  And the winner is solver1
583.29/308.33	c Got one! Elapsed wall clock time (in seconds):308.209
583.29/308.33	o 432
585.47/309.49	c cleaning 21072 clauses out of 42145 with flag 5000/1133914
588.75/311.48	c cleaning 13536 clauses out of 27073 with flag 11000/1139914
592.57/313.70	c cleaning 10268 clauses out of 20537 with flag 18000/1146914
596.99/316.36	c cleaning 9124 clauses out of 18269 with flag 26000/1154914
602.25/319.67	c cleaning 9073 clauses out of 18148 with flag 35003/1163917
607.06/322.47	c cleaning 9524 clauses out of 19072 with flag 45000/1173914
612.69/325.63	c cleaning 10260 clauses out of 20548 with flag 56000/1184914
618.68/329.03	c cleaning 11143 clauses out of 22288 with flag 68000/1196914
625.79/333.21	c cleaning 12065 clauses out of 24145 with flag 81000/1209914
633.24/337.33	c cleaning 13037 clauses out of 26081 with flag 95001/1223915
640.94/341.57	c cleaning 14021 clauses out of 28045 with flag 110002/1238916
649.37/346.11	c cleaning 15011 clauses out of 30022 with flag 126000/1254914
658.68/351.43	c cleaning 16002 clauses out of 32011 with flag 143000/1271914
667.95/356.44	c cleaning 17002 clauses out of 34010 with flag 161001/1289915
677.77/361.77	c cleaning 17999 clauses out of 36008 with flag 180001/1308915
688.15/367.35	c cleaning 19002 clauses out of 38009 with flag 200001/1328915
700.54/374.25	c cleaning 20003 clauses out of 40007 with flag 221001/1349915
713.51/381.15	c cleaning 21000 clauses out of 42003 with flag 243000/1371914
727.04/388.34	c cleaning 22000 clauses out of 44003 with flag 266000/1394914
742.25/397.34	c cleaning 22996 clauses out of 46003 with flag 290000/1418914
757.42/405.22	c cleaning 23996 clauses out of 48008 with flag 315001/1443915
772.37/413.14	c cleaning 25001 clauses out of 50011 with flag 341000/1469914
786.88/420.81	c cleaning 25998 clauses out of 52010 with flag 368000/1496914
802.04/429.27	c cleaning 26998 clauses out of 54012 with flag 396000/1524914
819.53/438.41	c cleaning 28003 clauses out of 56014 with flag 425000/1553914
827.24/442.81	c  And the winner is solver1
826.74/443.11	c Got one! Elapsed wall clock time (in seconds):442.994
826.74/443.11	o 431
828.76/444.13	c cleaning 22747 clauses out of 45500 with flag 5000/1571403
832.25/446.48	c cleaning 14369 clauses out of 28755 with flag 11002/1577405
837.06/449.71	c cleaning 10684 clauses out of 21385 with flag 18001/1584404
841.35/452.41	c cleaning 9349 clauses out of 18703 with flag 26003/1592406
846.25/455.44	c cleaning 9170 clauses out of 18351 with flag 35000/1601403
851.41/458.56	c cleaning 9584 clauses out of 19182 with flag 45001/1611404
857.78/462.69	c cleaning 10297 clauses out of 20597 with flag 56000/1622403
864.35/466.47	c cleaning 11145 clauses out of 22301 with flag 68001/1634404
871.90/470.73	c cleaning 12079 clauses out of 24158 with flag 81003/1647406
879.44/475.02	c cleaning 13034 clauses out of 26076 with flag 95000/1661403
888.25/480.40	c cleaning 14018 clauses out of 28044 with flag 110002/1676405
896.90/485.31	c cleaning 15005 clauses out of 30025 with flag 126001/1692404
905.39/490.16	c cleaning 16005 clauses out of 32020 with flag 143001/1709404
914.69/495.35	c cleaning 17001 clauses out of 34014 with flag 161000/1727403
926.03/501.98	c cleaning 18002 clauses out of 36013 with flag 180000/1746403
938.32/508.62	c cleaning 19000 clauses out of 38012 with flag 200001/1766404
949.04/514.58	c cleaning 20002 clauses out of 40011 with flag 221000/1787403
960.92/521.04	c cleaning 20999 clauses out of 42010 with flag 243001/1809404
974.18/528.65	c cleaning 22005 clauses out of 44010 with flag 266000/1832403
987.25/535.77	c cleaning 23001 clauses out of 46005 with flag 290000/1856403
1002.91/544.13	c cleaning 23997 clauses out of 48004 with flag 315000/1881403
1021.30/553.93	c cleaning 25002 clauses out of 50007 with flag 341000/1907403
1037.39/563.05	c cleaning 25999 clauses out of 52006 with flag 368001/1934404
1053.18/571.57	c cleaning 27000 clauses out of 54007 with flag 396001/1962404
1071.83/581.43	c cleaning 27998 clauses out of 56006 with flag 425000/1991403
1089.97/591.14	c cleaning 29001 clauses out of 58009 with flag 455001/2021404
1110.88/602.79	c cleaning 30004 clauses out of 60008 with flag 486001/2052404
1128.87/612.38	c cleaning 30997 clauses out of 62004 with flag 518001/2084404
1148.66/622.84	c cleaning 31998 clauses out of 64006 with flag 551000/2117403
1170.07/634.14	c cleaning 33003 clauses out of 66008 with flag 585000/2151403
1192.98/646.75	c cleaning 33995 clauses out of 68006 with flag 620001/2186404
1216.66/659.24	c cleaning 34997 clauses out of 70010 with flag 656000/2222403
1229.78/666.55	c  And the winner is solver1
1229.05/666.93	c Got one! Elapsed wall clock time (in seconds):666.808
1229.05/666.93	o 430
1231.46/668.10	c cleaning 29209 clauses out of 58429 with flag 5001/2245819
1235.90/671.10	c cleaning 17607 clauses out of 35219 with flag 11000/2251818
1241.54/675.23	c cleaning 12303 clauses out of 24612 with flag 18000/2258818
1246.47/678.44	c cleaning 10151 clauses out of 20311 with flag 26002/2266820
1251.88/681.93	c cleaning 9581 clauses out of 19161 with flag 35003/2275821
1257.80/685.63	c cleaning 9788 clauses out of 19578 with flag 45001/2285819
1265.42/690.77	c cleaning 10392 clauses out of 20789 with flag 56000/2296818
1272.32/694.91	c cleaning 11197 clauses out of 22397 with flag 68000/2308818
1279.47/699.30	c cleaning 12098 clauses out of 24200 with flag 81000/2321818
1287.76/704.19	c cleaning 13050 clauses out of 26102 with flag 95000/2335818
1297.33/710.28	c cleaning 14021 clauses out of 28052 with flag 110000/2350818
1306.37/715.51	c cleaning 15013 clauses out of 30033 with flag 126002/2366820
1316.06/721.18	c cleaning 16009 clauses out of 32019 with flag 143001/2383819
1326.35/727.10	c cleaning 17006 clauses out of 34012 with flag 161003/2401821
1339.28/734.99	c cleaning 18001 clauses out of 36004 with flag 180001/2420819
1351.17/741.66	c cleaning 18999 clauses out of 38003 with flag 200001/2440819
1363.98/748.89	c cleaning 19991 clauses out of 40003 with flag 221000/2461818
1378.29/756.72	c cleaning 20999 clauses out of 42012 with flag 243000/2483818
1393.68/765.88	c cleaning 22007 clauses out of 44014 with flag 266001/2506819
1408.61/774.12	c cleaning 23001 clauses out of 46007 with flag 290001/2530819
1421.83/781.50	c cleaning 23994 clauses out of 48005 with flag 315000/2555818
1437.49/790.21	c cleaning 25004 clauses out of 50011 with flag 341000/2581818
1456.98/801.56	c cleaning 26001 clauses out of 52007 with flag 368000/2608818
1473.82/810.72	c cleaning 26999 clauses out of 54006 with flag 396000/2636818
1490.57/819.92	c cleaning 27999 clauses out of 56008 with flag 425001/2665819
1510.45/832.14	c cleaning 28998 clauses out of 58008 with flag 455000/2695818
1527.39/841.47	c cleaning 30005 clauses out of 60010 with flag 486000/2726818
1545.30/851.24	c cleaning 31001 clauses out of 62005 with flag 518000/2758818
1564.42/861.65	c cleaning 31997 clauses out of 64005 with flag 551001/2791819
1588.17/875.03	c cleaning 33001 clauses out of 66008 with flag 585001/2825819
1607.63/885.66	c cleaning 33997 clauses out of 68007 with flag 620001/2860819
1626.64/896.05	c cleaning 35003 clauses out of 70010 with flag 656001/2896819
1647.07/907.17	c cleaning 36000 clauses out of 72006 with flag 693000/2933818
1670.38/920.41	c cleaning 37005 clauses out of 74009 with flag 731003/2971821
1693.73/933.06	c cleaning 37987 clauses out of 76001 with flag 770000/3010818
1719.36/946.69	c cleaning 39001 clauses out of 78015 with flag 810001/3050819
1743.63/959.51	c cleaning 40003 clauses out of 80013 with flag 851000/3091818
1771.43/975.02	c cleaning 41003 clauses out of 82011 with flag 893001/3133819
1797.39/988.83	c cleaning 42003 clauses out of 84007 with flag 936000/3176818
1799.91/991.10	c starts		: 37
1799.91/991.10	c conflicts		: 7760
1799.91/991.10	c decisions		: 111950
1799.91/991.10	c propagations		: 380226
1799.91/991.10	c inspects		: 76086681
1799.91/991.10	c shortcuts		: 0
1799.91/991.10	c learnt literals	: 0
1799.91/991.10	c learnt binary clauses	: 0
1799.91/991.10	c learnt ternary clauses	: 0
1799.91/991.10	c learnt constraints	: 7759
1799.91/991.10	c ignored constraints	: 0
1799.91/991.11	c root simplifications	: 0
1799.91/991.11	c removed literals (reason simplification)	: 0
1799.91/991.11	c reason swapping (by a shorter reason)	: 0
1799.91/991.11	c Calls to reduceDB	: 0
1799.91/991.11	c number of reductions to clauses (during analyze)	: 0
1799.91/991.11	c number of learned constraints concerned by reduction	: 0
1799.91/991.11	c number of learning phase by resolution	: 0
1799.91/991.11	c number of learning phase by cutting planes	: 0
1799.91/991.11	c speed (assignments/second)	: 383.9646639327128
1799.91/991.11	c non guided choices	0
1799.91/991.11	c learnt constraints type 
1799.91/991.11	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 3579
1799.91/991.11	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4180
1799.91/991.11	c constraints type 
1799.91/991.11	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1861
1799.91/991.11	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1799.91/991.11	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 63
1799.91/991.11	c 1925 constraints processed.
1799.91/991.11	c constraints type 
1799.91/991.11	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 63
1799.91/991.11	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1861
1799.91/991.11	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1799.91/991.11	c 1925 constraints processed.
1799.91/991.11	s SATISFIABLE
1799.91/991.12	v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 x189 -x190 x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 x202 -x203 x204 -x205 -x206 x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 -x265 x266 -x267 -x268 x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 -x381 -x382 x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 x459 x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 x551 x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 x610 -x611 x612 x613 -x614 -x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 x636 -x637 -x638 -x639 -x640 -x641 -x642 x643 x644 -x645 -x646 -x647 -x648 x649 -x650 x651 -x652 -x653 -x654 -x655 x656 x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 x675 x676 -x677 -x678 -x679 x680 -x681 -x682 -x683 -x684 -x685 x686 x687 -x688 -x689 -x690 -x691 x692 -x693 x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 -x714 x715 -x716 x717 x718 -x719 -x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 x729 x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 -x774 x775 -x776 -x777 -x778 x779 -x780 -x781 -x782 x783 x784 -x785 -x786 x787 -x788 -x789 x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x810 -x811 -x812 -x813 -x814 -x815 -x816 x817 -x818 -x819 -x820 x821 -x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 x854 -x855 x856 -x857 -x858 -x859 -x860 x861 -x862 x863 -x864 -x865 -x866 x867 -x868 -x869 -x870 x871 -x872 x873 -x874 x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 x930 -x931 -x932 x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 -x941 -x942 -x943 -x944 x945 -x946 -x947 -x948 x949 -x950 -x951 x952 -x953 x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 x984 -x985 -x986 -x987 -x988 -x989 x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 x1041 x1042 x1043 x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 -x1082 -x1083 x1084 -x1085 -x1086 x1087 -x1088 x1089 -x1090 x1091 -x1092 -x1093 -x1094 x1095 -x1096 x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130 -x1131 x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 x1146 x1147 -x1148 -x1149 -x1150 -x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 x1168 -x1169 -x1170 x1171 -x1172 -x1173 -x1174 x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193 -x1194 -x1195 x1196 -x1197 x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 x1207 -x1208 -x1209 x1210 -x1211 -x1212 x1213 -x1214 -x1215 -x1216 x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 x1226 -x1227 -x1228 -x1229 -x1230 -x1231 x1232 x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 x1240 -x1241 -x1242 -x1243 x1244 -x1245 -x1246 -x1247 x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 x1258 -x1259 x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 -x1279 x1280 -x1281 -x1282 x1283 -x1284 -x1285 x1286 x1287 -x1288 -x1289 -x1290 -x1291 -x1292 x1293 -x1294 -x1295 -x1296 -x1297 x1298 x1299 x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 x1318 -x1319 -x1320 -x1321 -x1322 -x1323 x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 x1333 -x1334 x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 x1348 -x1349 x1350 x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 x1365 -x1366 x1367 -x1368 -x1369 -x1370 x1371 -x1372 -x1373 -x1374 x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 x1406 x1407 x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 x1417 -x1418 -x1419 x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 x1428 -x1429 -x1430 x1431 x1432 x1433 -x1434 -x1435 x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 x1454 -x1455 x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 x1468 -x1469 -x1470 x1471 -x1472 x1473 x1474 -x1475 x1476 x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 x1491 -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 -x1510 -x1511 -x1512 -x1513 x1514 -x1515 -x1516 -x1517 -x1518 -x1519 x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 x1531 x1532 -x1533 -x1534 -x1535 -x1536 x1537 -x1538 -x1539 -x1540 -x1541 -x1542 x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 x1565 -x1566 x1567 -x1568 -x1569 x1570 -x1571 -x1572 -x1573 -x1574 x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 x1591 -x1592 -x1593 x1594 -x1595 x1596 -x1597 -x1598 x1599 -x1600 -x1601 -x1602 x1603 -x1604 -x1605 -x1606 -x1607 -x1608 x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 x1616 -x1617 -x1618 -x1619 x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 x1636 -x1637 -x1638 -x1639 -x1640 x1641 -x1642 -x1643 -x1644 -x1645 x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 x1674 -x1675 -x1676 -x1677 -x1678 -x1679 x1680 -x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 x1702 -x1703 -x1704 -x1705 x1706 -x1707 -x1708 -x1709 x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 x1718 -x1719 -x1720 -x1721 -x1722 x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 x1776 x1777 x1778 -x1779 x1780 x1781 -x1782 -x1783 -x1784 x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 x1799 x1800 -x1801 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 x1809 -x1810 -x1811 -x1812 -x1813 -x1814 x1815 x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 x1837 -x1838 x1839 -x1840 x1841 x1842 x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 x1866 -x1867 -x1868 -x1869 x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 x1881 -x1882 -x1883 x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 x1894 -x1895 -x1896 -x1897 -x1898 x1899 -x1900 -x1901 -x1902 -x1903 x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 x1923 -x1924 -x1925 -x1926 -x1927 x1928 -x1929 x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 x1946 -x1947 -x1948 x1949 x1950 -x1951 -x1952 -x1953 x1954 -x1955 -x1956 x1957 x1958 -x1959 -x1960 x1961 -x1962 -x1963 x1964 x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 x1975 -x1976 -x1977 -x1978 -x1979 x1980 -x1981 -x1982 -x1983 -x1984 x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 x2014 x2015 -x2016 x2017 -x2018 x2019 x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 x2031 x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 x2042 -x2043 x2044 -x2045 x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 x2056 -x2057 -x2058 x2059 -x2060 -x2061 -x2062 -x2063 x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 x2090 -x2091 -x2092 -x2093 x2094 x2095 -x2096 -x2097 x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 x2126 -x2127 x2128 -x2129 -x2130 -x2131 x2132 -x2133 -x2134 -x2135 -x2136 x2137 -x2138 x2139 -x2140 -x2141 -x2142 -x2143 -x2144 x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 x2154 -x2155 -x2156 x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 x2174 -x2175 -x2176 x2177 x2178 -x2179 -x2180 x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 x2197 x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 x2254 -x2255 -x2256 -x2257 -x2258 x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 x2292 -x2293 -x2294 x2295 -x2296 -x2297 -x2298 -x2299 x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 x2308 -x2309 x2310 -x2311 -x2312 -x2313 -x2314 x2315 -x2316 -x2317 -x2318 -x2319 -x2320 x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 x2346 -x2347 -x2348 -x2349 -x2350 x2351 -x2352 -x2353 -x2354 -x2355 x2356 -x2357 -x2358 -x2359 -x2360 -x2361 x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 x2377 x2378 -x2379 -x2380 -x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 x2398 -x2399 -x2400 -x2401 x2402 -x2403 x2404 x2405 x2406 -x2407 x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 x2416 -x2417 -x2418 -x2419 -x2420 -x2421 x2422 -x2423 -x2424 -x2425 -x2426 x2427 x2428 x2429 -x2430 x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 x2438 -x2439 -x2440 -x2441 x2442 -x2443 -x2444 -x2445 x2446 -x2447 -x2448 -x2449 -x2450 -x2451 x2452 x2453 -x2454 -x2455 x2456 -x2457 x2458 -x2459 -x2460 x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 x2471 -x2472 -x2473 -x2474 -x2475 -x2476 x2477 -x2478 -x2479 x2480 -x2481 -x2482 -x2483 x2484 -x2485 x2486 -x2487 x2488 -x2489 -x2490 x2491 -x2492 x2493 -x2494 -x2495 -x2496 x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 x2516 -x2517 -x2518 -x2519 -x2520 -x2521 x2522 x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 x2530 -x2531 -x2532 -x2533 x2534 x2535 -x2536 x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 x2558 x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 x2601 -x2602 -x2603 -x2604 -x2605 -x2606 x2607 -x2608 -x2609 -x2610 -x2611 
1799.91/991.12	c objective function=430
1799.91/991.12	c Total wall clock time (in seconds): 991.0

Verifier Data 

OK	430

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 3.70 3.88 3.77 4/197 22184
/proc/meminfo: memFree=28020588/32873844 swapFree=6868/6868
[pid=22184] ppid=22182 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/22184/stat : 22184 (java) R 22182 22184 20082 0 -1 4202496 1095 0 0 0 0 0 0 0 20 0 1 0 253644419 23793664 823 33554432000 1073741824 1073778376 140736987863840 140736987852904 140697416946960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22184/statm: 5809 841 633 9 0 128 0

[startup+0.0823869 s]
/proc/loadavg: 3.70 3.88 3.77 4/197 22184
/proc/meminfo: memFree=28020588/32873844 swapFree=6868/6868
[pid=22184] ppid=22182 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/22184/stat : 22184 (java) S 22182 22184 20082 0 -1 4202496 3371 0 1 0 6 1 0 0 20 0 18 0 253644419 9787813888 4579 33554432000 1073741824 1073778376 140736987863840 140736987854976 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22184/statm: 2389603 4579 1772 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412

[startup+0.10026 s]
/proc/loadavg: 3.70 3.88 3.77 4/197 22184
/proc/meminfo: memFree=28020588/32873844 swapFree=6868/6868
[pid=22184] ppid=22182 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/22184/stat : 22184 (java) S 22182 22184 20082 0 -1 4202496 4288 0 1 0 9 1 0 0 20 0 18 0 253644419 9787813888 5484 33554432000 1073741824 1073778376 140736987863840 140736987854976 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22184/statm: 2389603 5485 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300228 s]
/proc/loadavg: 3.70 3.88 3.77 4/197 22184
/proc/meminfo: memFree=28020588/32873844 swapFree=6868/6868
[pid=22184] ppid=22182 vsize=9558412 CPUtime=0.51 cores=0,2,4,6
/proc/22184/stat : 22184 (java) S 22182 22184 20082 0 -1 4202496 5530 0 1 0 49 2 0 0 20 0 18 0 253644419 9787813888 8826 33554432000 1073741824 1073778376 140736987863840 140736987854976 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22184/statm: 2389603 8818 2218 9 0 2380296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558412

[startup+0.700262 s]
/proc/loadavg: 3.70 3.88 3.77 4/197 22184
/proc/meminfo: memFree=28020588/32873844 swapFree=6868/6868
[pid=22184] ppid=22182 vsize=9824668 CPUtime=0.81 cores=0,2,4,6
/proc/22184/stat : 22184 (java) S 22182 22184 20082 0 -1 4202496 8090 0 1 0 77 4 0 0 20 0 19 0 253644419 10060460032 11956 33554432000 1073741824 1073778376 140736987863840 140736987854976 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22184/statm: 2456167 11956 2242 9 0 2446860 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 9824668

[startup+1.50075 s]
/proc/loadavg: 3.70 3.88 3.77 6/219 22209
/proc/meminfo: memFree=27851944/32873844 swapFree=6868/6868
[pid=22184] ppid=22182 vsize=9824668 CPUtime=2.69 cores=0,2,4,6
/proc/22184/stat : 22184 (java) S 22182 22184 20082 0 -1 4202496 9573 0 1 0 264 5 0 0 20 0 22 0 253644419 10060460032 16306 33554432000 1073741824 1073778376 140736987863840 140736987854976 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22184/statm: 2456167 16306 2257 9 0 2446860 0
[pid=22184/tid=22185] ppid=22182 vsize=9824668 CPUtime=0.31 cores=0,2,4,6
/proc/22184/task/22185/stat : 22185 (java) S 22182 22184 20082 0 -1 4202560 2482 0 1 0 30 1 0 0 20 0 22 0 253644420 10060460032 16306 33554432000 1073741824 1073778376 140736987863840 140697413088248 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22187] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22187/stat : 22187 (java) S 22182 22184 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253644421 10060460032 16306 33554432000 1073741824 1073778376 140736987863840 140697374579752 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22188] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22188/stat : 22188 (java) S 22182 22184 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253644421 10060460032 16306 33554432000 1073741824 1073778376 140736987863840 140697373526952 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22184/tid=22189] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22189/stat : 22189 (java) S 22182 22184 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253644421 10060460032 16306 33554432000 1073741824 1073778376 140736987863840 140697372474152 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22184/tid=22190] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22190/stat : 22190 (java) S 22182 22184 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253644421 10060460032 16306 33554432000 1073741824 1073778376 140736987863840 140697371421352 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22191] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22191/stat : 22191 (java) S 22182 22184 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253644421 10060460032 16306 33554432000 1073741824 1073778376 140736987863840 140697370368552 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22192] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22192/stat : 22192 (java) S 22182 22184 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253644421 10060460032 16306 33554432000 1073741824 1073778376 140736987863840 140697369315752 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22193] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22193/stat : 22193 (java) S 22182 22184 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253644421 10060460032 16306 33554432000 1073741824 1073778376 140736987863840 140697368262952 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22194] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22194/stat : 22194 (java) S 22182 22184 20082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253644421 10060460032 16306 33554432000 1073741824 1073778376 140736987863840 140697367210152 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22195] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22195/stat : 22195 (java) S 22182 22184 20082 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253644422 10060460032 16306 33554432000 1073741824 1073778376 140736987863840 140697236650984 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22196] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22196/stat : 22196 (java) S 22182 22184 20082 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253644423 10060460032 16306 33554432000 1073741824 1073778376 140736987863840 140697235597048 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22197] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22197/stat : 22197 (java) S 22182 22184 20082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253644423 10060460032 16306 33554432000 1073741824 1073778376 140736987863840 140697234544136 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22198] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22198/stat : 22198 (java) S 22182 22184 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253644425 10060460032 16306 33554432000 1073741824 1073778376 140736987863840 140697233492624 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22199] ppid=22182 vsize=9824668 CPUtime=0.44 cores=0,2,4,6
/proc/22184/task/22199/stat : 22199 (java) S 22182 22184 20082 0 -1 4202560 2821 0 0 0 44 0 0 0 20 0 22 0 253644425 10060460032 16306 33554432000 1073741824 1073778376 140736987863840 140697232439736 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22200] ppid=22182 vsize=9824668 CPUtime=0.48 cores=0,2,4,6
/proc/22184/task/22200/stat : 22200 (java) S 22182 22184 20082 0 -1 4202560 2942 0 0 0 48 0 0 0 20 0 22 0 253644425 10060460032 16306 33554432000 1073741824 1073778376 140736987863840 140697231386936 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22184/tid=22201] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22201/stat : 22201 (java) S 22182 22184 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253644425 10060460032 16306 33554432000 1073741824 1073778376 140736987863840 140697230334328 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22184/tid=22202] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22202/stat : 22202 (java) S 22182 22184 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253644425 10060460032 16306 33554432000 1073741824 1073778376 140736987863840 140697229281736 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22206] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22206/stat : 22206 (java) S 22182 22184 20082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253644454 10060460032 16306 33554432000 1073741824 1073778376 140736987863840 140697225069864 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22184/tid=22207] ppid=22182 vsize=9824668 CPUtime=0.64 cores=0,2,4,6
/proc/22184/task/22207/stat : 22207 (java) R 22182 22184 20082 0 -1 4202560 11 0 0 0 64 0 0 0 20 0 22 0 253644504 10060460032 16306 33554432000 1073741824 1073778376 140736987863840 140697227174552 140697240406111 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22184/tid=22208] ppid=22182 vsize=9824668 CPUtime=0.64 cores=0,2,4,6
/proc/22184/task/22208/stat : 22208 (java) R 22182 22184 20082 0 -1 4202560 63 0 0 0 64 0 0 0 20 0 22 0 253644504 10060460032 16306 33554432000 1073741824 1073778376 140736987863840 140697228226856 140697240532321 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22209] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22209/stat : 22209 (java) S 22182 22184 20082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253644504 10060460032 16306 33554432000 1073741824 1073778376 140736987863840 140697226122152 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 9824668

[startup+3.10074 s]
/proc/loadavg: 3.70 3.88 3.77 6/219 22209
/proc/meminfo: memFree=27830464/32873844 swapFree=6868/6868
[pid=22184] ppid=22182 vsize=9824668 CPUtime=5.98 cores=0,2,4,6
/proc/22184/stat : 22184 (java) S 22182 22184 20082 0 -1 4202496 9822 0 1 0 593 5 0 0 20 0 22 0 253644419 10060460032 23519 33554432000 1073741824 1073778376 140736987863840 140736987854976 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22184/statm: 2456167 23519 2281 9 0 2446860 0
[pid=22184/tid=22185] ppid=22182 vsize=9824668 CPUtime=0.31 cores=0,2,4,6
/proc/22184/task/22185/stat : 22185 (java) S 22182 22184 20082 0 -1 4202560 2482 0 1 0 30 1 0 0 20 0 22 0 253644420 10060460032 23519 33554432000 1073741824 1073778376 140736987863840 140697413088248 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22187] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22187/stat : 22187 (java) S 22182 22184 20082 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253644421 10060460032 23519 33554432000 1073741824 1073778376 140736987863840 140697374579752 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22188] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22188/stat : 22188 (java) S 22182 22184 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253644421 10060460032 23519 33554432000 1073741824 1073778376 140736987863840 140697373526952 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22184/tid=22189] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22189/stat : 22189 (java) S 22182 22184 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253644421 10060460032 23519 33554432000 1073741824 1073778376 140736987863840 140697372474152 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22184/tid=22190] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22190/stat : 22190 (java) S 22182 22184 20082 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253644421 10060460032 23519 33554432000 1073741824 1073778376 140736987863840 140697371421352 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22191] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22191/stat : 22191 (java) S 22182 22184 20082 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253644421 10060460032 23519 33554432000 1073741824 1073778376 140736987863840 140697370368552 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22184/tid=22192] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22192/stat : 22192 (java) S 22182 22184 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253644421 10060460032 23519 33554432000 1073741824 1073778376 140736987863840 140697369315752 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22193] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22193/stat : 22193 (java) S 22182 22184 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253644421 10060460032 23519 33554432000 1073741824 1073778376 140736987863840 140697368262952 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22194] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22194/stat : 22194 (java) S 22182 22184 20082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253644421 10060460032 23519 33554432000 1073741824 1073778376 140736987863840 140697367210152 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22195] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22195/stat : 22195 (java) S 22182 22184 20082 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 22 0 253644422 10060460032 23519 33554432000 1073741824 1073778376 140736987863840 140697236650984 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22196] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22196/stat : 22196 (java) S 22182 22184 20082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253644423 10060460032 23519 33554432000 1073741824 1073778376 140736987863840 140697235597048 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22197] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22197/stat : 22197 (java) S 22182 22184 20082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253644423 10060460032 23519 33554432000 1073741824 1073778376 140736987863840 140697234544136 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22198] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22198/stat : 22198 (java) S 22182 22184 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253644425 10060460032 23519 33554432000 1073741824 1073778376 140736987863840 140697233492624 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22199] ppid=22182 vsize=9824668 CPUtime=0.52 cores=0,2,4,6
/proc/22184/task/22199/stat : 22199 (java) S 22182 22184 20082 0 -1 4202560 3000 0 0 0 52 0 0 0 20 0 22 0 253644425 10060460032 23519 33554432000 1073741824 1073778376 140736987863840 140697232439736 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22200] ppid=22182 vsize=9824668 CPUtime=0.5 cores=0,2,4,6
/proc/22184/task/22200/stat : 22200 (java) S 22182 22184 20082 0 -1 4202560 2946 0 0 0 50 0 0 0 20 0 22 0 253644425 10060460032 23519 33554432000 1073741824 1073778376 140736987863840 140697231386936 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22184/tid=22201] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22201/stat : 22201 (java) S 22182 22184 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253644425 10060460032 23519 33554432000 1073741824 1073778376 140736987863840 140697230334328 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22184/tid=22202] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22202/stat : 22202 (java) S 22182 22184 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253644425 10060460032 23519 33554432000 1073741824 1073778376 140736987863840 140697229281736 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22206] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22206/stat : 22206 (java) S 22182 22184 20082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253644454 10060460032 23519 33554432000 1073741824 1073778376 140736987863840 140697225069864 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22184/tid=22207] ppid=22182 vsize=9824668 CPUtime=2.21 cores=0,2,4,6
/proc/22184/task/22207/stat : 22207 (java) R 22182 22184 20082 0 -1 4202560 18 0 0 0 221 0 0 0 20 0 22 0 253644504 10060460032 23519 33554432000 1073741824 1073778376 140736987863840 140697227174456 140697240526851 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22184/tid=22208] ppid=22182 vsize=9824668 CPUtime=2.21 cores=0,2,4,6
/proc/22184/task/22208/stat : 22208 (java) R 22182 22184 20082 0 -1 4202560 64 0 0 0 221 0 0 0 20 0 22 0 253644504 10060460032 23519 33554432000 1073741824 1073778376 140736987863840 140697228226776 140697240532080 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22209] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22209/stat : 22209 (java) S 22182 22184 20082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253644504 10060460032 23519 33554432000 1073741824 1073778376 140736987863840 140697226122152 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 9824668

[startup+6.30067 s]
/proc/loadavg: 3.73 3.89 3.77 5/219 22209
/proc/meminfo: memFree=27765808/32873844 swapFree=6868/6868
[pid=22184] ppid=22182 vsize=9824668 CPUtime=12 cores=0,2,4,6
/proc/22184/stat : 22184 (java) S 22182 22184 20082 0 -1 4202496 15017 0 1 0 1191 9 0 0 20 0 22 0 253644419 10060460032 31819 33554432000 1073741824 1073778376 140736987863840 140736987854976 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22184/statm: 2456167 31819 2281 9 0 2446860 0
[pid=22184/tid=22185] ppid=22182 vsize=9824668 CPUtime=0.32 cores=0,2,4,6
/proc/22184/task/22185/stat : 22185 (java) S 22182 22184 20082 0 -1 4202560 2482 0 1 0 30 2 0 0 20 0 22 0 253644420 10060460032 31819 33554432000 1073741824 1073778376 140736987863840 140697413088248 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22187] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22187/stat : 22187 (java) S 22182 22184 20082 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253644421 10060460032 31819 33554432000 1073741824 1073778376 140736987863840 140697374579752 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22188] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22188/stat : 22188 (java) S 22182 22184 20082 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253644421 10060460032 31819 33554432000 1073741824 1073778376 140736987863840 140697373526952 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22184/tid=22189] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22189/stat : 22189 (java) S 22182 22184 20082 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253644421 10060460032 31819 33554432000 1073741824 1073778376 140736987863840 140697372474152 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22184/tid=22190] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22190/stat : 22190 (java) S 22182 22184 20082 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253644421 10060460032 31819 33554432000 1073741824 1073778376 140736987863840 140697371421352 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22184/tid=22191] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22191/stat : 22191 (java) S 22182 22184 20082 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253644421 10060460032 31819 33554432000 1073741824 1073778376 140736987863840 140697370368552 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22184/tid=22192] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22192/stat : 22192 (java) S 22182 22184 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253644421 10060460032 31819 33554432000 1073741824 1073778376 140736987863840 140697369315752 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22193] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22193/stat : 22193 (java) S 22182 22184 20082 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253644421 10060460032 31819 33554432000 1073741824 1073778376 140736987863840 140697368262952 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22194] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22194/stat : 22194 (java) S 22182 22184 20082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253644421 10060460032 31819 33554432000 1073741824 1073778376 140736987863840 140697367210152 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22184/tid=22195] ppid=22182 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/22184/task/22195/stat : 22195 (java) S 22182 22184 20082 0 -1 4202560 38 0 0 0 4 0 0 0 20 0 22 0 253644422 10060460032 31819 33554432000 1073741824 1073778376 140736987863840 140697236650984 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22196] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22196/stat : 22196 (java) S 22182 22184 20082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253644423 10060460032 31819 33554432000 1073741824 1073778376 140736987863840 140697235597048 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22197] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22197/stat : 22197 (java) S 22182 22184 20082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253644423 10060460032 31819 33554432000 1073741824 1073778376 140736987863840 140697234544136 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22198] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22198/stat : 22198 (java) S 22182 22184 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253644425 10060460032 31819 33554432000 1073741824 1073778376 140736987863840 140697233492624 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22199] ppid=22182 vsize=9824668 CPUtime=0.57 cores=0,2,4,6
/proc/22184/task/22199/stat : 22199 (java) S 22182 22184 20082 0 -1 4202560 3032 0 0 0 57 0 0 0 20 0 22 0 253644425 10060460032 31819 33554432000 1073741824 1073778376 140736987863840 140697232439736 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0

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

/proc/22184/statm: 2456167 432394 2288 9 0 2446860 0
[pid=22184/tid=22185] ppid=22182 vsize=9824668 CPUtime=0.4 cores=0,2,4,6
/proc/22184/task/22185/stat : 22185 (java) S 22182 22184 20082 0 -1 4202560 2612 0 1 0 37 3 0 0 20 0 22 0 253644420 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697413087960 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22187] ppid=22182 vsize=9824668 CPUtime=5.02 cores=0,2,4,6
/proc/22184/task/22187/stat : 22187 (java) S 22182 22184 20082 0 -1 4202560 1111 0 0 0 495 7 0 0 20 0 22 0 253644421 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697374579752 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22188] ppid=22182 vsize=9824668 CPUtime=5.01 cores=0,2,4,6
/proc/22184/task/22188/stat : 22188 (java) S 22182 22184 20082 0 -1 4202560 613 0 0 0 495 6 0 0 20 0 22 0 253644421 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697373526952 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22184/tid=22189] ppid=22182 vsize=9824668 CPUtime=4.99 cores=0,2,4,6
/proc/22184/task/22189/stat : 22189 (java) S 22182 22184 20082 0 -1 4202560 750 0 0 0 493 6 0 0 20 0 22 0 253644421 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697372474152 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22190] ppid=22182 vsize=9824668 CPUtime=4.97 cores=0,2,4,6
/proc/22184/task/22190/stat : 22190 (java) S 22182 22184 20082 0 -1 4202560 669 0 0 0 493 4 0 0 20 0 22 0 253644421 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697371421352 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22191] ppid=22182 vsize=9824668 CPUtime=4.72 cores=0,2,4,6
/proc/22184/task/22191/stat : 22191 (java) S 22182 22184 20082 0 -1 4202560 528 0 0 0 466 6 0 0 20 0 22 0 253644421 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697370368552 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22192] ppid=22182 vsize=9824668 CPUtime=5.21 cores=0,2,4,6
/proc/22184/task/22192/stat : 22192 (java) S 22182 22184 20082 0 -1 4202560 1067 0 0 0 515 6 0 0 20 0 22 0 253644421 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697369315752 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22184/tid=22193] ppid=22182 vsize=9824668 CPUtime=5 cores=0,2,4,6
/proc/22184/task/22193/stat : 22193 (java) S 22182 22184 20082 0 -1 4202560 1179 0 0 0 494 6 0 0 20 0 22 0 253644421 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697368262952 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22194] ppid=22182 vsize=9824668 CPUtime=5.36 cores=0,2,4,6
/proc/22184/task/22194/stat : 22194 (java) S 22182 22184 20082 0 -1 4202560 1052 0 0 0 530 6 0 0 20 0 22 0 253644421 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697367210152 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22195] ppid=22182 vsize=9824668 CPUtime=193.16 cores=0,2,4,6
/proc/22184/task/22195/stat : 22195 (java) R 22182 22184 20082 0 -1 4202560 4168 0 0 0 19283 33 0 0 20 0 22 0 253644422 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697236649832 140697417249212 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22196] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22196/stat : 22196 (java) S 22182 22184 20082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253644423 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697235597048 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22184/tid=22197] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22197/stat : 22197 (java) S 22182 22184 20082 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 253644423 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697234544136 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22184/tid=22198] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22198/stat : 22198 (java) S 22182 22184 20082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253644425 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697233492168 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22199] ppid=22182 vsize=9824668 CPUtime=0.74 cores=0,2,4,6
/proc/22184/task/22199/stat : 22199 (java) S 22182 22184 20082 0 -1 4202560 3285 0 0 0 74 0 0 0 20 0 22 0 253644425 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697232439736 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22200] ppid=22182 vsize=9824668 CPUtime=1.46 cores=0,2,4,6
/proc/22184/task/22200/stat : 22200 (java) S 22182 22184 20082 0 -1 4202560 8115 0 0 0 144 2 0 0 20 0 22 0 253644425 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697231386936 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22201] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22201/stat : 22201 (java) S 22182 22184 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253644425 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697230334328 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22184/tid=22202] ppid=22182 vsize=9824668 CPUtime=0.31 cores=0,2,4,6
/proc/22184/task/22202/stat : 22202 (java) S 22182 22184 20082 0 -1 4202560 57 0 0 0 19 12 0 0 20 0 22 0 253644425 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697229281736 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 1 0 0
[pid=22184/tid=22209] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22209/stat : 22209 (java) S 22182 22184 20082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253644504 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697226122152 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22255] ppid=22182 vsize=9824668 CPUtime=233.08 cores=0,2,4,6
/proc/22184/task/22255/stat : 22255 (java) S 22182 22184 20082 0 -1 4202560 25 0 0 0 23305 3 0 0 20 0 22 0 253711114 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697225069144 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22256] ppid=22182 vsize=9824668 CPUtime=233.05 cores=0,2,4,6
/proc/22184/task/22256/stat : 22256 (java) S 22182 22184 20082 0 -1 4202560 31 0 0 0 23302 3 0 0 20 0 22 0 253711114 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697227172328 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22257] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22257/stat : 22257 (java) S 22182 22184 20082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253711114 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697228227496 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.4
Current children cumulated vsize (KiB) 9824668

[startup+991.001 s]
/proc/loadavg: 3.84 3.82 3.79 4/220 22393
/proc/meminfo: memFree=25669300/32873844 swapFree=6868/6868
[pid=22184] ppid=22182 vsize=9824668 CPUtime=1799.8 cores=0,2,4,6
/proc/22184/stat : 22184 (java) S 22182 22184 20082 0 -1 4202496 26827 0 1 0 179859 121 0 0 20 0 22 0 253644419 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140736987854976 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22184/statm: 2456167 432394 2288 9 0 2446860 0
[pid=22184/tid=22185] ppid=22182 vsize=9824668 CPUtime=0.4 cores=0,2,4,6
/proc/22184/task/22185/stat : 22185 (java) S 22182 22184 20082 0 -1 4202560 2612 0 1 0 37 3 0 0 20 0 22 0 253644420 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697413087960 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22187] ppid=22182 vsize=9824668 CPUtime=5.02 cores=0,2,4,6
/proc/22184/task/22187/stat : 22187 (java) S 22182 22184 20082 0 -1 4202560 1111 0 0 0 495 7 0 0 20 0 22 0 253644421 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697374579752 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22188] ppid=22182 vsize=9824668 CPUtime=5.01 cores=0,2,4,6
/proc/22184/task/22188/stat : 22188 (java) S 22182 22184 20082 0 -1 4202560 613 0 0 0 495 6 0 0 20 0 22 0 253644421 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697373526952 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22184/tid=22189] ppid=22182 vsize=9824668 CPUtime=4.99 cores=0,2,4,6
/proc/22184/task/22189/stat : 22189 (java) S 22182 22184 20082 0 -1 4202560 750 0 0 0 493 6 0 0 20 0 22 0 253644421 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697372474152 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22190] ppid=22182 vsize=9824668 CPUtime=4.97 cores=0,2,4,6
/proc/22184/task/22190/stat : 22190 (java) S 22182 22184 20082 0 -1 4202560 669 0 0 0 493 4 0 0 20 0 22 0 253644421 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697371421352 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22191] ppid=22182 vsize=9824668 CPUtime=4.72 cores=0,2,4,6
/proc/22184/task/22191/stat : 22191 (java) S 22182 22184 20082 0 -1 4202560 528 0 0 0 466 6 0 0 20 0 22 0 253644421 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697370368552 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22192] ppid=22182 vsize=9824668 CPUtime=5.21 cores=0,2,4,6
/proc/22184/task/22192/stat : 22192 (java) S 22182 22184 20082 0 -1 4202560 1067 0 0 0 515 6 0 0 20 0 22 0 253644421 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697369315752 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22184/tid=22193] ppid=22182 vsize=9824668 CPUtime=5 cores=0,2,4,6
/proc/22184/task/22193/stat : 22193 (java) S 22182 22184 20082 0 -1 4202560 1179 0 0 0 494 6 0 0 20 0 22 0 253644421 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697368262952 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22194] ppid=22182 vsize=9824668 CPUtime=5.36 cores=0,2,4,6
/proc/22184/task/22194/stat : 22194 (java) S 22182 22184 20082 0 -1 4202560 1052 0 0 0 530 6 0 0 20 0 22 0 253644421 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697367210152 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22195] ppid=22182 vsize=9824668 CPUtime=193.57 cores=0,2,4,6
/proc/22184/task/22195/stat : 22195 (java) R 22182 22184 20082 0 -1 4202560 4168 0 0 0 19324 33 0 0 20 0 22 0 253644422 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697236649832 140697417248928 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22196] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22196/stat : 22196 (java) S 22182 22184 20082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253644423 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697235597048 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22184/tid=22197] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22197/stat : 22197 (java) S 22182 22184 20082 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 253644423 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697234544136 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22184/tid=22198] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22198/stat : 22198 (java) S 22182 22184 20082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253644425 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697233492168 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22199] ppid=22182 vsize=9824668 CPUtime=0.74 cores=0,2,4,6
/proc/22184/task/22199/stat : 22199 (java) S 22182 22184 20082 0 -1 4202560 3285 0 0 0 74 0 0 0 20 0 22 0 253644425 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697232439736 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22200] ppid=22182 vsize=9824668 CPUtime=1.46 cores=0,2,4,6
/proc/22184/task/22200/stat : 22200 (java) S 22182 22184 20082 0 -1 4202560 8115 0 0 0 144 2 0 0 20 0 22 0 253644425 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697231386936 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22201] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22201/stat : 22201 (java) S 22182 22184 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253644425 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697230334328 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22184/tid=22202] ppid=22182 vsize=9824668 CPUtime=0.31 cores=0,2,4,6
/proc/22184/task/22202/stat : 22202 (java) S 22182 22184 20082 0 -1 4202560 57 0 0 0 19 12 0 0 20 0 22 0 253644425 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697229281736 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 1 0 0
[pid=22184/tid=22209] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22209/stat : 22209 (java) S 22182 22184 20082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253644504 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697226122152 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22255] ppid=22182 vsize=9824668 CPUtime=233.08 cores=0,2,4,6
/proc/22184/task/22255/stat : 22255 (java) S 22182 22184 20082 0 -1 4202560 25 0 0 0 23305 3 0 0 20 0 22 0 253711114 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697225069144 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22256] ppid=22182 vsize=9824668 CPUtime=233.05 cores=0,2,4,6
/proc/22184/task/22256/stat : 22256 (java) S 22182 22184 20082 0 -1 4202560 31 0 0 0 23302 3 0 0 20 0 22 0 253711114 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697227172328 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22257] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22257/stat : 22257 (java) S 22182 22184 20082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253711114 10060460032 432394 33554432000 1073741824 1073778376 140736987863840 140697228227496 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.8
Current children cumulated vsize (KiB) 9824668

[startup+991.107 s]
/proc/loadavg: 3.84 3.82 3.79 4/220 22393
/proc/meminfo: memFree=25669300/32873844 swapFree=6868/6868
[pid=22184] ppid=22182 vsize=9824668 CPUtime=1799.91 cores=0,2,4,6
/proc/22184/stat : 22184 (java) S 22182 22184 20082 0 -1 4202496 26842 0 1 0 179869 122 0 0 20 0 22 0 253644419 10060460032 440074 33554432000 1073741824 1073778376 140736987863840 140736987854976 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22184/statm: 2456167 440074 2288 9 0 2446860 0
[pid=22184/tid=22185] ppid=22182 vsize=9824668 CPUtime=0.4 cores=0,2,4,6
/proc/22184/task/22185/stat : 22185 (java) S 22182 22184 20082 0 -1 4202560 2612 0 1 0 37 3 0 0 20 0 22 0 253644420 10060460032 440074 33554432000 1073741824 1073778376 140736987863840 140697413087960 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22187] ppid=22182 vsize=9824668 CPUtime=5.02 cores=0,2,4,6
/proc/22184/task/22187/stat : 22187 (java) S 22182 22184 20082 0 -1 4202560 1111 0 0 0 495 7 0 0 20 0 22 0 253644421 10060460032 440074 33554432000 1073741824 1073778376 140736987863840 140697374579752 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22188] ppid=22182 vsize=9824668 CPUtime=5.01 cores=0,2,4,6
/proc/22184/task/22188/stat : 22188 (java) S 22182 22184 20082 0 -1 4202560 613 0 0 0 495 6 0 0 20 0 22 0 253644421 10060460032 440074 33554432000 1073741824 1073778376 140736987863840 140697373526952 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22184/tid=22189] ppid=22182 vsize=9824668 CPUtime=4.99 cores=0,2,4,6
/proc/22184/task/22189/stat : 22189 (java) S 22182 22184 20082 0 -1 4202560 750 0 0 0 493 6 0 0 20 0 22 0 253644421 10060460032 440074 33554432000 1073741824 1073778376 140736987863840 140697372474152 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22190] ppid=22182 vsize=9824668 CPUtime=4.97 cores=0,2,4,6
/proc/22184/task/22190/stat : 22190 (java) S 22182 22184 20082 0 -1 4202560 669 0 0 0 493 4 0 0 20 0 22 0 253644421 10060460032 440074 33554432000 1073741824 1073778376 140736987863840 140697371421352 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22191] ppid=22182 vsize=9824668 CPUtime=4.72 cores=0,2,4,6
/proc/22184/task/22191/stat : 22191 (java) S 22182 22184 20082 0 -1 4202560 528 0 0 0 466 6 0 0 20 0 22 0 253644421 10060460032 440074 33554432000 1073741824 1073778376 140736987863840 140697370368552 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22192] ppid=22182 vsize=9824668 CPUtime=5.21 cores=0,2,4,6
/proc/22184/task/22192/stat : 22192 (java) S 22182 22184 20082 0 -1 4202560 1067 0 0 0 515 6 0 0 20 0 22 0 253644421 10060460032 440074 33554432000 1073741824 1073778376 140736987863840 140697369315752 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22184/tid=22193] ppid=22182 vsize=9824668 CPUtime=5 cores=0,2,4,6
/proc/22184/task/22193/stat : 22193 (java) S 22182 22184 20082 0 -1 4202560 1179 0 0 0 494 6 0 0 20 0 22 0 253644421 10060460032 440074 33554432000 1073741824 1073778376 140736987863840 140697368262952 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22194] ppid=22182 vsize=9824668 CPUtime=5.36 cores=0,2,4,6
/proc/22184/task/22194/stat : 22194 (java) S 22182 22184 20082 0 -1 4202560 1052 0 0 0 530 6 0 0 20 0 22 0 253644421 10060460032 440074 33554432000 1073741824 1073778376 140736987863840 140697367210152 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22195] ppid=22182 vsize=9824668 CPUtime=193.67 cores=0,2,4,6
/proc/22184/task/22195/stat : 22195 (java) R 22182 22184 20082 0 -1 4202560 4183 0 0 0 19333 34 0 0 20 0 22 0 253644422 10060460032 440074 33554432000 1073741824 1073778376 140736987863840 140697236649832 209097081116 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22196] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22196/stat : 22196 (java) S 22182 22184 20082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253644423 10060460032 440074 33554432000 1073741824 1073778376 140736987863840 140697235597048 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22184/tid=22197] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22197/stat : 22197 (java) S 22182 22184 20082 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 253644423 10060460032 440074 33554432000 1073741824 1073778376 140736987863840 140697234544136 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22184/tid=22198] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22198/stat : 22198 (java) S 22182 22184 20082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253644425 10060460032 440074 33554432000 1073741824 1073778376 140736987863840 140697233492168 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22199] ppid=22182 vsize=9824668 CPUtime=0.74 cores=0,2,4,6
/proc/22184/task/22199/stat : 22199 (java) S 22182 22184 20082 0 -1 4202560 3285 0 0 0 74 0 0 0 20 0 22 0 253644425 10060460032 440070 33554432000 1073741824 1073778376 140736987863840 140697232439736 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22200] ppid=22182 vsize=9824668 CPUtime=1.46 cores=0,2,4,6
/proc/22184/task/22200/stat : 22200 (java) S 22182 22184 20082 0 -1 4202560 8115 0 0 0 144 2 0 0 20 0 22 0 253644425 10060460032 440070 33554432000 1073741824 1073778376 140736987863840 140697231386936 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22201] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22201/stat : 22201 (java) S 22182 22184 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253644425 10060460032 440070 33554432000 1073741824 1073778376 140736987863840 140697230334328 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22184/tid=22202] ppid=22182 vsize=9824668 CPUtime=0.31 cores=0,2,4,6
/proc/22184/task/22202/stat : 22202 (java) S 22182 22184 20082 0 -1 4202560 57 0 0 0 19 12 0 0 20 0 22 0 253644425 10060460032 440070 33554432000 1073741824 1073778376 140736987863840 140697229281736 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 1 0 0
[pid=22184/tid=22209] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22209/stat : 22209 (java) S 22182 22184 20082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253644504 10060460032 440070 33554432000 1073741824 1073778376 140736987863840 140697226122152 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22255] ppid=22182 vsize=9824668 CPUtime=233.08 cores=0,2,4,6
/proc/22184/task/22255/stat : 22255 (java) S 22182 22184 20082 0 -1 4202560 25 0 0 0 23305 3 0 0 20 0 22 0 253711114 10060460032 440070 33554432000 1073741824 1073778376 140736987863840 140697225069144 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22184/tid=22256] ppid=22182 vsize=9824668 CPUtime=233.05 cores=0,2,4,6
/proc/22184/task/22256/stat : 22256 (java) S 22182 22184 20082 0 -1 4202560 31 0 0 0 23302 3 0 0 20 0 22 0 253711114 10060460032 440070 33554432000 1073741824 1073778376 140736987863840 140697227172328 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22184/tid=22257] ppid=22182 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22184/task/22257/stat : 22257 (java) S 22182 22184 20082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253711114 10060460032 440070 33554432000 1073741824 1073778376 140736987863840 140697228227496 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.91
Current children cumulated vsize (KiB) 9824668

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22184 and gives
#  childrusage.ru_utime.tv_sec=1797
#  childrusage.ru_utime.tv_usec=28810
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=490773
# CPU time returned by wait4() is 1798.52
# while last known CPU time is 1799.91
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 2.07008
#  lost CPU user time (s): 2.26002
#  lost CPU system time (s): -0.19

Real time (s): 991.135
CPU time (s): 1801.98
CPU user time (s): 1800.95
CPU system time (s): 1.03
CPU usage (%): 181.81
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.03
system time used= 1.49077
maximum resident set size= 1760396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26873
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31533
involuntary context switches= 72487

runsolver used 4.25235 second user time and 8.02378 second system time

The end

Launcher Data 

Begin job on node105 at 2012-05-24 18:09:34
IDJOB=3688178
IDBENCH=2872
IDSOLVER=2268
FILE ID=node105/3688178-1337875774
RUNJOBID= node105-1337871882-20098
PBS_JOBID= 14620099
Free space on /tmp= 71620 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-prom2.r.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688178-1337875774/watcher-3688178-1337875774 -o /tmp/evaluation-result-3688178-1337875774/solver-3688178-1337875774 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3688178-1337875774.opb

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

MD5SUM BENCH= fe2fc6a37df33476d3a38f976836359f
RANDOM SEED=1429776973

node105.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.882
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.882
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.882
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.882
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.882
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.882
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.882
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.882
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5447.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28024832 kB
Buffers:          176144 kB
Cached:          1846036 kB
SwapCached:         6340 kB
Active:          2584060 kB
Inactive:        1468948 kB
Active(anon):    2018352 kB
Inactive(anon):    14612 kB
Active(file):     565708 kB
Inactive(file):  1454336 kB
Unevictable:        6868 kB
Mlocked:            6868 kB
SwapTotal:      67108856 kB
SwapFree:       67101824 kB
Dirty:               640 kB
Writeback:             0 kB
AnonPages:       1998140 kB
Mapped:            22516 kB
Shmem:                 8 kB
Slab:             623688 kB
SReclaimable:      65568 kB
SUnreclaim:       558120 kB
KernelStack:        1784 kB
PageTables:         8152 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2665784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1941504 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71620 MiB
End job on node105 at 2012-05-24 18:26:05