Trace number 3735382

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
PB11: Sat4j Res//CP 2.3.0SAT (TO)-5 1800.19 914.741

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555-max.opb
MD5SUM2533454829254b6bcc39aa8d9b25219b
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-18535
Best CPU time to get the best result obtained on this benchmark886.746
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -18535
Optimality of the best value was proved NO
Number of variables901
Total number of constraints2521
Number of constraints which are clauses2520
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint840
Number of terms in the objective function 21
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 2097151
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 576460752303423488
Number of bits of the biggest number in a constraint 60
Biggest sum of numbers in a constraint 2305842614989581580
Number of bits of the biggest sum of numbers61
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.06/0.11	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.11	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.11	c See www.sat4j.org for details.
0.06/0.11	c version 2.3.1.v20110525
0.06/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.11	c java.vm.version	19.1-b02
0.06/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.11	c sun.arch.data.model	64
0.06/0.11	c java.version		1.6.0_24
0.06/0.11	c os.name		Linux
0.06/0.11	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.11	c os.arch		amd64
0.06/0.11	c Free memory 		9996466904
0.06/0.11	c Max memory 		10048897024
0.06/0.11	c Total memory 		10048897024
0.06/0.11	c Number of processors 	8
0.06/0.14	c Pseudo Boolean Optimization
0.06/0.14	c ManyCore solver with 2 solvers running in parallel
0.06/0.14	c --- Begin Solver configuration ---
0.06/0.14	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.06/0.14	c Learn all clauses as in MiniSAT
0.06/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.14	c Expensive reason simplification
0.06/0.14	c Armin Biere (Picosat) restarts strategy
0.06/0.14	c Glucose learned constraints deletion strategy
0.06/0.14	c timeout=2147483s
0.06/0.14	c DB Simplification allowed=false
0.06/0.14	c --- End Solver configuration ---
0.06/0.14	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.06/0.14	c --- Begin Solver configuration ---
0.06/0.14	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.06/0.14	c Learn all clauses as in MiniSAT
0.06/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.14	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.06/0.14	c No reason simplification
0.06/0.14	c Armin Biere (Picosat) restarts strategy
0.06/0.14	c Glucose learned constraints deletion strategy
0.06/0.14	c timeout=2147483s
0.06/0.14	c DB Simplification allowed=false
0.06/0.14	c --- End Solver configuration ---
0.06/0.14	c solving HOME/instance-3735382-1338695048.opb
0.06/0.14	c reading problem ... 
0.43/0.34	c ... done. Wall clock time 0.203s.
0.43/0.34	c #vars     901
0.43/0.34	c #constraints  2732
0.43/0.34	c constraints type 
0.43/0.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 840
0.43/0.34	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1680
0.43/0.34	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
0.43/0.34	c constraints type 
0.43/0.34	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1680
0.43/0.34	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 840
0.43/0.34	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2
6.07/2.52	c cleaning 2500 clauses out of 5000 with flag 5000/5000
10.75/4.87	c cleaning 4247 clauses out of 8501 with flag 11001/11001
17.15/8.04	c cleaning 5627 clauses out of 11253 with flag 18000/18000
24.35/11.65	c cleaning 6813 clauses out of 13629 with flag 26003/26003
32.54/15.71	c cleaning 7897 clauses out of 15814 with flag 35001/35001
40.97/19.91	c cleaning 8951 clauses out of 17916 with flag 45000/45000
49.95/24.46	c cleaning 9480 clauses out of 18968 with flag 55003/55003
58.71/28.89	c cleaning 9739 clauses out of 19485 with flag 65000/65000
67.25/33.16	c cleaning 9871 clauses out of 19747 with flag 75001/75001
76.22/37.65	c cleaning 9935 clauses out of 19875 with flag 85000/85000
83.78/41.47	c cleaning 9964 clauses out of 19940 with flag 95000/95000
91.15/45.18	c cleaning 9984 clauses out of 19978 with flag 105002/105002
100.05/49.60	c cleaning 9992 clauses out of 19994 with flag 115002/115002
109.20/54.25	c cleaning 9998 clauses out of 20001 with flag 125001/125001
118.16/58.76	c cleaning 9998 clauses out of 20003 with flag 135001/135001
126.92/63.17	c cleaning 10000 clauses out of 20006 with flag 145002/145002
134.43/66.91	c cleaning 9998 clauses out of 20006 with flag 155002/155002
141.39/70.42	c cleaning 10000 clauses out of 20007 with flag 165001/165001
148.74/74.15	c cleaning 9996 clauses out of 20006 with flag 175000/175000
156.50/78.08	c cleaning 9997 clauses out of 20010 with flag 185000/185000
166.00/82.82	c cleaning 10006 clauses out of 20016 with flag 195003/195003
175.54/87.62	c cleaning 10001 clauses out of 20009 with flag 205002/205002
183.87/91.84	c cleaning 10002 clauses out of 20008 with flag 215002/215002
191.80/95.87	c cleaning 9996 clauses out of 20005 with flag 225001/225001
200.31/100.18	c cleaning 9991 clauses out of 20008 with flag 235000/235000
208.63/104.33	c cleaning 10003 clauses out of 20018 with flag 245001/245001
217.17/108.62	c cleaning 10001 clauses out of 20015 with flag 255001/255001
225.31/112.71	c cleaning 9999 clauses out of 20015 with flag 265002/265002
233.39/116.86	c cleaning 9996 clauses out of 20016 with flag 275002/275002
234.93/117.70	c  And the winner is Resolution
234.61/118.00	c SATISFIABLE
234.61/118.00	c OPTIMIZING...
234.61/118.00	c Got one! Elapsed wall clock time (in seconds):117.857
234.61/118.00	o -5
237.21/119.30	c cleaning 7919 clauses out of 15846 with flag 3000/280828
242.13/121.88	c cleaning 6957 clauses out of 13928 with flag 9001/286829
247.26/124.43	c cleaning 6981 clauses out of 13970 with flag 16000/293828
253.55/127.61	c cleaning 7487 clauses out of 14988 with flag 24000/301828
260.86/131.33	c cleaning 8244 clauses out of 16502 with flag 33001/310829
269.79/135.82	c cleaning 9128 clauses out of 18259 with flag 43002/320830
278.31/140.11	c cleaning 9561 clauses out of 19128 with flag 53000/330828
286.58/144.39	c cleaning 9780 clauses out of 19567 with flag 63000/340828
295.70/148.96	c cleaning 9884 clauses out of 19787 with flag 73000/350828
304.02/153.10	c cleaning 9952 clauses out of 19905 with flag 83002/360830
316.34/159.36	c cleaning 9970 clauses out of 19951 with flag 93000/370828
327.41/164.95	c cleaning 9986 clauses out of 19980 with flag 103000/380828
339.32/170.90	c cleaning 9993 clauses out of 19995 with flag 113001/390829
351.65/177.13	c cleaning 9997 clauses out of 20002 with flag 123001/400829
363.35/183.01	c cleaning 9997 clauses out of 20005 with flag 133001/410829
373.20/188.04	c cleaning 9999 clauses out of 20007 with flag 143000/420828
381.91/192.45	c cleaning 9997 clauses out of 20008 with flag 153000/430828
390.62/196.87	c cleaning 10004 clauses out of 20014 with flag 163003/440831
397.92/200.53	c cleaning 9999 clauses out of 20006 with flag 173000/450828
405.97/204.66	c cleaning 9996 clauses out of 20007 with flag 183000/460828
414.06/208.76	c cleaning 9997 clauses out of 20011 with flag 193000/470828
422.56/213.08	c cleaning 9999 clauses out of 20016 with flag 203002/480830
433.47/218.51	c cleaning 9999 clauses out of 20015 with flag 213001/490829
442.30/223.07	c cleaning 10005 clauses out of 20016 with flag 223001/500829
451.64/227.76	c cleaning 10004 clauses out of 20016 with flag 233006/510834
459.34/231.68	c cleaning 9998 clauses out of 20007 with flag 243001/520829
469.24/236.67	c cleaning 9995 clauses out of 20009 with flag 253001/530829
477.70/240.93	c cleaning 10000 clauses out of 20013 with flag 263000/540828
485.38/244.86	c cleaning 10003 clauses out of 20014 with flag 273001/550829
492.89/248.65	c cleaning 9999 clauses out of 20013 with flag 283003/560831
501.17/252.85	c cleaning 9997 clauses out of 20011 with flag 293000/570828
509.41/257.09	c cleaning 10001 clauses out of 20015 with flag 303001/580829
517.71/261.23	c cleaning 10005 clauses out of 20017 with flag 313004/590832
526.00/265.49	c cleaning 9995 clauses out of 20009 with flag 323001/600829
534.29/269.69	c cleaning 10003 clauses out of 20014 with flag 333001/610829
542.53/273.81	c cleaning 9998 clauses out of 20011 with flag 343001/620829
551.01/278.15	c cleaning 9999 clauses out of 20012 with flag 353000/630828
560.11/282.73	c cleaning 9998 clauses out of 20013 with flag 363000/640828
569.79/287.66	c cleaning 10003 clauses out of 20017 with flag 373002/650830
578.01/291.86	c cleaning 9998 clauses out of 20013 with flag 383001/660829
586.89/296.35	c cleaning 9997 clauses out of 20015 with flag 393001/670829
595.18/300.52	c cleaning 10004 clauses out of 20017 with flag 403000/680828
603.27/304.64	c cleaning 10000 clauses out of 20014 with flag 413001/690829
611.88/309.05	c cleaning 10000 clauses out of 20013 with flag 423000/700828
620.16/313.27	c cleaning 10001 clauses out of 20016 with flag 433003/710831
631.24/318.84	c cleaning 9992 clauses out of 20012 with flag 443000/720828
641.34/323.96	c cleaning 10002 clauses out of 20020 with flag 453000/730828
652.74/329.77	c cleaning 10004 clauses out of 20019 with flag 463001/740829
661.84/334.39	c cleaning 9999 clauses out of 20014 with flag 473000/750828
670.92/338.95	c cleaning 10004 clauses out of 20015 with flag 483000/760828
683.81/345.45	c cleaning 9996 clauses out of 20011 with flag 493000/770828
692.60/349.90	c cleaning 10002 clauses out of 20015 with flag 503000/780828
699.68/353.59	c cleaning 10002 clauses out of 20013 with flag 513000/790828
708.16/357.86	c cleaning 9995 clauses out of 20012 with flag 523001/800829
716.05/361.86	c cleaning 9999 clauses out of 20017 with flag 533001/810829
723.84/365.83	c cleaning 10004 clauses out of 20018 with flag 543001/820829
731.73/369.80	c cleaning 10000 clauses out of 20015 with flag 553002/830830
739.61/373.90	c cleaning 9996 clauses out of 20014 with flag 563001/840829
747.89/378.07	c cleaning 9997 clauses out of 20017 with flag 573000/850828
755.49/381.96	c cleaning 10006 clauses out of 20020 with flag 583000/860828
763.35/385.93	c cleaning 9999 clauses out of 20015 with flag 593001/870829
771.23/389.90	c cleaning 10003 clauses out of 20018 with flag 603003/880831
779.11/393.92	c cleaning 9998 clauses out of 20013 with flag 613001/890829
786.71/397.87	c cleaning 9999 clauses out of 20016 with flag 623002/900830
794.79/401.93	c cleaning 10001 clauses out of 20018 with flag 633003/910831
802.70/405.98	c cleaning 9989 clauses out of 20014 with flag 643000/920828
810.97/410.18	c cleaning 10007 clauses out of 20026 with flag 653001/930829
818.58/414.00	c cleaning 10003 clauses out of 20019 with flag 663001/940829
825.65/417.63	c cleaning 9999 clauses out of 20016 with flag 673001/950829
834.51/422.19	c cleaning 10002 clauses out of 20016 with flag 683000/960828
847.99/428.91	c cleaning 10004 clauses out of 20016 with flag 693002/970830
857.56/433.84	c cleaning 10001 clauses out of 20011 with flag 703001/980829
865.03/437.61	c cleaning 10000 clauses out of 20010 with flag 713001/990829
873.10/441.73	c cleaning 10000 clauses out of 20009 with flag 723000/1000828
879.97/445.20	c cleaning 9994 clauses out of 20010 with flag 733001/1010829
886.54/448.62	c cleaning 9999 clauses out of 20016 with flag 743001/1020829
893.24/452.04	c cleaning 10000 clauses out of 20017 with flag 753001/1030829
900.10/455.53	c cleaning 10000 clauses out of 20016 with flag 763000/1040828
906.57/458.89	c cleaning 10002 clauses out of 20016 with flag 773000/1050828
914.36/462.80	c cleaning 9996 clauses out of 20014 with flag 783000/1060828
922.23/466.89	c cleaning 9995 clauses out of 20018 with flag 793000/1070828
930.69/471.15	c cleaning 9992 clauses out of 20023 with flag 803000/1080828
938.15/474.96	c cleaning 10006 clauses out of 20031 with flag 813000/1090828
944.93/478.43	c cleaning 10007 clauses out of 20025 with flag 823000/1100828
952.19/482.17	c cleaning 10004 clauses out of 20018 with flag 833000/1110828
960.27/486.22	c cleaning 9998 clauses out of 20015 with flag 843001/1120829
967.71/490.03	c cleaning 9997 clauses out of 20017 with flag 853001/1130829
975.88/494.26	c cleaning 9998 clauses out of 20019 with flag 863000/1140828
983.77/498.27	c cleaning 10005 clauses out of 20021 with flag 873000/1150828
991.01/501.90	c cleaning 9997 clauses out of 20017 with flag 883001/1160829
999.27/506.16	c cleaning 10000 clauses out of 20020 with flag 893001/1170829
1007.47/510.39	c cleaning 10001 clauses out of 20019 with flag 903000/1180828
1014.71/514.01	c cleaning 10001 clauses out of 20020 with flag 913002/1190830
1021.76/517.66	c cleaning 9999 clauses out of 20017 with flag 923000/1200828
1029.42/521.59	c cleaning 9999 clauses out of 20019 with flag 933001/1210829
1037.59/525.74	c cleaning 10001 clauses out of 20019 with flag 943000/1220828
1046.82/530.44	c cleaning 10000 clauses out of 20018 with flag 953000/1230828
1056.27/535.27	c cleaning 9996 clauses out of 20018 with flag 963000/1240828
1065.34/539.89	c cleaning 10000 clauses out of 20022 with flag 973000/1250828
1075.12/544.82	c cleaning 10002 clauses out of 20023 with flag 983001/1260829
1083.77/549.22	c cleaning 10002 clauses out of 20022 with flag 993002/1270830
1091.84/553.31	c cleaning 10002 clauses out of 20018 with flag 1003000/1280828
1100.08/557.55	c cleaning 9999 clauses out of 20016 with flag 1013000/1290828
1108.87/562.01	c cleaning 9998 clauses out of 20017 with flag 1023000/1300828
1117.10/566.24	c cleaning 9998 clauses out of 20022 with flag 1033003/1310831
1125.55/570.55	c cleaning 9999 clauses out of 20022 with flag 1043001/1320829
1135.01/575.39	c cleaning 10004 clauses out of 20022 with flag 1053000/1330828
1144.38/580.11	c cleaning 9995 clauses out of 20018 with flag 1063000/1340828
1154.23/585.11	c cleaning 10003 clauses out of 20024 with flag 1073001/1350829
1163.88/590.07	c cleaning 9995 clauses out of 20020 with flag 1083000/1360828
1172.72/594.55	c cleaning 10007 clauses out of 20026 with flag 1093001/1370829
1180.85/598.74	c cleaning 10002 clauses out of 20018 with flag 1103000/1380828
1189.30/603.01	c cleaning 10001 clauses out of 20018 with flag 1113002/1390830
1197.75/607.30	c cleaning 10000 clauses out of 20017 with flag 1123002/1400830
1206.59/611.89	c cleaning 10000 clauses out of 20016 with flag 1133001/1410829
1215.54/616.50	c cleaning 9996 clauses out of 20016 with flag 1143001/1420829
1224.96/621.23	c cleaning 10004 clauses out of 20019 with flag 1153000/1430828
1234.03/625.87	c cleaning 9998 clauses out of 20016 with flag 1163001/1440829
1242.07/629.99	c cleaning 9999 clauses out of 20018 with flag 1173001/1450829
1250.60/634.30	c cleaning 10001 clauses out of 20018 with flag 1183000/1460828
1259.04/638.66	c cleaning 10007 clauses out of 20018 with flag 1193001/1470829
1267.66/643.08	c cleaning 9998 clauses out of 20013 with flag 1203003/1480831
1277.52/648.01	c cleaning 10002 clauses out of 20013 with flag 1213001/1490829
1287.89/653.35	c cleaning 10002 clauses out of 20011 with flag 1223001/1500829
1299.72/659.34	c cleaning 10000 clauses out of 20009 with flag 1233001/1510829
1312.34/665.73	c cleaning 9995 clauses out of 20008 with flag 1243000/1520828
1324.59/671.90	c cleaning 10001 clauses out of 20014 with flag 1253001/1530829
1335.33/677.45	c cleaning 10003 clauses out of 20014 with flag 1263002/1540830
1346.40/683.10	c cleaning 10002 clauses out of 20010 with flag 1273001/1550829
1357.02/688.43	c cleaning 10001 clauses out of 20008 with flag 1283001/1560829
1365.64/692.83	c cleaning 9993 clauses out of 20007 with flag 1293001/1570829
1374.80/697.59	c cleaning 10003 clauses out of 20014 with flag 1303001/1580829
1383.63/702.01	c cleaning 10001 clauses out of 20010 with flag 1313000/1590828
1392.26/706.48	c cleaning 10001 clauses out of 20011 with flag 1323002/1600830
1400.90/710.84	c cleaning 9998 clauses out of 20008 with flag 1333000/1610828
1409.63/715.35	c cleaning 9995 clauses out of 20010 with flag 1343000/1620828
1418.86/720.03	c cleaning 10001 clauses out of 20015 with flag 1353000/1630828
1427.29/724.31	c cleaning 9997 clauses out of 20015 with flag 1363001/1640829
1436.13/728.80	c cleaning 10005 clauses out of 20020 with flag 1373003/1650831
1444.25/733.08	c cleaning 9997 clauses out of 20012 with flag 1383000/1660828
1452.10/737.08	c cleaning 9999 clauses out of 20016 with flag 1393001/1670829
1460.73/741.42	c cleaning 9997 clauses out of 20017 with flag 1403001/1680829
1468.14/745.28	c cleaning 10003 clauses out of 20020 with flag 1413001/1690829
1477.25/749.97	c cleaning 10001 clauses out of 20016 with flag 1423000/1700828
1486.50/754.67	c cleaning 10001 clauses out of 20017 with flag 1433002/1710830
1495.13/759.01	c cleaning 9997 clauses out of 20014 with flag 1443000/1720828
1503.36/763.24	c cleaning 10003 clauses out of 20017 with flag 1453000/1730828
1512.11/767.78	c cleaning 10000 clauses out of 20015 with flag 1463001/1740829
1520.74/772.19	c cleaning 9995 clauses out of 20015 with flag 1473001/1750829
1529.59/776.64	c cleaning 9993 clauses out of 20020 with flag 1483001/1760829
1538.02/780.97	c cleaning 10003 clauses out of 20028 with flag 1493002/1770830
1546.75/785.47	c cleaning 10000 clauses out of 20024 with flag 1503001/1780829
1555.37/789.86	c cleaning 10000 clauses out of 20025 with flag 1513002/1790830
1564.00/794.20	c cleaning 10003 clauses out of 20024 with flag 1523001/1800829
1572.63/798.62	c cleaning 10008 clauses out of 20021 with flag 1533001/1810829
1582.53/803.77	c cleaning 10001 clauses out of 20012 with flag 1543000/1820828
1592.17/808.60	c cleaning 10001 clauses out of 20012 with flag 1553001/1830829
1601.41/813.31	c cleaning 9996 clauses out of 20010 with flag 1563000/1840828
1610.62/818.01	c cleaning 9996 clauses out of 20014 with flag 1573000/1850828
1619.54/822.69	c cleaning 10001 clauses out of 20019 with flag 1583001/1860829
1628.38/827.16	c cleaning 10005 clauses out of 20017 with flag 1593000/1870828
1637.21/831.64	c cleaning 9998 clauses out of 20013 with flag 1603001/1880829
1645.84/836.07	c cleaning 10001 clauses out of 20016 with flag 1613002/1890830
1654.95/840.78	c cleaning 10000 clauses out of 20014 with flag 1623001/1900829
1664.19/845.46	c cleaning 9998 clauses out of 20014 with flag 1633001/1910829
1673.41/850.16	c cleaning 9997 clauses out of 20015 with flag 1643000/1920828
1683.21/855.14	c cleaning 9999 clauses out of 20018 with flag 1653000/1930828
1692.94/860.16	c cleaning 10004 clauses out of 20019 with flag 1663000/1940828
1702.34/864.95	c cleaning 10002 clauses out of 20017 with flag 1673002/1950830
1711.98/869.87	c cleaning 9997 clauses out of 20013 with flag 1683000/1960828
1720.60/874.28	c cleaning 10000 clauses out of 20017 with flag 1693001/1970829
1730.49/879.30	c cleaning 10003 clauses out of 20017 with flag 1703001/1980829
1739.90/884.16	c cleaning 10008 clauses out of 20022 with flag 1713009/1990837
1749.32/888.93	c cleaning 9995 clauses out of 20006 with flag 1723001/2000829
1758.74/893.78	c cleaning 10000 clauses out of 20011 with flag 1733001/2010829
1768.67/898.88	c cleaning 9998 clauses out of 20011 with flag 1743001/2020829
1778.09/903.63	c cleaning 9989 clauses out of 20012 with flag 1753000/2030828
1788.52/908.90	c cleaning 9999 clauses out of 20023 with flag 1763000/2040828
1796.55/913.04	c cleaning 10010 clauses out of 20026 with flag 1773002/2050830
1799.66/914.71	c starts		: 224
1799.66/914.71	c conflicts		: 2054872
1799.66/914.71	c decisions		: 2308200
1799.66/914.71	c propagations		: 95470922
1799.66/914.71	c inspects		: 1805279231
1799.66/914.71	c shortcuts		: 0
1799.66/914.71	c learnt literals	: 5
1799.66/914.71	c learnt binary clauses	: 142
1799.66/914.71	c learnt ternary clauses	: 561
1799.66/914.71	c learnt constraints	: 2054867
1799.66/914.71	c ignored constraints	: 0
1799.66/914.71	c root simplifications	: 0
1799.66/914.71	c removed literals (reason simplification)	: 454665664
1799.66/914.71	c reason swapping (by a shorter reason)	: 0
1799.66/914.71	c Calls to reduceDB	: 208
1799.66/914.71	c number of reductions to clauses (during analyze)	: 0
1799.66/914.71	c number of learned constraints concerned by reduction	: 0
1799.66/914.71	c number of learning phase by resolution	: 0
1799.66/914.71	c number of learning phase by cutting planes	: 0
1799.66/914.71	c speed (assignments/second)	: 119830.86047080826
1799.66/914.71	c non guided choices	23
1799.66/914.72	c learnt constraints type 
1799.66/914.72	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 142
1799.66/914.72	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 13946
1799.66/914.72	c constraints type 
1799.66/914.72	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 840
1799.66/914.72	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1680
1799.66/914.72	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3
1799.66/914.72	c constraints type 
1799.66/914.72	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1680
1799.66/914.72	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 840
1799.66/914.72	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3
1799.66/914.72	s SATISFIABLE
1799.66/914.73	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 
1799.66/914.73	c objective function=-5
1799.66/914.73	c Total wall clock time (in seconds): 914.587

Verifier Data 

OK	-5

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3735382-1338695048/watcher-3735382-1338695048 -o /tmp/evaluation-result-3735382-1338695048/solver-3735382-1338695048 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3735382-1338695048.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.92 4.00 3.85 4/197 9690
/proc/meminfo: memFree=25362868/32873844 swapFree=7644/7644
[pid=9690] ppid=9688 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/9690/stat : 9690 (java) R 9688 9690 2935 0 -1 4202496 88 0 0 0 0 0 0 0 20 0 1 0 335629233 2560000 42 33554432000 1073741824 1073778376 140736993868080 140736993865256 239228514183 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9690/statm: 625 42 34 9 0 25 0

[startup+0.00934491 s]
/proc/loadavg: 3.92 4.00 3.85 4/197 9690
/proc/meminfo: memFree=25362868/32873844 swapFree=7644/7644
[pid=9690] ppid=9688 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/9690/stat : 9690 (java) R 9688 9690 2935 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 335629233 9515008 182 33554432000 1073741824 1073778376 140736993868080 140736993859112 239237676725 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9690/statm: 2323 182 140 9 0 71 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9292

[startup+0.10032 s]
/proc/loadavg: 3.92 4.00 3.85 4/197 9690
/proc/meminfo: memFree=25362868/32873844 swapFree=7644/7644
[pid=9690] ppid=9688 vsize=11586392 CPUtime=0.06 cores=0,2,4,6
/proc/9690/stat : 9690 (java) S 9688 9690 2935 0 -1 4202496 4519 0 1 0 5 1 0 0 20 0 18 0 335629233 11864465408 12883 33554432000 1073741824 1073778376 140733260825312 140733260816448 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9690/statm: 2896598 12883 1778 9 0 2887285 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11586392

[startup+0.300159 s]
/proc/loadavg: 3.92 4.00 3.85 4/197 9690
/proc/meminfo: memFree=25362868/32873844 swapFree=7644/7644
[pid=9690] ppid=9688 vsize=11586392 CPUtime=0.43 cores=0,2,4,6
/proc/9690/stat : 9690 (java) S 9688 9690 2935 0 -1 4202496 6231 0 1 0 41 2 0 0 20 0 18 0 335629233 11864465408 15846 33554432000 1073741824 1073778376 140733260825312 140733260816448 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9690/statm: 2896598 15846 2222 9 0 2887285 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 11586392

[startup+0.700181 s]
/proc/loadavg: 3.92 4.00 3.85 4/197 9690
/proc/meminfo: memFree=25362868/32873844 swapFree=7644/7644
[pid=9690] ppid=9688 vsize=11852648 CPUtime=1.93 cores=0,2,4,6
/proc/9690/stat : 9690 (java) S 9688 9690 2935 0 -1 4202496 15538 0 1 0 188 5 0 0 20 0 22 0 335629233 12137111552 33593 33554432000 1073741824 1073778376 140733260825312 140733260816448 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9690/statm: 2963162 33593 2246 9 0 2953849 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 11852648

[startup+1.50074 s]
/proc/loadavg: 3.92 4.00 3.85 7/219 9712
/proc/meminfo: memFree=25086964/32873844 swapFree=7644/7644
[pid=9690] ppid=9688 vsize=11852648 CPUtime=3.94 cores=0,2,4,6
/proc/9690/stat : 9690 (java) S 9688 9690 2935 0 -1 4202496 18578 0 1 0 381 13 0 0 20 0 22 0 335629233 12137111552 152923 33554432000 1073741824 1073778376 140733260825312 140733260816448 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9690/statm: 2963162 152923 2253 9 0 2953849 0
[pid=9690/tid=9692] ppid=9688 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/9690/task/9692/stat : 9692 (java) S 9688 9690 2935 0 -1 4202560 3429 0 1 0 28 2 0 0 20 0 22 0 335629235 12137111552 152923 33554432000 1073741824 1073778376 140733260825312 140570055054488 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9690/tid=9693] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9693/stat : 9693 (java) S 9688 9690 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335629237 12137111552 152923 33554432000 1073741824 1073778376 140733260825312 140569892367144 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9694] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9694/stat : 9694 (java) S 9688 9690 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335629237 12137111552 152923 33554432000 1073741824 1073778376 140733260825312 140569891314344 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9690/tid=9695] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9695/stat : 9695 (java) S 9688 9690 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335629237 12137111552 152923 33554432000 1073741824 1073778376 140733260825312 140569890262056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9690/tid=9696] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9696/stat : 9696 (java) S 9688 9690 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335629237 12137111552 152923 33554432000 1073741824 1073778376 140733260825312 140569889209256 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9690/tid=9697] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9697/stat : 9697 (java) S 9688 9690 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335629237 12137111552 152923 33554432000 1073741824 1073778376 140733260825312 140569888155944 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9698] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9698/stat : 9698 (java) S 9688 9690 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335629237 12137111552 152923 33554432000 1073741824 1073778376 140733260825312 140569887103144 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9690/tid=9699] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9699/stat : 9699 (java) S 9688 9690 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335629237 12137111552 152923 33554432000 1073741824 1073778376 140733260825312 140569886050856 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9700] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9700/stat : 9700 (java) S 9688 9690 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335629237 12137111552 152923 33554432000 1073741824 1073778376 140733260825312 140569884998056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9701] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9701/stat : 9701 (java) S 9688 9690 2935 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 335629239 12137111552 152923 33554432000 1073741824 1073778376 140733260825312 140569872587496 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9702] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9702/stat : 9702 (java) S 9688 9690 2935 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 335629239 12137111552 152923 33554432000 1073741824 1073778376 140733260825312 140569871533560 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9703] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9703/stat : 9703 (java) S 9688 9690 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335629239 12137111552 152923 33554432000 1073741824 1073778376 140733260825312 140569870481160 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9704] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9704/stat : 9704 (java) S 9688 9690 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335629242 12137111552 152923 33554432000 1073741824 1073778376 140733260825312 140569869429648 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9705] ppid=9688 vsize=11852648 CPUtime=0.67 cores=0,2,4,6
/proc/9690/task/9705/stat : 9705 (java) R 9688 9690 2935 0 -1 4202560 5971 0 0 0 65 2 0 0 20 0 22 0 335629242 12137111552 152923 33554432000 1073741824 1073778376 140733260825312 140569868352608 140570060897120 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=9690/tid=9706] ppid=9688 vsize=11852648 CPUtime=0.64 cores=0,2,4,6
/proc/9690/task/9706/stat : 9706 (java) R 9688 9690 2935 0 -1 4202560 7601 0 0 0 62 2 0 0 20 0 22 0 335629242 12137111552 152923 33554432000 1073741824 1073778376 140733260825312 140569867311016 140570060897207 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9707] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9707/stat : 9707 (java) S 9688 9690 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335629242 12137111552 152923 33554432000 1073741824 1073778376 140733260825312 140569866271352 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9690/tid=9708] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9708/stat : 9708 (java) S 9688 9690 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335629242 12137111552 152923 33554432000 1073741824 1073778376 140733260825312 140569865218760 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9690/tid=9709] ppid=9688 vsize=11852648 CPUtime=1.13 cores=0,2,4,6
/proc/9690/task/9709/stat : 9709 (java) R 9688 9690 2935 0 -1 4202560 36 0 0 0 113 0 0 0 20 0 22 0 335629268 12137111552 152923 33554432000 1073741824 1073778376 140733260825312 140569864164216 140569928329198 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9690/tid=9710] ppid=9688 vsize=11852648 CPUtime=1.13 cores=0,2,4,6
/proc/9690/task/9710/stat : 9710 (java) R 9688 9690 2935 0 -1 4202560 341 0 0 0 105 8 0 0 20 0 22 0 335629268 12137111552 152923 33554432000 1073741824 1073778376 140733260825312 140569863110856 140569928341245 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9690/tid=9711] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9711/stat : 9711 (java) S 9688 9690 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335629269 12137111552 153435 33554432000 1073741824 1073778376 140733260825312 140569862059688 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9690/tid=9712] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9712/stat : 9712 (java) S 9688 9690 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335629269 12137111552 153435 33554432000 1073741824 1073778376 140733260825312 140569861006888 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 11852648

[startup+3.10086 s]
/proc/loadavg: 3.92 4.00 3.85 5/219 9712
/proc/meminfo: memFree=24429556/32873844 swapFree=7644/7644
[pid=9690] ppid=9688 vsize=11852648 CPUtime=7.31 cores=0,2,4,6
/proc/9690/stat : 9690 (java) S 9688 9690 2935 0 -1 4202496 19348 0 1 0 711 20 0 0 20 0 22 0 335629233 12137111552 283003 33554432000 1073741824 1073778376 140733260825312 140733260816448 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9690/statm: 2963162 283003 2280 9 0 2953849 0
[pid=9690/tid=9692] ppid=9688 vsize=11852648 CPUtime=0.31 cores=0,2,4,6
/proc/9690/task/9692/stat : 9692 (java) S 9688 9690 2935 0 -1 4202560 3429 0 1 0 29 2 0 0 20 0 22 0 335629235 12137111552 283003 33554432000 1073741824 1073778376 140733260825312 140570055054488 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9690/tid=9693] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9693/stat : 9693 (java) S 9688 9690 2935 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 335629237 12137111552 283003 33554432000 1073741824 1073778376 140733260825312 140569892367144 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9690/tid=9694] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9694/stat : 9694 (java) S 9688 9690 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335629237 12137111552 283003 33554432000 1073741824 1073778376 140733260825312 140569891314344 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9690/tid=9695] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9695/stat : 9695 (java) S 9688 9690 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335629237 12137111552 283003 33554432000 1073741824 1073778376 140733260825312 140569890262056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9690/tid=9696] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9696/stat : 9696 (java) S 9688 9690 2935 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 335629237 12137111552 283003 33554432000 1073741824 1073778376 140733260825312 140569889209256 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9690/tid=9697] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9697/stat : 9697 (java) S 9688 9690 2935 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 335629237 12137111552 283003 33554432000 1073741824 1073778376 140733260825312 140569888155944 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9690/tid=9698] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9698/stat : 9698 (java) S 9688 9690 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335629237 12137111552 283003 33554432000 1073741824 1073778376 140733260825312 140569887103144 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9690/tid=9699] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9699/stat : 9699 (java) S 9688 9690 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335629237 12137111552 283003 33554432000 1073741824 1073778376 140733260825312 140569886050856 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9690/tid=9700] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9700/stat : 9700 (java) S 9688 9690 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335629237 12137111552 283003 33554432000 1073741824 1073778376 140733260825312 140569884998056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9701] ppid=9688 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/9690/task/9701/stat : 9701 (java) S 9688 9690 2935 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 22 0 335629239 12137111552 283003 33554432000 1073741824 1073778376 140733260825312 140569872587496 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9702] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9702/stat : 9702 (java) S 9688 9690 2935 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 335629239 12137111552 283003 33554432000 1073741824 1073778376 140733260825312 140569871533560 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9703] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9703/stat : 9703 (java) S 9688 9690 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335629239 12137111552 283003 33554432000 1073741824 1073778376 140733260825312 140569870481160 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9704] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9704/stat : 9704 (java) S 9688 9690 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335629242 12137111552 283003 33554432000 1073741824 1073778376 140733260825312 140569869429648 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9705] ppid=9688 vsize=11852648 CPUtime=0.76 cores=0,2,4,6
/proc/9690/task/9705/stat : 9705 (java) S 9688 9690 2935 0 -1 4202560 5974 0 0 0 74 2 0 0 20 0 22 0 335629242 12137111552 283003 33554432000 1073741824 1073778376 140733260825312 140569868376248 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9690/tid=9706] ppid=9688 vsize=11852648 CPUtime=0.74 cores=0,2,4,6
/proc/9690/task/9706/stat : 9706 (java) S 9688 9690 2935 0 -1 4202560 8062 0 0 0 72 2 0 0 20 0 22 0 335629242 12137111552 283003 33554432000 1073741824 1073778376 140733260825312 140569867323448 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9707] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9707/stat : 9707 (java) S 9688 9690 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335629242 12137111552 283003 33554432000 1073741824 1073778376 140733260825312 140569866271352 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9690/tid=9708] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9708/stat : 9708 (java) S 9688 9690 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335629242 12137111552 283003 33554432000 1073741824 1073778376 140733260825312 140569865218760 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9690/tid=9709] ppid=9688 vsize=11852648 CPUtime=2.7 cores=0,2,4,6
/proc/9690/task/9709/stat : 9709 (java) R 9688 9690 2935 0 -1 4202560 40 0 0 0 270 0 0 0 20 0 22 0 335629268 12137111552 283003 33554432000 1073741824 1073778376 140733260825312 140569864163984 140569928258630 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9710] ppid=9688 vsize=11852648 CPUtime=2.7 cores=0,2,4,6
/proc/9690/task/9710/stat : 9710 (java) R 9688 9690 2935 0 -1 4202560 584 0 0 0 255 15 0 0 20 0 22 0 335629268 12137111552 283003 33554432000 1073741824 1073778376 140733260825312 140569863109168 140569928139139 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9690/tid=9711] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9711/stat : 9711 (java) S 9688 9690 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335629269 12137111552 283003 33554432000 1073741824 1073778376 140733260825312 140569862059688 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9690/tid=9712] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9712/stat : 9712 (java) S 9688 9690 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335629269 12137111552 283003 33554432000 1073741824 1073778376 140733260825312 140569861006888 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.31
Current children cumulated vsize (KiB) 11852648

[startup+6.30081 s]
/proc/loadavg: 3.93 4.00 3.85 5/219 9712
/proc/meminfo: memFree=23964288/32873844 swapFree=7644/7644
[pid=9690] ppid=9688 vsize=11852648 CPUtime=13.73 cores=0,2,4,6
/proc/9690/stat : 9690 (java) S 9688 9690 2935 0 -1 4202496 19496 0 1 0 1347 26 0 0 20 0 22 0 335629233 12137111552 349765 33554432000 1073741824 1073778376 140733260825312 140733260816448 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9690/statm: 2963162 349765 2280 9 0 2953849 0
[pid=9690/tid=9692] ppid=9688 vsize=11852648 CPUtime=0.31 cores=0,2,4,6
/proc/9690/task/9692/stat : 9692 (java) S 9688 9690 2935 0 -1 4202560 3429 0 1 0 29 2 0 0 20 0 22 0 335629235 12137111552 349765 33554432000 1073741824 1073778376 140733260825312 140570055054488 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9690/tid=9693] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9693/stat : 9693 (java) S 9688 9690 2935 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 22 0 335629237 12137111552 349765 33554432000 1073741824 1073778376 140733260825312 140569892367144 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9690/tid=9694] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9694/stat : 9694 (java) S 9688 9690 2935 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 335629237 12137111552 349765 33554432000 1073741824 1073778376 140733260825312 140569891314344 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9690/tid=9695] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9695/stat : 9695 (java) S 9688 9690 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335629237 12137111552 349765 33554432000 1073741824 1073778376 140733260825312 140569890262056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9690/tid=9696] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9696/stat : 9696 (java) S 9688 9690 2935 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 335629237 12137111552 349765 33554432000 1073741824 1073778376 140733260825312 140569889209256 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9690/tid=9697] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9697/stat : 9697 (java) S 9688 9690 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335629237 12137111552 349765 33554432000 1073741824 1073778376 140733260825312 140569888155944 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9690/tid=9698] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9698/stat : 9698 (java) S 9688 9690 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335629237 12137111552 349765 33554432000 1073741824 1073778376 140733260825312 140569887103144 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9690/tid=9699] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9699/stat : 9699 (java) S 9688 9690 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335629237 12137111552 349765 33554432000 1073741824 1073778376 140733260825312 140569886050856 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9690/tid=9700] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9700/stat : 9700 (java) S 9688 9690 2935 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 335629237 12137111552 349765 33554432000 1073741824 1073778376 140733260825312 140569884998056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9690/tid=9701] ppid=9688 vsize=11852648 CPUtime=0.04 cores=0,2,4,6
/proc/9690/task/9701/stat : 9701 (java) S 9688 9690 2935 0 -1 4202560 36 0 0 0 4 0 0 0 20 0 22 0 335629239 12137111552 349765 33554432000 1073741824 1073778376 140733260825312 140569872587496 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9702] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9702/stat : 9702 (java) S 9688 9690 2935 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 335629239 12137111552 349765 33554432000 1073741824 1073778376 140733260825312 140569871533560 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9703] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9703/stat : 9703 (java) S 9688 9690 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335629239 12137111552 349765 33554432000 1073741824 1073778376 140733260825312 140569870481160 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9704] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9704/stat : 9704 (java) S 9688 9690 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335629242 12137111552 349765 33554432000 1073741824 1073778376 140733260825312 140569869429648 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9705] ppid=9688 vsize=11852648 CPUtime=0.79 cores=0,2,4,6
/proc/9690/task/9705/stat : 9705 (java) S 9688 9690 2935 0 -1 4202560 5974 0 0 0 77 2 0 0 20 0 22 0 335629242 12137111552 349765 33554432000 1073741824 1073778376 140733260825312 140569868376248 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0

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

[pid=9690/tid=9696] ppid=9688 vsize=11852648 CPUtime=0.78 cores=0,2,4,6
/proc/9690/task/9696/stat : 9696 (java) S 9688 9690 2935 0 -1 4202560 35 0 0 0 78 0 0 0 20 0 22 0 335629237 12137111552 665911 33554432000 1073741824 1073778376 140733260825312 140569889209256 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9690/tid=9697] ppid=9688 vsize=11852648 CPUtime=0.77 cores=0,2,4,6
/proc/9690/task/9697/stat : 9697 (java) S 9688 9690 2935 0 -1 4202560 37 0 0 0 77 0 0 0 20 0 22 0 335629237 12137111552 665911 33554432000 1073741824 1073778376 140733260825312 140569888155944 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9690/tid=9698] ppid=9688 vsize=11852648 CPUtime=0.78 cores=0,2,4,6
/proc/9690/task/9698/stat : 9698 (java) S 9688 9690 2935 0 -1 4202560 28 0 0 0 78 0 0 0 20 0 22 0 335629237 12137111552 665911 33554432000 1073741824 1073778376 140733260825312 140569887103144 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9699] ppid=9688 vsize=11852648 CPUtime=0.82 cores=0,2,4,6
/proc/9690/task/9699/stat : 9699 (java) S 9688 9690 2935 0 -1 4202560 28 0 0 0 82 0 0 0 20 0 22 0 335629237 12137111552 665911 33554432000 1073741824 1073778376 140733260825312 140569886050856 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9690/tid=9700] ppid=9688 vsize=11852648 CPUtime=0.86 cores=0,2,4,6
/proc/9690/task/9700/stat : 9700 (java) S 9688 9690 2935 0 -1 4202560 63 0 0 0 86 0 0 0 20 0 22 0 335629237 12137111552 665911 33554432000 1073741824 1073778376 140733260825312 140569884998056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9690/tid=9701] ppid=9688 vsize=11852648 CPUtime=31.04 cores=0,2,4,6
/proc/9690/task/9701/stat : 9701 (java) S 9688 9690 2935 0 -1 4202560 189 0 0 0 3097 7 0 0 20 0 22 0 335629239 12137111552 665911 33554432000 1073741824 1073778376 140733260825312 140569872587496 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9690/tid=9702] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9702/stat : 9702 (java) S 9688 9690 2935 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 335629239 12137111552 665911 33554432000 1073741824 1073778376 140733260825312 140569871533560 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9703] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9703/stat : 9703 (java) S 9688 9690 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335629239 12137111552 665911 33554432000 1073741824 1073778376 140733260825312 140569870481160 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9704] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9704/stat : 9704 (java) S 9688 9690 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335629242 12137111552 665911 33554432000 1073741824 1073778376 140733260825312 140569869429648 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9705] ppid=9688 vsize=11852648 CPUtime=1.03 cores=0,2,4,6
/proc/9690/task/9705/stat : 9705 (java) S 9688 9690 2935 0 -1 4202560 5998 0 0 0 101 2 0 0 20 0 22 0 335629242 12137111552 665911 33554432000 1073741824 1073778376 140733260825312 140569868376248 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9690/tid=9706] ppid=9688 vsize=11852648 CPUtime=0.8 cores=0,2,4,6
/proc/9690/task/9706/stat : 9706 (java) S 9688 9690 2935 0 -1 4202560 8063 0 0 0 78 2 0 0 20 0 22 0 335629242 12137111552 665911 33554432000 1073741824 1073778376 140733260825312 140569867323448 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9707] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9707/stat : 9707 (java) S 9688 9690 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335629242 12137111552 665911 33554432000 1073741824 1073778376 140733260825312 140569866271352 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9690/tid=9708] ppid=9688 vsize=11852648 CPUtime=0.32 cores=0,2,4,6
/proc/9690/task/9708/stat : 9708 (java) S 9688 9690 2935 0 -1 4202560 51 0 0 0 19 13 0 0 20 0 22 0 335629242 12137111552 665911 33554432000 1073741824 1073778376 140733260825312 140569865218760 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9690/tid=9712] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9712/stat : 9712 (java) S 9688 9690 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335629269 12137111552 665911 33554432000 1073741824 1073778376 140733260825312 140569861006888 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9717] ppid=9688 vsize=11852648 CPUtime=731.52 cores=0,2,4,6
/proc/9690/task/9717/stat : 9717 (java) R 9688 9690 2935 0 -1 4202560 104 0 0 0 73141 11 0 0 20 0 22 0 335641034 12137111552 665911 33554432000 1073741824 1073778376 140733260825312 140569863110864 140569928354578 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9690/tid=9718] ppid=9688 vsize=11852648 CPUtime=731.45 cores=0,2,4,6
/proc/9690/task/9718/stat : 9718 (java) R 9688 9690 2935 0 -1 4202560 34 0 0 0 73132 13 0 0 20 0 22 0 335641034 12137111552 665911 33554432000 1073741824 1073778376 140733260825312 140569864161552 140569928217013 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9719] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9719/stat : 9719 (java) S 9688 9690 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335641034 12137111552 665911 33554432000 1073741824 1073778376 140733260825312 140569862059176 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1736.3
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+914.701 s]
/proc/loadavg: 3.78 3.90 3.89 5/219 9786
/proc/meminfo: memFree=22725044/32873844 swapFree=7644/7644
[pid=9690] ppid=9688 vsize=11852648 CPUtime=1799.66 cores=0,2,4,6
/proc/9690/stat : 9690 (java) S 9688 9690 2935 0 -1 4202496 20748 0 1 0 179884 82 0 0 20 0 22 0 335629233 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140733260816448 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9690/statm: 2963162 666432 2283 9 0 2953849 0
[pid=9690/tid=9692] ppid=9688 vsize=11852648 CPUtime=0.34 cores=0,2,4,6
/proc/9690/task/9692/stat : 9692 (java) S 9688 9690 2935 0 -1 4202560 3491 0 1 0 31 3 0 0 20 0 22 0 335629235 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140570055054488 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9690/tid=9693] ppid=9688 vsize=11852648 CPUtime=0.86 cores=0,2,4,6
/proc/9690/task/9693/stat : 9693 (java) S 9688 9690 2935 0 -1 4202560 49 0 0 0 84 2 0 0 20 0 22 0 335629237 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569892367144 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9690/tid=9694] ppid=9688 vsize=11852648 CPUtime=0.82 cores=0,2,4,6
/proc/9690/task/9694/stat : 9694 (java) S 9688 9690 2935 0 -1 4202560 36 0 0 0 82 0 0 0 20 0 22 0 335629237 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569891314344 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9690/tid=9695] ppid=9688 vsize=11852648 CPUtime=0.81 cores=0,2,4,6
/proc/9690/task/9695/stat : 9695 (java) S 9688 9690 2935 0 -1 4202560 34 0 0 0 81 0 0 0 20 0 22 0 335629237 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569890262056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9690/tid=9696] ppid=9688 vsize=11852648 CPUtime=0.83 cores=0,2,4,6
/proc/9690/task/9696/stat : 9696 (java) S 9688 9690 2935 0 -1 4202560 37 0 0 0 83 0 0 0 20 0 22 0 335629237 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569889209256 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9690/tid=9697] ppid=9688 vsize=11852648 CPUtime=0.8 cores=0,2,4,6
/proc/9690/task/9697/stat : 9697 (java) S 9688 9690 2935 0 -1 4202560 37 0 0 0 80 0 0 0 20 0 22 0 335629237 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569888155944 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9698] ppid=9688 vsize=11852648 CPUtime=0.84 cores=0,2,4,6
/proc/9690/task/9698/stat : 9698 (java) S 9688 9690 2935 0 -1 4202560 28 0 0 0 84 0 0 0 20 0 22 0 335629237 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569887103144 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9690/tid=9699] ppid=9688 vsize=11852648 CPUtime=0.85 cores=0,2,4,6
/proc/9690/task/9699/stat : 9699 (java) S 9688 9690 2935 0 -1 4202560 33 0 0 0 85 0 0 0 20 0 22 0 335629237 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569886050856 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9690/tid=9700] ppid=9688 vsize=11852648 CPUtime=0.89 cores=0,2,4,6
/proc/9690/task/9700/stat : 9700 (java) S 9688 9690 2935 0 -1 4202560 63 0 0 0 89 0 0 0 20 0 22 0 335629237 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569884998056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9690/tid=9701] ppid=9688 vsize=11852648 CPUtime=32.6 cores=0,2,4,6
/proc/9690/task/9701/stat : 9701 (java) S 9688 9690 2935 0 -1 4202560 192 0 0 0 3253 7 0 0 20 0 22 0 335629239 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569872587496 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9690/tid=9702] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9702/stat : 9702 (java) S 9688 9690 2935 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 335629239 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569871533560 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9703] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9703/stat : 9703 (java) S 9688 9690 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335629239 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569870481160 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9704] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9704/stat : 9704 (java) S 9688 9690 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335629242 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569869429648 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9705] ppid=9688 vsize=11852648 CPUtime=1.03 cores=0,2,4,6
/proc/9690/task/9705/stat : 9705 (java) S 9688 9690 2935 0 -1 4202560 5998 0 0 0 101 2 0 0 20 0 22 0 335629242 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569868376248 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9690/tid=9706] ppid=9688 vsize=11852648 CPUtime=0.8 cores=0,2,4,6
/proc/9690/task/9706/stat : 9706 (java) S 9688 9690 2935 0 -1 4202560 8063 0 0 0 78 2 0 0 20 0 22 0 335629242 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569867323448 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9707] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9707/stat : 9707 (java) S 9688 9690 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335629242 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569866271352 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9690/tid=9708] ppid=9688 vsize=11852648 CPUtime=0.34 cores=0,2,4,6
/proc/9690/task/9708/stat : 9708 (java) S 9688 9690 2935 0 -1 4202560 53 0 0 0 20 14 0 0 20 0 22 0 335629242 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569865218760 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9690/tid=9712] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9712/stat : 9712 (java) S 9688 9690 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335629269 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569861006888 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9717] ppid=9688 vsize=11852648 CPUtime=762.19 cores=0,2,4,6
/proc/9690/task/9717/stat : 9717 (java) R 9688 9690 2935 0 -1 4202560 107 0 0 0 76208 11 0 0 20 0 22 0 335641034 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569863110864 140569928329179 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9690/tid=9718] ppid=9688 vsize=11852648 CPUtime=762.13 cores=0,2,4,6
/proc/9690/task/9718/stat : 9718 (java) R 9688 9690 2935 0 -1 4202560 36 0 0 0 76200 13 0 0 20 0 22 0 335641034 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569864161552 140569928203317 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9719] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9719/stat : 9719 (java) S 9688 9690 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335641034 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569862059176 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.66
Current children cumulated vsize (KiB) 11852648

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

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

[startup+914.701 s]
/proc/loadavg: 3.78 3.90 3.89 5/219 9786
/proc/meminfo: memFree=22725044/32873844 swapFree=7644/7644
[pid=9690] ppid=9688 vsize=11852648 CPUtime=1799.66 cores=0,2,4,6
/proc/9690/stat : 9690 (java) S 9688 9690 2935 0 -1 4202496 20748 0 1 0 179884 82 0 0 20 0 22 0 335629233 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140733260816448 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9690/statm: 2963162 666432 2283 9 0 2953849 0
[pid=9690/tid=9692] ppid=9688 vsize=11852648 CPUtime=0.34 cores=0,2,4,6
/proc/9690/task/9692/stat : 9692 (java) S 9688 9690 2935 0 -1 4202560 3491 0 1 0 31 3 0 0 20 0 22 0 335629235 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140570055054488 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9690/tid=9693] ppid=9688 vsize=11852648 CPUtime=0.86 cores=0,2,4,6
/proc/9690/task/9693/stat : 9693 (java) S 9688 9690 2935 0 -1 4202560 49 0 0 0 84 2 0 0 20 0 22 0 335629237 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569892367144 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9690/tid=9694] ppid=9688 vsize=11852648 CPUtime=0.82 cores=0,2,4,6
/proc/9690/task/9694/stat : 9694 (java) S 9688 9690 2935 0 -1 4202560 36 0 0 0 82 0 0 0 20 0 22 0 335629237 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569891314344 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9690/tid=9695] ppid=9688 vsize=11852648 CPUtime=0.81 cores=0,2,4,6
/proc/9690/task/9695/stat : 9695 (java) S 9688 9690 2935 0 -1 4202560 34 0 0 0 81 0 0 0 20 0 22 0 335629237 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569890262056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9690/tid=9696] ppid=9688 vsize=11852648 CPUtime=0.83 cores=0,2,4,6
/proc/9690/task/9696/stat : 9696 (java) S 9688 9690 2935 0 -1 4202560 37 0 0 0 83 0 0 0 20 0 22 0 335629237 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569889209256 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9690/tid=9697] ppid=9688 vsize=11852648 CPUtime=0.8 cores=0,2,4,6
/proc/9690/task/9697/stat : 9697 (java) S 9688 9690 2935 0 -1 4202560 37 0 0 0 80 0 0 0 20 0 22 0 335629237 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569888155944 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9698] ppid=9688 vsize=11852648 CPUtime=0.84 cores=0,2,4,6
/proc/9690/task/9698/stat : 9698 (java) S 9688 9690 2935 0 -1 4202560 28 0 0 0 84 0 0 0 20 0 22 0 335629237 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569887103144 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9690/tid=9699] ppid=9688 vsize=11852648 CPUtime=0.85 cores=0,2,4,6
/proc/9690/task/9699/stat : 9699 (java) S 9688 9690 2935 0 -1 4202560 33 0 0 0 85 0 0 0 20 0 22 0 335629237 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569886050856 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9690/tid=9700] ppid=9688 vsize=11852648 CPUtime=0.89 cores=0,2,4,6
/proc/9690/task/9700/stat : 9700 (java) S 9688 9690 2935 0 -1 4202560 63 0 0 0 89 0 0 0 20 0 22 0 335629237 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569884998056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9690/tid=9701] ppid=9688 vsize=11852648 CPUtime=32.6 cores=0,2,4,6
/proc/9690/task/9701/stat : 9701 (java) S 9688 9690 2935 0 -1 4202560 192 0 0 0 3253 7 0 0 20 0 22 0 335629239 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569872587496 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9690/tid=9702] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9702/stat : 9702 (java) S 9688 9690 2935 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 335629239 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569871533560 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9703] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9703/stat : 9703 (java) S 9688 9690 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335629239 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569870481160 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9704] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9704/stat : 9704 (java) S 9688 9690 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335629242 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569869429648 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9705] ppid=9688 vsize=11852648 CPUtime=1.03 cores=0,2,4,6
/proc/9690/task/9705/stat : 9705 (java) S 9688 9690 2935 0 -1 4202560 5998 0 0 0 101 2 0 0 20 0 22 0 335629242 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569868376248 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9690/tid=9706] ppid=9688 vsize=11852648 CPUtime=0.8 cores=0,2,4,6
/proc/9690/task/9706/stat : 9706 (java) S 9688 9690 2935 0 -1 4202560 8063 0 0 0 78 2 0 0 20 0 22 0 335629242 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569867323448 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9707] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9707/stat : 9707 (java) S 9688 9690 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335629242 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569866271352 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9690/tid=9708] ppid=9688 vsize=11852648 CPUtime=0.34 cores=0,2,4,6
/proc/9690/task/9708/stat : 9708 (java) S 9688 9690 2935 0 -1 4202560 53 0 0 0 20 14 0 0 20 0 22 0 335629242 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569865218760 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9690/tid=9712] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9712/stat : 9712 (java) S 9688 9690 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335629269 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569861006888 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9717] ppid=9688 vsize=11852648 CPUtime=762.19 cores=0,2,4,6
/proc/9690/task/9717/stat : 9717 (java) R 9688 9690 2935 0 -1 4202560 107 0 0 0 76208 11 0 0 20 0 22 0 335641034 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569863110864 140569928329179 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9690/tid=9718] ppid=9688 vsize=11852648 CPUtime=762.13 cores=0,2,4,6
/proc/9690/task/9718/stat : 9718 (java) R 9688 9690 2935 0 -1 4202560 36 0 0 0 76200 13 0 0 20 0 22 0 335641034 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569864161552 140569928203317 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9690/tid=9719] ppid=9688 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/9690/task/9719/stat : 9719 (java) S 9688 9690 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335641034 12137111552 666432 33554432000 1073741824 1073778376 140733260825312 140569862059176 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.66
Current children cumulated vsize (KiB) 11852648

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9690 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=898134
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=112830
# CPU time returned by wait4() is 1796.01
# while last known CPU time is 1799.66
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


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

Real time (s): 914.741
CPU time (s): 1800.19
CPU user time (s): 1799.4
CPU system time (s): 0.79
CPU usage (%): 196.798
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.9
system time used= 1.11283
maximum resident set size= 2667928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20788
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27493
involuntary context switches= 26099

runsolver used 3.38248 second user time and 8.42372 second system time

The end

Launcher Data 

Begin job on node147 at 2012-06-03 05:44:08
IDJOB=3735382
IDBENCH=3007
IDSOLVER=2328
FILE ID=node147/3735382-1338695048
RUNJOBID= node147-1338678629-2954
PBS_JOBID= 14636666
Free space on /tmp= 70780 MiB

SOLVER NAME= PB11: Sat4j Res//CP 2.3.0
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555-max.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735382-1338695048/watcher-3735382-1338695048 -o /tmp/evaluation-result-3735382-1338695048/solver-3735382-1338695048 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3735382-1338695048.opb

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

MD5SUM BENCH= 2533454829254b6bcc39aa8d9b25219b
RANDOM SEED=281533383

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        25363132 kB
Buffers:          440752 kB
Cached:          2533544 kB
SwapCached:         3380 kB
Active:          5106800 kB
Inactive:        1536384 kB
Active(anon):    3664616 kB
Inactive(anon):     5908 kB
Active(file):    1442184 kB
Inactive(file):  1530476 kB
Unevictable:        7644 kB
Mlocked:            7644 kB
SwapTotal:      67108856 kB
SwapFree:       67100236 kB
Dirty:               484 kB
Writeback:             0 kB
AnonPages:       3672892 kB
Mapped:            17632 kB
Shmem:                 0 kB
Slab:             721292 kB
SReclaimable:     162380 kB
SUnreclaim:       558912 kB
KernelStack:        1640 kB
PageTables:        11440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10458900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3618816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70780 MiB
End job on node147 at 2012-06-03 05:59:25