Trace number 3455038

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.0OPT307 1041.19 545.138

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod008.opb
MD5SUM4dd9ac2644c29d272d2675c7fc366ed6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark307
Best CPU time to get the best result obtained on this benchmark0.736887
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 307
Optimality of the best value was proved YES
Number of variables319
Total number of constraints6
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint186
Maximum length of a constraint231
Number of terms in the objective function 319
Biggest coefficient in the objective function 87
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 23554
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 22000
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 1027256
Number of bits of the biggest sum of numbers20
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.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.08	c version 2.3.1.v20110525
0.04/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.08	c java.vm.version	19.1-b02
0.04/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.08	c sun.arch.data.model	64
0.04/0.08	c java.version		1.6.0_24
0.04/0.08	c os.name		Linux
0.04/0.08	c os.version		2.6.18-164.el5
0.04/0.08	c os.arch		amd64
0.04/0.08	c Free memory 		9996466904
0.04/0.08	c Max memory 		10048897024
0.04/0.08	c Total memory 		10048897024
0.04/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3455038-1307187871.opb
0.11/0.11	c reading problem ... 
0.11/0.17	c ... done. Wall clock time 0.066s.
0.11/0.17	c #vars     319
0.11/0.17	c #constraints  6
0.11/0.17	c constraints type 
0.11/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6
0.11/0.18	c constraints type 
0.11/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6
0.31/0.20	c  And the winner is Resolution
0.33/0.68	c SATISFIABLE
0.33/0.68	c OPTIMIZING...
0.33/0.68	c Got one! Elapsed wall clock time (in seconds):0.571
0.33/0.68	o 359
2.58/1.35	c cleaning 2502 clauses out of 5009 with flag 5009/5009
3.89/1.97	c cleaning 4253 clauses out of 8510 with flag 11012/11012
5.58/2.74	c cleaning 5630 clauses out of 11261 with flag 18016/18016
7.38/3.66	c cleaning 6811 clauses out of 13625 with flag 26010/26010
9.83/4.81	c cleaning 7911 clauses out of 15822 with flag 35018/35018
12.47/6.16	c cleaning 8964 clauses out of 17931 with flag 45038/45038
15.09/7.46	c cleaning 9466 clauses out of 18941 with flag 55012/55012
17.07/8.47	c cleaning 9727 clauses out of 19463 with flag 65000/65000
20.07/9.94	c cleaning 9865 clauses out of 19739 with flag 75003/75003
22.69/11.28	c cleaning 9964 clauses out of 19934 with flag 85063/85063
24.52/12.19	c  And the winner is CuttingPlanes
24.66/12.23	c Got one! Elapsed wall clock time (in seconds):12.119
24.66/12.23	o 352
25.94/12.81	c cleaning 10247 clauses out of 20521 with flag 5000/95614
26.11/12.94	c  And the winner is Resolution
26.22/13.23	c Got one! Elapsed wall clock time (in seconds):13.126
26.22/13.23	o 331
26.35/13.31	c  And the winner is Resolution
26.40/13.74	c Got one! Elapsed wall clock time (in seconds):13.63
26.40/13.74	o 311
26.40/13.75	c  And the winner is Resolution
26.43/14.24	c Got one! Elapsed wall clock time (in seconds):14.134
26.43/14.24	o 307
27.34/14.79	c cleaning 8304 clauses out of 16617 with flag 4000/101957
29.30/15.73	c cleaning 7154 clauses out of 14313 with flag 10000/107957
32.08/17.14	c cleaning 7075 clauses out of 14159 with flag 17000/114957
34.84/18.50	c cleaning 7543 clauses out of 15097 with flag 25013/122970
37.23/19.79	c cleaning 8270 clauses out of 16544 with flag 34003/131960
41.18/21.76	c cleaning 9117 clauses out of 18271 with flag 44000/141957
44.15/23.22	c cleaning 9575 clauses out of 19156 with flag 54002/151959
47.70/25.02	c cleaning 9788 clauses out of 19579 with flag 64000/161957
51.66/27.05	c cleaning 9904 clauses out of 19811 with flag 74020/171977
54.62/28.56	c cleaning 9941 clauses out of 19887 with flag 84000/181957
57.54/30.02	c cleaning 9969 clauses out of 19946 with flag 94000/191957
60.69/31.66	c cleaning 9986 clauses out of 19977 with flag 104000/201957
64.24/33.45	c cleaning 9993 clauses out of 19992 with flag 114001/211958
67.37/35.01	c cleaning 9995 clauses out of 19999 with flag 124001/221958
70.99/36.80	c cleaning 10012 clauses out of 20029 with flag 134026/231983
76.13/39.43	c cleaning 9993 clauses out of 19992 with flag 144001/241958
79.47/41.17	c cleaning 9992 clauses out of 20000 with flag 154002/251959
83.03/42.94	c cleaning 10000 clauses out of 20006 with flag 164000/261957
86.13/44.53	c cleaning 10001 clauses out of 20007 with flag 174001/271958
88.47/45.74	c cleaning 10000 clauses out of 20006 with flag 184001/281958
94.02/48.59	c cleaning 9994 clauses out of 20005 with flag 194000/291957
97.94/50.52	c cleaning 10002 clauses out of 20012 with flag 204001/301958
101.04/52.10	c cleaning 9994 clauses out of 20009 with flag 214000/311957
104.39/53.91	c cleaning 10013 clauses out of 20034 with flag 224019/321976
107.49/55.46	c cleaning 9995 clauses out of 20002 with flag 234000/331957
110.19/56.81	c cleaning 10001 clauses out of 20010 with flag 244003/341960
112.94/58.23	c cleaning 10001 clauses out of 20006 with flag 254000/351957
117.27/60.45	c cleaning 9999 clauses out of 20005 with flag 264000/361957
120.97/62.39	c cleaning 10007 clauses out of 20017 with flag 274011/371968
126.26/65.06	c cleaning 9980 clauses out of 19999 with flag 284000/381957
129.77/66.80	c cleaning 10007 clauses out of 20020 with flag 294001/391958
133.28/68.60	c cleaning 10009 clauses out of 20024 with flag 304012/401969
136.40/70.28	c cleaning 10001 clauses out of 20006 with flag 314003/411960
140.27/72.23	c cleaning 9999 clauses out of 20010 with flag 324008/421965
143.59/73.98	c cleaning 9993 clauses out of 20004 with flag 334001/431958
146.50/75.48	c cleaning 10013 clauses out of 20033 with flag 344023/441980
149.20/76.81	c cleaning 9999 clauses out of 20006 with flag 354009/451966
151.50/78.08	c cleaning 9994 clauses out of 19998 with flag 364000/461957
154.19/79.41	c cleaning 9996 clauses out of 20004 with flag 374000/471957
156.70/80.72	c cleaning 9991 clauses out of 20008 with flag 384000/481957
159.43/82.18	c cleaning 10006 clauses out of 20018 with flag 394001/491958
163.09/84.07	c cleaning 9999 clauses out of 20011 with flag 404000/501957
166.80/85.97	c cleaning 10013 clauses out of 20033 with flag 414021/511978
169.70/87.41	c cleaning 10002 clauses out of 20009 with flag 424010/521967
173.20/89.24	c cleaning 9995 clauses out of 19997 with flag 434000/531957
176.86/91.13	c cleaning 9969 clauses out of 20007 with flag 444005/541962
181.16/93.34	c cleaning 10014 clauses out of 20033 with flag 454000/551957
185.06/95.36	c cleaning 10002 clauses out of 20019 with flag 464000/561957
188.55/97.15	c cleaning 10004 clauses out of 20018 with flag 474001/571958
191.60/98.78	c cleaning 10003 clauses out of 20013 with flag 484000/581957
194.34/100.16	c cleaning 10009 clauses out of 20024 with flag 494014/591971
198.63/102.35	c cleaning 9996 clauses out of 20001 with flag 504000/601957
202.29/104.29	c cleaning 9999 clauses out of 20005 with flag 514000/611957
204.97/105.69	c cleaning 10004 clauses out of 20009 with flag 524003/621960
207.82/107.14	c cleaning 9999 clauses out of 20003 with flag 534001/631958
211.14/108.89	c cleaning 9999 clauses out of 20003 with flag 544000/641957
214.81/110.73	c cleaning 9997 clauses out of 20004 with flag 554000/651957
218.24/112.52	c cleaning 10005 clauses out of 20017 with flag 564010/661967
221.75/114.34	c cleaning 9999 clauses out of 20003 with flag 574001/671958
226.25/116.69	c cleaning 9996 clauses out of 20003 with flag 584000/681957
229.10/118.11	c cleaning 9997 clauses out of 20007 with flag 594000/691957
232.13/119.74	c cleaning 10003 clauses out of 20011 with flag 604001/701958
236.85/122.18	c cleaning 10000 clauses out of 20007 with flag 614000/711957
240.70/124.19	c cleaning 10012 clauses out of 20030 with flag 624023/721980
245.79/126.78	c cleaning 9994 clauses out of 19995 with flag 634000/731957
250.81/129.37	c cleaning 10000 clauses out of 20004 with flag 644003/741960
255.29/131.68	c cleaning 9998 clauses out of 20005 with flag 654004/751961
258.76/133.44	c cleaning 9998 clauses out of 20003 with flag 664000/761957
262.47/135.34	c cleaning 10002 clauses out of 20009 with flag 674004/771961
266.25/137.38	c cleaning 10012 clauses out of 20029 with flag 684026/781983
271.32/139.96	c cleaning 9975 clauses out of 19992 with flag 694001/791958
276.38/142.51	c cleaning 9999 clauses out of 20016 with flag 704000/801957
281.85/145.31	c cleaning 10006 clauses out of 20018 with flag 714001/811958
284.46/146.79	c cleaning 10012 clauses out of 20029 with flag 724018/821975
287.33/148.29	c cleaning 9998 clauses out of 20002 with flag 734003/831960
289.82/149.57	c cleaning 10005 clauses out of 20013 with flag 744012/841969
292.86/151.10	c cleaning 9990 clauses out of 19996 with flag 754000/851957
295.66/152.68	c cleaning 10008 clauses out of 20021 with flag 764015/861972
298.53/154.13	c cleaning 10009 clauses out of 20022 with flag 774024/871981
301.41/155.68	c cleaning 9988 clauses out of 19989 with flag 784000/881957
304.71/157.37	c cleaning 9998 clauses out of 20001 with flag 794000/891957
308.93/159.57	c cleaning 10000 clauses out of 20005 with flag 804002/901959
312.36/161.37	c cleaning 9997 clauses out of 20004 with flag 814001/911958
316.02/163.28	c cleaning 10003 clauses out of 20012 with flag 824006/921963
319.31/164.98	c cleaning 9999 clauses out of 20003 with flag 834000/931957
323.73/167.26	c cleaning 9997 clauses out of 20004 with flag 844000/941957
326.76/168.85	c cleaning 9988 clauses out of 20008 with flag 854001/951958
330.22/170.61	c cleaning 10006 clauses out of 20019 with flag 864000/961957
332.68/171.95	c cleaning 9998 clauses out of 20013 with flag 874000/971957
337.09/174.24	c cleaning 10005 clauses out of 20016 with flag 884001/981958
340.37/175.99	c cleaning 10003 clauses out of 20012 with flag 894002/991959
345.00/178.30	c cleaning 10029 clauses out of 20062 with flag 904055/1002012
351.30/181.53	c cleaning 9987 clauses out of 19982 with flag 914004/1011961
354.86/183.46	c cleaning 9993 clauses out of 19991 with flag 924000/1021957
357.92/185.00	c cleaning 10008 clauses out of 20024 with flag 934026/1031983
364.01/188.15	c cleaning 9992 clauses out of 19991 with flag 944001/1041958
369.23/190.82	c cleaning 9995 clauses out of 20000 with flag 954002/1051959
374.46/193.54	c cleaning 9999 clauses out of 20004 with flag 964001/1061958
378.09/195.45	c cleaning 10028 clauses out of 20062 with flag 974058/1072015
382.96/197.92	c cleaning 10002 clauses out of 20013 with flag 984037/1081994
387.59/200.36	c cleaning 9997 clauses out of 20004 with flag 994030/1091987
391.40/202.34	c cleaning 9986 clauses out of 19979 with flag 1004002/1101959
394.63/204.10	c cleaning 9989 clauses out of 19992 with flag 1014001/1111958
398.08/205.82	c cleaning 9988 clauses out of 20002 with flag 1024000/1121957
401.95/207.85	c cleaning 10002 clauses out of 20014 with flag 1034000/1131957
406.35/210.17	c cleaning 9998 clauses out of 20012 with flag 1044000/1141957
409.36/211.78	c cleaning 10006 clauses out of 20019 with flag 1054005/1151962
414.01/214.18	c cleaning 10000 clauses out of 20008 with flag 1064000/1161957
418.64/216.56	c cleaning 10001 clauses out of 20010 with flag 1074002/1171959
422.64/218.67	c cleaning 10025 clauses out of 20054 with flag 1084047/1182004
426.48/220.65	c cleaning 9991 clauses out of 19989 with flag 1094007/1191964
431.32/223.15	c cleaning 9993 clauses out of 19991 with flag 1104000/1201957
436.36/225.72	c cleaning 9998 clauses out of 20004 with flag 1114006/1211963
441.54/228.48	c cleaning 9998 clauses out of 20002 with flag 1124002/1221959
446.41/230.94	c cleaning 9996 clauses out of 20002 with flag 1134000/1231957
453.22/234.49	c cleaning 10009 clauses out of 20024 with flag 1144018/1241975
459.06/237.40	c cleaning 9996 clauses out of 19998 with flag 1154001/1251958
465.23/240.68	c cleaning 10013 clauses out of 20031 with flag 1164030/1261987
468.87/242.56	c cleaning 9991 clauses out of 19988 with flag 1174000/1271957
471.31/243.85	c cleaning 10000 clauses out of 20006 with flag 1184009/1281966
473.75/245.20	c cleaning 10000 clauses out of 20003 with flag 1194006/1291963
476.51/246.67	c cleaning 10002 clauses out of 20010 with flag 1204013/1301970
479.14/248.04	c cleaning 10003 clauses out of 20012 with flag 1214017/1311974
481.78/249.41	c cleaning 9999 clauses out of 20003 with flag 1224011/1321968
484.24/250.76	c cleaning 9995 clauses out of 19997 with flag 1234004/1331961
486.98/252.23	c cleaning 9998 clauses out of 20002 with flag 1244004/1341961
489.62/253.63	c cleaning 9999 clauses out of 20004 with flag 1254004/1351961
492.25/255.10	c cleaning 9998 clauses out of 20003 with flag 1264002/1361959
495.09/256.55	c cleaning 10002 clauses out of 20010 with flag 1274007/1371964
497.86/258.03	c cleaning 10001 clauses out of 20007 with flag 1284006/1381963
500.71/259.53	c cleaning 10003 clauses out of 20012 with flag 1294012/1391969
503.33/260.98	c cleaning 9999 clauses out of 20003 with flag 1304006/1401963
506.36/262.50	c cleaning 9998 clauses out of 20000 with flag 1314002/1411959
509.32/264.19	c cleaning 9996 clauses out of 20002 with flag 1324002/1421959
512.96/266.04	c cleaning 10001 clauses out of 20007 with flag 1334003/1431960
517.19/268.22	c cleaning 9998 clauses out of 20004 with flag 1344001/1441958
521.21/270.38	c cleaning 10020 clauses out of 20046 with flag 1354041/1451998
525.17/272.47	c cleaning 9989 clauses out of 19986 with flag 1364001/1461958
528.60/274.29	c cleaning 9993 clauses out of 19997 with flag 1374001/1471958
532.05/276.11	c cleaning 9975 clauses out of 20003 with flag 1384000/1481957
535.46/277.83	c cleaning 10023 clauses out of 20051 with flag 1394023/1491980
538.82/279.69	c cleaning 10008 clauses out of 20023 with flag 1404018/1501975
542.84/281.79	c cleaning 9994 clauses out of 19997 with flag 1414000/1511957
547.86/284.38	c cleaning 10001 clauses out of 20008 with flag 1424005/1521962
551.49/286.24	c cleaning 10000 clauses out of 20005 with flag 1434003/1531960
555.43/288.32	c cleaning 9985 clauses out of 20002 with flag 1444000/1541957
559.66/290.57	c cleaning 10005 clauses out of 20017 with flag 1454000/1551957
563.71/292.67	c cleaning 10003 clauses out of 20014 with flag 1464002/1561959
567.71/294.77	c cleaning 9998 clauses out of 20009 with flag 1474000/1571957
573.03/297.59	c cleaning 10001 clauses out of 20013 with flag 1484002/1581959
578.49/300.35	c cleaning 10004 clauses out of 20012 with flag 1494002/1591959
584.47/303.47	c cleaning 10016 clauses out of 20038 with flag 1504032/1601989
588.92/305.74	c cleaning 9987 clauses out of 19990 with flag 1514000/1611957
592.85/307.82	c cleaning 9999 clauses out of 20003 with flag 1524000/1621957
595.46/309.30	c cleaning 10001 clauses out of 20007 with flag 1534003/1631960
597.88/310.52	c cleaning 9994 clauses out of 20003 with flag 1544000/1641957
601.53/312.43	c cleaning 10001 clauses out of 20009 with flag 1554000/1651957
605.04/314.31	c cleaning 9995 clauses out of 20008 with flag 1564000/1661957
608.06/315.94	c cleaning 9994 clauses out of 20013 with flag 1574000/1671957
610.67/317.34	c cleaning 10002 clauses out of 20019 with flag 1584000/1681957
613.71/318.98	c cleaning 10003 clauses out of 20017 with flag 1594000/1691957
616.61/320.55	c cleaning 10005 clauses out of 20015 with flag 1604001/1701958
619.43/322.07	c cleaning 10003 clauses out of 20021 with flag 1614012/1711969
624.28/324.58	c cleaning 9999 clauses out of 20006 with flag 1624000/1721957
630.06/327.52	c cleaning 9999 clauses out of 20007 with flag 1634000/1731957
635.60/330.46	c cleaning 9999 clauses out of 20011 with flag 1644003/1741960
641.04/333.31	c cleaning 9962 clauses out of 20009 with flag 1654000/1751957
646.82/336.22	c cleaning 10036 clauses out of 20077 with flag 1664030/1761987
652.23/339.04	c cleaning 10005 clauses out of 20018 with flag 1674007/1771964
658.01/342.10	c cleaning 9990 clauses out of 20006 with flag 1684000/1781957
664.20/345.24	c cleaning 10001 clauses out of 20016 with flag 1694000/1791957
670.00/348.28	c cleaning 10003 clauses out of 20015 with flag 1704000/1801957
675.41/351.01	c cleaning 10008 clauses out of 20019 with flag 1714007/1811964
681.13/354.04	c cleaning 10020 clauses out of 20044 with flag 1724040/1821997
686.93/357.09	c cleaning 9979 clauses out of 19984 with flag 1734000/1831957
693.13/360.20	c cleaning 10001 clauses out of 20010 with flag 1744005/1841962
698.72/363.18	c cleaning 9997 clauses out of 20004 with flag 1754000/1851957
704.89/366.34	c cleaning 10001 clauses out of 20008 with flag 1764001/1861958
707.66/367.88	c cleaning 10022 clauses out of 20050 with flag 1774044/1872001
714.25/371.20	c cleaning 9987 clauses out of 19984 with flag 1784000/1881957
720.44/374.47	c cleaning 9991 clauses out of 19997 with flag 1794000/1891957
728.57/378.64	c cleaning 10002 clauses out of 20010 with flag 1804004/1901961
735.36/382.19	c cleaning 9998 clauses out of 20004 with flag 1814000/1911957
741.55/385.36	c cleaning 9997 clauses out of 20006 with flag 1824000/1921957
748.34/388.86	c cleaning 9999 clauses out of 20009 with flag 1834000/1931957
754.65/392.19	c cleaning 10003 clauses out of 20010 with flag 1844000/1941957
760.24/395.07	c cleaning 9994 clauses out of 20007 with flag 1854000/1951957
765.23/397.62	c cleaning 9995 clauses out of 20013 with flag 1864000/1961957
770.21/400.31	c cleaning 10003 clauses out of 20019 with flag 1874001/1971958
776.31/403.41	c cleaning 10002 clauses out of 20015 with flag 1884000/1981957
781.30/406.02	c cleaning 9996 clauses out of 20013 with flag 1894000/1991957
786.09/408.53	c cleaning 9968 clauses out of 20017 with flag 1904000/2001957
791.88/411.51	c cleaning 10020 clauses out of 20049 with flag 1914000/2011957
797.39/414.44	c cleaning 10010 clauses out of 20029 with flag 1924000/2021957
803.38/417.51	c cleaning 10009 clauses out of 20025 with flag 1934006/2031963
807.76/419.86	c cleaning 9999 clauses out of 20010 with flag 1944000/2041957
812.91/422.57	c cleaning 10001 clauses out of 20012 with flag 1954001/2051958
819.78/426.14	c cleaning 9997 clauses out of 20010 with flag 1964000/2061957
823.57/428.11	c cleaning 10001 clauses out of 20013 with flag 1974000/2071957
829.15/431.06	c cleaning 10004 clauses out of 20013 with flag 1984001/2081958
833.55/433.34	c cleaning 9999 clauses out of 20008 with flag 1994000/2091957
838.00/435.76	c cleaning 10000 clauses out of 20009 with flag 2004000/2101957
841.80/437.77	c cleaning 10039 clauses out of 20082 with flag 2014073/2112030
847.15/440.56	c cleaning 9987 clauses out of 19976 with flag 2024006/2121963
853.32/443.71	c cleaning 10009 clauses out of 20022 with flag 2034039/2131996
858.63/446.60	c cleaning 9984 clauses out of 19974 with flag 2044000/2141957
863.98/449.32	c cleaning 10003 clauses out of 20012 with flag 2054022/2151979
867.76/451.36	c cleaning 9995 clauses out of 19995 with flag 2064008/2161965
872.32/453.78	c cleaning 9981 clauses out of 19992 with flag 2074000/2171957
875.81/455.65	c cleaning 10006 clauses out of 20017 with flag 2084006/2181963
878.98/457.38	c cleaning 10002 clauses out of 20010 with flag 2094005/2191962
881.76/458.84	c cleaning 10000 clauses out of 20007 with flag 2104004/2201961
885.33/460.81	c cleaning 9996 clauses out of 20005 with flag 2114002/2211959
890.60/463.51	c cleaning 10002 clauses out of 20009 with flag 2124002/2221959
894.57/465.68	c cleaning 10000 clauses out of 20005 with flag 2134000/2231957
898.74/467.84	c cleaning 10003 clauses out of 20010 with flag 2144005/2241962
902.71/469.95	c cleaning 10000 clauses out of 20005 with flag 2154003/2251960
906.61/472.05	c cleaning 9995 clauses out of 20002 with flag 2164000/2261957
910.62/474.15	c cleaning 9991 clauses out of 20008 with flag 2174001/2271958
914.57/476.28	c cleaning 9991 clauses out of 20016 with flag 2184000/2281957
917.32/477.78	c cleaning 10010 clauses out of 20026 with flag 2194001/2291958
920.82/479.64	c cleaning 10005 clauses out of 20015 with flag 2204000/2301957
923.75/481.21	c cleaning 10001 clauses out of 20010 with flag 2214000/2311957
926.74/482.85	c cleaning 10001 clauses out of 20010 with flag 2224001/2321958
929.48/484.30	c cleaning 10000 clauses out of 20009 with flag 2234001/2331958
932.14/485.80	c cleaning 10000 clauses out of 20012 with flag 2244004/2341961
934.73/487.26	c cleaning 9999 clauses out of 20011 with flag 2254003/2351960
937.48/488.74	c cleaning 10003 clauses out of 20018 with flag 2264009/2361966
940.25/490.26	c cleaning 9998 clauses out of 20015 with flag 2274009/2371966
943.12/491.87	c cleaning 9995 clauses out of 20013 with flag 2284005/2381962
946.08/493.45	c cleaning 10007 clauses out of 20019 with flag 2294006/2391963
949.44/495.26	c cleaning 10006 clauses out of 20017 with flag 2304011/2401968
953.26/497.29	c cleaning 10003 clauses out of 20012 with flag 2314012/2411969
957.67/499.61	c cleaning 9997 clauses out of 20000 with flag 2324003/2421960
961.26/501.53	c cleaning 9998 clauses out of 20000 with flag 2334000/2431957
964.60/503.37	c cleaning 10006 clauses out of 20020 with flag 2344018/2441975
968.37/505.37	c cleaning 9996 clauses out of 19999 with flag 2354003/2451960
972.42/507.54	c cleaning 9997 clauses out of 20001 with flag 2364001/2461958
976.19/509.54	c cleaning 9999 clauses out of 20004 with flag 2374001/2471958
980.15/511.69	c cleaning 10001 clauses out of 20007 with flag 2384003/2481960
984.14/513.74	c cleaning 10001 clauses out of 20007 with flag 2394004/2491961
987.98/515.88	c cleaning 10004 clauses out of 20014 with flag 2404012/2501969
992.35/518.16	c cleaning 9999 clauses out of 20004 with flag 2414006/2511963
996.08/520.19	c cleaning 9997 clauses out of 19999 with flag 2424000/2521957
999.64/522.03	c cleaning 9993 clauses out of 20002 with flag 2434000/2531957
1003.69/524.27	c cleaning 10001 clauses out of 20010 with flag 2444001/2541958
1007.05/526.04	c cleaning 9997 clauses out of 20027 with flag 2454019/2551976
1010.21/527.78	c cleaning 10013 clauses out of 20033 with flag 2464022/2561979
1013.57/529.50	c cleaning 9994 clauses out of 19998 with flag 2474000/2571957
1016.42/531.14	c cleaning 9999 clauses out of 20007 with flag 2484003/2581960
1019.38/532.72	c cleaning 10000 clauses out of 20005 with flag 2494000/2591957
1022.98/534.64	c cleaning 9986 clauses out of 20007 with flag 2504002/2601959
1026.70/536.65	c cleaning 10025 clauses out of 20058 with flag 2514039/2611996
1030.78/538.86	c cleaning 9996 clauses out of 19999 with flag 2524005/2621962
1033.34/540.27	c cleaning 9998 clauses out of 20003 with flag 2534005/2631962
1037.33/542.34	c cleaning 9995 clauses out of 20002 with flag 2544002/2641959
1040.05/543.86	c  And the winner is CuttingPlanes
1041.04/545.05	c starts		: 11
1041.04/545.05	c conflicts		: 5358
1041.04/545.05	c decisions		: 31072
1041.04/545.05	c propagations		: 175303
1041.04/545.05	c inspects		: 178686692
1041.04/545.05	c shortcuts		: 0
1041.04/545.05	c learnt literals	: 0
1041.04/545.05	c learnt binary clauses	: 0
1041.04/545.05	c learnt ternary clauses	: 0
1041.04/545.05	c learnt constraints	: 5355
1041.04/545.05	c ignored constraints	: 0
1041.04/545.05	c root simplifications	: 0
1041.04/545.05	c removed literals (reason simplification)	: 0
1041.04/545.05	c reason swapping (by a shorter reason)	: 0
1041.04/545.05	c Calls to reduceDB	: 0
1041.04/545.05	c number of reductions to clauses (during analyze)	: 0
1041.04/545.05	c number of learned constraints concerned by reduction	: 0
1041.04/545.05	c number of learning phase by resolution	: 0
1041.04/545.05	c number of learning phase by cutting planes	: 0
1041.04/545.05	c speed (assignments/second)	: 330.2600022984045
1041.04/545.05	c non guided choices	0
1041.04/545.05	c learnt constraints type 
1041.04/545.05	c constraints type 
1041.04/545.05	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6
1041.04/545.05	c constraints type 
1041.04/545.05	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6
1041.04/545.05	s OPTIMUM FOUND
1041.04/545.05	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 
1041.04/545.05	c objective function=307
1041.04/545.05	c Total wall clock time (in seconds): 544.942

Verifier Data 

OK	307

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-3455038-1307187871/watcher-3455038-1307187871 -o /tmp/evaluation-result-3455038-1307187871/solver-3455038-1307187871 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455038-1307187871.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.42 3.02 2.29 3/502 17389
/proc/meminfo: memFree=26455516/32951124 swapFree=38422276/67111528
[pid=17389] ppid=17387 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/17389/stat : 17389 (java) S 17387 17389 13859 0 -1 4202496 3909 0 1 0 0 0 0 0 25 0 2 0 830389414 10694979584 3611 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447819749 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/17389/statm: 2611079 3624 917 9 0 2602235 0
[pid=17389/tid=17390] ppid=17387 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17390/stat : 17390 (java) R 17387 17389 13859 0 -1 4202560 7019 0 1 0 0 0 0 0 25 0 2 0 830389414 10694979584 7835 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212435711035 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.0576089 s]
/proc/loadavg: 3.42 3.02 2.29 3/502 17389
/proc/meminfo: memFree=26455516/32951124 swapFree=38422276/67111528
[pid=17389] ppid=17387 vsize=10538184 CPUtime=0.04 cores=0,2,4,6
/proc/17389/stat : 17389 (java) S 17387 17389 13859 0 -1 4202496 11628 0 1 0 3 1 0 0 25 0 18 0 830389414 10791100416 11325 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17389/statm: 2634546 11327 1729 9 0 2625287 0
[pid=17389/tid=17390] ppid=17387 vsize=10538184 CPUtime=0.04 cores=0,2,4,6
/proc/17389/task/17390/stat : 17390 (java) R 17387 17389 13859 0 -1 4202560 10455 0 1 0 3 1 0 0 22 0 18 0 830389414 10791100416 11327 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 47855086819315 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10538184

[startup+0.104613 s]
/proc/loadavg: 3.42 3.02 2.29 3/502 17389
/proc/meminfo: memFree=26455516/32951124 swapFree=38422276/67111528
[pid=17389] ppid=17387 vsize=10539664 CPUtime=0.11 cores=0,2,4,6
/proc/17389/stat : 17389 (java) S 17387 17389 13859 0 -1 4202496 13131 0 1 0 9 2 0 0 25 0 18 0 830389414 10792615936 12828 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17389/statm: 2634916 12828 2092 9 0 2625650 0
[pid=17389/tid=17390] ppid=17387 vsize=10539664 CPUtime=0.09 cores=0,2,4,6
/proc/17389/task/17390/stat : 17390 (java) R 17387 17389 13859 0 -1 4202560 11220 0 1 0 8 1 0 0 22 0 18 0 830389414 10792615936 12828 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447842997 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539664

[startup+0.300619 s]
/proc/loadavg: 3.42 3.02 2.29 3/502 17389
/proc/meminfo: memFree=26455516/32951124 swapFree=38422276/67111528
[pid=17389] ppid=17387 vsize=10546640 CPUtime=0.33 cores=0,2,4,6
/proc/17389/stat : 17389 (java) S 17387 17389 13859 0 -1 4202496 14702 0 1 0 31 2 0 0 25 0 19 0 830389414 10799759360 14297 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17389/statm: 2636660 14297 2210 9 0 2627394 0
[pid=17389/tid=17390] ppid=17387 vsize=10546640 CPUtime=0.16 cores=0,2,4,6
/proc/17389/task/17390/stat : 17390 (java) S 17387 17389 13859 0 -1 4202560 11710 0 1 0 15 1 0 0 23 0 19 0 830389414 10799759360 14297 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447833600 0 4 0 16800975 18446604449478044480 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 10546640

[startup+0.700456 s]
/proc/loadavg: 3.42 3.02 2.29 3/502 17389
/proc/meminfo: memFree=26455516/32951124 swapFree=38422276/67111528
[pid=17389] ppid=17387 vsize=10546640 CPUtime=0.38 cores=0,2,4,6
/proc/17389/stat : 17389 (java) S 17387 17389 13859 0 -1 4202496 14851 0 1 0 36 2 0 0 25 0 22 0 830389414 10799759360 14446 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17389/statm: 2636660 14446 2210 9 0 2627394 0
[pid=17389/tid=17390] ppid=17387 vsize=10546640 CPUtime=0.16 cores=0,2,4,6
/proc/17389/task/17390/stat : 17390 (java) S 17387 17389 13859 0 -1 4202560 11756 0 1 0 15 1 0 0 19 0 22 0 830389414 10799759360 14446 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447833600 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 10546640

[startup+1.5013 s]
/proc/loadavg: 3.42 3.02 2.29 6/524 17414
/proc/meminfo: memFree=26328312/32951124 swapFree=38422276/67111528
[pid=17389] ppid=17387 vsize=10557000 CPUtime=3.02 cores=0,2,4,6
/proc/17389/stat : 17389 (java) S 17387 17389 13859 0 -1 4202496 96539 0 1 0 292 10 0 0 25 0 22 0 830389414 10810368000 92269 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17389/statm: 2639250 92269 2254 9 0 2629984 0
[pid=17389/tid=17390] ppid=17387 vsize=10557000 CPUtime=0.16 cores=0,2,4,6
/proc/17389/task/17390/stat : 17390 (java) S 17387 17389 13859 0 -1 4202560 11756 0 1 0 15 1 0 0 15 0 22 0 830389414 10810368000 92269 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447833600 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
[pid=17389/tid=17392] ppid=17387 vsize=10557000 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17392/stat : 17392 (java) S 17387 17389 13859 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830389416 10810368000 92269 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
[pid=17389/tid=17393] ppid=17387 vsize=10557000 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17393/stat : 17393 (java) S 17387 17389 13859 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 22 0 830389416 10810368000 92270 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
[pid=17389/tid=17394] ppid=17387 vsize=10557000 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17394/stat : 17394 (java) S 17387 17389 13859 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830389416 10810368000 92270 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
[pid=17389/tid=17395] ppid=17387 vsize=10557000 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17395/stat : 17395 (java) S 17387 17389 13859 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830389416 10810368000 92270 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
[pid=17389/tid=17396] ppid=17387 vsize=10557000 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17396/stat : 17396 (java) S 17387 17389 13859 0 -1 4202560 83 0 0 0 0 0 0 0 18 0 22 0 830389416 10810368000 92270 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
[pid=17389/tid=17397] ppid=17387 vsize=10557000 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17397/stat : 17397 (java) S 17387 17389 13859 0 -1 4202560 86 0 0 0 0 0 0 0 18 0 22 0 830389416 10810368000 92270 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 2 0 0 0
[pid=17389/tid=17398] ppid=17387 vsize=10557000 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17398/stat : 17398 (java) S 17387 17389 13859 0 -1 4202560 602 0 0 0 0 0 0 0 17 0 22 0 830389416 10810368000 92270 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 2 0 0 0
[pid=17389/tid=17399] ppid=17387 vsize=10557000 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17399/stat : 17399 (java) S 17387 17389 13859 0 -1 4202560 219 0 0 0 0 0 0 0 18 0 22 0 830389416 10810368000 92270 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
[pid=17389/tid=17400] ppid=17387 vsize=10557000 CPUtime=0.01 cores=0,2,4,6
/proc/17389/task/17400/stat : 17400 (java) S 17387 17389 13859 0 -1 4202560 979 0 0 0 1 0 0 0 16 0 22 0 830389417 10810368000 92270 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447833600 0 0 0 16800975 18446604449478044480 0 0 -1 4 0 0 0
[pid=17389/tid=17401] ppid=17387 vsize=10557000 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17401/stat : 17401 (java) S 17387 17389 13859 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830389417 10810368000 92270 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 4 0 0 0
[pid=17389/tid=17402] ppid=17387 vsize=10557000 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17402/stat : 17402 (java) S 17387 17389 13859 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830389417 10810368000 92270 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
[pid=17389/tid=17403] ppid=17387 vsize=10557000 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17403/stat : 17403 (java) S 17387 17389 13859 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830389419 10810368000 92270 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447840689 0 4 0 16800975 18446604449478044480 0 0 -1 4 0 0 0
[pid=17389/tid=17404] ppid=17387 vsize=10557000 CPUtime=0.61 cores=0,2,4,6
/proc/17389/task/17404/stat : 17404 (java) R 17387 17389 13859 0 -1 4202560 7461 0 0 0 61 0 0 0 15 0 22 0 830389419 10810368000 92270 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 47855087110406 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17389/tid=17405] ppid=17387 vsize=10557000 CPUtime=0.57 cores=0,2,4,6
/proc/17389/task/17405/stat : 17405 (java) R 17387 17389 13859 0 -1 4202560 4099 0 0 0 57 0 0 0 15 0 22 0 830389420 10810368000 92270 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 47855087956896 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17389/tid=17406] ppid=17387 vsize=10557000 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17406/stat : 17406 (java) S 17387 17389 13859 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830389420 10810368000 92270 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 4 0 0 0
[pid=17389/tid=17407] ppid=17387 vsize=10557000 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17407/stat : 17407 (java) S 17387 17389 13859 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830389420 10810368000 92270 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447833600 0 4 0 16800975 18446604449478044480 0 0 -1 2 0 0 0
[pid=17389/tid=17411] ppid=17387 vsize=10557000 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17411/stat : 17411 (java) S 17387 17389 13859 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830389433 10810368000 92270 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447833600 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
[pid=17389/tid=17412] ppid=17387 vsize=10557000 CPUtime=0.78 cores=0,2,4,6
/proc/17389/task/17412/stat : 17412 (java) R 17387 17389 13859 0 -1 4202560 1611 0 0 0 78 0 0 0 18 0 22 0 830389483 10810368000 92270 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 47855088917331 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17389/tid=17413] ppid=17387 vsize=10557000 CPUtime=0.76 cores=0,2,4,6
/proc/17389/task/17413/stat : 17413 (java) R 17387 17389 13859 0 -1 4202560 68361 0 0 0 70 6 0 0 25 0 22 0 830389483 10810368000 92270 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 46912505966594 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=17389/tid=17414] ppid=17387 vsize=10557000 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17414/stat : 17414 (java) S 17387 17389 13859 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 22 0 830389483 10810368000 92270 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447833600 0 4 0 16800975 18446604449478044480 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 10557000

[startup+3.101 s]
/proc/loadavg: 3.47 3.03 2.30 6/524 17414
/proc/meminfo: memFree=25997480/32951124 swapFree=38422276/67111528
[pid=17389] ppid=17387 vsize=10557000 CPUtime=6.38 cores=0,2,4,6
/proc/17389/stat : 17389 (java) S 17387 17389 13859 0 -1 4202496 153282 0 1 0 623 15 0 0 25 0 22 0 830389414 10810368000 149010 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17389/statm: 2639250 149010 2256 9 0 2629984 0
[pid=17389/tid=17390] ppid=17387 vsize=10557000 CPUtime=0.16 cores=0,2,4,6
/proc/17389/task/17390/stat : 17390 (java) S 17387 17389 13859 0 -1 4202560 11756 0 1 0 15 1 0 0 15 0 22 0 830389414 10810368000 149010 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447833600 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
[pid=17389/tid=17392] ppid=17387 vsize=10557000 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17392/stat : 17392 (java) S 17387 17389 13859 0 -1 4202560 659 0 0 0 0 0 0 0 15 0 22 0 830389416 10810368000 149010 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
[pid=17389/tid=17393] ppid=17387 vsize=10557000 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17393/stat : 17393 (java) S 17387 17389 13859 0 -1 4202560 301 0 0 0 0 0 0 0 16 0 22 0 830389416 10810368000 149010 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
[pid=17389/tid=17394] ppid=17387 vsize=10557000 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17394/stat : 17394 (java) S 17387 17389 13859 0 -1 4202560 458 0 0 0 0 0 0 0 15 0 22 0 830389416 10810368000 149010 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 2 0 0 0
[pid=17389/tid=17395] ppid=17387 vsize=10557000 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17395/stat : 17395 (java) S 17387 17389 13859 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830389416 10810368000 149010 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
[pid=17389/tid=17396] ppid=17387 vsize=10557000 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17396/stat : 17396 (java) S 17387 17389 13859 0 -1 4202560 244 0 0 0 0 0 0 0 15 0 22 0 830389416 10810368000 149010 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 2 0 0 0
[pid=17389/tid=17397] ppid=17387 vsize=10557000 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17397/stat : 17397 (java) S 17387 17389 13859 0 -1 4202560 487 0 0 0 0 0 0 0 15 0 22 0 830389416 10810368000 149010 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 2 0 0 0
[pid=17389/tid=17398] ppid=17387 vsize=10557000 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17398/stat : 17398 (java) S 17387 17389 13859 0 -1 4202560 935 0 0 0 0 0 0 0 16 0 22 0 830389416 10810368000 149010 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 2 0 0 0
[pid=17389/tid=17399] ppid=17387 vsize=10557000 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17399/stat : 17399 (java) S 17387 17389 13859 0 -1 4202560 219 0 0 0 0 0 0 0 15 0 22 0 830389416 10810368000 149010 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
[pid=17389/tid=17400] ppid=17387 vsize=10557000 CPUtime=0.04 cores=0,2,4,6
/proc/17389/task/17400/stat : 17400 (java) S 17387 17389 13859 0 -1 4202560 2620 0 0 0 4 0 0 0 15 0 22 0 830389417 10810368000 149010 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447833600 0 0 0 16800975 18446604449478044480 0 0 -1 4 0 0 0
[pid=17389/tid=17401] ppid=17387 vsize=10557000 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17401/stat : 17401 (java) S 17387 17389 13859 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830389417 10810368000 149010 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 4 0 0 0
[pid=17389/tid=17402] ppid=17387 vsize=10557000 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17402/stat : 17402 (java) S 17387 17389 13859 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830389417 10810368000 149010 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
[pid=17389/tid=17403] ppid=17387 vsize=10557000 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17403/stat : 17403 (java) S 17387 17389 13859 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830389419 10810368000 149010 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447840689 0 4 0 16800975 18446604449478044480 0 0 -1 4 0 0 0
[pid=17389/tid=17404] ppid=17387 vsize=10557000 CPUtime=0.68 cores=0,2,4,6
/proc/17389/task/17404/stat : 17404 (java) S 17387 17389 13859 0 -1 4202560 7469 0 0 0 68 0 0 0 15 0 22 0 830389419 10810368000 149010 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 0 0 0 0
[pid=17389/tid=17405] ppid=17387 vsize=10557000 CPUtime=0.72 cores=0,2,4,6
/proc/17389/task/17405/stat : 17405 (java) S 17387 17389 13859 0 -1 4202560 4210 0 0 0 72 0 0 0 15 0 22 0 830389420 10810368000 149010 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 4 0 0 0
[pid=17389/tid=17406] ppid=17387 vsize=10557000 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17406/stat : 17406 (java) S 17387 17389 13859 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830389420 10810368000 149010 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 4 0 0 0
[pid=17389/tid=17407] ppid=17387 vsize=10557000 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17407/stat : 17407 (java) S 17387 17389 13859 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830389420 10810368000 149010 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447833600 0 4 0 16800975 18446604449478044480 0 0 -1 2 0 0 0
[pid=17389/tid=17411] ppid=17387 vsize=10557000 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17411/stat : 17411 (java) S 17387 17389 13859 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830389433 10810368000 149010 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447833600 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
[pid=17389/tid=17412] ppid=17387 vsize=10557000 CPUtime=2.34 cores=0,2,4,6
/proc/17389/task/17412/stat : 17412 (java) R 17387 17389 13859 0 -1 4202560 3067 0 0 0 234 0 0 0 20 0 22 0 830389483 10810368000 149010 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 46912505543504 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17389/tid=17413] ppid=17387 vsize=10557000 CPUtime=2.3 cores=0,2,4,6
/proc/17389/task/17413/stat : 17413 (java) R 17387 17389 13859 0 -1 4202560 119578 0 0 0 220 10 0 0 18 0 22 0 830389483 10810368000 149010 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 46912505661631 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=17389/tid=17414] ppid=17387 vsize=10557000 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17414/stat : 17414 (java) S 17387 17389 13859 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 22 0 830389483 10810368000 149010 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447833600 0 4 0 16800975 18446604449478044480 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.38
Current children cumulated vsize (KiB) 10557000

[startup+6.30146 s]
/proc/loadavg: 3.47 3.03 2.30 5/524 17414
/proc/meminfo: memFree=25578092/32951124 swapFree=38422276/67111528
[pid=17389] ppid=17387 vsize=10557420 CPUtime=12.84 cores=0,2,4,6
/proc/17389/stat : 17389 (java) S 17387 17389 13859 0 -1 4202496 235911 0 1 0 1260 24 0 0 25 0 22 0 830389414 10810798080 231627 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17389/statm: 2639355 231627 2257 9 0 2630089 0
[pid=17389/tid=17390] ppid=17387 vsize=10557420 CPUtime=0.16 cores=0,2,4,6
/proc/17389/task/17390/stat : 17390 (java) S 17387 17389 13859 0 -1 4202560 11756 0 1 0 15 1 0 0 15 0 22 0 830389414 10810798080 231627 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447833600 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
[pid=17389/tid=17392] ppid=17387 vsize=10557420 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17392/stat : 17392 (java) S 17387 17389 13859 0 -1 4202560 995 0 0 0 0 0 0 0 15 0 22 0 830389416 10810798080 231627 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
[pid=17389/tid=17393] ppid=17387 vsize=10557420 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17393/stat : 17393 (java) S 17387 17389 13859 0 -1 4202560 488 0 0 0 0 0 0 0 16 0 22 0 830389416 10810798080 231627 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 4 0 0 0
[pid=17389/tid=17394] ppid=17387 vsize=10557420 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17394/stat : 17394 (java) S 17387 17389 13859 0 -1 4202560 512 0 0 0 0 0 0 0 15 0 22 0 830389416 10810798080 231627 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
[pid=17389/tid=17395] ppid=17387 vsize=10557420 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17395/stat : 17395 (java) S 17387 17389 13859 0 -1 4202560 219 0 0 0 0 0 0 0 15 0 22 0 830389416 10810798080 231627 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
[pid=17389/tid=17396] ppid=17387 vsize=10557420 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17396/stat : 17396 (java) S 17387 17389 13859 0 -1 4202560 244 0 0 0 0 0 0 0 15 0 22 0 830389416 10810798080 231627 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
[pid=17389/tid=17397] ppid=17387 vsize=10557420 CPUtime=0.01 cores=0,2,4,6
/proc/17389/task/17397/stat : 17397 (java) S 17387 17389 13859 0 -1 4202560 826 0 0 0 1 0 0 0 16 0 22 0 830389416 10810798080 231627 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 0 0 0 0
[pid=17389/tid=17398] ppid=17387 vsize=10557420 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17398/stat : 17398 (java) S 17387 17389 13859 0 -1 4202560 980 0 0 0 0 0 0 0 15 0 22 0 830389416 10810798080 231627 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 4 0 0 0
[pid=17389/tid=17399] ppid=17387 vsize=10557420 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17399/stat : 17399 (java) S 17387 17389 13859 0 -1 4202560 265 0 0 0 0 0 0 0 15 0 22 0 830389416 10810798080 231627 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0

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

[pid=17389/tid=17404] ppid=17387 vsize=10557420 CPUtime=0.9 cores=0,2,4,6
/proc/17389/task/17404/stat : 17404 (java) S 17387 17389 13859 0 -1 4202560 8722 0 0 0 90 0 0 0 15 0 22 0 830389419 10810798080 514113 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 0 0 0 0
[pid=17389/tid=17405] ppid=17387 vsize=10557420 CPUtime=1.11 cores=0,2,4,6
/proc/17389/task/17405/stat : 17405 (java) S 17387 17389 13859 0 -1 4202560 4358 0 0 0 111 0 0 0 15 0 22 0 830389420 10810798080 514113 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 2 0 0 0
[pid=17389/tid=17406] ppid=17387 vsize=10557420 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17406/stat : 17406 (java) S 17387 17389 13859 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830389420 10810798080 514113 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 4 0 0 0
[pid=17389/tid=17407] ppid=17387 vsize=10557420 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17407/stat : 17407 (java) S 17387 17389 13859 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 22 0 830389420 10810798080 514113 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447833600 0 4 0 16800975 18446604449478044480 0 0 -1 0 0 0 0
[pid=17389/tid=17418] ppid=17387 vsize=10557420 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17418/stat : 17418 (java) S 17387 17389 13859 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830390637 10810798080 514113 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447833600 0 4 0 16800975 18446604449478044480 0 0 -1 2 0 0 0
[pid=17389/tid=17425] ppid=17387 vsize=10557420 CPUtime=477.85 cores=0,2,4,6
/proc/17389/task/17425/stat : 17425 (java) R 17387 17389 13859 0 -1 4202560 243 0 0 0 47784 1 0 0 16 0 22 0 830390839 10810798080 514113 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 46912505591124 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17389/tid=17426] ppid=17387 vsize=10557420 CPUtime=477.86 cores=0,2,4,6
/proc/17389/task/17426/stat : 17426 (java) R 17387 17389 13859 0 -1 4202560 157511 0 0 0 47768 18 0 0 16 0 22 0 830390839 10810798080 514113 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 46912505553440 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17389/tid=17427] ppid=17387 vsize=10557420 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17427/stat : 17427 (java) S 17387 17389 13859 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830390839 10810798080 514113 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447833600 0 4 0 16800975 18446604449478044480 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1034.09
Current children cumulated vsize (KiB) 10557420

[startup+542.319 s]
/proc/loadavg: 3.54 3.57 2.91 3/521 17492
/proc/meminfo: memFree=24899852/32951124 swapFree=38422276/67111528
[pid=17389] ppid=17387 vsize=10557420 CPUtime=1037.33 cores=0,2,4,6
/proc/17389/stat : 17389 (java) S 17387 17389 13859 0 -1 4202496 520780 0 1 0 103671 62 0 0 25 0 22 0 830389414 10810798080 514113 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17389/statm: 2639355 514113 2258 9 0 2630089 0
[pid=17389/tid=17390] ppid=17387 vsize=10557420 CPUtime=0.17 cores=0,2,4,6
/proc/17389/task/17390/stat : 17390 (java) S 17387 17389 13859 0 -1 4202560 11761 0 1 0 16 1 0 0 15 0 22 0 830389414 10810798080 514113 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447833600 0 4 0 16800975 18446604449478044480 0 0 -1 0 0 0 0
[pid=17389/tid=17392] ppid=17387 vsize=10557420 CPUtime=0.57 cores=0,2,4,6
/proc/17389/task/17392/stat : 17392 (java) S 17387 17389 13859 0 -1 4202560 1194 0 0 0 57 0 0 0 16 0 22 0 830389416 10810798080 514113 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 2 0 0 0
[pid=17389/tid=17393] ppid=17387 vsize=10557420 CPUtime=0.65 cores=0,2,4,6
/proc/17389/task/17393/stat : 17393 (java) S 17387 17389 13859 0 -1 4202560 529 0 0 0 65 0 0 0 16 0 22 0 830389416 10810798080 514113 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
[pid=17389/tid=17394] ppid=17387 vsize=10557420 CPUtime=0.63 cores=0,2,4,6
/proc/17389/task/17394/stat : 17394 (java) S 17387 17389 13859 0 -1 4202560 573 0 0 0 63 0 0 0 15 0 22 0 830389416 10810798080 514113 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
[pid=17389/tid=17395] ppid=17387 vsize=10557420 CPUtime=0.57 cores=0,2,4,6
/proc/17389/task/17395/stat : 17395 (java) S 17387 17389 13859 0 -1 4202560 309 0 0 0 57 0 0 0 15 0 22 0 830389416 10810798080 514113 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 0 0 0 0
[pid=17389/tid=17396] ppid=17387 vsize=10557420 CPUtime=0.56 cores=0,2,4,6
/proc/17389/task/17396/stat : 17396 (java) S 17387 17389 13859 0 -1 4202560 322 0 0 0 56 0 0 0 15 0 22 0 830389416 10810798080 514113 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 2 0 0 0
[pid=17389/tid=17397] ppid=17387 vsize=10557420 CPUtime=0.59 cores=0,2,4,6
/proc/17389/task/17397/stat : 17397 (java) S 17387 17389 13859 0 -1 4202560 898 0 0 0 59 0 0 0 16 0 22 0 830389416 10810798080 514113 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
[pid=17389/tid=17398] ppid=17387 vsize=10557420 CPUtime=0.6 cores=0,2,4,6
/proc/17389/task/17398/stat : 17398 (java) S 17387 17389 13859 0 -1 4202560 1182 0 0 0 60 0 0 0 15 0 22 0 830389416 10810798080 514113 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 0 0 0 0
[pid=17389/tid=17399] ppid=17387 vsize=10557420 CPUtime=0.6 cores=0,2,4,6
/proc/17389/task/17399/stat : 17399 (java) S 17387 17389 13859 0 -1 4202560 321 0 0 0 60 0 0 0 15 0 22 0 830389416 10810798080 514113 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
[pid=17389/tid=17400] ppid=17387 vsize=10557420 CPUtime=47.32 cores=0,2,4,6
/proc/17389/task/17400/stat : 17400 (java) S 17387 17389 13859 0 -1 4202560 59740 0 0 0 4723 9 0 0 15 0 22 0 830389417 10810798080 514113 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447833600 0 0 0 16800975 18446604449478044480 0 0 -1 4 0 0 0
[pid=17389/tid=17401] ppid=17387 vsize=10557420 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17401/stat : 17401 (java) S 17387 17389 13859 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830389417 10810798080 514113 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 2 0 0 0
[pid=17389/tid=17402] ppid=17387 vsize=10557420 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17402/stat : 17402 (java) S 17387 17389 13859 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 22 0 830389417 10810798080 514113 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 2 0 0 0
[pid=17389/tid=17403] ppid=17387 vsize=10557420 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17403/stat : 17403 (java) S 17387 17389 13859 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830389419 10810798080 514113 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447840689 0 4 0 16800975 18446604449478044480 0 0 -1 4 0 0 0
[pid=17389/tid=17404] ppid=17387 vsize=10557420 CPUtime=0.9 cores=0,2,4,6
/proc/17389/task/17404/stat : 17404 (java) S 17387 17389 13859 0 -1 4202560 8722 0 0 0 90 0 0 0 15 0 22 0 830389419 10810798080 514113 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 0 0 0 0
[pid=17389/tid=17405] ppid=17387 vsize=10557420 CPUtime=1.11 cores=0,2,4,6
/proc/17389/task/17405/stat : 17405 (java) S 17387 17389 13859 0 -1 4202560 4358 0 0 0 111 0 0 0 15 0 22 0 830389420 10810798080 514113 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 2 0 0 0
[pid=17389/tid=17406] ppid=17387 vsize=10557420 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17406/stat : 17406 (java) S 17387 17389 13859 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830389420 10810798080 514113 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 4 0 0 0
[pid=17389/tid=17407] ppid=17387 vsize=10557420 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17407/stat : 17407 (java) S 17387 17389 13859 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 22 0 830389420 10810798080 514113 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447833600 0 4 0 16800975 18446604449478044480 0 0 -1 0 0 0 0
[pid=17389/tid=17418] ppid=17387 vsize=10557420 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17418/stat : 17418 (java) S 17387 17389 13859 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830390637 10810798080 514113 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447833600 0 4 0 16800975 18446604449478044480 0 0 -1 2 0 0 0
[pid=17389/tid=17425] ppid=17387 vsize=10557420 CPUtime=479.47 cores=0,2,4,6
/proc/17389/task/17425/stat : 17425 (java) R 17387 17389 13859 0 -1 4202560 243 0 0 0 47946 1 0 0 17 0 22 0 830390839 10810798080 514113 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 46912505728468 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17389/tid=17426] ppid=17387 vsize=10557420 CPUtime=479.47 cores=0,2,4,6
/proc/17389/task/17426/stat : 17426 (java) R 17387 17389 13859 0 -1 4202560 157511 0 0 0 47929 18 0 0 17 0 22 0 830390839 10810798080 514113 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 46912505583829 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17389/tid=17427] ppid=17387 vsize=10557420 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17427/stat : 17427 (java) S 17387 17389 13859 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830390839 10810798080 514113 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447833600 0 4 0 16800975 18446604449478044480 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1037.33
Current children cumulated vsize (KiB) 10557420

[startup+543.901 s]
/proc/loadavg: 3.54 3.57 2.91 4/521 17498
/proc/meminfo: memFree=24855832/32951124 swapFree=38422276/67111528
[pid=17389] ppid=17387 vsize=10557420 CPUtime=1040.16 cores=0,2,4,6
/proc/17389/stat : 17389 (java) S 17387 17389 13859 0 -1 4202496 521121 0 1 0 103954 62 0 0 25 0 19 0 830389414 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17389/statm: 2639355 514453 2258 9 0 2630089 0
[pid=17389/tid=17390] ppid=17387 vsize=10557420 CPUtime=0.17 cores=0,2,4,6
/proc/17389/task/17390/stat : 17390 (java) S 17387 17389 13859 0 -1 4202560 11761 0 1 0 16 1 0 0 15 0 19 0 830389414 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447833600 0 4 0 16800975 18446604449478044480 0 0 -1 0 0 0 0
[pid=17389/tid=17392] ppid=17387 vsize=10557420 CPUtime=0.57 cores=0,2,4,6
/proc/17389/task/17392/stat : 17392 (java) S 17387 17389 13859 0 -1 4202560 1194 0 0 0 57 0 0 0 15 0 19 0 830389416 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 2 0 0 0
[pid=17389/tid=17393] ppid=17387 vsize=10557420 CPUtime=0.65 cores=0,2,4,6
/proc/17389/task/17393/stat : 17393 (java) S 17387 17389 13859 0 -1 4202560 529 0 0 0 65 0 0 0 15 0 19 0 830389416 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
[pid=17389/tid=17394] ppid=17387 vsize=10557420 CPUtime=0.63 cores=0,2,4,6
/proc/17389/task/17394/stat : 17394 (java) S 17387 17389 13859 0 -1 4202560 573 0 0 0 63 0 0 0 16 0 19 0 830389416 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
[pid=17389/tid=17395] ppid=17387 vsize=10557420 CPUtime=0.58 cores=0,2,4,6
/proc/17389/task/17395/stat : 17395 (java) S 17387 17389 13859 0 -1 4202560 309 0 0 0 58 0 0 0 16 0 19 0 830389416 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 0 0 0 0
[pid=17389/tid=17396] ppid=17387 vsize=10557420 CPUtime=0.57 cores=0,2,4,6
/proc/17389/task/17396/stat : 17396 (java) S 17387 17389 13859 0 -1 4202560 322 0 0 0 57 0 0 0 16 0 19 0 830389416 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 2 0 0 0
[pid=17389/tid=17397] ppid=17387 vsize=10557420 CPUtime=0.59 cores=0,2,4,6
/proc/17389/task/17397/stat : 17397 (java) S 17387 17389 13859 0 -1 4202560 898 0 0 0 59 0 0 0 15 0 19 0 830389416 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
[pid=17389/tid=17398] ppid=17387 vsize=10557420 CPUtime=0.6 cores=0,2,4,6
/proc/17389/task/17398/stat : 17398 (java) S 17387 17389 13859 0 -1 4202560 1182 0 0 0 60 0 0 0 15 0 19 0 830389416 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 0 0 0 0
[pid=17389/tid=17399] ppid=17387 vsize=10557420 CPUtime=0.61 cores=0,2,4,6
/proc/17389/task/17399/stat : 17399 (java) S 17387 17389 13859 0 -1 4202560 321 0 0 0 61 0 0 0 16 0 19 0 830389416 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
[pid=17389/tid=17400] ppid=17387 vsize=10557420 CPUtime=47.58 cores=0,2,4,6
/proc/17389/task/17400/stat : 17400 (java) S 17387 17389 13859 0 -1 4202560 60080 0 0 0 4749 9 0 0 15 0 19 0 830389417 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447833600 0 0 0 16800975 18446604449478044480 0 0 -1 4 0 0 0
[pid=17389/tid=17401] ppid=17387 vsize=10557420 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17401/stat : 17401 (java) S 17387 17389 13859 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830389417 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 2 0 0 0
[pid=17389/tid=17402] ppid=17387 vsize=10557420 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17402/stat : 17402 (java) S 17387 17389 13859 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 830389417 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 2 0 0 0
[pid=17389/tid=17403] ppid=17387 vsize=10557420 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17403/stat : 17403 (java) S 17387 17389 13859 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830389419 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447840689 0 4 0 16800975 18446604449478044480 0 0 -1 4 0 0 0
[pid=17389/tid=17404] ppid=17387 vsize=10557420 CPUtime=0.9 cores=0,2,4,6
/proc/17389/task/17404/stat : 17404 (java) S 17387 17389 13859 0 -1 4202560 8722 0 0 0 90 0 0 0 15 0 19 0 830389419 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 0 0 0 0
[pid=17389/tid=17405] ppid=17387 vsize=10557420 CPUtime=1.11 cores=0,2,4,6
/proc/17389/task/17405/stat : 17405 (java) S 17387 17389 13859 0 -1 4202560 4358 0 0 0 111 0 0 0 15 0 19 0 830389420 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 2 0 0 0
[pid=17389/tid=17406] ppid=17387 vsize=10557420 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17406/stat : 17406 (java) S 17387 17389 13859 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 830389420 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 4 0 0 0
[pid=17389/tid=17407] ppid=17387 vsize=10557420 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17407/stat : 17407 (java) S 17387 17389 13859 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 830389420 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447833600 0 4 0 16800975 18446604449478044480 0 0 -1 0 0 0 0
[pid=17389/tid=17427] ppid=17387 vsize=10557420 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17427/stat : 17427 (java) S 17387 17389 13859 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 830390839 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447833600 0 4 0 16800975 18446604449478044480 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1040.16
Current children cumulated vsize (KiB) 10557420

[startup+544.701 s]
/proc/loadavg: 3.54 3.57 2.91 4/521 17507
/proc/meminfo: memFree=24823220/32951124 swapFree=38422276/67111528
[pid=17389] ppid=17387 vsize=10557420 CPUtime=1040.74 cores=0,2,4,6
/proc/17389/stat : 17389 (java) S 17387 17389 13859 0 -1 4202496 521123 0 1 0 104012 62 0 0 25 0 19 0 830389414 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17389/statm: 2639355 514453 2258 9 0 2630089 0
[pid=17389/tid=17390] ppid=17387 vsize=10557420 CPUtime=0.73 cores=0,2,4,6
/proc/17389/task/17390/stat : 17390 (java) R 17387 17389 13859 0 -1 4202560 11762 0 1 0 72 1 0 0 16 0 19 0 830389414 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 46912505366594 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17389/tid=17392] ppid=17387 vsize=10557420 CPUtime=0.57 cores=0,2,4,6
/proc/17389/task/17392/stat : 17392 (java) S 17387 17389 13859 0 -1 4202560 1194 0 0 0 57 0 0 0 15 0 19 0 830389416 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 2 0 0 0
[pid=17389/tid=17393] ppid=17387 vsize=10557420 CPUtime=0.65 cores=0,2,4,6
/proc/17389/task/17393/stat : 17393 (java) S 17387 17389 13859 0 -1 4202560 529 0 0 0 65 0 0 0 15 0 19 0 830389416 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
[pid=17389/tid=17394] ppid=17387 vsize=10557420 CPUtime=0.63 cores=0,2,4,6
/proc/17389/task/17394/stat : 17394 (java) S 17387 17389 13859 0 -1 4202560 573 0 0 0 63 0 0 0 16 0 19 0 830389416 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
[pid=17389/tid=17395] ppid=17387 vsize=10557420 CPUtime=0.58 cores=0,2,4,6
/proc/17389/task/17395/stat : 17395 (java) S 17387 17389 13859 0 -1 4202560 309 0 0 0 58 0 0 0 16 0 19 0 830389416 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 0 0 0 0
[pid=17389/tid=17396] ppid=17387 vsize=10557420 CPUtime=0.57 cores=0,2,4,6
/proc/17389/task/17396/stat : 17396 (java) S 17387 17389 13859 0 -1 4202560 322 0 0 0 57 0 0 0 16 0 19 0 830389416 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 2 0 0 0
[pid=17389/tid=17397] ppid=17387 vsize=10557420 CPUtime=0.59 cores=0,2,4,6
/proc/17389/task/17397/stat : 17397 (java) S 17387 17389 13859 0 -1 4202560 898 0 0 0 59 0 0 0 15 0 19 0 830389416 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
[pid=17389/tid=17398] ppid=17387 vsize=10557420 CPUtime=0.6 cores=0,2,4,6
/proc/17389/task/17398/stat : 17398 (java) S 17387 17389 13859 0 -1 4202560 1182 0 0 0 60 0 0 0 15 0 19 0 830389416 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 0 0 0 0
[pid=17389/tid=17399] ppid=17387 vsize=10557420 CPUtime=0.61 cores=0,2,4,6
/proc/17389/task/17399/stat : 17399 (java) S 17387 17389 13859 0 -1 4202560 321 0 0 0 61 0 0 0 16 0 19 0 830389416 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
[pid=17389/tid=17400] ppid=17387 vsize=10557420 CPUtime=47.58 cores=0,2,4,6
/proc/17389/task/17400/stat : 17400 (java) S 17387 17389 13859 0 -1 4202560 60080 0 0 0 4749 9 0 0 15 0 19 0 830389417 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447833600 0 0 0 16800975 18446604449478044480 0 0 -1 4 0 0 0
[pid=17389/tid=17401] ppid=17387 vsize=10557420 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17401/stat : 17401 (java) S 17387 17389 13859 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830389417 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 2 0 0 0
[pid=17389/tid=17402] ppid=17387 vsize=10557420 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17402/stat : 17402 (java) S 17387 17389 13859 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 830389417 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 2 0 0 0
[pid=17389/tid=17403] ppid=17387 vsize=10557420 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17403/stat : 17403 (java) S 17387 17389 13859 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830389419 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447840689 0 4 0 16800975 18446604449478044480 0 0 -1 4 0 0 0
[pid=17389/tid=17404] ppid=17387 vsize=10557420 CPUtime=0.92 cores=0,2,4,6
/proc/17389/task/17404/stat : 17404 (java) S 17387 17389 13859 0 -1 4202560 8722 0 0 0 92 0 0 0 16 0 19 0 830389419 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 2 0 0 0
[pid=17389/tid=17405] ppid=17387 vsize=10557420 CPUtime=1.11 cores=0,2,4,6
/proc/17389/task/17405/stat : 17405 (java) S 17387 17389 13859 0 -1 4202560 4359 0 0 0 111 0 0 0 15 0 19 0 830389420 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 2 0 0 0
[pid=17389/tid=17406] ppid=17387 vsize=10557420 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17406/stat : 17406 (java) S 17387 17389 13859 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 830389420 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447832985 0 4 0 16800975 18446604449478044480 0 0 -1 4 0 0 0
[pid=17389/tid=17407] ppid=17387 vsize=10557420 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17407/stat : 17407 (java) S 17387 17389 13859 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 830389420 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447833600 0 4 0 16800975 18446604449478044480 0 0 -1 6 0 0 0
[pid=17389/tid=17427] ppid=17387 vsize=10557420 CPUtime=0 cores=0,2,4,6
/proc/17389/task/17427/stat : 17427 (java) S 17387 17389 13859 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 830390839 10810798080 514453 33554432000 1073741824 1073778376 140735272453136 18446744073709551615 212447833600 0 4 0 16800975 18446604449478044480 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1040.74
Current children cumulated vsize (KiB) 10557420

[startup+545.101 s]
/proc/loadavg: 3.54 3.57 2.91 4/521 17507
/proc/meminfo: memFree=24823220/32951124 swapFree=38422276/67111528
[pid=17389] ppid=17387 vsize=0 CPUtime=1041.14 cores=0,2,4,6
/proc/17389/stat : 17389 (java) Z 17387 17389 13859 0 -1 4203548 521128 0 1 0 104048 66 0 0 18 0 2 0 830389414 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17389/statm: 0 0 0 0 0 0 0
[pid=17389/tid=17390] ppid=17387 vsize=0 CPUtime=1.13 cores=0,2,4,6
/proc/17389/task/17390/stat : 17390 (java) R 17387 17389 13859 0 -1 4203588 11765 0 1 0 107 6 0 0 17 0 2 0 830389414 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1041.14
Current children cumulated vsize (KiB) 0

Child status: 30
Real time (s): 545.138
CPU time (s): 1041.19
CPU user time (s): 1040.49
CPU system time (s): 0.702893
CPU usage (%): 190.995
Max. virtual memory (cumulated for all children) (KiB): 10557420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1040.49
system time used= 0.702893
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 521128
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= 20982
involuntary context switches= 14091

runsolver used 2.91956 second user time and 6.03608 second system time

The end

Launcher Data 

Begin job on node102 at 2011-06-04 13:44:31
IDJOB=3455038
IDBENCH=1854
IDSOLVER=1950
FILE ID=node102/3455038-1307187871
RUNJOBID= node102-1307187379-16959
PBS_JOBID= 13508853
Free space on /tmp= 73964 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3455038-1307187871/watcher-3455038-1307187871 -o /tmp/evaluation-result-3455038-1307187871/solver-3455038-1307187871 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455038-1307187871.opb

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

MD5SUM BENCH= 4dd9ac2644c29d272d2675c7fc366ed6
RANDOM SEED=630293780

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26455656 kB
Buffers:        320876 kB
Cached:        1585908 kB
SwapCached:      86940 kB
Active:        1409952 kB
Inactive:      4782360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26455656 kB
SwapTotal:    67111528 kB
SwapFree:     38422276 kB
Dirty:             860 kB
Writeback:           8 kB
AnonPages:     4221852 kB
Mapped:          21948 kB
Slab:           133616 kB
PageTables:     101148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 145844848 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= 73964 MiB
End job on node102 at 2011-06-04 13:53:36