Trace number 3458833

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.0? (TO) 1800.19 1796.38

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-mod011.opb
MD5SUM7946286f4c1a7ac44cf771db2f48f590
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables309773
Total number of constraints5980
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)16
Number of constraints which are nor clauses,nor cardinality constraints5964
Minimum length of a constraint6
Maximum length of a constraint24690
Number of terms in the objective function 212680
Biggest coefficient in the objective function 38252041742581760
Number of bits for the biggest coefficient in the objective function 56
Sum of the numbers in the objective function 82366741301042726133
Number of bits of the sum of numbers in the objective function 67
Biggest number in a constraint 38252041742581760
Number of bits of the biggest number in a constraint 56
Biggest sum of numbers in a constraint 82366741301042726133
Number of bits of the biggest sum of numbers67
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.09	c version 2.3.1.v20110525
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.18-164.el5
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		12995394264
0.03/0.09	c Max memory 		13063553024
0.03/0.09	c Total memory 		13063553024
0.03/0.09	c Number of processors 	8
0.03/0.11	c Pseudo Boolean Optimization
0.03/0.11	c --- Begin Solver configuration ---
0.03/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.03/0.11	c Learn all clauses as in MiniSAT
0.03/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.03/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.03/0.11	c Expensive reason simplification
0.03/0.11	c Armin Biere (Picosat) restarts strategy
0.03/0.11	c Glucose learned constraints deletion strategy
0.03/0.11	c timeout=2147483s
0.03/0.11	c DB Simplification allowed=false
0.03/0.11	c --- End Solver configuration ---
0.03/0.11	c solving HOME/instance-3458833-1307152095.opb
0.03/0.11	c reading problem ... 
2.99/2.43	c ... done. Wall clock time 2.291s.
2.99/2.43	c #vars     309773
2.99/2.43	c #constraints  99284
2.99/2.43	c constraints type 
2.99/2.43	c org.sat4j.minisat.constraints.card.MinWatchCard => 16
2.99/2.43	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 10331
43.46/42.21	c cleaning 2496 clauses out of 5001 with flag 5001/5001
68.98/67.52	c cleaning 4236 clauses out of 8504 with flag 11000/11000
88.61/87.12	c cleaning 5600 clauses out of 11267 with flag 18000/18000
95.76/94.26	c cleaning 6830 clauses out of 13669 with flag 26002/26002
97.94/96.33	c cleaning 7914 clauses out of 15838 with flag 35001/35001
134.44/132.81	c cleaning 8949 clauses out of 17923 with flag 45001/45001
144.86/143.26	c cleaning 9981 clauses out of 19975 with flag 56002/56002
150.48/148.84	c cleaning 10486 clauses out of 20991 with flag 67001/67001
155.39/153.79	c cleaning 10731 clauses out of 21504 with flag 78000/78000
157.31/155.63	c cleaning 10884 clauses out of 21773 with flag 89000/89000
160.22/158.56	c cleaning 10936 clauses out of 21890 with flag 100001/100001
162.23/160.52	c cleaning 10975 clauses out of 21953 with flag 111000/111000
165.92/164.27	c cleaning 10988 clauses out of 21979 with flag 122001/122001
168.05/166.34	c cleaning 10989 clauses out of 21991 with flag 133001/133001
171.06/169.37	c cleaning 10992 clauses out of 22001 with flag 144000/144000
174.67/172.96	c cleaning 10990 clauses out of 22010 with flag 155001/155001
180.48/178.74	c cleaning 10984 clauses out of 22019 with flag 166000/166000
185.21/183.47	c cleaning 11013 clauses out of 22036 with flag 177001/177001
190.34/188.59	c cleaning 11004 clauses out of 22022 with flag 188000/188000
196.75/194.98	c cleaning 10996 clauses out of 22018 with flag 199000/199000
202.97/201.14	c cleaning 10989 clauses out of 22022 with flag 210000/210000
210.29/208.49	c cleaning 11004 clauses out of 22033 with flag 221001/221001
219.19/217.37	c cleaning 10999 clauses out of 22028 with flag 232000/232000
226.21/224.38	c cleaning 10987 clauses out of 22030 with flag 243001/243001
235.52/233.60	c cleaning 11003 clauses out of 22042 with flag 254001/254001
244.83/243.01	c cleaning 11003 clauses out of 22038 with flag 265000/265000
252.13/250.22	c cleaning 11011 clauses out of 22035 with flag 276000/276000
254.24/252.30	c cleaning 11008 clauses out of 22025 with flag 287001/287001
256.24/254.36	c cleaning 11001 clauses out of 22017 with flag 298001/298001
258.34/256.48	c cleaning 11000 clauses out of 22015 with flag 309000/309000
260.46/258.55	c cleaning 11003 clauses out of 22016 with flag 320001/320001
262.56/260.67	c cleaning 10999 clauses out of 22013 with flag 331001/331001
264.76/262.91	c cleaning 10998 clauses out of 22013 with flag 342000/342000
267.07/265.18	c cleaning 11002 clauses out of 22016 with flag 353001/353001
269.16/267.27	c cleaning 10999 clauses out of 22013 with flag 364000/364000
271.16/269.24	c cleaning 10999 clauses out of 22014 with flag 375000/375000
273.16/271.20	c cleaning 10998 clauses out of 22016 with flag 386001/386001
275.06/273.14	c cleaning 11004 clauses out of 22018 with flag 397001/397001
276.98/275.06	c cleaning 11000 clauses out of 22013 with flag 408000/408000
278.97/277.02	c cleaning 11003 clauses out of 22014 with flag 419001/419001
284.58/282.68	c cleaning 10985 clauses out of 22010 with flag 430000/430000
297.30/295.33	c cleaning 10978 clauses out of 22025 with flag 441000/441000
304.90/302.98	c cleaning 11002 clauses out of 22048 with flag 452001/452001
310.82/308.83	c cleaning 11016 clauses out of 22045 with flag 463000/463000
314.23/312.27	c cleaning 11003 clauses out of 22029 with flag 474000/474000
316.56/314.55	c cleaning 10997 clauses out of 22027 with flag 485001/485001
318.95/316.92	c cleaning 11008 clauses out of 22030 with flag 496001/496001
320.96/318.96	c cleaning 11002 clauses out of 22022 with flag 507001/507001
322.96/320.97	c cleaning 11003 clauses out of 22019 with flag 518000/518000
325.06/323.02	c cleaning 11002 clauses out of 22016 with flag 529000/529000
327.27/325.26	c cleaning 10988 clauses out of 22014 with flag 540000/540000
329.29/327.26	c cleaning 10991 clauses out of 22026 with flag 551000/551000
331.49/329.46	c cleaning 10989 clauses out of 22035 with flag 562000/562000
334.21/332.16	c cleaning 10989 clauses out of 22046 with flag 573000/573000
336.20/334.13	c cleaning 11010 clauses out of 22057 with flag 584000/584000
339.21/337.15	c cleaning 11003 clauses out of 22048 with flag 595001/595001
349.11/347.02	c cleaning 10989 clauses out of 22040 with flag 606001/606001
352.84/350.71	c cleaning 11001 clauses out of 22050 with flag 617000/617000
355.56/353.43	c cleaning 11014 clauses out of 22050 with flag 628001/628001
363.98/361.85	c cleaning 11008 clauses out of 22036 with flag 639001/639001
368.17/366.01	c cleaning 10997 clauses out of 22027 with flag 650000/650000
375.02/372.91	c cleaning 11006 clauses out of 22031 with flag 661001/661001
380.22/378.04	c cleaning 11002 clauses out of 22025 with flag 672001/672001
385.22/383.02	c cleaning 10995 clauses out of 22023 with flag 683001/683001
388.72/386.54	c cleaning 11006 clauses out of 22028 with flag 694001/694001
390.73/388.57	c cleaning 11004 clauses out of 22021 with flag 705000/705000
392.84/390.66	c cleaning 11002 clauses out of 22019 with flag 716002/716002
395.04/392.86	c cleaning 11000 clauses out of 22015 with flag 727000/727000
397.24/395.03	c cleaning 11002 clauses out of 22015 with flag 738000/738000
399.45/397.23	c cleaning 10998 clauses out of 22013 with flag 749000/749000
401.67/399.43	c cleaning 11000 clauses out of 22017 with flag 760002/760002
403.88/401.61	c cleaning 10998 clauses out of 22016 with flag 771001/771001
406.18/403.94	c cleaning 11001 clauses out of 22018 with flag 782001/782001
408.38/406.10	c cleaning 11000 clauses out of 22016 with flag 793000/793000
410.48/408.26	c cleaning 10999 clauses out of 22016 with flag 804000/804000
413.70/411.48	c cleaning 10979 clauses out of 22017 with flag 815001/815001
416.60/414.32	c cleaning 10989 clauses out of 22039 with flag 826002/826002
419.23/417.00	c cleaning 10991 clauses out of 22048 with flag 837000/837000
421.71/419.40	c cleaning 11000 clauses out of 22057 with flag 848000/848000
424.63/422.32	c cleaning 11002 clauses out of 22059 with flag 859002/859002
428.04/425.77	c cleaning 11007 clauses out of 22056 with flag 870001/870001
431.83/429.56	c cleaning 11000 clauses out of 22048 with flag 881000/881000
435.43/433.11	c cleaning 11001 clauses out of 22048 with flag 892000/892000
441.34/439.08	c cleaning 11001 clauses out of 22047 with flag 903000/903000
447.06/444.75	c cleaning 10987 clauses out of 22045 with flag 914000/914000
448.39/446.06	c cleaning 11018 clauses out of 22058 with flag 925000/925000
449.69/447.38	c cleaning 11008 clauses out of 22040 with flag 936000/936000
454.89/452.58	c cleaning 10990 clauses out of 22033 with flag 947001/947001
462.13/459.72	c cleaning 10992 clauses out of 22043 with flag 958001/958001
466.53/464.18	c cleaning 11001 clauses out of 22051 with flag 969001/969001
470.35/467.94	c cleaning 10993 clauses out of 22049 with flag 980000/980000
475.87/473.49	c cleaning 11016 clauses out of 22056 with flag 991000/991000
484.08/481.61	c cleaning 11005 clauses out of 22040 with flag 1002000/1002000
493.98/491.51	c cleaning 11000 clauses out of 22035 with flag 1013000/1013000
501.09/498.67	c cleaning 10990 clauses out of 22035 with flag 1024000/1024000
504.29/501.83	c cleaning 11009 clauses out of 22046 with flag 1035001/1035001
509.51/507.05	c cleaning 10982 clauses out of 22038 with flag 1046002/1046002
513.82/511.33	c cleaning 10992 clauses out of 22054 with flag 1057000/1057000
517.34/514.82	c cleaning 10993 clauses out of 22062 with flag 1068000/1068000
520.53/518.08	c cleaning 11001 clauses out of 22069 with flag 1079000/1079000
523.73/521.23	c cleaning 11000 clauses out of 22069 with flag 1090001/1090001
527.25/524.73	c cleaning 11021 clauses out of 22069 with flag 1101001/1101001
534.96/532.49	c cleaning 11001 clauses out of 22047 with flag 1112000/1112000
544.57/542.04	c cleaning 10998 clauses out of 22046 with flag 1123000/1123000
552.58/550.09	c cleaning 10997 clauses out of 22048 with flag 1134000/1134000
561.87/559.37	c cleaning 10999 clauses out of 22051 with flag 1145000/1145000
570.47/567.92	c cleaning 10999 clauses out of 22053 with flag 1156001/1156001
579.88/577.37	c cleaning 10998 clauses out of 22054 with flag 1167001/1167001
588.48/585.97	c cleaning 10999 clauses out of 22056 with flag 1178001/1178001
598.69/596.14	c cleaning 11002 clauses out of 22056 with flag 1189000/1189000
609.49/606.91	c cleaning 11002 clauses out of 22056 with flag 1200002/1200002
616.71/614.19	c cleaning 10995 clauses out of 22053 with flag 1211001/1211001
621.71/619.21	c cleaning 10996 clauses out of 22058 with flag 1222001/1222001
646.91/644.31	c cleaning 10999 clauses out of 22062 with flag 1233001/1233001
678.43/675.86	c cleaning 10997 clauses out of 22062 with flag 1244000/1244000
703.53/700.93	c cleaning 10994 clauses out of 22066 with flag 1255001/1255001
723.54/720.90	c cleaning 11001 clauses out of 22072 with flag 1266001/1266001
757.44/754.81	c cleaning 11001 clauses out of 22071 with flag 1277001/1277001
793.15/790.50	c cleaning 11002 clauses out of 22070 with flag 1288001/1288001
799.15/796.59	c cleaning 10997 clauses out of 22068 with flag 1299001/1299001
804.76/802.12	c cleaning 11007 clauses out of 22070 with flag 1310000/1310000
829.86/827.31	c cleaning 10996 clauses out of 22065 with flag 1321002/1321002
860.16/857.54	c cleaning 11002 clauses out of 22070 with flag 1332003/1332003
878.07/875.41	c cleaning 10998 clauses out of 22066 with flag 1343001/1343001
888.07/885.42	c cleaning 11006 clauses out of 22068 with flag 1354001/1354001
893.81/891.17	c cleaning 11004 clauses out of 22061 with flag 1365000/1365000
899.01/896.37	c cleaning 10994 clauses out of 22057 with flag 1376000/1376000
911.74/909.07	c cleaning 11020 clauses out of 22064 with flag 1387001/1387001
915.45/912.72	c cleaning 11007 clauses out of 22043 with flag 1398000/1398000
919.76/917.00	c cleaning 10990 clauses out of 22036 with flag 1409000/1409000
923.78/921.03	c cleaning 10998 clauses out of 22046 with flag 1420000/1420000
927.68/924.97	c cleaning 11003 clauses out of 22048 with flag 1431000/1431000
931.99/929.27	c cleaning 10998 clauses out of 22046 with flag 1442001/1442001
935.32/932.55	c cleaning 11001 clauses out of 22047 with flag 1453000/1453000
938.52/935.77	c cleaning 10997 clauses out of 22046 with flag 1464000/1464000
942.22/939.48	c cleaning 11003 clauses out of 22050 with flag 1475001/1475001
946.63/943.88	c cleaning 10982 clauses out of 22047 with flag 1486001/1486001
949.08/946.26	c cleaning 10997 clauses out of 22064 with flag 1497000/1497000
952.46/949.65	c cleaning 11016 clauses out of 22067 with flag 1508000/1508000
954.18/951.30	c cleaning 11009 clauses out of 22051 with flag 1519000/1519000
957.18/954.37	c cleaning 10962 clauses out of 22043 with flag 1530001/1530001
960.11/957.29	c cleaning 10984 clauses out of 22080 with flag 1541000/1541000
963.20/960.37	c cleaning 11036 clauses out of 22097 with flag 1552001/1552001
966.11/963.21	c cleaning 11023 clauses out of 22060 with flag 1563000/1563000
968.51/965.61	c cleaning 11011 clauses out of 22037 with flag 1574000/1574000
970.91/968.09	c cleaning 11007 clauses out of 22027 with flag 1585001/1585001
973.52/970.61	c cleaning 11001 clauses out of 22020 with flag 1596001/1596001
976.02/973.16	c cleaning 11000 clauses out of 22018 with flag 1607000/1607000
978.62/975.79	c cleaning 10999 clauses out of 22019 with flag 1618001/1618001
981.42/978.51	c cleaning 11000 clauses out of 22020 with flag 1629001/1629001
984.12/981.22	c cleaning 10999 clauses out of 22019 with flag 1640000/1640000
988.22/985.30	c cleaning 10993 clauses out of 22021 with flag 1651001/1651001
992.55/989.62	c cleaning 10996 clauses out of 22028 with flag 1662001/1662001
997.35/994.41	c cleaning 11000 clauses out of 22032 with flag 1673001/1673001
1001.55/998.68	c cleaning 11003 clauses out of 22033 with flag 1684002/1684002
1006.06/1003.15	c cleaning 10997 clauses out of 22028 with flag 1695000/1695000
1010.27/1007.31	c cleaning 11002 clauses out of 22031 with flag 1706000/1706000
1014.48/1011.52	c cleaning 10999 clauses out of 22029 with flag 1717000/1717000
1018.78/1015.84	c cleaning 11001 clauses out of 22030 with flag 1728000/1728000
1022.90/1019.94	c cleaning 10996 clauses out of 22029 with flag 1739000/1739000
1027.48/1024.56	c cleaning 11004 clauses out of 22033 with flag 1750000/1750000
1032.09/1029.14	c cleaning 11000 clauses out of 22029 with flag 1761000/1761000
1036.00/1033.06	c cleaning 10999 clauses out of 22029 with flag 1772000/1772000
1040.30/1037.35	c cleaning 10997 clauses out of 22031 with flag 1783001/1783001
1044.70/1041.76	c cleaning 11004 clauses out of 22033 with flag 1794000/1794000
1048.82/1045.81	c cleaning 10998 clauses out of 22029 with flag 1805000/1805000
1053.42/1050.40	c cleaning 10999 clauses out of 22031 with flag 1816000/1816000
1058.42/1055.48	c cleaning 10998 clauses out of 22033 with flag 1827001/1827001
1062.54/1059.56	c cleaning 10999 clauses out of 22034 with flag 1838000/1838000
1066.33/1063.39	c cleaning 11005 clauses out of 22035 with flag 1849000/1849000
1070.14/1067.21	c cleaning 10999 clauses out of 22030 with flag 1860000/1860000
1074.14/1071.10	c cleaning 11000 clauses out of 22031 with flag 1871000/1871000
1078.04/1075.01	c cleaning 11000 clauses out of 22032 with flag 1882001/1882001
1081.94/1078.98	c cleaning 10997 clauses out of 22031 with flag 1893000/1893000
1085.94/1082.94	c cleaning 11003 clauses out of 22035 with flag 1904001/1904001
1089.85/1086.84	c cleaning 10999 clauses out of 22031 with flag 1915000/1915000
1093.75/1090.71	c cleaning 10999 clauses out of 22032 with flag 1926000/1926000
1097.77/1094.78	c cleaning 11002 clauses out of 22035 with flag 1937002/1937002
1102.36/1099.39	c cleaning 11001 clauses out of 22032 with flag 1948001/1948001
1107.16/1104.16	c cleaning 10998 clauses out of 22031 with flag 1959001/1959001
1112.46/1109.43	c cleaning 11001 clauses out of 22032 with flag 1970000/1970000
1117.67/1114.62	c cleaning 10995 clauses out of 22032 with flag 1981001/1981001
1123.08/1120.09	c cleaning 11003 clauses out of 22036 with flag 1992000/1992000
1129.58/1126.57	c cleaning 11000 clauses out of 22033 with flag 2003000/2003000
1137.67/1134.61	c cleaning 11009 clauses out of 22032 with flag 2014000/2014000
1144.61/1141.52	c cleaning 11004 clauses out of 22024 with flag 2025001/2025001
1148.61/1145.56	c cleaning 10999 clauses out of 22019 with flag 2036000/2036000
1153.72/1150.64	c cleaning 10994 clauses out of 22020 with flag 2047000/2047000
1174.24/1171.17	c cleaning 11004 clauses out of 22027 with flag 2058001/2058001
1188.74/1185.70	c cleaning 11000 clauses out of 22022 with flag 2069000/2069000
1191.16/1188.00	c cleaning 10986 clauses out of 22023 with flag 2080001/2080001
1192.98/1189.84	c cleaning 11004 clauses out of 22036 with flag 2091000/2091000
1198.08/1194.98	c cleaning 11002 clauses out of 22032 with flag 2102000/2102000
1203.21/1200.05	c cleaning 10998 clauses out of 22030 with flag 2113000/2113000
1208.41/1205.21	c cleaning 11000 clauses out of 22033 with flag 2124001/2124001
1213.43/1210.29	c cleaning 10997 clauses out of 22032 with flag 2135000/2135000
1218.83/1215.70	c cleaning 11005 clauses out of 22035 with flag 2146000/2146000
1224.93/1221.78	c cleaning 10999 clauses out of 22032 with flag 2157002/2157002
1231.53/1228.37	c cleaning 10999 clauses out of 22032 with flag 2168001/2168001
1237.83/1234.60	c cleaning 10999 clauses out of 22033 with flag 2179001/2179001
1243.64/1240.48	c cleaning 10998 clauses out of 22033 with flag 2190000/2190000
1249.24/1246.00	c cleaning 11004 clauses out of 22037 with flag 2201002/2201002
1264.65/1261.42	c cleaning 11001 clauses out of 22032 with flag 2212001/2212001
1292.98/1289.80	c cleaning 11001 clauses out of 22030 with flag 2223000/2223000
1304.69/1301.45	c cleaning 10993 clauses out of 22028 with flag 2234000/2234000
1308.02/1304.72	c cleaning 10997 clauses out of 22035 with flag 2245000/2245000
1311.12/1307.80	c cleaning 10998 clauses out of 22039 with flag 2256001/2256001
1314.22/1310.94	c cleaning 11001 clauses out of 22040 with flag 2267000/2267000
1317.52/1314.29	c cleaning 11000 clauses out of 22039 with flag 2278000/2278000
1320.82/1317.58	c cleaning 11003 clauses out of 22040 with flag 2289001/2289001
1324.43/1321.15	c cleaning 10998 clauses out of 22037 with flag 2300001/2300001
1327.84/1324.59	c cleaning 10999 clauses out of 22039 with flag 2311001/2311001
1331.14/1327.87	c cleaning 11002 clauses out of 22040 with flag 2322001/2322001
1336.65/1333.40	c cleaning 10979 clauses out of 22039 with flag 2333002/2333002
1343.67/1340.30	c cleaning 10981 clauses out of 22059 with flag 2344001/2344001
1347.30/1343.94	c cleaning 10999 clauses out of 22078 with flag 2355001/2355001
1351.30/1347.95	c cleaning 11024 clauses out of 22077 with flag 2366000/2366000
1357.01/1353.65	c cleaning 11010 clauses out of 22054 with flag 2377001/2377001
1362.13/1358.73	c cleaning 11005 clauses out of 22043 with flag 2388000/2388000
1367.63/1364.29	c cleaning 11002 clauses out of 22039 with flag 2399001/2399001
1373.32/1369.90	c cleaning 11003 clauses out of 22036 with flag 2410000/2410000
1378.64/1375.30	c cleaning 11002 clauses out of 22033 with flag 2421000/2421000
1384.14/1380.78	c cleaning 10998 clauses out of 22032 with flag 2432001/2432001
1389.73/1386.32	c cleaning 10998 clauses out of 22034 with flag 2443001/2443001
1395.04/1391.64	c cleaning 11003 clauses out of 22035 with flag 2454000/2454000
1399.73/1396.38	c cleaning 11000 clauses out of 22032 with flag 2465000/2465000
1404.84/1401.41	c cleaning 11000 clauses out of 22033 with flag 2476001/2476001
1410.14/1406.78	c cleaning 11003 clauses out of 22033 with flag 2487001/2487001
1415.35/1411.99	c cleaning 10998 clauses out of 22030 with flag 2498001/2498001
1420.15/1416.72	c cleaning 11006 clauses out of 22031 with flag 2509000/2509000
1423.06/1419.61	c cleaning 11005 clauses out of 22030 with flag 2520005/2520005
1426.26/1422.88	c cleaning 10999 clauses out of 22021 with flag 2531001/2531001
1429.57/1426.13	c cleaning 10996 clauses out of 22021 with flag 2542000/2542000
1432.77/1429.33	c cleaning 11000 clauses out of 22025 with flag 2553000/2553000
1435.97/1432.56	c cleaning 10999 clauses out of 22027 with flag 2564002/2564002
1439.19/1435.76	c cleaning 11001 clauses out of 22027 with flag 2575001/2575001
1442.39/1438.98	c cleaning 10996 clauses out of 22025 with flag 2586000/2586000
1446.69/1443.26	c cleaning 10990 clauses out of 22030 with flag 2597001/2597001
1451.09/1447.60	c cleaning 10995 clauses out of 22040 with flag 2608001/2608001
1455.29/1451.85	c cleaning 10999 clauses out of 22044 with flag 2619000/2619000
1459.40/1455.97	c cleaning 10999 clauses out of 22046 with flag 2630001/2630001
1464.70/1461.28	c cleaning 10995 clauses out of 22047 with flag 2641001/2641001
1469.50/1466.06	c cleaning 11002 clauses out of 22051 with flag 2652000/2652000
1473.71/1470.23	c cleaning 11001 clauses out of 22049 with flag 2663000/2663000
1477.91/1474.47	c cleaning 11003 clauses out of 22048 with flag 2674000/2674000
1481.91/1478.40	c cleaning 11005 clauses out of 22046 with flag 2685001/2685001
1486.01/1482.57	c cleaning 10997 clauses out of 22042 with flag 2696002/2696002
1490.41/1486.96	c cleaning 10995 clauses out of 22043 with flag 2707000/2707000
1494.72/1491.25	c cleaning 10998 clauses out of 22048 with flag 2718000/2718000
1500.12/1496.60	c cleaning 11006 clauses out of 22050 with flag 2729000/2729000
1507.13/1503.67	c cleaning 11009 clauses out of 22045 with flag 2740001/2740001
1513.13/1509.68	c cleaning 10996 clauses out of 22035 with flag 2751000/2751000
1518.63/1515.14	c cleaning 10999 clauses out of 22039 with flag 2762000/2762000
1523.85/1520.41	c cleaning 11001 clauses out of 22040 with flag 2773000/2773000
1529.46/1525.97	c cleaning 11000 clauses out of 22039 with flag 2784000/2784000
1534.74/1531.24	c cleaning 10998 clauses out of 22039 with flag 2795000/2795000
1539.75/1536.25	c cleaning 11003 clauses out of 22043 with flag 2806002/2806002
1544.76/1541.24	c cleaning 11002 clauses out of 22039 with flag 2817001/2817001
1550.75/1547.26	c cleaning 10999 clauses out of 22037 with flag 2828001/2828001
1557.86/1554.32	c cleaning 11002 clauses out of 22037 with flag 2839000/2839000
1563.26/1559.79	c cleaning 11000 clauses out of 22037 with flag 2850002/2850002
1568.86/1565.31	c cleaning 10993 clauses out of 22035 with flag 2861000/2861000
1574.17/1570.67	c cleaning 11006 clauses out of 22043 with flag 2872001/2872001
1579.77/1576.27	c cleaning 10999 clauses out of 22037 with flag 2883001/2883001
1585.07/1581.56	c cleaning 11001 clauses out of 22038 with flag 2894001/2894001
1590.58/1587.01	c cleaning 10997 clauses out of 22036 with flag 2905000/2905000
1595.89/1592.40	c cleaning 11000 clauses out of 22039 with flag 2916000/2916000
1601.19/1597.67	c cleaning 11003 clauses out of 22039 with flag 2927000/2927000
1606.80/1603.26	c cleaning 10995 clauses out of 22036 with flag 2938000/2938000
1612.30/1608.75	c cleaning 11000 clauses out of 22041 with flag 2949000/2949000
1617.80/1614.27	c cleaning 11001 clauses out of 22042 with flag 2960001/2960001
1623.20/1619.68	c cleaning 11003 clauses out of 22041 with flag 2971001/2971001
1628.52/1624.94	c cleaning 10992 clauses out of 22037 with flag 2982000/2982000
1633.71/1630.12	c cleaning 11008 clauses out of 22045 with flag 2993000/2993000
1638.91/1635.37	c cleaning 11000 clauses out of 22037 with flag 3004000/3004000
1644.41/1640.89	c cleaning 11000 clauses out of 22038 with flag 3015001/3015001
1649.82/1646.23	c cleaning 10996 clauses out of 22037 with flag 3026000/3026000
1655.12/1651.54	c cleaning 11004 clauses out of 22042 with flag 3037001/3037001
1660.44/1656.87	c cleaning 10999 clauses out of 22037 with flag 3048000/3048000
1665.53/1661.93	c cleaning 11013 clauses out of 22039 with flag 3059001/3059001
1667.23/1663.69	c cleaning 11008 clauses out of 22026 with flag 3070001/3070001
1672.24/1668.69	c cleaning 10985 clauses out of 22017 with flag 3081000/3081000
1674.86/1671.22	c cleaning 11009 clauses out of 22032 with flag 3092000/3092000
1677.86/1674.28	c cleaning 11002 clauses out of 22024 with flag 3103001/3103001
1680.68/1677.06	c cleaning 10999 clauses out of 22022 with flag 3114001/3114001
1684.29/1680.60	c cleaning 11003 clauses out of 22022 with flag 3125000/3125000
1686.23/1682.55	c cleaning 10998 clauses out of 22019 with flag 3136000/3136000
1688.13/1684.49	c cleaning 11007 clauses out of 22022 with flag 3147001/3147001
1689.53/1685.80	c cleaning 11001 clauses out of 22015 with flag 3158001/3158001
1690.74/1687.06	c cleaning 11001 clauses out of 22013 with flag 3169000/3169000
1692.04/1688.37	c cleaning 11000 clauses out of 22012 with flag 3180000/3180000
1693.34/1689.71	c cleaning 11001 clauses out of 22012 with flag 3191000/3191000
1748.47/1744.79	c cleaning 10995 clauses out of 22011 with flag 3202000/3202000
1800.08/1796.32	c starts		: 248
1800.08/1796.32	c conflicts		: 3209206
1800.08/1796.32	c decisions		: 5361152
1800.08/1796.32	c propagations		: 174866167
1800.08/1796.32	c inspects		: 1350190787
1800.08/1796.32	c shortcuts		: 0
1800.08/1796.32	c learnt literals	: 16
1800.08/1796.32	c learnt binary clauses	: 322
1800.08/1796.32	c learnt ternary clauses	: 250
1800.08/1796.32	c learnt constraints	: 3209190
1800.08/1796.32	c ignored constraints	: 0
1800.08/1796.32	c root simplifications	: 0
1800.08/1796.32	c removed literals (reason simplification)	: 80649635
1800.08/1796.32	c reason swapping (by a shorter reason)	: 0
1800.08/1796.32	c Calls to reduceDB	: 293
1800.08/1796.32	c number of reductions to clauses (during analyze)	: 0
1800.08/1796.32	c number of learned constraints concerned by reduction	: 0
1800.08/1796.32	c number of learning phase by resolution	: 0
1800.08/1796.32	c number of learning phase by cutting planes	: 0
1800.08/1796.32	c speed (assignments/second)	: 97477.18096524982
1800.08/1796.32	c non guided choices	1942018
1800.08/1796.33	c learnt constraints type 
1800.08/1796.33	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 322
1800.08/1796.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 17903
1800.08/1796.33	c constraints type 
1800.08/1796.33	c org.sat4j.minisat.constraints.card.MinWatchCard => 16
1800.08/1796.33	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 10331
1800.08/1796.33	s UNKNOWN
1800.08/1796.33	c Total wall clock time (in seconds): 1796.222

Verifier Data 

ERROR: no interpretation found !

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-3458833-1307152095/watcher-3458833-1307152095 -o /tmp/evaluation-result-3458833-1307152095/solver-3458833-1307152095 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458833-1307152095.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.04 2.02 2.00 2/464 20430
/proc/meminfo: memFree=31215476/32950928 swapFree=34365992/67111528
[pid=20430] ppid=20428 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/20430/stat : 20430 (java) S 20428 20430 12983 0 -1 4202496 2527 0 1 0 0 0 0 0 25 0 2 0 826808291 13833195520 2229 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/20430/statm: 3377245 2243 906 9 0 3368401 0
[pid=20430/tid=20431] ppid=20428 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20431/stat : 20431 (java) R 20428 20430 12983 0 -1 4202560 5733 0 1 0 0 0 0 0 25 0 2 0 826808292 13850947584 6548 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235594560571 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.0405391 s]
/proc/loadavg: 2.04 2.02 2.00 2/464 20430
/proc/meminfo: memFree=31215476/32950928 swapFree=34365992/67111528
[pid=20430] ppid=20428 vsize=13549480 CPUtime=0.03 cores=0,2,4,6
/proc/20430/stat : 20430 (java) S 20428 20430 12983 0 -1 4202496 13625 0 1 0 2 1 0 0 25 0 13 0 826808291 13874667520 13322 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/20430/statm: 3387370 13323 1653 9 0 3378118 0
[pid=20430/tid=20431] ppid=20428 vsize=13549480 CPUtime=0.03 cores=0,2,4,6
/proc/20430/task/20431/stat : 20431 (java) R 20428 20430 12983 0 -1 4202560 12480 0 1 0 2 1 0 0 25 0 13 0 826808292 13874667520 13323 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 47496362442757 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13549480

[startup+0.16057 s]
/proc/loadavg: 2.04 2.02 2.00 2/464 20430
/proc/meminfo: memFree=31215476/32950928 swapFree=34365992/67111528
[pid=20430] ppid=20428 vsize=13622284 CPUtime=0.22 cores=0,2,4,6
/proc/20430/stat : 20430 (java) S 20428 20430 12983 0 -1 4202496 17997 0 1 0 20 2 0 0 25 0 18 0 826808291 13949218816 17629 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20430/statm: 3405571 17629 2171 9 0 3396305 0
[pid=20430/tid=20431] ppid=20428 vsize=13622284 CPUtime=0.14 cores=0,2,4,6
/proc/20430/task/20431/stat : 20431 (java) R 20428 20430 12983 0 -1 4202560 15689 0 1 0 13 1 0 0 18 0 18 0 826808292 13949218816 17629 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606693323 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 13622284

[startup+0.300554 s]
/proc/loadavg: 2.04 2.02 2.00 2/464 20430
/proc/meminfo: memFree=31215476/32950928 swapFree=34365992/67111528
[pid=20430] ppid=20428 vsize=13623452 CPUtime=0.49 cores=0,2,4,6
/proc/20430/stat : 20430 (java) S 20428 20430 12983 0 -1 4202496 23728 0 1 0 47 2 0 0 25 0 18 0 826808291 13950414848 22631 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20430/statm: 3405863 22634 2200 9 0 3396597 0
[pid=20430/tid=20431] ppid=20428 vsize=13623452 CPUtime=0.28 cores=0,2,4,6
/proc/20430/task/20431/stat : 20431 (java) R 20428 20430 12983 0 -1 4202560 19846 0 1 0 27 1 0 0 18 0 18 0 826808292 13950414848 22635 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 46912505576779 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 13623452

[startup+0.700423 s]
/proc/loadavg: 2.04 2.02 2.00 2/464 20430
/proc/meminfo: memFree=31215476/32950928 swapFree=34365992/67111528
[pid=20430] ppid=20428 vsize=13623452 CPUtime=0.88 cores=0,2,4,6
/proc/20430/stat : 20430 (java) S 20428 20430 12983 0 -1 4202496 49474 0 1 0 84 4 0 0 25 0 18 0 826808291 13950414848 48377 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20430/statm: 3405863 48377 2200 9 0 3396597 0
[pid=20430/tid=20431] ppid=20428 vsize=13623452 CPUtime=0.68 cores=0,2,4,6
/proc/20430/task/20431/stat : 20431 (java) R 20428 20430 12983 0 -1 4202560 45588 0 1 0 64 4 0 0 18 0 18 0 826808292 13950414848 48377 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606683590 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 13623452

[startup+1.5014 s]
/proc/loadavg: 2.04 2.02 2.00 6/482 20448
/proc/meminfo: memFree=30932780/32950928 swapFree=34365992/67111528
[pid=20430] ppid=20428 vsize=13624848 CPUtime=1.98 cores=0,2,4,6
/proc/20430/stat : 20430 (java) S 20428 20430 12983 0 -1 4202496 126467 0 1 0 185 13 0 0 25 0 18 0 826808291 13951844352 123778 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20430/statm: 3406212 123782 2212 9 0 3396946 0
[pid=20430/tid=20431] ppid=20428 vsize=13624848 CPUtime=1.49 cores=0,2,4,6
/proc/20430/task/20431/stat : 20431 (java) R 20428 20430 12983 0 -1 4202560 120078 0 1 0 137 12 0 0 18 0 18 0 826808292 13951844352 123783 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 46912505576848 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20430/tid=20433] ppid=20428 vsize=13624848 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20433/stat : 20433 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826808294 13951844352 123787 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20434] ppid=20428 vsize=13624848 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20434/stat : 20434 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826808294 13951844352 123791 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20435] ppid=20428 vsize=13624848 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20435/stat : 20435 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826808294 13951844352 123792 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20436] ppid=20428 vsize=13624848 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20436/stat : 20436 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826808294 13951844352 123794 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20437] ppid=20428 vsize=13624848 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20437/stat : 20437 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826808294 13951844352 123796 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20438] ppid=20428 vsize=13624848 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20438/stat : 20438 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826808294 13951844352 123798 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20439] ppid=20428 vsize=13624848 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20439/stat : 20439 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826808294 13951844352 123801 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20440] ppid=20428 vsize=13624848 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20440/stat : 20440 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826808294 13951844352 123804 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20441] ppid=20428 vsize=13624848 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20441/stat : 20441 (java) S 20428 20430 12983 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 826808295 13951844352 123806 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606683136 0 0 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20442] ppid=20428 vsize=13624848 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20442/stat : 20442 (java) S 20428 20430 12983 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 826808295 13951844352 123808 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 4 0 0 0
[pid=20430/tid=20443] ppid=20428 vsize=13624848 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20443/stat : 20443 (java) S 20428 20430 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 826808295 13951844352 123810 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 4 0 0 0
[pid=20430/tid=20444] ppid=20428 vsize=13624848 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20444/stat : 20444 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826808298 13951844352 123814 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606690225 0 4 0 16800975 18446604447774143616 0 0 -1 4 0 0 0
[pid=20430/tid=20445] ppid=20428 vsize=13624848 CPUtime=0.21 cores=0,2,4,6
/proc/20430/task/20445/stat : 20445 (java) S 20428 20430 12983 0 -1 4202560 2876 0 0 0 21 0 0 0 15 0 18 0 826808298 13951844352 123817 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20446] ppid=20428 vsize=13624848 CPUtime=0.26 cores=0,2,4,6
/proc/20430/task/20446/stat : 20446 (java) S 20428 20430 12983 0 -1 4202560 2369 0 0 0 26 0 0 0 16 0 18 0 826808298 13951844352 123819 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 0 0 0 0
[pid=20430/tid=20447] ppid=20428 vsize=13624848 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20447/stat : 20447 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826808298 13951844352 123821 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20448] ppid=20428 vsize=13624848 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20448/stat : 20448 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 826808298 13951844352 123823 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606683136 0 4 0 16800975 18446604447774143616 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 13624848

[startup+3.10112 s]
/proc/loadavg: 2.04 2.02 2.00 4/482 20448
/proc/meminfo: memFree=30490720/32950928 swapFree=34365992/67111528
[pid=20430] ppid=20428 vsize=13627592 CPUtime=3.99 cores=0,2,4,6
/proc/20430/stat : 20430 (java) S 20428 20430 12983 0 -1 4202496 220436 0 1 0 376 23 0 0 25 0 19 0 826808291 13954654208 217089 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20430/statm: 3406898 217089 2231 9 0 3397632 0
[pid=20430/tid=20431] ppid=20428 vsize=13627592 CPUtime=3.08 cores=0,2,4,6
/proc/20430/task/20431/stat : 20431 (java) R 20428 20430 12983 0 -1 4202560 212653 0 1 0 286 22 0 0 19 0 19 0 826808292 13954654208 217089 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 46912505892732 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20430/tid=20433] ppid=20428 vsize=13627592 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20433/stat : 20433 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826808294 13954654208 217089 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20434] ppid=20428 vsize=13627592 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20434/stat : 20434 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826808294 13954654208 217089 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20435] ppid=20428 vsize=13627592 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20435/stat : 20435 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826808294 13954654208 217089 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20436] ppid=20428 vsize=13627592 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20436/stat : 20436 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826808294 13954654208 217089 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20437] ppid=20428 vsize=13627592 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20437/stat : 20437 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826808294 13954654208 217089 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20438] ppid=20428 vsize=13627592 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20438/stat : 20438 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826808294 13954654208 217089 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20439] ppid=20428 vsize=13627592 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20439/stat : 20439 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826808294 13954654208 217089 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20440] ppid=20428 vsize=13627592 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20440/stat : 20440 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826808294 13954654208 217089 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20441] ppid=20428 vsize=13627592 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20441/stat : 20441 (java) S 20428 20430 12983 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 826808295 13954654208 217089 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606683136 0 0 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20442] ppid=20428 vsize=13627592 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20442/stat : 20442 (java) S 20428 20430 12983 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826808295 13954654208 217089 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 4 0 0 0
[pid=20430/tid=20443] ppid=20428 vsize=13627592 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20443/stat : 20443 (java) S 20428 20430 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826808295 13954654208 217089 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 4 0 0 0
[pid=20430/tid=20444] ppid=20428 vsize=13627592 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20444/stat : 20444 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826808298 13954654208 217089 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606690225 0 4 0 16800975 18446604447774143616 0 0 -1 4 0 0 0
[pid=20430/tid=20445] ppid=20428 vsize=13627592 CPUtime=0.41 cores=0,2,4,6
/proc/20430/task/20445/stat : 20445 (java) S 20428 20430 12983 0 -1 4202560 3722 0 0 0 41 0 0 0 15 0 19 0 826808298 13954654208 217089 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20446] ppid=20428 vsize=13627592 CPUtime=0.47 cores=0,2,4,6
/proc/20430/task/20446/stat : 20446 (java) S 20428 20430 12983 0 -1 4202560 2902 0 0 0 47 0 0 0 15 0 19 0 826808298 13954654208 217089 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 0 0 0 0
[pid=20430/tid=20447] ppid=20428 vsize=13627592 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20447/stat : 20447 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826808298 13954654208 217089 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20448] ppid=20428 vsize=13627592 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20448/stat : 20448 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826808298 13954654208 217089 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606683136 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 13627592

[startup+6.30149 s]
/proc/loadavg: 2.04 2.02 2.00 5/483 20449
/proc/meminfo: memFree=30328720/32950928 swapFree=34365992/67111528
[pid=20430] ppid=20428 vsize=13626772 CPUtime=7.38 cores=0,2,4,6
/proc/20430/stat : 20430 (java) S 20428 20430 12983 0 -1 4202496 221281 0 1 0 715 23 0 0 25 0 19 0 826808291 13953814528 216989 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20430/statm: 3406693 216989 2235 9 0 3397427 0
[pid=20430/tid=20431] ppid=20428 vsize=13626772 CPUtime=6.28 cores=0,2,4,6
/proc/20430/task/20431/stat : 20431 (java) R 20428 20430 12983 0 -1 4202560 212724 0 1 0 606 22 0 0 18 0 19 0 826808292 13953814528 216989 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 46912505892672 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20430/tid=20433] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20433/stat : 20433 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826808294 13953814528 216989 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20434] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20434/stat : 20434 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826808294 13953814528 216989 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20435] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20435/stat : 20435 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826808294 13953814528 216989 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20436] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20436/stat : 20436 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826808294 13953814528 216989 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20437] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20437/stat : 20437 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826808294 13953814528 216989 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20438] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20438/stat : 20438 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826808294 13953814528 216989 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20439] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20439/stat : 20439 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826808294 13953814528 216989 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20440] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20440/stat : 20440 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826808294 13953814528 216989 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20441] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20441/stat : 20441 (java) S 20428 20430 12983 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 826808295 13953814528 216989 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606683136 0 0 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20442] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20442/stat : 20442 (java) S 20428 20430 12983 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826808295 13953814528 216989 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 4 0 0 0
[pid=20430/tid=20443] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20443/stat : 20443 (java) S 20428 20430 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826808295 13953814528 216989 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 4 0 0 0
[pid=20430/tid=20444] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20444/stat : 20444 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826808298 13953814528 216989 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606690225 0 4 0 16800975 18446604447774143616 0 0 -1 4 0 0 0
[pid=20430/tid=20445] ppid=20428 vsize=13626772 CPUtime=0.54 cores=0,2,4,6
/proc/20430/task/20445/stat : 20445 (java) S 20428 20430 12983 0 -1 4202560 4459 0 0 0 54 0 0 0 15 0 19 0 826808298 13953814528 216989 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20446] ppid=20428 vsize=13626772 CPUtime=0.54 cores=0,2,4,6
/proc/20430/task/20446/stat : 20446 (java) S 20428 20430 12983 0 -1 4202560 2938 0 0 0 54 0 0 0 15 0 19 0 826808298 13953814528 216989 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 0 0 0 0
[pid=20430/tid=20447] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20447/stat : 20447 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826808298 13953814528 216989 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20448] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20448/stat : 20448 (java) S 20428 20430 12983 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 826808298 13953814528 216989 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606683136 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0

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

[pid=20430/tid=20438] ppid=20428 vsize=13626772 CPUtime=0.48 cores=0,2,4,6
/proc/20430/task/20438/stat : 20438 (java) S 20428 20430 12983 0 -1 4202560 4645 0 0 0 48 0 0 0 15 0 19 0 826808294 13953814528 290491 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 2 0 0 0
[pid=20430/tid=20439] ppid=20428 vsize=13626772 CPUtime=0.46 cores=0,2,4,6
/proc/20430/task/20439/stat : 20439 (java) S 20428 20430 12983 0 -1 4202560 12762 0 0 0 45 1 0 0 15 0 19 0 826808294 13953814528 290491 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 0 0 0 0
[pid=20430/tid=20440] ppid=20428 vsize=13626772 CPUtime=0.5 cores=0,2,4,6
/proc/20430/task/20440/stat : 20440 (java) S 20428 20430 12983 0 -1 4202560 11036 0 0 0 49 1 0 0 15 0 19 0 826808294 13953814528 290491 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 0 0 0 0
[pid=20430/tid=20441] ppid=20428 vsize=13626772 CPUtime=69.83 cores=0,2,4,6
/proc/20430/task/20441/stat : 20441 (java) S 20428 20430 12983 0 -1 4202560 43873 0 0 0 6976 7 0 0 15 0 19 0 826808295 13953814528 290491 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606683136 0 0 0 16800975 18446604447774143616 0 0 -1 2 0 0 0
[pid=20430/tid=20442] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20442/stat : 20442 (java) S 20428 20430 12983 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826808295 13953814528 290491 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 4 0 0 0
[pid=20430/tid=20443] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20443/stat : 20443 (java) S 20428 20430 12983 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826808295 13953814528 290491 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 4 0 0 0
[pid=20430/tid=20444] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20444/stat : 20444 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826808298 13953814528 290491 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606690225 0 4 0 16800975 18446604447774143616 0 0 -1 4 0 0 0
[pid=20430/tid=20445] ppid=20428 vsize=13626772 CPUtime=0.74 cores=0,2,4,6
/proc/20430/task/20445/stat : 20445 (java) S 20428 20430 12983 0 -1 4202560 4489 0 0 0 74 0 0 0 15 0 19 0 826808298 13953814528 290491 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20446] ppid=20428 vsize=13626772 CPUtime=0.69 cores=0,2,4,6
/proc/20430/task/20446/stat : 20446 (java) S 20428 20430 12983 0 -1 4202560 2955 0 0 0 69 0 0 0 15 0 19 0 826808298 13953814528 290491 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 0 0 0 0
[pid=20430/tid=20447] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20447/stat : 20447 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826808298 13953814528 290491 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20448] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20448/stat : 20448 (java) S 20428 20430 12983 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 826808298 13953814528 290491 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606683136 0 4 0 16800975 18446604447774143616 0 0 -1 0 0 0 0
[pid=20430/tid=20449] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20449/stat : 20449 (java) S 20428 20430 12983 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826808559 13953814528 290491 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606683136 0 4 0 16800975 18446604447774143616 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1726.06
Current children cumulated vsize (KiB) 13626772

[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 2.00 5/483 21001
/proc/meminfo: memFree=30022644/32950928 swapFree=34365992/67111528
[pid=20430] ppid=20428 vsize=13626772 CPUtime=1786.07 cores=0,2,4,6
/proc/20430/stat : 20430 (java) S 20428 20430 12983 0 -1 4202496 295438 0 1 0 178568 39 0 0 25 0 19 0 826808291 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20430/statm: 3406693 290613 2263 9 0 3397427 0
[pid=20430/tid=20431] ppid=20428 vsize=13626772 CPUtime=1711 cores=0,2,4,6
/proc/20430/task/20431/stat : 20431 (java) R 20428 20430 12983 0 -1 4202560 213813 0 1 0 171076 24 0 0 25 0 19 0 826808292 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 46912505892313 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20430/tid=20433] ppid=20428 vsize=13626772 CPUtime=0.4 cores=0,2,4,6
/proc/20430/task/20433/stat : 20433 (java) S 20428 20430 12983 0 -1 4202560 53 0 0 0 40 0 0 0 16 0 19 0 826808294 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 0 0 0 0
[pid=20430/tid=20434] ppid=20428 vsize=13626772 CPUtime=0.39 cores=0,2,4,6
/proc/20430/task/20434/stat : 20434 (java) S 20428 20430 12983 0 -1 4202560 48 0 0 0 39 0 0 0 16 0 19 0 826808294 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 4 0 0 0
[pid=20430/tid=20435] ppid=20428 vsize=13626772 CPUtime=0.41 cores=0,2,4,6
/proc/20430/task/20435/stat : 20435 (java) S 20428 20430 12983 0 -1 4202560 47 0 0 0 41 0 0 0 15 0 19 0 826808294 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 4 0 0 0
[pid=20430/tid=20436] ppid=20428 vsize=13626772 CPUtime=0.41 cores=0,2,4,6
/proc/20430/task/20436/stat : 20436 (java) S 20428 20430 12983 0 -1 4202560 60 0 0 0 41 0 0 0 16 0 19 0 826808294 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 2 0 0 0
[pid=20430/tid=20437] ppid=20428 vsize=13626772 CPUtime=0.39 cores=0,2,4,6
/proc/20430/task/20437/stat : 20437 (java) S 20428 20430 12983 0 -1 4202560 282 0 0 0 39 0 0 0 15 0 19 0 826808294 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 4 0 0 0
[pid=20430/tid=20438] ppid=20428 vsize=13626772 CPUtime=0.49 cores=0,2,4,6
/proc/20430/task/20438/stat : 20438 (java) S 20428 20430 12983 0 -1 4202560 4645 0 0 0 49 0 0 0 16 0 19 0 826808294 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 2 0 0 0
[pid=20430/tid=20439] ppid=20428 vsize=13626772 CPUtime=0.46 cores=0,2,4,6
/proc/20430/task/20439/stat : 20439 (java) S 20428 20430 12983 0 -1 4202560 12762 0 0 0 45 1 0 0 16 0 19 0 826808294 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 0 0 0 0
[pid=20430/tid=20440] ppid=20428 vsize=13626772 CPUtime=0.5 cores=0,2,4,6
/proc/20430/task/20440/stat : 20440 (java) S 20428 20430 12983 0 -1 4202560 11036 0 0 0 49 1 0 0 15 0 19 0 826808294 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 0 0 0 0
[pid=20430/tid=20441] ppid=20428 vsize=13626772 CPUtime=70.07 cores=0,2,4,6
/proc/20430/task/20441/stat : 20441 (java) S 20428 20430 12983 0 -1 4202560 43997 0 0 0 7000 7 0 0 15 0 19 0 826808295 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606683136 0 0 0 16800975 18446604447774143616 0 0 -1 2 0 0 0
[pid=20430/tid=20442] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20442/stat : 20442 (java) S 20428 20430 12983 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826808295 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 4 0 0 0
[pid=20430/tid=20443] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20443/stat : 20443 (java) S 20428 20430 12983 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826808295 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 4 0 0 0
[pid=20430/tid=20444] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20444/stat : 20444 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826808298 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606690225 0 4 0 16800975 18446604447774143616 0 0 -1 4 0 0 0
[pid=20430/tid=20445] ppid=20428 vsize=13626772 CPUtime=0.74 cores=0,2,4,6
/proc/20430/task/20445/stat : 20445 (java) S 20428 20430 12983 0 -1 4202560 4489 0 0 0 74 0 0 0 15 0 19 0 826808298 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20446] ppid=20428 vsize=13626772 CPUtime=0.69 cores=0,2,4,6
/proc/20430/task/20446/stat : 20446 (java) S 20428 20430 12983 0 -1 4202560 2955 0 0 0 69 0 0 0 15 0 19 0 826808298 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 0 0 0 0
[pid=20430/tid=20447] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20447/stat : 20447 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826808298 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20448] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20448/stat : 20448 (java) S 20428 20430 12983 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 826808298 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606683136 0 4 0 16800975 18446604447774143616 0 0 -1 0 0 0 0
[pid=20430/tid=20449] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20449/stat : 20449 (java) S 20428 20430 12983 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826808559 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606683136 0 4 0 16800975 18446604447774143616 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1786.07
Current children cumulated vsize (KiB) 13626772



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.3 s]
/proc/loadavg: 2.02 2.02 2.00 2/463 21005
/proc/meminfo: memFree=30181132/32950928 swapFree=34365992/67111528
[pid=20430] ppid=20428 vsize=13626772 CPUtime=1800.08 cores=0,2,4,6
/proc/20430/stat : 20430 (java) S 20428 20430 12983 0 -1 4202496 295438 0 1 0 179969 39 0 0 25 0 19 0 826808291 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20430/statm: 3406693 290613 2263 9 0 3397427 0
[pid=20430/tid=20431] ppid=20428 vsize=13626772 CPUtime=1725.02 cores=0,2,4,6
/proc/20430/task/20431/stat : 20431 (java) R 20428 20430 12983 0 -1 4202560 213813 0 1 0 172478 24 0 0 25 0 19 0 826808292 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 46912506095388 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20430/tid=20433] ppid=20428 vsize=13626772 CPUtime=0.4 cores=0,2,4,6
/proc/20430/task/20433/stat : 20433 (java) S 20428 20430 12983 0 -1 4202560 53 0 0 0 40 0 0 0 16 0 19 0 826808294 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 0 0 0 0
[pid=20430/tid=20434] ppid=20428 vsize=13626772 CPUtime=0.39 cores=0,2,4,6
/proc/20430/task/20434/stat : 20434 (java) S 20428 20430 12983 0 -1 4202560 48 0 0 0 39 0 0 0 16 0 19 0 826808294 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 4 0 0 0
[pid=20430/tid=20435] ppid=20428 vsize=13626772 CPUtime=0.41 cores=0,2,4,6
/proc/20430/task/20435/stat : 20435 (java) S 20428 20430 12983 0 -1 4202560 47 0 0 0 41 0 0 0 15 0 19 0 826808294 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 4 0 0 0
[pid=20430/tid=20436] ppid=20428 vsize=13626772 CPUtime=0.41 cores=0,2,4,6
/proc/20430/task/20436/stat : 20436 (java) S 20428 20430 12983 0 -1 4202560 60 0 0 0 41 0 0 0 16 0 19 0 826808294 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 2 0 0 0
[pid=20430/tid=20437] ppid=20428 vsize=13626772 CPUtime=0.39 cores=0,2,4,6
/proc/20430/task/20437/stat : 20437 (java) S 20428 20430 12983 0 -1 4202560 282 0 0 0 39 0 0 0 15 0 19 0 826808294 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 4 0 0 0
[pid=20430/tid=20438] ppid=20428 vsize=13626772 CPUtime=0.49 cores=0,2,4,6
/proc/20430/task/20438/stat : 20438 (java) S 20428 20430 12983 0 -1 4202560 4645 0 0 0 49 0 0 0 16 0 19 0 826808294 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 2 0 0 0
[pid=20430/tid=20439] ppid=20428 vsize=13626772 CPUtime=0.46 cores=0,2,4,6
/proc/20430/task/20439/stat : 20439 (java) S 20428 20430 12983 0 -1 4202560 12762 0 0 0 45 1 0 0 16 0 19 0 826808294 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 0 0 0 0
[pid=20430/tid=20440] ppid=20428 vsize=13626772 CPUtime=0.5 cores=0,2,4,6
/proc/20430/task/20440/stat : 20440 (java) S 20428 20430 12983 0 -1 4202560 11036 0 0 0 49 1 0 0 15 0 19 0 826808294 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 0 0 0 0
[pid=20430/tid=20441] ppid=20428 vsize=13626772 CPUtime=70.07 cores=0,2,4,6
/proc/20430/task/20441/stat : 20441 (java) S 20428 20430 12983 0 -1 4202560 43997 0 0 0 7000 7 0 0 15 0 19 0 826808295 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606683136 0 0 0 16800975 18446604447774143616 0 0 -1 2 0 0 0
[pid=20430/tid=20442] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20442/stat : 20442 (java) S 20428 20430 12983 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826808295 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 4 0 0 0
[pid=20430/tid=20443] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20443/stat : 20443 (java) S 20428 20430 12983 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826808295 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 4 0 0 0
[pid=20430/tid=20444] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20444/stat : 20444 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826808298 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606690225 0 4 0 16800975 18446604447774143616 0 0 -1 4 0 0 0
[pid=20430/tid=20445] ppid=20428 vsize=13626772 CPUtime=0.74 cores=0,2,4,6
/proc/20430/task/20445/stat : 20445 (java) S 20428 20430 12983 0 -1 4202560 4489 0 0 0 74 0 0 0 15 0 19 0 826808298 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20446] ppid=20428 vsize=13626772 CPUtime=0.69 cores=0,2,4,6
/proc/20430/task/20446/stat : 20446 (java) S 20428 20430 12983 0 -1 4202560 2955 0 0 0 69 0 0 0 15 0 19 0 826808298 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 0 0 0 0
[pid=20430/tid=20447] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20447/stat : 20447 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826808298 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20448] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20448/stat : 20448 (java) S 20428 20430 12983 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 826808298 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606683136 0 4 0 16800975 18446604447774143616 0 0 -1 0 0 0 0
[pid=20430/tid=20449] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20449/stat : 20449 (java) S 20428 20430 12983 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826808559 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606683136 0 4 0 16800975 18446604447774143616 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 13626772

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

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

[startup+1796.3 s]
/proc/loadavg: 2.02 2.02 2.00 2/463 21005
/proc/meminfo: memFree=30181132/32950928 swapFree=34365992/67111528
[pid=20430] ppid=20428 vsize=13626772 CPUtime=1800.08 cores=0,2,4,6
/proc/20430/stat : 20430 (java) S 20428 20430 12983 0 -1 4202496 295438 0 1 0 179969 39 0 0 25 0 19 0 826808291 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20430/statm: 3406693 290613 2263 9 0 3397427 0
[pid=20430/tid=20431] ppid=20428 vsize=13626772 CPUtime=1725.02 cores=0,2,4,6
/proc/20430/task/20431/stat : 20431 (java) R 20428 20430 12983 0 -1 4202560 213813 0 1 0 172478 24 0 0 25 0 19 0 826808292 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 46912506095388 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20430/tid=20433] ppid=20428 vsize=13626772 CPUtime=0.4 cores=0,2,4,6
/proc/20430/task/20433/stat : 20433 (java) S 20428 20430 12983 0 -1 4202560 53 0 0 0 40 0 0 0 16 0 19 0 826808294 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 0 0 0 0
[pid=20430/tid=20434] ppid=20428 vsize=13626772 CPUtime=0.39 cores=0,2,4,6
/proc/20430/task/20434/stat : 20434 (java) S 20428 20430 12983 0 -1 4202560 48 0 0 0 39 0 0 0 16 0 19 0 826808294 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 4 0 0 0
[pid=20430/tid=20435] ppid=20428 vsize=13626772 CPUtime=0.41 cores=0,2,4,6
/proc/20430/task/20435/stat : 20435 (java) S 20428 20430 12983 0 -1 4202560 47 0 0 0 41 0 0 0 15 0 19 0 826808294 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 4 0 0 0
[pid=20430/tid=20436] ppid=20428 vsize=13626772 CPUtime=0.41 cores=0,2,4,6
/proc/20430/task/20436/stat : 20436 (java) S 20428 20430 12983 0 -1 4202560 60 0 0 0 41 0 0 0 16 0 19 0 826808294 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 2 0 0 0
[pid=20430/tid=20437] ppid=20428 vsize=13626772 CPUtime=0.39 cores=0,2,4,6
/proc/20430/task/20437/stat : 20437 (java) S 20428 20430 12983 0 -1 4202560 282 0 0 0 39 0 0 0 15 0 19 0 826808294 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 4 0 0 0
[pid=20430/tid=20438] ppid=20428 vsize=13626772 CPUtime=0.49 cores=0,2,4,6
/proc/20430/task/20438/stat : 20438 (java) S 20428 20430 12983 0 -1 4202560 4645 0 0 0 49 0 0 0 16 0 19 0 826808294 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 2 0 0 0
[pid=20430/tid=20439] ppid=20428 vsize=13626772 CPUtime=0.46 cores=0,2,4,6
/proc/20430/task/20439/stat : 20439 (java) S 20428 20430 12983 0 -1 4202560 12762 0 0 0 45 1 0 0 16 0 19 0 826808294 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 0 0 0 0
[pid=20430/tid=20440] ppid=20428 vsize=13626772 CPUtime=0.5 cores=0,2,4,6
/proc/20430/task/20440/stat : 20440 (java) S 20428 20430 12983 0 -1 4202560 11036 0 0 0 49 1 0 0 15 0 19 0 826808294 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 0 0 0 0
[pid=20430/tid=20441] ppid=20428 vsize=13626772 CPUtime=70.07 cores=0,2,4,6
/proc/20430/task/20441/stat : 20441 (java) S 20428 20430 12983 0 -1 4202560 43997 0 0 0 7000 7 0 0 15 0 19 0 826808295 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606683136 0 0 0 16800975 18446604447774143616 0 0 -1 2 0 0 0
[pid=20430/tid=20442] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20442/stat : 20442 (java) S 20428 20430 12983 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826808295 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 4 0 0 0
[pid=20430/tid=20443] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20443/stat : 20443 (java) S 20428 20430 12983 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826808295 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 4 0 0 0
[pid=20430/tid=20444] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20444/stat : 20444 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826808298 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606690225 0 4 0 16800975 18446604447774143616 0 0 -1 4 0 0 0
[pid=20430/tid=20445] ppid=20428 vsize=13626772 CPUtime=0.74 cores=0,2,4,6
/proc/20430/task/20445/stat : 20445 (java) S 20428 20430 12983 0 -1 4202560 4489 0 0 0 74 0 0 0 15 0 19 0 826808298 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20446] ppid=20428 vsize=13626772 CPUtime=0.69 cores=0,2,4,6
/proc/20430/task/20446/stat : 20446 (java) S 20428 20430 12983 0 -1 4202560 2955 0 0 0 69 0 0 0 15 0 19 0 826808298 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 0 0 0 0
[pid=20430/tid=20447] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20447/stat : 20447 (java) S 20428 20430 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826808298 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606682521 0 4 0 16800975 18446604447774143616 0 0 -1 6 0 0 0
[pid=20430/tid=20448] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20448/stat : 20448 (java) S 20428 20430 12983 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 826808298 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606683136 0 4 0 16800975 18446604447774143616 0 0 -1 0 0 0 0
[pid=20430/tid=20449] ppid=20428 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/20430/task/20449/stat : 20449 (java) S 20428 20430 12983 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826808559 13953814528 290613 33554432000 1073741824 1073778376 140736090316368 18446744073709551615 235606683136 0 4 0 16800975 18446604447774143616 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 13626772

Child status: 143
Real time (s): 1796.38
CPU time (s): 1800.19
CPU user time (s): 1799.75
CPU system time (s): 0.439933
CPU usage (%): 100.212
Max. virtual memory (cumulated for all children) (KiB): 13627724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.439933
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 295471
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= 45367
involuntary context switches= 9066

runsolver used 8.42672 second user time and 18.0353 second system time

The end

Launcher Data 

Begin job on node120 at 2011-06-04 03:48:15
IDJOB=3458833
IDBENCH=2509
IDSOLVER=1952
FILE ID=node120/3458833-1307152095
RUNJOBID= node120-1307148498-20092
PBS_JOBID= 13508796
Free space on /tmp= 73800 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mod011.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458833-1307152095/watcher-3458833-1307152095 -o /tmp/evaluation-result-3458833-1307152095/solver-3458833-1307152095 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458833-1307152095.opb

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

MD5SUM BENCH= 7946286f4c1a7ac44cf771db2f48f590
RANDOM SEED=153708405

node120.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.809
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.61
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.809
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.07
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.809
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.82
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.809
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.75
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.809
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.78
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.809
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.75
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.809
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.82
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.809
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31215756 kB
Buffers:        295968 kB
Cached:         995984 kB
SwapCached:      12852 kB
Active:         487680 kB
Inactive:       954340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31215756 kB
SwapTotal:    67111528 kB
SwapFree:     34365992 kB
Dirty:           16096 kB
Writeback:           0 kB
AnonPages:      147192 kB
Mapped:          17324 kB
Slab:           133780 kB
PageTables:      91728 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 118813908 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= 73804 MiB
End job on node120 at 2011-06-04 04:18:14