Trace number 3455172

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Res//CP 2.3.0SAT (TO)814 1800.41 993.235

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-4.opb
MD5SUM4e682317a6045f4869b1783c80734344
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark813
Best CPU time to get the best result obtained on this benchmark0.261959
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 813
Optimality of the best value was proved YES
Number of variables2289
Total number of constraints764
Number of constraints which are clauses360
Number of constraints which are cardinality constraints (but not clauses)404
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint195
Number of terms in the objective function 1798
Biggest coefficient in the objective function 349
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 104116
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 349
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 104116
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version 2.3.1.v20110525
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.18-164.el5
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		9996466904
0.00/0.08	c Max memory 		10048897024
0.00/0.08	c Total memory 		10048897024
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3455172-1307189405.opb
0.10/0.11	c reading problem ... 
0.29/0.29	c ... done. Wall clock time 0.181s.
0.29/0.29	c #vars     2289
0.29/0.29	c #constraints  1148
0.29/0.29	c constraints type 
0.29/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 377
0.29/0.29	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1
0.29/0.29	c org.sat4j.minisat.constraints.card.MinWatchCard => 402
0.29/0.29	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 360
0.29/0.29	c constraints type 
0.29/0.29	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 360
0.29/0.29	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 377
0.29/0.29	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 402
0.29/0.29	c org.sat4j.pb.constraints.pb.UnitClausesPB => 1
0.52/0.38	c  And the winner is Resolution
0.95/0.80	c SATISFIABLE
0.95/0.80	c OPTIMIZING...
0.95/0.80	c Got one! Elapsed wall clock time (in seconds):0.691
0.95/0.80	o 835
4.09/2.10	c cleaning 2500 clauses out of 5021 with flag 5000/5021
6.66/3.30	c  And the winner is CuttingPlanes
6.84/3.34	c Got one! Elapsed wall clock time (in seconds):3.237
6.84/3.34	o 822
8.97/4.42	c cleaning 6699 clauses out of 13403 with flag 5000/15903
11.92/5.94	c cleaning 6348 clauses out of 12705 with flag 11001/21904
14.99/7.45	c cleaning 6672 clauses out of 13356 with flag 18000/28903
18.58/9.23	c cleaning 7335 clauses out of 14684 with flag 26000/36903
22.32/11.16	c cleaning 8172 clauses out of 16349 with flag 35000/45903
26.50/13.24	c cleaning 9082 clauses out of 18178 with flag 45001/55904
27.00/13.59	c  And the winner is CuttingPlanes
27.18/13.89	c Got one! Elapsed wall clock time (in seconds):13.784
27.18/13.89	o 821
28.81/14.73	c cleaning 7206 clauses out of 14416 with flag 4002/61224
31.29/16.04	c cleaning 6604 clauses out of 13208 with flag 10000/67222
34.23/17.53	c cleaning 6802 clauses out of 13608 with flag 17004/74226
37.72/19.31	c cleaning 7393 clauses out of 14802 with flag 25000/82222
41.43/21.26	c cleaning 8203 clauses out of 16411 with flag 34002/91224
45.91/23.52	c cleaning 9097 clauses out of 18206 with flag 44000/101222
50.20/25.76	c cleaning 9551 clauses out of 19109 with flag 54000/111222
54.28/27.81	c cleaning 9774 clauses out of 19559 with flag 64001/121223
58.36/29.97	c cleaning 9887 clauses out of 19786 with flag 74002/131224
62.58/32.18	c cleaning 9949 clauses out of 19897 with flag 84000/141222
67.04/34.46	c cleaning 9971 clauses out of 19948 with flag 94000/151222
72.31/37.11	c cleaning 9983 clauses out of 19977 with flag 104000/161222
76.38/39.27	c cleaning 9993 clauses out of 19994 with flag 114000/171222
80.57/41.47	c cleaning 9997 clauses out of 20002 with flag 124001/181223
85.02/43.77	c cleaning 9998 clauses out of 20007 with flag 134003/191225
89.28/45.95	c cleaning 9992 clauses out of 20006 with flag 144000/201222
93.53/48.12	c cleaning 10006 clauses out of 20017 with flag 154003/211225
97.92/50.41	c cleaning 9997 clauses out of 20008 with flag 164000/221222
102.17/52.61	c cleaning 10002 clauses out of 20012 with flag 174001/231223
106.42/54.86	c cleaning 10000 clauses out of 20011 with flag 184002/241224
110.67/57.10	c cleaning 9998 clauses out of 20009 with flag 194000/251222
114.84/59.30	c cleaning 9999 clauses out of 20011 with flag 204000/261222
118.88/61.37	c cleaning 9996 clauses out of 20012 with flag 214000/271222
123.11/63.56	c cleaning 10004 clauses out of 20017 with flag 224001/281223
125.36/64.75	c  And the winner is CuttingPlanes
125.47/65.06	c Got one! Elapsed wall clock time (in seconds):64.956
125.47/65.06	o 817
127.73/66.20	c cleaning 10208 clauses out of 20427 with flag 5000/291637
130.49/67.71	c cleaning 8107 clauses out of 16220 with flag 11001/297638
133.34/69.30	c cleaning 7547 clauses out of 15112 with flag 18000/304637
137.36/71.38	c cleaning 7780 clauses out of 15567 with flag 26002/312639
141.19/73.33	c cleaning 8385 clauses out of 16786 with flag 35001/321638
145.74/75.70	c cleaning 9194 clauses out of 18400 with flag 45000/331637
149.97/78.00	c cleaning 9599 clauses out of 19206 with flag 55000/341637
154.20/80.20	c cleaning 9798 clauses out of 19609 with flag 65002/351639
158.23/82.25	c cleaning 9902 clauses out of 19809 with flag 75000/361637
162.79/84.64	c cleaning 9946 clauses out of 19907 with flag 85000/371637
166.80/86.74	c cleaning 9976 clauses out of 19962 with flag 95001/381638
171.03/88.91	c cleaning 9989 clauses out of 19985 with flag 105000/391637
175.25/91.10	c cleaning 9996 clauses out of 19997 with flag 115001/401638
179.61/93.43	c cleaning 9998 clauses out of 20000 with flag 125000/411637
184.03/95.76	c cleaning 9997 clauses out of 20004 with flag 135002/421639
188.61/98.10	c cleaning 9991 clauses out of 20005 with flag 145000/431637
193.04/100.48	c cleaning 10003 clauses out of 20014 with flag 155000/441637
197.76/102.97	c cleaning 10002 clauses out of 20012 with flag 165001/451638
202.16/105.26	c cleaning 10000 clauses out of 20010 with flag 175001/461638
206.36/107.50	c cleaning 10000 clauses out of 20010 with flag 185001/471638
210.38/109.56	c cleaning 10001 clauses out of 20010 with flag 195001/481638
215.08/112.02	c cleaning 9998 clauses out of 20008 with flag 205000/491637
219.28/114.22	c cleaning 10000 clauses out of 20010 with flag 215000/501637
223.08/116.25	c cleaning 9998 clauses out of 20010 with flag 225000/511637
226.88/118.28	c cleaning 10000 clauses out of 20012 with flag 235000/521637
230.98/120.50	c cleaning 9999 clauses out of 20012 with flag 245000/531637
235.18/122.69	c cleaning 10001 clauses out of 20013 with flag 255000/541637
239.58/124.94	c cleaning 10001 clauses out of 20012 with flag 265000/551637
243.97/127.26	c cleaning 9999 clauses out of 20012 with flag 275001/561638
248.89/129.82	c cleaning 10004 clauses out of 20013 with flag 285001/571638
252.88/131.93	c cleaning 9998 clauses out of 20008 with flag 295000/581637
257.06/134.17	c cleaning 10001 clauses out of 20011 with flag 305001/591638
261.63/136.54	c cleaning 9999 clauses out of 20010 with flag 315001/601638
266.12/138.92	c cleaning 10000 clauses out of 20010 with flag 325000/611637
270.50/141.29	c cleaning 9999 clauses out of 20011 with flag 335001/621638
275.08/143.65	c cleaning 9998 clauses out of 20011 with flag 345000/631637
279.66/146.01	c cleaning 10000 clauses out of 20013 with flag 355000/641637
284.16/148.43	c cleaning 9998 clauses out of 20013 with flag 365000/651637
288.35/150.69	c cleaning 9997 clauses out of 20016 with flag 375001/661638
292.90/153.01	c cleaning 10001 clauses out of 20018 with flag 385000/671637
297.08/155.28	c cleaning 10004 clauses out of 20017 with flag 395000/681637
301.95/157.85	c cleaning 10000 clauses out of 20013 with flag 405000/691637
306.52/160.28	c cleaning 10005 clauses out of 20014 with flag 415001/701638
307.12/160.65	c  And the winner is CuttingPlanes
307.20/161.15	c Got one! Elapsed wall clock time (in seconds):161.042
307.20/161.15	o 815
309.31/162.23	c cleaning 7857 clauses out of 15723 with flag 5000/707352
311.88/163.63	c cleaning 6928 clauses out of 13866 with flag 11000/713352
314.94/165.37	c cleaning 6963 clauses out of 13939 with flag 18001/720353
318.54/167.27	c cleaning 7485 clauses out of 14977 with flag 26002/728354
322.29/169.26	c cleaning 8242 clauses out of 16491 with flag 35001/737353
326.90/171.61	c cleaning 9121 clauses out of 18249 with flag 45001/747353
331.52/174.16	c cleaning 9560 clauses out of 19127 with flag 55000/757352
335.88/176.43	c cleaning 9779 clauses out of 19567 with flag 65000/767352
340.43/178.82	c cleaning 9893 clauses out of 19788 with flag 75000/777352
344.77/181.14	c cleaning 9941 clauses out of 19896 with flag 85001/787353
349.43/183.69	c cleaning 9974 clauses out of 19955 with flag 95001/797353
354.56/186.35	c cleaning 9982 clauses out of 19980 with flag 105000/807352
360.13/189.28	c cleaning 9995 clauses out of 19998 with flag 115000/817352
364.45/191.57	c cleaning 10000 clauses out of 20004 with flag 125001/827353
369.08/194.00	c cleaning 9997 clauses out of 20003 with flag 135000/837352
373.42/196.36	c cleaning 9998 clauses out of 20008 with flag 145002/847354
377.76/198.61	c cleaning 9997 clauses out of 20008 with flag 155000/857352
381.50/200.66	c cleaning 10001 clauses out of 20011 with flag 165000/867352
385.52/202.89	c cleaning 10004 clauses out of 20012 with flag 175002/877354
390.06/205.23	c cleaning 9997 clauses out of 20007 with flag 185001/887353
394.60/207.62	c cleaning 10000 clauses out of 20010 with flag 195001/897353
399.53/210.22	c cleaning 9998 clauses out of 20009 with flag 205000/907352
404.35/212.80	c cleaning 10001 clauses out of 20011 with flag 215000/917352
408.68/215.15	c cleaning 9998 clauses out of 20010 with flag 225000/927352
413.22/217.54	c cleaning 10001 clauses out of 20013 with flag 235001/937353
417.76/219.95	c cleaning 9997 clauses out of 20011 with flag 245000/947352
422.35/222.47	c cleaning 10003 clauses out of 20015 with flag 255001/957353
426.69/224.70	c cleaning 10002 clauses out of 20011 with flag 265000/967352
430.81/226.91	c cleaning 10001 clauses out of 20009 with flag 275000/977352
434.94/229.17	c cleaning 10002 clauses out of 20008 with flag 285000/987352
439.34/231.54	c cleaning 9998 clauses out of 20007 with flag 295001/997353
443.46/233.76	c cleaning 9998 clauses out of 20008 with flag 305000/1007352
447.78/236.03	c cleaning 9997 clauses out of 20010 with flag 315000/1017352
452.31/238.43	c cleaning 10002 clauses out of 20013 with flag 325000/1027352
457.11/241.07	c cleaning 9998 clauses out of 20011 with flag 335000/1037352
462.04/243.67	c cleaning 10003 clauses out of 20016 with flag 345003/1047355
466.36/245.91	c cleaning 9999 clauses out of 20010 with flag 355000/1057352
470.48/248.17	c cleaning 10001 clauses out of 20011 with flag 365000/1067352
475.07/250.69	c cleaning 9994 clauses out of 20010 with flag 375000/1077352
479.41/252.92	c cleaning 10003 clauses out of 20016 with flag 385000/1087352
483.71/255.23	c cleaning 10000 clauses out of 20013 with flag 395000/1097352
487.98/257.55	c cleaning 10003 clauses out of 20015 with flag 405002/1107354
492.72/260.10	c cleaning 10003 clauses out of 20012 with flag 415002/1117354
497.42/262.67	c cleaning 9999 clauses out of 20007 with flag 425000/1127352
502.29/265.27	c cleaning 10000 clauses out of 20008 with flag 435000/1137352
507.36/267.91	c cleaning 9997 clauses out of 20008 with flag 445000/1147352
512.09/270.60	c cleaning 10000 clauses out of 20011 with flag 455000/1157352
516.93/273.19	c cleaning 9999 clauses out of 20011 with flag 465000/1167352
521.99/275.86	c cleaning 9999 clauses out of 20012 with flag 475000/1177352
527.03/278.55	c cleaning 10003 clauses out of 20014 with flag 485001/1187353
532.32/281.45	c cleaning 10001 clauses out of 20010 with flag 495000/1197352
537.56/284.21	c cleaning 10000 clauses out of 20009 with flag 505000/1207352
542.61/286.90	c cleaning 9998 clauses out of 20010 with flag 515001/1217353
547.26/289.41	c cleaning 9999 clauses out of 20011 with flag 525000/1227352
551.74/291.92	c cleaning 10001 clauses out of 20012 with flag 535000/1237352
556.18/294.32	c cleaning 10000 clauses out of 20011 with flag 545000/1247352
560.62/296.72	c cleaning 10001 clauses out of 20011 with flag 555000/1257352
565.07/299.17	c cleaning 9997 clauses out of 20010 with flag 565000/1267352
569.92/301.82	c cleaning 10002 clauses out of 20014 with flag 575001/1277353
574.55/304.35	c cleaning 10002 clauses out of 20012 with flag 585001/1287353
578.98/306.74	c cleaning 10002 clauses out of 20009 with flag 595000/1297352
583.80/309.30	c cleaning 9994 clauses out of 20007 with flag 605000/1307352
588.64/312.04	c cleaning 10004 clauses out of 20015 with flag 615002/1317354
593.47/314.62	c cleaning 9999 clauses out of 20009 with flag 625000/1327352
598.04/317.19	c cleaning 9999 clauses out of 20010 with flag 635000/1337352
602.84/319.73	c cleaning 9997 clauses out of 20011 with flag 645000/1347352
608.26/322.77	c cleaning 10001 clauses out of 20014 with flag 655000/1357352
613.26/325.50	c cleaning 9996 clauses out of 20014 with flag 665001/1367353
618.46/328.24	c cleaning 10005 clauses out of 20017 with flag 675000/1377352
623.67/331.04	c cleaning 10001 clauses out of 20014 with flag 685002/1387354
629.07/334.04	c cleaning 10001 clauses out of 20012 with flag 695001/1397353
634.07/336.80	c cleaning 9999 clauses out of 20011 with flag 705001/1407353
639.26/339.50	c cleaning 10000 clauses out of 20012 with flag 715001/1417353
643.44/341.90	c cleaning 10001 clauses out of 20014 with flag 725003/1427355
647.88/344.38	c cleaning 9998 clauses out of 20010 with flag 735000/1437352
652.24/346.77	c cleaning 10001 clauses out of 20012 with flag 745000/1447352
656.43/349.07	c cleaning 9999 clauses out of 20012 with flag 755001/1457353
660.81/351.43	c cleaning 10000 clauses out of 20012 with flag 765000/1467352
665.27/353.92	c cleaning 10003 clauses out of 20013 with flag 775001/1477353
669.67/356.36	c cleaning 9999 clauses out of 20009 with flag 785000/1487352
675.63/359.58	c cleaning 9998 clauses out of 20010 with flag 795000/1497352
681.82/362.87	c cleaning 9998 clauses out of 20012 with flag 805000/1507352
688.41/366.42	c cleaning 9997 clauses out of 20014 with flag 815000/1517352
694.41/369.69	c cleaning 9998 clauses out of 20017 with flag 825000/1527352
700.58/372.94	c cleaning 9998 clauses out of 20020 with flag 835001/1537353
706.76/376.22	c cleaning 10001 clauses out of 20021 with flag 845000/1547352
712.92/379.68	c cleaning 10001 clauses out of 20021 with flag 855001/1557353
719.09/382.97	c cleaning 10000 clauses out of 20019 with flag 865000/1567352
725.46/386.31	c cleaning 10003 clauses out of 20019 with flag 875000/1577352
731.25/389.46	c cleaning 10008 clauses out of 20019 with flag 885003/1587355
736.20/392.20	c cleaning 9999 clauses out of 20008 with flag 895000/1597352
741.36/395.02	c cleaning 9998 clauses out of 20009 with flag 905000/1607352
746.12/397.67	c cleaning 10000 clauses out of 20011 with flag 915000/1617352
751.10/400.32	c cleaning 10003 clauses out of 20013 with flag 925002/1627354
756.85/403.51	c cleaning 9995 clauses out of 20008 with flag 935000/1637352
761.81/406.22	c cleaning 10001 clauses out of 20014 with flag 945001/1647353
764.78/407.91	c  And the winner is CuttingPlanes
764.81/408.20	c Got one! Elapsed wall clock time (in seconds):408.09
764.81/408.20	o 814
766.83/409.23	c cleaning 10503 clauses out of 21022 with flag 5000/1658362
769.96/411.02	c cleaning 8255 clauses out of 16519 with flag 11000/1664362
773.32/413.06	c cleaning 7626 clauses out of 15266 with flag 18002/1671364
777.08/415.15	c cleaning 7810 clauses out of 15638 with flag 26000/1679362
781.64/417.61	c cleaning 8410 clauses out of 16829 with flag 35001/1688363
786.22/420.15	c cleaning 9204 clauses out of 18418 with flag 45000/1698362
790.96/422.85	c cleaning 9603 clauses out of 19214 with flag 55000/1708362
795.11/425.10	c cleaning 9801 clauses out of 19611 with flag 65000/1718362
799.86/427.77	c cleaning 9905 clauses out of 19810 with flag 75000/1728362
804.60/430.37	c cleaning 9948 clauses out of 19906 with flag 85001/1738363
809.35/433.06	c cleaning 9965 clauses out of 19957 with flag 95000/1748362
814.13/435.65	c cleaning 9992 clauses out of 19993 with flag 105001/1758363
818.64/438.12	c cleaning 9996 clauses out of 20000 with flag 115000/1768362
823.19/440.61	c cleaning 9999 clauses out of 20004 with flag 125000/1778362
827.96/443.33	c cleaning 9996 clauses out of 20005 with flag 135000/1788362
832.47/445.84	c cleaning 9997 clauses out of 20009 with flag 145000/1798362
837.01/448.32	c cleaning 10003 clauses out of 20013 with flag 155001/1808363
841.77/450.92	c cleaning 9999 clauses out of 20009 with flag 165000/1818362
846.68/453.71	c cleaning 10000 clauses out of 20011 with flag 175001/1828363
851.02/456.15	c cleaning 10002 clauses out of 20011 with flag 185001/1838363
855.58/458.62	c cleaning 9998 clauses out of 20009 with flag 195001/1848363
860.28/461.22	c cleaning 10001 clauses out of 20011 with flag 205001/1858363
865.01/463.90	c cleaning 9999 clauses out of 20009 with flag 215000/1868362
869.12/466.31	c cleaning 10000 clauses out of 20012 with flag 225002/1878364
873.85/468.80	c cleaning 9998 clauses out of 20014 with flag 235004/1888366
878.57/471.45	c cleaning 10002 clauses out of 20012 with flag 245000/1898362
883.55/474.26	c cleaning 9991 clauses out of 20010 with flag 255000/1908362
888.47/476.97	c cleaning 10006 clauses out of 20019 with flag 265000/1918362
892.99/479.49	c cleaning 10001 clauses out of 20013 with flag 275000/1928362
897.91/482.16	c cleaning 10001 clauses out of 20012 with flag 285000/1938362
903.24/485.12	c cleaning 9999 clauses out of 20012 with flag 295001/1948363
907.72/487.62	c cleaning 10002 clauses out of 20013 with flag 305001/1958363
912.03/490.05	c cleaning 10000 clauses out of 20011 with flag 315001/1968363
916.34/492.48	c cleaning 10000 clauses out of 20010 with flag 325000/1978362
921.26/495.20	c cleaning 10002 clauses out of 20010 with flag 335000/1988362
925.96/497.81	c cleaning 9999 clauses out of 20008 with flag 345000/1998362
931.07/500.60	c cleaning 10002 clauses out of 20012 with flag 355003/2008365
935.77/503.26	c cleaning 9998 clauses out of 20008 with flag 365001/2018363
940.86/506.17	c cleaning 10001 clauses out of 20010 with flag 375001/2028363
945.56/508.80	c cleaning 9995 clauses out of 20008 with flag 385000/2038362
950.26/511.39	c cleaning 9999 clauses out of 20013 with flag 395000/2048362
955.15/514.02	c cleaning 9999 clauses out of 20014 with flag 405000/2058362
960.45/517.06	c cleaning 10004 clauses out of 20018 with flag 415003/2068365
965.12/519.69	c cleaning 10002 clauses out of 20011 with flag 425000/2078362
969.80/522.26	c cleaning 9996 clauses out of 20009 with flag 435000/2088362
974.50/524.81	c cleaning 9999 clauses out of 20014 with flag 445001/2098363
978.96/527.48	c cleaning 9996 clauses out of 20014 with flag 455000/2108362
983.45/529.98	c cleaning 10003 clauses out of 20019 with flag 465001/2118363
988.13/532.50	c cleaning 10004 clauses out of 20016 with flag 475001/2128363
992.63/535.06	c cleaning 9997 clauses out of 20013 with flag 485002/2138364
997.50/537.88	c cleaning 10000 clauses out of 20014 with flag 495000/2148362
1002.17/540.44	c cleaning 10002 clauses out of 20016 with flag 505002/2158364
1006.85/543.01	c cleaning 9997 clauses out of 20012 with flag 515000/2168362
1011.34/545.54	c cleaning 10003 clauses out of 20016 with flag 525001/2178363
1016.24/548.31	c cleaning 9999 clauses out of 20012 with flag 535000/2188362
1020.71/550.89	c cleaning 10002 clauses out of 20015 with flag 545002/2198364
1025.58/553.56	c cleaning 9998 clauses out of 20012 with flag 555001/2208363
1030.46/556.25	c cleaning 9998 clauses out of 20014 with flag 565001/2218363
1035.50/559.16	c cleaning 9999 clauses out of 20015 with flag 575000/2228362
1040.56/561.90	c cleaning 10000 clauses out of 20016 with flag 585000/2238362
1045.83/564.88	c cleaning 10006 clauses out of 20018 with flag 595002/2248364
1051.71/568.05	c cleaning 9997 clauses out of 20010 with flag 605000/2258362
1058.54/571.82	c cleaning 10003 clauses out of 20013 with flag 615000/2268362
1065.20/575.48	c cleaning 10000 clauses out of 20013 with flag 625003/2278365
1071.66/578.92	c cleaning 10000 clauses out of 20012 with flag 635002/2288364
1077.92/582.33	c cleaning 10000 clauses out of 20010 with flag 645000/2298362
1084.74/586.19	c cleaning 10004 clauses out of 20012 with flag 655002/2308364
1091.60/589.80	c cleaning 9998 clauses out of 20006 with flag 665000/2318362
1098.05/593.36	c cleaning 10000 clauses out of 20009 with flag 675001/2328363
1102.90/596.03	c cleaning 9999 clauses out of 20009 with flag 685001/2338363
1107.91/598.98	c cleaning 9999 clauses out of 20009 with flag 695000/2348362
1112.99/601.76	c cleaning 9998 clauses out of 20010 with flag 705000/2358362
1118.00/604.59	c cleaning 10008 clauses out of 20017 with flag 715005/2368367
1123.84/607.72	c cleaning 10003 clauses out of 20005 with flag 725001/2378363
1130.25/611.39	c cleaning 9999 clauses out of 20002 with flag 735001/2388363
1136.78/614.83	c cleaning 9999 clauses out of 20005 with flag 745003/2398365
1143.21/618.30	c cleaning 9996 clauses out of 20004 with flag 755001/2408363
1149.43/621.80	c cleaning 10000 clauses out of 20007 with flag 765000/2418362
1156.01/625.50	c cleaning 9996 clauses out of 20007 with flag 775000/2428362
1162.45/628.94	c cleaning 9999 clauses out of 20011 with flag 785000/2438362
1168.89/632.51	c cleaning 10002 clauses out of 20013 with flag 795001/2448363
1175.48/636.09	c cleaning 9998 clauses out of 20011 with flag 805001/2458363
1182.62/640.00	c cleaning 9999 clauses out of 20012 with flag 815000/2468362
1189.05/643.59	c cleaning 10005 clauses out of 20017 with flag 825004/2478366
1195.62/647.16	c cleaning 9998 clauses out of 20008 with flag 835000/2488362
1202.20/650.76	c cleaning 10003 clauses out of 20012 with flag 845002/2498364
1209.13/654.66	c cleaning 9998 clauses out of 20008 with flag 855001/2508363
1215.92/658.36	c cleaning 9999 clauses out of 20010 with flag 865001/2518363
1222.71/662.04	c cleaning 9999 clauses out of 20012 with flag 875002/2528364
1228.91/665.45	c cleaning 10001 clauses out of 20012 with flag 885001/2538363
1233.80/668.30	c cleaning 10002 clauses out of 20011 with flag 895001/2548363
1238.40/670.94	c cleaning 9997 clauses out of 20008 with flag 905000/2558362
1243.15/673.66	c cleaning 10001 clauses out of 20012 with flag 915001/2568363
1247.92/676.35	c cleaning 10001 clauses out of 20010 with flag 925000/2578362
1253.09/679.31	c cleaning 10000 clauses out of 20009 with flag 935000/2588362
1257.68/681.96	c cleaning 9994 clauses out of 20011 with flag 945002/2598364
1262.63/684.71	c cleaning 9996 clauses out of 20015 with flag 955000/2608362
1267.20/687.39	c cleaning 10004 clauses out of 20020 with flag 965001/2618363
1272.12/690.28	c cleaning 10002 clauses out of 20015 with flag 975000/2628362
1277.11/693.08	c cleaning 10000 clauses out of 20014 with flag 985001/2638363
1281.84/695.72	c cleaning 9999 clauses out of 20013 with flag 995000/2648362
1286.40/698.41	c cleaning 9998 clauses out of 20014 with flag 1005000/2658362
1291.34/701.27	c cleaning 10001 clauses out of 20016 with flag 1015000/2668362
1295.91/703.84	c cleaning 10002 clauses out of 20016 with flag 1025001/2678363
1300.67/706.52	c cleaning 10005 clauses out of 20015 with flag 1035002/2688364
1305.42/709.21	c cleaning 10000 clauses out of 20009 with flag 1045001/2698363
1310.35/712.15	c cleaning 9999 clauses out of 20011 with flag 1055003/2708365
1315.09/714.84	c cleaning 10001 clauses out of 20010 with flag 1065001/2718363
1319.84/717.55	c cleaning 9996 clauses out of 20008 with flag 1075000/2728362
1324.59/720.26	c cleaning 9996 clauses out of 20012 with flag 1085000/2738362
1330.25/723.53	c cleaning 9999 clauses out of 20016 with flag 1095000/2748362
1335.80/726.62	c cleaning 10003 clauses out of 20018 with flag 1105001/2758363
1340.94/729.57	c cleaning 9998 clauses out of 20014 with flag 1115000/2768362
1346.10/732.49	c cleaning 9997 clauses out of 20016 with flag 1125000/2778362
1351.61/735.60	c cleaning 10000 clauses out of 20020 with flag 1135001/2788363
1356.55/738.46	c cleaning 9998 clauses out of 20019 with flag 1145000/2798362
1361.90/741.42	c cleaning 9997 clauses out of 20021 with flag 1155000/2808362
1367.03/744.33	c cleaning 10000 clauses out of 20024 with flag 1165000/2818362
1372.28/747.49	c cleaning 10003 clauses out of 20024 with flag 1175000/2828362
1377.03/750.17	c cleaning 10002 clauses out of 20021 with flag 1185000/2838362
1382.15/753.01	c cleaning 10007 clauses out of 20021 with flag 1195002/2848364
1386.90/755.75	c cleaning 9995 clauses out of 20012 with flag 1205000/2858362
1391.92/758.78	c cleaning 9999 clauses out of 20019 with flag 1215002/2868364
1397.04/761.62	c cleaning 10000 clauses out of 20020 with flag 1225002/2878364
1402.19/764.55	c cleaning 10005 clauses out of 20019 with flag 1235001/2888363
1407.10/767.33	c cleaning 9996 clauses out of 20014 with flag 1245001/2898363
1412.34/770.44	c cleaning 10003 clauses out of 20017 with flag 1255000/2908362
1417.28/773.22	c cleaning 9999 clauses out of 20015 with flag 1265001/2918363
1422.19/776.02	c cleaning 10007 clauses out of 20017 with flag 1275002/2928364
1427.14/778.84	c cleaning 9997 clauses out of 20011 with flag 1285003/2938365
1432.35/781.98	c cleaning 9995 clauses out of 20013 with flag 1295002/2948364
1437.28/784.78	c cleaning 10000 clauses out of 20018 with flag 1305002/2958364
1442.00/787.48	c cleaning 9997 clauses out of 20017 with flag 1315001/2968363
1446.93/790.22	c cleaning 10003 clauses out of 20019 with flag 1325000/2978362
1451.95/793.21	c cleaning 10003 clauses out of 20016 with flag 1335000/2988362
1456.47/795.84	c cleaning 10002 clauses out of 20013 with flag 1345000/2998362
1460.79/798.32	c cleaning 10001 clauses out of 20011 with flag 1355000/3008362
1465.31/800.95	c cleaning 10001 clauses out of 20011 with flag 1365001/3018363
1470.13/803.84	c cleaning 10000 clauses out of 20010 with flag 1375001/3028363
1474.65/806.44	c cleaning 9999 clauses out of 20010 with flag 1385001/3038363
1479.77/809.37	c cleaning 9998 clauses out of 20010 with flag 1395000/3048362
1484.88/812.23	c cleaning 9999 clauses out of 20012 with flag 1405000/3058362
1489.99/815.27	c cleaning 10002 clauses out of 20013 with flag 1415000/3068362
1494.90/818.02	c cleaning 9999 clauses out of 20012 with flag 1425001/3078363
1499.62/820.77	c cleaning 10000 clauses out of 20012 with flag 1435000/3088362
1504.54/823.54	c cleaning 9998 clauses out of 20012 with flag 1445000/3098362
1509.55/826.57	c cleaning 10002 clauses out of 20014 with flag 1455000/3108362
1513.86/829.06	c cleaning 10003 clauses out of 20012 with flag 1465000/3118362
1518.20/831.58	c cleaning 10001 clauses out of 20012 with flag 1475003/3128365
1522.70/834.15	c cleaning 10001 clauses out of 20012 with flag 1485004/3138366
1527.21/836.87	c cleaning 9997 clauses out of 20008 with flag 1495001/3148363
1531.73/839.47	c cleaning 10003 clauses out of 20012 with flag 1505002/3158364
1536.44/842.17	c cleaning 9997 clauses out of 20007 with flag 1515000/3168362
1540.98/844.80	c cleaning 10002 clauses out of 20011 with flag 1525001/3178363
1546.37/847.94	c cleaning 9999 clauses out of 20010 with flag 1535002/3188364
1551.48/850.85	c cleaning 10001 clauses out of 20009 with flag 1545000/3198362
1556.59/853.70	c cleaning 9996 clauses out of 20008 with flag 1555000/3208362
1561.51/856.52	c cleaning 10002 clauses out of 20012 with flag 1565000/3218362
1566.77/859.60	c cleaning 9998 clauses out of 20011 with flag 1575001/3228363
1571.70/862.44	c cleaning 10002 clauses out of 20014 with flag 1585002/3238364
1576.59/865.29	c cleaning 10002 clauses out of 20011 with flag 1595001/3248363
1581.91/868.25	c cleaning 9996 clauses out of 20008 with flag 1605000/3258362
1587.52/871.51	c cleaning 10004 clauses out of 20013 with flag 1615001/3268363
1592.42/874.34	c cleaning 9999 clauses out of 20009 with flag 1625001/3278363
1597.54/877.26	c cleaning 10002 clauses out of 20009 with flag 1635000/3288362
1602.85/880.29	c cleaning 9998 clauses out of 20010 with flag 1645003/3298365
1608.65/883.60	c cleaning 9999 clauses out of 20010 with flag 1655001/3308363
1613.99/886.65	c cleaning 10001 clauses out of 20013 with flag 1665003/3318365
1619.48/889.75	c cleaning 10003 clauses out of 20013 with flag 1675004/3328366
1624.99/892.81	c cleaning 9997 clauses out of 20008 with flag 1685002/3338364
1630.59/896.17	c cleaning 9998 clauses out of 20009 with flag 1695000/3348362
1636.08/899.29	c cleaning 9998 clauses out of 20012 with flag 1705001/3358363
1641.79/902.47	c cleaning 9999 clauses out of 20013 with flag 1715000/3368362
1647.49/905.61	c cleaning 10006 clauses out of 20017 with flag 1725003/3378365
1653.29/909.07	c cleaning 9995 clauses out of 20009 with flag 1735001/3388363
1659.19/912.31	c cleaning 10002 clauses out of 20013 with flag 1745000/3398362
1664.49/915.39	c cleaning 9999 clauses out of 20011 with flag 1755000/3408362
1670.01/918.50	c cleaning 10005 clauses out of 20016 with flag 1765004/3418366
1675.18/921.59	c cleaning 9997 clauses out of 20008 with flag 1775001/3428363
1680.28/924.47	c cleaning 10002 clauses out of 20013 with flag 1785003/3438365
1685.40/927.39	c cleaning 9998 clauses out of 20008 with flag 1795000/3448362
1690.66/930.36	c cleaning 9996 clauses out of 20010 with flag 1805000/3458362
1696.24/933.64	c cleaning 10003 clauses out of 20015 with flag 1815001/3468363
1701.53/936.69	c cleaning 10000 clauses out of 20012 with flag 1825001/3478363
1707.21/939.80	c cleaning 9998 clauses out of 20011 with flag 1835000/3488362
1712.51/942.87	c cleaning 10004 clauses out of 20014 with flag 1845001/3498363
1718.47/946.32	c cleaning 9996 clauses out of 20009 with flag 1855000/3508362
1723.95/949.46	c cleaning 9998 clauses out of 20013 with flag 1865000/3518362
1729.45/952.61	c cleaning 10005 clauses out of 20015 with flag 1875000/3528362
1734.70/955.53	c cleaning 9998 clauses out of 20010 with flag 1885000/3538362
1740.25/958.83	c cleaning 9998 clauses out of 20012 with flag 1895000/3548362
1745.52/961.87	c cleaning 10002 clauses out of 20014 with flag 1905000/3558362
1750.99/964.94	c cleaning 9999 clauses out of 20013 with flag 1915001/3568363
1756.66/968.10	c cleaning 9999 clauses out of 20013 with flag 1925000/3578362
1762.02/971.31	c cleaning 10004 clauses out of 20018 with flag 1935004/3588366
1767.65/974.45	c cleaning 9998 clauses out of 20011 with flag 1945001/3598363
1773.30/977.63	c cleaning 10004 clauses out of 20018 with flag 1955006/3608368
1778.95/980.86	c cleaning 9993 clauses out of 20008 with flag 1965000/3618362
1785.09/984.46	c cleaning 10002 clauses out of 20016 with flag 1975001/3628363
1790.51/987.55	c cleaning 10003 clauses out of 20013 with flag 1985000/3638362
1795.76/990.53	c cleaning 10000 clauses out of 20010 with flag 1995000/3648362
1800.21/993.12	c starts		: 27
1800.21/993.12	c conflicts		: 4769
1800.21/993.12	c decisions		: 51730
1800.21/993.12	c propagations		: 220678
1800.21/993.12	c inspects		: 48216315
1800.21/993.12	c shortcuts		: 0
1800.21/993.12	c learnt literals	: 0
1800.21/993.12	c learnt binary clauses	: 0
1800.21/993.12	c learnt ternary clauses	: 65
1800.21/993.12	c learnt constraints	: 4768
1800.21/993.12	c ignored constraints	: 0
1800.21/993.12	c root simplifications	: 0
1800.21/993.12	c removed literals (reason simplification)	: 0
1800.21/993.12	c reason swapping (by a shorter reason)	: 0
1800.21/993.12	c Calls to reduceDB	: 0
1800.21/993.12	c number of reductions to clauses (during analyze)	: 0
1800.21/993.12	c number of learned constraints concerned by reduction	: 0
1800.21/993.12	c number of learning phase by resolution	: 0
1800.21/993.12	c number of learning phase by cutting planes	: 0
1800.21/993.12	c speed (assignments/second)	: 377.28023415247947
1800.21/993.12	c non guided choices	60
1800.21/993.12	c learnt constraints type 
1800.21/993.12	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 65
1800.21/993.12	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 56
1800.21/993.12	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4647
1800.21/993.12	c constraints type 
1800.21/993.12	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 377
1800.21/993.12	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1
1800.21/993.12	c org.sat4j.minisat.constraints.card.MinWatchCard => 402
1800.21/993.12	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 360
1800.21/993.12	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.21/993.12	c constraints type 
1800.21/993.12	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 360
1800.21/993.12	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 377
1800.21/993.12	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 402
1800.21/993.12	c org.sat4j.pb.constraints.pb.UnitClausesPB => 1
1800.21/993.12	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1
1800.21/993.12	s SATISFIABLE
1800.21/993.14	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 
1800.21/993.14	c objective function=814
1800.21/993.14	c Total wall clock time (in seconds): 993.038

Verifier Data 

OK	814

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

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

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

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


[startup+0 s]
/proc/loadavg: 3.42 3.42 2.97 3/394 21842
/proc/meminfo: memFree=22277876/32951124 swapFree=37148216/67111528
[pid=21842] ppid=21840 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21842/stat : 21842 (java) S 21840 21842 19222 0 -1 4202496 3439 0 1 0 0 0 0 0 25 0 2 0 830540922 10694979584 3142 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820968421 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/21842/statm: 2611079 3156 917 9 0 2602235 0
[pid=21842/tid=21843] ppid=21840 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21843/stat : 21843 (java) R 21840 21842 19222 0 -1 4202560 4086 0 1 0 0 0 0 0 25 0 2 0 830540922 10694979584 4902 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230808859707 0 4 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.090341 s]
/proc/loadavg: 3.42 3.42 2.97 3/394 21842
/proc/meminfo: memFree=22277876/32951124 swapFree=37148216/67111528
[pid=21842] ppid=21840 vsize=10539548 CPUtime=0.09 cores=1,3,5,7
/proc/21842/stat : 21842 (java) S 21840 21842 19222 0 -1 4202496 12964 0 1 0 7 2 0 0 25 0 18 0 830540922 10792497152 12632 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21842/statm: 2634887 12633 2092 9 0 2625621 0
[pid=21842/tid=21843] ppid=21840 vsize=10539548 CPUtime=0.07 cores=1,3,5,7
/proc/21842/task/21843/stat : 21843 (java) R 21840 21842 19222 0 -1 4202560 11021 0 1 0 6 1 0 0 18 0 18 0 830540922 10792497152 12633 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 47600442448723 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539548

[startup+0.100335 s]
/proc/loadavg: 3.42 3.42 2.97 3/394 21842
/proc/meminfo: memFree=22277876/32951124 swapFree=37148216/67111528
[pid=21842] ppid=21840 vsize=10539680 CPUtime=0.1 cores=1,3,5,7
/proc/21842/stat : 21842 (java) S 21840 21842 19222 0 -1 4202496 13109 0 1 0 8 2 0 0 25 0 18 0 830540922 10792632320 12777 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21842/statm: 2634920 12777 2092 9 0 2625654 0
[pid=21842/tid=21843] ppid=21840 vsize=10539680 CPUtime=0.08 cores=1,3,5,7
/proc/21842/task/21843/stat : 21843 (java) R 21840 21842 19222 0 -1 4202560 11165 0 1 0 7 1 0 0 18 0 18 0 830540922 10792632320 12777 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820992459 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539680

[startup+0.300265 s]
/proc/loadavg: 3.42 3.42 2.97 3/394 21842
/proc/meminfo: memFree=22277876/32951124 swapFree=37148216/67111528
[pid=21842] ppid=21840 vsize=10542144 CPUtime=0.52 cores=1,3,5,7
/proc/21842/stat : 21842 (java) S 21840 21842 19222 0 -1 4202496 18572 0 1 0 50 2 0 0 25 0 20 0 830540922 10795155456 17733 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21842/statm: 2635536 17733 2212 9 0 2626270 0
[pid=21842/tid=21843] ppid=21840 vsize=10542144 CPUtime=0.28 cores=1,3,5,7
/proc/21842/task/21843/stat : 21843 (java) S 21840 21842 19222 0 -1 4202560 15282 0 1 0 26 2 0 0 19 0 20 0 830540922 10795155456 17733 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10542144

[startup+0.700249 s]
/proc/loadavg: 3.42 3.42 2.97 3/394 21842
/proc/meminfo: memFree=22277876/32951124 swapFree=37148216/67111528
[pid=21842] ppid=21840 vsize=10545236 CPUtime=0.95 cores=1,3,5,7
/proc/21842/stat : 21842 (java) S 21840 21842 19222 0 -1 4202496 20006 0 1 0 93 2 0 0 25 0 19 0 830540922 10798321664 18441 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21842/statm: 2636309 18441 2223 9 0 2627043 0
[pid=21842/tid=21843] ppid=21840 vsize=10545236 CPUtime=0.28 cores=1,3,5,7
/proc/21842/task/21843/stat : 21843 (java) S 21840 21842 19222 0 -1 4202560 15282 0 1 0 26 2 0 0 19 0 19 0 830540922 10798321664 18441 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 10545236

[startup+1.50108 s]
/proc/loadavg: 3.42 3.42 2.97 7/416 21867
/proc/meminfo: memFree=22201820/32951124 swapFree=37148216/67111528
[pid=21842] ppid=21840 vsize=10552436 CPUtime=3.01 cores=1,3,5,7
/proc/21842/stat : 21842 (java) S 21840 21842 19222 0 -1 4202496 31917 0 1 0 297 4 0 0 25 0 22 0 830540922 10805694464 25738 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21842/statm: 2638109 25738 2232 9 0 2628843 0
[pid=21842/tid=21843] ppid=21840 vsize=10552436 CPUtime=0.31 cores=1,3,5,7
/proc/21842/task/21843/stat : 21843 (java) S 21840 21842 19222 0 -1 4202560 15471 0 1 0 29 2 0 0 15 0 22 0 830540922 10805694464 25739 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0
[pid=21842/tid=21845] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21845/stat : 21845 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830540924 10805694464 25739 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0
[pid=21842/tid=21846] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21846/stat : 21846 (java) S 21840 21842 19222 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830540924 10805694464 25739 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0
[pid=21842/tid=21847] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21847/stat : 21847 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830540924 10805694464 25739 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0
[pid=21842/tid=21848] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21848/stat : 21848 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830540924 10805694464 25739 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0
[pid=21842/tid=21849] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21849/stat : 21849 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830540924 10805694464 25739 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0
[pid=21842/tid=21850] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21850/stat : 21850 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830540924 10805694464 25739 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0
[pid=21842/tid=21851] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21851/stat : 21851 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830540924 10805694464 25739 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0
[pid=21842/tid=21852] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21852/stat : 21852 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830540924 10805694464 25740 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0
[pid=21842/tid=21853] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21853/stat : 21853 (java) S 21840 21842 19222 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 830540925 10805694464 25740 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 0 0 16800975 18446604460655310016 0 0 -1 7 0 0 0
[pid=21842/tid=21854] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21854/stat : 21854 (java) S 21840 21842 19222 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830540925 10805694464 25740 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0
[pid=21842/tid=21855] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21855/stat : 21855 (java) S 21840 21842 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830540925 10805694464 25740 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0
[pid=21842/tid=21856] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21856/stat : 21856 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830540928 10805694464 25740 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820989361 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0
[pid=21842/tid=21857] ppid=21840 vsize=10552436 CPUtime=0.55 cores=1,3,5,7
/proc/21842/task/21857/stat : 21857 (java) S 21840 21842 19222 0 -1 4202560 7254 0 0 0 55 0 0 0 19 0 22 0 830540928 10805694464 25740 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0
[pid=21842/tid=21858] ppid=21840 vsize=10552436 CPUtime=0.59 cores=1,3,5,7
/proc/21842/task/21858/stat : 21858 (java) S 21840 21842 19222 0 -1 4202560 2361 0 0 0 59 0 0 0 15 0 22 0 830540928 10805694464 25740 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0
[pid=21842/tid=21859] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21859/stat : 21859 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830540928 10805694464 25740 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0
[pid=21842/tid=21860] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21860/stat : 21860 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830540928 10805694464 25740 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0
[pid=21842/tid=21864] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21864/stat : 21864 (java) S 21840 21842 19222 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830540953 10805694464 25741 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0
[pid=21842/tid=21865] ppid=21840 vsize=10552436 CPUtime=0.66 cores=1,3,5,7
/proc/21842/task/21865/stat : 21865 (java) R 21840 21842 19222 0 -1 4202560 1124 0 0 0 66 0 0 0 18 0 22 0 830541005 10805694464 25742 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 47600442448723 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21842/tid=21866] ppid=21840 vsize=10552436 CPUtime=0.64 cores=1,3,5,7
/proc/21842/task/21866/stat : 21866 (java) R 21840 21842 19222 0 -1 4202560 4184 0 0 0 64 0 0 0 19 0 22 0 830541005 10805694464 25742 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 46912505916536 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21842/tid=21867] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21867/stat : 21867 (java) S 21840 21842 19222 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830541006 10805694464 25742 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 10552436

[startup+3.10079 s]
/proc/loadavg: 3.42 3.42 2.97 7/416 21867
/proc/meminfo: memFree=22146392/32951124 swapFree=37148216/67111528
[pid=21842] ppid=21840 vsize=10552436 CPUtime=6.36 cores=1,3,5,7
/proc/21842/stat : 21842 (java) S 21840 21842 19222 0 -1 4202496 58102 0 1 0 628 8 0 0 25 0 22 0 830540922 10805694464 50561 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21842/statm: 2638109 50561 2258 9 0 2628843 0
[pid=21842/tid=21843] ppid=21840 vsize=10552436 CPUtime=0.31 cores=1,3,5,7
/proc/21842/task/21843/stat : 21843 (java) S 21840 21842 19222 0 -1 4202560 15471 0 1 0 29 2 0 0 15 0 22 0 830540922 10805694464 50561 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0
[pid=21842/tid=21845] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21845/stat : 21845 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830540924 10805694464 50561 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0
[pid=21842/tid=21846] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21846/stat : 21846 (java) S 21840 21842 19222 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830540924 10805694464 50561 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0
[pid=21842/tid=21847] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21847/stat : 21847 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830540924 10805694464 50561 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0
[pid=21842/tid=21848] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21848/stat : 21848 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830540924 10805694464 50561 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0
[pid=21842/tid=21849] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21849/stat : 21849 (java) S 21840 21842 19222 0 -1 4202560 144 0 0 0 0 0 0 0 18 0 22 0 830540924 10805694464 50562 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0
[pid=21842/tid=21850] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21850/stat : 21850 (java) S 21840 21842 19222 0 -1 4202560 1031 0 0 0 0 0 0 0 18 0 22 0 830540924 10805694464 50562 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0
[pid=21842/tid=21851] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21851/stat : 21851 (java) S 21840 21842 19222 0 -1 4202560 1055 0 0 0 0 0 0 0 18 0 22 0 830540924 10805694464 50562 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0
[pid=21842/tid=21852] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21852/stat : 21852 (java) S 21840 21842 19222 0 -1 4202560 533 0 0 0 0 0 0 0 18 0 22 0 830540924 10805694464 50562 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0
[pid=21842/tid=21853] ppid=21840 vsize=10552436 CPUtime=0.02 cores=1,3,5,7
/proc/21842/task/21853/stat : 21853 (java) S 21840 21842 19222 0 -1 4202560 2682 0 0 0 2 0 0 0 15 0 22 0 830540925 10805694464 50562 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 0 0 16800975 18446604460655310016 0 0 -1 5 0 0 0
[pid=21842/tid=21854] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21854/stat : 21854 (java) S 21840 21842 19222 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830540925 10805694464 50562 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0
[pid=21842/tid=21855] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21855/stat : 21855 (java) S 21840 21842 19222 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830540925 10805694464 50562 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0
[pid=21842/tid=21856] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21856/stat : 21856 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830540928 10805694464 50562 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820989361 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0
[pid=21842/tid=21857] ppid=21840 vsize=10552436 CPUtime=0.7 cores=1,3,5,7
/proc/21842/task/21857/stat : 21857 (java) S 21840 21842 19222 0 -1 4202560 8636 0 0 0 69 1 0 0 15 0 22 0 830540928 10805694464 50562 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0
[pid=21842/tid=21858] ppid=21840 vsize=10552436 CPUtime=0.62 cores=1,3,5,7
/proc/21842/task/21858/stat : 21858 (java) S 21840 21842 19222 0 -1 4202560 2369 0 0 0 62 0 0 0 16 0 22 0 830540928 10805694464 50562 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0
[pid=21842/tid=21859] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21859/stat : 21859 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830540928 10805694464 50562 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0
[pid=21842/tid=21860] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21860/stat : 21860 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830540928 10805694464 50562 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0
[pid=21842/tid=21864] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21864/stat : 21864 (java) S 21840 21842 19222 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830540953 10805694464 50562 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0
[pid=21842/tid=21865] ppid=21840 vsize=10552436 CPUtime=2.22 cores=1,3,5,7
/proc/21842/task/21865/stat : 21865 (java) R 21840 21842 19222 0 -1 4202560 4730 0 0 0 221 1 0 0 20 0 22 0 830541005 10805694464 50562 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 46912506141131 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21842/tid=21866] ppid=21840 vsize=10552436 CPUtime=2.21 cores=1,3,5,7
/proc/21842/task/21866/stat : 21866 (java) R 21840 21842 19222 0 -1 4202560 19929 0 0 0 219 2 0 0 24 0 22 0 830541005 10805694464 50563 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 46912505765719 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21842/tid=21867] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21867/stat : 21867 (java) S 21840 21842 19222 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830541006 10805694464 50563 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.36
Current children cumulated vsize (KiB) 10552436

[startup+6.30117 s]
/proc/loadavg: 3.39 3.41 2.97 7/416 21870
/proc/meminfo: memFree=21994192/32951124 swapFree=37148216/67111528
[pid=21842] ppid=21840 vsize=10552436 CPUtime=12.8 cores=1,3,5,7
/proc/21842/stat : 21842 (java) S 21840 21842 19222 0 -1 4202496 91018 0 1 0 1267 13 0 0 25 0 22 0 830540922 10805694464 82924 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21842/statm: 2638109 82924 2258 9 0 2628843 0
[pid=21842/tid=21843] ppid=21840 vsize=10552436 CPUtime=0.32 cores=1,3,5,7
/proc/21842/task/21843/stat : 21843 (java) S 21840 21842 19222 0 -1 4202560 15472 0 1 0 30 2 0 0 15 0 22 0 830540922 10805694464 82924 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0
[pid=21842/tid=21845] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21845/stat : 21845 (java) S 21840 21842 19222 0 -1 4202560 1304 0 0 0 0 0 0 0 18 0 22 0 830540924 10805694464 82924 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0
[pid=21842/tid=21846] ppid=21840 vsize=10552436 CPUtime=0.01 cores=1,3,5,7
/proc/21842/task/21846/stat : 21846 (java) S 21840 21842 19222 0 -1 4202560 1660 0 0 0 1 0 0 0 16 0 22 0 830540924 10805694464 82924 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0
[pid=21842/tid=21847] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21847/stat : 21847 (java) S 21840 21842 19222 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 22 0 830540924 10805694464 82924 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0
[pid=21842/tid=21848] ppid=21840 vsize=10552436 CPUtime=0.01 cores=1,3,5,7
/proc/21842/task/21848/stat : 21848 (java) S 21840 21842 19222 0 -1 4202560 2520 0 0 0 1 0 0 0 18 0 22 0 830540924 10805694464 82924 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0
[pid=21842/tid=21849] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21849/stat : 21849 (java) S 21840 21842 19222 0 -1 4202560 144 0 0 0 0 0 0 0 15 0 22 0 830540924 10805694464 82924 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0
[pid=21842/tid=21850] ppid=21840 vsize=10552436 CPUtime=0.01 cores=1,3,5,7
/proc/21842/task/21850/stat : 21850 (java) S 21840 21842 19222 0 -1 4202560 1348 0 0 0 1 0 0 0 16 0 22 0 830540924 10805694464 82924 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0
[pid=21842/tid=21851] ppid=21840 vsize=10552436 CPUtime=0.01 cores=1,3,5,7
/proc/21842/task/21851/stat : 21851 (java) S 21840 21842 19222 0 -1 4202560 3356 0 0 0 1 0 0 0 15 0 22 0 830540924 10805694464 82924 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0
[pid=21842/tid=21852] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21852/stat : 21852 (java) S 21840 21842 19222 0 -1 4202560 715 0 0 0 0 0 0 0 16 0 22 0 830540924 10805694464 82924 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0

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

[startup+882.301 s]
/proc/loadavg: 3.55 3.65 3.39 5/416 21905
/proc/meminfo: memFree=19837108/32951124 swapFree=37148216/67111528
[pid=21842] ppid=21840 vsize=10550348 CPUtime=1606.05 cores=1,3,5,7
/proc/21842/stat : 21842 (java) S 21840 21842 19222 0 -1 4202496 568166 0 1 0 160539 66 0 0 25 0 22 0 830540922 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21842/statm: 2637587 558282 2260 9 0 2628321 0
[pid=21842/tid=21843] ppid=21840 vsize=10550348 CPUtime=0.36 cores=1,3,5,7
/proc/21842/task/21843/stat : 21843 (java) S 21840 21842 19222 0 -1 4202560 15706 0 1 0 34 2 0 0 15 0 22 0 830540922 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0
[pid=21842/tid=21845] ppid=21840 vsize=10550348 CPUtime=1.24 cores=1,3,5,7
/proc/21842/task/21845/stat : 21845 (java) S 21840 21842 19222 0 -1 4202560 1354 0 0 0 124 0 0 0 16 0 22 0 830540924 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0
[pid=21842/tid=21846] ppid=21840 vsize=10550348 CPUtime=1.28 cores=1,3,5,7
/proc/21842/task/21846/stat : 21846 (java) S 21840 21842 19222 0 -1 4202560 1833 0 0 0 128 0 0 0 16 0 22 0 830540924 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0
[pid=21842/tid=21847] ppid=21840 vsize=10550348 CPUtime=1.39 cores=1,3,5,7
/proc/21842/task/21847/stat : 21847 (java) S 21840 21842 19222 0 -1 4202560 258 0 0 0 139 0 0 0 16 0 22 0 830540924 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0
[pid=21842/tid=21848] ppid=21840 vsize=10550348 CPUtime=1.37 cores=1,3,5,7
/proc/21842/task/21848/stat : 21848 (java) S 21840 21842 19222 0 -1 4202560 3106 0 0 0 137 0 0 0 15 0 22 0 830540924 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0
[pid=21842/tid=21849] ppid=21840 vsize=10550348 CPUtime=1.29 cores=1,3,5,7
/proc/21842/task/21849/stat : 21849 (java) S 21840 21842 19222 0 -1 4202560 381 0 0 0 129 0 0 0 15 0 22 0 830540924 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0
[pid=21842/tid=21850] ppid=21840 vsize=10550348 CPUtime=1.46 cores=1,3,5,7
/proc/21842/task/21850/stat : 21850 (java) S 21840 21842 19222 0 -1 4202560 2019 0 0 0 146 0 0 0 15 0 22 0 830540924 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0
[pid=21842/tid=21851] ppid=21840 vsize=10550348 CPUtime=1.4 cores=1,3,5,7
/proc/21842/task/21851/stat : 21851 (java) S 21840 21842 19222 0 -1 4202560 4048 0 0 0 140 0 0 0 15 0 22 0 830540924 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0
[pid=21842/tid=21852] ppid=21840 vsize=10550348 CPUtime=1.34 cores=1,3,5,7
/proc/21842/task/21852/stat : 21852 (java) S 21840 21842 19222 0 -1 4202560 1151 0 0 0 134 0 0 0 16 0 22 0 830540924 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0
[pid=21842/tid=21853] ppid=21840 vsize=10550348 CPUtime=160.51 cores=1,3,5,7
/proc/21842/task/21853/stat : 21853 (java) S 21840 21842 19222 0 -1 4202560 98443 0 0 0 16036 15 0 0 16 0 22 0 830540925 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 0 0 16800975 18446604460655310016 0 0 -1 3 0 0 0
[pid=21842/tid=21854] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21854/stat : 21854 (java) S 21840 21842 19222 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 830540925 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0
[pid=21842/tid=21855] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21855/stat : 21855 (java) S 21840 21842 19222 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 830540925 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0
[pid=21842/tid=21856] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21856/stat : 21856 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830540928 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820989361 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0
[pid=21842/tid=21857] ppid=21840 vsize=10550348 CPUtime=1.11 cores=1,3,5,7
/proc/21842/task/21857/stat : 21857 (java) S 21840 21842 19222 0 -1 4202560 11296 0 0 0 110 1 0 0 15 0 22 0 830540928 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0
[pid=21842/tid=21858] ppid=21840 vsize=10550348 CPUtime=0.76 cores=1,3,5,7
/proc/21842/task/21858/stat : 21858 (java) S 21840 21842 19222 0 -1 4202560 2408 0 0 0 76 0 0 0 15 0 22 0 830540928 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0
[pid=21842/tid=21859] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21859/stat : 21859 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830540928 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0
[pid=21842/tid=21860] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21860/stat : 21860 (java) S 21840 21842 19222 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 830540928 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0
[pid=21842/tid=21867] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21867/stat : 21867 (java) S 21840 21842 19222 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830541006 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0
[pid=21842/tid=21891] ppid=21840 vsize=10550348 CPUtime=362.35 cores=1,3,5,7
/proc/21842/task/21891/stat : 21891 (java) R 21840 21842 19222 0 -1 4202560 126 0 0 0 36235 0 0 0 19 0 22 0 830581743 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 46912505960619 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21842/tid=21892] ppid=21840 vsize=10550348 CPUtime=362.36 cores=1,3,5,7
/proc/21842/task/21892/stat : 21892 (java) R 21840 21842 19222 0 -1 4202560 24352 0 0 0 36235 1 0 0 19 0 22 0 830581743 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 46912505820030 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21842/tid=21893] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21893/stat : 21893 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830581743 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1606.05
Current children cumulated vsize (KiB) 10550348

[startup+942.301 s]
/proc/loadavg: 3.63 3.65 3.40 5/416 21907
/proc/meminfo: memFree=19823560/32951124 swapFree=37148216/67111528
[pid=21842] ppid=21840 vsize=10550348 CPUtime=1711.51 cores=1,3,5,7
/proc/21842/stat : 21842 (java) S 21840 21842 19222 0 -1 4202496 570433 0 1 0 171084 67 0 0 25 0 22 0 830540922 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21842/statm: 2637587 560522 2260 9 0 2628321 0
[pid=21842/tid=21843] ppid=21840 vsize=10550348 CPUtime=0.36 cores=1,3,5,7
/proc/21842/task/21843/stat : 21843 (java) S 21840 21842 19222 0 -1 4202560 15721 0 1 0 34 2 0 0 15 0 22 0 830540922 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0
[pid=21842/tid=21845] ppid=21840 vsize=10550348 CPUtime=1.34 cores=1,3,5,7
/proc/21842/task/21845/stat : 21845 (java) S 21840 21842 19222 0 -1 4202560 1354 0 0 0 134 0 0 0 16 0 22 0 830540924 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0
[pid=21842/tid=21846] ppid=21840 vsize=10550348 CPUtime=1.39 cores=1,3,5,7
/proc/21842/task/21846/stat : 21846 (java) S 21840 21842 19222 0 -1 4202560 1839 0 0 0 139 0 0 0 16 0 22 0 830540924 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0
[pid=21842/tid=21847] ppid=21840 vsize=10550348 CPUtime=1.53 cores=1,3,5,7
/proc/21842/task/21847/stat : 21847 (java) S 21840 21842 19222 0 -1 4202560 262 0 0 0 153 0 0 0 16 0 22 0 830540924 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0
[pid=21842/tid=21848] ppid=21840 vsize=10550348 CPUtime=1.44 cores=1,3,5,7
/proc/21842/task/21848/stat : 21848 (java) S 21840 21842 19222 0 -1 4202560 3106 0 0 0 144 0 0 0 16 0 22 0 830540924 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0
[pid=21842/tid=21849] ppid=21840 vsize=10550348 CPUtime=1.39 cores=1,3,5,7
/proc/21842/task/21849/stat : 21849 (java) S 21840 21842 19222 0 -1 4202560 381 0 0 0 139 0 0 0 15 0 22 0 830540924 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0
[pid=21842/tid=21850] ppid=21840 vsize=10550348 CPUtime=1.58 cores=1,3,5,7
/proc/21842/task/21850/stat : 21850 (java) S 21840 21842 19222 0 -1 4202560 2019 0 0 0 158 0 0 0 16 0 22 0 830540924 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0
[pid=21842/tid=21851] ppid=21840 vsize=10550348 CPUtime=1.54 cores=1,3,5,7
/proc/21842/task/21851/stat : 21851 (java) S 21840 21842 19222 0 -1 4202560 4048 0 0 0 153 1 0 0 15 0 22 0 830540924 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0
[pid=21842/tid=21852] ppid=21840 vsize=10550348 CPUtime=1.45 cores=1,3,5,7
/proc/21842/task/21852/stat : 21852 (java) S 21840 21842 19222 0 -1 4202560 1154 0 0 0 145 0 0 0 16 0 22 0 830540924 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0
[pid=21842/tid=21853] ppid=21840 vsize=10550348 CPUtime=175.43 cores=1,3,5,7
/proc/21842/task/21853/stat : 21853 (java) S 21840 21842 19222 0 -1 4202560 100674 0 0 0 17528 15 0 0 15 0 22 0 830540925 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 0 0 16800975 18446604460655310016 0 0 -1 7 0 0 0
[pid=21842/tid=21854] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21854/stat : 21854 (java) S 21840 21842 19222 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 830540925 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0
[pid=21842/tid=21855] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21855/stat : 21855 (java) S 21840 21842 19222 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 830540925 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0
[pid=21842/tid=21856] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21856/stat : 21856 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830540928 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820989361 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0
[pid=21842/tid=21857] ppid=21840 vsize=10550348 CPUtime=1.11 cores=1,3,5,7
/proc/21842/task/21857/stat : 21857 (java) S 21840 21842 19222 0 -1 4202560 11296 0 0 0 110 1 0 0 15 0 22 0 830540928 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0
[pid=21842/tid=21858] ppid=21840 vsize=10550348 CPUtime=0.76 cores=1,3,5,7
/proc/21842/task/21858/stat : 21858 (java) S 21840 21842 19222 0 -1 4202560 2408 0 0 0 76 0 0 0 15 0 22 0 830540928 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0
[pid=21842/tid=21859] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21859/stat : 21859 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830540928 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0
[pid=21842/tid=21860] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21860/stat : 21860 (java) S 21840 21842 19222 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 830540928 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0
[pid=21842/tid=21867] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21867/stat : 21867 (java) S 21840 21842 19222 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830541006 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0
[pid=21842/tid=21891] ppid=21840 vsize=10550348 CPUtime=407.18 cores=1,3,5,7
/proc/21842/task/21891/stat : 21891 (java) R 21840 21842 19222 0 -1 4202560 130 0 0 0 40718 0 0 0 17 0 22 0 830581743 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 46912505892570 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21842/tid=21892] ppid=21840 vsize=10550348 CPUtime=407.19 cores=1,3,5,7
/proc/21842/task/21892/stat : 21892 (java) R 21840 21842 19222 0 -1 4202560 24352 0 0 0 40718 1 0 0 17 0 22 0 830581743 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 46912505915261 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21842/tid=21893] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21893/stat : 21893 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830581743 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1711.51
Current children cumulated vsize (KiB) 10550348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+993.101 s]
/proc/loadavg: 3.68 3.65 3.41 5/416 21959
/proc/meminfo: memFree=17304960/32951124 swapFree=37148216/67111528
[pid=21842] ppid=21840 vsize=10550348 CPUtime=1800.21 cores=1,3,5,7
/proc/21842/stat : 21842 (java) S 21840 21842 19222 0 -1 4202496 574924 0 1 0 179954 67 0 0 25 0 22 0 830540922 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21842/statm: 2637587 564993 2260 9 0 2628321 0
[pid=21842/tid=21843] ppid=21840 vsize=10550348 CPUtime=0.36 cores=1,3,5,7
/proc/21842/task/21843/stat : 21843 (java) S 21840 21842 19222 0 -1 4202560 15737 0 1 0 34 2 0 0 15 0 22 0 830540922 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0
[pid=21842/tid=21845] ppid=21840 vsize=10550348 CPUtime=1.43 cores=1,3,5,7
/proc/21842/task/21845/stat : 21845 (java) S 21840 21842 19222 0 -1 4202560 1354 0 0 0 143 0 0 0 16 0 22 0 830540924 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0
[pid=21842/tid=21846] ppid=21840 vsize=10550348 CPUtime=1.49 cores=1,3,5,7
/proc/21842/task/21846/stat : 21846 (java) S 21840 21842 19222 0 -1 4202560 1841 0 0 0 149 0 0 0 15 0 22 0 830540924 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0
[pid=21842/tid=21847] ppid=21840 vsize=10550348 CPUtime=1.59 cores=1,3,5,7
/proc/21842/task/21847/stat : 21847 (java) S 21840 21842 19222 0 -1 4202560 262 0 0 0 159 0 0 0 15 0 22 0 830540924 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0
[pid=21842/tid=21848] ppid=21840 vsize=10550348 CPUtime=1.56 cores=1,3,5,7
/proc/21842/task/21848/stat : 21848 (java) S 21840 21842 19222 0 -1 4202560 3111 0 0 0 156 0 0 0 15 0 22 0 830540924 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0
[pid=21842/tid=21849] ppid=21840 vsize=10550348 CPUtime=1.49 cores=1,3,5,7
/proc/21842/task/21849/stat : 21849 (java) S 21840 21842 19222 0 -1 4202560 381 0 0 0 149 0 0 0 16 0 22 0 830540924 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0
[pid=21842/tid=21850] ppid=21840 vsize=10550348 CPUtime=1.67 cores=1,3,5,7
/proc/21842/task/21850/stat : 21850 (java) S 21840 21842 19222 0 -1 4202560 2020 0 0 0 167 0 0 0 15 0 22 0 830540924 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0
[pid=21842/tid=21851] ppid=21840 vsize=10550348 CPUtime=1.61 cores=1,3,5,7
/proc/21842/task/21851/stat : 21851 (java) S 21840 21842 19222 0 -1 4202560 4048 0 0 0 160 1 0 0 15 0 22 0 830540924 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0
[pid=21842/tid=21852] ppid=21840 vsize=10550348 CPUtime=1.52 cores=1,3,5,7
/proc/21842/task/21852/stat : 21852 (java) S 21840 21842 19222 0 -1 4202560 1156 0 0 0 152 0 0 0 16 0 22 0 830540924 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0
[pid=21842/tid=21853] ppid=21840 vsize=10550348 CPUtime=188.61 cores=1,3,5,7
/proc/21842/task/21853/stat : 21853 (java) S 21840 21842 19222 0 -1 4202560 105137 0 0 0 18846 15 0 0 15 0 22 0 830540925 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 0 0 16800975 18446604460655310016 0 0 -1 5 0 0 0
[pid=21842/tid=21854] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21854/stat : 21854 (java) S 21840 21842 19222 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 830540925 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0
[pid=21842/tid=21855] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21855/stat : 21855 (java) S 21840 21842 19222 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 830540925 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0
[pid=21842/tid=21856] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21856/stat : 21856 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830540928 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820989361 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0
[pid=21842/tid=21857] ppid=21840 vsize=10550348 CPUtime=1.11 cores=1,3,5,7
/proc/21842/task/21857/stat : 21857 (java) S 21840 21842 19222 0 -1 4202560 11296 0 0 0 110 1 0 0 15 0 22 0 830540928 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0
[pid=21842/tid=21858] ppid=21840 vsize=10550348 CPUtime=0.76 cores=1,3,5,7
/proc/21842/task/21858/stat : 21858 (java) S 21840 21842 19222 0 -1 4202560 2408 0 0 0 76 0 0 0 15 0 22 0 830540928 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0
[pid=21842/tid=21859] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21859/stat : 21859 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830540928 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0
[pid=21842/tid=21860] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21860/stat : 21860 (java) S 21840 21842 19222 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 830540928 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0
[pid=21842/tid=21867] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21867/stat : 21867 (java) S 21840 21842 19222 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830541006 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0
[pid=21842/tid=21891] ppid=21840 vsize=10550348 CPUtime=444.59 cores=1,3,5,7
/proc/21842/task/21891/stat : 21891 (java) R 21840 21842 19222 0 -1 4202560 130 0 0 0 44459 0 0 0 17 0 22 0 830581743 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 46912505568992 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21842/tid=21892] ppid=21840 vsize=10550348 CPUtime=444.61 cores=1,3,5,7
/proc/21842/task/21892/stat : 21892 (java) R 21840 21842 19222 0 -1 4202560 24352 0 0 0 44460 1 0 0 17 0 22 0 830581743 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 46912505566695 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21842/tid=21893] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/21842/task/21893/stat : 21893 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830581743 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 10550348

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

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

[startup+993.221 s]
/proc/loadavg: 3.68 3.65 3.41 4/397 21962
/proc/meminfo: memFree=19369312/32951124 swapFree=37148216/67111528
[pid=21842] ppid=21840 vsize=0 CPUtime=1800.39 cores=1,3,5,7
/proc/21842/stat : 21842 (java) Z 21840 21842 19222 0 -1 4203548 574954 0 1 0 179964 75 0 0 17 0 1 0 830540922 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/21842/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.39
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 993.235
CPU time (s): 1800.41
CPU user time (s): 1799.65
CPU system time (s): 0.758884
CPU usage (%): 181.267
Max. virtual memory (cumulated for all children) (KiB): 10552436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.758884
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 574954
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33154
involuntary context switches= 16473

runsolver used 3.66044 second user time and 8.71268 second system time

The end

Launcher Data 

Begin job on node104 at 2011-06-04 14:10:05
IDJOB=3455172
IDBENCH=2234
IDSOLVER=1950
FILE ID=node104/3455172-1307189405
RUNJOBID= node104-1307188383-21490
PBS_JOBID= 13508864
Free space on /tmp= 73956 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-4.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3455172-1307189405/watcher-3455172-1307189405 -o /tmp/evaluation-result-3455172-1307189405/solver-3455172-1307189405 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455172-1307189405.opb

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

MD5SUM BENCH= 4e682317a6045f4869b1783c80734344
RANDOM SEED=394867159

node104.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22278156 kB
Buffers:        420476 kB
Cached:        7645652 kB
SwapCached:     163904 kB
Active:        4264292 kB
Inactive:      6070072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22278156 kB
SwapTotal:    67111528 kB
SwapFree:     37148216 kB
Dirty:             888 kB
Writeback:           0 kB
AnonPages:     2127472 kB
Mapped:          19280 kB
Slab:           182840 kB
PageTables:      90268 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 98085556 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73952 MiB
End job on node104 at 2011-06-04 14:26:40