Trace number 3492593

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 2011-06-08MSAT (TO) 1800.14 1796.56

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-51-50--soft-0-100-0.wbo
MD5SUMcff5777a0058b9c867497918edde4ff2
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.203968
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2550
Total number of constraints101
Number of soft constraints101
Number of constraints which are clauses51
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint51
Top cost 5465
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 5464
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 52
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		9996466904
0.00/0.09	c Max memory 		10048897024
0.00/0.09	c Total memory 		10048897024
0.00/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3492593-1307910932.wbo
0.10/0.11	c reading problem ... 
0.29/0.23	c ... done. Wall clock time 0.121s.
0.29/0.23	c #vars     2651
0.29/0.23	c #constraints  101
0.29/0.23	c constraints type 
0.29/0.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 51
0.29/0.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 50
0.54/0.38	c SATISFIABLE
0.54/0.38	c OPTIMIZING...
0.54/0.38	c Got one! Elapsed wall clock time (in seconds):0.269
0.54/0.38	o 30
0.83/0.46	c Got one! Elapsed wall clock time (in seconds):0.348
0.83/0.46	o 3
1.20/0.76	c Got one! Elapsed wall clock time (in seconds):0.652
1.20/0.76	o 2
1.51/1.10	c Got one! Elapsed wall clock time (in seconds):0.989
1.51/1.10	o 1
2.41/1.97	c cleaning 3008 clauses out of 6029 with flag 3000/6029
4.56/4.04	c cleaning 4463 clauses out of 9022 with flag 9001/12030
7.17/6.60	c cleaning 5736 clauses out of 11560 with flag 16002/19031
10.09/9.58	c cleaning 6865 clauses out of 13822 with flag 24000/27029
13.75/13.10	c cleaning 7916 clauses out of 15957 with flag 33000/36029
18.16/17.56	c cleaning 8985 clauses out of 18041 with flag 43000/46029
22.16/21.59	c cleaning 9486 clauses out of 19058 with flag 53002/56031
27.48/26.83	c cleaning 9732 clauses out of 19572 with flag 63002/66031
33.50/32.85	c cleaning 9872 clauses out of 19842 with flag 73004/76033
37.02/36.38	c cleaning 9962 clauses out of 19967 with flag 83001/86030
40.92/40.22	c cleaning 9983 clauses out of 20007 with flag 93003/96032
45.13/44.48	c cleaning 9986 clauses out of 20023 with flag 103002/106031
49.64/48.93	c cleaning 9950 clauses out of 20037 with flag 113002/116031
53.84/53.17	c cleaning 9991 clauses out of 20085 with flag 123000/126029
58.16/57.42	c cleaning 10016 clauses out of 20095 with flag 133001/136030
64.36/63.60	c cleaning 9980 clauses out of 20079 with flag 143001/146030
71.88/71.19	c cleaning 9995 clauses out of 20099 with flag 153001/156030
77.80/77.05	c cleaning 9985 clauses out of 20104 with flag 163001/166030
83.01/82.26	c cleaning 9992 clauses out of 20120 with flag 173002/176031
86.82/86.01	c cleaning 10008 clauses out of 20128 with flag 183002/186031
91.13/90.30	c cleaning 9999 clauses out of 20119 with flag 193001/196030
95.94/95.17	c cleaning 10020 clauses out of 20119 with flag 203000/206029
100.85/100.01	c cleaning 10032 clauses out of 20101 with flag 213002/216031
106.86/106.08	c cleaning 10017 clauses out of 20070 with flag 223003/226032
112.67/111.86	c cleaning 10008 clauses out of 20052 with flag 233002/236031
119.89/119.02	c cleaning 10003 clauses out of 20042 with flag 243000/246029
127.50/126.67	c cleaning 10002 clauses out of 20040 with flag 253001/256030
131.31/130.41	c cleaning 10017 clauses out of 20037 with flag 263000/266029
134.83/133.93	c cleaning 9989 clauses out of 20020 with flag 273000/276029
140.03/139.12	c cleaning 9993 clauses out of 20031 with flag 283000/286029
145.44/144.58	c cleaning 9995 clauses out of 20038 with flag 293000/296029
151.75/150.80	c cleaning 9990 clauses out of 20043 with flag 303000/306029
158.17/157.22	c cleaning 10011 clauses out of 20056 with flag 313003/316032
165.27/164.37	c cleaning 9999 clauses out of 20042 with flag 323000/326029
172.98/172.09	c cleaning 9983 clauses out of 20044 with flag 333001/336030
179.79/178.87	c cleaning 9998 clauses out of 20064 with flag 343004/346033
186.70/185.72	c cleaning 9987 clauses out of 20062 with flag 353000/356029
194.01/193.05	c cleaning 10001 clauses out of 20082 with flag 363007/366036
201.02/200.02	c cleaning 9998 clauses out of 20075 with flag 373001/376030
207.53/206.50	c cleaning 9999 clauses out of 20078 with flag 383002/386031
212.14/211.19	c cleaning 10018 clauses out of 20078 with flag 393001/396030
217.85/216.80	c cleaning 9991 clauses out of 20059 with flag 403000/406029
225.86/224.88	c cleaning 9953 clauses out of 20069 with flag 413001/416030
231.67/230.60	c cleaning 10007 clauses out of 20116 with flag 423001/426030
237.28/236.28	c cleaning 9986 clauses out of 20111 with flag 433003/436032
244.21/243.15	c cleaning 9995 clauses out of 20122 with flag 443000/446029
249.71/248.63	c cleaning 10030 clauses out of 20127 with flag 453000/456029
257.11/256.06	c cleaning 9984 clauses out of 20097 with flag 463000/466029
265.52/264.48	c cleaning 9976 clauses out of 20114 with flag 473001/476030
270.83/269.71	c cleaning 10025 clauses out of 20138 with flag 483001/486030
276.15/275.01	c cleaning 10009 clauses out of 20112 with flag 493000/496029
282.05/280.97	c cleaning 10007 clauses out of 20106 with flag 503003/506032
287.36/286.28	c cleaning 10005 clauses out of 20097 with flag 513001/516030
292.36/291.29	c cleaning 10030 clauses out of 20095 with flag 523004/526033
298.37/297.28	c cleaning 10005 clauses out of 20061 with flag 533000/536029
304.17/303.05	c cleaning 10002 clauses out of 20056 with flag 543000/546029
310.08/308.94	c cleaning 9997 clauses out of 20055 with flag 553001/556030
315.99/314.83	c cleaning 10008 clauses out of 20058 with flag 563001/566030
321.80/320.65	c cleaning 10003 clauses out of 20053 with flag 573004/576033
328.61/327.49	c cleaning 9997 clauses out of 20047 with flag 583001/586030
332.91/331.78	c cleaning 9967 clauses out of 20049 with flag 593000/596029
337.93/336.80	c cleaning 10011 clauses out of 20084 with flag 603002/606031
344.54/343.37	c cleaning 10026 clauses out of 20071 with flag 613000/616029
350.64/349.49	c cleaning 10001 clauses out of 20047 with flag 623002/626031
356.15/354.96	c cleaning 9994 clauses out of 20044 with flag 633000/636029
361.26/360.06	c cleaning 10002 clauses out of 20056 with flag 643006/646035
366.29/365.06	c cleaning 9990 clauses out of 20048 with flag 653000/656029
371.30/370.03	c cleaning 10009 clauses out of 20059 with flag 663001/666030
377.01/375.70	c cleaning 9991 clauses out of 20049 with flag 673000/676029
383.02/381.75	c cleaning 9998 clauses out of 20058 with flag 683000/686029
389.43/388.13	c cleaning 10006 clauses out of 20061 with flag 693001/696030
396.73/395.49	c cleaning 9994 clauses out of 20059 with flag 703005/706034
404.75/403.49	c cleaning 10005 clauses out of 20061 with flag 713001/716030
411.67/410.37	c cleaning 10011 clauses out of 20055 with flag 723000/726029
418.87/417.51	c cleaning 10007 clauses out of 20048 with flag 733004/736033
426.48/425.20	c cleaning 10003 clauses out of 20041 with flag 743004/746033
434.00/432.60	c cleaning 9999 clauses out of 20035 with flag 753001/756030
441.41/440.07	c cleaning 10001 clauses out of 20037 with flag 763002/766031
448.41/447.01	c cleaning 9997 clauses out of 20035 with flag 773001/776030
454.83/453.45	c cleaning 9988 clauses out of 20038 with flag 783001/786030
461.74/460.39	c cleaning 9985 clauses out of 20051 with flag 793002/796031
468.15/466.72	c cleaning 9997 clauses out of 20065 with flag 803001/806030
475.06/473.60	c cleaning 10006 clauses out of 20072 with flag 813005/816034
481.37/479.99	c cleaning 10002 clauses out of 20064 with flag 823003/826032
487.78/486.38	c cleaning 9989 clauses out of 20059 with flag 833000/836029
494.89/493.45	c cleaning 9986 clauses out of 20071 with flag 843001/846030
502.40/500.97	c cleaning 10012 clauses out of 20086 with flag 853002/856031
509.31/507.86	c cleaning 10004 clauses out of 20072 with flag 863000/866029
515.61/514.14	c cleaning 10003 clauses out of 20069 with flag 873001/876030
521.42/519.91	c cleaning 10003 clauses out of 20066 with flag 883001/886030
525.04/523.60	c cleaning 9993 clauses out of 20062 with flag 893000/896029
530.05/528.56	c cleaning 9981 clauses out of 20069 with flag 903000/906029
534.96/533.44	c cleaning 9997 clauses out of 20089 with flag 913001/916030
540.26/538.70	c cleaning 10002 clauses out of 20092 with flag 923001/926030
546.67/545.14	c cleaning 10004 clauses out of 20089 with flag 933000/936029
552.88/551.32	c cleaning 10022 clauses out of 20089 with flag 943004/946033
560.39/558.84	c cleaning 10005 clauses out of 20064 with flag 953001/956030
567.81/566.26	c cleaning 9968 clauses out of 20062 with flag 963004/966033
573.12/571.54	c cleaning 10020 clauses out of 20091 with flag 973001/976030
578.92/577.33	c cleaning 10002 clauses out of 20070 with flag 983000/986029
584.94/583.32	c cleaning 10006 clauses out of 20069 with flag 993001/996030
591.34/589.73	c cleaning 9993 clauses out of 20064 with flag 1003002/1006031
596.85/595.29	c cleaning 9998 clauses out of 20069 with flag 1013000/1016029
603.37/601.78	c cleaning 10008 clauses out of 20071 with flag 1023000/1026029
609.78/608.14	c cleaning 9997 clauses out of 20063 with flag 1033000/1036029
616.60/614.97	c cleaning 10009 clauses out of 20067 with flag 1043001/1046030
623.40/621.75	c cleaning 9998 clauses out of 20057 with flag 1053000/1056029
629.61/627.92	c cleaning 10006 clauses out of 20061 with flag 1063002/1066031
636.12/634.49	c cleaning 10002 clauses out of 20057 with flag 1073004/1076033
641.94/640.22	c cleaning 9973 clauses out of 20052 with flag 1083001/1086030
648.55/646.82	c cleaning 10000 clauses out of 20079 with flag 1093001/1096030
655.35/653.66	c cleaning 9996 clauses out of 20078 with flag 1103000/1106029
662.06/660.34	c cleaning 10000 clauses out of 20082 with flag 1113000/1116029
668.68/666.98	c cleaning 10002 clauses out of 20086 with flag 1123004/1126033
675.30/673.54	c cleaning 9999 clauses out of 20082 with flag 1133002/1136031
682.00/680.21	c cleaning 9997 clauses out of 20081 with flag 1143000/1146029
688.22/686.49	c cleaning 10003 clauses out of 20085 with flag 1153001/1156030
694.52/692.78	c cleaning 9998 clauses out of 20083 with flag 1163002/1166031
700.83/699.08	c cleaning 10001 clauses out of 20083 with flag 1173000/1176029
706.84/705.10	c cleaning 10017 clauses out of 20083 with flag 1183001/1186030
714.55/712.78	c cleaning 10014 clauses out of 20066 with flag 1193001/1196030
722.86/721.04	c cleaning 10005 clauses out of 20053 with flag 1203002/1206031
730.77/728.97	c cleaning 9992 clauses out of 20049 with flag 1213003/1216032
739.39/737.51	c cleaning 10016 clauses out of 20054 with flag 1223000/1226029
748.62/746.76	c cleaning 10002 clauses out of 20038 with flag 1233000/1236029
757.43/755.59	c cleaning 10003 clauses out of 20037 with flag 1243001/1246030
764.85/762.94	c cleaning 10005 clauses out of 20035 with flag 1253002/1256031
773.96/772.08	c cleaning 10001 clauses out of 20029 with flag 1263001/1266030
781.89/779.93	c cleaning 9997 clauses out of 20027 with flag 1273000/1276029
789.90/787.98	c cleaning 9995 clauses out of 20031 with flag 1283001/1286030
798.32/796.40	c cleaning 10002 clauses out of 20036 with flag 1293001/1296030
805.73/803.79	c cleaning 9972 clauses out of 20034 with flag 1303001/1306030
813.75/811.72	c cleaning 10017 clauses out of 20066 with flag 1313005/1316034
821.74/819.72	c cleaning 10001 clauses out of 20044 with flag 1323000/1326029
825.26/823.24	c cleaning 9965 clauses out of 20044 with flag 1333001/1336030
828.57/826.59	c cleaning 9954 clauses out of 20080 with flag 1343002/1346031
832.77/830.77	c cleaning 10031 clauses out of 20125 with flag 1353001/1356030
837.78/835.71	c cleaning 10009 clauses out of 20093 with flag 1363000/1366029
842.09/840.03	c cleaning 10007 clauses out of 20086 with flag 1373002/1376031
846.20/844.15	c cleaning 10002 clauses out of 20077 with flag 1383000/1386029
852.52/850.42	c cleaning 10007 clauses out of 20075 with flag 1393000/1396029
858.53/856.49	c cleaning 10006 clauses out of 20069 with flag 1403001/1406030
865.34/863.21	c cleaning 9975 clauses out of 20064 with flag 1413002/1416031
873.16/871.04	c cleaning 9997 clauses out of 20088 with flag 1423001/1426030
880.17/878.00	c cleaning 9989 clauses out of 20090 with flag 1433000/1436029
888.39/886.28	c cleaning 9980 clauses out of 20102 with flag 1443001/1446030
896.30/894.17	c cleaning 10012 clauses out of 20122 with flag 1453001/1456030
901.71/899.54	c cleaning 10032 clauses out of 20109 with flag 1463000/1466029
908.53/906.40	c cleaning 10017 clauses out of 20078 with flag 1473001/1476030
915.55/913.30	c cleaning 10013 clauses out of 20064 with flag 1483004/1486033
922.97/920.73	c cleaning 10001 clauses out of 20047 with flag 1493000/1496029
930.28/928.07	c cleaning 10003 clauses out of 20047 with flag 1503001/1506030
937.69/935.45	c cleaning 10003 clauses out of 20044 with flag 1513001/1516030
944.11/941.80	c cleaning 9995 clauses out of 20040 with flag 1523000/1526029
950.81/948.53	c cleaning 10002 clauses out of 20045 with flag 1533000/1536029
958.23/955.96	c cleaning 9995 clauses out of 20044 with flag 1543001/1546030
965.44/963.14	c cleaning 10001 clauses out of 20048 with flag 1553000/1556029
971.86/969.59	c cleaning 9988 clauses out of 20051 with flag 1563004/1566033
978.46/976.19	c cleaning 10006 clauses out of 20061 with flag 1573002/1576031
984.98/982.64	c cleaning 10005 clauses out of 20053 with flag 1583000/1586029
991.49/989.11	c cleaning 9979 clauses out of 20048 with flag 1593000/1596029
998.10/995.74	c cleaning 10013 clauses out of 20072 with flag 1603003/1606032
1004.81/1002.46	c cleaning 9996 clauses out of 20057 with flag 1613001/1616030
1010.73/1008.39	c cleaning 9993 clauses out of 20061 with flag 1623001/1626030
1017.54/1015.17	c cleaning 10006 clauses out of 20067 with flag 1633000/1636029
1025.15/1022.72	c cleaning 10006 clauses out of 20062 with flag 1643001/1646030
1032.07/1029.69	c cleaning 10000 clauses out of 20055 with flag 1653000/1656029
1039.38/1036.94	c cleaning 10001 clauses out of 20057 with flag 1663002/1666031
1047.00/1044.50	c cleaning 10005 clauses out of 20060 with flag 1673006/1676035
1054.51/1052.09	c cleaning 9973 clauses out of 20050 with flag 1683001/1686030
1061.62/1059.15	c cleaning 10020 clauses out of 20083 with flag 1693007/1696036
1068.44/1065.96	c cleaning 9999 clauses out of 20058 with flag 1703002/1706031
1076.45/1073.98	c cleaning 9988 clauses out of 20057 with flag 1713000/1716029
1086.16/1083.61	c cleaning 10005 clauses out of 20074 with flag 1723005/1726034
1092.97/1090.47	c cleaning 10005 clauses out of 20066 with flag 1733002/1736031
1100.18/1097.67	c cleaning 9999 clauses out of 20060 with flag 1743001/1746030
1107.39/1104.81	c cleaning 10007 clauses out of 20070 with flag 1753010/1756039
1115.61/1113.08	c cleaning 9996 clauses out of 20054 with flag 1763001/1766030
1121.41/1118.88	c cleaning 9994 clauses out of 20061 with flag 1773004/1776033
1127.32/1124.74	c cleaning 9994 clauses out of 20063 with flag 1783000/1786029
1133.44/1130.87	c cleaning 9998 clauses out of 20071 with flag 1793002/1796031
1139.94/1137.32	c cleaning 9991 clauses out of 20073 with flag 1803002/1806031
1147.05/1144.46	c cleaning 10004 clauses out of 20082 with flag 1813002/1816031
1153.37/1150.78	c cleaning 9998 clauses out of 20076 with flag 1823000/1826029
1159.79/1157.11	c cleaning 10003 clauses out of 20081 with flag 1833003/1836032
1166.50/1163.82	c cleaning 10000 clauses out of 20075 with flag 1843000/1846029
1173.91/1171.23	c cleaning 9999 clauses out of 20076 with flag 1853001/1856030
1180.22/1177.52	c cleaning 10002 clauses out of 20077 with flag 1863001/1866030
1187.43/1184.71	c cleaning 9996 clauses out of 20076 with flag 1873002/1876031
1194.04/1191.33	c cleaning 10005 clauses out of 20079 with flag 1883001/1886030
1201.35/1198.63	c cleaning 10001 clauses out of 20074 with flag 1893001/1896030
1208.16/1205.44	c cleaning 9999 clauses out of 20072 with flag 1903000/1906029
1215.27/1212.55	c cleaning 9997 clauses out of 20073 with flag 1913000/1916029
1222.17/1219.45	c cleaning 9998 clauses out of 20078 with flag 1923002/1926031
1228.87/1226.18	c cleaning 10002 clauses out of 20079 with flag 1933001/1936030
1235.17/1232.49	c cleaning 9995 clauses out of 20076 with flag 1943000/1946029
1241.78/1239.09	c cleaning 10002 clauses out of 20082 with flag 1953001/1956030
1248.28/1245.57	c cleaning 10002 clauses out of 20079 with flag 1963000/1966029
1254.69/1251.99	c cleaning 9998 clauses out of 20077 with flag 1973000/1976029
1261.40/1258.66	c cleaning 10006 clauses out of 20083 with flag 1983004/1986033
1265.61/1262.85	c cleaning 9975 clauses out of 20073 with flag 1993000/1996029
1270.91/1268.16	c cleaning 10000 clauses out of 20099 with flag 2003001/2006030
1275.73/1272.91	c cleaning 9991 clauses out of 20098 with flag 2013000/2016029
1281.94/1279.15	c cleaning 9980 clauses out of 20107 with flag 2023000/2026029
1287.86/1285.07	c cleaning 10043 clauses out of 20128 with flag 2033001/2036030
1294.66/1291.85	c cleaning 10019 clauses out of 20084 with flag 2043000/2046029
1300.78/1297.95	c cleaning 10007 clauses out of 20067 with flag 2053002/2056031
1307.18/1304.38	c cleaning 10000 clauses out of 20059 with flag 2063001/2066030
1313.90/1311.05	c cleaning 9989 clauses out of 20059 with flag 2073001/2076030
1320.31/1317.45	c cleaning 10007 clauses out of 20071 with flag 2083002/2086031
1327.23/1324.32	c cleaning 10010 clauses out of 20064 with flag 2093002/2096031
1334.14/1331.26	c cleaning 9997 clauses out of 20054 with flag 2103002/2106031
1341.15/1338.22	c cleaning 10007 clauses out of 20055 with flag 2113000/2116029
1347.37/1344.43	c cleaning 9997 clauses out of 20050 with flag 2123002/2126031
1354.47/1351.50	c cleaning 9973 clauses out of 20051 with flag 2133000/2136029
1361.19/1358.22	c cleaning 10019 clauses out of 20078 with flag 2143000/2146029
1368.50/1365.55	c cleaning 10004 clauses out of 20060 with flag 2153001/2156030
1375.11/1372.12	c cleaning 10004 clauses out of 20057 with flag 2163002/2166031
1382.02/1379.01	c cleaning 10001 clauses out of 20053 with flag 2173002/2176031
1388.23/1385.29	c cleaning 9992 clauses out of 20050 with flag 2183000/2186029
1394.74/1391.74	c cleaning 9997 clauses out of 20058 with flag 2193000/2196029
1401.86/1398.89	c cleaning 10010 clauses out of 20064 with flag 2203003/2206032
1409.47/1406.47	c cleaning 10000 clauses out of 20052 with flag 2213001/2216030
1416.78/1413.73	c cleaning 10005 clauses out of 20058 with flag 2223007/2226036
1423.59/1420.54	c cleaning 9992 clauses out of 20046 with flag 2233000/2236029
1430.50/1427.47	c cleaning 9988 clauses out of 20056 with flag 2243002/2246031
1437.21/1434.17	c cleaning 10002 clauses out of 20066 with flag 2253000/2256029
1444.53/1441.43	c cleaning 10007 clauses out of 20064 with flag 2263000/2266029
1451.85/1448.79	c cleaning 10002 clauses out of 20058 with flag 2273001/2276030
1458.36/1455.29	c cleaning 10006 clauses out of 20056 with flag 2283001/2286030
1465.76/1462.64	c cleaning 9998 clauses out of 20050 with flag 2293001/2296030
1473.48/1470.31	c cleaning 10006 clauses out of 20051 with flag 2303000/2306029
1481.50/1478.40	c cleaning 10004 clauses out of 20049 with flag 2313004/2316033
1489.01/1485.88	c cleaning 9987 clauses out of 20042 with flag 2323001/2326030
1496.82/1493.69	c cleaning 9999 clauses out of 20054 with flag 2333000/2336029
1505.04/1501.82	c cleaning 10000 clauses out of 20055 with flag 2343000/2346029
1513.16/1509.99	c cleaning 10009 clauses out of 20057 with flag 2353002/2356031
1521.36/1518.14	c cleaning 10002 clauses out of 20048 with flag 2363002/2366031
1530.17/1526.92	c cleaning 10003 clauses out of 20048 with flag 2373004/2376033
1539.38/1536.14	c cleaning 10000 clauses out of 20042 with flag 2383001/2386030
1547.89/1544.64	c cleaning 9999 clauses out of 20044 with flag 2393003/2396032
1555.41/1552.17	c cleaning 9998 clauses out of 20042 with flag 2403000/2406029
1564.01/1560.73	c cleaning 9991 clauses out of 20044 with flag 2413000/2416029
1572.21/1568.98	c cleaning 10005 clauses out of 20053 with flag 2423000/2426029
1580.12/1576.83	c cleaning 9986 clauses out of 20049 with flag 2433001/2436030
1586.93/1583.61	c cleaning 9988 clauses out of 20064 with flag 2443002/2446031
1593.74/1590.47	c cleaning 9991 clauses out of 20074 with flag 2453000/2456029
1600.74/1597.41	c cleaning 9999 clauses out of 20083 with flag 2463000/2466029
1608.05/1604.73	c cleaning 9999 clauses out of 20086 with flag 2473002/2476031
1615.06/1611.74	c cleaning 10001 clauses out of 20085 with flag 2483000/2486029
1622.26/1618.91	c cleaning 10004 clauses out of 20086 with flag 2493002/2496031
1628.97/1625.65	c cleaning 9999 clauses out of 20081 with flag 2503001/2506030
1635.78/1632.42	c cleaning 10001 clauses out of 20083 with flag 2513002/2516031
1642.28/1639.00	c cleaning 9990 clauses out of 20082 with flag 2523002/2526031
1649.29/1645.97	c cleaning 10008 clauses out of 20092 with flag 2533002/2536031
1656.70/1653.37	c cleaning 10003 clauses out of 20082 with flag 2543000/2546029
1664.10/1660.78	c cleaning 10003 clauses out of 20083 with flag 2553004/2556033
1671.51/1668.11	c cleaning 9998 clauses out of 20077 with flag 2563001/2566030
1678.62/1675.25	c cleaning 9997 clauses out of 20079 with flag 2573001/2576030
1685.73/1682.38	c cleaning 10001 clauses out of 20082 with flag 2583001/2586030
1692.83/1689.40	c cleaning 9995 clauses out of 20082 with flag 2593002/2596031
1700.14/1696.76	c cleaning 10003 clauses out of 20087 with flag 2603002/2606031
1707.25/1703.90	c cleaning 10001 clauses out of 20082 with flag 2613000/2616029
1714.55/1711.19	c cleaning 9992 clauses out of 20081 with flag 2623000/2626029
1721.85/1718.41	c cleaning 10003 clauses out of 20090 with flag 2633001/2636030
1728.75/1725.34	c cleaning 9992 clauses out of 20086 with flag 2643000/2646029
1735.96/1732.57	c cleaning 10018 clauses out of 20094 with flag 2653000/2656029
1742.26/1738.80	c cleaning 10008 clauses out of 20076 with flag 2663000/2666029
1749.08/1745.60	c cleaning 9995 clauses out of 20068 with flag 2673000/2676029
1755.48/1752.09	c cleaning 10002 clauses out of 20075 with flag 2683002/2686031
1762.69/1759.29	c cleaning 10014 clauses out of 20078 with flag 2693007/2696036
1769.60/1766.14	c cleaning 9994 clauses out of 20057 with flag 2703000/2706029
1776.51/1773.03	c cleaning 10006 clauses out of 20066 with flag 2713003/2716032
1783.02/1779.54	c cleaning 9989 clauses out of 20057 with flag 2723000/2726029
1789.83/1786.37	c cleaning 10005 clauses out of 20068 with flag 2733000/2736029
1796.93/1793.44	c cleaning 10007 clauses out of 20064 with flag 2743001/2746030
1800.04/1796.51	c starts		: 235
1800.04/1796.51	c conflicts		: 2750778
1800.04/1796.51	c decisions		: 4045738
1800.04/1796.51	c propagations		: 76425422
1800.04/1796.51	c inspects		: 4083167383
1800.04/1796.51	c shortcuts		: 0
1800.04/1796.51	c learnt literals	: 0
1800.04/1796.51	c learnt binary clauses	: 0
1800.04/1796.51	c learnt ternary clauses	: 0
1800.04/1796.51	c learnt constraints	: 2750777
1800.04/1796.51	c ignored constraints	: 0
1800.04/1796.51	c root simplifications	: 0
1800.04/1796.51	c removed literals (reason simplification)	: 28130043
1800.04/1796.51	c reason swapping (by a shorter reason)	: 0
1800.04/1796.51	c Calls to reduceDB	: 276
1800.04/1796.51	c number of reductions to clauses (during analyze)	: 0
1800.04/1796.51	c number of learned constraints concerned by reduction	: 0
1800.04/1796.51	c number of learning phase by resolution	: 0
1800.04/1796.51	c number of learning phase by cutting planes	: 0
1800.04/1796.51	c speed (assignments/second)	: 42567.066500613786
1800.04/1796.51	c non guided choices	96615
1800.04/1796.52	c learnt constraints type 
1800.04/1796.52	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 14824
1800.04/1796.52	c constraints type 
1800.04/1796.52	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 51
1800.04/1796.52	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 51
1800.04/1796.52	s SATISFIABLE
1800.04/1796.53	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 
1800.04/1796.53	c objective function=1
1800.04/1796.53	c Total wall clock time (in seconds): 1796.426

Verifier Data 

OK	1

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492593-1307910932/watcher-3492593-1307910932 -o /var/tmp/evaluation-result-3492593-1307910932/solver-3492593-1307910932 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492593-1307910932.wbo 

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.00 2.00 2.00 2/195 16137
/proc/meminfo: memFree=3097436/32950928 swapFree=67056212/67111528
[pid=16137] ppid=16135 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/16137/stat : 16137 (java) R 16135 16137 11872 0 -1 4202496 949 0 0 0 0 0 0 0 25 0 1 0 981323838 23580672 691 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256410469808 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/16137/statm: 5757 691 508 9 0 124 0

[startup+0.013946 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 16137
/proc/meminfo: memFree=3097436/32950928 swapFree=67056212/67111528
[pid=16137] ppid=16135 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/16137/stat : 16137 (java) S 16135 16137 11872 0 -1 4202496 3164 0 1 0 0 0 0 0 25 0 2 0 981323838 10694979584 2865 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/16137/statm: 2611079 2885 917 9 0 2602235 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10444316

[startup+0.100984 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 16137
/proc/meminfo: memFree=3097436/32950928 swapFree=67056212/67111528
[pid=16137] ppid=16135 vsize=10540316 CPUtime=0.1 cores=0,2,4,6
/proc/16137/stat : 16137 (java) S 16135 16137 11872 0 -1 4202496 13074 0 1 0 8 2 0 0 25 0 18 0 981323838 10793283584 12750 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16137/statm: 2635079 12751 2093 9 0 2625813 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540316

[startup+0.300927 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 16137
/proc/meminfo: memFree=3097436/32950928 swapFree=67056212/67111528
[pid=16137] ppid=16135 vsize=10543448 CPUtime=0.54 cores=0,2,4,6
/proc/16137/stat : 16137 (java) S 16135 16137 11872 0 -1 4202496 15896 0 1 0 52 2 0 0 25 0 19 0 981323838 10796490752 15123 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16137/statm: 2635862 15123 2215 9 0 2626596 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10543448

[startup+0.700839 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 16137
/proc/meminfo: memFree=3097436/32950928 swapFree=67056212/67111528
[pid=16137] ppid=16135 vsize=10544292 CPUtime=1.2 cores=0,2,4,6
/proc/16137/stat : 16137 (java) S 16135 16137 11872 0 -1 4202496 17443 0 1 0 117 3 0 0 25 0 19 0 981323838 10797355008 16245 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16137/statm: 2636073 16245 2223 9 0 2626807 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 10544292

[startup+1.50069 s]
/proc/loadavg: 2.00 2.00 2.00 4/214 16156
/proc/meminfo: memFree=3038604/32950928 swapFree=67056212/67111528
[pid=16137] ppid=16135 vsize=10544428 CPUtime=2.01 cores=0,2,4,6
/proc/16137/stat : 16137 (java) S 16135 16137 11872 0 -1 4202496 18661 0 1 0 198 3 0 0 25 0 19 0 981323838 10797494272 17462 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16137/statm: 2636107 17462 2225 9 0 2626841 0
[pid=16137/tid=16139] ppid=16135 vsize=10544428 CPUtime=1.48 cores=0,2,4,6
/proc/16137/task/16139/stat : 16139 (java) R 16135 16137 11872 0 -1 4202560 14384 0 1 0 146 2 0 0 19 0 19 0 981323838 10797494272 17462 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 46912505594821 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16137/tid=16140] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16140/stat : 16140 (java) S 16135 16137 11872 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323840 10797494272 17462 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16137/tid=16141] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16141/stat : 16141 (java) S 16135 16137 11872 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323840 10797494272 17462 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
[pid=16137/tid=16142] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16142/stat : 16142 (java) S 16135 16137 11872 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323840 10797494272 17462 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16137/tid=16143] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16143/stat : 16143 (java) S 16135 16137 11872 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323840 10797494272 17462 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
[pid=16137/tid=16144] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16144/stat : 16144 (java) S 16135 16137 11872 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323840 10797494272 17462 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16137/tid=16145] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16145/stat : 16145 (java) S 16135 16137 11872 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323840 10797494272 17462 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
[pid=16137/tid=16146] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16146/stat : 16146 (java) S 16135 16137 11872 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981323840 10797494272 17462 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16137/tid=16147] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16147/stat : 16147 (java) S 16135 16137 11872 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323840 10797494272 17462 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16137/tid=16148] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16148/stat : 16148 (java) S 16135 16137 11872 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 981323841 10797494272 17462 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427208192 0 0 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
[pid=16137/tid=16149] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16149/stat : 16149 (java) S 16135 16137 11872 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 981323841 10797494272 17462 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16150] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16150/stat : 16150 (java) S 16135 16137 11872 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981323841 10797494272 17462 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16151] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16151/stat : 16151 (java) S 16135 16137 11872 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323844 10797494272 17462 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427215281 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16152] ppid=16135 vsize=10544428 CPUtime=0.24 cores=0,2,4,6
/proc/16137/task/16152/stat : 16152 (java) S 16135 16137 11872 0 -1 4202560 1483 0 0 0 24 0 0 0 15 0 19 0 981323844 10797494272 17462 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16137/tid=16153] ppid=16135 vsize=10544428 CPUtime=0.27 cores=0,2,4,6
/proc/16137/task/16153/stat : 16153 (java) S 16135 16137 11872 0 -1 4202560 1632 0 0 0 27 0 0 0 15 0 19 0 981323844 10797494272 17462 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16137/tid=16154] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16154/stat : 16154 (java) S 16135 16137 11872 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323844 10797494272 17462 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16155] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16155/stat : 16155 (java) S 16135 16137 11872 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981323844 10797494272 17462 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427208192 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16137/tid=16156] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16156/stat : 16156 (java) S 16135 16137 11872 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981323862 10797494272 17462 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427208192 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 10544428

[startup+3.10138 s]
/proc/loadavg: 2.16 2.04 2.01 3/214 16156
/proc/meminfo: memFree=3024344/32950928 swapFree=67056212/67111528
[pid=16137] ppid=16135 vsize=10544428 CPUtime=3.64 cores=0,2,4,6
/proc/16137/stat : 16137 (java) S 16135 16137 11872 0 -1 4202496 21538 0 1 0 361 3 0 0 25 0 19 0 981323838 10797494272 20334 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16137/statm: 2636107 20334 2251 9 0 2626841 0
[pid=16137/tid=16139] ppid=16135 vsize=10544428 CPUtime=3.06 cores=0,2,4,6
/proc/16137/task/16139/stat : 16139 (java) R 16135 16137 11872 0 -1 4202560 14971 0 1 0 304 2 0 0 23 0 19 0 981323838 10797494272 20334 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 46912505625555 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16137/tid=16140] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16140/stat : 16140 (java) S 16135 16137 11872 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981323840 10797494272 20334 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16137/tid=16141] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16141/stat : 16141 (java) S 16135 16137 11872 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981323840 10797494272 20334 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16142] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16142/stat : 16142 (java) S 16135 16137 11872 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981323840 10797494272 20334 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16137/tid=16143] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16143/stat : 16143 (java) S 16135 16137 11872 0 -1 4202560 410 0 0 0 0 0 0 0 17 0 19 0 981323840 10797494272 20334 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16144] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16144/stat : 16144 (java) S 16135 16137 11872 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981323840 10797494272 20334 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16137/tid=16145] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16145/stat : 16145 (java) S 16135 16137 11872 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981323840 10797494272 20334 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16146] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16146/stat : 16146 (java) S 16135 16137 11872 0 -1 4202560 224 0 0 0 0 0 0 0 18 0 19 0 981323840 10797494272 20334 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16147] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16147/stat : 16147 (java) S 16135 16137 11872 0 -1 4202560 516 0 0 0 0 0 0 0 18 0 19 0 981323840 10797494272 20334 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16137/tid=16148] ppid=16135 vsize=10544428 CPUtime=0.01 cores=0,2,4,6
/proc/16137/task/16148/stat : 16148 (java) S 16135 16137 11872 0 -1 4202560 1136 0 0 0 1 0 0 0 15 0 19 0 981323841 10797494272 20334 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427208192 0 0 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
[pid=16137/tid=16149] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16149/stat : 16149 (java) S 16135 16137 11872 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981323841 10797494272 20334 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16150] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16150/stat : 16150 (java) S 16135 16137 11872 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 981323841 10797494272 20334 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16151] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16151/stat : 16151 (java) S 16135 16137 11872 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323844 10797494272 20334 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427215281 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16152] ppid=16135 vsize=10544428 CPUtime=0.26 cores=0,2,4,6
/proc/16137/task/16152/stat : 16152 (java) S 16135 16137 11872 0 -1 4202560 1487 0 0 0 26 0 0 0 16 0 19 0 981323844 10797494272 20334 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16137/tid=16153] ppid=16135 vsize=10544428 CPUtime=0.28 cores=0,2,4,6
/proc/16137/task/16153/stat : 16153 (java) S 16135 16137 11872 0 -1 4202560 1637 0 0 0 28 0 0 0 15 0 19 0 981323844 10797494272 20334 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16137/tid=16154] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16154/stat : 16154 (java) S 16135 16137 11872 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323844 10797494272 20334 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16155] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16155/stat : 16155 (java) S 16135 16137 11872 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981323844 10797494272 20334 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427208192 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16137/tid=16156] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16156/stat : 16156 (java) S 16135 16137 11872 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981323862 10797494272 20334 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427208192 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 10544428

[startup+6.30078 s]
/proc/loadavg: 2.16 2.04 2.01 3/214 16156
/proc/meminfo: memFree=3013064/32950928 swapFree=67056212/67111528
[pid=16137] ppid=16135 vsize=10544428 CPUtime=6.87 cores=0,2,4,6
/proc/16137/stat : 16137 (java) S 16135 16137 11872 0 -1 4202496 24223 0 1 0 684 3 0 0 25 0 19 0 981323838 10797494272 22971 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16137/statm: 2636107 22971 2251 9 0 2626841 0
[pid=16137/tid=16139] ppid=16135 vsize=10544428 CPUtime=6.24 cores=0,2,4,6
/proc/16137/task/16139/stat : 16139 (java) R 16135 16137 11872 0 -1 4202560 14974 0 1 0 622 2 0 0 25 0 19 0 981323838 10797494272 22971 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 46912505650186 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16137/tid=16140] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16140/stat : 16140 (java) S 16135 16137 11872 0 -1 4202560 1021 0 0 0 0 0 0 0 15 0 19 0 981323840 10797494272 22971 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16137/tid=16141] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16141/stat : 16141 (java) S 16135 16137 11872 0 -1 4202560 487 0 0 0 0 0 0 0 15 0 19 0 981323840 10797494272 22971 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16142] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16142/stat : 16142 (java) S 16135 16137 11872 0 -1 4202560 524 0 0 0 0 0 0 0 16 0 19 0 981323840 10797494272 22971 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16143] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16143/stat : 16143 (java) S 16135 16137 11872 0 -1 4202560 410 0 0 0 0 0 0 0 16 0 19 0 981323840 10797494272 22971 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16144] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16144/stat : 16144 (java) S 16135 16137 11872 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 19 0 981323840 10797494272 22971 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16137/tid=16145] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16145/stat : 16145 (java) S 16135 16137 11872 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981323840 10797494272 22971 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16146] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16146/stat : 16146 (java) S 16135 16137 11872 0 -1 4202560 227 0 0 0 0 0 0 0 18 0 19 0 981323840 10797494272 22971 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16147] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16147/stat : 16147 (java) S 16135 16137 11872 0 -1 4202560 516 0 0 0 0 0 0 0 16 0 19 0 981323840 10797494272 22971 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16137/tid=16148] ppid=16135 vsize=10544428 CPUtime=0.02 cores=0,2,4,6
/proc/16137/task/16148/stat : 16148 (java) S 16135 16137 11872 0 -1 4202560 1749 0 0 0 2 0 0 0 15 0 19 0 981323841 10797494272 22971 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427208192 0 0 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
[pid=16137/tid=16149] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16149/stat : 16149 (java) S 16135 16137 11872 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981323841 10797494272 22971 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16150] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16150/stat : 16150 (java) S 16135 16137 11872 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 981323841 10797494272 22971 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16151] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16151/stat : 16151 (java) S 16135 16137 11872 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323844 10797494272 22971 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427215281 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16152] ppid=16135 vsize=10544428 CPUtime=0.27 cores=0,2,4,6
/proc/16137/task/16152/stat : 16152 (java) S 16135 16137 11872 0 -1 4202560 1489 0 0 0 27 0 0 0 15 0 19 0 981323844 10797494272 22971 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16137/tid=16153] ppid=16135 vsize=10544428 CPUtime=0.29 cores=0,2,4,6
/proc/16137/task/16153/stat : 16153 (java) S 16135 16137 11872 0 -1 4202560 1639 0 0 0 29 0 0 0 15 0 19 0 981323844 10797494272 22971 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16137/tid=16154] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16154/stat : 16154 (java) S 16135 16137 11872 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323844 10797494272 22971 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16155] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16155/stat : 16155 (java) S 16135 16137 11872 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981323844 10797494272 22971 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427208192 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16137/tid=16156] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16156/stat : 16156 (java) S 16135 16137 11872 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981323862 10797494272 22971 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427208192 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.87
Current children cumulated vsize (KiB) 10544428

[startup+12.7016 s]

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

[pid=16137/tid=16145] ppid=16135 vsize=10544428 CPUtime=0.49 cores=0,2,4,6
/proc/16137/task/16145/stat : 16145 (java) S 16135 16137 11872 0 -1 4202560 1945 0 0 0 49 0 0 0 15 0 19 0 981323840 10797494272 57142 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16137/tid=16146] ppid=16135 vsize=10544428 CPUtime=0.49 cores=0,2,4,6
/proc/16137/task/16146/stat : 16146 (java) S 16135 16137 11872 0 -1 4202560 2695 0 0 0 49 0 0 0 15 0 19 0 981323840 10797494272 57142 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16147] ppid=16135 vsize=10544428 CPUtime=0.51 cores=0,2,4,6
/proc/16137/task/16147/stat : 16147 (java) S 16135 16137 11872 0 -1 4202560 1731 0 0 0 51 0 0 0 15 0 19 0 981323840 10797494272 57142 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16137/tid=16148] ppid=16135 vsize=10544428 CPUtime=8.75 cores=0,2,4,6
/proc/16137/task/16148/stat : 16148 (java) S 16135 16137 11872 0 -1 4202560 14682 0 0 0 869 6 0 0 15 0 19 0 981323841 10797494272 57142 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427208192 0 0 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16149] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16149/stat : 16149 (java) S 16135 16137 11872 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981323841 10797494272 57142 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16150] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16150/stat : 16150 (java) S 16135 16137 11872 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 981323841 10797494272 57142 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16151] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16151/stat : 16151 (java) S 16135 16137 11872 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323844 10797494272 57142 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427215281 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16152] ppid=16135 vsize=10544428 CPUtime=0.27 cores=0,2,4,6
/proc/16137/task/16152/stat : 16152 (java) S 16135 16137 11872 0 -1 4202560 1489 0 0 0 27 0 0 0 15 0 19 0 981323844 10797494272 57142 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16137/tid=16153] ppid=16135 vsize=10544428 CPUtime=0.38 cores=0,2,4,6
/proc/16137/task/16153/stat : 16153 (java) S 16135 16137 11872 0 -1 4202560 1654 0 0 0 38 0 0 0 15 0 19 0 981323844 10797494272 57142 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16137/tid=16154] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16154/stat : 16154 (java) S 16135 16137 11872 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323844 10797494272 57142 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16155] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16155/stat : 16155 (java) S 16135 16137 11872 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 981323844 10797494272 57142 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427208192 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16137/tid=16156] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16156/stat : 16156 (java) S 16135 16137 11872 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981323862 10797494272 57142 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427208192 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1725.75
Current children cumulated vsize (KiB) 10544428

[startup+1782.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/214 16274
/proc/meminfo: memFree=2475340/32950928 swapFree=67056212/67111528
[pid=16137] ppid=16135 vsize=10544428 CPUtime=1785.82 cores=0,2,4,6
/proc/16137/stat : 16137 (java) S 16135 16137 11872 0 -1 4202496 58893 0 1 0 178566 16 0 0 25 0 19 0 981323838 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16137/statm: 2636107 57160 2252 9 0 2626841 0
[pid=16137/tid=16139] ppid=16135 vsize=10544428 CPUtime=1771.7 cores=0,2,4,6
/proc/16137/task/16139/stat : 16139 (java) R 16135 16137 11872 0 -1 4202560 21525 0 1 0 177166 4 0 0 25 0 19 0 981323838 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 46912505702151 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16137/tid=16140] ppid=16135 vsize=10544428 CPUtime=0.51 cores=0,2,4,6
/proc/16137/task/16140/stat : 16140 (java) S 16135 16137 11872 0 -1 4202560 3308 0 0 0 51 0 0 0 15 0 19 0 981323840 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16137/tid=16141] ppid=16135 vsize=10544428 CPUtime=0.56 cores=0,2,4,6
/proc/16137/task/16141/stat : 16141 (java) S 16135 16137 11872 0 -1 4202560 1930 0 0 0 56 0 0 0 15 0 19 0 981323840 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16137/tid=16142] ppid=16135 vsize=10544428 CPUtime=0.58 cores=0,2,4,6
/proc/16137/task/16142/stat : 16142 (java) S 16135 16137 11872 0 -1 4202560 3454 0 0 0 58 0 0 0 15 0 19 0 981323840 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16137/tid=16143] ppid=16135 vsize=10544428 CPUtime=0.51 cores=0,2,4,6
/proc/16137/task/16143/stat : 16143 (java) S 16135 16137 11872 0 -1 4202560 1206 0 0 0 51 0 0 0 15 0 19 0 981323840 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16137/tid=16144] ppid=16135 vsize=10544428 CPUtime=0.55 cores=0,2,4,6
/proc/16137/task/16144/stat : 16144 (java) S 16135 16137 11872 0 -1 4202560 2005 0 0 0 55 0 0 0 16 0 19 0 981323840 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
[pid=16137/tid=16145] ppid=16135 vsize=10544428 CPUtime=0.51 cores=0,2,4,6
/proc/16137/task/16145/stat : 16145 (java) S 16135 16137 11872 0 -1 4202560 1951 0 0 0 51 0 0 0 16 0 19 0 981323840 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16137/tid=16146] ppid=16135 vsize=10544428 CPUtime=0.51 cores=0,2,4,6
/proc/16137/task/16146/stat : 16146 (java) S 16135 16137 11872 0 -1 4202560 2698 0 0 0 51 0 0 0 15 0 19 0 981323840 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16137/tid=16147] ppid=16135 vsize=10544428 CPUtime=0.53 cores=0,2,4,6
/proc/16137/task/16147/stat : 16147 (java) S 16135 16137 11872 0 -1 4202560 1733 0 0 0 53 0 0 0 15 0 19 0 981323840 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
[pid=16137/tid=16148] ppid=16135 vsize=10544428 CPUtime=9.1 cores=0,2,4,6
/proc/16137/task/16148/stat : 16148 (java) S 16135 16137 11872 0 -1 4202560 14686 0 0 0 904 6 0 0 15 0 19 0 981323841 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427208192 0 0 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16149] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16149/stat : 16149 (java) S 16135 16137 11872 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981323841 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16150] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16150/stat : 16150 (java) S 16135 16137 11872 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 981323841 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16151] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16151/stat : 16151 (java) S 16135 16137 11872 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323844 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427215281 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16152] ppid=16135 vsize=10544428 CPUtime=0.27 cores=0,2,4,6
/proc/16137/task/16152/stat : 16152 (java) S 16135 16137 11872 0 -1 4202560 1489 0 0 0 27 0 0 0 15 0 19 0 981323844 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16137/tid=16153] ppid=16135 vsize=10544428 CPUtime=0.38 cores=0,2,4,6
/proc/16137/task/16153/stat : 16153 (java) S 16135 16137 11872 0 -1 4202560 1654 0 0 0 38 0 0 0 15 0 19 0 981323844 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16137/tid=16154] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16154/stat : 16154 (java) S 16135 16137 11872 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323844 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16155] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16155/stat : 16155 (java) S 16135 16137 11872 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 981323844 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427208192 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16137/tid=16156] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16156/stat : 16156 (java) S 16135 16137 11872 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981323862 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427208192 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1785.82
Current children cumulated vsize (KiB) 10544428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.5 s]
/proc/loadavg: 2.05 2.02 2.00 3/214 16275
/proc/meminfo: memFree=2475212/32950928 swapFree=67056212/67111528
[pid=16137] ppid=16135 vsize=10544428 CPUtime=1800.04 cores=0,2,4,6
/proc/16137/stat : 16137 (java) S 16135 16137 11872 0 -1 4202496 58899 0 1 0 179988 16 0 0 25 0 19 0 981323838 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16137/statm: 2636107 57160 2252 9 0 2626841 0
[pid=16137/tid=16139] ppid=16135 vsize=10544428 CPUtime=1785.82 cores=0,2,4,6
/proc/16137/task/16139/stat : 16139 (java) R 16135 16137 11872 0 -1 4202560 21527 0 1 0 178578 4 0 0 25 0 19 0 981323838 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 46912505702439 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16137/tid=16140] ppid=16135 vsize=10544428 CPUtime=0.51 cores=0,2,4,6
/proc/16137/task/16140/stat : 16140 (java) S 16135 16137 11872 0 -1 4202560 3308 0 0 0 51 0 0 0 15 0 19 0 981323840 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16137/tid=16141] ppid=16135 vsize=10544428 CPUtime=0.56 cores=0,2,4,6
/proc/16137/task/16141/stat : 16141 (java) S 16135 16137 11872 0 -1 4202560 1930 0 0 0 56 0 0 0 16 0 19 0 981323840 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16137/tid=16142] ppid=16135 vsize=10544428 CPUtime=0.59 cores=0,2,4,6
/proc/16137/task/16142/stat : 16142 (java) S 16135 16137 11872 0 -1 4202560 3454 0 0 0 59 0 0 0 16 0 19 0 981323840 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16137/tid=16143] ppid=16135 vsize=10544428 CPUtime=0.51 cores=0,2,4,6
/proc/16137/task/16143/stat : 16143 (java) S 16135 16137 11872 0 -1 4202560 1206 0 0 0 51 0 0 0 15 0 19 0 981323840 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16137/tid=16144] ppid=16135 vsize=10544428 CPUtime=0.55 cores=0,2,4,6
/proc/16137/task/16144/stat : 16144 (java) S 16135 16137 11872 0 -1 4202560 2005 0 0 0 55 0 0 0 15 0 19 0 981323840 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
[pid=16137/tid=16145] ppid=16135 vsize=10544428 CPUtime=0.51 cores=0,2,4,6
/proc/16137/task/16145/stat : 16145 (java) S 16135 16137 11872 0 -1 4202560 1951 0 0 0 51 0 0 0 15 0 19 0 981323840 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16137/tid=16146] ppid=16135 vsize=10544428 CPUtime=0.51 cores=0,2,4,6
/proc/16137/task/16146/stat : 16146 (java) S 16135 16137 11872 0 -1 4202560 2698 0 0 0 51 0 0 0 15 0 19 0 981323840 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16137/tid=16147] ppid=16135 vsize=10544428 CPUtime=0.53 cores=0,2,4,6
/proc/16137/task/16147/stat : 16147 (java) S 16135 16137 11872 0 -1 4202560 1733 0 0 0 53 0 0 0 16 0 19 0 981323840 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
[pid=16137/tid=16148] ppid=16135 vsize=10544428 CPUtime=9.18 cores=0,2,4,6
/proc/16137/task/16148/stat : 16148 (java) S 16135 16137 11872 0 -1 4202560 14688 0 0 0 912 6 0 0 15 0 19 0 981323841 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427208192 0 0 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16149] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16149/stat : 16149 (java) S 16135 16137 11872 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981323841 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16150] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16150/stat : 16150 (java) S 16135 16137 11872 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 981323841 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16151] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16151/stat : 16151 (java) S 16135 16137 11872 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323844 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427215281 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16152] ppid=16135 vsize=10544428 CPUtime=0.27 cores=0,2,4,6
/proc/16137/task/16152/stat : 16152 (java) S 16135 16137 11872 0 -1 4202560 1489 0 0 0 27 0 0 0 15 0 19 0 981323844 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16137/tid=16153] ppid=16135 vsize=10544428 CPUtime=0.38 cores=0,2,4,6
/proc/16137/task/16153/stat : 16153 (java) S 16135 16137 11872 0 -1 4202560 1654 0 0 0 38 0 0 0 15 0 19 0 981323844 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16137/tid=16154] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16154/stat : 16154 (java) S 16135 16137 11872 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323844 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16155] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16155/stat : 16155 (java) S 16135 16137 11872 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 981323844 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427208192 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16137/tid=16156] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16156/stat : 16156 (java) S 16135 16137 11872 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981323862 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427208192 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10544428

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

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

[startup+1796.5 s]
/proc/loadavg: 2.05 2.02 2.00 3/214 16275
/proc/meminfo: memFree=2475212/32950928 swapFree=67056212/67111528
[pid=16137] ppid=16135 vsize=10544428 CPUtime=1800.04 cores=0,2,4,6
/proc/16137/stat : 16137 (java) S 16135 16137 11872 0 -1 4202496 58899 0 1 0 179988 16 0 0 25 0 19 0 981323838 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16137/statm: 2636107 57160 2252 9 0 2626841 0
[pid=16137/tid=16139] ppid=16135 vsize=10544428 CPUtime=1785.82 cores=0,2,4,6
/proc/16137/task/16139/stat : 16139 (java) R 16135 16137 11872 0 -1 4202560 21527 0 1 0 178578 4 0 0 25 0 19 0 981323838 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 46912505702439 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16137/tid=16140] ppid=16135 vsize=10544428 CPUtime=0.51 cores=0,2,4,6
/proc/16137/task/16140/stat : 16140 (java) S 16135 16137 11872 0 -1 4202560 3308 0 0 0 51 0 0 0 15 0 19 0 981323840 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16137/tid=16141] ppid=16135 vsize=10544428 CPUtime=0.56 cores=0,2,4,6
/proc/16137/task/16141/stat : 16141 (java) S 16135 16137 11872 0 -1 4202560 1930 0 0 0 56 0 0 0 16 0 19 0 981323840 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16137/tid=16142] ppid=16135 vsize=10544428 CPUtime=0.59 cores=0,2,4,6
/proc/16137/task/16142/stat : 16142 (java) S 16135 16137 11872 0 -1 4202560 3454 0 0 0 59 0 0 0 16 0 19 0 981323840 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16137/tid=16143] ppid=16135 vsize=10544428 CPUtime=0.51 cores=0,2,4,6
/proc/16137/task/16143/stat : 16143 (java) S 16135 16137 11872 0 -1 4202560 1206 0 0 0 51 0 0 0 15 0 19 0 981323840 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16137/tid=16144] ppid=16135 vsize=10544428 CPUtime=0.55 cores=0,2,4,6
/proc/16137/task/16144/stat : 16144 (java) S 16135 16137 11872 0 -1 4202560 2005 0 0 0 55 0 0 0 15 0 19 0 981323840 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
[pid=16137/tid=16145] ppid=16135 vsize=10544428 CPUtime=0.51 cores=0,2,4,6
/proc/16137/task/16145/stat : 16145 (java) S 16135 16137 11872 0 -1 4202560 1951 0 0 0 51 0 0 0 15 0 19 0 981323840 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16137/tid=16146] ppid=16135 vsize=10544428 CPUtime=0.51 cores=0,2,4,6
/proc/16137/task/16146/stat : 16146 (java) S 16135 16137 11872 0 -1 4202560 2698 0 0 0 51 0 0 0 15 0 19 0 981323840 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16137/tid=16147] ppid=16135 vsize=10544428 CPUtime=0.53 cores=0,2,4,6
/proc/16137/task/16147/stat : 16147 (java) S 16135 16137 11872 0 -1 4202560 1733 0 0 0 53 0 0 0 16 0 19 0 981323840 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
[pid=16137/tid=16148] ppid=16135 vsize=10544428 CPUtime=9.18 cores=0,2,4,6
/proc/16137/task/16148/stat : 16148 (java) S 16135 16137 11872 0 -1 4202560 14688 0 0 0 912 6 0 0 15 0 19 0 981323841 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427208192 0 0 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16149] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16149/stat : 16149 (java) S 16135 16137 11872 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981323841 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16150] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16150/stat : 16150 (java) S 16135 16137 11872 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 981323841 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16151] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16151/stat : 16151 (java) S 16135 16137 11872 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323844 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427215281 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16152] ppid=16135 vsize=10544428 CPUtime=0.27 cores=0,2,4,6
/proc/16137/task/16152/stat : 16152 (java) S 16135 16137 11872 0 -1 4202560 1489 0 0 0 27 0 0 0 15 0 19 0 981323844 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16137/tid=16153] ppid=16135 vsize=10544428 CPUtime=0.38 cores=0,2,4,6
/proc/16137/task/16153/stat : 16153 (java) S 16135 16137 11872 0 -1 4202560 1654 0 0 0 38 0 0 0 15 0 19 0 981323844 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16137/tid=16154] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16154/stat : 16154 (java) S 16135 16137 11872 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981323844 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16137/tid=16155] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16155/stat : 16155 (java) S 16135 16137 11872 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 981323844 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427208192 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16137/tid=16156] ppid=16135 vsize=10544428 CPUtime=0 cores=0,2,4,6
/proc/16137/task/16156/stat : 16156 (java) S 16135 16137 11872 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981323862 10797494272 57160 33554432000 1073741824 1073778376 140734655236032 18446744073709551615 256427208192 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10544428

Child status: 143
Real time (s): 1796.56
CPU time (s): 1800.14
CPU user time (s): 1799.96
CPU system time (s): 0.172973
CPU usage (%): 100.199
Max. virtual memory (cumulated for all children) (KiB): 10544568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.172973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59064
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= 43906
involuntary context switches= 28142

runsolver used 3.2815 second user time and 6.539 second system time

The end

Launcher Data 

Begin job on node115 at 2011-06-12 22:35:32
IDJOB=3492593
IDBENCH=79180
IDSOLVER=1982
FILE ID=node115/3492593-1307910932
RUNJOBID= node115-1307908016-15259
PBS_JOBID= 13559590
Free space on /var/tmp= 2884 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-51-50--soft-0-100-0.wbo
COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492593-1307910932/watcher-3492593-1307910932 -o /var/tmp/evaluation-result-3492593-1307910932/solver-3492593-1307910932 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492593-1307910932.wbo

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

MD5SUM BENCH= cff5777a0058b9c867497918edde4ff2
RANDOM SEED=1719468377

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
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.811
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.77
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.811
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.74
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.811
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.75
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.811
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:     32950928 kB
MemFree:       3097864 kB
Buffers:         63672 kB
Cached:       28695416 kB
SwapCached:       9240 kB
Active:       13904840 kB
Inactive:     15039016 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       3097864 kB
SwapTotal:    67111528 kB
SwapFree:     67056212 kB
Dirty:             456 kB
Writeback:           0 kB
AnonPages:      182120 kB
Mapped:          21876 kB
Slab:           845248 kB
PageTables:       4836 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 10552652 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 /var/tmp at the end= 2880 MiB
End job on node115 at 2011-06-12 23:05:30