Trace number 3729940

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23? (TO) 1800 1795.82

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k4_l4_n360.opb
MD5SUMa399b3055416a9d1117a7f2bb11b2cef
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark817.196
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1440
Total number of constraints86040
Number of constraints which are clauses85680
Number of constraints which are cardinality constraints (but not clauses)360
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint4
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.07	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.07	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.07	c no version file found!!!
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version	1.6.0_24
0.00/0.07	c os.name	Linux
0.00/0.07	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.07	c os.arch	amd64
0.00/0.07	c Free memory 1599470296
0.00/0.07	c Max memory 1607860224
0.00/0.07	c Total memory 1607860224
0.00/0.07	c Number of processors 8
0.10/0.10	--- Begin Solver configuration ---
0.10/0.10	c Stops conflict analysis at the first Unique Implication Point
0.10/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.10/0.10	c No reason simplification
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3729940-1338679020.opb
0.10/0.10	c reading problem ... 
1.50/0.96	c ... done. Wall clock time 0.867s.
1.50/0.96	c CPU time (experimental) 0.94s.
1.50/0.96	c #vars     1440
1.50/0.96	c #constraints  86400
1211.13/1207.50	c cleaning 942990 clauses out of 1886001 for limit 1.6371873884532034E-7
1218.64/1215.07	c cleaning 471750 clauses out of 943511 for limit 5.396960362420339E-7
1220.15/1216.59	c cleaning 236128 clauses out of 472263 for limit 1.7817106878390653E-6
1221.05/1217.45	c cleaning 118305 clauses out of 236635 for limit 5.86405471002308E-6
1221.45/1217.80	c cleaning 59412 clauses out of 118830 for limit 1.9257804948713243E-5
1221.55/1217.97	c cleaning 29953 clauses out of 59917 for limit 6.292224300029562E-5
1221.65/1218.08	c cleaning 15218 clauses out of 30463 for limit 2.038933027371152E-4
1221.75/1218.16	c cleaning 7865 clauses out of 15744 for limit 6.499529591993766E-4
1221.85/1218.22	c cleaning 4184 clauses out of 8381 for limit 0.0020175582224932734
1221.85/1218.29	c cleaning 2332 clauses out of 4695 for limit 0.005927522128003698
1221.95/1218.34	c cleaning 1422 clauses out of 2863 for limit 0.016030361621227167
1221.95/1218.39	c cleaning 959 clauses out of 1941 for limit 0.03899375145210722
1222.05/1218.44	c cleaning 731 clauses out of 1482 for limit 0.08422252120448982
1222.05/1218.49	c cleaning 617 clauses out of 1252 for limit 0.16457448754529935
1222.15/1218.54	c cleaning 558 clauses out of 1134 for limit 0.2993471729524973
1222.15/1218.58	c cleaning 527 clauses out of 1076 for limit 0.5202736502999207
1222.25/1218.63	c cleaning 514 clauses out of 1049 for limit 0.8800847616127039
1222.25/1218.67	c cleaning 509 clauses out of 1035 for limit 1.4710096670545585
1222.35/1218.72	c cleaning 497 clauses out of 1026 for limit 2.4471714811354217
1222.35/1218.76	c cleaning 503 clauses out of 1029 for limit 4.0239472215875525
1222.45/1218.80	c cleaning 500 clauses out of 1027 for limit 6.655606018498271
1222.45/1218.85	c cleaning 502 clauses out of 1026 for limit 10.975695853844918
1222.45/1218.89	c cleaning 499 clauses out of 1024 for limit 18.135743091026114
1222.55/1218.94	c cleaning 501 clauses out of 1025 for limit 29.879087716808655
1222.55/1218.98	c cleaning 501 clauses out of 1025 for limit 49.32393673459493
1222.65/1219.03	c cleaning 493 clauses out of 1023 for limit 81.4192952610215
1222.65/1219.07	c cleaning 504 clauses out of 1031 for limit 133.36280032995785
1222.75/1219.12	c cleaning 506 clauses out of 1026 for limit 220.78389252952417
1222.75/1219.16	c cleaning 502 clauses out of 1022 for limit 366.2593846671695
1222.85/1219.20	c cleaning 500 clauses out of 1018 for limit 605.1718839878288
1222.85/1219.25	c cleaning 499 clauses out of 1018 for limit 998.0093951421651
1222.85/1219.29	c cleaning 495 clauses out of 1022 for limit 1644.3373978195932
1222.95/1219.34	c cleaning 502 clauses out of 1025 for limit 2698.3906795940325
1222.95/1219.38	c cleaning 499 clauses out of 1022 for limit 4458.606788526982
1223.05/1219.42	c cleaning 506 clauses out of 1024 for limit 7345.823866110858
1223.05/1219.47	c cleaning 495 clauses out of 1017 for limit 12185.43085945615
1223.15/1219.51	c cleaning 496 clauses out of 1022 for limit 19997.091507480018
1223.15/1219.56	c cleaning 504 clauses out of 1028 for limit 32851.07045537641
1223.25/1219.61	c cleaning 502 clauses out of 1023 for limit 54386.158224455416
1223.25/1219.65	c cleaning 501 clauses out of 1020 for limit 89863.89098373856
1223.25/1219.69	c cleaning 498 clauses out of 1019 for limit 148343.01233426007
1223.35/1219.74	c cleaning 500 clauses out of 1021 for limit 244158.26080928382
1223.35/1219.79	c cleaning 492 clauses out of 1021 for limit 402649.63498227735
1223.45/1219.83	c cleaning 503 clauses out of 1031 for limit 658899.6806902607
1223.45/1219.88	c cleaning 505 clauses out of 1026 for limit 1089726.3816701744
1223.55/1219.92	c cleaning 506 clauses out of 1024 for limit 1806027.2196359402
1223.55/1219.97	c cleaning 498 clauses out of 1017 for limit 2995881.7712329556
1223.65/1220.01	c cleaning 508 clauses out of 1017 for limit 4930733.543620735
1223.65/1220.06	c cleaning 493 clauses out of 1009 for limit 8195910.5075924
1223.75/1220.10	c cleaning 493 clauses out of 1016 for limit 1.3423029755923696E7
1223.75/1220.14	c cleaning 496 clauses out of 1023 for limit 2.1984900993749294E7
1223.75/1220.19	c cleaning 498 clauses out of 1027 for limit 3.611483136429437E7
1223.85/1220.23	c cleaning 500 clauses out of 1030 for limit 5.944416198612339E7
1223.85/1220.27	c cleaning 494 clauses out of 1029 for limit 9.80285173552435E7
1223.95/1220.31	c cleaning 518 clauses out of 1038 for limit 1.607421887917522E8
1223.95/1220.36	c cleaning 507 clauses out of 1017 for limit 2.6974824635876983E8
1224.05/1220.40	c cleaning 491 clauses out of 1011 for limit 4.479389484214651E8
1224.05/1220.45	c cleaning 500 clauses out of 1020 for limit 7.321932097049532E8
1224.05/1220.49	c cleaning 491 clauses out of 1019 for limit 1.207460854456217E9
1224.15/1220.53	c cleaning 496 clauses out of 1028 for limit 1.973831230881039E9
1224.15/1220.57	c cleaning 515 clauses out of 1032 for limit 3.242495041915426E9
1224.25/1220.61	c cleaning 506 clauses out of 1019 for limit 5.42637426667308E9
1224.25/1220.65	c cleaning 498 clauses out of 1012 for limit 9.001705309542585E9
1224.35/1220.70	c cleaning 496 clauses out of 1014 for limit 1.4815736171017628E10
1224.35/1220.74	c cleaning 502 clauses out of 1020 for limit 2.4338058438789383E10
1224.35/1220.78	c cleaning 492 clauses out of 1016 for limit 4.021418364192895E10
1224.45/1220.83	c cleaning 510 clauses out of 1023 for limit 6.579891106004405E10
1224.45/1220.87	c cleaning 504 clauses out of 1013 for limit 1.0958239340010507E11
1224.57/1220.91	c cleaning 504 clauses out of 1009 for limit 1.814324427454137E11
1224.57/1220.96	c cleaning 491 clauses out of 1007 for limit 3.0040112450161E11
1224.57/1221.00	c cleaning 502 clauses out of 1021 for limit 4.9105906027054474E11
1224.67/1221.04	c cleaning 506 clauses out of 1013 for limit 8.113324409248411E11
1224.67/1221.09	c cleaning 503 clauses out of 1008 for limit 1.3459785953897825E12
1224.77/1221.13	c cleaning 500 clauses out of 1003 for limit 2.2263047661639824E12
1224.77/1221.17	c cleaning 501 clauses out of 1004 for limit 3.6714890311576763E12
1224.87/1221.21	c cleaning 492 clauses out of 1006 for limit 6.060903780910896E12
1224.87/1221.25	c cleaning 493 clauses out of 1013 for limit 9.916246181852494E12
1224.97/1221.30	c cleaning 499 clauses out of 1019 for limit 1.6240669805738459E13
1224.97/1221.34	c cleaning 498 clauses out of 1019 for limit 2.675625411045169E13
1224.97/1221.38	c cleaning 507 clauses out of 1021 for limit 4.403820824845415E13
1225.06/1221.42	c cleaning 491 clauses out of 1016 for limit 7.312848656026802E13
1225.06/1221.46	c cleaning 492 clauses out of 1022 for limit 1.1953132931821142E14
1225.16/1221.50	c cleaning 512 clauses out of 1030 for limit 1.9559209904798328E14
1225.16/1221.55	c cleaning 509 clauses out of 1018 for limit 3.263597871200388E14
1225.16/1221.59	c cleaning 490 clauses out of 1010 for limit 5.4301702263334806E14
1225.26/1221.63	c cleaning 494 clauses out of 1021 for limit 8.86746482994684E14
1225.26/1221.67	c cleaning 514 clauses out of 1029 for limit 1.4539007230588052E15
1225.36/1221.72	c cleaning 505 clauses out of 1012 for limit 2.430647420500884E15
1225.36/1221.76	c cleaning 488 clauses out of 1006 for limit 4.028337725085359E-5
1225.46/1221.80	c cleaning 503 clauses out of 1019 for limit 6.565080700824038E-5
1225.46/1221.85	c cleaning 501 clauses out of 1015 for limit 1.0858493756914128E-4
1225.46/1221.89	c cleaning 497 clauses out of 1014 for limit 1.7924768699097217E-4
1225.56/1221.93	c cleaning 501 clauses out of 1020 for limit 2.9474793140115346E-4
1225.56/1221.97	c cleaning 494 clauses out of 1016 for limit 4.8652995158935926E-4
1225.67/1222.02	c cleaning 501 clauses out of 1022 for limit 7.976424898386111E-4
1225.67/1222.06	c cleaning 498 clauses out of 1021 for limit 0.0013167075359852463
1225.77/1222.10	c cleaning 501 clauses out of 1023 for limit 0.0021671816589948485
1225.77/1222.15	c cleaning 502 clauses out of 1024 for limit 0.003577633958845545
1225.77/1222.19	c cleaning 500 clauses out of 1020 for limit 0.005911293903240348
1225.86/1222.24	c cleaning 496 clauses out of 1020 for limit 0.009748514445193738
1225.86/1222.28	c cleaning 502 clauses out of 1027 for limit 0.01601502386055451
1225.96/1222.32	c cleaning 500 clauses out of 1023 for limit 0.026461183433100083
1225.96/1222.36	c cleaning 495 clauses out of 1022 for limit 0.04363704932577049
1226.06/1222.41	c cleaning 498 clauses out of 1028 for limit 0.07161492747823224
1226.06/1222.46	c cleaning 508 clauses out of 1030 for limit 0.11787327045629817
1226.16/1222.50	c cleaning 498 clauses out of 1021 for limit 0.1959062047840308
1226.16/1222.55	c cleaning 505 clauses out of 1026 for limit 0.322467532869998
1226.16/1222.59	c cleaning 495 clauses out of 1018 for limit 0.5343649071499658
1226.26/1222.64	c cleaning 503 clauses out of 1026 for limit 0.8769963158254965
1226.26/1222.69	c cleaning 502 clauses out of 1021 for limit 1.4504616516214672
1226.36/1222.73	c cleaning 495 clauses out of 1018 for limit 2.396655379918397
1226.36/1222.77	c cleaning 498 clauses out of 1023 for limit 3.9330876211452344
1226.46/1222.82	c cleaning 496 clauses out of 1027 for limit 6.473866246145407
1226.46/1222.87	c cleaning 499 clauses out of 1029 for limit 10.634220341643685
1226.56/1222.91	c cleaning 501 clauses out of 1031 for limit 17.52075282932751
1226.56/1222.95	c cleaning 501 clauses out of 1031 for limit 28.922988288229014
1226.56/1222.99	c cleaning 504 clauses out of 1029 for limit 47.742793595060704
1226.66/1223.04	c cleaning 497 clauses out of 1024 for limit 79.03957945419948
1226.66/1223.08	c cleaning 496 clauses out of 1029 for limit 129.97329028233827
1226.77/1223.12	c cleaning 499 clauses out of 1032 for limit 213.50653182526975
1226.77/1223.17	c cleaning 504 clauses out of 1032 for limit 351.74873253932327
1226.87/1223.21	c cleaning 508 clauses out of 1031 for limit 582.3887747109696
1226.87/1223.26	c cleaning 499 clauses out of 1021 for limit 967.9051089064704
1226.96/1223.30	c cleaning 498 clauses out of 1022 for limit 1594.6431641845468
1226.96/1223.35	c cleaning 501 clauses out of 1023 for limit 2624.5820411919194
1226.96/1223.39	c cleaning 495 clauses out of 1023 for limit 4332.619515745075
1227.06/1223.43	c cleaning 500 clauses out of 1027 for limit 7110.123052091562
1227.06/1223.47	c cleaning 501 clauses out of 1028 for limit 11725.863780632353
1227.16/1223.52	c cleaning 501 clauses out of 1026 for limit 19355.837786180182
1227.16/1223.56	c cleaning 502 clauses out of 1027 for limit 31953.15907787698
1227.26/1223.61	c cleaning 491 clauses out of 1023 for limit 52795.32587580259
1227.26/1223.65	c cleaning 497 clauses out of 1036 for limit 86318.77875523061
1227.26/1223.70	c cleaning 505 clauses out of 1035 for limit 141919.65044986038
1227.36/1223.74	c cleaning 502 clauses out of 1030 for limit 235180.6275603825
1227.36/1223.78	c cleaning 498 clauses out of 1028 for limit 388598.87767607655
1227.46/1223.82	c cleaning 503 clauses out of 1031 for limit 639626.4140948708
1227.46/1223.86	c cleaning 501 clauses out of 1027 for limit 1057878.9781440988
1227.56/1223.91	c cleaning 504 clauses out of 1028 for limit 1746377.8987925462
1227.56/1223.95	c cleaning 493 clauses out of 1022 for limit 2891127.927326093
1227.56/1223.99	c cleaning 513 clauses out of 1031 for limit 4735702.914726604
1227.66/1224.04	c cleaning 506 clauses out of 1016 for limit 7909267.620775709
1227.66/1224.08	c cleaning 490 clauses out of 1010 for limit 1.3120926174043966E7
1227.76/1224.12	c cleaning 510 clauses out of 1022 for limit 2.142692652844908E7
1227.76/1224.16	c cleaning 504 clauses out of 1012 for limit 3.568503694733672E7
1227.87/1224.21	c cleaning 502 clauses out of 1007 for limit 5.908245977143083E7
1227.87/1224.25	c cleaning 500 clauses out of 1005 for limit 9.762878033200294E7
1227.87/1224.29	c cleaning 484 clauses out of 1004 for limit 1.6100211750467607E8
1227.97/1224.33	c cleaning 494 clauses out of 1020 for limit 2.6134910427855366E8
1227.97/1224.37	c cleaning 509 clauses out of 1026 for limit 4.2847916990766066E8
1228.06/1224.42	c cleaning 502 clauses out of 1017 for limit 7.128727417601323E8
1228.06/1224.46	c cleaning 498 clauses out of 1018 for limit 1.177998143707415E9
1228.16/1224.51	c cleaning 492 clauses out of 1018 for limit 1.9387931183648362E9
1228.16/1224.55	c cleaning 499 clauses out of 1026 for limit 3.172398777031079E9
1228.16/1224.59	c cleaning 508 clauses out of 1027 for limit 5.226615811782016E9
1228.26/1224.64	c cleaning 508 clauses out of 1019 for limit 8.687058068775963E9
1228.26/1224.68	c cleaning 492 clauses out of 1011 for limit 1.4439482874524546E10
1228.36/1224.73	c cleaning 494 clauses out of 1018 for limit 2.3625248909546124E10
1228.36/1224.77	c cleaning 500 clauses out of 1026 for limit 3.873483591629128E10
1228.46/1224.81	c cleaning 510 clauses out of 1025 for limit 6.387730593611036E10
1228.46/1224.86	c cleaning 490 clauses out of 1015 for limit 1.0638007725398566E11
1228.56/1224.90	c cleaning 499 clauses out of 1024 for limit 1.7371917660211432E11
1228.56/1224.94	c cleaning 512 clauses out of 1026 for limit 2.8621392331846295E11
1228.56/1224.99	c cleaning 490 clauses out of 1015 for limit 4.775979721874589E11
1228.66/1225.03	c cleaning 509 clauses out of 1023 for limit 7.799014830149353E11
1228.66/1225.08	c cleaning 486 clauses out of 1014 for limit 1.2975775168233462E12
1228.76/1225.12	c cleaning 497 clauses out of 1028 for limit 2.1107365922423135E12
1228.76/1225.16	c cleaning 513 clauses out of 1031 for limit 3.470758337705345E12
1228.86/1225.20	c cleaning 500 clauses out of 1019 for limit 5.79694601145494E12
1228.86/1225.25	c cleaning 510 clauses out of 1021 for limit 9.560323942082195E12
1228.86/1225.29	c cleaning 501 clauses out of 1009 for limit 1.5921869040712553E13
1228.97/1225.34	c cleaning 502 clauses out of 1009 for limit 2.628357561328151E13
1228.97/1225.38	c cleaning 503 clauses out of 1006 for limit 4.343091778595461E13
1229.07/1225.42	c cleaning 490 clauses out of 1004 for limit 7.183790750347325E13
1229.07/1225.46	c cleaning 491 clauses out of 1012 for limit 1.1729884545232603E14
1229.16/1225.50	c cleaning 495 clauses out of 1024 for limit 1.9174926842010866E14
1229.16/1225.55	c cleaning 497 clauses out of 1026 for limit 3.146579168972371E14
1229.16/1225.59	c cleaning 502 clauses out of 1031 for limit 5.174307914113743E14
1229.26/1225.63	c cleaning 512 clauses out of 1028 for limit 8.549470047378069E14
1229.26/1225.67	c cleaning 505 clauses out of 1015 for limit 1.4265521175544408E15
1229.36/1225.71	c cleaning 500 clauses out of 1010 for limit 2.364221694865258E-5
1229.36/1225.76	c cleaning 493 clauses out of 1011 for limit 3.898960318676936E-5
1229.46/1225.80	c cleaning 504 clauses out of 1019 for limit 6.385812837202161E-5
1229.46/1225.85	c cleaning 501 clauses out of 1014 for limit 1.0572404961363153E-4
1229.46/1225.89	c cleaning 501 clauses out of 1013 for limit 1.745252169217403E-4
1229.56/1225.93	c cleaning 500 clauses out of 1012 for limit 2.8809983286884593E-4
1229.56/1225.98	c cleaning 492 clauses out of 1011 for limit 4.751095263576889E-4
1229.66/1226.02	c cleaning 501 clauses out of 1019 for limit 7.773678889371129E-4
1229.66/1226.06	c cleaning 495 clauses out of 1018 for limit 0.001283242959229007
1229.76/1226.10	c cleaning 497 clauses out of 1023 for limit 0.0021058960083102244
1229.76/1226.14	c cleaning 502 clauses out of 1027 for limit 0.0034628406760589888
1229.76/1226.18	c cleaning 499 clauses out of 1024 for limit 0.0057216906371632525
1229.86/1226.23	c cleaning 503 clauses out of 1028 for limit 0.009427371832923241
1229.86/1226.27	c cleaning 500 clauses out of 1024 for limit 0.015592120054244747
1229.96/1226.31	c cleaning 497 clauses out of 1023 for limit 0.02571288859687704
1229.96/1226.36	c cleaning 496 clauses out of 1026 for limit 0.04228000482101352
1229.96/1226.40	c cleaning 500 clauses out of 1030 for limit 0.06945460587714992
1230.07/1226.45	c cleaning 505 clauses out of 1029 for limit 0.1145365972056123
1230.07/1226.49	c cleaning 505 clauses out of 1027 for limit 0.18982291132399248
1230.17/1226.53	c cleaning 497 clauses out of 1020 for limit 0.31456164348238075
1230.17/1226.58	c cleaning 488 clauses out of 1022 for limit 0.5172213177283139
1230.26/1226.62	c cleaning 504 clauses out of 1035 for limit 0.8430966452117589
1230.26/1226.67	c cleaning 502 clauses out of 1030 for limit 1.3957314402125118
1230.36/1226.71	c cleaning 498 clauses out of 1031 for limit 2.3064276894648423
1230.36/1226.75	c cleaning 500 clauses out of 1030 for limit 3.795890147618864
1230.36/1226.80	c cleaning 497 clauses out of 1031 for limit 6.260119069873093
1230.46/1226.84	c cleaning 507 clauses out of 1034 for limit 10.293820887887852
1230.46/1226.88	c cleaning 505 clauses out of 1026 for limit 17.09114506983601
1230.56/1226.92	c cleaning 498 clauses out of 1021 for limit 28.32361394034291
1230.56/1226.97	c cleaning 499 clauses out of 1026 for limit 46.62152441457113
1230.66/1227.01	c cleaning 497 clauses out of 1025 for limit 76.80629723818916
1230.66/1227.06	c cleaning 503 clauses out of 1027 for limit 126.29077422640268
1230.76/1227.10	c cleaning 502 clauses out of 1025 for limit 208.8856484576554
1230.76/1227.14	c cleaning 499 clauses out of 1023 for limit 345.1538494545474
1230.76/1227.19	c cleaning 500 clauses out of 1024 for limit 568.6490074740174
1230.86/1227.23	c cleaning 496 clauses out of 1023 for limit 937.756285164287
1230.86/1227.28	c cleaning 496 clauses out of 1027 for limit 1540.462252213208
1230.96/1227.32	c cleaning 500 clauses out of 1031 for limit 2530.5721612517964
1230.96/1227.37	c cleaning 500 clauses out of 1031 for limit 4173.2520277913245
1231.06/1227.41	c cleaning 501 clauses out of 1031 for limit 6882.250881496005
1231.06/1227.46	c cleaning 501 clauses out of 1030 for limit 11360.77157172018
1231.06/1227.50	c cleaning 499 clauses out of 1029 for limit 18753.639555641166
1231.17/1227.55	c cleaning 503 clauses out of 1031 for limit 30898.163922556218
1231.17/1227.59	c cleaning 495 clauses out of 1027 for limit 51102.51446256636
1231.27/1227.63	c cleaning 497 clauses out of 1033 for limit 83869.25604628044
1231.27/1227.68	c cleaning 496 clauses out of 1037 for limit 137916.03233828358
1231.36/1227.73	c cleaning 504 clauses out of 1039 for limit 226550.39664284224
1231.36/1227.77	c cleaning 496 clauses out of 1035 for limit 375055.82220271544
1231.46/1227.81	c cleaning 500 clauses out of 1040 for limit 616159.7441224011
1231.46/1227.86	c cleaning 504 clauses out of 1039 for limit 1016090.7269016011
1231.56/1227.90	c cleaning 516 clauses out of 1035 for limit 1682145.5563877313
1231.56/1227.94	c cleaning 496 clauses out of 1021 for limit 2817754.103622621
1231.56/1227.99	c cleaning 499 clauses out of 1024 for limit 4628606.4011097215
1231.66/1228.03	c cleaning 508 clauses out of 1024 for limit 7625557.968156968
1231.66/1228.08	c cleaning 508 clauses out of 1019 for limit 1.2675258403549595E7
1231.76/1228.12	c cleaning 495 clauses out of 1008 for limit 2.106797650705648E7
1231.76/1228.17	c cleaning 490 clauses out of 1013 for limit 3.4572421497609586E7
1231.86/1228.21	c cleaning 499 clauses out of 1026 for limit 5.646135625207563E7
1231.86/1228.25	c cleaning 511 clauses out of 1024 for limit 9.301458696381615E7
1231.96/1228.30	c cleaning 506 clauses out of 1013 for limit 1.5505917186998E8
1231.96/1228.34	c cleaning 488 clauses out of 1008 for limit 2.5723897606997362E8
1231.96/1228.38	c cleaning 505 clauses out of 1019 for limit 4.1922241508590627E8
1232.06/1228.43	c cleaning 492 clauses out of 1014 for limit 6.947628876764334E8
1232.06/1228.48	c cleaning 509 clauses out of 1024 for limit 1.1368404568972118E9
1800.00/1795.81	c starts		: 24
1800.00/1795.81	c conflicts		: 2767627
1800.00/1795.81	c decisions		: 3359945
1800.00/1795.81	c propagations		: 304582661
1800.00/1795.81	c inspects		: 15467937338
1800.00/1795.81	c learnt literals	: 0
1800.00/1795.81	c learnt binary clauses	: 0
1800.00/1795.81	c learnt ternary clauses	: 0
1800.00/1795.81	c learnt clauses	: 2767627
1800.00/1795.81	c root simplifications	: 0
1800.00/1795.81	c removed literals (reason simplification)	: 0
1800.00/1795.81	c reason swapping (by a shorter reason)	: 0
1800.00/1795.81	c Calls to reduceDB	: 243
1800.00/1795.81	c speed (decisions/second)	: 1871.9983463743924
1800.00/1795.81	c non guided choices	214
1800.00/1795.81	s UNKNOWN
1800.00/1795.81	c Total wall clock time (ms): 1795.714

Verifier Data

ERROR: no interpretation found !

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-3729940-1338679020/watcher-3729940-1338679020 -o /tmp/evaluation-result-3729940-1338679020/solver-3729940-1338679020 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3729940-1338679020.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: 1.91 1.40 0.76 3/194 16487
/proc/meminfo: memFree=28276620/32873844 swapFree=7120/7120
[pid=16487] ppid=16485 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/16487/stat : 16487 (java) S 16485 16487 15565 0 -1 4202496 1206 0 0 0 0 0 0 0 20 0 2 0 334026905 94019584 918 33554432000 1073741824 1073778376 140734281882976 140734281874112 233224306749 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16487/statm: 22954 918 697 9 0 16769 0
[pid=16487/tid=16488] ppid=16485 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16488/stat : 16488 (java) D 16485 16487 15565 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 334026906 94019584 918 33554432000 1073741824 1073778376 140734281882976 140258491219496 233211784487 0 0 4096 0 18446744072100609316 0 0 -1 4 0 0 0 0 0

[startup+0.084059 s]
/proc/loadavg: 1.91 1.40 0.76 3/194 16487
/proc/meminfo: memFree=28276620/32873844 swapFree=7120/7120
[pid=16487] ppid=16485 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/16487/stat : 16487 (java) S 16485 16487 15565 0 -1 4202496 4143 0 1 0 6 1 0 0 20 0 18 0 334026905 3028844544 5862 33554432000 1073741824 1073778376 140734281882976 140734281874112 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16487/statm: 739464 5863 1791 9 0 729885 0
[pid=16487/tid=16488] ppid=16485 vsize=2957856 CPUtime=0.06 cores=0,2,4,6
/proc/16487/task/16488/stat : 16488 (java) R 16485 16487 15565 0 -1 4202560 2935 0 1 0 6 0 0 0 20 0 18 0 334026906 3028844544 5864 33554432000 1073741824 1073778376 140734281882976 140258491222944 233220575051 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.100374 s]
/proc/loadavg: 1.91 1.40 0.76 3/194 16487
/proc/meminfo: memFree=28276620/32873844 swapFree=7120/7120
[pid=16487] ppid=16485 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/16487/stat : 16487 (java) S 16485 16487 15565 0 -1 4202496 4899 0 1 0 9 1 0 0 20 0 18 0 334026905 3028844544 6610 33554432000 1073741824 1073778376 140734281882976 140734281874112 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16487/statm: 739464 6610 2127 9 0 729885 0
[pid=16487/tid=16488] ppid=16485 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/16487/task/16488/stat : 16488 (java) R 16485 16487 15565 0 -1 4202560 3016 0 1 0 7 0 0 0 20 0 18 0 334026906 3028844544 6610 33554432000 1073741824 1073778376 140734281882976 140258491224616 233224332557 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856

[startup+0.300198 s]
/proc/loadavg: 1.91 1.40 0.76 3/194 16487
/proc/meminfo: memFree=28276620/32873844 swapFree=7120/7120
[pid=16487] ppid=16485 vsize=2957856 CPUtime=0.48 cores=0,2,4,6
/proc/16487/stat : 16487 (java) S 16485 16487 15565 0 -1 4202496 7905 0 1 0 46 2 0 0 20 0 18 0 334026905 3028844544 10699 33554432000 1073741824 1073778376 140734281882976 140734281874112 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16487/statm: 739464 10699 2238 9 0 729885 0
[pid=16487/tid=16488] ppid=16485 vsize=2957856 CPUtime=0.27 cores=0,2,4,6
/proc/16487/task/16488/stat : 16488 (java) R 16485 16487 15565 0 -1 4202560 3037 0 1 0 26 1 0 0 20 0 18 0 334026906 3028844544 10699 33554432000 1073741824 1073778376 140734281882976 140258491224440 140258347955853 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 2957856

[startup+0.70037 s]
/proc/loadavg: 1.91 1.40 0.76 3/194 16487
/proc/meminfo: memFree=28276620/32873844 swapFree=7120/7120
[pid=16487] ppid=16485 vsize=2957856 CPUtime=1.3 cores=0,2,4,6
/proc/16487/stat : 16487 (java) S 16485 16487 15565 0 -1 4202496 10073 0 1 0 125 5 0 0 20 0 18 0 334026905 3028844544 49300 33554432000 1073741824 1073778376 140734281882976 140734281874112 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16487/statm: 739464 49300 2251 9 0 729885 0
[pid=16487/tid=16488] ppid=16485 vsize=2957856 CPUtime=0.67 cores=0,2,4,6
/proc/16487/task/16488/stat : 16488 (java) R 16485 16487 15565 0 -1 4202560 3111 0 1 0 64 3 0 0 20 0 18 0 334026906 3028844544 49300 33554432000 1073741824 1073778376 140734281882976 140258491216064 140258348291910 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 2957856

[startup+1.50077 s]
/proc/loadavg: 1.91 1.40 0.76 5/213 16506
/proc/meminfo: memFree=27935776/32873844 swapFree=7120/7120
[pid=16487] ppid=16485 vsize=3024420 CPUtime=2.46 cores=0,2,4,6
/proc/16487/stat : 16487 (java) S 16485 16487 15565 0 -1 4202496 12918 0 1 0 238 8 0 0 20 0 19 0 334026905 3097006080 87754 33554432000 1073741824 1073778376 140734281882976 140734281874112 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16487/statm: 756105 87754 2272 9 0 746526 0
[pid=16487/tid=16488] ppid=16485 vsize=3024420 CPUtime=1.47 cores=0,2,4,6
/proc/16487/task/16488/stat : 16488 (java) R 16485 16487 15565 0 -1 4202560 3200 0 1 0 141 6 0 0 20 0 19 0 334026906 3097006080 87754 33554432000 1073741824 1073778376 140734281882976 140258491216328 140258347866214 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16487/tid=16490] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16490/stat : 16490 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026907 3097006080 87754 33554432000 1073741824 1073778376 140734281882976 140258474649768 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16491] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16491/stat : 16491 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026907 3097006080 87754 33554432000 1073741824 1073778376 140734281882976 140258473597224 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16487/tid=16492] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16492/stat : 16492 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026907 3097006080 87754 33554432000 1073741824 1073778376 140734281882976 140258472544680 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16487/tid=16493] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16493/stat : 16493 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026907 3097006080 87754 33554432000 1073741824 1073778376 140734281882976 140258471492136 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16487/tid=16494] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16494/stat : 16494 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026907 3097006080 87754 33554432000 1073741824 1073778376 140734281882976 140258470439592 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16495] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16495/stat : 16495 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026907 3097006080 87754 33554432000 1073741824 1073778376 140734281882976 140258469387048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16487/tid=16496] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16496/stat : 16496 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026907 3097006080 87754 33554432000 1073741824 1073778376 140734281882976 140258468334504 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16487/tid=16497] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16497/stat : 16497 (java) S 16485 16487 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334026907 3097006080 87754 33554432000 1073741824 1073778376 140734281882976 140258467281960 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16498] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16498/stat : 16498 (java) S 16485 16487 15565 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 334026908 3097006080 87754 33554432000 1073741824 1073778376 140734281882976 140258336479336 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16487/tid=16499] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16499/stat : 16499 (java) S 16485 16487 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334026908 3097006080 87754 33554432000 1073741824 1073778376 140734281882976 140258335425656 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16500] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16500/stat : 16500 (java) S 16485 16487 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334026908 3097006080 87754 33554432000 1073741824 1073778376 140734281882976 140258334373000 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16501] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16501/stat : 16501 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026911 3097006080 87754 33554432000 1073741824 1073778376 140734281882976 140258333321744 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16502] ppid=16485 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/16487/task/16502/stat : 16502 (java) S 16485 16487 15565 0 -1 4202560 2942 0 0 0 47 0 0 0 20 0 19 0 334026911 3097006080 87754 33554432000 1073741824 1073778376 140734281882976 140258332269112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16487/tid=16503] ppid=16485 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/16487/task/16503/stat : 16503 (java) S 16485 16487 15565 0 -1 4202560 5581 0 0 0 48 0 0 0 20 0 19 0 334026911 3097006080 87754 33554432000 1073741824 1073778376 140734281882976 140257458645688 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16487/tid=16504] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16504/stat : 16504 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026911 3097006080 87754 33554432000 1073741824 1073778376 140734281882976 140257457593336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16487/tid=16505] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16505/stat : 16505 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026911 3097006080 87754 33554432000 1073741824 1073778376 140734281882976 140257456541000 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16487/tid=16506] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16506/stat : 16506 (java) S 16485 16487 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334027003 3097006080 87754 33554432000 1073741824 1073778376 140734281882976 140257454408488 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 3024420

[startup+3.10076 s]
/proc/loadavg: 1.91 1.40 0.76 3/213 16506
/proc/meminfo: memFree=27928756/32873844 swapFree=7120/7120
[pid=16487] ppid=16485 vsize=3024420 CPUtime=4.12 cores=0,2,4,6
/proc/16487/stat : 16487 (java) S 16485 16487 15565 0 -1 4202496 13334 0 1 0 404 8 0 0 20 0 19 0 334026905 3097006080 90318 33554432000 1073741824 1073778376 140734281882976 140734281874112 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16487/statm: 756105 90318 2275 9 0 746526 0
[pid=16487/tid=16488] ppid=16485 vsize=3024420 CPUtime=3.07 cores=0,2,4,6
/proc/16487/task/16488/stat : 16488 (java) R 16485 16487 15565 0 -1 4202560 3207 0 1 0 301 6 0 0 20 0 19 0 334026906 3097006080 90318 33554432000 1073741824 1073778376 140734281882976 140258491224664 140258348700859 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16487/tid=16490] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16490/stat : 16490 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026907 3097006080 90318 33554432000 1073741824 1073778376 140734281882976 140258474649768 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16491] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16491/stat : 16491 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026907 3097006080 90318 33554432000 1073741824 1073778376 140734281882976 140258473597224 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16487/tid=16492] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16492/stat : 16492 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026907 3097006080 90318 33554432000 1073741824 1073778376 140734281882976 140258472544680 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16487/tid=16493] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16493/stat : 16493 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026907 3097006080 90318 33554432000 1073741824 1073778376 140734281882976 140258471492136 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16487/tid=16494] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16494/stat : 16494 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026907 3097006080 90318 33554432000 1073741824 1073778376 140734281882976 140258470439592 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16495] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16495/stat : 16495 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026907 3097006080 90318 33554432000 1073741824 1073778376 140734281882976 140258469387048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16487/tid=16496] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16496/stat : 16496 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026907 3097006080 90318 33554432000 1073741824 1073778376 140734281882976 140258468334504 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16487/tid=16497] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16497/stat : 16497 (java) S 16485 16487 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334026907 3097006080 90318 33554432000 1073741824 1073778376 140734281882976 140258467281960 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16498] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16498/stat : 16498 (java) S 16485 16487 15565 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 334026908 3097006080 90318 33554432000 1073741824 1073778376 140734281882976 140258336479336 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16487/tid=16499] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16499/stat : 16499 (java) S 16485 16487 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334026908 3097006080 90318 33554432000 1073741824 1073778376 140734281882976 140258335425656 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16500] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16500/stat : 16500 (java) S 16485 16487 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334026908 3097006080 90318 33554432000 1073741824 1073778376 140734281882976 140258334373000 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16501] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16501/stat : 16501 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026911 3097006080 90318 33554432000 1073741824 1073778376 140734281882976 140258333321744 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16502] ppid=16485 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/16487/task/16502/stat : 16502 (java) S 16485 16487 15565 0 -1 4202560 2942 0 0 0 48 0 0 0 20 0 19 0 334026911 3097006080 90318 33554432000 1073741824 1073778376 140734281882976 140258332269112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16487/tid=16503] ppid=16485 vsize=3024420 CPUtime=0.54 cores=0,2,4,6
/proc/16487/task/16503/stat : 16503 (java) S 16485 16487 15565 0 -1 4202560 5989 0 0 0 52 2 0 0 20 0 19 0 334026911 3097006080 90318 33554432000 1073741824 1073778376 140734281882976 140257458645688 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16487/tid=16504] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16504/stat : 16504 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026911 3097006080 90318 33554432000 1073741824 1073778376 140734281882976 140257457593336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16487/tid=16505] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16505/stat : 16505 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026911 3097006080 90318 33554432000 1073741824 1073778376 140734281882976 140257456541000 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16487/tid=16506] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16506/stat : 16506 (java) S 16485 16487 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334027003 3097006080 90318 33554432000 1073741824 1073778376 140734281882976 140257454408488 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.12
Current children cumulated vsize (KiB) 3024420

[startup+6.30076 s]
/proc/loadavg: 1.92 1.41 0.77 3/213 16506
/proc/meminfo: memFree=27912124/32873844 swapFree=7120/7120
[pid=16487] ppid=16485 vsize=3024420 CPUtime=7.33 cores=0,2,4,6
/proc/16487/stat : 16487 (java) S 16485 16487 15565 0 -1 4202496 13342 0 1 0 725 8 0 0 20 0 19 0 334026905 3097006080 93888 33554432000 1073741824 1073778376 140734281882976 140734281874112 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16487/statm: 756105 93888 2275 9 0 746526 0
[pid=16487/tid=16488] ppid=16485 vsize=3024420 CPUtime=6.26 cores=0,2,4,6
/proc/16487/task/16488/stat : 16488 (java) R 16485 16487 15565 0 -1 4202560 3215 0 1 0 620 6 0 0 20 0 19 0 334026906 3097006080 93888 33554432000 1073741824 1073778376 140734281882976 140258491224472 140258348576293 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16487/tid=16490] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16490/stat : 16490 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026907 3097006080 93888 33554432000 1073741824 1073778376 140734281882976 140258474649768 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16491] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16491/stat : 16491 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026907 3097006080 93888 33554432000 1073741824 1073778376 140734281882976 140258473597224 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16487/tid=16492] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16492/stat : 16492 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026907 3097006080 93888 33554432000 1073741824 1073778376 140734281882976 140258472544680 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16487/tid=16493] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16493/stat : 16493 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026907 3097006080 93888 33554432000 1073741824 1073778376 140734281882976 140258471492136 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16487/tid=16494] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16494/stat : 16494 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026907 3097006080 93888 33554432000 1073741824 1073778376 140734281882976 140258470439592 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16495] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16495/stat : 16495 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026907 3097006080 93888 33554432000 1073741824 1073778376 140734281882976 140258469387048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16487/tid=16496] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16496/stat : 16496 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026907 3097006080 93888 33554432000 1073741824 1073778376 140734281882976 140258468334504 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16487/tid=16497] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16497/stat : 16497 (java) S 16485 16487 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334026907 3097006080 93888 33554432000 1073741824 1073778376 140734281882976 140258467281960 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16498] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16498/stat : 16498 (java) S 16485 16487 15565 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 334026908 3097006080 93888 33554432000 1073741824 1073778376 140734281882976 140258336479336 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16487/tid=16499] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16499/stat : 16499 (java) S 16485 16487 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334026908 3097006080 93888 33554432000 1073741824 1073778376 140734281882976 140258335425656 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16500] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16500/stat : 16500 (java) S 16485 16487 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334026908 3097006080 93888 33554432000 1073741824 1073778376 140734281882976 140258334373000 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16501] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16501/stat : 16501 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026911 3097006080 93888 33554432000 1073741824 1073778376 140734281882976 140258333321744 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16502] ppid=16485 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/16487/task/16502/stat : 16502 (java) S 16485 16487 15565 0 -1 4202560 2942 0 0 0 48 0 0 0 20 0 19 0 334026911 3097006080 93888 33554432000 1073741824 1073778376 140734281882976 140258332269112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16487/tid=16503] ppid=16485 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/16487/task/16503/stat : 16503 (java) S 16485 16487 15565 0 -1 4202560 5989 0 0 0 53 2 0 0 20 0 19 0 334026911 3097006080 93888 33554432000 1073741824 1073778376 140734281882976 140257458645688 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0

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

[pid=16487/tid=16502] ppid=16485 vsize=3024420 CPUtime=0.54 cores=0,2,4,6
/proc/16487/task/16502/stat : 16502 (java) S 16485 16487 15565 0 -1 4202560 2951 0 0 0 54 0 0 0 20 0 19 0 334026911 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258332269112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16487/tid=16503] ppid=16485 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/16487/task/16503/stat : 16503 (java) S 16485 16487 15565 0 -1 4202560 5997 0 0 0 61 2 0 0 20 0 19 0 334026911 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140257458645688 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16504] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16504/stat : 16504 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026911 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140257457593336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16487/tid=16505] ppid=16485 vsize=3024420 CPUtime=0.76 cores=0,2,4,6
/proc/16487/task/16505/stat : 16505 (java) S 16485 16487 15565 0 -1 4202560 97 0 0 0 43 33 0 0 20 0 19 0 334026911 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140257456541000 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16487/tid=16506] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16506/stat : 16506 (java) S 16485 16487 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334027003 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140257454408488 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1666.46
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.03 2.00 1.78 3/213 16750
/proc/meminfo: memFree=25989908/32873844 swapFree=7120/7120
[pid=16487] ppid=16485 vsize=3024420 CPUtime=1726.48 cores=0,2,4,6
/proc/16487/stat : 16487 (java) S 16485 16487 15565 0 -1 4202496 15707 0 1 0 172489 159 0 0 20 0 19 0 334026905 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140734281874112 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16487/statm: 756105 420952 2304 9 0 746526 0
[pid=16487/tid=16488] ppid=16485 vsize=3024420 CPUtime=1715.01 cores=0,2,4,6
/proc/16487/task/16488/stat : 16488 (java) R 16485 16487 15565 0 -1 4202560 3262 0 1 0 171468 33 0 0 20 0 19 0 334026906 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258491223408 140258348576112 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16487/tid=16490] ppid=16485 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/16487/task/16490/stat : 16490 (java) S 16485 16487 15565 0 -1 4202560 154 0 0 0 21 8 0 0 20 0 19 0 334026907 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258474649768 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16487/tid=16491] ppid=16485 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/16487/task/16491/stat : 16491 (java) S 16485 16487 15565 0 -1 4202560 242 0 0 0 22 14 0 0 20 0 19 0 334026907 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258473597224 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16487/tid=16492] ppid=16485 vsize=3024420 CPUtime=0.57 cores=0,2,4,6
/proc/16487/task/16492/stat : 16492 (java) S 16485 16487 15565 0 -1 4202560 397 0 0 0 33 24 0 0 20 0 19 0 334026907 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258472544680 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16493] ppid=16485 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/16487/task/16493/stat : 16493 (java) S 16485 16487 15565 0 -1 4202560 274 0 0 0 25 17 0 0 20 0 19 0 334026907 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258471492136 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16494] ppid=16485 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/16487/task/16494/stat : 16494 (java) S 16485 16487 15565 0 -1 4202560 289 0 0 0 30 17 0 0 20 0 19 0 334026907 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258470439592 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16487/tid=16495] ppid=16485 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/16487/task/16495/stat : 16495 (java) S 16485 16487 15565 0 -1 4202560 242 0 0 0 29 14 0 0 20 0 19 0 334026907 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258469387048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16487/tid=16496] ppid=16485 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/16487/task/16496/stat : 16496 (java) S 16485 16487 15565 0 -1 4202560 268 0 0 0 30 16 0 0 20 0 19 0 334026907 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258468334504 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16487/tid=16497] ppid=16485 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/16487/task/16497/stat : 16497 (java) S 16485 16487 15565 0 -1 4202560 202 0 0 0 30 11 0 0 20 0 19 0 334026907 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258467281960 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16498] ppid=16485 vsize=3024420 CPUtime=1.9 cores=0,2,4,6
/proc/16487/task/16498/stat : 16498 (java) S 16485 16487 15565 0 -1 4202560 149 0 0 0 185 5 0 0 20 0 19 0 334026908 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258336479336 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16487/tid=16499] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16499/stat : 16499 (java) S 16485 16487 15565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334026908 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258335425656 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16500] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16500/stat : 16500 (java) S 16485 16487 15565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334026908 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258334373000 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16501] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16501/stat : 16501 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026911 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258333321744 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16502] ppid=16485 vsize=3024420 CPUtime=0.54 cores=0,2,4,6
/proc/16487/task/16502/stat : 16502 (java) S 16485 16487 15565 0 -1 4202560 2951 0 0 0 54 0 0 0 20 0 19 0 334026911 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258332269112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16487/tid=16503] ppid=16485 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/16487/task/16503/stat : 16503 (java) S 16485 16487 15565 0 -1 4202560 5997 0 0 0 61 2 0 0 20 0 19 0 334026911 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140257458645688 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16504] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16504/stat : 16504 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026911 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140257457593336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16487/tid=16505] ppid=16485 vsize=3024420 CPUtime=0.78 cores=0,2,4,6
/proc/16487/task/16505/stat : 16505 (java) S 16485 16487 15565 0 -1 4202560 99 0 0 0 44 34 0 0 20 0 19 0 334026911 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140257456541000 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16487/tid=16506] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16506/stat : 16506 (java) S 16485 16487 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334027003 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140257454408488 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1726.48
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.79 3/213 16750
/proc/meminfo: memFree=25989784/32873844 swapFree=7120/7120
[pid=16487] ppid=16485 vsize=3024420 CPUtime=1786.5 cores=0,2,4,6
/proc/16487/stat : 16487 (java) S 16485 16487 15565 0 -1 4202496 15711 0 1 0 178489 161 0 0 20 0 19 0 334026905 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140734281874112 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16487/statm: 756105 420952 2304 9 0 746526 0
[pid=16487/tid=16488] ppid=16485 vsize=3024420 CPUtime=1774.85 cores=0,2,4,6
/proc/16487/task/16488/stat : 16488 (java) R 16485 16487 15565 0 -1 4202560 3262 0 1 0 177452 33 0 0 20 0 19 0 334026906 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258491223408 140258348599386 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16487/tid=16490] ppid=16485 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/16487/task/16490/stat : 16490 (java) S 16485 16487 15565 0 -1 4202560 154 0 0 0 21 8 0 0 20 0 19 0 334026907 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258474649768 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16487/tid=16491] ppid=16485 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/16487/task/16491/stat : 16491 (java) S 16485 16487 15565 0 -1 4202560 242 0 0 0 22 14 0 0 20 0 19 0 334026907 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258473597224 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16487/tid=16492] ppid=16485 vsize=3024420 CPUtime=0.57 cores=0,2,4,6
/proc/16487/task/16492/stat : 16492 (java) S 16485 16487 15565 0 -1 4202560 397 0 0 0 33 24 0 0 20 0 19 0 334026907 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258472544680 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16493] ppid=16485 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/16487/task/16493/stat : 16493 (java) S 16485 16487 15565 0 -1 4202560 274 0 0 0 25 17 0 0 20 0 19 0 334026907 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258471492136 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16494] ppid=16485 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/16487/task/16494/stat : 16494 (java) S 16485 16487 15565 0 -1 4202560 289 0 0 0 30 17 0 0 20 0 19 0 334026907 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258470439592 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16487/tid=16495] ppid=16485 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/16487/task/16495/stat : 16495 (java) S 16485 16487 15565 0 -1 4202560 242 0 0 0 29 14 0 0 20 0 19 0 334026907 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258469387048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16487/tid=16496] ppid=16485 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/16487/task/16496/stat : 16496 (java) S 16485 16487 15565 0 -1 4202560 268 0 0 0 30 16 0 0 20 0 19 0 334026907 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258468334504 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16487/tid=16497] ppid=16485 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/16487/task/16497/stat : 16497 (java) S 16485 16487 15565 0 -1 4202560 202 0 0 0 30 11 0 0 20 0 19 0 334026907 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258467281960 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16498] ppid=16485 vsize=3024420 CPUtime=1.9 cores=0,2,4,6
/proc/16487/task/16498/stat : 16498 (java) S 16485 16487 15565 0 -1 4202560 149 0 0 0 185 5 0 0 20 0 19 0 334026908 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258336479336 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16487/tid=16499] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16499/stat : 16499 (java) S 16485 16487 15565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334026908 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258335425656 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16500] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16500/stat : 16500 (java) S 16485 16487 15565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334026908 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258334373000 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16501] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16501/stat : 16501 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026911 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258333321744 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16502] ppid=16485 vsize=3024420 CPUtime=0.54 cores=0,2,4,6
/proc/16487/task/16502/stat : 16502 (java) S 16485 16487 15565 0 -1 4202560 2951 0 0 0 54 0 0 0 20 0 19 0 334026911 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258332269112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16487/tid=16503] ppid=16485 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/16487/task/16503/stat : 16503 (java) S 16485 16487 15565 0 -1 4202560 5997 0 0 0 61 2 0 0 20 0 19 0 334026911 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140257458645688 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16504] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16504/stat : 16504 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026911 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140257457593336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16487/tid=16505] ppid=16485 vsize=3024420 CPUtime=0.81 cores=0,2,4,6
/proc/16487/task/16505/stat : 16505 (java) S 16485 16487 15565 0 -1 4202560 103 0 0 0 45 36 0 0 20 0 19 0 334026911 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140257456541000 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16487/tid=16506] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16506/stat : 16506 (java) S 16485 16487 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334027003 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140257454408488 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1786.5
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.8 s]
/proc/loadavg: 2.01 2.00 1.79 3/213 16750
/proc/meminfo: memFree=25989784/32873844 swapFree=7120/7120
[pid=16487] ppid=16485 vsize=3024420 CPUtime=1800 cores=0,2,4,6
/proc/16487/stat : 16487 (java) S 16485 16487 15565 0 -1 4202496 15711 0 1 0 179839 161 0 0 20 0 19 0 334026905 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140734281874112 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16487/statm: 756105 420952 2304 9 0 746526 0
[pid=16487/tid=16488] ppid=16485 vsize=3024420 CPUtime=1788.32 cores=0,2,4,6
/proc/16487/task/16488/stat : 16488 (java) R 16485 16487 15565 0 -1 4202560 3262 0 1 0 178798 34 0 0 20 0 19 0 334026906 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258491223408 140258348576091 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16487/tid=16490] ppid=16485 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/16487/task/16490/stat : 16490 (java) S 16485 16487 15565 0 -1 4202560 154 0 0 0 21 8 0 0 20 0 19 0 334026907 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258474649768 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16487/tid=16491] ppid=16485 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/16487/task/16491/stat : 16491 (java) S 16485 16487 15565 0 -1 4202560 242 0 0 0 22 14 0 0 20 0 19 0 334026907 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258473597224 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16487/tid=16492] ppid=16485 vsize=3024420 CPUtime=0.57 cores=0,2,4,6
/proc/16487/task/16492/stat : 16492 (java) S 16485 16487 15565 0 -1 4202560 397 0 0 0 33 24 0 0 20 0 19 0 334026907 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258472544680 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16493] ppid=16485 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/16487/task/16493/stat : 16493 (java) S 16485 16487 15565 0 -1 4202560 274 0 0 0 25 17 0 0 20 0 19 0 334026907 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258471492136 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16494] ppid=16485 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/16487/task/16494/stat : 16494 (java) S 16485 16487 15565 0 -1 4202560 289 0 0 0 30 17 0 0 20 0 19 0 334026907 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258470439592 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16487/tid=16495] ppid=16485 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/16487/task/16495/stat : 16495 (java) S 16485 16487 15565 0 -1 4202560 242 0 0 0 29 14 0 0 20 0 19 0 334026907 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258469387048 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16487/tid=16496] ppid=16485 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/16487/task/16496/stat : 16496 (java) S 16485 16487 15565 0 -1 4202560 268 0 0 0 30 16 0 0 20 0 19 0 334026907 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258468334504 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16487/tid=16497] ppid=16485 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/16487/task/16497/stat : 16497 (java) S 16485 16487 15565 0 -1 4202560 202 0 0 0 30 11 0 0 20 0 19 0 334026907 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258467281960 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16498] ppid=16485 vsize=3024420 CPUtime=1.9 cores=0,2,4,6
/proc/16487/task/16498/stat : 16498 (java) S 16485 16487 15565 0 -1 4202560 149 0 0 0 185 5 0 0 20 0 19 0 334026908 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258336479336 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16487/tid=16499] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16499/stat : 16499 (java) S 16485 16487 15565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334026908 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258335425656 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16500] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16500/stat : 16500 (java) S 16485 16487 15565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334026908 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258334373000 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16501] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16501/stat : 16501 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026911 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258333321744 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16502] ppid=16485 vsize=3024420 CPUtime=0.54 cores=0,2,4,6
/proc/16487/task/16502/stat : 16502 (java) S 16485 16487 15565 0 -1 4202560 2951 0 0 0 54 0 0 0 20 0 19 0 334026911 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140258332269112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16487/tid=16503] ppid=16485 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/16487/task/16503/stat : 16503 (java) S 16485 16487 15565 0 -1 4202560 5997 0 0 0 61 2 0 0 20 0 19 0 334026911 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140257458645688 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16487/tid=16504] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16504/stat : 16504 (java) S 16485 16487 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334026911 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140257457593336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16487/tid=16505] ppid=16485 vsize=3024420 CPUtime=0.82 cores=0,2,4,6
/proc/16487/task/16505/stat : 16505 (java) S 16485 16487 15565 0 -1 4202560 103 0 0 0 46 36 0 0 20 0 19 0 334026911 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140257456541000 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16487/tid=16506] ppid=16485 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/16487/task/16506/stat : 16506 (java) S 16485 16487 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334027003 3097006080 420952 33554432000 1073741824 1073778376 140734281882976 140257454408488 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 3024420

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16487 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=778304
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=112678
# CPU time returned by wait4() is 1795.89
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1795.82
CPU time (s): 1800
CPU user time (s): 1798.39
CPU system time (s): 1.61
CPU usage (%): 100.233
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.78
system time used= 2.11268
maximum resident set size= 1683924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15742
page faults= 1
swaps= 0
block input operations= 48
block output operations= 1016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38025
involuntary context switches= 2401

runsolver used 6.72898 second user time and 14.7038 second system time

The end

Launcher Data

Begin job on node142 at 2012-06-03 01:17:00
IDJOB=3729940
IDBENCH=1372
IDSOLVER=2319
FILE ID=node142/3729940-1338679020
RUNJOBID= node142-1338678627-15585
PBS_JOBID= 14636671
Free space on /tmp= 71184 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/vdw/normalized-vdw_k4_l4_n360.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3729940-1338679020/watcher-3729940-1338679020 -o /tmp/evaluation-result-3729940-1338679020/solver-3729940-1338679020 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3729940-1338679020.opb           

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

MD5SUM BENCH= a399b3055416a9d1117a7f2bb11b2cef
RANDOM SEED=1044702024

node142.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.776
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.55
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.776
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.776
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	: 5391.91
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.776
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.92
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.776
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.90
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.776
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.776
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.776
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:        28276884 kB
Buffers:          237776 kB
Cached:          2742660 kB
SwapCached:            0 kB
Active:          1898452 kB
Inactive:        1869060 kB
Active(anon):     778384 kB
Inactive(anon):    11232 kB
Active(file):    1120068 kB
Inactive(file):  1857828 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              7160 kB
Writeback:             0 kB
AnonPages:        810372 kB
Mapped:            18496 kB
Shmem:               200 kB
Slab:             674316 kB
SReclaimable:     116216 kB
SUnreclaim:       558100 kB
KernelStack:        1576 kB
PageTables:         5652 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1825124 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    770048 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= 71180 MiB
End job on node142 at 2012-06-03 01:46:58