Trace number 3734585

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
PB07: SAT4JPseudoResolution 2007-03-23? (exit code) 565.23 560.57

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-prom2.r.opb
MD5SUMfe2fc6a37df33476d3a38f976836359f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark278
Best CPU time to get the best result obtained on this benchmark0.664898
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 278
Optimality of the best value was proved YES
Number of variables2611
Total number of constraints1924
Number of constraints which are clauses1924
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint30
Number of terms in the objective function 2611
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2611
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2611
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.08	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.09	c no version file found!!!
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version	1.6.0_24
0.00/0.09	c os.name	Linux
0.00/0.09	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch	amd64
0.00/0.09	c Free memory 1599470296
0.00/0.09	c Max memory 1607860224
0.00/0.09	c Total memory 1607860224
0.00/0.09	c Number of processors 8
0.08/0.11	--- Begin Solver configuration ---
0.08/0.11	c Stops conflict analysis at the first Unique Implication Point
0.08/0.11	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap
0.08/0.11	c No reason simplification
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-3734585-1338701059.opb
0.08/0.11	c reading problem ... 
0.48/0.33	c ... done. Wall clock time 0.221s.
0.48/0.33	c CPU time (experimental) 0.3s.
0.48/0.33	c #vars     2611
0.48/0.33	c #constraints  1924
0.48/0.38	c SATISFIABLE
0.48/0.38	c OPTIMIZING...
0.48/0.38	c Got one! Elapsed wall clock time (in seconds):0.275
0.48/0.39	o 439
162.46/159.73	c cleaning 371490 clauses out of 743000 for limit 9.35964294455536E-4
165.77/163.09	c cleaning 186000 clauses out of 372011 for limit 0.0030859061376279293
166.68/163.91	c cleaning 93249 clauses out of 186510 for limit 0.010140462120827263
167.27/164.55	c cleaning 46873 clauses out of 93761 for limit 0.03326545940669817
167.68/164.97	c cleaning 23689 clauses out of 47389 for limit 0.10864971980028222
167.87/165.13	c cleaning 12090 clauses out of 24200 for limit 0.35087035479112866
167.97/165.25	c cleaning 6295 clauses out of 12609 for limit 1.1094373241443407
168.07/165.35	c cleaning 3400 clauses out of 6815 for limit 3.3885036348051796
168.17/165.45	c cleaning 1950 clauses out of 3914 for limit 9.720181400633821
168.27/165.53	c cleaning 1225 clauses out of 2466 for limit 25.49335710665594
168.37/165.61	c cleaning 861 clauses out of 1739 for limit 59.49868717962677
168.47/165.70	c cleaning 679 clauses out of 1381 for limit 123.92893256588566
168.47/165.79	c cleaning 587 clauses out of 1199 for limit 234.69268642860862
168.57/165.88	c cleaning 542 clauses out of 1112 for limit 417.32061530525425
168.67/165.96	c cleaning 530 clauses out of 1070 for limit 715.2316685459064
168.78/166.05	c cleaning 513 clauses out of 1041 for limit 1213.5849515720392
168.88/166.13	c cleaning 504 clauses out of 1027 for limit 2026.6177576791508
168.97/166.21	c cleaning 503 clauses out of 1024 for limit 3355.310604594054
169.07/166.30	c cleaning 502 clauses out of 1020 for limit 5549.500432409467
169.07/166.39	c cleaning 500 clauses out of 1019 for limit 9170.019857116788
169.17/166.47	c cleaning 497 clauses out of 1019 for limit 15122.589487694746
169.27/166.56	c cleaning 501 clauses out of 1021 for limit 24865.430363437255
169.37/166.65	c cleaning 496 clauses out of 1020 for limit 41046.62348070407
169.47/166.73	c cleaning 501 clauses out of 1024 for limit 67426.9538120165
169.57/166.82	c cleaning 501 clauses out of 1023 for limit 111304.76311024283
169.67/166.90	c cleaning 499 clauses out of 1022 for limit 183736.0495851644
169.67/166.98	c cleaning 504 clauses out of 1024 for limit 302716.2344929575
169.77/167.07	c cleaning 502 clauses out of 1019 for limit 501167.45447620016
169.88/167.16	c cleaning 495 clauses out of 1017 for limit 828117.5307617444
169.98/167.24	c cleaning 503 clauses out of 1023 for limit 1359025.78420856
170.07/167.32	c cleaning 500 clauses out of 1019 for limit 2247763.017254628
170.07/167.40	c cleaning 509 clauses out of 1019 for limit 3706861.91580958
170.17/167.47	c cleaning 505 clauses out of 1011 for limit 6167651.634796603
170.27/167.55	c cleaning 496 clauses out of 1006 for limit 1.022183573408326E7
170.37/167.63	c cleaning 497 clauses out of 1010 for limit 1.6790413490784574E7
170.47/167.71	c cleaning 506 clauses out of 1013 for limit 2.7607635150948763E7
170.47/167.78	c cleaning 503 clauses out of 1006 for limit 4.579963814925387E7
170.57/167.87	c cleaning 501 clauses out of 1003 for limit 7.575564173054835E7
170.67/167.94	c cleaning 495 clauses out of 1002 for limit 1.2505586944608714E8
170.77/168.03	c cleaning 504 clauses out of 1008 for limit 2.052114873884691E8
170.87/168.11	c cleaning 501 clauses out of 1003 for limit 3.397681320074714E8
170.87/168.19	c cleaning 492 clauses out of 1002 for limit 5.608823077414876E8
170.98/168.28	c cleaning 505 clauses out of 1011 for limit 9.176534584796047E8
171.08/168.35	c cleaning 502 clauses out of 1005 for limit 1.5208457721342845E9
171.17/168.43	c cleaning 492 clauses out of 1003 for limit 2.5130792861651645E9
171.27/168.51	c cleaning 498 clauses out of 1011 for limit 4.1116094445384407E9
171.27/168.59	c cleaning 506 clauses out of 1013 for limit 6.767206860299326E9
171.37/168.67	c cleaning 493 clauses out of 1008 for limit 1.1226613315443106E10
171.47/168.75	c cleaning 508 clauses out of 1016 for limit 1.8386793017858906E10
171.57/168.83	c cleaning 503 clauses out of 1006 for limit 3.056247898810291E10
171.67/168.90	c cleaning 493 clauses out of 1003 for limit 5.05523690181786E10
171.67/168.98	c cleaning 495 clauses out of 1011 for limit 8.279072558589328E10
171.77/169.05	c cleaning 507 clauses out of 1015 for limit 1.3585892610228339E11
171.87/169.13	c cleaning 495 clauses out of 1008 for limit 2.2560544363591974E11
171.97/169.20	c cleaning 506 clauses out of 1013 for limit 3.70217162854904E11
171.97/169.27	c cleaning 503 clauses out of 1007 for limit 6.141753897535181E11
172.08/169.35	c cleaning 494 clauses out of 1006 for limit 1.0158949711462872E12
172.18/169.43	c cleaning 497 clauses out of 1012 for limit 1.6654138257772273E12
172.27/169.51	c cleaning 498 clauses out of 1014 for limit 2.738331980307276E12
172.27/169.58	c cleaning 500 clauses out of 1015 for limit 4.506915197718035E12
172.37/169.66	c cleaning 507 clauses out of 1015 for limit 7.432506085365444E12
172.47/169.73	c cleaning 504 clauses out of 1008 for limit 1.2342316260126545E13
172.57/169.81	c cleaning 498 clauses out of 1004 for limit 2.0435222792416305E13
172.57/169.89	c cleaning 499 clauses out of 1007 for limit 3.3633651351977637E13
172.67/169.97	c cleaning 496 clauses out of 1008 for limit 5.541136432773073E13
172.77/170.05	c cleaning 505 clauses out of 1011 for limit 9.101848347986131E13
172.87/170.12	c cleaning 503 clauses out of 1006 for limit 1.508476875781259E14
172.99/170.20	c cleaning 495 clauses out of 1003 for limit 2.495120886940105E14
172.99/170.28	c cleaning 495 clauses out of 1009 for limit 4.0944140357069744E14
173.09/170.36	c cleaning 498 clauses out of 1014 for limit 6.71894143408595E14
173.20/170.43	c cleaning 502 clauses out of 1015 for limit 1.1058447069102774E15
173.30/170.50	c cleaning 506 clauses out of 1013 for limit 1.8272864233341878E15
173.30/170.58	c cleaning 493 clauses out of 1007 for limit 3.031394715977635E15
173.39/170.65	c cleaning 503 clauses out of 1014 for limit 4.964664346462123E15
173.49/170.73	c cleaning 505 clauses out of 1011 for limit 8.211690610865695E15
173.59/170.81	c cleaning 503 clauses out of 1007 for limit 1.3609578096038202E16
173.59/170.89	c cleaning 501 clauses out of 1003 for limit 2.251098895181476E16
173.69/170.96	c cleaning 501 clauses out of 1002 for limit 3.716068178094868E16
173.79/171.04	c cleaning 497 clauses out of 1002 for limit 6.13442798036572E-4
173.89/171.11	c cleaning 495 clauses out of 1005 for limit 0.0010086293903973835
173.89/171.18	c cleaning 496 clauses out of 1009 for limit 0.0016551139139289201
173.99/171.26	c cleaning 496 clauses out of 1013 for limit 0.0027187263569576564
174.09/171.34	c cleaning 497 clauses out of 1017 for limit 0.00446590907807625
174.19/171.41	c cleaning 502 clauses out of 1020 for limit 0.007343220092174489
174.19/171.48	c cleaning 501 clauses out of 1019 for limit 0.012133970414195016
174.30/171.56	c cleaning 502 clauses out of 1018 for limit 0.020030197186043687
174.40/171.64	c cleaning 498 clauses out of 1015 for limit 0.03309697757424423
174.49/171.72	c cleaning 502 clauses out of 1018 for limit 0.05447496987084405
174.49/171.79	c cleaning 499 clauses out of 1016 for limit 0.09001335637734065
174.59/171.87	c cleaning 496 clauses out of 1017 for limit 0.14829810373708638
174.69/171.95	c cleaning 501 clauses out of 1021 for limit 0.24360527916974875
174.79/172.02	c cleaning 501 clauses out of 1020 for limit 0.40213155476671464
174.89/172.11	c cleaning 498 clauses out of 1018 for limit 0.6638071439123712
174.89/172.19	c cleaning 501 clauses out of 1020 for limit 1.0925602989545433
174.99/172.26	c cleaning 503 clauses out of 1020 for limit 1.803581674752682
175.09/172.34	c cleaning 501 clauses out of 1016 for limit 2.9830714323891643
175.19/172.42	c cleaning 499 clauses out of 1015 for limit 4.924330642294585
175.19/172.49	c cleaning 497 clauses out of 1017 for limit 8.113022751587362
175.29/172.57	c cleaning 504 clauses out of 1020 for limit 13.340108505609857
175.40/172.66	c cleaning 501 clauses out of 1015 for limit 22.085888067197253
175.50/172.74	c cleaning 501 clauses out of 1014 for limit 36.4585037281606
175.59/172.82	c cleaning 497 clauses out of 1013 for limit 60.18430333545326
175.69/172.90	c cleaning 501 clauses out of 1016 for limit 98.95890067901365
175.69/172.98	c cleaning 500 clauses out of 1016 for limit 163.3598255301105
359.27/355.62	c cleaning 382751 clauses out of 765515 for limit 5.4595629225072296E11
368.66/365.05	c cleaning 191623 clauses out of 383264 for limit 1.7983302090233682E12
375.16/371.50	c cleaning 96066 clauses out of 192141 for limit 5.915661400958172E12
376.66/373.06	c cleaning 48280 clauses out of 96576 for limit 1.9428735669864945E13
376.96/373.32	c cleaning 24388 clauses out of 48795 for limit 6.33519236192682E13
377.06/373.49	c cleaning 12444 clauses out of 24907 for limit 2.0467726022076716E14
377.26/373.61	c cleaning 6473 clauses out of 12964 for limit 6.491460101261975E14
377.26/373.70	c cleaning 3488 clauses out of 6990 for limit 1.9834698986719492E15
377.36/373.77	c cleaning 1993 clauses out of 4002 for limit 5.713228479583608E15
377.46/373.85	c cleaning 1246 clauses out of 2509 for limit 1.5028440022156848E16
377.57/373.93	c cleaning 876 clauses out of 1763 for limit 3.5271029685633915E-4
377.57/374.00	c cleaning 681 clauses out of 1387 for limit 7.393496586029947E-4
377.67/374.08	c cleaning 595 clauses out of 1206 for limit 0.0014022805714832027
377.76/374.15	c cleaning 548 clauses out of 1111 for limit 0.0025102909062772716
377.86/374.23	c cleaning 518 clauses out of 1063 for limit 0.004326739358846117
377.96/374.30	c cleaning 510 clauses out of 1045 for limit 0.00725827795316581
377.96/374.38	c cleaning 508 clauses out of 1035 for limit 0.01208552227064274
378.06/374.46	c cleaning 497 clauses out of 1027 for limit 0.02008589630127822
378.16/374.54	c cleaning 510 clauses out of 1032 for limit 0.03302987066021743
378.26/374.62	c cleaning 505 clauses out of 1021 for limit 0.05500247135237859
378.26/374.69	c cleaning 492 clauses out of 1015 for limit 0.09115138639520036
378.36/374.77	c cleaning 502 clauses out of 1023 for limit 0.14914530071622453
378.46/374.85	c cleaning 504 clauses out of 1021 for limit 0.24644235642078244
378.56/374.92	c cleaning 499 clauses out of 1017 for limit 0.40801490551112896
378.56/375.00	c cleaning 501 clauses out of 1018 for limit 0.6722101888083976
378.67/375.08	c cleaning 499 clauses out of 1017 for limit 1.1096545619661033
378.77/375.16	c cleaning 502 clauses out of 1019 for limit 1.8282053295169705
378.86/375.24	c cleaning 503 clauses out of 1018 for limit 3.0209377445930388
378.96/375.32	c cleaning 496 clauses out of 1013 for limit 4.9965124228605795
378.96/375.39	c cleaning 498 clauses out of 1017 for limit 8.207508685406594
379.06/375.47	c cleaning 498 clauses out of 1020 for limit 13.508979135759798
379.16/375.55	c cleaning 502 clauses out of 1021 for limit 22.23403760388862
379.26/375.62	c cleaning 505 clauses out of 1020 for limit 36.739589958661284
379.36/375.70	c cleaning 500 clauses out of 1014 for limit 60.88606359272047
379.36/375.78	c cleaning 500 clauses out of 1014 for limit 100.40926405626023
379.46/375.86	c cleaning 498 clauses out of 1014 for limit 165.58830893980175
379.56/375.94	c cleaning 500 clauses out of 1016 for limit 272.53971976149523
379.66/376.02	c cleaning 502 clauses out of 1016 for limit 449.4544575981257
379.66/376.09	c cleaning 498 clauses out of 1014 for limit 742.6724812241298
379.77/376.17	c cleaning 499 clauses out of 1016 for limit 1222.3553172523948
379.87/376.25	c cleaning 503 clauses out of 1018 for limit 2013.8809546173584
379.96/376.33	c cleaning 503 clauses out of 1016 for limit 3331.0278489633793
380.06/376.40	c cleaning 496 clauses out of 1011 for limit 5509.44281176886
380.06/376.48	c cleaning 502 clauses out of 1016 for limit 9050.14475822626
380.16/376.56	c cleaning 499 clauses out of 1014 for limit 14954.337084446519
380.26/376.63	c cleaning 498 clauses out of 1015 for limit 24637.405163924755
380.36/376.71	c cleaning 499 clauses out of 1016 for limit 40549.79613329739
380.36/376.78	c cleaning 495 clauses out of 1017 for limit 66806.28426169015
380.46/376.86	c cleaning 503 clauses out of 1022 for limit 109633.49552954272
380.56/376.94	c cleaning 495 clauses out of 1019 for limit 181332.58807538805
380.66/377.01	c cleaning 504 clauses out of 1024 for limit 297581.5314448176
380.66/377.08	c cleaning 500 clauses out of 1020 for limit 492676.2717842133
380.76/377.16	c cleaning 503 clauses out of 1020 for limit 812489.0812246475
380.87/377.23	c cleaning 499 clauses out of 1017 for limit 1343855.7045622612
380.97/377.31	c cleaning 500 clauses out of 1019 for limit 2214062.146357905
380.97/377.39	c cleaning 501 clauses out of 1019 for limit 3651284.671279036
381.06/377.46	c cleaning 501 clauses out of 1017 for limit 6027265.191030404
381.16/377.54	c cleaning 498 clauses out of 1017 for limit 9949716.329450311
381.26/377.62	c cleaning 509 clauses out of 1019 for limit 1.6376208343671428E7
381.26/377.69	c cleaning 504 clauses out of 1009 for limit 2.724694078689772E7
381.36/377.77	c cleaning 497 clauses out of 1006 for limit 4.511296091480517E7
381.46/377.84	c cleaning 503 clauses out of 1008 for limit 7.417544425284617E7
381.56/377.92	c cleaning 494 clauses out of 1005 for limit 1.2269038052839462E8
381.56/377.99	c cleaning 497 clauses out of 1012 for limit 2.0113444963774973E8
381.66/378.07	c cleaning 497 clauses out of 1014 for limit 3.307123354326155E8
381.76/378.15	c cleaning 509 clauses out of 1018 for limit 5.437896908652867E8
381.86/378.23	c cleaning 504 clauses out of 1008 for limit 9.047729148275822E8
381.97/378.31	c cleaning 499 clauses out of 1004 for limit 1.498036162853599E9
381.97/378.39	c cleaning 503 clauses out of 1006 for limit 2.46801859949715E9
382.07/378.47	c cleaning 498 clauses out of 1004 for limit 4.082282873719621E9
382.16/378.55	c cleaning 493 clauses out of 1004 for limit 6.718772847873056E9
382.26/378.63	c cleaning 506 clauses out of 1012 for limit 1.100356865609055E10
382.36/378.71	c cleaning 503 clauses out of 1007 for limit 1.825471253369768E10
382.36/378.78	c cleaning 496 clauses out of 1002 for limit 3.0194205796138298E10
382.46/378.87	c cleaning 493 clauses out of 1007 for limit 4.959664056882121E10
382.56/378.95	c cleaning 498 clauses out of 1015 for limit 8.122806124783221E10
382.66/379.03	c cleaning 494 clauses out of 1015 for limit 1.3368816157025235E11
382.76/379.10	c cleaning 504 clauses out of 1022 for limit 2.19178775502811E11
382.76/379.18	c cleaning 501 clauses out of 1017 for limit 3.6286895532527026E11
382.86/379.26	c cleaning 508 clauses out of 1017 for limit 5.990184695412732E11
382.96/379.34	c cleaning 504 clauses out of 1008 for limit 9.956851025279489E11
383.07/379.42	c cleaning 497 clauses out of 1004 for limit 1.648559838559824E12
383.07/379.49	c cleaning 494 clauses out of 1007 for limit 2.7105963227720215E12
383.17/379.57	c cleaning 506 clauses out of 1013 for limit 4.443659333675246E12
383.26/379.65	c cleaning 504 clauses out of 1008 for limit 7.371910756474935E12
383.36/379.73	c cleaning 501 clauses out of 1004 for limit 1.2205702360833113E13
383.46/379.81	c cleaning 490 clauses out of 1002 for limit 2.0148844346753105E13
383.46/379.89	c cleaning 496 clauses out of 1012 for limit 3.2899798489676633E13
383.56/379.96	c cleaning 502 clauses out of 1016 for limit 5.404256200134486E13
383.66/380.05	c cleaning 508 clauses out of 1016 for limit 8.930192898085081E13
383.76/380.13	c cleaning 503 clauses out of 1007 for limit 1.4843846431660916E14
383.86/380.21	c cleaning 493 clauses out of 1003 for limit 2.4552536505361984E14
383.86/380.29	c cleaning 498 clauses out of 1010 for limit 4.020979062251762E14
383.96/380.37	c cleaning 505 clauses out of 1013 for limit 6.618112401161746E14
384.06/380.45	c cleaning 503 clauses out of 1007 for limit 1.09682032306107E15
384.17/380.53	c cleaning 492 clauses out of 1004 for limit 1.8142082338889422E15
384.27/380.61	c cleaning 493 clauses out of 1013 for limit 2.9682590452553055E15
545.34/540.67	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
551.44/546.72		at org.sat4j.minisat.constraints.cnf.WLClause.<init>(Unknown Source)
554.64/549.97		at org.sat4j.minisat.constraints.cnf.LearntWLClause.<init>(Unknown Source)
557.53/552.81		at org.sat4j.minisat.constraints.AbstractPBDataStructureFactory.createUnregisteredClause(Unknown Source)
565.23/560.56	c starts		: 25
565.23/560.56	c conflicts		: 2289071
565.23/560.56	c decisions		: 3311745
565.23/560.56	c propagations		: 83051603
565.23/560.56	c inspects		: 311805990
565.23/560.56	c learnt literals	: 0
565.23/560.56	c learnt binary clauses	: 0
565.23/560.56	c learnt ternary clauses	: 0
565.23/560.56	c learnt clauses	: 2289070

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-3734585-1338701059/watcher-3734585-1338701059 -o /tmp/evaluation-result-3734585-1338701059/solver-3734585-1338701059 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3734585-1338701059.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.99 2.00 1.99 3/194 20031
/proc/meminfo: memFree=27948532/32873844 swapFree=7632/7632
[pid=20031] ppid=20029 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/20031/stat : 20031 (java) D 20029 20031 7849 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 336231539 9515008 182 33554432000 1073741824 1073778376 140734633023696 140734633014728 214369648309 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/20031/statm: 2323 182 140 9 0 71 0

[startup+0.011962 s]
/proc/loadavg: 1.99 2.00 1.99 3/194 20031
/proc/meminfo: memFree=27948532/32873844 swapFree=7632/7632
[pid=20031] ppid=20029 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/20031/stat : 20031 (java) S 20029 20031 7849 0 -1 4202496 1216 0 0 0 0 0 0 0 20 0 2 0 336231539 95129600 927 33554432000 1073741824 1073778376 140735914674464 140735914665600 214373007421 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20031/statm: 23225 927 703 9 0 16769 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 92900

[startup+0.100261 s]
/proc/loadavg: 1.99 2.00 1.99 3/194 20031
/proc/meminfo: memFree=27948532/32873844 swapFree=7632/7632
[pid=20031] ppid=20029 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/20031/stat : 20031 (java) S 20029 20031 7849 0 -1 4202496 4401 0 1 0 7 1 0 0 20 0 18 0 336231539 3028844544 6120 33554432000 1073741824 1073778376 140735914674464 140735914665600 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20031/statm: 739464 6120 1951 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856

[startup+0.300235 s]
/proc/loadavg: 1.99 2.00 1.99 3/194 20031
/proc/meminfo: memFree=27948532/32873844 swapFree=7632/7632
[pid=20031] ppid=20029 vsize=2957856 CPUtime=0.48 cores=1,3,5,7
/proc/20031/stat : 20031 (java) S 20029 20031 7849 0 -1 4202496 6013 0 1 0 47 1 0 0 20 0 18 0 336231539 3028844544 9435 33554432000 1073741824 1073778376 140735914674464 140735914665600 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20031/statm: 739464 9435 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 2957856

[startup+0.700227 s]
/proc/loadavg: 1.99 2.00 1.99 3/194 20031
/proc/meminfo: memFree=27948532/32873844 swapFree=7632/7632
[pid=20031] ppid=20029 vsize=3024420 CPUtime=1.35 cores=1,3,5,7
/proc/20031/stat : 20031 (java) S 20029 20031 7849 0 -1 4202496 9669 0 1 0 133 2 0 0 20 0 19 0 336231539 3097006080 14119 33554432000 1073741824 1073778376 140735914674464 140735914665600 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20031/statm: 756105 14119 2274 9 0 746526 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 3024420

[startup+1.50063 s]
/proc/loadavg: 1.99 2.00 1.99 3/213 20051
/proc/meminfo: memFree=27898928/32873844 swapFree=7632/7632
[pid=20031] ppid=20029 vsize=3024420 CPUtime=2.16 cores=1,3,5,7
/proc/20031/stat : 20031 (java) S 20029 20031 7849 0 -1 4202496 9675 0 1 0 214 2 0 0 20 0 19 0 336231539 3097006080 16168 33554432000 1073741824 1073778376 140735914674464 140735914665600 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20031/statm: 756105 16168 2274 9 0 746526 0
[pid=20031/tid=20033] ppid=20029 vsize=3024420 CPUtime=1.47 cores=1,3,5,7
/proc/20031/task/20033/stat : 20033 (java) R 20029 20031 7849 0 -1 4202560 3059 0 1 0 145 2 0 0 20 0 19 0 336231540 3097006080 16168 33554432000 1073741824 1073778376 140735914674464 140230638961112 140230497896221 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20031/tid=20034] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20034/stat : 20034 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336231541 3097006080 16168 33554432000 1073741824 1073778376 140735914674464 140230622386344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20035] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20035/stat : 20035 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336231541 3097006080 16168 33554432000 1073741824 1073778376 140735914674464 140230621333800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20031/tid=20036] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20036/stat : 20036 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336231541 3097006080 16168 33554432000 1073741824 1073778376 140735914674464 140230620281256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20031/tid=20037] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20037/stat : 20037 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336231541 3097006080 16168 33554432000 1073741824 1073778376 140735914674464 140230619228712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20031/tid=20038] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20038/stat : 20038 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336231541 3097006080 16168 33554432000 1073741824 1073778376 140735914674464 140230618176168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20039] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20039/stat : 20039 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336231541 3097006080 16168 33554432000 1073741824 1073778376 140735914674464 140230617123624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20031/tid=20040] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20040/stat : 20040 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336231541 3097006080 16168 33554432000 1073741824 1073778376 140735914674464 140230497659816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20041] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20041/stat : 20041 (java) S 20029 20031 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336231541 3097006080 16168 33554432000 1073741824 1073778376 140735914674464 140230496607272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20042] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20042/stat : 20042 (java) S 20029 20031 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336231542 3097006080 16168 33554432000 1073741824 1073778376 140735914674464 140230484408424 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20043] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20043/stat : 20043 (java) S 20029 20031 7849 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336231543 3097006080 16168 33554432000 1073741824 1073778376 140735914674464 140230483354744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20044] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20044/stat : 20044 (java) S 20029 20031 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336231543 3097006080 16168 33554432000 1073741824 1073778376 140735914674464 140230482302088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20045] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20045/stat : 20045 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336231545 3097006080 16168 33554432000 1073741824 1073778376 140735914674464 140229742684688 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20046] ppid=20029 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/20031/task/20046/stat : 20046 (java) S 20029 20031 7849 0 -1 4202560 2439 0 0 0 32 0 0 0 20 0 19 0 336231545 3097006080 16168 33554432000 1073741824 1073778376 140735914674464 140229741632056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20047] ppid=20029 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/20031/task/20047/stat : 20047 (java) S 20029 20031 7849 0 -1 4202560 2980 0 0 0 33 0 0 0 20 0 19 0 336231545 3097006080 16168 33554432000 1073741824 1073778376 140735914674464 140229740579512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20031/tid=20048] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20048/stat : 20048 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336231546 3097006080 16168 33554432000 1073741824 1073778376 140735914674464 140229739527160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20031/tid=20049] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20049/stat : 20049 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336231546 3097006080 16168 33554432000 1073741824 1073778376 140735914674464 140229738474824 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20051] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20051/stat : 20051 (java) S 20029 20031 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336231582 3097006080 16168 33554432000 1073741824 1073778376 140735914674464 140229736342440 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 3024420

[startup+3.10062 s]
/proc/loadavg: 1.99 2.00 1.99 3/213 20051
/proc/meminfo: memFree=27888200/32873844 swapFree=7632/7632
[pid=20031] ppid=20029 vsize=3024420 CPUtime=3.81 cores=1,3,5,7
/proc/20031/stat : 20031 (java) S 20029 20031 7849 0 -1 4202496 9684 0 1 0 379 2 0 0 20 0 19 0 336231539 3097006080 19752 33554432000 1073741824 1073778376 140735914674464 140735914665600 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20031/statm: 756105 19752 2274 9 0 746526 0
[pid=20031/tid=20033] ppid=20029 vsize=3024420 CPUtime=3.06 cores=1,3,5,7
/proc/20031/task/20033/stat : 20033 (java) R 20029 20031 7849 0 -1 4202560 3068 0 1 0 304 2 0 0 20 0 19 0 336231540 3097006080 19752 33554432000 1073741824 1073778376 140735914674464 140230638959176 140230498292809 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20031/tid=20034] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20034/stat : 20034 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336231541 3097006080 19752 33554432000 1073741824 1073778376 140735914674464 140230622386344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20035] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20035/stat : 20035 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336231541 3097006080 19752 33554432000 1073741824 1073778376 140735914674464 140230621333800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20031/tid=20036] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20036/stat : 20036 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336231541 3097006080 19752 33554432000 1073741824 1073778376 140735914674464 140230620281256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20031/tid=20037] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20037/stat : 20037 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336231541 3097006080 19752 33554432000 1073741824 1073778376 140735914674464 140230619228712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20031/tid=20038] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20038/stat : 20038 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336231541 3097006080 19752 33554432000 1073741824 1073778376 140735914674464 140230618176168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20039] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20039/stat : 20039 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336231541 3097006080 19752 33554432000 1073741824 1073778376 140735914674464 140230617123624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20031/tid=20040] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20040/stat : 20040 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336231541 3097006080 19752 33554432000 1073741824 1073778376 140735914674464 140230497659816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20041] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20041/stat : 20041 (java) S 20029 20031 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336231541 3097006080 19752 33554432000 1073741824 1073778376 140735914674464 140230496607272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20042] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20042/stat : 20042 (java) S 20029 20031 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336231542 3097006080 19752 33554432000 1073741824 1073778376 140735914674464 140230484408424 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20043] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20043/stat : 20043 (java) S 20029 20031 7849 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336231543 3097006080 19752 33554432000 1073741824 1073778376 140735914674464 140230483354744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20044] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20044/stat : 20044 (java) S 20029 20031 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336231543 3097006080 19752 33554432000 1073741824 1073778376 140735914674464 140230482302088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20045] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20045/stat : 20045 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336231545 3097006080 19752 33554432000 1073741824 1073778376 140735914674464 140229742684688 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20046] ppid=20029 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/20031/task/20046/stat : 20046 (java) S 20029 20031 7849 0 -1 4202560 2439 0 0 0 35 0 0 0 20 0 19 0 336231545 3097006080 19752 33554432000 1073741824 1073778376 140735914674464 140229741632056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20047] ppid=20029 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/20031/task/20047/stat : 20047 (java) S 20029 20031 7849 0 -1 4202560 2980 0 0 0 35 0 0 0 20 0 19 0 336231545 3097006080 19752 33554432000 1073741824 1073778376 140735914674464 140229740579512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20031/tid=20048] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20048/stat : 20048 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336231546 3097006080 19752 33554432000 1073741824 1073778376 140735914674464 140229739527160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20031/tid=20049] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20049/stat : 20049 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336231546 3097006080 19752 33554432000 1073741824 1073778376 140735914674464 140229738474824 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20051] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20051/stat : 20051 (java) S 20029 20031 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336231582 3097006080 19752 33554432000 1073741824 1073778376 140735914674464 140229736342440 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 3024420

[startup+6.30074 s]
/proc/loadavg: 1.99 2.00 1.99 3/213 20051
/proc/meminfo: memFree=27854936/32873844 swapFree=7632/7632
[pid=20031] ppid=20029 vsize=3024420 CPUtime=7.02 cores=1,3,5,7
/proc/20031/stat : 20031 (java) S 20029 20031 7849 0 -1 4202496 9702 0 1 0 699 3 0 0 20 0 19 0 336231539 3097006080 27914 33554432000 1073741824 1073778376 140735914674464 140735914665600 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20031/statm: 756105 27914 2275 9 0 746526 0
[pid=20031/tid=20033] ppid=20029 vsize=3024420 CPUtime=6.25 cores=1,3,5,7
/proc/20031/task/20033/stat : 20033 (java) R 20029 20031 7849 0 -1 4202560 3085 0 1 0 623 2 0 0 20 0 19 0 336231540 3097006080 27914 33554432000 1073741824 1073778376 140735914674464 140230638961064 140230498362315 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20031/tid=20034] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20034/stat : 20034 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336231541 3097006080 27914 33554432000 1073741824 1073778376 140735914674464 140230622386344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20035] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20035/stat : 20035 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336231541 3097006080 27914 33554432000 1073741824 1073778376 140735914674464 140230621333800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20031/tid=20036] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20036/stat : 20036 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336231541 3097006080 27914 33554432000 1073741824 1073778376 140735914674464 140230620281256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20031/tid=20037] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20037/stat : 20037 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336231541 3097006080 27914 33554432000 1073741824 1073778376 140735914674464 140230619228712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20031/tid=20038] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20038/stat : 20038 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336231541 3097006080 27914 33554432000 1073741824 1073778376 140735914674464 140230618176168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20039] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20039/stat : 20039 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336231541 3097006080 27914 33554432000 1073741824 1073778376 140735914674464 140230617123624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20031/tid=20040] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20040/stat : 20040 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336231541 3097006080 27914 33554432000 1073741824 1073778376 140735914674464 140230497659816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20041] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20041/stat : 20041 (java) S 20029 20031 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336231541 3097006080 27914 33554432000 1073741824 1073778376 140735914674464 140230496607272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20042] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20042/stat : 20042 (java) S 20029 20031 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336231542 3097006080 27914 33554432000 1073741824 1073778376 140735914674464 140230484408424 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20043] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20043/stat : 20043 (java) S 20029 20031 7849 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336231543 3097006080 27914 33554432000 1073741824 1073778376 140735914674464 140230483354744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20044] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20044/stat : 20044 (java) S 20029 20031 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336231543 3097006080 27914 33554432000 1073741824 1073778376 140735914674464 140230482302088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20045] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20045/stat : 20045 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336231545 3097006080 27914 33554432000 1073741824 1073778376 140735914674464 140229742684688 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20046] ppid=20029 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/20031/task/20046/stat : 20046 (java) S 20029 20031 7849 0 -1 4202560 2439 0 0 0 36 0 0 0 20 0 19 0 336231545 3097006080 27914 33554432000 1073741824 1073778376 140735914674464 140229741632056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20047] ppid=20029 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/20031/task/20047/stat : 20047 (java) S 20029 20031 7849 0 -1 4202560 2980 0 0 0 35 0 0 0 20 0 19 0 336231545 3097006080 27914 33554432000 1073741824 1073778376 140735914674464 140229740579512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20031/tid=20048] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20048/stat : 20048 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336231546 3097006080 27914 33554432000 1073741824 1073778376 140735914674464 140229739527160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20031/tid=20049] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20049/stat : 20049 (java) S 20029 20031 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336231546 3097006080 27914 33554432000 1073741824 1073778376 140735914674464 140229738474824 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20051] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20051/stat : 20051 (java) S 20029 20031 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336231582 3097006080 27914 33554432000 1073741824 1073778376 140735914674464 140229736342440 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.02
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

/proc/20031/task/20044/stat : 20044 (java) S 20029 20031 7849 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 336231543 3097006080 419714 33554432000 1073741824 1073778376 140735914674464 140230482299256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20031/tid=20045] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20045/stat : 20045 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336231545 3097006080 419714 33554432000 1073741824 1073778376 140735914674464 140229742684688 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20046] ppid=20029 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/20031/task/20046/stat : 20046 (java) S 20029 20031 7849 0 -1 4202560 2445 0 0 0 42 0 0 0 20 0 19 0 336231545 3097006080 419714 33554432000 1073741824 1073778376 140735914674464 140229741632056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20047] ppid=20029 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/20031/task/20047/stat : 20047 (java) S 20029 20031 7849 0 -1 4202560 3040 0 0 0 41 0 0 0 20 0 19 0 336231545 3097006080 419714 33554432000 1073741824 1073778376 140735914674464 140229740579512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20031/tid=20048] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20048/stat : 20048 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336231546 3097006080 419714 33554432000 1073741824 1073778376 140735914674464 140229739527160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20031/tid=20049] ppid=20029 vsize=3024420 CPUtime=0.19 cores=1,3,5,7
/proc/20031/task/20049/stat : 20049 (java) S 20029 20031 7849 0 -1 4202560 34 0 0 0 9 10 0 0 20 0 19 0 336231546 3097006080 419714 33554432000 1073741824 1073778376 140735914674464 140229738474824 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20051] ppid=20029 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20051/stat : 20051 (java) S 20029 20031 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336231582 3097006080 419714 33554432000 1073741824 1073778376 140735914674464 140229736342440 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 563.04
Current children cumulated vsize (KiB) 3024420

[startup+559.907 s]
/proc/loadavg: 2.00 2.05 2.03 3/214 20057
/proc/meminfo: memFree=25864556/32873844 swapFree=7632/7632
[pid=20031] ppid=20029 vsize=3090984 CPUtime=564.64 cores=1,3,5,7
/proc/20031/stat : 20031 (java) S 20029 20031 7849 0 -1 4202496 13704 0 1 0 56289 175 0 0 20 0 20 0 336231539 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140735914665600 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20031/statm: 772746 419726 2303 9 0 763167 0
[pid=20031/tid=20033] ppid=20029 vsize=3090984 CPUtime=530.83 cores=1,3,5,7
/proc/20031/task/20033/stat : 20033 (java) S 20029 20031 7849 0 -1 4202560 3309 0 1 0 53067 16 0 0 20 0 20 0 336231540 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230638962216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20031/tid=20034] ppid=20029 vsize=3090984 CPUtime=0.53 cores=1,3,5,7
/proc/20031/task/20034/stat : 20034 (java) S 20029 20031 7849 0 -1 4202560 251 0 0 0 37 16 0 0 20 0 20 0 336231541 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230622386344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20031/tid=20035] ppid=20029 vsize=3090984 CPUtime=0.8 cores=1,3,5,7
/proc/20031/task/20035/stat : 20035 (java) S 20029 20031 7849 0 -1 4202560 394 0 0 0 51 29 0 0 20 0 20 0 336231541 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230621333800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20031/tid=20036] ppid=20029 vsize=3090984 CPUtime=0.62 cores=1,3,5,7
/proc/20031/task/20036/stat : 20036 (java) S 20029 20031 7849 0 -1 4202560 682 0 0 0 44 18 0 0 20 0 20 0 336231541 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230620281256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20031/tid=20037] ppid=20029 vsize=3090984 CPUtime=0.79 cores=1,3,5,7
/proc/20031/task/20037/stat : 20037 (java) S 20029 20031 7849 0 -1 4202560 293 0 0 0 62 17 0 0 20 0 20 0 336231541 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230619228712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20031/tid=20038] ppid=20029 vsize=3090984 CPUtime=0.59 cores=1,3,5,7
/proc/20031/task/20038/stat : 20038 (java) S 20029 20031 7849 0 -1 4202560 382 0 0 0 42 17 0 0 20 0 20 0 336231541 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230618176168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20031/tid=20039] ppid=20029 vsize=3090984 CPUtime=0.61 cores=1,3,5,7
/proc/20031/task/20039/stat : 20039 (java) S 20029 20031 7849 0 -1 4202560 582 0 0 0 42 19 0 0 20 0 20 0 336231541 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230617123624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20031/tid=20040] ppid=20029 vsize=3090984 CPUtime=0.59 cores=1,3,5,7
/proc/20031/task/20040/stat : 20040 (java) S 20029 20031 7849 0 -1 4202560 288 0 0 0 38 21 0 0 20 0 20 0 336231541 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230497659816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20031/tid=20041] ppid=20029 vsize=3090984 CPUtime=0.58 cores=1,3,5,7
/proc/20031/task/20041/stat : 20041 (java) S 20029 20031 7849 0 -1 4202560 603 0 0 0 42 16 0 0 20 0 20 0 336231541 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230496607272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20031/tid=20042] ppid=20029 vsize=3090984 CPUtime=26.14 cores=1,3,5,7
/proc/20031/task/20042/stat : 20042 (java) R 20029 20031 7849 0 -1 4202560 202 0 0 0 2609 5 0 0 20 0 20 0 336231542 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230484408240 140230645815299 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20043] ppid=20029 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20043/stat : 20043 (java) S 20029 20031 7849 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 336231543 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230483354744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20031/tid=20044] ppid=20029 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20044/stat : 20044 (java) S 20029 20031 7849 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 336231543 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230482302088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20031/tid=20045] ppid=20029 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20045/stat : 20045 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336231545 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140229742684688 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20046] ppid=20029 vsize=3090984 CPUtime=0.42 cores=1,3,5,7
/proc/20031/task/20046/stat : 20046 (java) S 20029 20031 7849 0 -1 4202560 2445 0 0 0 42 0 0 0 20 0 20 0 336231545 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140229741632056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20047] ppid=20029 vsize=3090984 CPUtime=0.41 cores=1,3,5,7
/proc/20031/task/20047/stat : 20047 (java) S 20029 20031 7849 0 -1 4202560 3040 0 0 0 41 0 0 0 20 0 20 0 336231545 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140229740579512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20031/tid=20048] ppid=20029 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20048/stat : 20048 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336231546 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140229739527160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20031/tid=20049] ppid=20029 vsize=3090984 CPUtime=0.19 cores=1,3,5,7
/proc/20031/task/20049/stat : 20049 (java) S 20029 20031 7849 0 -1 4202560 34 0 0 0 9 10 0 0 20 0 20 0 336231546 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140229738474824 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20051] ppid=20029 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20051/stat : 20051 (java) S 20029 20031 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 336231582 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140229736342440 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20031/tid=20057] ppid=20029 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20057/stat : 20057 (java) S 20029 20031 7849 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 336287471 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140229735289320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.64
Current children cumulated vsize (KiB) 3090984

[startup+560.301 s]
/proc/loadavg: 2.00 2.05 2.03 3/214 20057
/proc/meminfo: memFree=25864556/32873844 swapFree=7632/7632
[pid=20031] ppid=20029 vsize=3090984 CPUtime=565.03 cores=1,3,5,7
/proc/20031/stat : 20031 (java) S 20029 20031 7849 0 -1 4202496 13704 0 1 0 56328 175 0 0 20 0 20 0 336231539 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140735914665600 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20031/statm: 772746 419726 2303 9 0 763167 0
[pid=20031/tid=20033] ppid=20029 vsize=3090984 CPUtime=530.83 cores=1,3,5,7
/proc/20031/task/20033/stat : 20033 (java) S 20029 20031 7849 0 -1 4202560 3309 0 1 0 53067 16 0 0 20 0 20 0 336231540 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230638962216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20031/tid=20034] ppid=20029 vsize=3090984 CPUtime=0.53 cores=1,3,5,7
/proc/20031/task/20034/stat : 20034 (java) S 20029 20031 7849 0 -1 4202560 251 0 0 0 37 16 0 0 20 0 20 0 336231541 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230622386344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20031/tid=20035] ppid=20029 vsize=3090984 CPUtime=0.8 cores=1,3,5,7
/proc/20031/task/20035/stat : 20035 (java) S 20029 20031 7849 0 -1 4202560 394 0 0 0 51 29 0 0 20 0 20 0 336231541 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230621333800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20031/tid=20036] ppid=20029 vsize=3090984 CPUtime=0.62 cores=1,3,5,7
/proc/20031/task/20036/stat : 20036 (java) S 20029 20031 7849 0 -1 4202560 682 0 0 0 44 18 0 0 20 0 20 0 336231541 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230620281256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20031/tid=20037] ppid=20029 vsize=3090984 CPUtime=0.79 cores=1,3,5,7
/proc/20031/task/20037/stat : 20037 (java) S 20029 20031 7849 0 -1 4202560 293 0 0 0 62 17 0 0 20 0 20 0 336231541 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230619228712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20031/tid=20038] ppid=20029 vsize=3090984 CPUtime=0.59 cores=1,3,5,7
/proc/20031/task/20038/stat : 20038 (java) S 20029 20031 7849 0 -1 4202560 382 0 0 0 42 17 0 0 20 0 20 0 336231541 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230618176168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20031/tid=20039] ppid=20029 vsize=3090984 CPUtime=0.61 cores=1,3,5,7
/proc/20031/task/20039/stat : 20039 (java) S 20029 20031 7849 0 -1 4202560 582 0 0 0 42 19 0 0 20 0 20 0 336231541 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230617123624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20031/tid=20040] ppid=20029 vsize=3090984 CPUtime=0.59 cores=1,3,5,7
/proc/20031/task/20040/stat : 20040 (java) S 20029 20031 7849 0 -1 4202560 288 0 0 0 38 21 0 0 20 0 20 0 336231541 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230497659816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20031/tid=20041] ppid=20029 vsize=3090984 CPUtime=0.58 cores=1,3,5,7
/proc/20031/task/20041/stat : 20041 (java) S 20029 20031 7849 0 -1 4202560 603 0 0 0 42 16 0 0 20 0 20 0 336231541 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230496607272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20031/tid=20042] ppid=20029 vsize=3090984 CPUtime=26.53 cores=1,3,5,7
/proc/20031/task/20042/stat : 20042 (java) R 20029 20031 7849 0 -1 4202560 202 0 0 0 2648 5 0 0 20 0 20 0 336231542 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230484408240 214369321236 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20043] ppid=20029 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20043/stat : 20043 (java) S 20029 20031 7849 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 336231543 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230483354744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20031/tid=20044] ppid=20029 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20044/stat : 20044 (java) S 20029 20031 7849 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 336231543 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230482302088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20031/tid=20045] ppid=20029 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20045/stat : 20045 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336231545 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140229742684688 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20046] ppid=20029 vsize=3090984 CPUtime=0.42 cores=1,3,5,7
/proc/20031/task/20046/stat : 20046 (java) S 20029 20031 7849 0 -1 4202560 2445 0 0 0 42 0 0 0 20 0 20 0 336231545 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140229741632056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20047] ppid=20029 vsize=3090984 CPUtime=0.41 cores=1,3,5,7
/proc/20031/task/20047/stat : 20047 (java) S 20029 20031 7849 0 -1 4202560 3040 0 0 0 41 0 0 0 20 0 20 0 336231545 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140229740579512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20031/tid=20048] ppid=20029 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20048/stat : 20048 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336231546 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140229739527160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20031/tid=20049] ppid=20029 vsize=3090984 CPUtime=0.19 cores=1,3,5,7
/proc/20031/task/20049/stat : 20049 (java) S 20029 20031 7849 0 -1 4202560 34 0 0 0 9 10 0 0 20 0 20 0 336231546 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140229738474824 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20051] ppid=20029 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20051/stat : 20051 (java) S 20029 20031 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 336231582 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140229736342440 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20031/tid=20057] ppid=20029 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20057/stat : 20057 (java) S 20029 20031 7849 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 336287471 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140229735289320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 565.03
Current children cumulated vsize (KiB) 3090984

[startup+560.501 s]
/proc/loadavg: 2.00 2.05 2.03 3/214 20057
/proc/meminfo: memFree=25864556/32873844 swapFree=7632/7632
[pid=20031] ppid=20029 vsize=3090984 CPUtime=565.23 cores=1,3,5,7
/proc/20031/stat : 20031 (java) S 20029 20031 7849 0 -1 4202496 13704 0 1 0 56348 175 0 0 20 0 20 0 336231539 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140735914665600 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20031/statm: 772746 419726 2303 9 0 763167 0
[pid=20031/tid=20033] ppid=20029 vsize=3090984 CPUtime=530.83 cores=1,3,5,7
/proc/20031/task/20033/stat : 20033 (java) S 20029 20031 7849 0 -1 4202560 3309 0 1 0 53067 16 0 0 20 0 20 0 336231540 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230638962216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20031/tid=20034] ppid=20029 vsize=3090984 CPUtime=0.53 cores=1,3,5,7
/proc/20031/task/20034/stat : 20034 (java) S 20029 20031 7849 0 -1 4202560 251 0 0 0 37 16 0 0 20 0 20 0 336231541 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230622386344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20031/tid=20035] ppid=20029 vsize=3090984 CPUtime=0.8 cores=1,3,5,7
/proc/20031/task/20035/stat : 20035 (java) S 20029 20031 7849 0 -1 4202560 394 0 0 0 51 29 0 0 20 0 20 0 336231541 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230621333800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20031/tid=20036] ppid=20029 vsize=3090984 CPUtime=0.62 cores=1,3,5,7
/proc/20031/task/20036/stat : 20036 (java) S 20029 20031 7849 0 -1 4202560 682 0 0 0 44 18 0 0 20 0 20 0 336231541 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230620281256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20031/tid=20037] ppid=20029 vsize=3090984 CPUtime=0.79 cores=1,3,5,7
/proc/20031/task/20037/stat : 20037 (java) S 20029 20031 7849 0 -1 4202560 293 0 0 0 62 17 0 0 20 0 20 0 336231541 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230619228712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20031/tid=20038] ppid=20029 vsize=3090984 CPUtime=0.59 cores=1,3,5,7
/proc/20031/task/20038/stat : 20038 (java) S 20029 20031 7849 0 -1 4202560 382 0 0 0 42 17 0 0 20 0 20 0 336231541 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230618176168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20031/tid=20039] ppid=20029 vsize=3090984 CPUtime=0.61 cores=1,3,5,7
/proc/20031/task/20039/stat : 20039 (java) S 20029 20031 7849 0 -1 4202560 582 0 0 0 42 19 0 0 20 0 20 0 336231541 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230617123624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20031/tid=20040] ppid=20029 vsize=3090984 CPUtime=0.59 cores=1,3,5,7
/proc/20031/task/20040/stat : 20040 (java) S 20029 20031 7849 0 -1 4202560 288 0 0 0 38 21 0 0 20 0 20 0 336231541 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230497659816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20031/tid=20041] ppid=20029 vsize=3090984 CPUtime=0.58 cores=1,3,5,7
/proc/20031/task/20041/stat : 20041 (java) S 20029 20031 7849 0 -1 4202560 603 0 0 0 42 16 0 0 20 0 20 0 336231541 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230496607272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20031/tid=20042] ppid=20029 vsize=3090984 CPUtime=26.73 cores=1,3,5,7
/proc/20031/task/20042/stat : 20042 (java) R 20029 20031 7849 0 -1 4202560 202 0 0 0 2668 5 0 0 20 0 20 0 336231542 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230484408240 214369321278 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20043] ppid=20029 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20043/stat : 20043 (java) S 20029 20031 7849 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 336231543 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230483354744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20031/tid=20044] ppid=20029 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20044/stat : 20044 (java) S 20029 20031 7849 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 336231543 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140230482302088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20031/tid=20045] ppid=20029 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20045/stat : 20045 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336231545 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140229742684688 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20046] ppid=20029 vsize=3090984 CPUtime=0.42 cores=1,3,5,7
/proc/20031/task/20046/stat : 20046 (java) S 20029 20031 7849 0 -1 4202560 2445 0 0 0 42 0 0 0 20 0 20 0 336231545 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140229741632056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20047] ppid=20029 vsize=3090984 CPUtime=0.41 cores=1,3,5,7
/proc/20031/task/20047/stat : 20047 (java) S 20029 20031 7849 0 -1 4202560 3040 0 0 0 41 0 0 0 20 0 20 0 336231545 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140229740579512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20031/tid=20048] ppid=20029 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20048/stat : 20048 (java) S 20029 20031 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336231546 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140229739527160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20031/tid=20049] ppid=20029 vsize=3090984 CPUtime=0.19 cores=1,3,5,7
/proc/20031/task/20049/stat : 20049 (java) S 20029 20031 7849 0 -1 4202560 34 0 0 0 9 10 0 0 20 0 20 0 336231546 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140229738474824 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20031/tid=20051] ppid=20029 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20051/stat : 20051 (java) S 20029 20031 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 336231582 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140229736342440 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20031/tid=20057] ppid=20029 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/20031/task/20057/stat : 20057 (java) S 20029 20031 7849 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 336287471 3165167616 419726 33554432000 1073741824 1073778376 140735914674464 140229735289320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 565.23
Current children cumulated vsize (KiB) 3090984

Child status: 1

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20031 and gives
#  childrusage.ru_utime.tv_sec=562
#  childrusage.ru_utime.tv_usec=36557
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=981698
# CPU time returned by wait4() is 564.018
# while last known CPU time is 565.23
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 560.57
CPU time (s): 565.23
CPU user time (s): 563.48
CPU system time (s): 1.75
CPU usage (%): 100.831
Max. virtual memory (cumulated for all children) (KiB): 3090984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 562.037
system time used= 1.9817
maximum resident set size= 1678916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13708
page faults= 1
swaps= 0
block input operations= 0
block output operations= 544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12356
involuntary context switches= 7239

runsolver used 2.53461 second user time and 5.2372 second system time

The end

Launcher Data

Begin job on node130 at 2012-06-03 07:24:19
IDJOB=3734585
IDBENCH=2872
IDSOLVER=2319
FILE ID=node130/3734585-1338701059
RUNJOBID= node130-1338679215-16920
PBS_JOBID= 14636683
Free space on /tmp= 70980 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-prom2.r.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734585-1338701059/watcher-3734585-1338701059 -o /tmp/evaluation-result-3734585-1338701059/solver-3734585-1338701059 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3734585-1338701059.opb           

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

MD5SUM BENCH= fe2fc6a37df33476d3a38f976836359f
RANDOM SEED=1912879408

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.875
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.875
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	: 5228.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27949068 kB
Buffers:          412176 kB
Cached:          2382876 kB
SwapCached:         4256 kB
Active:          2343716 kB
Inactive:        1705684 kB
Active(anon):    1246432 kB
Inactive(anon):     8128 kB
Active(file):    1097284 kB
Inactive(file):  1697556 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67099280 kB
Dirty:              3580 kB
Writeback:             0 kB
AnonPages:       1269024 kB
Mapped:            17532 kB
Shmem:                 4 kB
Slab:             722164 kB
SReclaimable:     163788 kB
SUnreclaim:       558376 kB
KernelStack:        1608 kB
PageTables:         6340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1826312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1236992 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= 70976 MiB
End job on node130 at 2012-06-03 07:33:40