Trace number 3742769

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31SAT 1398.93 719.946

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K68.opb
MD5SUM506a6fce450974b6f48fc0e3b77d8777
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark15.9726
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3740
Total number of constraints3878
Number of constraints which are clauses3810
Number of constraints which are cardinality constraints (but not clauses)68
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint68
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 69
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.08	c version 2.2.0.v20100531
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		1349517296
0.00/0.08	c Max memory 		1356595200
0.00/0.08	c Total memory 		1356595200
0.00/0.08	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization
0.09/0.11	c ManyCore solver with 2 solvers running in parallel
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c Stops conflict analysis at the first Unique Implication Point
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c Expensive reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c Stops conflict analysis at the first Unique Implication Point
0.09/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	
0.09/0.11	c solving HOME/instance-3742769-1338788198.opb
0.09/0.11	c reading problem ... 
0.54/0.37	c ... done. Wall clock time 0.257s.
0.54/0.37	c #vars     3740
0.54/0.37	c #constraints  3878
0.54/0.37	c constraints type 
0.54/0.37	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3138
0.54/0.37	c org.sat4j.minisat.constraints.card.MinWatchCard => 68
0.54/0.37	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 670
0.54/0.37	c constraints type 
0.54/0.37	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 670
0.54/0.37	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3138
0.54/0.37	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 68
3.84/1.45	c cleaning 2479 clauses out of 4980 with flag 5000/5000
6.36/2.62	c cleaning 4232 clauses out of 8489 with flag 11000/11000
9.48/4.15	c cleaning 5579 clauses out of 11248 with flag 18000/18000
13.49/6.14	c cleaning 6791 clauses out of 13662 with flag 26000/26000
18.73/8.75	c cleaning 7891 clauses out of 15867 with flag 35000/35000
24.47/11.67	c cleaning 8849 clauses out of 17975 with flag 45000/45000
30.28/14.59	c cleaning 9453 clauses out of 19127 with flag 55001/55001
35.68/17.25	c cleaning 9703 clauses out of 19670 with flag 65001/65001
41.39/20.18	c cleaning 9850 clauses out of 19967 with flag 75002/75002
47.57/23.25	c cleaning 9932 clauses out of 20111 with flag 85001/85001
53.76/26.38	c cleaning 9917 clauses out of 20176 with flag 95000/95000
60.53/29.78	c cleaning 10055 clauses out of 20260 with flag 105001/105001
67.48/33.28	c cleaning 9949 clauses out of 20204 with flag 115001/115001
76.46/37.72	c cleaning 9938 clauses out of 20253 with flag 125000/125000
83.01/41.03	c cleaning 10031 clauses out of 20313 with flag 135000/135000
91.20/45.12	c cleaning 10089 clauses out of 20282 with flag 145000/145000
96.87/48.05	c cleaning 10005 clauses out of 20193 with flag 155001/155001
105.02/52.10	c cleaning 9906 clauses out of 20190 with flag 165003/165003
112.18/55.76	c cleaning 10014 clauses out of 20279 with flag 175000/175000
121.72/60.52	c cleaning 9987 clauses out of 20265 with flag 185000/185000
130.19/64.84	c cleaning 10022 clauses out of 20280 with flag 195002/195002
137.51/68.52	c cleaning 10120 clauses out of 20261 with flag 205005/205005
143.83/71.79	c cleaning 9891 clauses out of 20138 with flag 215002/215002
150.36/75.02	c cleaning 10014 clauses out of 20245 with flag 225001/225001
156.82/78.33	c cleaning 10044 clauses out of 20229 with flag 235000/235000
164.35/82.16	c cleaning 9846 clauses out of 20185 with flag 245000/245000
171.69/85.80	c cleaning 9823 clauses out of 20341 with flag 255002/255002
179.39/89.71	c cleaning 9698 clauses out of 20523 with flag 265007/265007
186.42/93.35	c cleaning 9725 clauses out of 20818 with flag 275001/275001
194.53/97.44	c cleaning 9802 clauses out of 21095 with flag 285004/285004
202.09/101.26	c cleaning 9613 clauses out of 21289 with flag 295003/295003
209.96/105.27	c cleaning 9853 clauses out of 21673 with flag 305002/305002
216.56/108.68	c cleaning 9680 clauses out of 21820 with flag 315002/315002
226.47/113.63	c cleaning 9564 clauses out of 22138 with flag 325000/325000
234.76/117.85	c cleaning 9670 clauses out of 22575 with flag 335003/335003
242.06/121.54	c cleaning 9790 clauses out of 22901 with flag 345000/345000
249.26/125.21	c cleaning 9675 clauses out of 23111 with flag 355000/355000
257.37/129.35	c cleaning 9700 clauses out of 23436 with flag 365000/365000
264.26/132.81	c cleaning 9852 clauses out of 23738 with flag 375002/375002
270.14/135.84	c cleaning 9632 clauses out of 23884 with flag 385000/385000
277.34/139.55	c cleaning 9786 clauses out of 24252 with flag 395000/395000
284.62/143.23	c cleaning 9701 clauses out of 24468 with flag 405003/405003
291.89/146.96	c cleaning 9639 clauses out of 24763 with flag 415000/415000
298.58/150.30	c cleaning 9856 clauses out of 25124 with flag 425000/425000
308.16/155.29	c cleaning 9726 clauses out of 25268 with flag 435000/435000
316.03/159.28	c cleaning 9685 clauses out of 25545 with flag 445003/445003
323.49/163.05	c cleaning 9820 clauses out of 25857 with flag 455000/455000
331.34/167.09	c cleaning 9747 clauses out of 26037 with flag 465000/465000
337.86/170.42	c cleaning 9704 clauses out of 26291 with flag 475001/475001
344.72/173.94	c cleaning 9715 clauses out of 26588 with flag 485002/485002
352.57/177.93	c cleaning 9660 clauses out of 26871 with flag 495000/495000
360.81/182.13	c cleaning 9640 clauses out of 27211 with flag 505000/505000
367.35/185.54	c cleaning 9724 clauses out of 27569 with flag 515001/515001
375.83/189.82	c cleaning 9785 clauses out of 27843 with flag 525000/525000
384.12/194.08	c cleaning 9835 clauses out of 28060 with flag 535002/535002
392.38/198.28	c cleaning 9810 clauses out of 28223 with flag 545000/545000
399.30/201.84	c cleaning 9626 clauses out of 28413 with flag 555000/555000
410.58/207.51	c cleaning 9915 clauses out of 28788 with flag 565001/565001
418.41/211.53	c cleaning 9718 clauses out of 28872 with flag 575000/575000
427.86/216.31	c cleaning 9915 clauses out of 29154 with flag 585000/585000
436.00/220.52	c cleaning 9791 clauses out of 29239 with flag 595000/595000
444.46/224.86	c cleaning 9695 clauses out of 29448 with flag 605000/605000
453.87/229.68	c cleaning 9658 clauses out of 29753 with flag 615000/615000
461.49/233.60	c cleaning 9764 clauses out of 30096 with flag 625001/625001
469.98/237.99	c cleaning 9664 clauses out of 30331 with flag 635000/635000
478.00/242.06	c cleaning 9908 clauses out of 30669 with flag 645002/645002
486.99/246.61	c cleaning 9887 clauses out of 30759 with flag 655000/655000
495.39/250.92	c cleaning 9768 clauses out of 30872 with flag 665001/665001
503.47/255.15	c cleaning 9870 clauses out of 31103 with flag 675000/675000
510.88/258.98	c cleaning 9803 clauses out of 31234 with flag 685001/685001
519.70/263.40	c cleaning 9789 clauses out of 31430 with flag 695000/695000
527.88/267.68	c cleaning 9808 clauses out of 31647 with flag 705006/705006
536.37/272.04	c cleaning 9852 clauses out of 31834 with flag 715001/715001
537.35/272.70	c cleaning 0 clauses out of 5000 with flag 0/5000
545.58/276.76	c cleaning 9826 clauses out of 31981 with flag 725000/725000
553.02/280.45	c cleaning 9931 clauses out of 32156 with flag 735001/735001
562.48/285.35	c cleaning 9732 clauses out of 32224 with flag 745000/745000
572.51/290.44	c cleaning 9798 clauses out of 32497 with flag 755005/755005
579.89/294.21	c cleaning 9719 clauses out of 32693 with flag 765000/765000
588.73/298.77	c cleaning 9792 clauses out of 32976 with flag 775002/775002
597.36/303.24	c cleaning 9825 clauses out of 33182 with flag 785000/785000
606.37/307.86	c cleaning 9779 clauses out of 33358 with flag 795004/795004
616.39/312.93	c cleaning 9626 clauses out of 33575 with flag 805001/805001
626.21/317.95	c cleaning 9653 clauses out of 33952 with flag 815004/815004
634.82/322.49	c cleaning 9846 clauses out of 34295 with flag 825000/825000
643.80/327.03	c cleaning 9785 clauses out of 34450 with flag 835001/835001
652.18/331.30	c cleaning 9747 clauses out of 34664 with flag 845000/845000
659.72/335.28	c cleaning 9723 clauses out of 34919 with flag 855002/855002
668.77/339.93	c cleaning 9691 clauses out of 35196 with flag 865002/865002
677.54/344.41	c cleaning 9755 clauses out of 35503 with flag 875000/875000
685.72/348.61	c cleaning 9705 clauses out of 35749 with flag 885001/885001
693.69/352.79	c cleaning 9863 clauses out of 36043 with flag 895000/895000
701.89/357.04	c cleaning 9850 clauses out of 36181 with flag 905001/905001
710.46/361.44	c cleaning 9845 clauses out of 36331 with flag 915001/915001
718.65/365.66	c cleaning 9829 clauses out of 36487 with flag 925002/925002
726.41/369.66	c cleaning 9888 clauses out of 36657 with flag 935001/935001
734.20/373.73	c cleaning 9743 clauses out of 36770 with flag 945002/945002
742.14/377.89	c cleaning 9803 clauses out of 37024 with flag 955000/955000
752.10/382.92	c cleaning 9796 clauses out of 37223 with flag 965002/965002
760.12/387.10	c cleaning 9761 clauses out of 37427 with flag 975002/975002
768.06/391.25	c cleaning 9779 clauses out of 37664 with flag 985000/985000
777.43/396.09	c cleaning 9816 clauses out of 37885 with flag 995000/995000
786.36/400.69	c cleaning 9708 clauses out of 38069 with flag 1005000/1005000
794.99/405.04	c cleaning 9835 clauses out of 38365 with flag 1015004/1015004
803.10/409.38	c cleaning 9878 clauses out of 38526 with flag 1025000/1025000
811.66/413.78	c cleaning 9769 clauses out of 38653 with flag 1035005/1035005
820.82/418.41	c cleaning 9737 clauses out of 38879 with flag 1045001/1045001
830.56/423.47	c cleaning 9738 clauses out of 39142 with flag 1055001/1055001
839.70/428.26	c cleaning 9916 clauses out of 39402 with flag 1065000/1065000
847.24/432.18	c cleaning 9770 clauses out of 39487 with flag 1075001/1075001
856.00/436.68	c cleaning 9856 clauses out of 39717 with flag 1085001/1085001
864.11/440.81	c cleaning 9809 clauses out of 39860 with flag 1095000/1095000
873.31/445.64	c cleaning 9675 clauses out of 40051 with flag 1105000/1105000
883.22/450.77	c cleaning 9892 clauses out of 40376 with flag 1115000/1115000
893.36/455.95	c cleaning 9838 clauses out of 40488 with flag 1125004/1125004
903.47/461.19	c cleaning 9947 clauses out of 40646 with flag 1135000/1135000
913.00/466.13	c cleaning 9843 clauses out of 40699 with flag 1145000/1145000
921.32/470.46	c cleaning 9916 clauses out of 40858 with flag 1155002/1155002
928.61/474.23	c cleaning 9797 clauses out of 40939 with flag 1165002/1165002
935.33/477.73	c cleaning 9748 clauses out of 41140 with flag 1175001/1175001
942.87/481.75	c cleaning 9742 clauses out of 41390 with flag 1185002/1185002
954.18/487.50	c cleaning 9834 clauses out of 41645 with flag 1195000/1195000
965.52/493.30	c cleaning 9712 clauses out of 41814 with flag 1205003/1205003
972.82/497.19	c cleaning 9782 clauses out of 42100 with flag 1215001/1215001
981.11/501.57	c cleaning 9770 clauses out of 42318 with flag 1225001/1225001
989.88/506.05	c cleaning 9763 clauses out of 42548 with flag 1235002/1235002
999.87/511.11	c cleaning 9853 clauses out of 42783 with flag 1245000/1245000
1010.79/516.71	c cleaning 9884 clauses out of 42934 with flag 1255004/1255004
1019.08/521.11	c cleaning 9915 clauses out of 43048 with flag 1265002/1265002
1028.64/526.08	c cleaning 9803 clauses out of 43132 with flag 1275001/1275001
1037.16/530.46	c cleaning 9762 clauses out of 43328 with flag 1285000/1285000
1048.46/536.20	c cleaning 9784 clauses out of 43567 with flag 1295001/1295001
1057.72/541.18	c cleaning 9880 clauses out of 43782 with flag 1305000/1305000
1065.21/545.04	c cleaning 9783 clauses out of 43904 with flag 1315002/1315002
1074.50/549.87	c cleaning 9825 clauses out of 44119 with flag 1325000/1325000
1084.02/554.79	c cleaning 9862 clauses out of 44295 with flag 1335001/1335001
1092.89/559.47	c cleaning 9831 clauses out of 44433 with flag 1345001/1345001
1102.42/564.31	c cleaning 9820 clauses out of 44601 with flag 1355000/1355000
1110.70/568.63	c cleaning 9752 clauses out of 44782 with flag 1365001/1365001
1119.01/572.98	c cleaning 9708 clauses out of 45029 with flag 1375000/1375000
1128.21/577.89	c cleaning 9897 clauses out of 45323 with flag 1385002/1385002
1142.15/584.95	c cleaning 9833 clauses out of 45424 with flag 1395000/1395000
1157.85/592.93	c cleaning 9723 clauses out of 45591 with flag 1405000/1405000
1169.73/599.05	c cleaning 9809 clauses out of 45868 with flag 1415000/1415000
1181.55/605.22	c cleaning 9772 clauses out of 46059 with flag 1425000/1425000
1191.85/610.52	c cleaning 9806 clauses out of 46287 with flag 1435000/1435000
1202.56/616.06	c cleaning 9810 clauses out of 46481 with flag 1445000/1445000
1215.28/622.51	c cleaning 9776 clauses out of 46674 with flag 1455003/1455003
1226.16/628.25	c cleaning 9889 clauses out of 46895 with flag 1465000/1465000
1235.81/633.20	c cleaning 9726 clauses out of 47007 with flag 1475001/1475001
1245.30/638.15	c cleaning 9767 clauses out of 47280 with flag 1485000/1485000
1260.39/645.80	c cleaning 9907 clauses out of 47513 with flag 1495001/1495001
1268.18/650.03	c cleaning 9808 clauses out of 47606 with flag 1505001/1505001
1279.25/655.78	c cleaning 9901 clauses out of 47797 with flag 1515000/1515000
1288.15/660.37	c cleaning 9850 clauses out of 47896 with flag 1525000/1525000
1298.22/665.52	c cleaning 9896 clauses out of 48047 with flag 1535001/1535001
1308.00/670.71	c cleaning 9821 clauses out of 48154 with flag 1545004/1545004
1317.66/675.73	c cleaning 9959 clauses out of 48334 with flag 1555005/1555005
1326.71/680.46	c cleaning 9887 clauses out of 48370 with flag 1565000/1565000
1335.41/685.00	c cleaning 9843 clauses out of 48483 with flag 1575000/1575000
1344.42/689.74	c cleaning 9899 clauses out of 48643 with flag 1585003/1585003
1354.32/694.84	c cleaning 9967 clauses out of 48744 with flag 1595003/1595003
1361.39/698.55	c cleaning 9820 clauses out of 48774 with flag 1605000/1605000
1369.65/702.83	c cleaning 9733 clauses out of 48954 with flag 1615000/1615000
1378.26/707.46	c cleaning 9976 clauses out of 49221 with flag 1625000/1625000
1386.92/711.97	c cleaning 9875 clauses out of 49247 with flag 1635002/1635002
1395.18/716.29	c cleaning 9774 clauses out of 49368 with flag 1645000/1645000
1397.41/717.52	c And the winner is Resolution
1395.71/719.89	c starts		: 199
1395.71/719.89	c conflicts		: 1647724
1395.71/719.89	c decisions		: 7181864
1395.71/719.89	c propagations		: 547087639
1395.71/719.89	c inspects		: 2312388077
1395.71/719.89	c learnt literals	: 111
1395.71/719.89	c learnt binary clauses	: 31155
1395.71/719.89	c learnt ternary clauses	: 52482
1395.71/719.89	c learnt clauses	: 1647613
1395.71/719.89	c ignored clauses	: 0
1395.71/719.89	c root simplifications	: 0
1395.71/719.89	c removed literals (reason simplification)	: 49297570
1395.71/719.89	c reason swapping (by a shorter reason)	: 0
1395.71/719.89	c Calls to reduceDB	: 166
1395.71/719.89	c number of reductions to clauses (during analyze)	: 0
1395.71/719.89	c number of learned constraints concerned by reduction	: 0
1395.71/719.89	c number of learning phase by resolution	: 0
1395.71/719.89	c number of learning phase by cutting planes	: 0
1395.71/719.89	c speed (assignments/second)	: 760349.7868720996
1395.71/719.89	c non guided choices	298
1395.72/719.91	c learnt constraints type 
1395.72/719.91	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 11163
1395.72/719.91	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 31155
1395.72/719.91	c constraints type 
1395.72/719.91	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3138
1395.72/719.91	c org.sat4j.minisat.constraints.card.MinWatchCard => 68
1395.72/719.91	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 670
1395.72/719.91	c constraints type 
1395.72/719.91	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 670
1395.72/719.91	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3138
1395.72/719.91	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 68
1395.72/719.91	s SATISFIABLE
1395.72/719.92	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 x1269 -x1270 x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 x2702 -x2703 x2704 -x2705 x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 x3627 -x3628 x3629 -x3630 x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 x3740 
1395.72/719.93	c Total wall clock time (in seconds): 719.811

Verifier Data

OK	0

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3742769-1338788198/watcher-3742769-1338788198 -o /tmp/evaluation-result-3742769-1338788198/solver-3742769-1338788198 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3742769-1338788198.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.76 3.97 3.91 4/197 16254
/proc/meminfo: memFree=24748388/32873648 swapFree=6852/6852
[pid=16254] ppid=16252 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/16254/stat : 16254 (java6) D 16252 16254 15509 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 344947109 9515008 182 33554432000 1073741824 1073778376 140734234081312 140734234072344 213866331829 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/16254/statm: 2323 182 140 9 0 71 0

[startup+0.08961 s]
/proc/loadavg: 3.76 3.97 3.91 4/197 16254
/proc/meminfo: memFree=24748388/32873648 swapFree=6852/6852
[pid=16254] ppid=16252 vsize=2699928 CPUtime=0.06 cores=0,2,4,6
/proc/16254/stat : 16254 (java) S 16252 16254 15509 0 -1 4202496 3919 0 1 0 6 0 0 0 20 0 18 0 344947109 2764726272 5639 33554432000 1073741824 1073778376 140734313783728 140734313774864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16254/statm: 674982 5639 1772 9 0 665676 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2699928

[startup+0.100244 s]
/proc/loadavg: 3.76 3.97 3.91 4/197 16254
/proc/meminfo: memFree=24748388/32873648 swapFree=6852/6852
[pid=16254] ppid=16252 vsize=2699928 CPUtime=0.09 cores=0,2,4,6
/proc/16254/stat : 16254 (java) S 16252 16254 15509 0 -1 4202496 4698 0 1 0 8 1 0 0 20 0 18 0 344947109 2764726272 6411 33554432000 1073741824 1073778376 140734313783728 140734313774864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16254/statm: 674982 6411 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2699928

[startup+0.300243 s]
/proc/loadavg: 3.76 3.97 3.91 4/197 16254
/proc/meminfo: memFree=24748388/32873648 swapFree=6852/6852
[pid=16254] ppid=16252 vsize=2699928 CPUtime=0.54 cores=0,2,4,6
/proc/16254/stat : 16254 (java) S 16252 16254 15509 0 -1 4202496 7651 0 1 0 53 1 0 0 20 0 18 0 344947109 2764726272 10300 33554432000 1073741824 1073778376 140734313783728 140734313774864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16254/statm: 674982 10300 2217 9 0 665676 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 2699928

[startup+0.700178 s]
/proc/loadavg: 3.76 3.97 3.91 4/197 16254
/proc/meminfo: memFree=24748388/32873648 swapFree=6852/6852
[pid=16254] ppid=16252 vsize=2966184 CPUtime=2.02 cores=0,2,4,6
/proc/16254/stat : 16254 (java) S 16252 16254 15509 0 -1 4202496 14660 0 1 0 200 2 0 0 20 0 22 0 344947109 3037372416 19242 33554432000 1073741824 1073778376 140734313783728 140734313774864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16254/statm: 741546 19242 2251 9 0 732240 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 2966184

[startup+1.50071 s]
/proc/loadavg: 3.76 3.97 3.91 5/219 16276
/proc/meminfo: memFree=24625836/32873648 swapFree=6852/6852
[pid=16254] ppid=16252 vsize=2966184 CPUtime=4.08 cores=0,2,4,6
/proc/16254/stat : 16254 (java) S 16252 16254 15509 0 -1 4202496 17266 0 1 0 399 9 0 0 20 0 22 0 344947109 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140734313774864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16254/statm: 741546 75615 2281 9 0 732240 0
[pid=16254/tid=16256] ppid=16252 vsize=2966184 CPUtime=0.34 cores=0,2,4,6
/proc/16254/task/16256/stat : 16256 (java) S 16252 16254 15509 0 -1 4202560 2817 0 1 0 34 0 0 0 20 0 22 0 344947110 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140126000850072 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16257] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16257/stat : 16257 (java) S 16252 16254 15509 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125867231528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16254/tid=16258] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16258/stat : 16258 (java) S 16252 16254 15509 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125866178728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16259] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16259/stat : 16259 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125865126440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16254/tid=16260] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16260/stat : 16260 (java) S 16252 16254 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125864073640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16261] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16261/stat : 16261 (java) S 16252 16254 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125863021352 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16254/tid=16262] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16262/stat : 16262 (java) S 16252 16254 15509 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125861968552 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16254/tid=16263] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16263/stat : 16263 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125860916264 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16264] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16264/stat : 16264 (java) S 16252 16254 15509 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125859863464 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16265] ppid=16252 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/16254/task/16265/stat : 16265 (java) S 16252 16254 15509 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 22 0 344947112 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125377255656 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16254/tid=16266] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16266/stat : 16266 (java) S 16252 16254 15509 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344947113 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125376201720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16267] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16267/stat : 16267 (java) S 16252 16254 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344947113 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125375149320 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16268] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16268/stat : 16268 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344947115 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125374097808 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16269] ppid=16252 vsize=2966184 CPUtime=0.71 cores=0,2,4,6
/proc/16254/task/16269/stat : 16269 (java) S 16252 16254 15509 0 -1 4202560 6765 0 0 0 70 1 0 0 20 0 22 0 344947115 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125373045432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16270] ppid=16252 vsize=2966184 CPUtime=0.76 cores=0,2,4,6
/proc/16254/task/16270/stat : 16270 (java) S 16252 16254 15509 0 -1 4202560 6191 0 0 0 76 0 0 0 20 0 22 0 344947115 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125371992632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16271] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16271/stat : 16271 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344947115 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125370940536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16254/tid=16272] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16272/stat : 16272 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344947115 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125369887944 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16273] ppid=16252 vsize=2966184 CPUtime=1.07 cores=0,2,4,6
/proc/16254/task/16273/stat : 16273 (java) R 16252 16254 15509 0 -1 4202560 38 0 0 0 107 0 0 0 20 0 22 0 344947147 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125368832280 140125873536089 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=16254/tid=16274] ppid=16252 vsize=2966184 CPUtime=1.08 cores=0,2,4,6
/proc/16254/task/16274/stat : 16274 (java) R 16252 16254 15509 0 -1 4202560 192 0 0 0 103 5 0 0 20 0 22 0 344947147 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125367777400 140125873833000 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16275] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16275/stat : 16275 (java) S 16252 16254 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344947148 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125366727848 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16254/tid=16276] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16276/stat : 16276 (java) S 16252 16254 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344947148 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125365675048 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.08
Current children cumulated vsize (KiB) 2966184

[startup+3.10071 s]
/proc/loadavg: 3.76 3.97 3.91 5/219 16276
/proc/meminfo: memFree=24436428/32873648 swapFree=6852/6852
[pid=16254] ppid=16252 vsize=2966184 CPUtime=7.49 cores=0,2,4,6
/proc/16254/stat : 16254 (java) S 16252 16254 15509 0 -1 4202496 18945 0 1 0 738 11 0 0 20 0 22 0 344947109 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140734313774864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16254/statm: 741546 103787 2281 9 0 732240 0
[pid=16254/tid=16256] ppid=16252 vsize=2966184 CPUtime=0.34 cores=0,2,4,6
/proc/16254/task/16256/stat : 16256 (java) S 16252 16254 15509 0 -1 4202560 2817 0 1 0 34 0 0 0 20 0 22 0 344947110 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140126000850072 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16257] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16257/stat : 16257 (java) S 16252 16254 15509 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125867231528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16258] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16258/stat : 16258 (java) S 16252 16254 15509 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125866178728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16259] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16259/stat : 16259 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125865126440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16254/tid=16260] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16260/stat : 16260 (java) S 16252 16254 15509 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125864073640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16261] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16261/stat : 16261 (java) S 16252 16254 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125863021352 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16254/tid=16262] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16262/stat : 16262 (java) S 16252 16254 15509 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125861968552 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16254/tid=16263] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16263/stat : 16263 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125860916264 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16264] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16264/stat : 16264 (java) S 16252 16254 15509 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125859863464 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16265] ppid=16252 vsize=2966184 CPUtime=0.03 cores=0,2,4,6
/proc/16254/task/16265/stat : 16265 (java) S 16252 16254 15509 0 -1 4202560 34 0 0 0 3 0 0 0 20 0 22 0 344947112 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125377255656 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16254/tid=16266] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16266/stat : 16266 (java) S 16252 16254 15509 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344947113 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125376201720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16267] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16267/stat : 16267 (java) S 16252 16254 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344947113 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125375149320 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16268] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16268/stat : 16268 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344947115 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125374097808 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16269] ppid=16252 vsize=2966184 CPUtime=0.84 cores=0,2,4,6
/proc/16254/task/16269/stat : 16269 (java) S 16252 16254 15509 0 -1 4202560 8371 0 0 0 83 1 0 0 20 0 22 0 344947115 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125373045432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16270] ppid=16252 vsize=2966184 CPUtime=0.88 cores=0,2,4,6
/proc/16254/task/16270/stat : 16270 (java) S 16252 16254 15509 0 -1 4202560 6198 0 0 0 88 0 0 0 20 0 22 0 344947115 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125371992632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16254/tid=16271] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16271/stat : 16271 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344947115 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125370940536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16254/tid=16272] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16272/stat : 16272 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344947115 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125369887944 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16273] ppid=16252 vsize=2966184 CPUtime=2.61 cores=0,2,4,6
/proc/16254/task/16273/stat : 16273 (java) R 16252 16254 15509 0 -1 4202560 39 0 0 0 261 0 0 0 20 0 22 0 344947147 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125368832192 140125873500336 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=16254/tid=16274] ppid=16252 vsize=2966184 CPUtime=2.64 cores=0,2,4,6
/proc/16254/task/16274/stat : 16274 (java) R 16252 16254 15509 0 -1 4202560 244 0 0 0 258 6 0 0 20 0 22 0 344947147 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125367777400 140125873499447 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16275] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16275/stat : 16275 (java) S 16252 16254 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344947148 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125366727848 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16254/tid=16276] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16276/stat : 16276 (java) S 16252 16254 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344947148 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125365675048 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.49
Current children cumulated vsize (KiB) 2966184

[startup+6.30073 s]
/proc/loadavg: 3.78 3.97 3.91 5/219 16276
/proc/meminfo: memFree=24321248/32873648 swapFree=6852/6852
[pid=16254] ppid=16252 vsize=2966184 CPUtime=13.91 cores=0,2,4,6
/proc/16254/stat : 16254 (java) S 16252 16254 15509 0 -1 4202496 18998 0 1 0 1378 13 0 0 20 0 22 0 344947109 3037372416 106341 33554432000 1073741824 1073778376 140734313783728 140734313774864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16254/statm: 741546 106341 2281 9 0 732240 0
[pid=16254/tid=16256] ppid=16252 vsize=2966184 CPUtime=0.34 cores=0,2,4,6
/proc/16254/task/16256/stat : 16256 (java) S 16252 16254 15509 0 -1 4202560 2817 0 1 0 34 0 0 0 20 0 22 0 344947110 3037372416 106341 33554432000 1073741824 1073778376 140734313783728 140126000850072 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16257] ppid=16252 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/16254/task/16257/stat : 16257 (java) S 16252 16254 15509 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 22 0 344947111 3037372416 106341 33554432000 1073741824 1073778376 140734313783728 140125867231528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16254/tid=16258] ppid=16252 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/16254/task/16258/stat : 16258 (java) S 16252 16254 15509 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 344947111 3037372416 106341 33554432000 1073741824 1073778376 140734313783728 140125866178728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16254/tid=16259] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16259/stat : 16259 (java) S 16252 16254 15509 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 106341 33554432000 1073741824 1073778376 140734313783728 140125865126440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16260] ppid=16252 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/16254/task/16260/stat : 16260 (java) S 16252 16254 15509 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 344947111 3037372416 106341 33554432000 1073741824 1073778376 140734313783728 140125864073640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16261] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16261/stat : 16261 (java) S 16252 16254 15509 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 106341 33554432000 1073741824 1073778376 140734313783728 140125863021352 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16254/tid=16262] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16262/stat : 16262 (java) S 16252 16254 15509 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 106341 33554432000 1073741824 1073778376 140734313783728 140125861968552 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16263] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16263/stat : 16263 (java) S 16252 16254 15509 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 106341 33554432000 1073741824 1073778376 140734313783728 140125860916264 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16264] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16264/stat : 16264 (java) S 16252 16254 15509 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 106341 33554432000 1073741824 1073778376 140734313783728 140125859863464 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16254/tid=16265] ppid=16252 vsize=2966184 CPUtime=0.12 cores=0,2,4,6
/proc/16254/task/16265/stat : 16265 (java) S 16252 16254 15509 0 -1 4202560 43 0 0 0 11 1 0 0 20 0 22 0 344947112 3037372416 106341 33554432000 1073741824 1073778376 140734313783728 140125377255656 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16266] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16266/stat : 16266 (java) S 16252 16254 15509 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344947113 3037372416 106341 33554432000 1073741824 1073778376 140734313783728 140125376201720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16267] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16267/stat : 16267 (java) S 16252 16254 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344947113 3037372416 106341 33554432000 1073741824 1073778376 140734313783728 140125375149320 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16268] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16268/stat : 16268 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344947115 3037372416 106341 33554432000 1073741824 1073778376 140734313783728 140125374097808 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16269] ppid=16252 vsize=2966184 CPUtime=0.85 cores=0,2,4,6
/proc/16254/task/16269/stat : 16269 (java) S 16252 16254 15509 0 -1 4202560 8371 0 0 0 84 1 0 0 20 0 22 0 344947115 3037372416 106341 33554432000 1073741824 1073778376 140734313783728 140125373045432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0

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

[pid=16254/tid=16267] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16267/stat : 16267 (java) S 16252 16254 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 344947113 3037372416 204566 33554432000 1073741824 1073778376 140734313783728 140125375149320 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16268] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16268/stat : 16268 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 344947115 3037372416 204566 33554432000 1073741824 1073778376 140734313783728 140125374097808 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16269] ppid=16252 vsize=2966184 CPUtime=0.88 cores=0,2,4,6
/proc/16254/task/16269/stat : 16269 (java) S 16252 16254 15509 0 -1 4202560 8371 0 0 0 87 1 0 0 20 0 21 0 344947115 3037372416 204566 33554432000 1073741824 1073778376 140734313783728 140125373045432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16254/tid=16270] ppid=16252 vsize=2966184 CPUtime=1.58 cores=0,2,4,6
/proc/16254/task/16270/stat : 16270 (java) S 16252 16254 15509 0 -1 4202560 8339 0 0 0 157 1 0 0 20 0 21 0 344947115 3037372416 204566 33554432000 1073741824 1073778376 140734313783728 140125371992632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16271] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16271/stat : 16271 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 344947115 3037372416 204566 33554432000 1073741824 1073778376 140734313783728 140125370940536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16254/tid=16272] ppid=16252 vsize=2966184 CPUtime=0.23 cores=0,2,4,6
/proc/16254/task/16272/stat : 16272 (java) S 16252 16254 15509 0 -1 4202560 40 0 0 0 9 14 0 0 20 0 21 0 344947115 3037372416 204566 33554432000 1073741824 1073778376 140734313783728 140125369887944 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16274] ppid=16252 vsize=2966184 CPUtime=660.65 cores=0,2,4,6
/proc/16254/task/16274/stat : 16274 (java) R 16252 16254 15509 0 -1 4202560 445 0 0 0 66046 19 0 0 20 0 21 0 344947147 3037372416 204566 33554432000 1073741824 1073778376 140734313783728 140125367777832 140125873518184 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16275] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16275/stat : 16275 (java) S 16252 16254 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 344947148 3037372416 204566 33554432000 1073741824 1073778376 140734313783728 140125366727848 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16254/tid=16276] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16276/stat : 16276 (java) S 16252 16254 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 344947148 3037372416 204566 33554432000 1073741824 1073778376 140734313783728 140125365675048 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1396.68
Current children cumulated vsize (KiB) 2966184

[startup+719.101 s]
/proc/loadavg: 3.96 3.89 3.84 4/218 16349
/proc/meminfo: memFree=23960636/32873648 swapFree=6852/6852
[pid=16254] ppid=16252 vsize=2966184 CPUtime=1395.71 cores=0,2,4,6
/proc/16254/stat : 16254 (java) S 16252 16254 15509 0 -1 4202496 23029 0 1 0 139462 109 0 0 20 0 20 0 344947109 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140734313774864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16254/statm: 741546 204559 2283 9 0 732240 0
[pid=16254/tid=16256] ppid=16252 vsize=2966184 CPUtime=0.36 cores=0,2,4,6
/proc/16254/task/16256/stat : 16256 (java) S 16252 16254 15509 0 -1 4202560 2847 0 1 0 34 2 0 0 20 0 20 0 344947110 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140126000850072 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16257] ppid=16252 vsize=2966184 CPUtime=2.83 cores=0,2,4,6
/proc/16254/task/16257/stat : 16257 (java) S 16252 16254 15509 0 -1 4202560 177 0 0 0 278 5 0 0 20 0 20 0 344947111 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125867231528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16258] ppid=16252 vsize=2966184 CPUtime=2.89 cores=0,2,4,6
/proc/16254/task/16258/stat : 16258 (java) S 16252 16254 15509 0 -1 4202560 189 0 0 0 283 6 0 0 20 0 20 0 344947111 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125866178728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16254/tid=16259] ppid=16252 vsize=2966184 CPUtime=2.75 cores=0,2,4,6
/proc/16254/task/16259/stat : 16259 (java) S 16252 16254 15509 0 -1 4202560 149 0 0 0 271 4 0 0 20 0 20 0 344947111 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125865126440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16260] ppid=16252 vsize=2966184 CPUtime=2.87 cores=0,2,4,6
/proc/16254/task/16260/stat : 16260 (java) S 16252 16254 15509 0 -1 4202560 185 0 0 0 281 6 0 0 20 0 20 0 344947111 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125864073640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16261] ppid=16252 vsize=2966184 CPUtime=2.88 cores=0,2,4,6
/proc/16254/task/16261/stat : 16261 (java) S 16252 16254 15509 0 -1 4202560 157 0 0 0 284 4 0 0 20 0 20 0 344947111 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125863021352 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16262] ppid=16252 vsize=2966184 CPUtime=2.95 cores=0,2,4,6
/proc/16254/task/16262/stat : 16262 (java) S 16252 16254 15509 0 -1 4202560 181 0 0 0 290 5 0 0 20 0 20 0 344947111 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125861968552 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16263] ppid=16252 vsize=2966184 CPUtime=2.81 cores=0,2,4,6
/proc/16254/task/16263/stat : 16263 (java) S 16252 16254 15509 0 -1 4202560 173 0 0 0 278 3 0 0 20 0 20 0 344947111 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125860916264 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16254/tid=16264] ppid=16252 vsize=2966184 CPUtime=2.81 cores=0,2,4,6
/proc/16254/task/16264/stat : 16264 (java) S 16252 16254 15509 0 -1 4202560 176 0 0 0 275 6 0 0 20 0 20 0 344947111 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125859863464 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16265] ppid=16252 vsize=2966184 CPUtime=48.64 cores=0,2,4,6
/proc/16254/task/16265/stat : 16265 (java) S 16252 16254 15509 0 -1 4202560 119 0 0 0 4841 23 0 0 20 0 20 0 344947112 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125377255656 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16266] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16266/stat : 16266 (java) S 16252 16254 15509 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 344947113 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125376201720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16267] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16267/stat : 16267 (java) S 16252 16254 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 344947113 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125375149320 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16268] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16268/stat : 16268 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 344947115 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125374097808 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16269] ppid=16252 vsize=2966184 CPUtime=0.88 cores=0,2,4,6
/proc/16254/task/16269/stat : 16269 (java) S 16252 16254 15509 0 -1 4202560 8371 0 0 0 87 1 0 0 20 0 20 0 344947115 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125373045432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16254/tid=16270] ppid=16252 vsize=2966184 CPUtime=1.58 cores=0,2,4,6
/proc/16254/task/16270/stat : 16270 (java) S 16252 16254 15509 0 -1 4202560 8339 0 0 0 157 1 0 0 20 0 20 0 344947115 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125371992632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16271] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16271/stat : 16271 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 344947115 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125370940536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16254/tid=16272] ppid=16252 vsize=2966184 CPUtime=0.23 cores=0,2,4,6
/proc/16254/task/16272/stat : 16272 (java) S 16252 16254 15509 0 -1 4202560 40 0 0 0 9 14 0 0 20 0 20 0 344947115 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125369887944 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16275] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16275/stat : 16275 (java) S 16252 16254 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 344947148 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125366727848 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16254/tid=16276] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16276/stat : 16276 (java) S 16252 16254 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 344947148 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125365675048 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1395.71
Current children cumulated vsize (KiB) 2966184

[startup+719.501 s]
/proc/loadavg: 3.88 3.87 3.83 3/217 16349
/proc/meminfo: memFree=23960644/32873648 swapFree=6852/6852
[pid=16254] ppid=16252 vsize=2966184 CPUtime=1395.71 cores=0,2,4,6
/proc/16254/stat : 16254 (java) S 16252 16254 15509 0 -1 4202496 23029 0 1 0 139462 109 0 0 20 0 20 0 344947109 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140734313774864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16254/statm: 741546 204559 2283 9 0 732240 0
[pid=16254/tid=16256] ppid=16252 vsize=2966184 CPUtime=0.36 cores=0,2,4,6
/proc/16254/task/16256/stat : 16256 (java) S 16252 16254 15509 0 -1 4202560 2847 0 1 0 34 2 0 0 20 0 20 0 344947110 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140126000850072 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16257] ppid=16252 vsize=2966184 CPUtime=2.83 cores=0,2,4,6
/proc/16254/task/16257/stat : 16257 (java) S 16252 16254 15509 0 -1 4202560 177 0 0 0 278 5 0 0 20 0 20 0 344947111 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125867231528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16258] ppid=16252 vsize=2966184 CPUtime=2.89 cores=0,2,4,6
/proc/16254/task/16258/stat : 16258 (java) S 16252 16254 15509 0 -1 4202560 189 0 0 0 283 6 0 0 20 0 20 0 344947111 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125866178728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16254/tid=16259] ppid=16252 vsize=2966184 CPUtime=2.75 cores=0,2,4,6
/proc/16254/task/16259/stat : 16259 (java) S 16252 16254 15509 0 -1 4202560 149 0 0 0 271 4 0 0 20 0 20 0 344947111 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125865126440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16260] ppid=16252 vsize=2966184 CPUtime=2.87 cores=0,2,4,6
/proc/16254/task/16260/stat : 16260 (java) S 16252 16254 15509 0 -1 4202560 185 0 0 0 281 6 0 0 20 0 20 0 344947111 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125864073640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16261] ppid=16252 vsize=2966184 CPUtime=2.88 cores=0,2,4,6
/proc/16254/task/16261/stat : 16261 (java) S 16252 16254 15509 0 -1 4202560 157 0 0 0 284 4 0 0 20 0 20 0 344947111 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125863021352 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16262] ppid=16252 vsize=2966184 CPUtime=2.95 cores=0,2,4,6
/proc/16254/task/16262/stat : 16262 (java) S 16252 16254 15509 0 -1 4202560 181 0 0 0 290 5 0 0 20 0 20 0 344947111 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125861968552 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16263] ppid=16252 vsize=2966184 CPUtime=2.81 cores=0,2,4,6
/proc/16254/task/16263/stat : 16263 (java) S 16252 16254 15509 0 -1 4202560 173 0 0 0 278 3 0 0 20 0 20 0 344947111 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125860916264 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16254/tid=16264] ppid=16252 vsize=2966184 CPUtime=2.81 cores=0,2,4,6
/proc/16254/task/16264/stat : 16264 (java) S 16252 16254 15509 0 -1 4202560 176 0 0 0 275 6 0 0 20 0 20 0 344947111 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125859863464 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16265] ppid=16252 vsize=2966184 CPUtime=48.64 cores=0,2,4,6
/proc/16254/task/16265/stat : 16265 (java) S 16252 16254 15509 0 -1 4202560 119 0 0 0 4841 23 0 0 20 0 20 0 344947112 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125377255656 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16266] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16266/stat : 16266 (java) S 16252 16254 15509 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 344947113 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125376201720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16267] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16267/stat : 16267 (java) S 16252 16254 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 344947113 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125375149320 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16268] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16268/stat : 16268 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 344947115 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125374097808 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16269] ppid=16252 vsize=2966184 CPUtime=0.88 cores=0,2,4,6
/proc/16254/task/16269/stat : 16269 (java) S 16252 16254 15509 0 -1 4202560 8371 0 0 0 87 1 0 0 20 0 20 0 344947115 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125373045432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16254/tid=16270] ppid=16252 vsize=2966184 CPUtime=1.58 cores=0,2,4,6
/proc/16254/task/16270/stat : 16270 (java) S 16252 16254 15509 0 -1 4202560 8339 0 0 0 157 1 0 0 20 0 20 0 344947115 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125371992632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16271] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16271/stat : 16271 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 344947115 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125370940536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16254/tid=16272] ppid=16252 vsize=2966184 CPUtime=0.23 cores=0,2,4,6
/proc/16254/task/16272/stat : 16272 (java) S 16252 16254 15509 0 -1 4202560 40 0 0 0 9 14 0 0 20 0 20 0 344947115 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125369887944 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16275] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16275/stat : 16275 (java) S 16252 16254 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 344947148 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125366727848 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16254/tid=16276] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16276/stat : 16276 (java) S 16252 16254 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 344947148 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125365675048 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1395.71
Current children cumulated vsize (KiB) 2966184

[startup+719.901 s]
/proc/loadavg: 3.88 3.87 3.83 3/217 16349
/proc/meminfo: memFree=23960644/32873648 swapFree=6852/6852
[pid=16254] ppid=16252 vsize=2966184 CPUtime=1395.72 cores=0,2,4,6
/proc/16254/stat : 16254 (java) S 16252 16254 15509 0 -1 4202496 23031 0 1 0 139463 109 0 0 20 0 21 0 344947109 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140734313774864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16254/statm: 741546 204561 2283 9 0 732240 0
[pid=16254/tid=16256] ppid=16252 vsize=2966184 CPUtime=0.36 cores=0,2,4,6
/proc/16254/task/16256/stat : 16256 (java) S 16252 16254 15509 0 -1 4202560 2847 0 1 0 34 2 0 0 20 0 21 0 344947110 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140126000849624 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16257] ppid=16252 vsize=2966184 CPUtime=2.83 cores=0,2,4,6
/proc/16254/task/16257/stat : 16257 (java) S 16252 16254 15509 0 -1 4202560 177 0 0 0 278 5 0 0 20 0 21 0 344947111 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125867231528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16258] ppid=16252 vsize=2966184 CPUtime=2.89 cores=0,2,4,6
/proc/16254/task/16258/stat : 16258 (java) S 16252 16254 15509 0 -1 4202560 189 0 0 0 283 6 0 0 20 0 21 0 344947111 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125866178728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16254/tid=16259] ppid=16252 vsize=2966184 CPUtime=2.75 cores=0,2,4,6
/proc/16254/task/16259/stat : 16259 (java) S 16252 16254 15509 0 -1 4202560 149 0 0 0 271 4 0 0 20 0 21 0 344947111 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125865126440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16260] ppid=16252 vsize=2966184 CPUtime=2.87 cores=0,2,4,6
/proc/16254/task/16260/stat : 16260 (java) S 16252 16254 15509 0 -1 4202560 185 0 0 0 281 6 0 0 20 0 21 0 344947111 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125864073640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16261] ppid=16252 vsize=2966184 CPUtime=2.88 cores=0,2,4,6
/proc/16254/task/16261/stat : 16261 (java) S 16252 16254 15509 0 -1 4202560 157 0 0 0 284 4 0 0 20 0 21 0 344947111 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125863021352 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16262] ppid=16252 vsize=2966184 CPUtime=2.95 cores=0,2,4,6
/proc/16254/task/16262/stat : 16262 (java) S 16252 16254 15509 0 -1 4202560 181 0 0 0 290 5 0 0 20 0 21 0 344947111 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125861968552 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16263] ppid=16252 vsize=2966184 CPUtime=2.81 cores=0,2,4,6
/proc/16254/task/16263/stat : 16263 (java) S 16252 16254 15509 0 -1 4202560 173 0 0 0 278 3 0 0 20 0 21 0 344947111 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125860916264 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16254/tid=16264] ppid=16252 vsize=2966184 CPUtime=2.81 cores=0,2,4,6
/proc/16254/task/16264/stat : 16264 (java) S 16252 16254 15509 0 -1 4202560 176 0 0 0 275 6 0 0 20 0 21 0 344947111 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125859863464 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16265] ppid=16252 vsize=2966184 CPUtime=48.64 cores=0,2,4,6
/proc/16254/task/16265/stat : 16265 (java) S 16252 16254 15509 0 -1 4202560 119 0 0 0 4841 23 0 0 20 0 21 0 344947112 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125377255656 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16266] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16266/stat : 16266 (java) S 16252 16254 15509 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 344947113 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125376201720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16267] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16267/stat : 16267 (java) S 16252 16254 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 344947113 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125375149320 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16268] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16268/stat : 16268 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 344947115 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125374097808 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16254/tid=16269] ppid=16252 vsize=2966184 CPUtime=0.88 cores=0,2,4,6
/proc/16254/task/16269/stat : 16269 (java) S 16252 16254 15509 0 -1 4202560 8371 0 0 0 87 1 0 0 20 0 21 0 344947115 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125373045432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16254/tid=16270] ppid=16252 vsize=2966184 CPUtime=1.58 cores=0,2,4,6
/proc/16254/task/16270/stat : 16270 (java) S 16252 16254 15509 0 -1 4202560 8339 0 0 0 157 1 0 0 20 0 21 0 344947115 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125371992632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16271] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16271/stat : 16271 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 344947115 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125370940536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16254/tid=16272] ppid=16252 vsize=2966184 CPUtime=0.23 cores=0,2,4,6
/proc/16254/task/16272/stat : 16272 (java) S 16252 16254 15509 0 -1 4202560 40 0 0 0 9 14 0 0 20 0 21 0 344947115 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125369887944 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16254/tid=16275] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16275/stat : 16275 (java) S 16252 16254 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 344947148 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125366727848 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16254/tid=16276] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/16254/task/16276/stat : 16276 (java) S 16252 16254 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 344947148 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125365675048 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1395.72
Current children cumulated vsize (KiB) 2966184

Child status: 10

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 3.01013
#  lost CPU user time (s): 3.22009
#  lost CPU system time (s): -0.21

Real time (s): 719.946
CPU time (s): 1398.93
CPU user time (s): 1397.87
CPU system time (s): 1.05981
CPU usage (%): 194.311
Max. virtual memory (cumulated for all children) (KiB): 2967476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1394.65
system time used= 1.26981
maximum resident set size= 818284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23045
page faults= 1
swaps= 0
block input operations= 0
block output operations= 744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29618
involuntary context switches= 45218

runsolver used 2.54061 second user time and 6.42502 second system time

The end

Launcher Data

Begin job on node112 at 2012-06-04 07:36:38
IDJOB=3742769
IDBENCH=90229
IDSOLVER=2324
FILE ID=node112/3742769-1338788198
RUNJOBID= node112-1338783624-15525
PBS_JOBID= 14636841
Free space on /tmp= 71228 MiB

SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K68.opb
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742769-1338788198/watcher-3742769-1338788198 -o /tmp/evaluation-result-3742769-1338788198/solver-3742769-1338788198 -C 1800 -W 1900 -M 15500  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3742769-1338788198.opb

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

MD5SUM BENCH= 506a6fce450974b6f48fc0e3b77d8777
RANDOM SEED=1425041876

node112.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.763
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.763
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.763
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.763
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.763
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.763
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.763
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.763
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        24748280 kB
Buffers:          557688 kB
Cached:          5975316 kB
SwapCached:            0 kB
Active:          2475760 kB
Inactive:        4767944 kB
Active(anon):     699548 kB
Inactive(anon):    10920 kB
Active(file):    1776212 kB
Inactive(file):  4757024 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:                92 kB
Writeback:             0 kB
AnonPages:        726976 kB
Mapped:            22536 kB
Shmem:               200 kB
Slab:             731540 kB
SReclaimable:     175284 kB
SUnreclaim:       556256 kB
KernelStack:        1624 kB
PageTables:         5828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1571392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    655360 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71224 MiB
End job on node112 at 2012-06-04 07:48:38