Trace number 3454571

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Res//CP 2.3.0SAT (TO)3243008 1800.33 910.587

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran10x12.opb
MD5SUM9d08937c2a2ec73e4fca19adadace920
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3243008
Best CPU time to get the best result obtained on this benchmark1800.23
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3208192
Optimality of the best value was proved NO
Number of variables3720
Total number of constraints142
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints142
Minimum length of a constraint31
Maximum length of a constraint360
Number of terms in the objective function 3720
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 679702048135
Number of bits of the sum of numbers in the objective function 40
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 679702048135
Number of bits of the biggest sum of numbers40
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.09/0.09	c version 2.3.1.v20110525
0.09/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.09	c java.vm.version	19.1-b02
0.09/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.09	c sun.arch.data.model	64
0.09/0.09	c java.version		1.6.0_24
0.09/0.09	c os.name		Linux
0.09/0.09	c os.version		2.6.18-164.el5
0.09/0.09	c os.arch		amd64
0.09/0.09	c Free memory 		9996466904
0.09/0.09	c Max memory 		10048897024
0.09/0.09	c Total memory 		10048897024
0.09/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3454571-1307190035.opb
0.11/0.11	c reading problem ... 
0.89/0.42	c ... done. Wall clock time 0.312s.
0.89/0.42	c #vars     3720
0.89/0.42	c #constraints  2198
0.89/0.42	c constraints type 
0.89/0.42	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 164
0.89/0.42	c constraints type 
0.89/0.42	c org.sat4j.pb.constraints.pb.MaxWatchPb => 164
2.05/0.75	c  And the winner is Resolution
2.17/0.94	c SATISFIABLE
2.17/0.94	c OPTIMIZING...
2.17/0.94	c Got one! Elapsed wall clock time (in seconds):0.828
2.17/0.94	o 4543506
7.58/3.45	c cleaning 2603 clauses out of 5213 with flag 5001/5213
9.15/4.17	c  And the winner is CuttingPlanes
9.32/4.50	c Got one! Elapsed wall clock time (in seconds):4.389
9.32/4.50	o 3916984
9.32/4.54	c  And the winner is Resolution
9.39/5.01	c Got one! Elapsed wall clock time (in seconds):4.906
9.39/5.01	o 3876882
9.62/5.15	c  And the winner is CuttingPlanes
9.75/5.53	c Got one! Elapsed wall clock time (in seconds):5.423
9.75/5.53	o 3364864
10.13/5.70	c  And the winner is CuttingPlanes
10.14/6.04	c Got one! Elapsed wall clock time (in seconds):5.937
10.14/6.04	o 3337216
10.27/6.11	c  And the winner is CuttingPlanes
10.29/6.56	c Got one! Elapsed wall clock time (in seconds):6.451
10.29/6.56	o 3336192
14.14/8.48	c  And the winner is CuttingPlanes
14.32/8.58	c Got one! Elapsed wall clock time (in seconds):8.47
14.32/8.58	o 3250176
15.56/9.23	c cleaning 4433 clauses out of 8876 with flag 1001/11479
16.33/9.69	c  And the winner is CuttingPlanes
16.52/10.09	c Got one! Elapsed wall clock time (in seconds):9.986
16.52/10.09	o 3243008
21.16/12.43	c cleaning 4755 clauses out of 9529 with flag 4000/16565
28.94/16.34	c cleaning 5385 clauses out of 10775 with flag 10001/22566
36.32/20.00	c cleaning 6184 clauses out of 12395 with flag 17006/29571
43.89/23.83	c cleaning 7095 clauses out of 14205 with flag 25000/37565
53.06/28.48	c cleaning 8040 clauses out of 16110 with flag 34000/46565
63.22/33.53	c cleaning 9028 clauses out of 18071 with flag 44001/56566
72.57/38.24	c cleaning 9506 clauses out of 19044 with flag 54002/66567
82.33/43.12	c cleaning 9753 clauses out of 19536 with flag 64000/76565
94.68/49.42	c cleaning 9882 clauses out of 19784 with flag 74001/86566
105.24/54.62	c cleaning 9936 clauses out of 19901 with flag 84000/96565
115.78/59.98	c cleaning 9963 clauses out of 19966 with flag 94001/106566
123.58/63.84	c cleaning 9991 clauses out of 20003 with flag 104001/116566
135.09/69.64	c cleaning 10001 clauses out of 20011 with flag 114000/126565
144.66/74.48	c cleaning 9996 clauses out of 20012 with flag 124002/136567
154.39/79.32	c cleaning 9989 clauses out of 20014 with flag 134000/146565
162.55/83.40	c cleaning 9999 clauses out of 20026 with flag 144001/156566
170.90/87.66	c cleaning 10001 clauses out of 20026 with flag 154000/166565
180.06/92.21	c cleaning 9998 clauses out of 20025 with flag 164000/176565
189.23/96.84	c cleaning 10011 clauses out of 20029 with flag 174002/186567
200.19/102.37	c cleaning 10004 clauses out of 20019 with flag 184003/196568
212.30/108.43	c cleaning 9990 clauses out of 20013 with flag 194001/206566
222.85/113.79	c cleaning 9994 clauses out of 20023 with flag 204001/216566
229.78/117.26	c cleaning 10006 clauses out of 20028 with flag 214000/226565
237.94/121.32	c cleaning 9993 clauses out of 20024 with flag 224002/236567
245.49/125.17	c cleaning 9998 clauses out of 20029 with flag 234000/246565
251.64/128.21	c cleaning 10006 clauses out of 20031 with flag 244000/256565
257.77/131.39	c cleaning 9992 clauses out of 20025 with flag 254000/266565
266.71/135.87	c cleaning 10013 clauses out of 20034 with flag 264001/276566
278.26/141.62	c cleaning 9984 clauses out of 20020 with flag 274000/286565
288.20/146.64	c cleaning 10005 clauses out of 20037 with flag 284001/296566
301.33/153.28	c cleaning 9999 clauses out of 20031 with flag 294000/306565
314.67/159.94	c cleaning 9997 clauses out of 20034 with flag 304002/316567
326.42/165.84	c cleaning 9989 clauses out of 20036 with flag 314001/326566
335.36/170.31	c cleaning 9994 clauses out of 20046 with flag 324000/336565
344.30/174.91	c cleaning 10005 clauses out of 20052 with flag 334000/346565
354.21/179.88	c cleaning 10002 clauses out of 20048 with flag 344001/356566
363.35/184.40	c cleaning 10014 clauses out of 20045 with flag 354000/366565
374.29/189.95	c cleaning 9990 clauses out of 20031 with flag 364000/376565
384.40/195.04	c cleaning 10007 clauses out of 20041 with flag 374000/386565
394.34/200.04	c cleaning 10004 clauses out of 20034 with flag 384000/396565
405.27/205.54	c cleaning 10002 clauses out of 20030 with flag 394000/406565
417.40/211.62	c cleaning 9997 clauses out of 20028 with flag 404000/416565
425.35/215.64	c cleaning 10001 clauses out of 20032 with flag 414001/426566
435.45/220.73	c cleaning 10003 clauses out of 20030 with flag 424000/436565
445.20/225.62	c cleaning 10001 clauses out of 20030 with flag 434003/446568
454.33/230.28	c cleaning 9999 clauses out of 20026 with flag 444000/456565
467.43/236.83	c cleaning 10004 clauses out of 20029 with flag 454002/466567
480.02/243.13	c cleaning 9987 clauses out of 20023 with flag 464000/476565
491.91/249.17	c cleaning 10005 clauses out of 20038 with flag 474002/486567
502.23/254.38	c cleaning 9994 clauses out of 20031 with flag 484000/496565
512.32/259.47	c cleaning 10011 clauses out of 20037 with flag 494000/506565
520.46/263.59	c cleaning 9995 clauses out of 20027 with flag 504001/516566
529.58/268.16	c cleaning 10003 clauses out of 20031 with flag 514000/526565
539.31/273.01	c cleaning 10008 clauses out of 20029 with flag 524001/536566
551.40/279.15	c cleaning 10004 clauses out of 20020 with flag 534000/546565
563.52/285.20	c cleaning 9993 clauses out of 20016 with flag 544000/556565
575.45/291.26	c cleaning 9998 clauses out of 20023 with flag 554000/566565
584.60/295.84	c cleaning 9988 clauses out of 20026 with flag 564001/576566
591.31/299.26	c cleaning 9989 clauses out of 20038 with flag 574001/586566
597.63/302.51	c cleaning 9997 clauses out of 20049 with flag 584001/596566
606.35/306.85	c cleaning 10013 clauses out of 20052 with flag 594001/606566
614.44/310.91	c cleaning 10002 clauses out of 20038 with flag 604000/616565
628.16/317.83	c cleaning 10001 clauses out of 20037 with flag 614001/626566
635.66/321.61	c cleaning 9996 clauses out of 20036 with flag 624001/636566
643.62/325.69	c cleaning 10000 clauses out of 20042 with flag 634003/646568
652.34/330.04	c cleaning 9999 clauses out of 20039 with flag 644000/656565
663.39/335.61	c cleaning 10004 clauses out of 20040 with flag 654000/666565
673.11/340.59	c cleaning 10002 clauses out of 20036 with flag 664000/676565
681.83/344.97	c cleaning 9989 clauses out of 20034 with flag 674000/686565
696.75/352.48	c cleaning 10020 clauses out of 20055 with flag 684010/696575
710.23/359.28	c cleaning 10003 clauses out of 20027 with flag 694002/706567
724.18/366.24	c cleaning 9997 clauses out of 20022 with flag 704000/716565
733.88/371.16	c cleaning 9978 clauses out of 20025 with flag 714000/726565
742.60/375.56	c cleaning 10015 clauses out of 20053 with flag 724006/736571
752.71/380.65	c cleaning 9996 clauses out of 20032 with flag 734000/746565
761.99/385.37	c cleaning 9997 clauses out of 20036 with flag 744000/756565
770.15/389.48	c cleaning 10008 clauses out of 20039 with flag 754000/766565
776.82/392.82	c cleaning 9973 clauses out of 20032 with flag 764001/776566
784.70/396.83	c cleaning 10014 clauses out of 20058 with flag 774000/786565
793.22/401.15	c cleaning 10004 clauses out of 20046 with flag 784002/796567
801.94/405.55	c cleaning 9996 clauses out of 20040 with flag 794000/806565
809.86/409.54	c cleaning 9993 clauses out of 20045 with flag 804001/816566
817.14/413.22	c cleaning 10002 clauses out of 20052 with flag 814001/826566
824.27/416.87	c cleaning 9999 clauses out of 20049 with flag 824000/836565
831.76/420.65	c cleaning 10002 clauses out of 20051 with flag 834001/846566
839.28/424.48	c cleaning 9999 clauses out of 20050 with flag 844002/856567
845.98/427.87	c cleaning 10003 clauses out of 20050 with flag 854001/866566
852.88/431.38	c cleaning 9997 clauses out of 20048 with flag 864002/876567
861.59/435.80	c cleaning 9995 clauses out of 20050 with flag 874001/886566
868.30/439.17	c cleaning 10013 clauses out of 20054 with flag 884000/896565
877.77/443.93	c cleaning 10002 clauses out of 20042 with flag 894001/906566
887.31/448.73	c cleaning 10006 clauses out of 20040 with flag 904001/916566
897.40/453.83	c cleaning 9983 clauses out of 20033 with flag 914000/926565
909.36/459.83	c cleaning 10016 clauses out of 20051 with flag 924001/936566
918.39/464.45	c cleaning 10000 clauses out of 20035 with flag 934001/946566
926.10/468.35	c cleaning 10005 clauses out of 20036 with flag 944002/956567
933.62/472.18	c cleaning 9997 clauses out of 20030 with flag 954001/966566
941.13/475.93	c cleaning 9998 clauses out of 20033 with flag 964001/976566
947.60/479.27	c cleaning 9998 clauses out of 20034 with flag 974000/986565
954.74/482.91	c cleaning 10008 clauses out of 20040 with flag 984004/996569
962.42/486.76	c cleaning 10003 clauses out of 20029 with flag 994001/1006566
968.73/489.97	c cleaning 9997 clauses out of 20025 with flag 1004000/1016565
975.80/493.55	c cleaning 10007 clauses out of 20028 with flag 1014000/1026565
989.91/500.66	c cleaning 9999 clauses out of 20021 with flag 1024000/1036565
1005.42/508.44	c cleaning 9997 clauses out of 20024 with flag 1034002/1046567
1019.54/515.55	c cleaning 10001 clauses out of 20025 with flag 1044000/1056565
1034.21/522.95	c cleaning 9999 clauses out of 20025 with flag 1054001/1066566
1046.93/529.33	c cleaning 10002 clauses out of 20027 with flag 1064002/1076567
1061.04/536.40	c cleaning 9997 clauses out of 20023 with flag 1074000/1086565
1074.35/543.11	c cleaning 10002 clauses out of 20027 with flag 1084001/1096566
1084.22/548.10	c cleaning 9996 clauses out of 20024 with flag 1094000/1106565
1095.13/553.61	c cleaning 9993 clauses out of 20028 with flag 1104000/1116565
1112.44/562.39	c cleaning 9988 clauses out of 20038 with flag 1114003/1126568
1124.35/568.36	c cleaning 9997 clauses out of 20047 with flag 1124000/1136565
1136.62/574.57	c cleaning 9990 clauses out of 20050 with flag 1134000/1146565
1149.73/581.13	c cleaning 10000 clauses out of 20062 with flag 1144002/1156567
1161.24/586.98	c cleaning 10005 clauses out of 20060 with flag 1154000/1166565
1173.75/593.20	c cleaning 9997 clauses out of 20056 with flag 1164001/1176566
1187.02/599.94	c cleaning 10003 clauses out of 20060 with flag 1174002/1186567
1199.93/606.44	c cleaning 10018 clauses out of 20055 with flag 1184000/1196565
1209.24/611.15	c cleaning 10007 clauses out of 20039 with flag 1194002/1206567
1216.14/614.60	c cleaning 9994 clauses out of 20030 with flag 1204000/1216565
1223.60/618.46	c cleaning 9998 clauses out of 20036 with flag 1214000/1226565
1233.70/623.51	c cleaning 10005 clauses out of 20039 with flag 1224001/1236566
1242.85/628.18	c cleaning 9997 clauses out of 20034 with flag 1234001/1246566
1250.11/631.85	c cleaning 9994 clauses out of 20037 with flag 1244001/1256566
1258.76/636.27	c cleaning 10013 clauses out of 20043 with flag 1254001/1266566
1267.26/640.58	c cleaning 9998 clauses out of 20029 with flag 1264000/1276565
1277.16/645.58	c cleaning 9997 clauses out of 20032 with flag 1274001/1286566
1287.46/650.75	c cleaning 10003 clauses out of 20036 with flag 1284002/1296567
1297.31/655.72	c cleaning 10001 clauses out of 20032 with flag 1294001/1306566
1307.01/660.63	c cleaning 9994 clauses out of 20032 with flag 1304002/1316567
1317.51/665.91	c cleaning 9999 clauses out of 20037 with flag 1314001/1326566
1327.44/670.95	c cleaning 10002 clauses out of 20038 with flag 1324001/1336566
1337.87/676.29	c cleaning 10009 clauses out of 20035 with flag 1334000/1346565
1347.20/680.98	c cleaning 9995 clauses out of 20026 with flag 1344000/1356565
1357.89/686.39	c cleaning 10006 clauses out of 20032 with flag 1354001/1366566
1372.77/693.88	c cleaning 10006 clauses out of 20026 with flag 1364001/1376566
1380.61/697.80	c cleaning 9997 clauses out of 20020 with flag 1374001/1386566
1388.11/701.66	c cleaning 9995 clauses out of 20025 with flag 1384003/1396568
1400.21/707.76	c cleaning 9999 clauses out of 20027 with flag 1394000/1406565
1409.10/712.28	c cleaning 9989 clauses out of 20029 with flag 1404001/1416566
1417.54/716.53	c cleaning 10010 clauses out of 20040 with flag 1414001/1426566
1427.84/721.71	c cleaning 9989 clauses out of 20030 with flag 1424001/1436566
1434.94/725.36	c cleaning 10006 clauses out of 20041 with flag 1434001/1446566
1445.43/730.66	c cleaning 9994 clauses out of 20035 with flag 1444001/1456566
1454.87/735.47	c cleaning 10001 clauses out of 20040 with flag 1454000/1466565
1463.36/739.72	c cleaning 9993 clauses out of 20040 with flag 1464001/1476566
1471.25/743.73	c cleaning 10013 clauses out of 20048 with flag 1474002/1486567
1478.74/747.50	c cleaning 9992 clauses out of 20033 with flag 1484000/1496565
1486.38/751.42	c cleaning 9992 clauses out of 20043 with flag 1494002/1506567
1493.87/755.22	c cleaning 10003 clauses out of 20049 with flag 1504000/1516565
1500.95/758.83	c cleaning 10011 clauses out of 20047 with flag 1514001/1526566
1507.89/762.36	c cleaning 10009 clauses out of 20036 with flag 1524001/1536566
1515.89/766.49	c cleaning 9998 clauses out of 20027 with flag 1534001/1546566
1523.98/770.55	c cleaning 10007 clauses out of 20030 with flag 1544002/1556567
1531.27/774.20	c cleaning 9993 clauses out of 20021 with flag 1554000/1566565
1539.56/778.47	c cleaning 9993 clauses out of 20029 with flag 1564001/1576566
1546.39/781.99	c cleaning 10000 clauses out of 20035 with flag 1574000/1586565
1554.08/785.82	c cleaning 10004 clauses out of 20036 with flag 1584001/1596566
1561.56/789.71	c cleaning 10001 clauses out of 20031 with flag 1594000/1606565
1569.65/793.72	c cleaning 10003 clauses out of 20032 with flag 1604002/1616567
1577.48/797.71	c cleaning 9997 clauses out of 20028 with flag 1614001/1626566
1586.14/802.10	c cleaning 9996 clauses out of 20030 with flag 1624000/1636565
1594.26/806.24	c cleaning 10000 clauses out of 20035 with flag 1634001/1646566
1602.95/810.62	c cleaning 9997 clauses out of 20034 with flag 1644000/1656565
1610.35/814.47	c cleaning 10001 clauses out of 20038 with flag 1654001/1666566
1619.43/819.04	c cleaning 9994 clauses out of 20036 with flag 1664000/1676565
1628.32/823.54	c cleaning 10003 clauses out of 20044 with flag 1674002/1686567
1637.41/828.13	c cleaning 10005 clauses out of 20039 with flag 1684000/1696565
1646.27/832.67	c cleaning 10000 clauses out of 20037 with flag 1694003/1706568
1656.13/837.60	c cleaning 9973 clauses out of 20034 with flag 1704000/1716565
1665.22/842.28	c cleaning 9992 clauses out of 20061 with flag 1714000/1726565
1674.30/846.87	c cleaning 9991 clauses out of 20069 with flag 1724000/1736565
1683.53/851.54	c cleaning 10004 clauses out of 20079 with flag 1734001/1746566
1693.01/856.35	c cleaning 9999 clauses out of 20075 with flag 1744001/1756566
1702.30/861.09	c cleaning 10007 clauses out of 20076 with flag 1754001/1766566
1712.38/866.13	c cleaning 10002 clauses out of 20068 with flag 1764000/1776565
1724.20/872.12	c cleaning 10013 clauses out of 20067 with flag 1774001/1786566
1739.49/879.81	c cleaning 9980 clauses out of 20053 with flag 1784000/1796565
1754.77/887.53	c cleaning 9993 clauses out of 20073 with flag 1794000/1806565
1772.87/896.60	c cleaning 10017 clauses out of 20081 with flag 1804001/1816566
1786.49/903.58	c cleaning 9998 clauses out of 20064 with flag 1814001/1826566
1795.78/908.28	c cleaning 10005 clauses out of 20066 with flag 1824001/1836566
1800.09/910.42	c starts		: 10
1800.09/910.42	c conflicts		: 723
1800.09/910.42	c decisions		: 82250
1800.09/910.42	c propagations		: 537171
1800.09/910.42	c inspects		: 29573296
1800.09/910.42	c shortcuts		: 0
1800.09/910.42	c learnt literals	: 0
1800.09/910.42	c learnt binary clauses	: 0
1800.09/910.42	c learnt ternary clauses	: 0
1800.09/910.42	c learnt constraints	: 721
1800.09/910.42	c ignored constraints	: 0
1800.09/910.42	c root simplifications	: 0
1800.09/910.42	c removed literals (reason simplification)	: 0
1800.09/910.42	c reason swapping (by a shorter reason)	: 0
1800.09/910.42	c Calls to reduceDB	: 0
1800.09/910.42	c number of reductions to clauses (during analyze)	: 0
1800.09/910.42	c number of learned constraints concerned by reduction	: 0
1800.09/910.42	c number of learning phase by resolution	: 0
1800.09/910.42	c number of learning phase by cutting planes	: 0
1800.09/910.42	c speed (assignments/second)	: 596.6412128953433
1800.09/910.42	c non guided choices	0
1800.09/910.42	c learnt constraints type 
1800.09/910.42	c org.sat4j.pb.constraints.pb.MaxWatchPb => 721
1800.09/910.42	c constraints type 
1800.09/910.42	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 165
1800.09/910.42	c constraints type 
1800.09/910.42	c org.sat4j.pb.constraints.pb.MaxWatchPb => 165
1800.09/910.42	s SATISFIABLE
1800.09/910.43	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1091 -x1092 x1093 -x1094 x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 x1451 -x1452 x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 x1662 x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 x1871 x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 x2411 x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 x2441 -x2442 x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 x2982 -x2983 x2984 x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 x3161 x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 x3611 -x3612 -x3613 x3614 -x3615 -x3616 x3617 -x3618 -x3619 -x3620 x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 x3637 x3638 x3639 -x3640 -x3641 -x3642 x3643 -x3644 -x3645 -x3646 -x3647 -x3648 x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 x3663 -x3664 -x3665 -x3666 x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 x3680 x3681 x3682 -x3683 -x3684 -x3685 -x3686 -x3687 x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 x3700 x3701 -x3702 -x3703 -x3704 -x3705 x3706 -x3707 -x3708 -x3709 -x3710 x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 
1800.09/910.44	c objective function=3243008
1800.09/910.44	c Total wall clock time (in seconds): 910.33

Verifier Data 

OK	3243008

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454571-1307190035/watcher-3454571-1307190035 -o /tmp/evaluation-result-3454571-1307190035/solver-3454571-1307190035 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454571-1307190035.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.70 3.88 3.57 3/575 13251
/proc/meminfo: memFree=23786032/32950928 swapFree=67056580/67111528
[pid=13251] ppid=13249 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/13251/stat : 13251 (java) S 13249 13251 10194 0 -1 4202496 5488 0 1 0 0 0 0 0 25 0 2 0 830600568 10694979584 5192 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488497637 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/13251/statm: 2611079 5205 917 9 0 2602235 0
[pid=13251/tid=13252] ppid=13249 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13252/stat : 13252 (java) R 13249 13251 10194 0 -1 4202560 8691 0 1 0 0 0 0 0 25 0 2 0 830600569 10694979584 9507 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239476355781 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.0899589 s]
/proc/loadavg: 3.70 3.88 3.57 3/575 13251
/proc/meminfo: memFree=23786032/32950928 swapFree=67056580/67111528
[pid=13251] ppid=13249 vsize=10539448 CPUtime=0.09 cores=0,2,4,6
/proc/13251/stat : 13251 (java) S 13249 13251 10194 0 -1 4202496 12927 0 1 0 8 1 0 0 25 0 18 0 830600568 10792394752 12606 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13251/statm: 2634862 12607 2083 9 0 2625596 0
[pid=13251/tid=13252] ppid=13249 vsize=10539448 CPUtime=0.08 cores=0,2,4,6
/proc/13251/task/13252/stat : 13252 (java) R 13249 13251 10194 0 -1 4202560 11030 0 1 0 7 1 0 0 18 0 18 0 830600569 10792394752 12607 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488521675 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539448

[startup+0.100615 s]
/proc/loadavg: 3.70 3.88 3.57 3/575 13251
/proc/meminfo: memFree=23786032/32950928 swapFree=67056580/67111528
[pid=13251] ppid=13249 vsize=10539596 CPUtime=0.11 cores=0,2,4,6
/proc/13251/stat : 13251 (java) S 13249 13251 10194 0 -1 4202496 13077 0 1 0 10 1 0 0 25 0 18 0 830600568 10792546304 12756 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13251/statm: 2634899 12756 2092 9 0 2625633 0
[pid=13251/tid=13252] ppid=13249 vsize=10539596 CPUtime=0.09 cores=0,2,4,6
/proc/13251/task/13252/stat : 13252 (java) R 13249 13251 10194 0 -1 4202560 11166 0 1 0 8 1 0 0 18 0 18 0 830600569 10792546304 12756 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239476379953 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539596

[startup+0.307554 s]
/proc/loadavg: 3.70 3.88 3.57 3/575 13251
/proc/meminfo: memFree=23786032/32950928 swapFree=67056580/67111528
[pid=13251] ppid=13249 vsize=10544556 CPUtime=0.61 cores=0,2,4,6
/proc/13251/stat : 13251 (java) S 13249 13251 10194 0 -1 4202496 22554 0 1 0 59 2 0 0 25 0 18 0 830600568 10797625344 19747 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13251/statm: 2636139 19747 2194 9 0 2626873 0
[pid=13251/tid=13252] ppid=13249 vsize=10544556 CPUtime=0.29 cores=0,2,4,6
/proc/13251/task/13252/stat : 13252 (java) R 13249 13251 10194 0 -1 4202560 13077 0 1 0 28 1 0 0 18 0 18 0 830600569 10797625344 19747 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 47892783163024 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 10544556

[startup+0.70043 s]
/proc/loadavg: 3.70 3.88 3.57 3/575 13251
/proc/meminfo: memFree=23786032/32950928 swapFree=67056580/67111528
[pid=13251] ppid=13249 vsize=10550104 CPUtime=2.05 cores=0,2,4,6
/proc/13251/stat : 13251 (java) S 13249 13251 10194 0 -1 4202496 32677 0 1 0 202 3 0 0 25 0 22 0 830600568 10803306496 27526 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13251/statm: 2637526 27526 2228 9 0 2628260 0
[pid=13251/tid=13252] ppid=13249 vsize=10550104 CPUtime=0.41 cores=0,2,4,6
/proc/13251/task/13252/stat : 13252 (java) S 13249 13251 10194 0 -1 4202560 15188 0 1 0 40 1 0 0 19 0 22 0 830600569 10803306496 27526 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488511488 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 10550104

[startup+1.50127 s]
/proc/loadavg: 3.70 3.88 3.57 5/597 13276
/proc/meminfo: memFree=23637260/32950928 swapFree=67056580/67111528
[pid=13251] ppid=13249 vsize=10548764 CPUtime=3.58 cores=0,2,4,6
/proc/13251/stat : 13251 (java) S 13249 13251 10194 0 -1 4202496 59836 0 1 0 352 6 0 0 25 0 22 0 830600568 10801934336 53806 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13251/statm: 2637191 53808 2232 9 0 2627925 0
[pid=13251/tid=13252] ppid=13249 vsize=10548764 CPUtime=0.43 cores=0,2,4,6
/proc/13251/task/13252/stat : 13252 (java) S 13249 13251 10194 0 -1 4202560 15658 0 1 0 42 1 0 0 15 0 22 0 830600569 10801934336 53808 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488511488 0 4 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
[pid=13251/tid=13254] ppid=13249 vsize=10548764 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13254/stat : 13254 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830600571 10801934336 53808 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13255] ppid=13249 vsize=10548764 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13255/stat : 13255 (java) S 13249 13251 10194 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830600571 10801934336 53808 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13256] ppid=13249 vsize=10548764 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13256/stat : 13256 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830600571 10801934336 53809 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13257] ppid=13249 vsize=10548764 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13257/stat : 13257 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830600571 10801934336 53809 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13258] ppid=13249 vsize=10548764 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13258/stat : 13258 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830600571 10801934336 53809 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13259] ppid=13249 vsize=10548764 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13259/stat : 13259 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830600571 10801934336 53810 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13260] ppid=13249 vsize=10548764 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13260/stat : 13260 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830600571 10801934336 53810 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13261] ppid=13249 vsize=10548764 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13261/stat : 13261 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830600571 10801934336 53810 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13262] ppid=13249 vsize=10548764 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13262/stat : 13262 (java) S 13249 13251 10194 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 830600572 10801934336 53811 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488511488 0 0 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
[pid=13251/tid=13263] ppid=13249 vsize=10548764 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13263/stat : 13263 (java) S 13249 13251 10194 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830600572 10801934336 53811 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
[pid=13251/tid=13264] ppid=13249 vsize=10548764 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13264/stat : 13264 (java) S 13249 13251 10194 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830600572 10801934336 53812 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
[pid=13251/tid=13265] ppid=13249 vsize=10548764 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13265/stat : 13265 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830600574 10801934336 53812 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488518577 0 4 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
[pid=13251/tid=13266] ppid=13249 vsize=10548764 CPUtime=0.69 cores=0,2,4,6
/proc/13251/task/13266/stat : 13266 (java) S 13249 13251 10194 0 -1 4202560 4936 0 0 0 69 0 0 0 20 0 22 0 830600574 10801934336 53812 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 0 0 0 0
[pid=13251/tid=13267] ppid=13249 vsize=10548764 CPUtime=0.68 cores=0,2,4,6
/proc/13251/task/13267/stat : 13267 (java) S 13249 13251 10194 0 -1 4202560 7349 0 0 0 67 1 0 0 15 0 22 0 830600574 10801934336 53812 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
[pid=13251/tid=13268] ppid=13249 vsize=10548764 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13268/stat : 13268 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830600574 10801934336 53812 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
[pid=13251/tid=13269] ppid=13249 vsize=10548764 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13269/stat : 13269 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830600574 10801934336 53812 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488511488 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13272] ppid=13249 vsize=10548764 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13272/stat : 13272 (java) S 13249 13251 10194 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830600615 10801934336 53813 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488511488 0 4 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
[pid=13251/tid=13274] ppid=13249 vsize=10548764 CPUtime=0.54 cores=0,2,4,6
/proc/13251/task/13274/stat : 13274 (java) R 13249 13251 10194 0 -1 4202560 407 0 0 0 54 0 0 0 18 0 22 0 830600663 10801934336 53813 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 46912505874277 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=13251/tid=13275] ppid=13249 vsize=10548764 CPUtime=0.54 cores=0,2,4,6
/proc/13251/task/13275/stat : 13275 (java) R 13249 13251 10194 0 -1 4202560 19656 0 0 0 53 1 0 0 19 0 22 0 830600663 10801934336 53813 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 46912505839042 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13251/tid=13276] ppid=13249 vsize=10548764 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13276/stat : 13276 (java) S 13249 13251 10194 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830600664 10801934336 53813 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488511488 0 4 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 10548764

[startup+3.10096 s]
/proc/loadavg: 3.70 3.88 3.57 5/597 13276
/proc/meminfo: memFree=23465520/32950928 swapFree=67056580/67111528
[pid=13251] ppid=13249 vsize=10551584 CPUtime=6.98 cores=0,2,4,6
/proc/13251/stat : 13251 (java) S 13249 13251 10194 0 -1 4202496 169719 0 1 0 681 17 0 0 25 0 22 0 830600568 10804822016 163688 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13251/statm: 2637896 163690 2233 9 0 2628630 0
[pid=13251/tid=13252] ppid=13249 vsize=10551584 CPUtime=0.43 cores=0,2,4,6
/proc/13251/task/13252/stat : 13252 (java) S 13249 13251 10194 0 -1 4202560 15658 0 1 0 42 1 0 0 15 0 22 0 830600569 10804822016 163690 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488511488 0 4 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
[pid=13251/tid=13254] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13254/stat : 13254 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830600571 10804822016 163691 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13255] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13255/stat : 13255 (java) S 13249 13251 10194 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830600571 10804822016 163691 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13256] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13256/stat : 13256 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830600571 10804822016 163693 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13257] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13257/stat : 13257 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830600571 10804822016 163693 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13258] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13258/stat : 13258 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830600571 10804822016 163694 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13259] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13259/stat : 13259 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830600571 10804822016 163694 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13260] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13260/stat : 13260 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830600571 10804822016 163696 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13261] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13261/stat : 13261 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830600571 10804822016 163696 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13262] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13262/stat : 13262 (java) S 13249 13251 10194 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 830600572 10804822016 163697 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488511488 0 0 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
[pid=13251/tid=13263] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13263/stat : 13263 (java) S 13249 13251 10194 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830600572 10804822016 163697 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
[pid=13251/tid=13264] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13264/stat : 13264 (java) S 13249 13251 10194 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830600572 10804822016 163699 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
[pid=13251/tid=13265] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13265/stat : 13265 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830600574 10804822016 163699 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488518577 0 4 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
[pid=13251/tid=13266] ppid=13249 vsize=10551584 CPUtime=0.87 cores=0,2,4,6
/proc/13251/task/13266/stat : 13266 (java) S 13249 13251 10194 0 -1 4202560 5632 0 0 0 87 0 0 0 15 0 22 0 830600574 10804822016 163700 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 0 0 0 0
[pid=13251/tid=13267] ppid=13249 vsize=10551584 CPUtime=0.71 cores=0,2,4,6
/proc/13251/task/13267/stat : 13267 (java) S 13249 13251 10194 0 -1 4202560 7351 0 0 0 70 1 0 0 15 0 22 0 830600574 10804822016 163700 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
[pid=13251/tid=13268] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13268/stat : 13268 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830600574 10804822016 163702 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
[pid=13251/tid=13269] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13269/stat : 13269 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830600574 10804822016 163702 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488511488 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13272] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13272/stat : 13272 (java) S 13249 13251 10194 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830600615 10804822016 163703 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488511488 0 4 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
[pid=13251/tid=13274] ppid=13249 vsize=10551584 CPUtime=2.14 cores=0,2,4,6
/proc/13251/task/13274/stat : 13274 (java) R 13249 13251 10194 0 -1 4202560 1031 0 0 0 214 0 0 0 21 0 22 0 830600663 10804822016 163703 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 46912505874986 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=13251/tid=13275] ppid=13249 vsize=10551584 CPUtime=2.14 cores=0,2,4,6
/proc/13251/task/13275/stat : 13275 (java) R 13249 13251 10194 0 -1 4202560 128226 0 0 0 202 12 0 0 18 0 22 0 830600663 10804822016 163704 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 46912505569327 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13251/tid=13276] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13276/stat : 13276 (java) S 13249 13251 10194 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830600664 10804822016 163705 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488511488 0 4 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.98
Current children cumulated vsize (KiB) 10551584

[startup+6.30147 s]
/proc/loadavg: 3.56 3.85 3.56 3/594 13282
/proc/meminfo: memFree=22868992/32950928 swapFree=67056580/67111528
[pid=13251] ppid=13249 vsize=10551584 CPUtime=10.29 cores=0,2,4,6
/proc/13251/stat : 13251 (java) S 13249 13251 10194 0 -1 4202496 237154 0 1 0 1004 25 0 0 25 0 19 0 830600568 10804822016 230097 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13251/statm: 2637896 230097 2259 9 0 2628630 0
[pid=13251/tid=13252] ppid=13249 vsize=10551584 CPUtime=0.48 cores=0,2,4,6
/proc/13251/task/13252/stat : 13252 (java) S 13249 13251 10194 0 -1 4202560 15659 0 1 0 47 1 0 0 17 0 19 0 830600569 10804822016 230097 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488511488 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13254] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13254/stat : 13254 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 830600571 10804822016 230097 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13255] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13255/stat : 13255 (java) S 13249 13251 10194 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830600571 10804822016 230097 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13256] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13256/stat : 13256 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 830600571 10804822016 230097 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13257] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13257/stat : 13257 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 830600571 10804822016 230097 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13258] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13258/stat : 13258 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 830600571 10804822016 230097 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13259] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13259/stat : 13259 (java) S 13249 13251 10194 0 -1 4202560 483 0 0 0 0 0 0 0 18 0 19 0 830600571 10804822016 230097 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
[pid=13251/tid=13260] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13260/stat : 13260 (java) S 13249 13251 10194 0 -1 4202560 760 0 0 0 0 0 0 0 18 0 19 0 830600571 10804822016 230097 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13261] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13261/stat : 13261 (java) S 13249 13251 10194 0 -1 4202560 801 0 0 0 0 0 0 0 18 0 19 0 830600571 10804822016 230097 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0

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

/proc/meminfo: memFree=17583612/32950928 swapFree=67056580/67111528
[pid=13251] ppid=13249 vsize=10551584 CPUtime=1625.92 cores=0,2,4,6
/proc/13251/stat : 13251 (java) S 13249 13251 10194 0 -1 4202496 904094 0 1 0 162490 102 0 0 25 0 22 0 830600568 10804822016 896189 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13251/statm: 2637896 896189 2260 9 0 2628630 0
[pid=13251/tid=13252] ppid=13249 vsize=10551584 CPUtime=0.51 cores=0,2,4,6
/proc/13251/task/13252/stat : 13252 (java) S 13249 13251 10194 0 -1 4202560 15686 0 1 0 50 1 0 0 15 0 22 0 830600569 10804822016 896189 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488511488 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
[pid=13251/tid=13254] ppid=13249 vsize=10551584 CPUtime=0.26 cores=0,2,4,6
/proc/13251/task/13254/stat : 13254 (java) S 13249 13251 10194 0 -1 4202560 1537 0 0 0 26 0 0 0 16 0 22 0 830600571 10804822016 896189 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13255] ppid=13249 vsize=10551584 CPUtime=0.28 cores=0,2,4,6
/proc/13251/task/13255/stat : 13255 (java) S 13249 13251 10194 0 -1 4202560 1876 0 0 0 28 0 0 0 16 0 22 0 830600571 10804822016 896189 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
[pid=13251/tid=13256] ppid=13249 vsize=10551584 CPUtime=0.28 cores=0,2,4,6
/proc/13251/task/13256/stat : 13256 (java) S 13249 13251 10194 0 -1 4202560 3436 0 0 0 28 0 0 0 15 0 22 0 830600571 10804822016 896189 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 0 0 0 0
[pid=13251/tid=13257] ppid=13249 vsize=10551584 CPUtime=0.24 cores=0,2,4,6
/proc/13251/task/13257/stat : 13257 (java) S 13249 13251 10194 0 -1 4202560 2043 0 0 0 24 0 0 0 15 0 22 0 830600571 10804822016 896189 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13258] ppid=13249 vsize=10551584 CPUtime=0.26 cores=0,2,4,6
/proc/13251/task/13258/stat : 13258 (java) S 13249 13251 10194 0 -1 4202560 1914 0 0 0 26 0 0 0 15 0 22 0 830600571 10804822016 896189 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 0 0 0 0
[pid=13251/tid=13259] ppid=13249 vsize=10551584 CPUtime=0.29 cores=0,2,4,6
/proc/13251/task/13259/stat : 13259 (java) S 13249 13251 10194 0 -1 4202560 2789 0 0 0 29 0 0 0 16 0 22 0 830600571 10804822016 896189 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
[pid=13251/tid=13260] ppid=13249 vsize=10551584 CPUtime=0.25 cores=0,2,4,6
/proc/13251/task/13260/stat : 13260 (java) S 13249 13251 10194 0 -1 4202560 1924 0 0 0 25 0 0 0 15 0 22 0 830600571 10804822016 896189 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13261] ppid=13249 vsize=10551584 CPUtime=0.27 cores=0,2,4,6
/proc/13251/task/13261/stat : 13261 (java) S 13249 13251 10194 0 -1 4202560 2996 0 0 0 27 0 0 0 15 0 22 0 830600571 10804822016 896189 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 0 0 0 0
[pid=13251/tid=13262] ppid=13249 vsize=10551584 CPUtime=15.59 cores=0,2,4,6
/proc/13251/task/13262/stat : 13262 (java) S 13249 13251 10194 0 -1 4202560 14280 0 0 0 1554 5 0 0 15 0 22 0 830600572 10804822016 896189 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488511488 0 0 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
[pid=13251/tid=13263] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13263/stat : 13263 (java) S 13249 13251 10194 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830600572 10804822016 896189 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13264] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13264/stat : 13264 (java) S 13249 13251 10194 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 830600572 10804822016 896189 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13265] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13265/stat : 13265 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830600574 10804822016 896189 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488518577 0 4 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
[pid=13251/tid=13266] ppid=13249 vsize=10551584 CPUtime=1.14 cores=0,2,4,6
/proc/13251/task/13266/stat : 13266 (java) S 13249 13251 10194 0 -1 4202560 5665 0 0 0 114 0 0 0 15 0 22 0 830600574 10804822016 896189 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 0 0 0 0
[pid=13251/tid=13267] ppid=13249 vsize=10551584 CPUtime=1.12 cores=0,2,4,6
/proc/13251/task/13267/stat : 13267 (java) S 13249 13251 10194 0 -1 4202560 8419 0 0 0 111 1 0 0 15 0 22 0 830600574 10804822016 896189 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
[pid=13251/tid=13268] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13268/stat : 13268 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830600574 10804822016 896189 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
[pid=13251/tid=13269] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13269/stat : 13269 (java) S 13249 13251 10194 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 830600574 10804822016 896189 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488511488 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
[pid=13251/tid=13282] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13282/stat : 13282 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830601071 10804822016 896189 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488511488 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13295] ppid=13249 vsize=10551584 CPUtime=795.73 cores=0,2,4,6
/proc/13251/task/13295/stat : 13295 (java) R 13249 13251 10194 0 -1 4202560 716 0 0 0 79572 1 0 0 25 0 22 0 830601579 10804822016 896189 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 46912505798762 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13251/tid=13296] ppid=13249 vsize=10551584 CPUtime=795.79 cores=0,2,4,6
/proc/13251/task/13296/stat : 13296 (java) R 13249 13251 10194 0 -1 4202560 450620 0 0 0 79532 47 0 0 25 0 22 0 830601579 10804822016 896189 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 46912505569305 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13251/tid=13297] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13297/stat : 13297 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830601579 10804822016 896189 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488511488 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1625.92
Current children cumulated vsize (KiB) 10551584

[startup+882.302 s]
/proc/loadavg: 4.00 3.98 3.80 5/597 13339
/proc/meminfo: memFree=17575268/32950928 swapFree=67056580/67111528
[pid=13251] ppid=13249 vsize=10551584 CPUtime=1744.37 cores=0,2,4,6
/proc/13251/stat : 13251 (java) S 13249 13251 10194 0 -1 4202496 906311 0 1 0 174334 103 0 0 25 0 22 0 830600568 10804822016 898360 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13251/statm: 2637896 898360 2260 9 0 2628630 0
[pid=13251/tid=13252] ppid=13249 vsize=10551584 CPUtime=0.51 cores=0,2,4,6
/proc/13251/task/13252/stat : 13252 (java) S 13249 13251 10194 0 -1 4202560 15692 0 1 0 50 1 0 0 15 0 22 0 830600569 10804822016 898360 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488511488 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
[pid=13251/tid=13254] ppid=13249 vsize=10551584 CPUtime=0.29 cores=0,2,4,6
/proc/13251/task/13254/stat : 13254 (java) S 13249 13251 10194 0 -1 4202560 1899 0 0 0 29 0 0 0 16 0 22 0 830600571 10804822016 898360 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 0 0 0 0
[pid=13251/tid=13255] ppid=13249 vsize=10551584 CPUtime=0.3 cores=0,2,4,6
/proc/13251/task/13255/stat : 13255 (java) S 13249 13251 10194 0 -1 4202560 2122 0 0 0 30 0 0 0 16 0 22 0 830600571 10804822016 898360 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
[pid=13251/tid=13256] ppid=13249 vsize=10551584 CPUtime=0.28 cores=0,2,4,6
/proc/13251/task/13256/stat : 13256 (java) S 13249 13251 10194 0 -1 4202560 3436 0 0 0 28 0 0 0 15 0 22 0 830600571 10804822016 898360 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 0 0 0 0
[pid=13251/tid=13257] ppid=13249 vsize=10551584 CPUtime=0.27 cores=0,2,4,6
/proc/13251/task/13257/stat : 13257 (java) S 13249 13251 10194 0 -1 4202560 2070 0 0 0 27 0 0 0 15 0 22 0 830600571 10804822016 898360 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 0 0 0 0
[pid=13251/tid=13258] ppid=13249 vsize=10551584 CPUtime=0.3 cores=0,2,4,6
/proc/13251/task/13258/stat : 13258 (java) S 13249 13251 10194 0 -1 4202560 2255 0 0 0 30 0 0 0 16 0 22 0 830600571 10804822016 898360 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 0 0 0 0
[pid=13251/tid=13259] ppid=13249 vsize=10551584 CPUtime=0.31 cores=0,2,4,6
/proc/13251/task/13259/stat : 13259 (java) S 13249 13251 10194 0 -1 4202560 2799 0 0 0 31 0 0 0 16 0 22 0 830600571 10804822016 898360 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13260] ppid=13249 vsize=10551584 CPUtime=0.27 cores=0,2,4,6
/proc/13251/task/13260/stat : 13260 (java) S 13249 13251 10194 0 -1 4202560 2433 0 0 0 27 0 0 0 16 0 22 0 830600571 10804822016 898360 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13261] ppid=13249 vsize=10551584 CPUtime=0.28 cores=0,2,4,6
/proc/13251/task/13261/stat : 13261 (java) S 13249 13251 10194 0 -1 4202560 3112 0 0 0 28 0 0 0 15 0 22 0 830600571 10804822016 898360 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
[pid=13251/tid=13262] ppid=13249 vsize=10551584 CPUtime=17.18 cores=0,2,4,6
/proc/13251/task/13262/stat : 13262 (java) S 13249 13251 10194 0 -1 4202560 14869 0 0 0 1713 5 0 0 15 0 22 0 830600572 10804822016 898360 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488511488 0 0 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
[pid=13251/tid=13263] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13263/stat : 13263 (java) S 13249 13251 10194 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830600572 10804822016 898360 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13264] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13264/stat : 13264 (java) S 13249 13251 10194 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 830600572 10804822016 898360 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13265] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13265/stat : 13265 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830600574 10804822016 898360 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488518577 0 4 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
[pid=13251/tid=13266] ppid=13249 vsize=10551584 CPUtime=1.14 cores=0,2,4,6
/proc/13251/task/13266/stat : 13266 (java) S 13249 13251 10194 0 -1 4202560 5665 0 0 0 114 0 0 0 15 0 22 0 830600574 10804822016 898360 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 0 0 0 0
[pid=13251/tid=13267] ppid=13249 vsize=10551584 CPUtime=1.12 cores=0,2,4,6
/proc/13251/task/13267/stat : 13267 (java) S 13249 13251 10194 0 -1 4202560 8419 0 0 0 111 1 0 0 15 0 22 0 830600574 10804822016 898360 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
[pid=13251/tid=13268] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13268/stat : 13268 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830600574 10804822016 898360 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
[pid=13251/tid=13269] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13269/stat : 13269 (java) S 13249 13251 10194 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 830600574 10804822016 898360 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488511488 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
[pid=13251/tid=13282] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13282/stat : 13282 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830601071 10804822016 898360 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488511488 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13295] ppid=13249 vsize=10551584 CPUtime=854.07 cores=0,2,4,6
/proc/13251/task/13295/stat : 13295 (java) R 13249 13251 10194 0 -1 4202560 717 0 0 0 85406 1 0 0 25 0 22 0 830601579 10804822016 898360 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 46912505798781 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13251/tid=13296] ppid=13249 vsize=10551584 CPUtime=854.13 cores=0,2,4,6
/proc/13251/task/13296/stat : 13296 (java) R 13249 13251 10194 0 -1 4202560 450626 0 0 0 85366 47 0 0 25 0 22 0 830601579 10804822016 898360 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 46912505926261 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13251/tid=13297] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13297/stat : 13297 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830601579 10804822016 898360 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488511488 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1744.37
Current children cumulated vsize (KiB) 10551584



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+910.401 s]
/proc/loadavg: 4.01 3.98 3.81 5/597 13400
/proc/meminfo: memFree=20775372/32950928 swapFree=67056580/67111528
[pid=13251] ppid=13249 vsize=10551584 CPUtime=1800.09 cores=0,2,4,6
/proc/13251/stat : 13251 (java) S 13249 13251 10194 0 -1 4202496 908856 0 1 0 179906 103 0 0 25 0 22 0 830600568 10804822016 900782 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13251/statm: 2637896 900782 2260 9 0 2628630 0
[pid=13251/tid=13252] ppid=13249 vsize=10551584 CPUtime=0.51 cores=0,2,4,6
/proc/13251/task/13252/stat : 13252 (java) S 13249 13251 10194 0 -1 4202560 15692 0 1 0 50 1 0 0 15 0 22 0 830600569 10804822016 900782 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488511488 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
[pid=13251/tid=13254] ppid=13249 vsize=10551584 CPUtime=0.3 cores=0,2,4,6
/proc/13251/task/13254/stat : 13254 (java) S 13249 13251 10194 0 -1 4202560 1899 0 0 0 30 0 0 0 15 0 22 0 830600571 10804822016 900782 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13255] ppid=13249 vsize=10551584 CPUtime=0.32 cores=0,2,4,6
/proc/13251/task/13255/stat : 13255 (java) S 13249 13251 10194 0 -1 4202560 2162 0 0 0 32 0 0 0 15 0 22 0 830600571 10804822016 900782 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
[pid=13251/tid=13256] ppid=13249 vsize=10551584 CPUtime=0.3 cores=0,2,4,6
/proc/13251/task/13256/stat : 13256 (java) S 13249 13251 10194 0 -1 4202560 3608 0 0 0 30 0 0 0 15 0 22 0 830600571 10804822016 900782 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 0 0 0 0
[pid=13251/tid=13257] ppid=13249 vsize=10551584 CPUtime=0.28 cores=0,2,4,6
/proc/13251/task/13257/stat : 13257 (java) S 13249 13251 10194 0 -1 4202560 2110 0 0 0 28 0 0 0 15 0 22 0 830600571 10804822016 900782 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13258] ppid=13249 vsize=10551584 CPUtime=0.31 cores=0,2,4,6
/proc/13251/task/13258/stat : 13258 (java) S 13249 13251 10194 0 -1 4202560 2640 0 0 0 31 0 0 0 15 0 22 0 830600571 10804822016 900782 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 0 0 0 0
[pid=13251/tid=13259] ppid=13249 vsize=10551584 CPUtime=0.32 cores=0,2,4,6
/proc/13251/task/13259/stat : 13259 (java) S 13249 13251 10194 0 -1 4202560 3269 0 0 0 32 0 0 0 15 0 22 0 830600571 10804822016 900782 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 0 0 0 0
[pid=13251/tid=13260] ppid=13249 vsize=10551584 CPUtime=0.29 cores=0,2,4,6
/proc/13251/task/13260/stat : 13260 (java) S 13249 13251 10194 0 -1 4202560 3250 0 0 0 29 0 0 0 16 0 22 0 830600571 10804822016 900782 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 0 0 0 0
[pid=13251/tid=13261] ppid=13249 vsize=10551584 CPUtime=0.3 cores=0,2,4,6
/proc/13251/task/13261/stat : 13261 (java) S 13249 13251 10194 0 -1 4202560 3719 0 0 0 30 0 0 0 15 0 22 0 830600571 10804822016 900782 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13262] ppid=13249 vsize=10551584 CPUtime=17.73 cores=0,2,4,6
/proc/13251/task/13262/stat : 13262 (java) S 13249 13251 10194 0 -1 4202560 14872 0 0 0 1768 5 0 0 15 0 22 0 830600572 10804822016 900782 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488511488 0 0 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
[pid=13251/tid=13263] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13263/stat : 13263 (java) S 13249 13251 10194 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830600572 10804822016 900782 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13264] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13264/stat : 13264 (java) S 13249 13251 10194 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 830600572 10804822016 900782 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13265] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13265/stat : 13265 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830600574 10804822016 900782 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488518577 0 4 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
[pid=13251/tid=13266] ppid=13249 vsize=10551584 CPUtime=1.14 cores=0,2,4,6
/proc/13251/task/13266/stat : 13266 (java) S 13249 13251 10194 0 -1 4202560 5665 0 0 0 114 0 0 0 15 0 22 0 830600574 10804822016 900782 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 0 0 0 0
[pid=13251/tid=13267] ppid=13249 vsize=10551584 CPUtime=1.12 cores=0,2,4,6
/proc/13251/task/13267/stat : 13267 (java) S 13249 13251 10194 0 -1 4202560 8419 0 0 0 111 1 0 0 15 0 22 0 830600574 10804822016 900782 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
[pid=13251/tid=13268] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13268/stat : 13268 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830600574 10804822016 900782 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488510873 0 4 0 16800975 18446604443624537152 0 0 -1 4 0 0 0
[pid=13251/tid=13269] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13269/stat : 13269 (java) S 13249 13251 10194 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830600574 10804822016 900782 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488511488 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
[pid=13251/tid=13282] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13282/stat : 13282 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830601071 10804822016 900782 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488511488 0 4 0 16800975 18446604443624537152 0 0 -1 6 0 0 0
[pid=13251/tid=13295] ppid=13249 vsize=10551584 CPUtime=881.61 cores=0,2,4,6
/proc/13251/task/13295/stat : 13295 (java) R 13249 13251 10194 0 -1 4202560 722 0 0 0 88160 1 0 0 25 0 22 0 830601579 10804822016 900782 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 46912505874290 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13251/tid=13296] ppid=13249 vsize=10551584 CPUtime=881.66 cores=0,2,4,6
/proc/13251/task/13296/stat : 13296 (java) R 13249 13251 10194 0 -1 4202560 450630 0 0 0 88119 47 0 0 25 0 22 0 830601579 10804822016 900782 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 46912505925613 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13251/tid=13297] ppid=13249 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/13251/task/13297/stat : 13297 (java) S 13249 13251 10194 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830601579 10804822016 900782 33554432000 1073741824 1073778376 140733985053120 18446744073709551615 239488511488 0 4 0 16800975 18446604443624537152 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10551584

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

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

[startup+910.526 s]
/proc/loadavg: 4.01 3.98 3.81 5/597 13400
/proc/meminfo: memFree=20775372/32950928 swapFree=67056580/67111528
[pid=13251] ppid=13249 vsize=0 CPUtime=1800.26 cores=0,2,4,6
/proc/13251/stat : 13251 (java) Z 13249 13251 10194 0 -1 4203548 908889 0 1 0 179914 112 0 0 17 0 2 0 830600568 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13251/statm: 0 0 0 0 0 0 0
[pid=13251/tid=13295] ppid=13249 vsize=0 CPUtime=881.72 cores=0,2,4,6
/proc/13251/task/13295/stat : 13295 (java) R 13249 13251 10194 0 -1 4203588 722 0 0 0 88162 10 0 0 25 0 2 0 830601579 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 910.587
CPU time (s): 1800.33
CPU user time (s): 1799.15
CPU system time (s): 1.18082
CPU usage (%): 197.711
Max. virtual memory (cumulated for all children) (KiB): 10556692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.15
system time used= 1.18082
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 908889
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= 26967
involuntary context switches= 22387

runsolver used 5.42417 second user time and 11.3463 second system time

The end

Launcher Data 

Begin job on node148 at 2011-06-04 14:20:35
IDJOB=3454571
IDBENCH=2295
IDSOLVER=1950
FILE ID=node148/3454571-1307190035
RUNJOBID= node148-1307188199-12810
PBS_JOBID= 13508860
Free space on /tmp= 73896 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x12.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454571-1307190035/watcher-3454571-1307190035 -o /tmp/evaluation-result-3454571-1307190035/solver-3454571-1307190035 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454571-1307190035.opb

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

MD5SUM BENCH= 9d08937c2a2ec73e4fca19adadace920
RANDOM SEED=2135434331

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
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:      23786064 kB
Buffers:        263708 kB
Cached:         634108 kB
SwapCached:       7908 kB
Active:        8344452 kB
Inactive:       511504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23786064 kB
SwapTotal:    67111528 kB
SwapFree:     67056580 kB
Dirty:            1436 kB
Writeback:           0 kB
AnonPages:     7956700 kB
Mapped:          52000 kB
Slab:           179368 kB
PageTables:      60176 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 180755244 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73896 MiB
End job on node148 at 2011-06-04 14:35:47