Trace number 3458015

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2.3.0? (TO) 1800.09 1797.96

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_3_40.opb
MD5SUM67a15ea3b760eccb0e507c1f93bad0e1
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
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 FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400
Total number of constraints602
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 40
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12432
Sum of products size (including duplicates)24864
Number of different products6216
Sum of products size12432

Solver Data 

0.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.09	c version 2.3.1.v20110525
0.04/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.09	c java.vm.version	19.1-b02
0.04/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.18-164.el5
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		12995394264
0.04/0.09	c Max memory 		13063553024
0.04/0.09	c Total memory 		13063553024
0.04/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@761a626f
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-3458015-1307164763.opb
0.10/0.11	c reading problem ... 
1.06/0.50	c ... done. Wall clock time 0.393s.
1.06/0.50	c #vars     6616
1.06/0.50	c #constraints  13035
1.06/0.50	c constraints type 
1.06/0.50	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6216
1.06/0.50	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1.06/0.50	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1.06/0.50	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6216
3.53/2.65	c cleaning 2501 clauses out of 5002 with flag 5002/5002
6.79/5.87	c cleaning 4254 clauses out of 8507 with flag 11008/11008
10.50/9.56	c cleaning 5647 clauses out of 11293 with flag 18048/18048
16.81/15.86	c cleaning 6817 clauses out of 13635 with flag 26037/26037
23.44/22.45	c cleaning 7917 clauses out of 15833 with flag 35052/35052
30.95/29.90	c cleaning 8930 clauses out of 17864 with flag 45000/45000
35.06/34.09	c cleaning 9970 clauses out of 19941 with flag 56007/56007
39.77/38.76	c cleaning 10982 clauses out of 21967 with flag 68003/68003
45.02/43.94	c cleaning 11993 clauses out of 23990 with flag 81008/81008
52.21/51.10	c cleaning 12995 clauses out of 25994 with flag 95005/95005
59.23/58.14	c cleaning 13506 clauses out of 27016 with flag 109022/109022
69.24/68.17	c cleaning 13749 clauses out of 27498 with flag 123010/123010
77.95/76.86	c cleaning 13876 clauses out of 27756 with flag 137017/137017
85.35/84.28	c cleaning 13945 clauses out of 27891 with flag 151028/151028
92.16/91.00	c cleaning 13965 clauses out of 27932 with flag 165014/165014
98.57/97.44	c cleaning 13973 clauses out of 27953 with flag 179000/179000
105.37/104.26	c cleaning 13989 clauses out of 27982 with flag 193002/193002
113.29/112.20	c cleaning 13994 clauses out of 27992 with flag 207001/207001
121.49/120.36	c cleaning 14002 clauses out of 28007 with flag 221010/221010
130.91/129.73	c cleaning 13996 clauses out of 27995 with flag 235000/235000
139.82/138.65	c cleaning 14003 clauses out of 28008 with flag 249009/249009
150.22/149.08	c cleaning 13996 clauses out of 27996 with flag 263000/263000
158.92/157.78	c cleaning 13999 clauses out of 28002 with flag 277002/277002
167.04/165.85	c cleaning 13999 clauses out of 28001 with flag 291000/291000
177.34/176.11	c cleaning 14014 clauses out of 28032 with flag 305030/305030
188.55/187.33	c cleaning 13996 clauses out of 27993 with flag 319005/319005
197.66/196.45	c cleaning 14007 clauses out of 28018 with flag 333026/333026
207.77/206.50	c cleaning 14012 clauses out of 28026 with flag 347041/347041
217.08/215.81	c cleaning 13990 clauses out of 27984 with flag 361011/361011
226.49/225.22	c cleaning 13994 clauses out of 27990 with flag 375007/375007
237.71/236.45	c cleaning 14017 clauses out of 28036 with flag 389047/389047
245.61/244.36	c cleaning 13999 clauses out of 27999 with flag 403027/403027
254.91/253.66	c cleaning 13994 clauses out of 27991 with flag 417018/417018
263.62/262.34	c cleaning 13993 clauses out of 27990 with flag 431011/431011
272.63/271.31	c cleaning 14004 clauses out of 28012 with flag 445026/445026
282.54/281.27	c cleaning 13992 clauses out of 27988 with flag 459006/459006
293.14/291.81	c cleaning 14000 clauses out of 28004 with flag 473014/473014
303.54/302.21	c cleaning 14010 clauses out of 28023 with flag 487033/487033
312.67/311.37	c cleaning 13997 clauses out of 27997 with flag 501017/501017
321.86/320.55	c cleaning 14006 clauses out of 28014 with flag 515031/515031
331.67/330.37	c cleaning 13995 clauses out of 27994 with flag 529017/529017
341.78/340.47	c cleaning 14007 clauses out of 28016 with flag 543034/543034
352.38/351.04	c cleaning 13992 clauses out of 27987 with flag 557012/557012
363.48/362.15	c cleaning 14030 clauses out of 28060 with flag 571077/571077
374.69/373.39	c cleaning 13977 clauses out of 27955 with flag 585002/585002
385.11/383.79	c cleaning 13988 clauses out of 27979 with flag 599003/599003
395.41/394.08	c cleaning 13993 clauses out of 27989 with flag 613001/613001
407.12/405.70	c cleaning 14029 clauses out of 28062 with flag 627067/627067
419.23/417.88	c cleaning 13993 clauses out of 27989 with flag 641023/641023
431.13/429.76	c cleaning 13986 clauses out of 27975 with flag 655002/655002
443.44/442.04	c cleaning 13996 clauses out of 27995 with flag 669008/669008
454.04/452.65	c cleaning 14000 clauses out of 28003 with flag 683012/683012
465.44/464.06	c cleaning 14017 clauses out of 28037 with flag 697046/697046
475.95/474.51	c cleaning 13993 clauses out of 27990 with flag 711016/711016
486.57/485.14	c cleaning 13999 clauses out of 28002 with flag 725021/725021
496.27/494.82	c cleaning 14005 clauses out of 28013 with flag 739031/739031
506.07/504.62	c cleaning 14001 clauses out of 28005 with flag 753028/753028
515.87/514.49	c cleaning 13987 clauses out of 27978 with flag 767002/767002
525.99/524.57	c cleaning 14014 clauses out of 28030 with flag 781041/781041
535.89/534.48	c cleaning 13999 clauses out of 28002 with flag 795027/795027
547.40/545.97	c cleaning 13995 clauses out of 27994 with flag 809018/809018
557.80/556.30	c cleaning 13996 clauses out of 27995 with flag 823014/823014
567.81/566.38	c cleaning 14003 clauses out of 28010 with flag 837025/837025
576.52/575.07	c cleaning 13992 clauses out of 27985 with flag 851003/851003
586.63/585.17	c cleaning 14014 clauses out of 28029 with flag 865039/865039
598.03/596.57	c cleaning 14017 clauses out of 28035 with flag 879059/879059
605.74/604.27	c cleaning 13980 clauses out of 27959 with flag 893000/893000
612.25/610.72	c cleaning 13989 clauses out of 27980 with flag 907001/907001
619.78/618.25	c cleaning 13982 clauses out of 27990 with flag 921000/921000
627.28/625.72	c cleaning 13966 clauses out of 28008 with flag 935000/935000
634.38/632.80	c cleaning 14011 clauses out of 28042 with flag 949000/949000
641.39/639.80	c cleaning 13987 clauses out of 28031 with flag 963000/963000
648.40/646.81	c cleaning 13987 clauses out of 28044 with flag 977000/977000
655.40/653.84	c cleaning 14012 clauses out of 28057 with flag 991000/991000
662.50/660.95	c cleaning 13998 clauses out of 28045 with flag 1005000/1005000
669.21/667.68	c cleaning 14009 clauses out of 28047 with flag 1019000/1019000
676.21/674.65	c cleaning 13988 clauses out of 28038 with flag 1033000/1033000
682.91/681.33	c cleaning 13998 clauses out of 28050 with flag 1047000/1047000
689.61/688.00	c cleaning 13997 clauses out of 28052 with flag 1061000/1061000
696.01/694.41	c cleaning 14014 clauses out of 28055 with flag 1075000/1075000
702.51/700.97	c cleaning 13984 clauses out of 28042 with flag 1089001/1089001
709.22/707.69	c cleaning 14000 clauses out of 28057 with flag 1103000/1103000
716.02/714.47	c cleaning 13993 clauses out of 28057 with flag 1117000/1117000
722.52/720.95	c cleaning 14008 clauses out of 28064 with flag 1131000/1131000
728.92/727.32	c cleaning 14002 clauses out of 28057 with flag 1145001/1145001
735.13/733.51	c cleaning 13999 clauses out of 28054 with flag 1159000/1159000
741.04/739.41	c cleaning 13999 clauses out of 28055 with flag 1173000/1173000
747.45/745.84	c cleaning 13998 clauses out of 28056 with flag 1187000/1187000
754.05/752.41	c cleaning 13996 clauses out of 28059 with flag 1201001/1201001
760.94/759.34	c cleaning 13998 clauses out of 28062 with flag 1215000/1215000
767.54/765.95	c cleaning 14002 clauses out of 28064 with flag 1229000/1229000
773.95/772.37	c cleaning 14000 clauses out of 28062 with flag 1243000/1243000
780.25/778.63	c cleaning 14007 clauses out of 28062 with flag 1257000/1257000
786.15/784.52	c cleaning 14000 clauses out of 28055 with flag 1271000/1271000
791.65/790.00	c cleaning 13991 clauses out of 28055 with flag 1285000/1285000
798.85/797.25	c cleaning 14001 clauses out of 28064 with flag 1299000/1299000
805.86/804.25	c cleaning 13996 clauses out of 28063 with flag 1313000/1313000
812.66/811.03	c cleaning 14005 clauses out of 28067 with flag 1327000/1327000
819.26/817.64	c cleaning 14010 clauses out of 28062 with flag 1341000/1341000
825.96/824.38	c cleaning 14002 clauses out of 28052 with flag 1355000/1355000
832.67/831.09	c cleaning 14010 clauses out of 28050 with flag 1369000/1369000
839.17/837.56	c cleaning 13985 clauses out of 28040 with flag 1383000/1383000
845.97/844.35	c cleaning 13995 clauses out of 28055 with flag 1397000/1397000
852.47/850.83	c cleaning 13999 clauses out of 28060 with flag 1411000/1411000
859.28/857.60	c cleaning 14004 clauses out of 28061 with flag 1425000/1425000
865.68/864.06	c cleaning 13997 clauses out of 28057 with flag 1439000/1439000
872.08/870.43	c cleaning 13995 clauses out of 28060 with flag 1453000/1453000
878.39/876.79	c cleaning 13999 clauses out of 28065 with flag 1467000/1467000
884.89/883.28	c cleaning 14002 clauses out of 28066 with flag 1481000/1481000
891.29/889.68	c cleaning 14005 clauses out of 28064 with flag 1495000/1495000
897.49/895.85	c cleaning 14015 clauses out of 28060 with flag 1509001/1509001
903.60/901.98	c cleaning 13988 clauses out of 28044 with flag 1523000/1523000
910.10/908.46	c cleaning 14012 clauses out of 28056 with flag 1537000/1537000
916.50/914.80	c cleaning 13993 clauses out of 28044 with flag 1551000/1551000
922.80/921.12	c cleaning 14002 clauses out of 28051 with flag 1565000/1565000
928.71/927.02	c cleaning 13988 clauses out of 28049 with flag 1579000/1579000
934.41/932.79	c cleaning 14018 clauses out of 28061 with flag 1593000/1593000
940.02/938.37	c cleaning 13990 clauses out of 28043 with flag 1607000/1607000
945.01/943.39	c cleaning 13993 clauses out of 28053 with flag 1621000/1621000
951.61/949.99	c cleaning 13995 clauses out of 28060 with flag 1635000/1635000
958.12/956.48	c cleaning 14001 clauses out of 28065 with flag 1649000/1649000
964.42/962.78	c cleaning 13995 clauses out of 28064 with flag 1663000/1663000
970.62/968.98	c cleaning 13997 clauses out of 28069 with flag 1677000/1677000
976.72/975.09	c cleaning 14015 clauses out of 28073 with flag 1691001/1691001
982.62/980.92	c cleaning 13995 clauses out of 28057 with flag 1705000/1705000
988.13/986.45	c cleaning 13997 clauses out of 28062 with flag 1719000/1719000
993.24/991.54	c cleaning 13997 clauses out of 28065 with flag 1733000/1733000
999.54/997.81	c cleaning 14010 clauses out of 28069 with flag 1747001/1747001
1006.05/1004.31	c cleaning 13994 clauses out of 28058 with flag 1761000/1761000
1012.44/1010.73	c cleaning 14008 clauses out of 28064 with flag 1775000/1775000
1018.74/1017.08	c cleaning 13994 clauses out of 28056 with flag 1789000/1789000
1025.15/1023.40	c cleaning 14006 clauses out of 28062 with flag 1803000/1803000
1031.15/1029.43	c cleaning 14005 clauses out of 28056 with flag 1817000/1817000
1037.15/1035.40	c cleaning 13993 clauses out of 28051 with flag 1831000/1831000
1042.75/1041.09	c cleaning 13992 clauses out of 28058 with flag 1845000/1845000
1048.16/1046.47	c cleaning 13997 clauses out of 28066 with flag 1859000/1859000
1053.37/1051.64	c cleaning 14004 clauses out of 28069 with flag 1873000/1873000
1059.86/1058.20	c cleaning 14007 clauses out of 28065 with flag 1887000/1887000
1066.06/1064.37	c cleaning 13995 clauses out of 28058 with flag 1901000/1901000
1072.16/1070.47	c cleaning 14004 clauses out of 28063 with flag 1915000/1915000
1078.17/1076.43	c cleaning 14001 clauses out of 28059 with flag 1929000/1929000
1083.87/1082.14	c cleaning 14003 clauses out of 28058 with flag 1943000/1943000
1089.27/1087.56	c cleaning 13992 clauses out of 28055 with flag 1957000/1957000
1094.47/1092.73	c cleaning 14013 clauses out of 28063 with flag 1971000/1971000
1100.98/1099.26	c cleaning 13996 clauses out of 28050 with flag 1985000/1985000
1107.58/1105.81	c cleaning 13990 clauses out of 28054 with flag 1999000/1999000
1114.08/1112.37	c cleaning 13999 clauses out of 28064 with flag 2013000/2013000
1120.50/1118.75	c cleaning 14002 clauses out of 28065 with flag 2027000/2027000
1127.00/1125.29	c cleaning 14011 clauses out of 28063 with flag 2041000/2041000
1133.30/1131.56	c cleaning 13997 clauses out of 28052 with flag 2055000/2055000
1139.90/1138.19	c cleaning 14018 clauses out of 28056 with flag 2069001/2069001
1146.20/1144.44	c cleaning 14006 clauses out of 28038 with flag 2083001/2083001
1152.70/1150.98	c cleaning 13990 clauses out of 28031 with flag 2097000/2097000
1159.11/1157.31	c cleaning 13987 clauses out of 28041 with flag 2111000/2111000
1165.21/1163.40	c cleaning 13999 clauses out of 28054 with flag 2125000/2125000
1171.31/1169.53	c cleaning 13994 clauses out of 28055 with flag 2139000/2139000
1177.82/1176.09	c cleaning 13996 clauses out of 28061 with flag 2153000/2153000
1184.02/1182.25	c cleaning 14009 clauses out of 28065 with flag 2167000/2167000
1190.12/1188.35	c cleaning 14007 clauses out of 28056 with flag 2181000/2181000
1196.12/1194.30	c cleaning 14009 clauses out of 28049 with flag 2195000/2195000
1201.83/1200.01	c cleaning 13985 clauses out of 28040 with flag 2209000/2209000
1207.13/1205.36	c cleaning 13991 clauses out of 28055 with flag 2223000/2223000
1213.13/1211.37	c cleaning 14002 clauses out of 28064 with flag 2237000/2237000
1219.64/1217.80	c cleaning 14012 clauses out of 28062 with flag 2251000/2251000
1225.74/1223.99	c cleaning 14001 clauses out of 28050 with flag 2265000/2265000
1231.94/1230.17	c cleaning 13999 clauses out of 28049 with flag 2279000/2279000
1238.25/1236.47	c cleaning 14003 clauses out of 28051 with flag 2293001/2293001
1244.65/1242.80	c cleaning 13988 clauses out of 28047 with flag 2307000/2307000
1251.06/1249.22	c cleaning 14000 clauses out of 28059 with flag 2321000/2321000
1257.26/1255.42	c cleaning 13995 clauses out of 28059 with flag 2335000/2335000
1263.27/1261.42	c cleaning 13995 clauses out of 28064 with flag 2349000/2349000
1269.17/1267.32	c cleaning 14015 clauses out of 28069 with flag 2363000/2363000
1274.77/1272.94	c cleaning 13997 clauses out of 28054 with flag 2377000/2377000
1279.98/1278.15	c cleaning 13999 clauses out of 28057 with flag 2391000/2391000
1286.69/1284.83	c cleaning 13995 clauses out of 28058 with flag 2405000/2405000
1292.98/1291.19	c cleaning 14017 clauses out of 28063 with flag 2419000/2419000
1299.38/1297.52	c cleaning 13991 clauses out of 28046 with flag 2433000/2433000
1305.88/1304.08	c cleaning 13993 clauses out of 28055 with flag 2447000/2447000
1312.48/1310.61	c cleaning 13994 clauses out of 28062 with flag 2461000/2461000
1318.69/1316.87	c cleaning 14001 clauses out of 28068 with flag 2475000/2475000
1324.79/1322.95	c cleaning 14001 clauses out of 28067 with flag 2489000/2489000
1330.70/1328.86	c cleaning 14017 clauses out of 28066 with flag 2503000/2503000
1336.49/1334.62	c cleaning 13994 clauses out of 28049 with flag 2517000/2517000
1341.79/1339.95	c cleaning 13992 clauses out of 28055 with flag 2531000/2531000
1347.80/1345.96	c cleaning 13999 clauses out of 28063 with flag 2545000/2545000
1354.20/1352.37	c cleaning 13999 clauses out of 28064 with flag 2559000/2559000
1360.41/1358.59	c cleaning 14003 clauses out of 28065 with flag 2573000/2573000
1366.61/1364.76	c cleaning 14003 clauses out of 28062 with flag 2587000/2587000
1372.71/1370.84	c cleaning 13994 clauses out of 28059 with flag 2601000/2601000
1378.41/1376.54	c cleaning 13997 clauses out of 28065 with flag 2615000/2615000
1383.81/1381.91	c cleaning 14008 clauses out of 28068 with flag 2629000/2629000
1389.02/1387.12	c cleaning 14001 clauses out of 28060 with flag 2643000/2643000
1395.41/1393.53	c cleaning 14002 clauses out of 28059 with flag 2657000/2657000
1401.92/1400.04	c cleaning 14013 clauses out of 28057 with flag 2671000/2671000
1408.22/1406.40	c cleaning 13984 clauses out of 28044 with flag 2685000/2685000
1414.42/1412.57	c cleaning 13994 clauses out of 28060 with flag 2699000/2699000
1420.33/1418.43	c cleaning 13997 clauses out of 28066 with flag 2713000/2713000
1426.13/1424.20	c cleaning 14007 clauses out of 28069 with flag 2727000/2727000
1431.53/1429.68	c cleaning 13996 clauses out of 28062 with flag 2741000/2741000
1436.63/1434.75	c cleaning 14002 clauses out of 28066 with flag 2755000/2755000
1442.54/1440.69	c cleaning 13992 clauses out of 28064 with flag 2769000/2769000
1449.14/1447.22	c cleaning 13999 clauses out of 28072 with flag 2783000/2783000
1455.34/1453.47	c cleaning 14019 clauses out of 28073 with flag 2797000/2797000
1461.34/1459.50	c cleaning 14006 clauses out of 28054 with flag 2811000/2811000
1467.25/1465.32	c cleaning 13990 clauses out of 28049 with flag 2825001/2825001
1472.95/1471.03	c cleaning 13994 clauses out of 28058 with flag 2839000/2839000
1478.25/1476.35	c cleaning 14002 clauses out of 28064 with flag 2853000/2853000
1483.85/1481.94	c cleaning 13997 clauses out of 28062 with flag 2867000/2867000
1490.06/1488.18	c cleaning 14012 clauses out of 28065 with flag 2881000/2881000
1496.16/1494.26	c cleaning 13999 clauses out of 28053 with flag 2895000/2895000
1501.96/1500.09	c cleaning 13993 clauses out of 28054 with flag 2909000/2909000
1507.78/1505.82	c cleaning 13996 clauses out of 28061 with flag 2923000/2923000
1513.17/1511.26	c cleaning 13998 clauses out of 28065 with flag 2937000/2937000
1518.47/1516.57	c cleaning 14017 clauses out of 28067 with flag 2951000/2951000
1524.67/1522.71	c cleaning 13999 clauses out of 28050 with flag 2965000/2965000
1530.78/1528.85	c cleaning 14007 clauses out of 28051 with flag 2979000/2979000
1536.68/1534.73	c cleaning 13987 clauses out of 28044 with flag 2993000/2993000
1542.88/1540.97	c cleaning 14010 clauses out of 28057 with flag 3007000/3007000
1549.38/1547.48	c cleaning 13992 clauses out of 28047 with flag 3021000/3021000
1555.89/1553.96	c cleaning 13996 clauses out of 28055 with flag 3035000/3035000
1562.29/1560.35	c cleaning 13996 clauses out of 28059 with flag 3049000/3049000
1568.70/1566.77	c cleaning 14002 clauses out of 28063 with flag 3063000/3063000
1574.91/1572.96	c cleaning 13996 clauses out of 28061 with flag 3077000/3077000
1581.40/1579.46	c cleaning 13997 clauses out of 28065 with flag 3091000/3091000
1587.61/1585.62	c cleaning 14003 clauses out of 28068 with flag 3105000/3105000
1593.91/1591.95	c cleaning 13999 clauses out of 28065 with flag 3119000/3119000
1600.42/1598.42	c cleaning 13996 clauses out of 28066 with flag 3133000/3133000
1606.83/1604.85	c cleaning 14020 clauses out of 28070 with flag 3147000/3147000
1613.03/1611.02	c cleaning 14005 clauses out of 28050 with flag 3161000/3161000
1619.13/1617.15	c cleaning 13992 clauses out of 28045 with flag 3175000/3175000
1625.03/1623.09	c cleaning 14001 clauses out of 28053 with flag 3189000/3189000
1631.73/1629.70	c cleaning 13990 clauses out of 28052 with flag 3203000/3203000
1638.14/1636.19	c cleaning 14002 clauses out of 28062 with flag 3217000/3217000
1644.54/1642.56	c cleaning 14008 clauses out of 28061 with flag 3231001/3231001
1650.64/1648.65	c cleaning 13996 clauses out of 28052 with flag 3245000/3245000
1656.65/1654.60	c cleaning 13991 clauses out of 28056 with flag 3259000/3259000
1662.25/1660.29	c cleaning 14002 clauses out of 28065 with flag 3273000/3273000
1667.55/1665.58	c cleaning 14003 clauses out of 28063 with flag 3287000/3287000
1673.45/1671.41	c cleaning 14003 clauses out of 28061 with flag 3301001/3301001
1679.86/1677.87	c cleaning 14010 clauses out of 28057 with flag 3315000/3315000
1686.07/1684.07	c cleaning 14008 clauses out of 28047 with flag 3329000/3329000
1692.06/1690.03	c cleaning 13993 clauses out of 28040 with flag 3343001/3343001
1697.86/1695.88	c cleaning 13993 clauses out of 28046 with flag 3357000/3357000
1703.46/1701.43	c cleaning 14000 clauses out of 28053 with flag 3371000/3371000
1708.57/1706.54	c cleaning 14002 clauses out of 28053 with flag 3385000/3385000
1714.57/1712.50	c cleaning 13988 clauses out of 28051 with flag 3399000/3399000
1720.87/1718.84	c cleaning 14005 clauses out of 28063 with flag 3413000/3413000
1726.97/1724.96	c cleaning 13992 clauses out of 28058 with flag 3427000/3427000
1733.48/1731.45	c cleaning 14001 clauses out of 28066 with flag 3441000/3441000
1739.98/1737.93	c cleaning 13997 clauses out of 28065 with flag 3455000/3455000
1746.28/1744.22	c cleaning 13998 clauses out of 28068 with flag 3469000/3469000
1752.68/1750.60	c cleaning 14021 clauses out of 28070 with flag 3483000/3483000
1758.59/1756.59	c cleaning 13990 clauses out of 28049 with flag 3497000/3497000
1764.39/1762.39	c cleaning 13998 clauses out of 28059 with flag 3511000/3511000
1769.89/1767.84	c cleaning 14001 clauses out of 28061 with flag 3525000/3525000
1775.69/1773.64	c cleaning 13996 clauses out of 28060 with flag 3539000/3539000
1781.99/1779.98	c cleaning 14010 clauses out of 28064 with flag 3553000/3553000
1788.40/1786.36	c cleaning 13997 clauses out of 28054 with flag 3567000/3567000
1794.60/1792.52	c cleaning 13996 clauses out of 28057 with flag 3581000/3581000
1800.01/1797.92	c starts		: 251
1800.01/1797.92	c conflicts		: 3593668
1800.01/1797.92	c decisions		: 3858239
1800.01/1797.92	c propagations		: 267359124
1800.01/1797.92	c inspects		: 10384647148
1800.01/1797.92	c shortcuts		: 0
1800.01/1797.92	c learnt literals	: 0
1800.01/1797.92	c learnt binary clauses	: 0
1800.01/1797.92	c learnt ternary clauses	: 623
1800.01/1797.92	c learnt constraints	: 3593668
1800.01/1797.92	c ignored constraints	: 0
1800.01/1797.92	c root simplifications	: 0
1800.01/1797.92	c removed literals (reason simplification)	: 441662854
1800.01/1797.92	c reason swapping (by a shorter reason)	: 0
1800.01/1797.92	c Calls to reduceDB	: 259
1800.01/1797.92	c number of reductions to clauses (during analyze)	: 0
1800.01/1797.92	c number of learned constraints concerned by reduction	: 0
1800.01/1797.92	c number of learning phase by resolution	: 0
1800.01/1797.92	c number of learning phase by cutting planes	: 0
1800.01/1797.92	c speed (assignments/second)	: 148746.62862680975
1800.01/1797.92	c non guided choices	6377
1800.01/1797.94	c learnt constraints type 
1800.01/1797.94	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 26796
1800.01/1797.94	c constraints type 
1800.01/1797.94	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6216
1800.01/1797.94	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1800.01/1797.94	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1800.01/1797.94	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6216
1800.01/1797.94	s UNKNOWN
1800.01/1797.94	c Total wall clock time (in seconds): 1797.834

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-3458015-1307164763/watcher-3458015-1307164763 -o /tmp/evaluation-result-3458015-1307164763/solver-3458015-1307164763 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458015-1307164763.opb 

running on 4 cores: 1,3,5,7

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: 1.01 1.38 1.72 2/291 10742
/proc/meminfo: memFree=28335984/32951124 swapFree=55664332/67111528
[pid=10742] ppid=10740 vsize=30536 CPUtime=0 cores=1,3,5,7
/proc/10742/stat : 10742 (java) S 10740 10742 10640 0 -1 4202496 1242 0 0 0 0 0 0 0 25 0 2 0 828077100 31268864 960 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933579749 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/10742/statm: 7634 963 736 9 0 385 0
[pid=10742/tid=10743] ppid=10740 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10743/stat : 10743 (java) R 10740 10742 10640 0 -1 4202560 591 0 1 0 0 0 0 0 25 0 2 0 828077101 13833195520 1407 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222921471035 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.057827 s]
/proc/loadavg: 1.01 1.38 1.72 2/291 10742
/proc/meminfo: memFree=28335984/32951124 swapFree=55664332/67111528
[pid=10742] ppid=10740 vsize=13549616 CPUtime=0.04 cores=1,3,5,7
/proc/10742/stat : 10742 (java) S 10740 10742 10640 0 -1 4202496 13970 0 1 0 3 1 0 0 25 0 13 0 828077100 13874806784 13666 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933579749 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0
/proc/10742/statm: 3387404 13669 1685 9 0 3378152 0
[pid=10742/tid=10743] ppid=10740 vsize=13549616 CPUtime=0.04 cores=1,3,5,7
/proc/10742/task/10743/stat : 10743 (java) R 10740 10742 10640 0 -1 4202560 12825 0 1 0 3 1 0 0 25 0 13 0 828077101 13874806784 13669 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 47492693363774 0 4 0 16800971 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13549616

[startup+0.100819 s]
/proc/loadavg: 1.01 1.38 1.72 2/291 10742
/proc/meminfo: memFree=28335984/32951124 swapFree=55664332/67111528
[pid=10742] ppid=10740 vsize=13621728 CPUtime=0.1 cores=1,3,5,7
/proc/10742/stat : 10742 (java) S 10740 10742 10640 0 -1 4202496 15531 0 1 0 9 1 0 0 25 0 18 0 828077100 13948649472 15198 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10742/statm: 3405432 15198 2093 9 0 3396166 0
[pid=10742/tid=10743] ppid=10740 vsize=13621728 CPUtime=0.08 cores=1,3,5,7
/proc/10742/task/10743/stat : 10743 (java) R 10740 10742 10640 0 -1 4202560 13590 0 1 0 7 1 0 0 25 0 18 0 828077101 13948649472 15198 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 46912496218752 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621728

[startup+0.30211 s]
/proc/loadavg: 1.01 1.38 1.72 2/291 10742
/proc/meminfo: memFree=28335984/32951124 swapFree=55664332/67111528
[pid=10742] ppid=10740 vsize=13624040 CPUtime=0.47 cores=1,3,5,7
/proc/10742/stat : 10742 (java) S 10740 10742 10640 0 -1 4202496 18857 0 1 0 45 2 0 0 25 0 18 0 828077100 13951016960 18222 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10742/statm: 3406010 18222 2220 9 0 3396744 0
[pid=10742/tid=10743] ppid=10740 vsize=13624040 CPUtime=0.28 cores=1,3,5,7
/proc/10742/task/10743/stat : 10743 (java) R 10740 10742 10640 0 -1 4202560 15408 0 1 0 27 1 0 0 25 0 18 0 828077101 13951016960 18222 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 47492693703507 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 13624040

[startup+0.700701 s]
/proc/loadavg: 1.01 1.38 1.72 2/291 10742
/proc/meminfo: memFree=28335984/32951124 swapFree=55664332/67111528
[pid=10742] ppid=10740 vsize=13631572 CPUtime=1.57 cores=1,3,5,7
/proc/10742/stat : 10742 (java) S 10740 10742 10640 0 -1 4202496 31946 0 1 0 153 4 0 0 25 0 19 0 828077100 13958729728 29672 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10742/statm: 3407893 29672 2239 9 0 3398627 0
[pid=10742/tid=10743] ppid=10740 vsize=13631572 CPUtime=0.68 cores=1,3,5,7
/proc/10742/task/10743/stat : 10743 (java) R 10740 10742 10640 0 -1 4202560 23026 0 1 0 66 2 0 0 19 0 19 0 828077101 13958729728 29672 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 46912505881307 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 13631572

[startup+1.50156 s]
/proc/loadavg: 1.01 1.38 1.72 3/310 10761
/proc/meminfo: memFree=28224736/32951124 swapFree=55664332/67111528
[pid=10742] ppid=10740 vsize=13631572 CPUtime=2.43 cores=1,3,5,7
/proc/10742/stat : 10742 (java) S 10740 10742 10640 0 -1 4202496 32905 0 1 0 239 4 0 0 25 0 19 0 828077100 13958729728 30630 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10742/statm: 3407893 30630 2243 9 0 3398627 0
[pid=10742/tid=10743] ppid=10740 vsize=13631572 CPUtime=1.49 cores=1,3,5,7
/proc/10742/task/10743/stat : 10743 (java) R 10740 10742 10640 0 -1 4202560 23965 0 1 0 146 3 0 0 20 0 19 0 828077101 13958729728 30630 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 46912505818431 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10742/tid=10745] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10745/stat : 10745 (java) S 10740 10742 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828077103 13958729728 30630 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10746] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10746/stat : 10746 (java) S 10740 10742 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828077103 13958729728 30630 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10747] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10747/stat : 10747 (java) S 10740 10742 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828077103 13958729728 30630 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10748] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10748/stat : 10748 (java) S 10740 10742 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828077103 13958729728 30630 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10749] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10749/stat : 10749 (java) S 10740 10742 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828077103 13958729728 30630 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10750] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10750/stat : 10750 (java) S 10740 10742 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828077103 13958729728 30630 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10751] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10751/stat : 10751 (java) S 10740 10742 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828077103 13958729728 30630 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10752] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10752/stat : 10752 (java) S 10740 10742 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828077103 13958729728 30630 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10753] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10753/stat : 10753 (java) S 10740 10742 10640 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 828077104 13958729728 30630 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933593600 0 0 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10754] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10754/stat : 10754 (java) S 10740 10742 10640 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 828077104 13958729728 30630 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10755] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10755/stat : 10755 (java) S 10740 10742 10640 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828077104 13958729728 30631 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10756] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10756/stat : 10756 (java) S 10740 10742 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828077107 13958729728 30631 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933600689 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10757] ppid=10740 vsize=13631572 CPUtime=0.49 cores=1,3,5,7
/proc/10742/task/10757/stat : 10757 (java) S 10740 10742 10640 0 -1 4202560 3197 0 0 0 49 0 0 0 15 0 19 0 828077107 13958729728 30631 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10758] ppid=10740 vsize=13631572 CPUtime=0.44 cores=1,3,5,7
/proc/10742/task/10758/stat : 10758 (java) S 10740 10742 10640 0 -1 4202560 4582 0 0 0 44 0 0 0 15 0 19 0 828077107 13958729728 30631 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 5 0 0 0
[pid=10742/tid=10759] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10759/stat : 10759 (java) S 10740 10742 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828077107 13958729728 30631 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10760] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10760/stat : 10760 (java) S 10740 10742 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828077107 13958729728 30631 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933593600 0 4 0 16800975 18446604469852678208 0 0 -1 3 0 0 0
[pid=10742/tid=10761] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10761/stat : 10761 (java) S 10740 10742 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828077153 13958729728 30631 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933593600 0 4 0 16800975 18446604469852678208 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 13631572

[startup+3.10127 s]
/proc/loadavg: 1.09 1.39 1.73 3/310 10761
/proc/meminfo: memFree=28218412/32951124 swapFree=55664332/67111528
[pid=10742] ppid=10740 vsize=13631572 CPUtime=4.07 cores=1,3,5,7
/proc/10742/stat : 10742 (java) S 10740 10742 10640 0 -1 4202496 39234 0 1 0 402 5 0 0 25 0 19 0 828077100 13958729728 36952 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10742/statm: 3407893 36952 2269 9 0 3398627 0
[pid=10742/tid=10743] ppid=10740 vsize=13631572 CPUtime=3.04 cores=1,3,5,7
/proc/10742/task/10743/stat : 10743 (java) R 10740 10742 10640 0 -1 4202560 25258 0 1 0 301 3 0 0 25 0 19 0 828077101 13958729728 36952 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 46912505818431 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10742/tid=10745] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10745/stat : 10745 (java) S 10740 10742 10640 0 -1 4202560 1135 0 0 0 0 0 0 0 18 0 19 0 828077103 13958729728 36952 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10746] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10746/stat : 10746 (java) S 10740 10742 10640 0 -1 4202560 808 0 0 0 0 0 0 0 18 0 19 0 828077103 13958729728 36952 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10747] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10747/stat : 10747 (java) S 10740 10742 10640 0 -1 4202560 562 0 0 0 0 0 0 0 18 0 19 0 828077103 13958729728 36952 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 3 0 0 0
[pid=10742/tid=10748] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10748/stat : 10748 (java) S 10740 10742 10640 0 -1 4202560 31 0 0 0 0 0 0 0 18 0 19 0 828077103 13958729728 36952 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 3 0 0 0
[pid=10742/tid=10749] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10749/stat : 10749 (java) S 10740 10742 10640 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 828077103 13958729728 36952 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10750] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10750/stat : 10750 (java) S 10740 10742 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828077103 13958729728 36952 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10751] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10751/stat : 10751 (java) S 10740 10742 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828077103 13958729728 36952 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10752] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10752/stat : 10752 (java) S 10740 10742 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828077103 13958729728 36952 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10753] ppid=10740 vsize=13631572 CPUtime=0.03 cores=1,3,5,7
/proc/10742/task/10753/stat : 10753 (java) S 10740 10742 10640 0 -1 4202560 2498 0 0 0 3 0 0 0 16 0 19 0 828077104 13958729728 36952 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933593600 0 0 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10754] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10754/stat : 10754 (java) S 10740 10742 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828077104 13958729728 36952 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10755] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10755/stat : 10755 (java) S 10740 10742 10640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828077104 13958729728 36952 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10756] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10756/stat : 10756 (java) S 10740 10742 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828077107 13958729728 36952 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933600689 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10757] ppid=10740 vsize=13631572 CPUtime=0.49 cores=1,3,5,7
/proc/10742/task/10757/stat : 10757 (java) S 10740 10742 10640 0 -1 4202560 3199 0 0 0 49 0 0 0 15 0 19 0 828077107 13958729728 36952 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10758] ppid=10740 vsize=13631572 CPUtime=0.45 cores=1,3,5,7
/proc/10742/task/10758/stat : 10758 (java) S 10740 10742 10640 0 -1 4202560 4588 0 0 0 45 0 0 0 15 0 19 0 828077107 13958729728 36952 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 5 0 0 0
[pid=10742/tid=10759] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10759/stat : 10759 (java) S 10740 10742 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828077107 13958729728 36952 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10760] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10760/stat : 10760 (java) S 10740 10742 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828077107 13958729728 36952 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933593600 0 4 0 16800975 18446604469852678208 0 0 -1 3 0 0 0
[pid=10742/tid=10761] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10761/stat : 10761 (java) S 10740 10742 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828077153 13958729728 36952 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933593600 0 4 0 16800975 18446604469852678208 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.07
Current children cumulated vsize (KiB) 13631572

[startup+6.30068 s]
/proc/loadavg: 1.09 1.39 1.73 3/310 10761
/proc/meminfo: memFree=28187184/32951124 swapFree=55664332/67111528
[pid=10742] ppid=10740 vsize=13631572 CPUtime=7.29 cores=1,3,5,7
/proc/10742/stat : 10742 (java) S 10740 10742 10640 0 -1 4202496 43222 0 1 0 724 5 0 0 25 0 19 0 828077100 13958729728 40931 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10742/statm: 3407893 40931 2269 9 0 3398627 0
[pid=10742/tid=10743] ppid=10740 vsize=13631572 CPUtime=6.2 cores=1,3,5,7
/proc/10742/task/10743/stat : 10743 (java) R 10740 10742 10640 0 -1 4202560 25263 0 1 0 617 3 0 0 25 0 19 0 828077101 13958729728 40931 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 46912505818489 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10742/tid=10745] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10745/stat : 10745 (java) S 10740 10742 10640 0 -1 4202560 1135 0 0 0 0 0 0 0 18 0 19 0 828077103 13958729728 40931 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10746] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10746/stat : 10746 (java) S 10740 10742 10640 0 -1 4202560 808 0 0 0 0 0 0 0 15 0 19 0 828077103 13958729728 40931 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10747] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10747/stat : 10747 (java) S 10740 10742 10640 0 -1 4202560 562 0 0 0 0 0 0 0 15 0 19 0 828077103 13958729728 40931 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 3 0 0 0
[pid=10742/tid=10748] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10748/stat : 10748 (java) S 10740 10742 10640 0 -1 4202560 661 0 0 0 0 0 0 0 15 0 19 0 828077103 13958729728 40931 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 3 0 0 0
[pid=10742/tid=10749] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10749/stat : 10749 (java) S 10740 10742 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828077103 13958729728 40931 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10750] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10750/stat : 10750 (java) S 10740 10742 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828077103 13958729728 40931 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10751] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10751/stat : 10751 (java) S 10740 10742 10640 0 -1 4202560 703 0 0 0 0 0 0 0 16 0 19 0 828077103 13958729728 40931 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 3 0 0 0
[pid=10742/tid=10752] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10752/stat : 10752 (java) S 10740 10742 10640 0 -1 4202560 1054 0 0 0 0 0 0 0 15 0 19 0 828077103 13958729728 40931 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10753] ppid=10740 vsize=13631572 CPUtime=0.06 cores=1,3,5,7
/proc/10742/task/10753/stat : 10753 (java) S 10740 10742 10640 0 -1 4202560 4091 0 0 0 6 0 0 0 16 0 19 0 828077104 13958729728 40931 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933593600 0 0 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10754] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10754/stat : 10754 (java) S 10740 10742 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828077104 13958729728 40931 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10755] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10755/stat : 10755 (java) S 10740 10742 10640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828077104 13958729728 40931 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10756] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10756/stat : 10756 (java) S 10740 10742 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828077107 13958729728 40931 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933600689 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10757] ppid=10740 vsize=13631572 CPUtime=0.5 cores=1,3,5,7
/proc/10742/task/10757/stat : 10757 (java) S 10740 10742 10640 0 -1 4202560 3199 0 0 0 50 0 0 0 16 0 19 0 828077107 13958729728 40931 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10758] ppid=10740 vsize=13631572 CPUtime=0.47 cores=1,3,5,7
/proc/10742/task/10758/stat : 10758 (java) S 10740 10742 10640 0 -1 4202560 4593 0 0 0 47 0 0 0 16 0 19 0 828077107 13958729728 40931 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 5 0 0 0

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

[pid=10742/tid=10750] ppid=10740 vsize=13631572 CPUtime=0.19 cores=1,3,5,7
/proc/10742/task/10750/stat : 10750 (java) S 10740 10742 10640 0 -1 4202560 642 0 0 0 19 0 0 0 15 0 19 0 828077103 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10751] ppid=10740 vsize=13631572 CPUtime=0.24 cores=1,3,5,7
/proc/10742/task/10751/stat : 10751 (java) S 10740 10742 10640 0 -1 4202560 893 0 0 0 24 0 0 0 15 0 19 0 828077103 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 5 0 0 0
[pid=10742/tid=10752] ppid=10740 vsize=13631572 CPUtime=0.19 cores=1,3,5,7
/proc/10742/task/10752/stat : 10752 (java) S 10740 10742 10640 0 -1 4202560 1643 0 0 0 19 0 0 0 15 0 19 0 828077103 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10753] ppid=10740 vsize=13631572 CPUtime=9.68 cores=1,3,5,7
/proc/10742/task/10753/stat : 10753 (java) S 10740 10742 10640 0 -1 4202560 9052 0 0 0 964 4 0 0 15 0 19 0 828077104 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933593600 0 0 0 16800975 18446604469852678208 0 0 -1 3 0 0 0
[pid=10742/tid=10754] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10754/stat : 10754 (java) S 10740 10742 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828077104 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10755] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10755/stat : 10755 (java) S 10740 10742 10640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828077104 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10756] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10756/stat : 10756 (java) S 10740 10742 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828077107 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933600689 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10757] ppid=10740 vsize=13631572 CPUtime=0.59 cores=1,3,5,7
/proc/10742/task/10757/stat : 10757 (java) S 10740 10742 10640 0 -1 4202560 3216 0 0 0 59 0 0 0 15 0 19 0 828077107 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10758] ppid=10740 vsize=13631572 CPUtime=0.48 cores=1,3,5,7
/proc/10742/task/10758/stat : 10758 (java) S 10740 10742 10640 0 -1 4202560 4594 0 0 0 48 0 0 0 16 0 19 0 828077107 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 5 0 0 0
[pid=10742/tid=10759] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10759/stat : 10759 (java) S 10740 10742 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828077107 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10760] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10760/stat : 10760 (java) S 10740 10742 10640 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 828077107 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933593600 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10761] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10761/stat : 10761 (java) S 10740 10742 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828077153 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933593600 0 4 0 16800975 18446604469852678208 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1724.37
Current children cumulated vsize (KiB) 13631572

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/310 10808
/proc/meminfo: memFree=28112596/32951124 swapFree=55664332/67111528
[pid=10742] ppid=10740 vsize=13631572 CPUtime=1784.4 cores=1,3,5,7
/proc/10742/stat : 10742 (java) S 10740 10742 10640 0 -1 4202496 53722 0 1 0 178427 13 0 0 25 0 19 0 828077100 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10742/statm: 3407893 50966 2270 9 0 3398627 0
[pid=10742/tid=10743] ppid=10740 vsize=13631572 CPUtime=1771.4 cores=1,3,5,7
/proc/10742/task/10743/stat : 10743 (java) R 10740 10742 10640 0 -1 4202560 25518 0 1 0 177137 3 0 0 25 0 19 0 828077101 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 46912505366576 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10742/tid=10745] ppid=10740 vsize=13631572 CPUtime=0.26 cores=1,3,5,7
/proc/10742/task/10745/stat : 10745 (java) S 10740 10742 10640 0 -1 4202560 1703 0 0 0 25 1 0 0 15 0 19 0 828077103 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10746] ppid=10740 vsize=13631572 CPUtime=0.22 cores=1,3,5,7
/proc/10742/task/10746/stat : 10746 (java) S 10740 10742 10640 0 -1 4202560 2456 0 0 0 22 0 0 0 16 0 19 0 828077103 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10747] ppid=10740 vsize=13631572 CPUtime=0.21 cores=1,3,5,7
/proc/10742/task/10747/stat : 10747 (java) S 10740 10742 10640 0 -1 4202560 1557 0 0 0 21 0 0 0 16 0 19 0 828077103 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 5 0 0 0
[pid=10742/tid=10748] ppid=10740 vsize=13631572 CPUtime=0.25 cores=1,3,5,7
/proc/10742/task/10748/stat : 10748 (java) S 10740 10742 10640 0 -1 4202560 1001 0 0 0 25 0 0 0 15 0 19 0 828077103 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10749] ppid=10740 vsize=13631572 CPUtime=0.18 cores=1,3,5,7
/proc/10742/task/10749/stat : 10749 (java) S 10740 10742 10640 0 -1 4202560 194 0 0 0 18 0 0 0 16 0 19 0 828077103 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10750] ppid=10740 vsize=13631572 CPUtime=0.19 cores=1,3,5,7
/proc/10742/task/10750/stat : 10750 (java) S 10740 10742 10640 0 -1 4202560 642 0 0 0 19 0 0 0 15 0 19 0 828077103 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10751] ppid=10740 vsize=13631572 CPUtime=0.25 cores=1,3,5,7
/proc/10742/task/10751/stat : 10751 (java) S 10740 10742 10640 0 -1 4202560 893 0 0 0 25 0 0 0 15 0 19 0 828077103 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 5 0 0 0
[pid=10742/tid=10752] ppid=10740 vsize=13631572 CPUtime=0.2 cores=1,3,5,7
/proc/10742/task/10752/stat : 10752 (java) S 10740 10742 10640 0 -1 4202560 1643 0 0 0 20 0 0 0 15 0 19 0 828077103 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10753] ppid=10740 vsize=13631572 CPUtime=10.06 cores=1,3,5,7
/proc/10742/task/10753/stat : 10753 (java) S 10740 10742 10640 0 -1 4202560 9054 0 0 0 1002 4 0 0 15 0 19 0 828077104 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933593600 0 0 0 16800975 18446604469852678208 0 0 -1 3 0 0 0
[pid=10742/tid=10754] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10754/stat : 10754 (java) S 10740 10742 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828077104 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10755] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10755/stat : 10755 (java) S 10740 10742 10640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828077104 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10756] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10756/stat : 10756 (java) S 10740 10742 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828077107 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933600689 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10757] ppid=10740 vsize=13631572 CPUtime=0.59 cores=1,3,5,7
/proc/10742/task/10757/stat : 10757 (java) S 10740 10742 10640 0 -1 4202560 3216 0 0 0 59 0 0 0 15 0 19 0 828077107 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10758] ppid=10740 vsize=13631572 CPUtime=0.48 cores=1,3,5,7
/proc/10742/task/10758/stat : 10758 (java) S 10740 10742 10640 0 -1 4202560 4594 0 0 0 48 0 0 0 16 0 19 0 828077107 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 5 0 0 0
[pid=10742/tid=10759] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10759/stat : 10759 (java) S 10740 10742 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828077107 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10760] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10760/stat : 10760 (java) S 10740 10742 10640 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 828077107 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933593600 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10761] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10761/stat : 10761 (java) S 10740 10742 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828077153 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933593600 0 4 0 16800975 18446604469852678208 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1784.4
Current children cumulated vsize (KiB) 13631572



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 1.92 3/310 10857
/proc/meminfo: memFree=25361196/32951124 swapFree=55664332/67111528
[pid=10742] ppid=10740 vsize=13631572 CPUtime=1800.01 cores=1,3,5,7
/proc/10742/stat : 10742 (java) S 10740 10742 10640 0 -1 4202496 53728 0 1 0 179988 13 0 0 25 0 19 0 828077100 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10742/statm: 3407893 50966 2270 9 0 3398627 0
[pid=10742/tid=10743] ppid=10740 vsize=13631572 CPUtime=1786.93 cores=1,3,5,7
/proc/10742/task/10743/stat : 10743 (java) R 10740 10742 10640 0 -1 4202560 25520 0 1 0 178690 3 0 0 25 0 19 0 828077101 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 46912505810915 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10742/tid=10745] ppid=10740 vsize=13631572 CPUtime=0.26 cores=1,3,5,7
/proc/10742/task/10745/stat : 10745 (java) S 10740 10742 10640 0 -1 4202560 1703 0 0 0 25 1 0 0 15 0 19 0 828077103 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10746] ppid=10740 vsize=13631572 CPUtime=0.22 cores=1,3,5,7
/proc/10742/task/10746/stat : 10746 (java) S 10740 10742 10640 0 -1 4202560 2456 0 0 0 22 0 0 0 15 0 19 0 828077103 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10747] ppid=10740 vsize=13631572 CPUtime=0.21 cores=1,3,5,7
/proc/10742/task/10747/stat : 10747 (java) S 10740 10742 10640 0 -1 4202560 1557 0 0 0 21 0 0 0 15 0 19 0 828077103 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 5 0 0 0
[pid=10742/tid=10748] ppid=10740 vsize=13631572 CPUtime=0.25 cores=1,3,5,7
/proc/10742/task/10748/stat : 10748 (java) S 10740 10742 10640 0 -1 4202560 1001 0 0 0 25 0 0 0 15 0 19 0 828077103 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10749] ppid=10740 vsize=13631572 CPUtime=0.18 cores=1,3,5,7
/proc/10742/task/10749/stat : 10749 (java) S 10740 10742 10640 0 -1 4202560 194 0 0 0 18 0 0 0 16 0 19 0 828077103 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10750] ppid=10740 vsize=13631572 CPUtime=0.19 cores=1,3,5,7
/proc/10742/task/10750/stat : 10750 (java) S 10740 10742 10640 0 -1 4202560 642 0 0 0 19 0 0 0 15 0 19 0 828077103 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10751] ppid=10740 vsize=13631572 CPUtime=0.25 cores=1,3,5,7
/proc/10742/task/10751/stat : 10751 (java) S 10740 10742 10640 0 -1 4202560 893 0 0 0 25 0 0 0 16 0 19 0 828077103 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 5 0 0 0
[pid=10742/tid=10752] ppid=10740 vsize=13631572 CPUtime=0.2 cores=1,3,5,7
/proc/10742/task/10752/stat : 10752 (java) S 10740 10742 10640 0 -1 4202560 1643 0 0 0 20 0 0 0 15 0 19 0 828077103 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10753] ppid=10740 vsize=13631572 CPUtime=10.14 cores=1,3,5,7
/proc/10742/task/10753/stat : 10753 (java) S 10740 10742 10640 0 -1 4202560 9056 0 0 0 1010 4 0 0 15 0 19 0 828077104 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933593600 0 0 0 16800975 18446604469852678208 0 0 -1 3 0 0 0
[pid=10742/tid=10754] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10754/stat : 10754 (java) S 10740 10742 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828077104 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10755] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10755/stat : 10755 (java) S 10740 10742 10640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828077104 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10756] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10756/stat : 10756 (java) S 10740 10742 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828077107 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933600689 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10757] ppid=10740 vsize=13631572 CPUtime=0.59 cores=1,3,5,7
/proc/10742/task/10757/stat : 10757 (java) S 10740 10742 10640 0 -1 4202560 3216 0 0 0 59 0 0 0 15 0 19 0 828077107 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10758] ppid=10740 vsize=13631572 CPUtime=0.48 cores=1,3,5,7
/proc/10742/task/10758/stat : 10758 (java) S 10740 10742 10640 0 -1 4202560 4594 0 0 0 48 0 0 0 16 0 19 0 828077107 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 5 0 0 0
[pid=10742/tid=10759] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10759/stat : 10759 (java) S 10740 10742 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828077107 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10760] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10760/stat : 10760 (java) S 10740 10742 10640 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 828077107 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933593600 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10761] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10761/stat : 10761 (java) S 10740 10742 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828077153 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933593600 0 4 0 16800975 18446604469852678208 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 13631572

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

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

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 1.92 3/310 10857
/proc/meminfo: memFree=25361196/32951124 swapFree=55664332/67111528
[pid=10742] ppid=10740 vsize=13631572 CPUtime=1800.01 cores=1,3,5,7
/proc/10742/stat : 10742 (java) S 10740 10742 10640 0 -1 4202496 53728 0 1 0 179988 13 0 0 25 0 19 0 828077100 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10742/statm: 3407893 50966 2270 9 0 3398627 0
[pid=10742/tid=10743] ppid=10740 vsize=13631572 CPUtime=1786.93 cores=1,3,5,7
/proc/10742/task/10743/stat : 10743 (java) R 10740 10742 10640 0 -1 4202560 25520 0 1 0 178690 3 0 0 25 0 19 0 828077101 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 46912505810915 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10742/tid=10745] ppid=10740 vsize=13631572 CPUtime=0.26 cores=1,3,5,7
/proc/10742/task/10745/stat : 10745 (java) S 10740 10742 10640 0 -1 4202560 1703 0 0 0 25 1 0 0 15 0 19 0 828077103 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10746] ppid=10740 vsize=13631572 CPUtime=0.22 cores=1,3,5,7
/proc/10742/task/10746/stat : 10746 (java) S 10740 10742 10640 0 -1 4202560 2456 0 0 0 22 0 0 0 15 0 19 0 828077103 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10747] ppid=10740 vsize=13631572 CPUtime=0.21 cores=1,3,5,7
/proc/10742/task/10747/stat : 10747 (java) S 10740 10742 10640 0 -1 4202560 1557 0 0 0 21 0 0 0 15 0 19 0 828077103 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 5 0 0 0
[pid=10742/tid=10748] ppid=10740 vsize=13631572 CPUtime=0.25 cores=1,3,5,7
/proc/10742/task/10748/stat : 10748 (java) S 10740 10742 10640 0 -1 4202560 1001 0 0 0 25 0 0 0 15 0 19 0 828077103 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10749] ppid=10740 vsize=13631572 CPUtime=0.18 cores=1,3,5,7
/proc/10742/task/10749/stat : 10749 (java) S 10740 10742 10640 0 -1 4202560 194 0 0 0 18 0 0 0 16 0 19 0 828077103 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10750] ppid=10740 vsize=13631572 CPUtime=0.19 cores=1,3,5,7
/proc/10742/task/10750/stat : 10750 (java) S 10740 10742 10640 0 -1 4202560 642 0 0 0 19 0 0 0 15 0 19 0 828077103 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10751] ppid=10740 vsize=13631572 CPUtime=0.25 cores=1,3,5,7
/proc/10742/task/10751/stat : 10751 (java) S 10740 10742 10640 0 -1 4202560 893 0 0 0 25 0 0 0 16 0 19 0 828077103 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 5 0 0 0
[pid=10742/tid=10752] ppid=10740 vsize=13631572 CPUtime=0.2 cores=1,3,5,7
/proc/10742/task/10752/stat : 10752 (java) S 10740 10742 10640 0 -1 4202560 1643 0 0 0 20 0 0 0 15 0 19 0 828077103 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10753] ppid=10740 vsize=13631572 CPUtime=10.14 cores=1,3,5,7
/proc/10742/task/10753/stat : 10753 (java) S 10740 10742 10640 0 -1 4202560 9056 0 0 0 1010 4 0 0 15 0 19 0 828077104 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933593600 0 0 0 16800975 18446604469852678208 0 0 -1 3 0 0 0
[pid=10742/tid=10754] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10754/stat : 10754 (java) S 10740 10742 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828077104 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10755] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10755/stat : 10755 (java) S 10740 10742 10640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828077104 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10756] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10756/stat : 10756 (java) S 10740 10742 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828077107 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933600689 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10757] ppid=10740 vsize=13631572 CPUtime=0.59 cores=1,3,5,7
/proc/10742/task/10757/stat : 10757 (java) S 10740 10742 10640 0 -1 4202560 3216 0 0 0 59 0 0 0 15 0 19 0 828077107 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 7 0 0 0
[pid=10742/tid=10758] ppid=10740 vsize=13631572 CPUtime=0.48 cores=1,3,5,7
/proc/10742/task/10758/stat : 10758 (java) S 10740 10742 10640 0 -1 4202560 4594 0 0 0 48 0 0 0 16 0 19 0 828077107 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 5 0 0 0
[pid=10742/tid=10759] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10759/stat : 10759 (java) S 10740 10742 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828077107 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933592985 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10760] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10760/stat : 10760 (java) S 10740 10742 10640 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 828077107 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933593600 0 4 0 16800975 18446604469852678208 0 0 -1 1 0 0 0
[pid=10742/tid=10761] ppid=10740 vsize=13631572 CPUtime=0 cores=1,3,5,7
/proc/10742/task/10761/stat : 10761 (java) S 10740 10742 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828077153 13958729728 50966 33554432000 1073741824 1073778376 140736555947872 18446744073709551615 222933593600 0 4 0 16800975 18446604469852678208 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 13631572

Child status: 143
Real time (s): 1797.96
CPU time (s): 1800.09
CPU user time (s): 1799.95
CPU system time (s): 0.144977
CPU usage (%): 100.119
Max. virtual memory (cumulated for all children) (KiB): 13631572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.144977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53766
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= 43591
involuntary context switches= 26665

runsolver used 4.75928 second user time and 11.1363 second system time

The end

Launcher Data 

Begin job on node109 at 2011-06-04 07:19:24
IDJOB=3458015
IDBENCH=48340
IDSOLVER=1952
FILE ID=node109/3458015-1307164763
RUNJOBID= node109-1307164758-10659
PBS_JOBID= 13508846
Free space on /tmp= 74008 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_25_3_40.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458015-1307164763/watcher-3458015-1307164763 -o /tmp/evaluation-result-3458015-1307164763/solver-3458015-1307164763 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458015-1307164763.opb

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

MD5SUM BENCH= 67a15ea3b760eccb0e507c1f93bad0e1
RANDOM SEED=2121049949

node109.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	: 5332.75
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28336272 kB
Buffers:        317596 kB
Cached:        2174384 kB
SwapCached:      10392 kB
Active:         979760 kB
Inactive:      3376744 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28336272 kB
SwapTotal:    67111528 kB
SwapFree:     55664332 kB
Dirty:             976 kB
Writeback:           0 kB
AnonPages:     1860228 kB
Mapped:          24664 kB
Slab:           156536 kB
PageTables:      37764 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 44327420 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= 74000 MiB
End job on node109 at 2011-06-04 07:49:23