Trace number 3454385

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)3729408 1800.23 916.674

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran10x10b.opb
MD5SUMb5587ac28cf407bbfa21e21c74984478
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3729408
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 3581952
Optimality of the best value was proved NO
Number of variables3100
Total number of constraints120
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 constraints120
Minimum length of a constraint31
Maximum length of a constraint300
Number of terms in the objective function 3100
Biggest coefficient in the objective function 4831838208
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 511129031204
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 4831838208
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 511129031204
Number of bits of the biggest sum of numbers39
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		9996466904
0.00/0.09	c Max memory 		10048897024
0.00/0.09	c Total memory 		10048897024
0.00/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3454385-1307189853.opb
0.10/0.11	c reading problem ... 
0.60/0.37	c ... done. Wall clock time 0.262s.
0.60/0.37	c #vars     3100
0.60/0.37	c #constraints  1848
0.60/0.37	c constraints type 
0.60/0.37	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 140
0.60/0.37	c constraints type 
0.60/0.37	c org.sat4j.pb.constraints.pb.MaxWatchPb => 140
2.50/0.89	c  And the winner is Resolution
2.81/1.39	c SATISFIABLE
2.81/1.39	c OPTIMIZING...
2.81/1.39	c Got one! Elapsed wall clock time (in seconds):1.278
2.81/1.39	o 8166341
3.72/1.70	c  And the winner is CuttingPlanes
3.73/1.91	c Got one! Elapsed wall clock time (in seconds):1.793
3.73/1.91	o 4212736
4.16/2.13	c  And the winner is CuttingPlanes
4.22/2.42	c Got one! Elapsed wall clock time (in seconds):2.31
4.22/2.42	o 4038656
8.27/4.41	c cleaning 3269 clauses out of 6543 with flag 5000/6543
13.09/6.77	c cleaning 4633 clauses out of 9274 with flag 11000/12543
18.27/9.32	c cleaning 5813 clauses out of 11641 with flag 18000/19543
24.46/12.43	c cleaning 6895 clauses out of 13828 with flag 26000/27543
31.06/15.78	c cleaning 7957 clauses out of 15933 with flag 35000/36543
38.83/19.63	c cleaning 8976 clauses out of 17979 with flag 45003/46546
46.60/23.52	c cleaning 9490 clauses out of 19000 with flag 55000/56543
53.57/27.02	c cleaning 9752 clauses out of 19514 with flag 65004/66547
59.74/30.18	c cleaning 9874 clauses out of 19759 with flag 75001/76544
67.74/34.15	c cleaning 9933 clauses out of 19886 with flag 85002/86545
73.07/36.87	c cleaning 9968 clauses out of 19953 with flag 95002/96545
78.84/39.73	c cleaning 9975 clauses out of 19983 with flag 105000/106543
84.00/42.31	c cleaning 10002 clauses out of 20008 with flag 115000/116543
91.36/46.02	c cleaning 10000 clauses out of 20007 with flag 125001/126544
99.92/50.31	c cleaning 9998 clauses out of 20007 with flag 135001/136544
107.89/54.36	c cleaning 9995 clauses out of 20008 with flag 145000/146543
115.66/58.25	c cleaning 9988 clauses out of 20015 with flag 155002/156545
124.63/62.73	c cleaning 9995 clauses out of 20025 with flag 165000/166543
132.36/66.69	c cleaning 10009 clauses out of 20031 with flag 175001/176544
140.31/70.63	c cleaning 9994 clauses out of 20022 with flag 185001/186544
149.25/75.13	c cleaning 10005 clauses out of 20027 with flag 195000/196543
156.41/78.73	c cleaning 9998 clauses out of 20022 with flag 205000/206543
162.36/81.72	c cleaning 9999 clauses out of 20024 with flag 215000/216543
168.72/84.98	c cleaning 9999 clauses out of 20025 with flag 225000/226543
174.68/87.93	c cleaning 10002 clauses out of 20027 with flag 235001/236544
180.81/91.09	c cleaning 10002 clauses out of 20027 with flag 245003/246546
188.16/94.76	c cleaning 9995 clauses out of 20024 with flag 255002/256545
195.30/98.35	c cleaning 10007 clauses out of 20027 with flag 265000/266543
203.62/102.56	c cleaning 9989 clauses out of 20020 with flag 275000/276543
209.17/105.35	c cleaning 10008 clauses out of 20031 with flag 285000/286543
212.91/107.27	c  And the winner is CuttingPlanes
213.06/107.47	c Got one! Elapsed wall clock time (in seconds):107.36
213.06/107.47	o 4037632
217.12/109.54	c cleaning 10044 clauses out of 20111 with flag 5001/296631
222.30/112.15	c cleaning 8019 clauses out of 16067 with flag 11001/302631
228.39/115.22	c cleaning 7513 clauses out of 15048 with flag 18001/309631
229.94/116.06	c  And the winner is CuttingPlanes
230.07/116.52	c Got one! Elapsed wall clock time (in seconds):116.405
230.07/116.52	o 3729408
232.27/117.65	c cleaning 6504 clauses out of 13020 with flag 3000/315116
236.61/119.84	c cleaning 6252 clauses out of 12517 with flag 9001/321117
241.73/122.42	c cleaning 6621 clauses out of 13269 with flag 16005/328121
248.84/126.00	c cleaning 7320 clauses out of 14646 with flag 24003/336119
255.78/129.60	c cleaning 8154 clauses out of 16324 with flag 33001/345117
262.31/132.89	c cleaning 9076 clauses out of 18170 with flag 43001/355117
270.85/137.12	c cleaning 9543 clauses out of 19093 with flag 53000/365116
276.96/140.28	c cleaning 9758 clauses out of 19552 with flag 63002/375118
284.29/143.96	c cleaning 9880 clauses out of 19793 with flag 73001/385117
292.63/148.11	c cleaning 9947 clauses out of 19913 with flag 83001/395117
300.56/152.12	c cleaning 9973 clauses out of 19965 with flag 93000/405116
306.66/155.20	c cleaning 9980 clauses out of 19993 with flag 103001/415117
311.79/157.87	c cleaning 9998 clauses out of 20014 with flag 113002/425118
320.32/162.19	c cleaning 9993 clauses out of 20015 with flag 123001/435117
326.11/165.05	c cleaning 9996 clauses out of 20021 with flag 133000/445116
333.17/168.65	c cleaning 9999 clauses out of 20025 with flag 143000/455116
342.91/173.51	c cleaning 10002 clauses out of 20027 with flag 153001/465117
350.25/177.28	c cleaning 9995 clauses out of 20024 with flag 163000/475116
357.63/180.93	c cleaning 10011 clauses out of 20030 with flag 173001/485117
365.52/184.96	c cleaning 9992 clauses out of 20018 with flag 183000/495116
373.05/188.71	c cleaning 10009 clauses out of 20028 with flag 193002/505118
379.78/192.16	c cleaning 9998 clauses out of 20017 with flag 203000/515116
386.51/195.55	c cleaning 10003 clauses out of 20019 with flag 213000/525116
394.20/199.48	c cleaning 9990 clauses out of 20018 with flag 223002/535118
402.52/203.68	c cleaning 10003 clauses out of 20026 with flag 233000/545116
410.04/207.48	c cleaning 10006 clauses out of 20024 with flag 243001/555117
418.17/211.56	c cleaning 10000 clauses out of 20017 with flag 253000/565116
426.86/215.96	c cleaning 9991 clauses out of 20017 with flag 263000/575116
433.57/219.39	c cleaning 9994 clauses out of 20026 with flag 273000/585116
439.49/222.34	c cleaning 10004 clauses out of 20032 with flag 283000/595116
446.01/225.66	c cleaning 10007 clauses out of 20028 with flag 293000/605116
452.69/229.01	c cleaning 9999 clauses out of 20021 with flag 303000/615116
458.85/232.19	c cleaning 9998 clauses out of 20023 with flag 313001/625117
465.36/235.44	c cleaning 10007 clauses out of 20026 with flag 323002/635118
472.65/239.14	c cleaning 9995 clauses out of 20017 with flag 333000/645116
478.72/242.28	c cleaning 10006 clauses out of 20023 with flag 343001/655117
485.44/245.62	c cleaning 10000 clauses out of 20017 with flag 353001/665117
494.55/250.26	c cleaning 9978 clauses out of 20017 with flag 363001/675117
503.07/254.53	c cleaning 9995 clauses out of 20039 with flag 373001/685117
511.56/258.80	c cleaning 10005 clauses out of 20044 with flag 383001/695117
519.07/262.67	c cleaning 10011 clauses out of 20038 with flag 393000/705116
526.79/266.59	c cleaning 10003 clauses out of 20028 with flag 403001/715117
534.30/270.30	c cleaning 9999 clauses out of 20024 with flag 413000/725116
541.41/273.92	c cleaning 9986 clauses out of 20026 with flag 423001/735117
547.49/277.10	c cleaning 10016 clauses out of 20040 with flag 433001/745117
555.21/280.92	c cleaning 9995 clauses out of 20024 with flag 443001/755117
560.52/283.69	c cleaning 9995 clauses out of 20028 with flag 453000/765116
567.59/287.20	c cleaning 10000 clauses out of 20035 with flag 463002/775118
574.30/290.69	c cleaning 10009 clauses out of 20035 with flag 473002/785118
581.42/294.21	c cleaning 9994 clauses out of 20024 with flag 483000/795116
586.75/296.96	c cleaning 10001 clauses out of 20032 with flag 493002/805118
594.39/300.84	c cleaning 9989 clauses out of 20030 with flag 503001/815117
603.70/305.58	c cleaning 9990 clauses out of 20040 with flag 513000/825116
610.85/309.13	c cleaning 10003 clauses out of 20050 with flag 523000/835116
616.91/312.27	c cleaning 9997 clauses out of 20047 with flag 533000/845116
623.38/315.55	c cleaning 10003 clauses out of 20052 with flag 543002/855118
629.29/318.60	c cleaning 9998 clauses out of 20048 with flag 553001/865117
636.20/322.09	c cleaning 10002 clauses out of 20049 with flag 563000/875116
642.91/325.48	c cleaning 10000 clauses out of 20047 with flag 573000/885116
648.57/328.34	c cleaning 10003 clauses out of 20047 with flag 583000/895116
655.27/331.73	c cleaning 10007 clauses out of 20045 with flag 593001/905117
661.98/335.16	c cleaning 10004 clauses out of 20037 with flag 603000/915116
668.29/338.39	c cleaning 9999 clauses out of 20034 with flag 613001/925117
674.75/341.65	c cleaning 9997 clauses out of 20035 with flag 623001/935117
683.26/345.99	c cleaning 9998 clauses out of 20037 with flag 633000/945116
691.00/349.85	c cleaning 10003 clauses out of 20040 with flag 643001/955117
699.07/353.99	c cleaning 10006 clauses out of 20037 with flag 653001/965117
707.32/358.17	c cleaning 9989 clauses out of 20031 with flag 663001/975117
714.65/361.91	c cleaning 10010 clauses out of 20042 with flag 673001/985117
722.33/365.75	c cleaning 10002 clauses out of 20032 with flag 683001/995117
728.44/368.86	c cleaning 9991 clauses out of 20030 with flag 693001/1005117
734.49/372.00	c cleaning 10010 clauses out of 20038 with flag 703000/1015116
741.40/375.49	c cleaning 9989 clauses out of 20029 with flag 713001/1025117
748.11/378.85	c cleaning 10008 clauses out of 20039 with flag 723000/1035116
755.21/382.44	c cleaning 10005 clauses out of 20033 with flag 733002/1045118
763.06/386.42	c cleaning 9999 clauses out of 20029 with flag 743003/1055119
770.37/390.19	c cleaning 10003 clauses out of 20027 with flag 753000/1065116
777.70/393.85	c cleaning 10004 clauses out of 20024 with flag 763000/1075116
783.99/397.05	c cleaning 9996 clauses out of 20020 with flag 773000/1085116
790.82/400.56	c cleaning 9981 clauses out of 20024 with flag 783000/1095116
796.33/403.35	c cleaning 10000 clauses out of 20045 with flag 793002/1105118
802.04/406.26	c cleaning 10010 clauses out of 20043 with flag 803000/1115116
808.54/409.52	c cleaning 9999 clauses out of 20033 with flag 813000/1125116
814.79/412.75	c cleaning 10008 clauses out of 20035 with flag 823001/1135117
821.29/416.08	c cleaning 9997 clauses out of 20026 with flag 833000/1145116
828.38/419.70	c cleaning 10000 clauses out of 20031 with flag 843002/1155118
833.92/422.42	c cleaning 9987 clauses out of 20029 with flag 853000/1165116
839.93/425.50	c cleaning 9997 clauses out of 20044 with flag 863002/1175118
846.23/428.71	c cleaning 10007 clauses out of 20046 with flag 873001/1185117
852.32/431.82	c cleaning 10007 clauses out of 20039 with flag 883001/1195117
859.86/435.64	c cleaning 10000 clauses out of 20031 with flag 893000/1205116
870.06/440.88	c cleaning 9999 clauses out of 20032 with flag 903001/1215117
877.36/444.57	c cleaning 10003 clauses out of 20032 with flag 913000/1225116
881.85/446.89	c cleaning 9995 clauses out of 20034 with flag 923005/1235121
887.35/449.63	c cleaning 9999 clauses out of 20035 with flag 933001/1245117
892.01/452.07	c cleaning 10009 clauses out of 20035 with flag 943000/1255116
898.28/455.22	c cleaning 9999 clauses out of 20028 with flag 953002/1265118
904.18/458.22	c cleaning 9998 clauses out of 20028 with flag 963001/1275117
910.68/461.53	c cleaning 9994 clauses out of 20029 with flag 973000/1285116
917.32/464.91	c cleaning 10002 clauses out of 20036 with flag 983001/1295117
923.42/468.09	c cleaning 9989 clauses out of 20033 with flag 993000/1305116
929.31/471.03	c cleaning 10008 clauses out of 20047 with flag 1003003/1315119
935.01/474.01	c cleaning 10002 clauses out of 20036 with flag 1013000/1325116
941.88/477.48	c cleaning 10003 clauses out of 20035 with flag 1023001/1335117
947.94/480.52	c cleaning 9995 clauses out of 20033 with flag 1033002/1345118
953.83/483.52	c cleaning 9998 clauses out of 20036 with flag 1043000/1355116
959.92/486.60	c cleaning 10006 clauses out of 20038 with flag 1053000/1365116
965.59/489.54	c cleaning 9995 clauses out of 20032 with flag 1063000/1375116
972.25/492.92	c cleaning 9993 clauses out of 20038 with flag 1073001/1385117
978.36/496.08	c cleaning 10020 clauses out of 20045 with flag 1083001/1395117
984.02/499.00	c cleaning 9995 clauses out of 20024 with flag 1093000/1405116
990.06/502.07	c cleaning 10003 clauses out of 20029 with flag 1103000/1415116
994.95/504.57	c cleaning 9993 clauses out of 20026 with flag 1113000/1425116
999.24/506.79	c cleaning 10009 clauses out of 20033 with flag 1123000/1435116
1004.53/509.45	c cleaning 10000 clauses out of 20024 with flag 1133000/1445116
1009.97/512.22	c cleaning 9993 clauses out of 20024 with flag 1143000/1455116
1014.87/514.76	c cleaning 9999 clauses out of 20031 with flag 1153000/1465116
1019.54/517.16	c cleaning 10005 clauses out of 20033 with flag 1163001/1475117
1024.64/519.77	c cleaning 9992 clauses out of 20027 with flag 1173000/1485116
1030.47/522.73	c cleaning 10002 clauses out of 20036 with flag 1183001/1495117
1037.56/526.38	c cleaning 10002 clauses out of 20034 with flag 1193001/1505117
1043.85/529.56	c cleaning 10006 clauses out of 20031 with flag 1203000/1515116
1049.94/532.65	c cleaning 10005 clauses out of 20027 with flag 1213002/1525118
1057.36/536.47	c cleaning 9999 clauses out of 20021 with flag 1223001/1535117
1064.05/539.87	c cleaning 9989 clauses out of 20022 with flag 1233001/1545117
1069.53/542.67	c cleaning 10004 clauses out of 20032 with flag 1243000/1555116
1076.02/545.90	c cleaning 9998 clauses out of 20029 with flag 1253001/1565117
1082.03/549.06	c cleaning 9994 clauses out of 20030 with flag 1263000/1575116
1087.31/551.75	c cleaning 10000 clauses out of 20036 with flag 1273000/1585116
1092.79/554.52	c cleaning 9991 clauses out of 20036 with flag 1283000/1595116
1099.27/557.86	c cleaning 9994 clauses out of 20045 with flag 1293000/1605116
1106.27/561.46	c cleaning 9999 clauses out of 20052 with flag 1303001/1615117
1112.95/564.89	c cleaning 9999 clauses out of 20053 with flag 1313001/1625117
1120.02/568.41	c cleaning 9999 clauses out of 20054 with flag 1323001/1635117
1126.49/571.76	c cleaning 10019 clauses out of 20055 with flag 1333001/1645117
1133.33/575.23	c cleaning 10014 clauses out of 20036 with flag 1343001/1655117
1141.39/579.34	c cleaning 10005 clauses out of 20021 with flag 1353000/1665116
1147.46/582.49	c cleaning 9984 clauses out of 20017 with flag 1363001/1675117
1153.73/585.67	c cleaning 10000 clauses out of 20035 with flag 1373003/1685119
1159.15/588.51	c cleaning 10002 clauses out of 20032 with flag 1383000/1695116
1167.00/592.44	c cleaning 9985 clauses out of 20030 with flag 1393000/1705116
1174.67/596.37	c cleaning 10016 clauses out of 20054 with flag 1403009/1715125
1184.74/601.41	c cleaning 9993 clauses out of 20032 with flag 1413003/1725119
1191.93/605.15	c cleaning 10010 clauses out of 20037 with flag 1423001/1735117
1198.23/608.33	c cleaning 10006 clauses out of 20028 with flag 1433002/1745118
1205.07/611.81	c cleaning 9997 clauses out of 20020 with flag 1443000/1755116
1211.75/615.24	c cleaning 10003 clauses out of 20023 with flag 1453000/1765116
1218.76/618.84	c cleaning 9997 clauses out of 20021 with flag 1463001/1775117
1225.84/622.46	c cleaning 10002 clauses out of 20025 with flag 1473002/1785118
1233.50/626.36	c cleaning 9986 clauses out of 20021 with flag 1483000/1795116
1242.16/630.70	c cleaning 10001 clauses out of 20035 with flag 1493000/1805116
1249.36/634.46	c cleaning 10003 clauses out of 20039 with flag 1503005/1815121
1257.23/638.45	c cleaning 10011 clauses out of 20032 with flag 1513001/1825117
1263.89/641.88	c cleaning 10002 clauses out of 20020 with flag 1523000/1835116
1271.59/645.73	c cleaning 9996 clauses out of 20019 with flag 1533001/1845117
1277.79/649.01	c cleaning 10005 clauses out of 20025 with flag 1543003/1855119
1284.83/652.50	c cleaning 9987 clauses out of 20018 with flag 1553001/1865117
1291.50/655.96	c cleaning 9988 clauses out of 20032 with flag 1563002/1875118
1298.57/659.54	c cleaning 9986 clauses out of 20042 with flag 1573000/1885116
1305.38/663.04	c cleaning 10012 clauses out of 20057 with flag 1583001/1895117
1311.85/666.31	c cleaning 10004 clauses out of 20045 with flag 1593001/1905117
1317.72/669.35	c cleaning 9995 clauses out of 20041 with flag 1603001/1915117
1322.99/672.09	c cleaning 9999 clauses out of 20046 with flag 1613001/1925117
1329.61/675.48	c cleaning 10010 clauses out of 20047 with flag 1623001/1935117
1336.24/678.88	c cleaning 10006 clauses out of 20037 with flag 1633001/1945117
1342.91/682.23	c cleaning 10008 clauses out of 20030 with flag 1643000/1955116
1349.17/685.47	c cleaning 10005 clauses out of 20023 with flag 1653001/1965117
1354.97/688.43	c cleaning 9984 clauses out of 20017 with flag 1663000/1975116
1360.84/691.47	c cleaning 9998 clauses out of 20034 with flag 1673001/1985117
1366.90/694.53	c cleaning 9996 clauses out of 20038 with flag 1683003/1995119
1372.60/697.42	c cleaning 10002 clauses out of 20039 with flag 1693000/2005116
1377.95/700.26	c cleaning 10003 clauses out of 20038 with flag 1703001/2015117
1383.39/703.03	c cleaning 10005 clauses out of 20037 with flag 1713003/2025119
1388.46/705.64	c cleaning 9995 clauses out of 20031 with flag 1723002/2035118
1393.12/708.09	c cleaning 9990 clauses out of 20034 with flag 1733000/2045116
1398.14/710.69	c cleaning 9998 clauses out of 20044 with flag 1743000/2055116
1402.96/713.18	c cleaning 9998 clauses out of 20048 with flag 1753002/2065118
1408.64/716.05	c cleaning 10007 clauses out of 20048 with flag 1763000/2075116
1415.32/719.44	c cleaning 9991 clauses out of 20043 with flag 1773002/2085118
1421.86/722.81	c cleaning 9992 clauses out of 20050 with flag 1783000/2095116
1426.33/725.10	c cleaning 9996 clauses out of 20058 with flag 1793000/2105116
1432.59/728.36	c cleaning 9996 clauses out of 20064 with flag 1803002/2115118
1438.44/731.37	c cleaning 9994 clauses out of 20066 with flag 1813000/2125116
1443.84/734.10	c cleaning 10003 clauses out of 20072 with flag 1823000/2135116
1450.10/737.34	c cleaning 9999 clauses out of 20070 with flag 1833001/2145117
1456.17/740.47	c cleaning 9998 clauses out of 20070 with flag 1843000/2155116
1461.63/743.26	c cleaning 9992 clauses out of 20073 with flag 1853001/2165117
1466.44/745.79	c cleaning 9998 clauses out of 20080 with flag 1863000/2175116
1471.68/748.44	c cleaning 10004 clauses out of 20084 with flag 1873002/2185118
1477.16/751.25	c cleaning 10003 clauses out of 20079 with flag 1883001/2195117
1486.60/756.03	c cleaning 10004 clauses out of 20076 with flag 1893001/2205117
1496.38/761.10	c cleaning 9999 clauses out of 20071 with flag 1903000/2215116
1506.43/766.11	c cleaning 10003 clauses out of 20074 with flag 1913002/2225118
1514.29/770.18	c cleaning 9988 clauses out of 20069 with flag 1923000/2235116
1521.74/773.96	c cleaning 10009 clauses out of 20081 with flag 1933000/2245116
1528.11/777.29	c cleaning 10000 clauses out of 20072 with flag 1943000/2255116
1533.20/779.89	c cleaning 9993 clauses out of 20073 with flag 1953001/2265117
1539.42/783.01	c cleaning 9992 clauses out of 20080 with flag 1963001/2275117
1545.48/786.16	c cleaning 10000 clauses out of 20088 with flag 1973001/2285117
1551.25/789.15	c cleaning 9991 clauses out of 20089 with flag 1983002/2295118
1557.30/792.27	c cleaning 10043 clauses out of 20097 with flag 1993001/2305117
1565.94/796.68	c cleaning 10012 clauses out of 20053 with flag 2003000/2315116
1573.61/800.51	c cleaning 10010 clauses out of 20043 with flag 2013002/2325118
1579.77/803.73	c cleaning 10007 clauses out of 20031 with flag 2023000/2335116
1587.23/807.53	c cleaning 9985 clauses out of 20025 with flag 2033001/2345117
1595.72/811.82	c cleaning 10006 clauses out of 20040 with flag 2043001/2355117
1603.93/816.08	c cleaning 9991 clauses out of 20033 with flag 2053000/2365116
1611.11/819.73	c cleaning 10007 clauses out of 20044 with flag 2063002/2375118
1618.55/823.57	c cleaning 10004 clauses out of 20037 with flag 2073002/2385118
1625.20/826.99	c cleaning 10006 clauses out of 20031 with flag 2083000/2395116
1631.84/830.38	c cleaning 9996 clauses out of 20027 with flag 2093002/2405118
1638.81/833.94	c cleaning 10004 clauses out of 20029 with flag 2103000/2415116
1646.05/837.63	c cleaning 9995 clauses out of 20025 with flag 2113000/2425116
1654.71/842.06	c cleaning 10001 clauses out of 20031 with flag 2123001/2435117
1661.15/845.37	c cleaning 9996 clauses out of 20029 with flag 2133000/2445116
1668.13/848.90	c cleaning 9995 clauses out of 20036 with flag 2143003/2455119
1674.77/852.32	c cleaning 9999 clauses out of 20039 with flag 2153001/2465117
1681.22/855.65	c cleaning 10002 clauses out of 20039 with flag 2163000/2475116
1687.67/858.93	c cleaning 9999 clauses out of 20038 with flag 2173001/2485117
1694.46/862.42	c cleaning 9999 clauses out of 20042 with flag 2183004/2495120
1701.08/865.82	c cleaning 10006 clauses out of 20039 with flag 2193000/2505116
1709.56/870.20	c cleaning 9998 clauses out of 20033 with flag 2203000/2515116
1718.96/874.90	c cleaning 9991 clauses out of 20036 with flag 2213001/2525117
1727.93/879.56	c cleaning 9991 clauses out of 20045 with flag 2223001/2535117
1737.97/884.70	c cleaning 10002 clauses out of 20054 with flag 2233001/2545117
1748.80/890.12	c cleaning 9996 clauses out of 20052 with flag 2243001/2555117
1758.44/895.03	c cleaning 9998 clauses out of 20055 with flag 2253000/2565116
1763.81/897.85	c cleaning 9997 clauses out of 20057 with flag 2263000/2575116
1769.04/900.55	c cleaning 9997 clauses out of 20060 with flag 2273000/2585116
1774.11/903.12	c cleaning 10004 clauses out of 20064 with flag 2283001/2595117
1780.54/906.42	c cleaning 10013 clauses out of 20059 with flag 2293000/2605116
1785.28/908.96	c cleaning 10004 clauses out of 20048 with flag 2303002/2615118
1790.95/911.85	c cleaning 9999 clauses out of 20042 with flag 2313000/2625116
1796.16/914.53	c cleaning 10004 clauses out of 20045 with flag 2323002/2635118
1800.02/916.52	c starts		: 6
1800.02/916.52	c conflicts		: 765
1800.02/916.52	c decisions		: 122289
1800.02/916.52	c propagations		: 628515
1800.02/916.52	c inspects		: 54989326
1800.02/916.52	c shortcuts		: 0
1800.02/916.52	c learnt literals	: 0
1800.02/916.52	c learnt binary clauses	: 0
1800.02/916.52	c learnt ternary clauses	: 0
1800.02/916.52	c learnt constraints	: 763
1800.02/916.52	c ignored constraints	: 0
1800.02/916.52	c root simplifications	: 0
1800.02/916.52	c removed literals (reason simplification)	: 0
1800.02/916.52	c reason swapping (by a shorter reason)	: 0
1800.02/916.52	c Calls to reduceDB	: 0
1800.02/916.52	c number of reductions to clauses (during analyze)	: 0
1800.02/916.52	c number of learned constraints concerned by reduction	: 0
1800.02/916.52	c number of learning phase by resolution	: 0
1800.02/916.52	c number of learning phase by cutting planes	: 0
1800.02/916.52	c speed (assignments/second)	: 785.644732055915
1800.02/916.52	c non guided choices	0
1800.02/916.52	c learnt constraints type 
1800.02/916.52	c org.sat4j.pb.constraints.pb.MaxWatchPb => 763
1800.02/916.52	c constraints type 
1800.02/916.52	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 141
1800.02/916.52	c constraints type 
1800.02/916.52	c org.sat4j.pb.constraints.pb.MaxWatchPb => 141
1800.02/916.52	s SATISFIABLE
1800.02/916.53	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 x761 x762 x763 x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 x1181 -x1182 x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 x1481 x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 -x1512 x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 x1931 -x1932 -x1933 x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 x2171 x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -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 
1800.02/916.53	c objective function=3729408
1800.02/916.53	c Total wall clock time (in seconds): 916.422

Verifier Data 

OK	3729408

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-3454385-1307189853/watcher-3454385-1307189853 -o /tmp/evaluation-result-3454385-1307189853/solver-3454385-1307189853 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454385-1307189853.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.93 3.82 3.61 4/504 26844
/proc/meminfo: memFree=21775460/32950928 swapFree=61542356/67111528
[pid=26844] ppid=26842 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/26844/stat : 26844 (java) S 26842 26844 22562 0 -1 4202496 1315 0 0 0 0 0 0 0 25 0 2 0 909216013 36646912 1017 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/26844/statm: 8947 1017 782 9 0 386 0
[pid=26844/tid=26845] ppid=26842 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26845/stat : 26845 (java) R 26842 26844 22562 0 -1 4202560 3845 0 1 0 0 0 0 0 25 0 2 0 909216013 10694979584 4660 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260905088059 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.097051 s]
/proc/loadavg: 3.93 3.82 3.61 4/504 26844
/proc/meminfo: memFree=21775460/32950928 swapFree=61542356/67111528
[pid=26844] ppid=26842 vsize=10540052 CPUtime=0.09 cores=0,2,4,6
/proc/26844/stat : 26844 (java) S 26842 26844 22562 0 -1 4202496 12991 0 1 0 8 1 0 0 25 0 18 0 909216013 10793013248 12658 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26844/statm: 2635013 12658 2092 9 0 2625747 0
[pid=26844/tid=26845] ppid=26842 vsize=10540052 CPUtime=0.08 cores=0,2,4,6
/proc/26844/task/26845/stat : 26845 (java) R 26842 26844 22562 0 -1 4202560 11064 0 1 0 7 1 0 0 18 0 18 0 909216013 10793013248 12658 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 47837176744787 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540052

[startup+0.101041 s]
/proc/loadavg: 3.93 3.82 3.61 4/504 26844
/proc/meminfo: memFree=21775460/32950928 swapFree=61542356/67111528
[pid=26844] ppid=26842 vsize=10540052 CPUtime=0.1 cores=0,2,4,6
/proc/26844/stat : 26844 (java) S 26842 26844 22562 0 -1 4202496 13041 0 1 0 9 1 0 0 25 0 18 0 909216013 10793013248 12708 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26844/statm: 2635013 12708 2092 9 0 2625747 0
[pid=26844/tid=26845] ppid=26842 vsize=10540052 CPUtime=0.08 cores=0,2,4,6
/proc/26844/task/26845/stat : 26845 (java) R 26842 26844 22562 0 -1 4202560 11114 0 1 0 7 1 0 0 18 0 18 0 909216013 10793013248 12708 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 46912505164228 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540052

[startup+0.307 s]
/proc/loadavg: 3.93 3.82 3.61 4/504 26844
/proc/meminfo: memFree=21775460/32950928 swapFree=61542356/67111528
[pid=26844] ppid=26842 vsize=10561496 CPUtime=0.6 cores=0,2,4,6
/proc/26844/stat : 26844 (java) S 26842 26844 22562 0 -1 4202496 24712 0 1 0 57 3 0 0 25 0 18 0 909216013 10814971904 21342 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26844/statm: 2640374 21365 2200 9 0 2631108 0
[pid=26844/tid=26845] ppid=26842 vsize=10561496 CPUtime=0.28 cores=0,2,4,6
/proc/26844/task/26845/stat : 26845 (java) R 26842 26844 22562 0 -1 4202560 13324 0 1 0 27 1 0 0 18 0 18 0 909216013 10814971904 21371 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 10561496

[startup+0.70087 s]
/proc/loadavg: 3.93 3.82 3.61 4/504 26844
/proc/meminfo: memFree=21775460/32950928 swapFree=61542356/67111528
[pid=26844] ppid=26842 vsize=10566516 CPUtime=2.1 cores=0,2,4,6
/proc/26844/stat : 26844 (java) S 26842 26844 22562 0 -1 4202496 35683 0 1 0 205 5 0 0 25 0 22 0 909216013 10820112384 29273 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26844/statm: 2641629 29273 2219 9 0 2632363 0
[pid=26844/tid=26845] ppid=26842 vsize=10566516 CPUtime=0.35 cores=0,2,4,6
/proc/26844/task/26845/stat : 26845 (java) S 26842 26844 22562 0 -1 4202560 14615 0 1 0 34 1 0 0 19 0 22 0 909216013 10820112384 29273 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210624 0 4 0 16800975 18446604448267088960 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 10566516

[startup+1.50077 s]
/proc/loadavg: 3.93 3.82 3.61 3/523 26866
/proc/meminfo: memFree=21630236/32950928 swapFree=61542356/67111528
[pid=26844] ppid=26842 vsize=10566516 CPUtime=3.15 cores=0,2,4,6
/proc/26844/stat : 26844 (java) S 26842 26844 22562 0 -1 4202496 52877 0 1 0 309 6 0 0 25 0 22 0 909216013 10820112384 45000 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26844/statm: 2641629 45000 2230 9 0 2632363 0
[pid=26844/tid=26845] ppid=26842 vsize=10566516 CPUtime=0.37 cores=0,2,4,6
/proc/26844/task/26845/stat : 26845 (java) S 26842 26844 22562 0 -1 4202560 15007 0 1 0 36 1 0 0 16 0 22 0 909216013 10820112384 45000 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210624 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26847] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26847/stat : 26847 (java) S 26842 26844 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909216015 10820112384 45000 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 6 0 0 0
[pid=26844/tid=26848] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26848/stat : 26848 (java) S 26842 26844 22562 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909216015 10820112384 45001 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 6 0 0 0
[pid=26844/tid=26849] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26849/stat : 26849 (java) S 26842 26844 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909216015 10820112384 45001 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 6 0 0 0
[pid=26844/tid=26850] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26850/stat : 26850 (java) S 26842 26844 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909216015 10820112384 45001 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 6 0 0 0
[pid=26844/tid=26851] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26851/stat : 26851 (java) S 26842 26844 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909216015 10820112384 45002 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 6 0 0 0
[pid=26844/tid=26852] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26852/stat : 26852 (java) S 26842 26844 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909216015 10820112384 45002 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 6 0 0 0
[pid=26844/tid=26853] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26853/stat : 26853 (java) S 26842 26844 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909216015 10820112384 45002 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 6 0 0 0
[pid=26844/tid=26854] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26854/stat : 26854 (java) S 26842 26844 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909216015 10820112384 45002 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 6 0 0 0
[pid=26844/tid=26855] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26855/stat : 26855 (java) S 26842 26844 22562 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 909216016 10820112384 45002 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210624 0 0 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26856] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26856/stat : 26856 (java) S 26842 26844 22562 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909216017 10820112384 45003 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26857] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26857/stat : 26857 (java) S 26842 26844 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909216017 10820112384 45003 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26858] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26858/stat : 26858 (java) S 26842 26844 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909216019 10820112384 45004 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917217713 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26859] ppid=26842 vsize=10566516 CPUtime=0.74 cores=0,2,4,6
/proc/26844/task/26859/stat : 26859 (java) R 26842 26844 22562 0 -1 4202560 7752 0 0 0 74 0 0 0 15 0 22 0 909216019 10820112384 45004 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 47837175799461 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26844/tid=26860] ppid=26842 vsize=10566516 CPUtime=0.76 cores=0,2,4,6
/proc/26844/task/26860/stat : 26860 (java) R 26842 26844 22562 0 -1 4202560 10304 0 0 0 75 1 0 0 20 0 22 0 909216019 10820112384 45004 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 47837175964395 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26844/tid=26861] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26861/stat : 26861 (java) S 26842 26844 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909216019 10820112384 45005 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26862] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26862/stat : 26862 (java) S 26842 26844 22562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909216019 10820112384 45005 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210624 0 4 0 16800975 18446604448267088960 0 0 -1 0 0 0 0
[pid=26844/tid=26865] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26865/stat : 26865 (java) S 26842 26844 22562 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909216055 10820112384 45005 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210624 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.15
Current children cumulated vsize (KiB) 10566516

[startup+3.10143 s]
/proc/loadavg: 3.77 3.79 3.60 5/526 26872
/proc/meminfo: memFree=21538436/32950928 swapFree=61542356/67111528
[pid=26844] ppid=26842 vsize=10566516 CPUtime=5.67 cores=0,2,4,6
/proc/26844/stat : 26844 (java) S 26842 26844 22562 0 -1 4202496 122591 0 1 0 554 13 0 0 25 0 22 0 909216013 10820112384 114359 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26844/statm: 2641629 114359 2233 9 0 2632363 0
[pid=26844/tid=26845] ppid=26842 vsize=10566516 CPUtime=0.39 cores=0,2,4,6
/proc/26844/task/26845/stat : 26845 (java) S 26842 26844 22562 0 -1 4202560 15775 0 1 0 38 1 0 0 15 0 22 0 909216013 10820112384 114359 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210624 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26847] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26847/stat : 26847 (java) S 26842 26844 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909216015 10820112384 114359 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 6 0 0 0
[pid=26844/tid=26848] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26848/stat : 26848 (java) S 26842 26844 22562 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909216015 10820112384 114359 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 6 0 0 0
[pid=26844/tid=26849] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26849/stat : 26849 (java) S 26842 26844 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909216015 10820112384 114359 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 6 0 0 0
[pid=26844/tid=26850] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26850/stat : 26850 (java) S 26842 26844 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909216015 10820112384 114359 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 6 0 0 0
[pid=26844/tid=26851] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26851/stat : 26851 (java) S 26842 26844 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909216015 10820112384 114359 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 6 0 0 0
[pid=26844/tid=26852] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26852/stat : 26852 (java) S 26842 26844 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909216015 10820112384 114359 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 6 0 0 0
[pid=26844/tid=26853] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26853/stat : 26853 (java) S 26842 26844 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909216015 10820112384 114359 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 6 0 0 0
[pid=26844/tid=26854] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26854/stat : 26854 (java) S 26842 26844 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909216015 10820112384 114359 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 6 0 0 0
[pid=26844/tid=26855] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26855/stat : 26855 (java) S 26842 26844 22562 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 909216016 10820112384 114359 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210624 0 0 0 16800975 18446604448267088960 0 0 -1 4 0 0 0
[pid=26844/tid=26856] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26856/stat : 26856 (java) S 26842 26844 22562 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909216017 10820112384 114359 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26857] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26857/stat : 26857 (java) S 26842 26844 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909216017 10820112384 114359 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26858] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26858/stat : 26858 (java) S 26842 26844 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909216019 10820112384 114359 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917217713 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26859] ppid=26842 vsize=10566516 CPUtime=0.87 cores=0,2,4,6
/proc/26844/task/26859/stat : 26859 (java) S 26842 26844 22562 0 -1 4202560 7815 0 0 0 87 0 0 0 15 0 22 0 909216019 10820112384 114360 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 4 0 0 0
[pid=26844/tid=26860] ppid=26842 vsize=10566516 CPUtime=0.96 cores=0,2,4,6
/proc/26844/task/26860/stat : 26860 (java) S 26842 26844 22562 0 -1 4202560 10642 0 0 0 95 1 0 0 15 0 22 0 909216019 10820112384 114360 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 0 0 0 0
[pid=26844/tid=26861] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26861/stat : 26861 (java) S 26842 26844 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909216019 10820112384 114360 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26862] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26862/stat : 26862 (java) S 26842 26844 22562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909216019 10820112384 114360 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210624 0 4 0 16800975 18446604448267088960 0 0 -1 0 0 0 0
[pid=26844/tid=26869] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26869/stat : 26869 (java) S 26842 26844 22562 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 909216153 10820112384 114360 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210624 0 4 0 16800975 18446604448267088960 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.67
Current children cumulated vsize (KiB) 10566516

[startup+6.30084 s]
/proc/loadavg: 3.77 3.79 3.60 5/526 26875
/proc/meminfo: memFree=20629372/32950928 swapFree=61542356/67111528
[pid=26844] ppid=26842 vsize=10566516 CPUtime=12.3 cores=0,2,4,6
/proc/26844/stat : 26844 (java) S 26842 26844 22562 0 -1 4202496 332730 0 1 0 1197 33 0 0 25 0 22 0 909216013 10820112384 323921 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26844/statm: 2641629 323921 2258 9 0 2632363 0
[pid=26844/tid=26845] ppid=26842 vsize=10566516 CPUtime=0.39 cores=0,2,4,6
/proc/26844/task/26845/stat : 26845 (java) S 26842 26844 22562 0 -1 4202560 15775 0 1 0 38 1 0 0 15 0 22 0 909216013 10820112384 323921 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210624 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26847] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26847/stat : 26847 (java) S 26842 26844 22562 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909216015 10820112384 323921 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26848] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26848/stat : 26848 (java) S 26842 26844 22562 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 909216015 10820112384 323921 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 6 0 0 0
[pid=26844/tid=26849] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26849/stat : 26849 (java) S 26842 26844 22562 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909216015 10820112384 323921 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 6 0 0 0
[pid=26844/tid=26850] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26850/stat : 26850 (java) S 26842 26844 22562 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909216015 10820112384 323921 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 6 0 0 0
[pid=26844/tid=26851] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26851/stat : 26851 (java) S 26842 26844 22562 0 -1 4202560 345 0 0 0 0 0 0 0 18 0 22 0 909216015 10820112384 323921 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 6 0 0 0
[pid=26844/tid=26852] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26852/stat : 26852 (java) S 26842 26844 22562 0 -1 4202560 410 0 0 0 0 0 0 0 18 0 22 0 909216015 10820112384 323921 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26853] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26853/stat : 26853 (java) S 26842 26844 22562 0 -1 4202560 513 0 0 0 0 0 0 0 18 0 22 0 909216015 10820112384 323921 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 0 0 0 0
[pid=26844/tid=26854] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26854/stat : 26854 (java) S 26842 26844 22562 0 -1 4202560 900 0 0 0 0 0 0 0 18 0 22 0 909216015 10820112384 323921 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 6 0 0 0
[pid=26844/tid=26855] ppid=26842 vsize=10566516 CPUtime=0.02 cores=0,2,4,6
/proc/26844/task/26855/stat : 26855 (java) S 26842 26844 22562 0 -1 4202560 2428 0 0 0 2 0 0 0 15 0 22 0 909216016 10820112384 323921 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210624 0 0 0 16800975 18446604448267088960 0 0 -1 4 0 0 0
[pid=26844/tid=26856] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26856/stat : 26856 (java) S 26842 26844 22562 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 909216017 10820112384 323921 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26857] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26857/stat : 26857 (java) S 26842 26844 22562 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909216017 10820112384 323921 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26858] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26858/stat : 26858 (java) S 26842 26844 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909216019 10820112384 323921 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917217713 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26859] ppid=26842 vsize=10566516 CPUtime=0.98 cores=0,2,4,6
/proc/26844/task/26859/stat : 26859 (java) S 26842 26844 22562 0 -1 4202560 7835 0 0 0 98 0 0 0 15 0 22 0 909216019 10820112384 323921 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 4 0 0 0
[pid=26844/tid=26860] ppid=26842 vsize=10566516 CPUtime=1.11 cores=0,2,4,6
/proc/26844/task/26860/stat : 26860 (java) S 26842 26844 22562 0 -1 4202560 11145 0 0 0 110 1 0 0 16 0 22 0 909216019 10820112384 323921 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 0 0 0 0

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

/proc/meminfo: memFree=17688756/32950928 swapFree=61542356/67111528
[pid=26844] ppid=26842 vsize=10566516 CPUtime=1616.15 cores=0,2,4,6
/proc/26844/stat : 26844 (java) S 26842 26844 22562 0 -1 4202496 845418 0 1 0 161524 91 0 0 25 0 22 0 909216013 10820112384 836230 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26844/statm: 2641629 836230 2259 9 0 2632363 0
[pid=26844/tid=26845] ppid=26842 vsize=10566516 CPUtime=0.42 cores=0,2,4,6
/proc/26844/task/26845/stat : 26845 (java) S 26842 26844 22562 0 -1 4202560 15797 0 1 0 41 1 0 0 15 0 22 0 909216013 10820112384 836230 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210624 0 4 0 16800975 18446604448267088960 0 0 -1 4 0 0 0
[pid=26844/tid=26847] ppid=26842 vsize=10566516 CPUtime=0.38 cores=0,2,4,6
/proc/26844/task/26847/stat : 26847 (java) S 26842 26844 22562 0 -1 4202560 1013 0 0 0 38 0 0 0 15 0 22 0 909216015 10820112384 836230 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 4 0 0 0
[pid=26844/tid=26848] ppid=26842 vsize=10566516 CPUtime=0.34 cores=0,2,4,6
/proc/26844/task/26848/stat : 26848 (java) S 26842 26844 22562 0 -1 4202560 600 0 0 0 34 0 0 0 15 0 22 0 909216015 10820112384 836230 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26849] ppid=26842 vsize=10566516 CPUtime=0.34 cores=0,2,4,6
/proc/26844/task/26849/stat : 26849 (java) S 26842 26844 22562 0 -1 4202560 1144 0 0 0 34 0 0 0 15 0 22 0 909216015 10820112384 836230 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26850] ppid=26842 vsize=10566516 CPUtime=0.36 cores=0,2,4,6
/proc/26844/task/26850/stat : 26850 (java) S 26842 26844 22562 0 -1 4202560 942 0 0 0 36 0 0 0 16 0 22 0 909216015 10820112384 836230 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26851] ppid=26842 vsize=10566516 CPUtime=0.36 cores=0,2,4,6
/proc/26844/task/26851/stat : 26851 (java) S 26842 26844 22562 0 -1 4202560 1483 0 0 0 36 0 0 0 15 0 22 0 909216015 10820112384 836230 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 6 0 0 0
[pid=26844/tid=26852] ppid=26842 vsize=10566516 CPUtime=0.35 cores=0,2,4,6
/proc/26844/task/26852/stat : 26852 (java) S 26842 26844 22562 0 -1 4202560 1244 0 0 0 35 0 0 0 15 0 22 0 909216015 10820112384 836230 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 4 0 0 0
[pid=26844/tid=26853] ppid=26842 vsize=10566516 CPUtime=0.34 cores=0,2,4,6
/proc/26844/task/26853/stat : 26853 (java) S 26842 26844 22562 0 -1 4202560 1120 0 0 0 34 0 0 0 15 0 22 0 909216015 10820112384 836230 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26854] ppid=26842 vsize=10566516 CPUtime=0.34 cores=0,2,4,6
/proc/26844/task/26854/stat : 26854 (java) S 26842 26844 22562 0 -1 4202560 1856 0 0 0 34 0 0 0 15 0 22 0 909216015 10820112384 836230 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26855] ppid=26842 vsize=10566516 CPUtime=27.86 cores=0,2,4,6
/proc/26844/task/26855/stat : 26855 (java) S 26842 26844 22562 0 -1 4202560 32733 0 0 0 2780 6 0 0 15 0 22 0 909216016 10820112384 836230 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210624 0 0 0 16800975 18446604448267088960 0 0 -1 0 0 0 0
[pid=26844/tid=26856] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26856/stat : 26856 (java) S 26842 26844 22562 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 909216017 10820112384 836230 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26857] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26857/stat : 26857 (java) S 26842 26844 22562 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 909216017 10820112384 836230 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26858] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26858/stat : 26858 (java) S 26842 26844 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909216019 10820112384 836230 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917217713 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26859] ppid=26842 vsize=10566516 CPUtime=1.06 cores=0,2,4,6
/proc/26844/task/26859/stat : 26859 (java) S 26842 26844 22562 0 -1 4202560 7854 0 0 0 106 0 0 0 15 0 22 0 909216019 10820112384 836230 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 6 0 0 0
[pid=26844/tid=26860] ppid=26842 vsize=10566516 CPUtime=1.22 cores=0,2,4,6
/proc/26844/task/26860/stat : 26860 (java) S 26842 26844 22562 0 -1 4202560 11159 0 0 0 121 1 0 0 15 0 22 0 909216019 10820112384 836230 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 0 0 0 0
[pid=26844/tid=26861] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26861/stat : 26861 (java) S 26842 26844 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909216019 10820112384 836230 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26862] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26862/stat : 26862 (java) S 26842 26844 22562 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 909216019 10820112384 836230 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210624 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26869] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26869/stat : 26869 (java) S 26842 26844 22562 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 909216153 10820112384 836230 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210624 0 4 0 16800975 18446604448267088960 0 0 -1 4 0 0 0
[pid=26844/tid=26882] ppid=26842 vsize=10566516 CPUtime=678.57 cores=0,2,4,6
/proc/26844/task/26882/stat : 26882 (java) R 26842 26844 22562 0 -1 4202560 550 0 0 0 67857 0 0 0 25 0 22 0 909227665 10820112384 836230 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 46912505759482 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26844/tid=26883] ppid=26842 vsize=10566516 CPUtime=678.61 cores=0,2,4,6
/proc/26844/task/26883/stat : 26883 (java) R 26842 26844 22562 0 -1 4202560 131383 0 0 0 67849 12 0 0 25 0 22 0 909227665 10820112384 836230 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 46912505572320 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26844/tid=26884] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26884/stat : 26884 (java) S 26842 26844 22562 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 909227666 10820112384 836230 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210624 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1616.15
Current children cumulated vsize (KiB) 10566516

[startup+882.302 s]
/proc/loadavg: 4.06 3.97 3.80 5/526 26955
/proc/meminfo: memFree=17679664/32950928 swapFree=61542356/67111528
[pid=26844] ppid=26842 vsize=10566516 CPUtime=1733.37 cores=0,2,4,6
/proc/26844/stat : 26844 (java) S 26842 26844 22562 0 -1 4202496 847053 0 1 0 173245 92 0 0 25 0 22 0 909216013 10820112384 837841 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26844/statm: 2641629 837841 2259 9 0 2632363 0
[pid=26844/tid=26845] ppid=26842 vsize=10566516 CPUtime=0.42 cores=0,2,4,6
/proc/26844/task/26845/stat : 26845 (java) S 26842 26844 22562 0 -1 4202560 15797 0 1 0 41 1 0 0 15 0 22 0 909216013 10820112384 837841 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210624 0 4 0 16800975 18446604448267088960 0 0 -1 4 0 0 0
[pid=26844/tid=26847] ppid=26842 vsize=10566516 CPUtime=0.42 cores=0,2,4,6
/proc/26844/task/26847/stat : 26847 (java) S 26842 26844 22562 0 -1 4202560 1013 0 0 0 42 0 0 0 15 0 22 0 909216015 10820112384 837841 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 4 0 0 0
[pid=26844/tid=26848] ppid=26842 vsize=10566516 CPUtime=0.37 cores=0,2,4,6
/proc/26844/task/26848/stat : 26848 (java) S 26842 26844 22562 0 -1 4202560 602 0 0 0 37 0 0 0 16 0 22 0 909216015 10820112384 837841 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26849] ppid=26842 vsize=10566516 CPUtime=0.38 cores=0,2,4,6
/proc/26844/task/26849/stat : 26849 (java) S 26842 26844 22562 0 -1 4202560 1145 0 0 0 38 0 0 0 15 0 22 0 909216015 10820112384 837841 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 6 0 0 0
[pid=26844/tid=26850] ppid=26842 vsize=10566516 CPUtime=0.39 cores=0,2,4,6
/proc/26844/task/26850/stat : 26850 (java) S 26842 26844 22562 0 -1 4202560 942 0 0 0 39 0 0 0 16 0 22 0 909216015 10820112384 837841 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 6 0 0 0
[pid=26844/tid=26851] ppid=26842 vsize=10566516 CPUtime=0.39 cores=0,2,4,6
/proc/26844/task/26851/stat : 26851 (java) S 26842 26844 22562 0 -1 4202560 1483 0 0 0 39 0 0 0 16 0 22 0 909216015 10820112384 837841 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26852] ppid=26842 vsize=10566516 CPUtime=0.37 cores=0,2,4,6
/proc/26844/task/26852/stat : 26852 (java) S 26842 26844 22562 0 -1 4202560 1244 0 0 0 37 0 0 0 15 0 22 0 909216015 10820112384 837841 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26853] ppid=26842 vsize=10566516 CPUtime=0.36 cores=0,2,4,6
/proc/26844/task/26853/stat : 26853 (java) S 26842 26844 22562 0 -1 4202560 1130 0 0 0 36 0 0 0 15 0 22 0 909216015 10820112384 837841 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26854] ppid=26842 vsize=10566516 CPUtime=0.35 cores=0,2,4,6
/proc/26844/task/26854/stat : 26854 (java) S 26842 26844 22562 0 -1 4202560 1856 0 0 0 35 0 0 0 15 0 22 0 909216015 10820112384 837841 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 4 0 0 0
[pid=26844/tid=26855] ppid=26842 vsize=10566516 CPUtime=30.72 cores=0,2,4,6
/proc/26844/task/26855/stat : 26855 (java) S 26842 26844 22562 0 -1 4202560 34335 0 0 0 3065 7 0 0 15 0 22 0 909216016 10820112384 837841 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210624 0 0 0 16800975 18446604448267088960 0 0 -1 0 0 0 0
[pid=26844/tid=26856] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26856/stat : 26856 (java) S 26842 26844 22562 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 909216017 10820112384 837841 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26857] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26857/stat : 26857 (java) S 26842 26844 22562 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 909216017 10820112384 837841 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26858] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26858/stat : 26858 (java) S 26842 26844 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909216019 10820112384 837841 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917217713 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26859] ppid=26842 vsize=10566516 CPUtime=1.06 cores=0,2,4,6
/proc/26844/task/26859/stat : 26859 (java) S 26842 26844 22562 0 -1 4202560 7854 0 0 0 106 0 0 0 15 0 22 0 909216019 10820112384 837841 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 6 0 0 0
[pid=26844/tid=26860] ppid=26842 vsize=10566516 CPUtime=1.22 cores=0,2,4,6
/proc/26844/task/26860/stat : 26860 (java) S 26842 26844 22562 0 -1 4202560 11159 0 0 0 121 1 0 0 15 0 22 0 909216019 10820112384 837841 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 0 0 0 0
[pid=26844/tid=26861] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26861/stat : 26861 (java) S 26842 26844 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909216019 10820112384 837841 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26862] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26862/stat : 26862 (java) S 26842 26844 22562 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 909216019 10820112384 837841 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210624 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26869] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26869/stat : 26869 (java) S 26842 26844 22562 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 909216153 10820112384 837841 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210624 0 4 0 16800975 18446604448267088960 0 0 -1 4 0 0 0
[pid=26844/tid=26882] ppid=26842 vsize=10566516 CPUtime=735.64 cores=0,2,4,6
/proc/26844/task/26882/stat : 26882 (java) R 26842 26844 22562 0 -1 4202560 566 0 0 0 73564 0 0 0 22 0 22 0 909227665 10820112384 837841 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 46912506259424 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26844/tid=26883] ppid=26842 vsize=10566516 CPUtime=735.68 cores=0,2,4,6
/proc/26844/task/26883/stat : 26883 (java) R 26842 26844 22562 0 -1 4202560 131383 0 0 0 73556 12 0 0 25 0 22 0 909227665 10820112384 837841 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 46912505886892 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26844/tid=26884] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26884/stat : 26884 (java) S 26842 26844 22562 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 909227666 10820112384 837841 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210624 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1733.37
Current children cumulated vsize (KiB) 10566516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+916.501 s]
/proc/loadavg: 3.90 3.94 3.79 5/526 26956
/proc/meminfo: memFree=17674916/32950928 swapFree=61542356/67111528
[pid=26844] ppid=26842 vsize=10566516 CPUtime=1800.02 cores=0,2,4,6
/proc/26844/stat : 26844 (java) S 26842 26844 22562 0 -1 4202496 848261 0 1 0 179910 92 0 0 25 0 22 0 909216013 10820112384 839035 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26844/statm: 2641629 839035 2259 9 0 2632363 0
[pid=26844/tid=26845] ppid=26842 vsize=10566516 CPUtime=0.42 cores=0,2,4,6
/proc/26844/task/26845/stat : 26845 (java) S 26842 26844 22562 0 -1 4202560 15800 0 1 0 41 1 0 0 15 0 22 0 909216013 10820112384 839035 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210624 0 4 0 16800975 18446604448267088960 0 0 -1 4 0 0 0
[pid=26844/tid=26847] ppid=26842 vsize=10566516 CPUtime=0.42 cores=0,2,4,6
/proc/26844/task/26847/stat : 26847 (java) S 26842 26844 22562 0 -1 4202560 1015 0 0 0 42 0 0 0 15 0 22 0 909216015 10820112384 839035 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26848] ppid=26842 vsize=10566516 CPUtime=0.39 cores=0,2,4,6
/proc/26844/task/26848/stat : 26848 (java) S 26842 26844 22562 0 -1 4202560 602 0 0 0 39 0 0 0 15 0 22 0 909216015 10820112384 839035 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 6 0 0 0
[pid=26844/tid=26849] ppid=26842 vsize=10566516 CPUtime=0.39 cores=0,2,4,6
/proc/26844/task/26849/stat : 26849 (java) S 26842 26844 22562 0 -1 4202560 1152 0 0 0 39 0 0 0 16 0 22 0 909216015 10820112384 839035 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 4 0 0 0
[pid=26844/tid=26850] ppid=26842 vsize=10566516 CPUtime=0.4 cores=0,2,4,6
/proc/26844/task/26850/stat : 26850 (java) S 26842 26844 22562 0 -1 4202560 942 0 0 0 40 0 0 0 15 0 22 0 909216015 10820112384 839035 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 6 0 0 0
[pid=26844/tid=26851] ppid=26842 vsize=10566516 CPUtime=0.41 cores=0,2,4,6
/proc/26844/task/26851/stat : 26851 (java) S 26842 26844 22562 0 -1 4202560 1485 0 0 0 41 0 0 0 16 0 22 0 909216015 10820112384 839035 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 6 0 0 0
[pid=26844/tid=26852] ppid=26842 vsize=10566516 CPUtime=0.39 cores=0,2,4,6
/proc/26844/task/26852/stat : 26852 (java) S 26842 26844 22562 0 -1 4202560 1251 0 0 0 39 0 0 0 15 0 22 0 909216015 10820112384 839035 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 4 0 0 0
[pid=26844/tid=26853] ppid=26842 vsize=10566516 CPUtime=0.39 cores=0,2,4,6
/proc/26844/task/26853/stat : 26853 (java) S 26842 26844 22562 0 -1 4202560 1130 0 0 0 39 0 0 0 16 0 22 0 909216015 10820112384 839035 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26854] ppid=26842 vsize=10566516 CPUtime=0.37 cores=0,2,4,6
/proc/26844/task/26854/stat : 26854 (java) S 26842 26844 22562 0 -1 4202560 1891 0 0 0 37 0 0 0 16 0 22 0 909216015 10820112384 839035 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 4 0 0 0
[pid=26844/tid=26855] ppid=26842 vsize=10566516 CPUtime=32.52 cores=0,2,4,6
/proc/26844/task/26855/stat : 26855 (java) S 26842 26844 22562 0 -1 4202560 35478 0 0 0 3245 7 0 0 15 0 22 0 909216016 10820112384 839035 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210624 0 0 0 16800975 18446604448267088960 0 0 -1 0 0 0 0
[pid=26844/tid=26856] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26856/stat : 26856 (java) S 26842 26844 22562 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 909216017 10820112384 839035 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26857] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26857/stat : 26857 (java) S 26842 26844 22562 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 909216017 10820112384 839035 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26858] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26858/stat : 26858 (java) S 26842 26844 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909216019 10820112384 839035 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917217713 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26859] ppid=26842 vsize=10566516 CPUtime=1.06 cores=0,2,4,6
/proc/26844/task/26859/stat : 26859 (java) S 26842 26844 22562 0 -1 4202560 7854 0 0 0 106 0 0 0 15 0 22 0 909216019 10820112384 839035 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 6 0 0 0
[pid=26844/tid=26860] ppid=26842 vsize=10566516 CPUtime=1.22 cores=0,2,4,6
/proc/26844/task/26860/stat : 26860 (java) S 26842 26844 22562 0 -1 4202560 11159 0 0 0 121 1 0 0 15 0 22 0 909216019 10820112384 839035 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 0 0 0 0
[pid=26844/tid=26861] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26861/stat : 26861 (java) S 26842 26844 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909216019 10820112384 839035 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210009 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
[pid=26844/tid=26862] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26862/stat : 26862 (java) S 26842 26844 22562 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 909216019 10820112384 839035 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210624 0 4 0 16800975 18446604448267088960 0 0 -1 6 0 0 0
[pid=26844/tid=26869] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26869/stat : 26869 (java) S 26842 26844 22562 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 909216153 10820112384 839035 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210624 0 4 0 16800975 18446604448267088960 0 0 -1 4 0 0 0
[pid=26844/tid=26882] ppid=26842 vsize=10566516 CPUtime=768.01 cores=0,2,4,6
/proc/26844/task/26882/stat : 26882 (java) R 26842 26844 22562 0 -1 4202560 568 0 0 0 76801 0 0 0 25 0 22 0 909227665 10820112384 839035 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 46912506259842 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26844/tid=26883] ppid=26842 vsize=10566516 CPUtime=768.05 cores=0,2,4,6
/proc/26844/task/26883/stat : 26883 (java) R 26842 26844 22562 0 -1 4202560 131388 0 0 0 76793 12 0 0 25 0 22 0 909227665 10820112384 839035 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 46912505995125 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26844/tid=26884] ppid=26842 vsize=10566516 CPUtime=0 cores=0,2,4,6
/proc/26844/task/26884/stat : 26884 (java) S 26842 26844 22562 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 909227666 10820112384 839035 33554432000 1073741824 1073778376 140735788151296 18446744073709551615 260917210624 0 4 0 16800975 18446604448267088960 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10566516

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

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

[startup+916.624 s]
/proc/loadavg: 3.90 3.94 3.79 5/526 26956
/proc/meminfo: memFree=17674916/32950928 swapFree=61542356/67111528
[pid=26844] ppid=26842 vsize=0 CPUtime=1800.17 cores=0,2,4,6
/proc/26844/stat : 26844 (java) Z 26842 26844 22562 0 -1 4203548 848292 0 1 0 179918 99 0 0 17 0 2 0 909216013 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26844/statm: 0 0 0 0 0 0 0
[pid=26844/tid=26883] ppid=26842 vsize=0 CPUtime=768.13 cores=0,2,4,6
/proc/26844/task/26883/stat : 26883 (java) R 26842 26844 22562 0 -1 4203588 131388 0 0 0 76794 19 0 0 25 0 2 0 909227665 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 916.674
CPU time (s): 1800.23
CPU user time (s): 1799.18
CPU system time (s): 1.04584
CPU usage (%): 196.387
Max. virtual memory (cumulated for all children) (KiB): 10566516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.18
system time used= 1.04584
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 848292
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= 28785
involuntary context switches= 21381

runsolver used 4.71628 second user time and 10.3294 second system time

The end

Launcher Data 

Begin job on node116 at 2011-06-04 14:17:33
IDJOB=3454385
IDBENCH=2280
IDSOLVER=1950
FILE ID=node116/3454385-1307189853
RUNJOBID= node116-1307187273-25931
PBS_JOBID= 13508818
Free space on /tmp= 73888 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-ran10x10b.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454385-1307189853/watcher-3454385-1307189853 -o /tmp/evaluation-result-3454385-1307189853/solver-3454385-1307189853 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454385-1307189853.opb

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

MD5SUM BENCH= b5587ac28cf407bbfa21e21c74984478
RANDOM SEED=490150946

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      21775740 kB
Buffers:        278296 kB
Cached:         505028 kB
SwapCached:      12580 kB
Active:       10505844 kB
Inactive:       393644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      21775740 kB
SwapTotal:    67111528 kB
SwapFree:     61542356 kB
Dirty:             512 kB
Writeback:           0 kB
AnonPages:    10114628 kB
Mapped:          30852 kB
Slab:           140660 kB
PageTables:      68152 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 149952524 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= 73880 MiB
End job on node116 at 2011-06-04 14:32:52