Trace number 3458878

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
Sat4j Resolution 2.3.0SAT (TO)-34 1800.15 1793.78

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb
MD5SUMf408a60720d5bae3e36cea0c41e2f7f1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-38
Best CPU time to get the best result obtained on this benchmark1800.2
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -39
Optimality of the best value was proved NO
Number of variables760
Total number of constraints41619
Number of constraints which are clauses41619
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 constraint2
Number of terms in the objective function 760
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 760
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 760
Number of bits of the biggest sum of numbers10
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.05/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.09	c See www.sat4j.org for details.
0.05/0.09	c version 2.3.1.v20110525
0.05/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.09	c java.vm.version	19.1-b02
0.05/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version		1.6.0_24
0.05/0.09	c os.name		Linux
0.05/0.09	c os.version		2.6.18-164.el5
0.05/0.09	c os.arch		amd64
0.05/0.09	c Free memory 		12995394264
0.05/0.09	c Max memory 		13063553024
0.05/0.09	c Total memory 		13063553024
0.05/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3458878-1307148405.opb
0.10/0.11	c reading problem ... 
0.79/0.52	c ... done. Wall clock time 0.404s.
0.79/0.52	c #vars     760
0.79/0.52	c #constraints  41619
0.79/0.52	c constraints type 
0.79/0.52	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 41619
0.79/0.54	c SATISFIABLE
0.79/0.54	c OPTIMIZING...
0.79/0.54	c Got one! Elapsed wall clock time (in seconds):0.422
0.79/0.54	o -28
1.14/0.65	c Got one! Elapsed wall clock time (in seconds):0.489
1.14/0.65	o -29
1.14/0.66	c Got one! Elapsed wall clock time (in seconds):0.552
1.14/0.66	o -30
1.21/0.78	c Got one! Elapsed wall clock time (in seconds):0.668
1.21/0.78	o -31
1.85/1.36	c Got one! Elapsed wall clock time (in seconds):1.251
1.85/1.36	o -32
2.10/1.53	c cleaning 3097 clauses out of 6193 with flag 1000/6193
2.97/2.33	c cleaning 4548 clauses out of 9096 with flag 7000/12193
3.88/3.25	c cleaning 5765 clauses out of 11549 with flag 14001/19194
5.00/4.38	c cleaning 6888 clauses out of 13783 with flag 22000/27193
6.36/5.67	c cleaning 7941 clauses out of 15895 with flag 31000/36193
7.77/7.08	c cleaning 8966 clauses out of 17954 with flag 41000/46193
9.48/8.72	c cleaning 9994 clauses out of 19988 with flag 52000/57193
11.29/10.54	c cleaning 10991 clauses out of 21994 with flag 64000/69193
13.40/12.68	c cleaning 12001 clauses out of 24004 with flag 77001/82194
15.52/14.78	c cleaning 13000 clauses out of 26002 with flag 91000/96193
18.14/17.38	c cleaning 13993 clauses out of 28002 with flag 106000/111193
20.57/19.79	c cleaning 14996 clauses out of 30009 with flag 122000/127193
23.48/22.63	c cleaning 16004 clauses out of 32013 with flag 139000/144193
26.80/25.99	c cleaning 17002 clauses out of 34009 with flag 157000/162193
30.22/29.30	c cleaning 18001 clauses out of 36008 with flag 176001/181194
32.64/31.80	c Got one! Elapsed wall clock time (in seconds):31.689
32.64/31.80	o -33
33.64/32.72	c cleaning 19102 clauses out of 38204 with flag 5001/201391
34.67/33.70	c cleaning 12546 clauses out of 25101 with flag 11000/207390
35.87/34.90	c cleaning 9776 clauses out of 19555 with flag 18000/214390
37.08/36.13	c cleaning 8881 clauses out of 17780 with flag 26001/222391
38.58/37.60	c cleaning 8949 clauses out of 17900 with flag 35002/231392
40.19/39.22	c cleaning 9471 clauses out of 18950 with flag 45001/241391
42.20/41.23	c cleaning 10240 clauses out of 20479 with flag 56001/252391
44.61/43.63	c cleaning 11116 clauses out of 22238 with flag 68000/264390
46.51/45.52	c cleaning 12052 clauses out of 24122 with flag 81000/277390
48.82/47.82	c cleaning 13034 clauses out of 26070 with flag 95000/291390
51.54/50.57	c cleaning 14004 clauses out of 28037 with flag 110001/306391
54.55/53.54	c cleaning 15010 clauses out of 30032 with flag 126000/322390
57.66/56.63	c cleaning 16010 clauses out of 32023 with flag 143001/339391
61.38/60.33	c cleaning 17004 clauses out of 34012 with flag 161000/357390
65.29/64.24	c cleaning 18004 clauses out of 36008 with flag 180000/376390
69.41/68.37	c cleaning 19001 clauses out of 38004 with flag 200000/396390
72.73/71.61	c cleaning 19999 clauses out of 40005 with flag 221002/417392
76.85/75.72	c cleaning 21000 clauses out of 42006 with flag 243002/439392
81.17/80.05	c cleaning 22002 clauses out of 44004 with flag 266000/462390
86.49/85.35	c cleaning 22993 clauses out of 46002 with flag 290000/486390
92.22/91.04	c cleaning 24005 clauses out of 48009 with flag 315000/511390
97.55/96.36	c cleaning 24995 clauses out of 50004 with flag 341000/537390
103.70/102.45	c cleaning 26002 clauses out of 52010 with flag 368001/564391
110.72/109.41	c cleaning 27002 clauses out of 54008 with flag 396001/592391
115.76/114.46	c cleaning 28001 clauses out of 56006 with flag 425001/621391
121.38/120.09	c cleaning 29000 clauses out of 58004 with flag 455000/651390
128.71/127.36	c cleaning 29994 clauses out of 60004 with flag 486000/682390
136.26/134.80	c cleaning 31004 clauses out of 62010 with flag 518000/714390
143.20/141.80	c cleaning 31994 clauses out of 64006 with flag 551000/747390
151.35/149.87	c cleaning 33000 clauses out of 66012 with flag 585000/781390
158.48/156.90	c cleaning 34004 clauses out of 68013 with flag 620001/816391
167.51/165.93	c cleaning 35001 clauses out of 70009 with flag 656001/852391
176.93/175.31	c cleaning 36003 clauses out of 72008 with flag 693001/889391
183.46/181.84	c cleaning 36999 clauses out of 74004 with flag 731000/927390
190.99/189.33	c cleaning 38001 clauses out of 76006 with flag 770001/966391
200.31/198.68	c cleaning 38999 clauses out of 78004 with flag 810000/1006390
209.75/208.05	c cleaning 39993 clauses out of 80005 with flag 851000/1047390
220.90/219.18	c cleaning 41000 clauses out of 82012 with flag 893000/1089390
231.84/230.05	c cleaning 41504 clauses out of 83012 with flag 935000/1131390
243.79/241.95	c cleaning 41749 clauses out of 83509 with flag 977001/1173391
253.32/251.48	c cleaning 41874 clauses out of 83759 with flag 1019000/1215390
264.06/262.17	c cleaning 41940 clauses out of 83885 with flag 1061000/1257390
275.40/273.44	c cleaning 41966 clauses out of 83945 with flag 1103000/1299390
286.35/284.32	c cleaning 41984 clauses out of 83979 with flag 1145000/1341390
294.11/292.06	c cleaning 41989 clauses out of 83995 with flag 1187000/1383390
303.25/301.18	c cleaning 41994 clauses out of 84007 with flag 1229001/1425391
314.68/312.56	c cleaning 41997 clauses out of 84012 with flag 1271000/1467390
325.33/323.11	c cleaning 41995 clauses out of 84015 with flag 1313000/1509390
334.28/332.00	c cleaning 42004 clauses out of 84021 with flag 1355001/1551391
345.31/343.07	c cleaning 42004 clauses out of 84017 with flag 1397001/1593391
355.49/353.17	c cleaning 41995 clauses out of 84013 with flag 1439001/1635391
366.61/364.26	c cleaning 41998 clauses out of 84017 with flag 1481000/1677390
377.75/375.31	c cleaning 42003 clauses out of 84020 with flag 1523001/1719391
389.99/387.52	c cleaning 42008 clauses out of 84016 with flag 1565000/1761390
400.12/397.69	c cleaning 41999 clauses out of 84009 with flag 1607001/1803391
412.76/410.23	c cleaning 42004 clauses out of 84010 with flag 1649001/1845391
423.71/421.11	c cleaning 42002 clauses out of 84006 with flag 1691001/1887391
436.22/433.62	c cleaning 41994 clauses out of 84003 with flag 1733000/1929390
449.76/447.15	c cleaning 41985 clauses out of 84009 with flag 1775000/1971390
460.32/457.63	c cleaning 42005 clauses out of 84024 with flag 1817000/2013390
468.55/465.83	c cleaning 42010 clauses out of 84020 with flag 1859001/2055391
478.29/475.59	c cleaning 42006 clauses out of 84012 with flag 1901003/2097393
488.04/485.22	c cleaning 41983 clauses out of 84003 with flag 1943000/2139390
499.36/496.55	c cleaning 41998 clauses out of 84020 with flag 1985000/2181390
508.30/505.41	c cleaning 42005 clauses out of 84023 with flag 2027001/2223391
519.32/516.45	c cleaning 42001 clauses out of 84017 with flag 2069000/2265390
529.76/526.86	c cleaning 42001 clauses out of 84016 with flag 2111000/2307390
540.27/537.38	c cleaning 42008 clauses out of 84016 with flag 2153001/2349391
551.01/548.02	c cleaning 41997 clauses out of 84007 with flag 2195000/2391390
563.74/560.74	c cleaning 42002 clauses out of 84010 with flag 2237000/2433390
574.09/571.03	c cleaning 41999 clauses out of 84009 with flag 2279001/2475391
585.22/582.16	c cleaning 41999 clauses out of 84009 with flag 2321000/2517390
597.26/594.12	c cleaning 42000 clauses out of 84012 with flag 2363002/2559392
611.39/608.28	c cleaning 41999 clauses out of 84010 with flag 2405000/2601390
626.92/623.79	c cleaning 42001 clauses out of 84011 with flag 2447000/2643390
639.04/635.83	c cleaning 41991 clauses out of 84011 with flag 2489001/2685391
649.14/645.98	c cleaning 41995 clauses out of 84019 with flag 2531000/2727390
661.27/658.02	c cleaning 41994 clauses out of 84024 with flag 2573000/2769390
672.92/669.66	c cleaning 42007 clauses out of 84030 with flag 2615000/2811390
685.26/681.95	c cleaning 42002 clauses out of 84023 with flag 2657000/2853390
698.62/695.25	c cleaning 42000 clauses out of 84021 with flag 2699000/2895390
709.14/705.77	c cleaning 42005 clauses out of 84021 with flag 2741000/2937390
720.14/716.74	c cleaning 41999 clauses out of 84017 with flag 2783001/2979391
727.86/724.46	c cleaning 42006 clauses out of 84018 with flag 2825001/3021391
736.18/732.78	c cleaning 41994 clauses out of 84012 with flag 2867001/3063391
745.31/741.88	c cleaning 41999 clauses out of 84017 with flag 2909000/3105390
754.24/750.70	c cleaning 42007 clauses out of 84019 with flag 2951001/3147391
765.06/761.59	c cleaning 41993 clauses out of 84011 with flag 2993000/3189390
775.89/772.39	c cleaning 42004 clauses out of 84018 with flag 3035000/3231390
788.23/784.64	c cleaning 41998 clauses out of 84014 with flag 3077000/3273390
797.66/794.07	c cleaning 42001 clauses out of 84016 with flag 3119000/3315390
808.08/804.49	c cleaning 42002 clauses out of 84015 with flag 3161000/3357390
820.52/816.85	c cleaning 42004 clauses out of 84013 with flag 3203000/3399390
831.74/828.07	c cleaning 41993 clauses out of 84009 with flag 3245000/3441390
842.59/838.86	c cleaning 42002 clauses out of 84016 with flag 3287000/3483390
854.82/851.10	c cleaning 42000 clauses out of 84015 with flag 3329001/3525391
867.24/863.48	c cleaning 42003 clauses out of 84014 with flag 3371000/3567390
879.57/875.76	c cleaning 41989 clauses out of 84011 with flag 3413000/3609390
891.70/887.84	c cleaning 41997 clauses out of 84022 with flag 3455000/3651390
901.44/897.56	c cleaning 42001 clauses out of 84026 with flag 3497001/3693391
912.86/908.91	c cleaning 41996 clauses out of 84025 with flag 3539001/3735391
924.90/920.92	c cleaning 42010 clauses out of 84029 with flag 3581001/3777391
936.93/932.98	c cleaning 42004 clauses out of 84019 with flag 3623001/3819391
949.86/945.80	c cleaning 41997 clauses out of 84015 with flag 3665001/3861391
959.79/955.74	c cleaning 42002 clauses out of 84017 with flag 3707000/3903390
971.90/967.80	c cleaning 42003 clauses out of 84015 with flag 3749000/3945390
974.24/970.19	c Got one! Elapsed wall clock time (in seconds):970.08
974.24/970.19	o -34
975.27/971.16	c cleaning 29378 clauses out of 58779 with flag 5000/3962157
976.39/972.21	c cleaning 17691 clauses out of 35402 with flag 11001/3968158
977.50/973.38	c cleaning 12347 clauses out of 24710 with flag 18000/3975157
979.00/974.85	c cleaning 10181 clauses out of 20363 with flag 26000/3983157
980.61/976.45	c cleaning 9579 clauses out of 19182 with flag 35000/3992157
982.42/978.20	c cleaning 9785 clauses out of 19603 with flag 45000/4002157
984.34/980.13	c cleaning 10408 clauses out of 20819 with flag 56001/4013158
986.63/982.42	c cleaning 11203 clauses out of 22410 with flag 68000/4025157
989.24/985.06	c cleaning 12104 clauses out of 24208 with flag 81001/4038158
992.06/987.87	c cleaning 13044 clauses out of 26103 with flag 95000/4052157
995.06/990.88	c cleaning 14022 clauses out of 28059 with flag 110000/4067157
998.27/994.06	c cleaning 15016 clauses out of 30037 with flag 126000/4083157
1001.98/997.77	c cleaning 16010 clauses out of 32022 with flag 143001/4100158
1006.07/1001.86	c cleaning 17001 clauses out of 34011 with flag 161000/4118157
1010.80/1006.53	c cleaning 18006 clauses out of 36011 with flag 180001/4137158
1015.89/1011.68	c cleaning 18996 clauses out of 38005 with flag 200001/4157158
1021.30/1017.03	c cleaning 20001 clauses out of 40009 with flag 221001/4178158
1026.42/1022.17	c cleaning 21004 clauses out of 42007 with flag 243000/4200157
1032.53/1028.26	c cleaning 22001 clauses out of 44003 with flag 266000/4223157
1038.25/1033.99	c cleaning 22988 clauses out of 46002 with flag 290000/4247157
1043.66/1039.36	c cleaning 24008 clauses out of 48015 with flag 315001/4272158
1049.86/1045.53	c cleaning 24996 clauses out of 50006 with flag 341000/4298157
1056.70/1052.39	c cleaning 26004 clauses out of 52010 with flag 368000/4325157
1063.62/1059.22	c cleaning 27004 clauses out of 54007 with flag 396001/4353158
1070.35/1065.92	c cleaning 27991 clauses out of 56002 with flag 425000/4382157
1078.14/1073.75	c cleaning 29002 clauses out of 58011 with flag 455000/4412157
1086.06/1081.61	c cleaning 30002 clauses out of 60009 with flag 486000/4443157
1095.70/1091.28	c cleaning 31002 clauses out of 62007 with flag 518000/4475157
1104.53/1100.03	c cleaning 32003 clauses out of 64005 with flag 551000/4508157
1113.54/1109.02	c cleaning 32989 clauses out of 66002 with flag 585000/4542157
1123.18/1118.65	c cleaning 34006 clauses out of 68014 with flag 620001/4577158
1132.60/1128.05	c cleaning 35000 clauses out of 70007 with flag 656000/4613157
1143.61/1139.08	c cleaning 35999 clauses out of 72008 with flag 693001/4650158
1156.35/1151.75	c cleaning 37000 clauses out of 74008 with flag 731000/4688157
1168.08/1163.48	c cleaning 37999 clauses out of 76008 with flag 770000/4727157
1181.83/1177.13	c cleaning 39002 clauses out of 78009 with flag 810000/4767157
1192.06/1187.34	c cleaning 39993 clauses out of 80008 with flag 851001/4808158
1200.72/1195.96	c cleaning 41001 clauses out of 82014 with flag 893000/4850157
1209.69/1204.85	c cleaning 41502 clauses out of 83014 with flag 935001/4892158
1218.14/1213.29	c cleaning 41747 clauses out of 83511 with flag 977000/4934157
1230.30/1225.34	c cleaning 41879 clauses out of 83764 with flag 1019000/4976157
1239.93/1234.96	c cleaning 41928 clauses out of 83885 with flag 1061000/5018157
1250.89/1245.86	c cleaning 41975 clauses out of 83957 with flag 1103000/5060157
1260.42/1255.36	c cleaning 41984 clauses out of 83982 with flag 1145000/5102157
1270.85/1265.70	c cleaning 41979 clauses out of 83998 with flag 1187000/5144157
1281.50/1276.36	c cleaning 42002 clauses out of 84020 with flag 1229001/5186158
1293.63/1288.42	c cleaning 42008 clauses out of 84018 with flag 1271001/5228158
1304.38/1299.13	c cleaning 42006 clauses out of 84011 with flag 1313002/5270159
1314.19/1308.94	c cleaning 41995 clauses out of 84003 with flag 1355000/5312157
1325.90/1320.62	c cleaning 41992 clauses out of 84008 with flag 1397000/5354157
1337.04/1331.71	c cleaning 42001 clauses out of 84016 with flag 1439000/5396157
1348.06/1342.76	c cleaning 41992 clauses out of 84015 with flag 1481000/5438157
1357.30/1351.97	c cleaning 42001 clauses out of 84024 with flag 1523001/5480158
1367.90/1362.56	c cleaning 42002 clauses out of 84022 with flag 1565000/5522157
1379.92/1374.53	c cleaning 42001 clauses out of 84020 with flag 1607000/5564157
1393.05/1387.69	c cleaning 42008 clauses out of 84020 with flag 1649001/5606158
1404.58/1399.18	c cleaning 42002 clauses out of 84012 with flag 1691001/5648158
1415.60/1410.20	c cleaning 41997 clauses out of 84010 with flag 1733001/5690158
1427.62/1422.11	c cleaning 41997 clauses out of 84012 with flag 1775000/5732157
1440.64/1435.16	c cleaning 42004 clauses out of 84015 with flag 1817000/5774157
1450.27/1444.75	c cleaning 41995 clauses out of 84011 with flag 1859000/5816157
1461.70/1456.17	c cleaning 41998 clauses out of 84017 with flag 1901001/5858158
1472.13/1466.53	c cleaning 42001 clauses out of 84018 with flag 1943000/5900157
1483.66/1478.07	c cleaning 42005 clauses out of 84017 with flag 1985000/5942157
1494.98/1489.39	c cleaning 41998 clauses out of 84012 with flag 2027000/5984157
1505.79/1500.12	c cleaning 42000 clauses out of 84014 with flag 2069000/6026157
1517.52/1511.80	c cleaning 41998 clauses out of 84015 with flag 2111001/6068158
1530.04/1524.36	c cleaning 41997 clauses out of 84017 with flag 2153001/6110158
1540.79/1535.03	c cleaning 42004 clauses out of 84020 with flag 2195001/6152158
1551.92/1546.20	c cleaning 41998 clauses out of 84016 with flag 2237001/6194158
1564.13/1558.31	c cleaning 42006 clauses out of 84017 with flag 2279000/6236157
1575.94/1570.19	c cleaning 42000 clauses out of 84013 with flag 2321002/6278159
1585.55/1579.72	c cleaning 41985 clauses out of 84011 with flag 2363000/6320157
1598.38/1592.59	c cleaning 42004 clauses out of 84026 with flag 2405000/6362157
1609.73/1603.88	c cleaning 41994 clauses out of 84023 with flag 2447001/6404158
1621.43/1615.53	c cleaning 42004 clauses out of 84028 with flag 2489000/6446157
1632.35/1626.42	c cleaning 41995 clauses out of 84024 with flag 2531000/6488157
1643.66/1637.78	c cleaning 42006 clauses out of 84031 with flag 2573002/6530159
1654.92/1648.96	c cleaning 41985 clauses out of 84023 with flag 2615000/6572157
1666.61/1660.62	c cleaning 42016 clauses out of 84039 with flag 2657001/6614158
1678.35/1672.36	c cleaning 41986 clauses out of 84023 with flag 2699001/6656158
1690.68/1684.61	c cleaning 42016 clauses out of 84037 with flag 2741001/6698158
1704.42/1698.34	c cleaning 42008 clauses out of 84021 with flag 2783001/6740158
1715.84/1709.72	c cleaning 42001 clauses out of 84013 with flag 2825001/6782158
1726.34/1720.29	c cleaning 41992 clauses out of 84011 with flag 2867000/6824157
1737.35/1731.21	c cleaning 41997 clauses out of 84020 with flag 2909001/6866158
1749.46/1743.35	c cleaning 42003 clauses out of 84022 with flag 2951000/6908157
1760.17/1754.07	c cleaning 41999 clauses out of 84020 with flag 2993001/6950158
1771.70/1765.58	c cleaning 42001 clauses out of 84021 with flag 3035001/6992158
1783.42/1777.27	c cleaning 42008 clauses out of 84019 with flag 3077000/7034157
1790.78/1784.52	c cleaning 42001 clauses out of 84012 with flag 3119001/7076158
1799.80/1793.54	c cleaning 41997 clauses out of 84010 with flag 3161000/7118157
1800.04/1793.72	c starts		: 298
1800.04/1793.72	c conflicts		: 7118865
1800.04/1793.72	c decisions		: 7597994
1800.04/1793.72	c propagations		: 42911433
1800.04/1793.72	c inspects		: 10227689520
1800.04/1793.72	c shortcuts		: 0
1800.04/1793.72	c learnt literals	: 0
1800.04/1793.72	c learnt binary clauses	: 0
1800.04/1793.72	c learnt ternary clauses	: 0
1800.04/1793.72	c learnt constraints	: 7118865
1800.04/1793.72	c ignored constraints	: 0
1800.04/1793.72	c root simplifications	: 0
1800.04/1793.72	c removed literals (reason simplification)	: 107108763
1800.04/1793.72	c reason swapping (by a shorter reason)	: 0
1800.04/1793.72	c Calls to reduceDB	: 213
1800.04/1793.72	c number of reductions to clauses (during analyze)	: 0
1800.04/1793.72	c number of learned constraints concerned by reduction	: 0
1800.04/1793.72	c number of learning phase by resolution	: 0
1800.04/1793.72	c number of learning phase by cutting planes	: 0
1800.04/1793.72	c speed (assignments/second)	: 52107.02650192769
1800.04/1793.72	c non guided choices	0
1800.04/1793.74	c learnt constraints type 
1800.04/1793.74	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 42827
1800.04/1793.74	c constraints type 
1800.04/1793.74	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.04/1793.74	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 41619
1800.04/1793.74	s SATISFIABLE
1800.04/1793.74	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 
1800.04/1793.74	c objective function=-34
1800.04/1793.74	c Total wall clock time (in seconds): 1793.627

Verifier Data 

OK	-34

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3458878-1307148405/watcher-3458878-1307148405 -o /tmp/evaluation-result-3458878-1307148405/solver-3458878-1307148405 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458878-1307148405.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: 2.02 2.03 1.96 2/459 11120
/proc/meminfo: memFree=30077556/32950928 swapFree=45617076/67111528
[pid=11120] ppid=11118 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/11120/stat : 11120 (java) S 11118 11120 8915 0 -1 4202496 1236 0 0 0 0 0 0 0 25 0 2 0 826440319 31260672 955 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101500901 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11120/statm: 7632 955 728 9 0 383 0
[pid=11120/tid=11121] ppid=11118 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11121/stat : 11121 (java) R 11118 11120 8915 0 -1 4202560 4065 0 1 0 0 0 0 0 25 0 2 0 826440320 13850947584 4881 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248089392187 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.069355 s]
/proc/loadavg: 2.02 2.03 1.96 2/459 11120
/proc/meminfo: memFree=30077556/32950928 swapFree=45617076/67111528
[pid=11120] ppid=11118 vsize=13619716 CPUtime=0.05 cores=0,2,4,6
/proc/11120/stat : 11120 (java) S 11118 11120 8915 0 -1 4202496 14170 0 1 0 4 1 0 0 25 0 18 0 826440319 13946589184 13866 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11120/statm: 3404929 13867 1733 9 0 3395670 0
[pid=11120/tid=11121] ppid=11118 vsize=13619716 CPUtime=0.05 cores=0,2,4,6
/proc/11120/task/11121/stat : 11121 (java) R 11118 11120 8915 0 -1 4202560 12996 0 1 0 4 1 0 0 21 0 18 0 826440320 13946589184 13867 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 47942532442131 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13619716

[startup+0.100405 s]
/proc/loadavg: 2.02 2.03 1.96 2/459 11120
/proc/meminfo: memFree=30077556/32950928 swapFree=45617076/67111528
[pid=11120] ppid=11118 vsize=13621212 CPUtime=0.1 cores=0,2,4,6
/proc/11120/stat : 11120 (java) S 11118 11120 8915 0 -1 4202496 15391 0 1 0 9 1 0 0 25 0 18 0 826440319 13948121088 15087 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11120/statm: 3405303 15087 2092 9 0 3396037 0
[pid=11120/tid=11121] ppid=11118 vsize=13621212 CPUtime=0.08 cores=0,2,4,6
/proc/11120/task/11121/stat : 11121 (java) R 11118 11120 8915 0 -1 4202560 13516 0 1 0 7 1 0 0 21 0 18 0 826440320 13948121088 15087 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 47942533782632 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621212

[startup+0.337603 s]
/proc/loadavg: 2.02 2.03 1.96 2/459 11120
/proc/meminfo: memFree=30077556/32950928 swapFree=45617076/67111528
[pid=11120] ppid=11118 vsize=13624000 CPUtime=0.56 cores=0,2,4,6
/proc/11120/stat : 11120 (java) S 11118 11120 8915 0 -1 4202496 19336 0 1 0 54 2 0 0 25 0 18 0 826440319 13950976000 18513 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11120/statm: 3406000 18514 2201 9 0 3396734 0
[pid=11120/tid=11121] ppid=11118 vsize=13624000 CPUtime=0.31 cores=0,2,4,6
/proc/11120/task/11121/stat : 11121 (java) R 11118 11120 8915 0 -1 4202560 16110 0 1 0 30 1 0 0 21 0 18 0 826440320 13950976000 18515 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 46912505562534 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 13624000

[startup+0.700244 s]
/proc/loadavg: 2.02 2.03 1.96 2/459 11120
/proc/meminfo: memFree=30077556/32950928 swapFree=45617076/67111528
[pid=11120] ppid=11118 vsize=13628880 CPUtime=1.21 cores=0,2,4,6
/proc/11120/stat : 11120 (java) S 11118 11120 8915 0 -1 4202496 37731 0 1 0 117 4 0 0 25 0 19 0 826440319 13955973120 34854 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11120/statm: 3407220 34854 2231 9 0 3397954 0
[pid=11120/tid=11121] ppid=11118 vsize=13628880 CPUtime=0.67 cores=0,2,4,6
/proc/11120/task/11121/stat : 11121 (java) R 11118 11120 8915 0 -1 4202560 31407 0 1 0 64 3 0 0 19 0 19 0 826440320 13955973120 34854 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 46912505723921 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 13628880

[startup+1.50117 s]
/proc/loadavg: 2.02 2.03 1.96 3/501 11169
/proc/meminfo: memFree=29798412/32950928 swapFree=45617076/67111528
[pid=11120] ppid=11118 vsize=13628880 CPUtime=2.1 cores=0,2,4,6
/proc/11120/stat : 11120 (java) S 11118 11120 8915 0 -1 4202496 42439 0 1 0 205 5 0 0 25 0 19 0 826440319 13955973120 39401 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11120/statm: 3407220 39401 2236 9 0 3397954 0
[pid=11120/tid=11121] ppid=11118 vsize=13628880 CPUtime=1.48 cores=0,2,4,6
/proc/11120/task/11121/stat : 11121 (java) R 11118 11120 8915 0 -1 4202560 35936 0 1 0 144 4 0 0 18 0 19 0 826440320 13955973120 39402 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 46912505602666 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11120/tid=11123] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11123/stat : 11123 (java) S 11118 11120 8915 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440322 13955973120 39402 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
[pid=11120/tid=11124] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11124/stat : 11124 (java) S 11118 11120 8915 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440322 13955973120 39402 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
[pid=11120/tid=11125] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11125/stat : 11125 (java) S 11118 11120 8915 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440322 13955973120 39403 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
[pid=11120/tid=11126] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11126/stat : 11126 (java) S 11118 11120 8915 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440322 13955973120 39403 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
[pid=11120/tid=11127] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11127/stat : 11127 (java) S 11118 11120 8915 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440322 13955973120 39403 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
[pid=11120/tid=11128] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11128/stat : 11128 (java) S 11118 11120 8915 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440322 13955973120 39403 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
[pid=11120/tid=11129] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11129/stat : 11129 (java) S 11118 11120 8915 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440322 13955973120 39404 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
[pid=11120/tid=11130] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11130/stat : 11130 (java) S 11118 11120 8915 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826440322 13955973120 39404 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
[pid=11120/tid=11131] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11131/stat : 11131 (java) S 11118 11120 8915 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 826440323 13955973120 39404 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514752 0 0 0 16800975 18446604468461154624 0 0 -1 2 0 0 0
[pid=11120/tid=11132] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11132/stat : 11132 (java) S 11118 11120 8915 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826440324 13955973120 39404 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11133] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11133/stat : 11133 (java) S 11118 11120 8915 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 826440324 13955973120 39404 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 2 0 0 0
[pid=11120/tid=11136] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11136/stat : 11136 (java) S 11118 11120 8915 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826440326 13955973120 39405 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101521841 0 4 0 16800975 18446604468461154624 0 0 -1 2 0 0 0
[pid=11120/tid=11137] ppid=11118 vsize=13628880 CPUtime=0.34 cores=0,2,4,6
/proc/11120/task/11137/stat : 11137 (java) S 11118 11120 8915 0 -1 4202560 2650 0 0 0 34 0 0 0 15 0 19 0 826440326 13955973120 39405 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11138] ppid=11118 vsize=13628880 CPUtime=0.27 cores=0,2,4,6
/proc/11120/task/11138/stat : 11138 (java) S 11118 11120 8915 0 -1 4202560 2692 0 0 0 27 0 0 0 15 0 19 0 826440326 13955973120 39405 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
[pid=11120/tid=11139] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11139/stat : 11139 (java) S 11118 11120 8915 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826440326 13955973120 39405 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 2 0 0 0
[pid=11120/tid=11140] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11140/stat : 11140 (java) S 11118 11120 8915 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826440326 13955973120 39406 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514752 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11168] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11168/stat : 11168 (java) S 11118 11120 8915 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826440372 13955973120 39406 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514752 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 13628880

[startup+3.10087 s]
/proc/loadavg: 2.02 2.03 1.96 3/501 11169
/proc/meminfo: memFree=29718060/32950928 swapFree=45617076/67111528
[pid=11120] ppid=11118 vsize=13628880 CPUtime=3.78 cores=0,2,4,6
/proc/11120/stat : 11120 (java) S 11118 11120 8915 0 -1 4202496 54880 0 1 0 372 6 0 0 25 0 19 0 826440319 13955973120 51648 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11120/statm: 3407220 51648 2262 9 0 3397954 0
[pid=11120/tid=11121] ppid=11118 vsize=13628880 CPUtime=3.02 cores=0,2,4,6
/proc/11120/task/11121/stat : 11121 (java) R 11118 11120 8915 0 -1 4202560 36023 0 1 0 298 4 0 0 19 0 19 0 826440320 13955973120 51648 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 46912505723772 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11120/tid=11123] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11123/stat : 11123 (java) S 11118 11120 8915 0 -1 4202560 1494 0 0 0 0 0 0 0 16 0 19 0 826440322 13955973120 51648 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
[pid=11120/tid=11124] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11124/stat : 11124 (java) S 11118 11120 8915 0 -1 4202560 1325 0 0 0 0 0 0 0 16 0 19 0 826440322 13955973120 51648 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
[pid=11120/tid=11125] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11125/stat : 11125 (java) S 11118 11120 8915 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826440322 13955973120 51648 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
[pid=11120/tid=11126] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11126/stat : 11126 (java) S 11118 11120 8915 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 826440322 13955973120 51648 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
[pid=11120/tid=11127] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11127/stat : 11127 (java) S 11118 11120 8915 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826440322 13955973120 51648 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
[pid=11120/tid=11128] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11128/stat : 11128 (java) S 11118 11120 8915 0 -1 4202560 352 0 0 0 0 0 0 0 15 0 19 0 826440322 13955973120 51648 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11129] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11129/stat : 11129 (java) S 11118 11120 8915 0 -1 4202560 1997 0 0 0 0 0 0 0 16 0 19 0 826440322 13955973120 51648 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11130] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11130/stat : 11130 (java) S 11118 11120 8915 0 -1 4202560 1873 0 0 0 0 0 0 0 16 0 19 0 826440322 13955973120 51648 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
[pid=11120/tid=11131] ppid=11118 vsize=13628880 CPUtime=0.03 cores=0,2,4,6
/proc/11120/task/11131/stat : 11131 (java) S 11118 11120 8915 0 -1 4202560 5117 0 0 0 3 0 0 0 16 0 19 0 826440323 13955973120 51648 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514752 0 0 0 16800975 18446604468461154624 0 0 -1 2 0 0 0
[pid=11120/tid=11132] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11132/stat : 11132 (java) S 11118 11120 8915 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826440324 13955973120 51648 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11133] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11133/stat : 11133 (java) S 11118 11120 8915 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826440324 13955973120 51648 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11136] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11136/stat : 11136 (java) S 11118 11120 8915 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826440326 13955973120 51648 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101521841 0 4 0 16800975 18446604468461154624 0 0 -1 2 0 0 0
[pid=11120/tid=11137] ppid=11118 vsize=13628880 CPUtime=0.37 cores=0,2,4,6
/proc/11120/task/11137/stat : 11137 (java) S 11118 11120 8915 0 -1 4202560 2655 0 0 0 37 0 0 0 15 0 19 0 826440326 13955973120 51648 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11138] ppid=11118 vsize=13628880 CPUtime=0.29 cores=0,2,4,6
/proc/11120/task/11138/stat : 11138 (java) S 11118 11120 8915 0 -1 4202560 2889 0 0 0 29 0 0 0 15 0 19 0 826440326 13955973120 51648 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
[pid=11120/tid=11139] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11139/stat : 11139 (java) S 11118 11120 8915 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826440326 13955973120 51648 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 2 0 0 0
[pid=11120/tid=11140] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11140/stat : 11140 (java) S 11118 11120 8915 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826440326 13955973120 51648 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514752 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
[pid=11120/tid=11168] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11168/stat : 11168 (java) S 11118 11120 8915 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826440372 13955973120 51648 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514752 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 13628880

[startup+6.30131 s]
/proc/loadavg: 2.02 2.03 1.96 3/501 11169
/proc/meminfo: memFree=29632372/32950928 swapFree=45617076/67111528
[pid=11120] ppid=11118 vsize=13628880 CPUtime=7.07 cores=0,2,4,6
/proc/11120/stat : 11120 (java) S 11118 11120 8915 0 -1 4202496 63567 0 1 0 699 8 0 0 25 0 19 0 826440319 13955973120 59844 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11120/statm: 3407220 59844 2262 9 0 3397954 0
[pid=11120/tid=11121] ppid=11118 vsize=13628880 CPUtime=6.1 cores=0,2,4,6
/proc/11120/task/11121/stat : 11121 (java) R 11118 11120 8915 0 -1 4202560 36027 0 1 0 606 4 0 0 25 0 19 0 826440320 13955973120 59844 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 46912505747698 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11120/tid=11123] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11123/stat : 11123 (java) S 11118 11120 8915 0 -1 4202560 2122 0 0 0 0 0 0 0 16 0 19 0 826440322 13955973120 59844 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
[pid=11120/tid=11124] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11124/stat : 11124 (java) S 11118 11120 8915 0 -1 4202560 1817 0 0 0 0 0 0 0 16 0 19 0 826440322 13955973120 59844 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
[pid=11120/tid=11125] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11125/stat : 11125 (java) S 11118 11120 8915 0 -1 4202560 166 0 0 0 0 0 0 0 16 0 19 0 826440322 13955973120 59844 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
[pid=11120/tid=11126] ppid=11118 vsize=13628880 CPUtime=0.01 cores=0,2,4,6
/proc/11120/task/11126/stat : 11126 (java) S 11118 11120 8915 0 -1 4202560 1053 0 0 0 1 0 0 0 15 0 19 0 826440322 13955973120 59844 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11127] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11127/stat : 11127 (java) S 11118 11120 8915 0 -1 4202560 340 0 0 0 0 0 0 0 15 0 19 0 826440322 13955973120 59844 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
[pid=11120/tid=11128] ppid=11118 vsize=13628880 CPUtime=0.01 cores=0,2,4,6
/proc/11120/task/11128/stat : 11128 (java) S 11118 11120 8915 0 -1 4202560 352 0 0 0 1 0 0 0 15 0 19 0 826440322 13955973120 59844 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11129] ppid=11118 vsize=13628880 CPUtime=0.02 cores=0,2,4,6
/proc/11120/task/11129/stat : 11129 (java) S 11118 11120 8915 0 -1 4202560 2842 0 0 0 2 0 0 0 15 0 19 0 826440322 13955973120 59844 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11130] ppid=11118 vsize=13628880 CPUtime=0.01 cores=0,2,4,6
/proc/11120/task/11130/stat : 11130 (java) S 11118 11120 8915 0 -1 4202560 2682 0 0 0 1 0 0 0 16 0 19 0 826440322 13955973120 59844 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11131] ppid=11118 vsize=13628880 CPUtime=0.12 cores=0,2,4,6
/proc/11120/task/11131/stat : 11131 (java) S 11118 11120 8915 0 -1 4202560 8809 0 0 0 11 1 0 0 16 0 19 0 826440323 13955973120 59844 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514752 0 0 0 16800975 18446604468461154624 0 0 -1 2 0 0 0
[pid=11120/tid=11132] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11132/stat : 11132 (java) S 11118 11120 8915 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826440324 13955973120 59844 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11133] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11133/stat : 11133 (java) S 11118 11120 8915 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826440324 13955973120 59844 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11136] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11136/stat : 11136 (java) S 11118 11120 8915 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826440326 13955973120 59844 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101521841 0 4 0 16800975 18446604468461154624 0 0 -1 2 0 0 0
[pid=11120/tid=11137] ppid=11118 vsize=13628880 CPUtime=0.37 cores=0,2,4,6
/proc/11120/task/11137/stat : 11137 (java) S 11118 11120 8915 0 -1 4202560 2655 0 0 0 37 0 0 0 15 0 19 0 826440326 13955973120 59844 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11138] ppid=11118 vsize=13628880 CPUtime=0.34 cores=0,2,4,6
/proc/11120/task/11138/stat : 11138 (java) S 11118 11120 8915 0 -1 4202560 3550 0 0 0 34 0 0 0 15 0 19 0 826440326 13955973120 59844 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0

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

[pid=11120/tid=11128] ppid=11118 vsize=13628880 CPUtime=1.01 cores=0,2,4,6
/proc/11120/task/11128/stat : 11128 (java) S 11118 11120 8915 0 -1 4202560 4631 0 0 0 101 0 0 0 15 0 19 0 826440322 13955973120 157824 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
[pid=11120/tid=11129] ppid=11118 vsize=13628880 CPUtime=1.09 cores=0,2,4,6
/proc/11120/task/11129/stat : 11129 (java) S 11118 11120 8915 0 -1 4202560 8337 0 0 0 108 1 0 0 16 0 19 0 826440322 13955973120 157824 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11130] ppid=11118 vsize=13628880 CPUtime=0.98 cores=0,2,4,6
/proc/11120/task/11130/stat : 11130 (java) S 11118 11120 8915 0 -1 4202560 9702 0 0 0 97 1 0 0 16 0 19 0 826440322 13955973120 157824 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 4 0 0 0
[pid=11120/tid=11131] ppid=11118 vsize=13628880 CPUtime=13.39 cores=0,2,4,6
/proc/11120/task/11131/stat : 11131 (java) S 11118 11120 8915 0 -1 4202560 51805 0 0 0 1330 9 0 0 15 0 19 0 826440323 13955973120 157824 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514752 0 0 0 16800975 18446604468461154624 0 0 -1 2 0 0 0
[pid=11120/tid=11132] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11132/stat : 11132 (java) S 11118 11120 8915 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826440324 13955973120 157824 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11133] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11133/stat : 11133 (java) S 11118 11120 8915 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826440324 13955973120 157824 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11136] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11136/stat : 11136 (java) S 11118 11120 8915 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826440326 13955973120 157824 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101521841 0 4 0 16800975 18446604468461154624 0 0 -1 2 0 0 0
[pid=11120/tid=11137] ppid=11118 vsize=13628880 CPUtime=0.4 cores=0,2,4,6
/proc/11120/task/11137/stat : 11137 (java) S 11118 11120 8915 0 -1 4202560 2659 0 0 0 40 0 0 0 16 0 19 0 826440326 13955973120 157824 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11138] ppid=11118 vsize=13628880 CPUtime=0.4 cores=0,2,4,6
/proc/11120/task/11138/stat : 11138 (java) S 11118 11120 8915 0 -1 4202560 4423 0 0 0 40 0 0 0 16 0 19 0 826440326 13955973120 157824 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 4 0 0 0
[pid=11120/tid=11139] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11139/stat : 11139 (java) S 11118 11120 8915 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826440326 13955973120 157824 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 2 0 0 0
[pid=11120/tid=11140] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11140/stat : 11140 (java) S 11118 11120 8915 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 826440326 13955973120 157824 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514752 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11168] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11168/stat : 11168 (java) S 11118 11120 8915 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826440372 13955973120 157824 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514752 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1728.45
Current children cumulated vsize (KiB) 13628880

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/501 11228
/proc/meminfo: memFree=28808128/32950928 swapFree=45617076/67111528
[pid=11120] ppid=11118 vsize=13628880 CPUtime=1788.58 cores=0,2,4,6
/proc/11120/stat : 11120 (java) S 11118 11120 8915 0 -1 4202496 162935 0 1 0 178830 28 0 0 25 0 19 0 826440319 13955973120 158715 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11120/statm: 3407220 158715 2263 9 0 3397954 0
[pid=11120/tid=11121] ppid=11118 vsize=13628880 CPUtime=1765.4 cores=0,2,4,6
/proc/11120/task/11121/stat : 11121 (java) R 11118 11120 8915 0 -1 4202560 44395 0 1 0 176532 8 0 0 25 0 19 0 826440320 13955973120 158715 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 46912505709611 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11120/tid=11123] ppid=11118 vsize=13628880 CPUtime=1.08 cores=0,2,4,6
/proc/11120/task/11123/stat : 11123 (java) S 11118 11120 8915 0 -1 4202560 6742 0 0 0 107 1 0 0 15 0 19 0 826440322 13955973120 158715 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
[pid=11120/tid=11124] ppid=11118 vsize=13628880 CPUtime=1.12 cores=0,2,4,6
/proc/11120/task/11124/stat : 11124 (java) S 11118 11120 8915 0 -1 4202560 5566 0 0 0 112 0 0 0 15 0 19 0 826440322 13955973120 158715 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11125] ppid=11118 vsize=13628880 CPUtime=1.09 cores=0,2,4,6
/proc/11120/task/11125/stat : 11125 (java) S 11118 11120 8915 0 -1 4202560 7694 0 0 0 108 1 0 0 16 0 19 0 826440322 13955973120 158715 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 4 0 0 0
[pid=11120/tid=11126] ppid=11118 vsize=13628880 CPUtime=1.1 cores=0,2,4,6
/proc/11120/task/11126/stat : 11126 (java) S 11118 11120 8915 0 -1 4202560 7791 0 0 0 110 0 0 0 16 0 19 0 826440322 13955973120 158715 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 4 0 0 0
[pid=11120/tid=11127] ppid=11118 vsize=13628880 CPUtime=0.93 cores=0,2,4,6
/proc/11120/task/11127/stat : 11127 (java) S 11118 11120 8915 0 -1 4202560 7197 0 0 0 92 1 0 0 16 0 19 0 826440322 13955973120 158715 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11128] ppid=11118 vsize=13628880 CPUtime=1.05 cores=0,2,4,6
/proc/11120/task/11128/stat : 11128 (java) S 11118 11120 8915 0 -1 4202560 5292 0 0 0 105 0 0 0 16 0 19 0 826440322 13955973120 158715 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 4 0 0 0
[pid=11120/tid=11129] ppid=11118 vsize=13628880 CPUtime=1.09 cores=0,2,4,6
/proc/11120/task/11129/stat : 11129 (java) S 11118 11120 8915 0 -1 4202560 8340 0 0 0 108 1 0 0 15 0 19 0 826440322 13955973120 158715 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11130] ppid=11118 vsize=13628880 CPUtime=1.04 cores=0,2,4,6
/proc/11120/task/11130/stat : 11130 (java) S 11118 11120 8915 0 -1 4202560 9775 0 0 0 103 1 0 0 16 0 19 0 826440322 13955973120 158715 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
[pid=11120/tid=11131] ppid=11118 vsize=13628880 CPUtime=13.77 cores=0,2,4,6
/proc/11120/task/11131/stat : 11131 (java) S 11118 11120 8915 0 -1 4202560 51807 0 0 0 1368 9 0 0 15 0 19 0 826440323 13955973120 158715 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514752 0 0 0 16800975 18446604468461154624 0 0 -1 2 0 0 0
[pid=11120/tid=11132] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11132/stat : 11132 (java) S 11118 11120 8915 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826440324 13955973120 158715 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11133] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11133/stat : 11133 (java) S 11118 11120 8915 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826440324 13955973120 158715 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11136] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11136/stat : 11136 (java) S 11118 11120 8915 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826440326 13955973120 158715 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101521841 0 4 0 16800975 18446604468461154624 0 0 -1 2 0 0 0
[pid=11120/tid=11137] ppid=11118 vsize=13628880 CPUtime=0.4 cores=0,2,4,6
/proc/11120/task/11137/stat : 11137 (java) S 11118 11120 8915 0 -1 4202560 2659 0 0 0 40 0 0 0 16 0 19 0 826440326 13955973120 158715 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11138] ppid=11118 vsize=13628880 CPUtime=0.4 cores=0,2,4,6
/proc/11120/task/11138/stat : 11138 (java) S 11118 11120 8915 0 -1 4202560 4423 0 0 0 40 0 0 0 16 0 19 0 826440326 13955973120 158715 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 4 0 0 0
[pid=11120/tid=11139] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11139/stat : 11139 (java) S 11118 11120 8915 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826440326 13955973120 158715 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 2 0 0 0
[pid=11120/tid=11140] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11140/stat : 11140 (java) S 11118 11120 8915 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 826440326 13955973120 158715 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514752 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11168] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11168/stat : 11168 (java) S 11118 11120 8915 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826440372 13955973120 158715 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514752 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1788.58
Current children cumulated vsize (KiB) 13628880



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.7 s]
/proc/loadavg: 2.16 2.05 2.01 2/481 11231
/proc/meminfo: memFree=29441180/32950928 swapFree=45617076/67111528
[pid=11120] ppid=11118 vsize=13628880 CPUtime=1800.04 cores=0,2,4,6
/proc/11120/stat : 11120 (java) S 11118 11120 8915 0 -1 4202496 162953 0 1 0 179976 28 0 0 25 0 19 0 826440319 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11120/statm: 3407220 158727 2263 9 0 3397954 0
[pid=11120/tid=11121] ppid=11118 vsize=13628880 CPUtime=1776.61 cores=0,2,4,6
/proc/11120/task/11121/stat : 11121 (java) R 11118 11120 8915 0 -1 4202560 44397 0 1 0 177653 8 0 0 25 0 19 0 826440320 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 46912505761411 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11120/tid=11123] ppid=11118 vsize=13628880 CPUtime=1.1 cores=0,2,4,6
/proc/11120/task/11123/stat : 11123 (java) S 11118 11120 8915 0 -1 4202560 6742 0 0 0 109 1 0 0 16 0 19 0 826440322 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
[pid=11120/tid=11124] ppid=11118 vsize=13628880 CPUtime=1.12 cores=0,2,4,6
/proc/11120/task/11124/stat : 11124 (java) S 11118 11120 8915 0 -1 4202560 5566 0 0 0 112 0 0 0 15 0 19 0 826440322 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11125] ppid=11118 vsize=13628880 CPUtime=1.1 cores=0,2,4,6
/proc/11120/task/11125/stat : 11125 (java) S 11118 11120 8915 0 -1 4202560 7694 0 0 0 109 1 0 0 16 0 19 0 826440322 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 4 0 0 0
[pid=11120/tid=11126] ppid=11118 vsize=13628880 CPUtime=1.12 cores=0,2,4,6
/proc/11120/task/11126/stat : 11126 (java) S 11118 11120 8915 0 -1 4202560 7791 0 0 0 112 0 0 0 16 0 19 0 826440322 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 4 0 0 0
[pid=11120/tid=11127] ppid=11118 vsize=13628880 CPUtime=0.95 cores=0,2,4,6
/proc/11120/task/11127/stat : 11127 (java) S 11118 11120 8915 0 -1 4202560 7209 0 0 0 94 1 0 0 16 0 19 0 826440322 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11128] ppid=11118 vsize=13628880 CPUtime=1.06 cores=0,2,4,6
/proc/11120/task/11128/stat : 11128 (java) S 11118 11120 8915 0 -1 4202560 5292 0 0 0 106 0 0 0 16 0 19 0 826440322 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
[pid=11120/tid=11129] ppid=11118 vsize=13628880 CPUtime=1.09 cores=0,2,4,6
/proc/11120/task/11129/stat : 11129 (java) S 11118 11120 8915 0 -1 4202560 8340 0 0 0 108 1 0 0 15 0 19 0 826440322 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11130] ppid=11118 vsize=13628880 CPUtime=1.06 cores=0,2,4,6
/proc/11120/task/11130/stat : 11130 (java) S 11118 11120 8915 0 -1 4202560 9775 0 0 0 105 1 0 0 15 0 19 0 826440322 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
[pid=11120/tid=11131] ppid=11118 vsize=13628880 CPUtime=13.94 cores=0,2,4,6
/proc/11120/task/11131/stat : 11131 (java) S 11118 11120 8915 0 -1 4202560 51809 0 0 0 1385 9 0 0 15 0 19 0 826440323 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514752 0 0 0 16800975 18446604468461154624 0 0 -1 2 0 0 0
[pid=11120/tid=11132] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11132/stat : 11132 (java) S 11118 11120 8915 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826440324 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11133] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11133/stat : 11133 (java) S 11118 11120 8915 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826440324 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11136] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11136/stat : 11136 (java) S 11118 11120 8915 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826440326 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101521841 0 4 0 16800975 18446604468461154624 0 0 -1 2 0 0 0
[pid=11120/tid=11137] ppid=11118 vsize=13628880 CPUtime=0.4 cores=0,2,4,6
/proc/11120/task/11137/stat : 11137 (java) S 11118 11120 8915 0 -1 4202560 2659 0 0 0 40 0 0 0 16 0 19 0 826440326 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11138] ppid=11118 vsize=13628880 CPUtime=0.4 cores=0,2,4,6
/proc/11120/task/11138/stat : 11138 (java) S 11118 11120 8915 0 -1 4202560 4423 0 0 0 40 0 0 0 16 0 19 0 826440326 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 4 0 0 0
[pid=11120/tid=11139] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11139/stat : 11139 (java) S 11118 11120 8915 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826440326 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 2 0 0 0
[pid=11120/tid=11140] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11140/stat : 11140 (java) S 11118 11120 8915 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826440326 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514752 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11168] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11168/stat : 11168 (java) S 11118 11120 8915 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826440372 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514752 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13628880

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

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

[startup+1793.7 s]
/proc/loadavg: 2.16 2.05 2.01 2/481 11231
/proc/meminfo: memFree=29441180/32950928 swapFree=45617076/67111528
[pid=11120] ppid=11118 vsize=13628880 CPUtime=1800.04 cores=0,2,4,6
/proc/11120/stat : 11120 (java) S 11118 11120 8915 0 -1 4202496 162953 0 1 0 179976 28 0 0 25 0 19 0 826440319 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11120/statm: 3407220 158727 2263 9 0 3397954 0
[pid=11120/tid=11121] ppid=11118 vsize=13628880 CPUtime=1776.61 cores=0,2,4,6
/proc/11120/task/11121/stat : 11121 (java) R 11118 11120 8915 0 -1 4202560 44397 0 1 0 177653 8 0 0 25 0 19 0 826440320 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 46912505761411 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11120/tid=11123] ppid=11118 vsize=13628880 CPUtime=1.1 cores=0,2,4,6
/proc/11120/task/11123/stat : 11123 (java) S 11118 11120 8915 0 -1 4202560 6742 0 0 0 109 1 0 0 16 0 19 0 826440322 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
[pid=11120/tid=11124] ppid=11118 vsize=13628880 CPUtime=1.12 cores=0,2,4,6
/proc/11120/task/11124/stat : 11124 (java) S 11118 11120 8915 0 -1 4202560 5566 0 0 0 112 0 0 0 15 0 19 0 826440322 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11125] ppid=11118 vsize=13628880 CPUtime=1.1 cores=0,2,4,6
/proc/11120/task/11125/stat : 11125 (java) S 11118 11120 8915 0 -1 4202560 7694 0 0 0 109 1 0 0 16 0 19 0 826440322 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 4 0 0 0
[pid=11120/tid=11126] ppid=11118 vsize=13628880 CPUtime=1.12 cores=0,2,4,6
/proc/11120/task/11126/stat : 11126 (java) S 11118 11120 8915 0 -1 4202560 7791 0 0 0 112 0 0 0 16 0 19 0 826440322 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 4 0 0 0
[pid=11120/tid=11127] ppid=11118 vsize=13628880 CPUtime=0.95 cores=0,2,4,6
/proc/11120/task/11127/stat : 11127 (java) S 11118 11120 8915 0 -1 4202560 7209 0 0 0 94 1 0 0 16 0 19 0 826440322 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11128] ppid=11118 vsize=13628880 CPUtime=1.06 cores=0,2,4,6
/proc/11120/task/11128/stat : 11128 (java) S 11118 11120 8915 0 -1 4202560 5292 0 0 0 106 0 0 0 16 0 19 0 826440322 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
[pid=11120/tid=11129] ppid=11118 vsize=13628880 CPUtime=1.09 cores=0,2,4,6
/proc/11120/task/11129/stat : 11129 (java) S 11118 11120 8915 0 -1 4202560 8340 0 0 0 108 1 0 0 15 0 19 0 826440322 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11130] ppid=11118 vsize=13628880 CPUtime=1.06 cores=0,2,4,6
/proc/11120/task/11130/stat : 11130 (java) S 11118 11120 8915 0 -1 4202560 9775 0 0 0 105 1 0 0 15 0 19 0 826440322 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
[pid=11120/tid=11131] ppid=11118 vsize=13628880 CPUtime=13.94 cores=0,2,4,6
/proc/11120/task/11131/stat : 11131 (java) S 11118 11120 8915 0 -1 4202560 51809 0 0 0 1385 9 0 0 15 0 19 0 826440323 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514752 0 0 0 16800975 18446604468461154624 0 0 -1 2 0 0 0
[pid=11120/tid=11132] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11132/stat : 11132 (java) S 11118 11120 8915 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826440324 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11133] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11133/stat : 11133 (java) S 11118 11120 8915 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826440324 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11136] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11136/stat : 11136 (java) S 11118 11120 8915 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826440326 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101521841 0 4 0 16800975 18446604468461154624 0 0 -1 2 0 0 0
[pid=11120/tid=11137] ppid=11118 vsize=13628880 CPUtime=0.4 cores=0,2,4,6
/proc/11120/task/11137/stat : 11137 (java) S 11118 11120 8915 0 -1 4202560 2659 0 0 0 40 0 0 0 16 0 19 0 826440326 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11138] ppid=11118 vsize=13628880 CPUtime=0.4 cores=0,2,4,6
/proc/11120/task/11138/stat : 11138 (java) S 11118 11120 8915 0 -1 4202560 4423 0 0 0 40 0 0 0 16 0 19 0 826440326 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 4 0 0 0
[pid=11120/tid=11139] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11139/stat : 11139 (java) S 11118 11120 8915 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826440326 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514137 0 4 0 16800975 18446604468461154624 0 0 -1 2 0 0 0
[pid=11120/tid=11140] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11140/stat : 11140 (java) S 11118 11120 8915 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826440326 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514752 0 4 0 16800975 18446604468461154624 0 0 -1 0 0 0 0
[pid=11120/tid=11168] ppid=11118 vsize=13628880 CPUtime=0 cores=0,2,4,6
/proc/11120/task/11168/stat : 11168 (java) S 11118 11120 8915 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826440372 13955973120 158727 33554432000 1073741824 1073778376 140736576986288 18446744073709551615 248101514752 0 4 0 16800975 18446604468461154624 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13628880

Child status: 143
Real time (s): 1793.78
CPU time (s): 1800.15
CPU user time (s): 1799.84
CPU system time (s): 0.309952
CPU usage (%): 100.355
Max. virtual memory (cumulated for all children) (KiB): 13628880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.309952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163000
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42155
involuntary context switches= 11997

runsolver used 8.5487 second user time and 19.2041 second system time

The end

Launcher Data 

Begin job on node123 at 2011-06-04 02:46:45
IDJOB=3458878
IDBENCH=2240
IDSOLVER=1952
FILE ID=node123/3458878-1307148405
RUNJOBID= node123-1307146607-10968
PBS_JOBID= 13508793
Free space on /tmp= 73828 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458878-1307148405/watcher-3458878-1307148405 -o /tmp/evaluation-result-3458878-1307148405/solver-3458878-1307148405 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458878-1307148405.opb

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

MD5SUM BENCH= f408a60720d5bae3e36cea0c41e2f7f1
RANDOM SEED=526807182

node123.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30077836 kB
Buffers:        293440 kB
Cached:         355148 kB
SwapCached:       9456 kB
Active:        2279360 kB
Inactive:       313972 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30077836 kB
SwapTotal:    67111528 kB
SwapFree:     45617076 kB
Dirty:            1232 kB
Writeback:           0 kB
AnonPages:     1942348 kB
Mapped:          23132 kB
Slab:           134072 kB
PageTables:      77860 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 133348376 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73828 MiB
End job on node123 at 2011-06-04 03:16:41