Trace number 354463

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, and are wall clock time (not CPU 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
SAT4JPseudoResolution 2007-03-23? (TO) 1802.36 1793.46

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib3/normalized-mps-v2-20-10-gesa3.opb
MD5SUMd3086c0e0af196eedd939c84273a060e
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark6587681631937
Best CPU time to get the best result obtained on this benchmark1800.22
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4230134768458
Optimality of the best value was proved NO
Number of variables18384
Total number of constraints1752
Number of constraints which are clauses48
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1704
Minimum length of a constraint2
Maximum length of a constraint311
Number of terms in the objective function 11424
Biggest coefficient in the objective function 418848431931392
Number of bits for the biggest coefficient in the objective function 49
Sum of the numbers in the objective function 144211309205274864
Number of bits of the sum of numbers in the objective function 58
Biggest number in a constraint 536870912000000
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 144211309205274864
Number of bits of the biggest sum of numbers58
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.13/2.74	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.13/2.74	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.13/2.74	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.13/2.76	c no version file found!!!
0.13/2.76	c sun.arch.data.model	32
0.13/2.76	c java.version	1.6.0
0.13/2.76	c os.name	Linux
0.13/2.76	c os.version	2.6.9-34.ELsmp
0.13/2.76	c os.arch	i386
0.13/2.76	c Free memory 1651659224
0.13/2.76	c Max memory 1654456320
0.13/2.76	c Total memory 1654456320
0.13/2.76	c Number of processors 2
0.20/2.86	--- Begin Solver configuration ---
0.20/2.86	c Stops conflict analysis at the first Unique Implication Point
0.20/2.86	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.20/2.86	c Learn all clauses as in MiniSAT
0.20/2.86	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.20/2.86	c VSIDS like heuristics from MiniSAT using a heap
0.20/2.86	c No reason simplification
0.20/2.86	c --- End Solver configuration ---
0.20/2.86	c solving /tmp/evaluation/354463-1176710636/instance-354463-1176710636.opb
0.20/2.86	c reading problem ... 
2.69/4.45	c ... done. Wall clock time 1.593s.
2.69/4.45	c CPU time (experimental) 1.09s.
2.69/4.45	c #vars     18384
2.69/4.45	c #constraints  1800
5.57/6.71	c SATISFIABLE
5.57/6.71	c OPTIMIZING...
5.57/6.71	c Got one! Elapsed wall clock time (in seconds):3.853
5.78/6.92	o 7195676471728
18.66/19.67	c Got one! Elapsed wall clock time (in seconds):16.806
18.88/19.85	o 7168578570219
579.63/576.35	c cleaning 209124 clauses out of 418336 for limit 1.510323684938013E-4
584.63/581.33	c cleaning 104851 clauses out of 209711 for limit 4.963584693466463E-4
588.77/585.40	c cleaning 53151 clauses out of 106362 for limit 0.004398117596329158
589.97/586.68	c cleaning 26806 clauses out of 53709 for limit 0.014334849227831967
591.43/588.08	c cleaning 13624 clauses out of 27404 for limit 0.04637849331957969
592.63/589.27	c cleaning 7063 clauses out of 14282 for limit 0.14705049014923652
593.83/590.41	c cleaning 3778 clauses out of 7717 for limit 0.44791320731994005
595.03/591.64	c cleaning 2143 clauses out of 4438 for limit 1.2831470977012525
597.17/593.78	c cleaning 1567 clauses out of 3295 for limit 4.700240701858542
598.36/594.91	c cleaning 1035 clauses out of 2228 for limit 11.463473157864678
599.36/595.98	c cleaning 770 clauses out of 1693 for limit 24.87885184141774
600.49/597.07	c cleaning 635 clauses out of 1424 for limit 48.82786120329697
601.59/598.18	c cleaning 571 clauses out of 1289 for limit 88.9571089859351
602.69/599.24	c cleaning 528 clauses out of 1219 for limit 155.28169780770486
603.79/600.32	c cleaning 520 clauses out of 1189 for limit 262.01670769673285
606.01/602.57	c cleaning 759 clauses out of 1669 for limit 507.65220545370573
607.11/603.69	c cleaning 630 clauses out of 1411 for limit 991.2563877948476
608.31/604.87	c cleaning 566 clauses out of 1280 for limit 1800.2151751813187
609.54/606.02	c cleaning 532 clauses out of 1214 for limit 3130.196404456318
610.64/607.12	c cleaning 515 clauses out of 1182 for limit 5301.865247084534
611.94/608.41	c cleaning 509 clauses out of 1168 for limit 8857.144254531759
613.04/609.56	c cleaning 508 clauses out of 1158 for limit 14718.019589207906
615.56/612.05	c cleaning 755 clauses out of 1650 for limit 28092.200914649147
616.76/613.21	c cleaning 628 clauses out of 1395 for limit 54796.31952389846
618.09/614.52	c cleaning 559 clauses out of 1267 for limit 99495.82768308114
619.19/615.63	c cleaning 531 clauses out of 1208 for limit 172095.86549391042
620.49/616.97	c cleaning 520 clauses out of 1178 for limit 291328.1690562585
623.21/619.62	c cleaning 759 clauses out of 1657 for limit 562707.2667966824
624.51/620.95	c cleaning 626 clauses out of 1399 for limit 1100215.3918604695
626.04/622.43	c cleaning 566 clauses out of 1272 for limit 1993561.7611865008
627.44/623.80	c cleaning 531 clauses out of 1207 for limit 3468166.466786253
628.74/625.15	c cleaning 587 clauses out of 1177 for limit 5871122.484723434
630.06/626.48	c cleaning 543 clauses out of 1089 for limit 1.0454207096075345E7
631.26/627.65	c cleaning 523 clauses out of 1046 for limit 1.7949120839209743E7
632.46/628.85	c cleaning 439 clauses out of 1023 for limit 3.0266006374565702E7
633.68/630.06	c cleaning 466 clauses out of 1084 for limit 4.710395329736287E7
634.88/631.27	c cleaning 485 clauses out of 1118 for limit 7.531833717224577E7
636.08/632.47	c cleaning 494 clauses out of 1133 for limit 1.2256557417879695E8
637.30/633.65	c cleaning 491 clauses out of 1139 for limit 2.0106226788459578E8
638.40/634.78	c cleaning 575 clauses out of 1151 for limit 3.291079699517195E8
639.80/636.13	c cleaning 537 clauses out of 1075 for limit 5.805326288208716E8
640.92/637.29	c cleaning 518 clauses out of 1036 for limit 9.914303432242438E8
642.12/638.46	c cleaning 452 clauses out of 1017 for limit 1.6638814665290477E9
643.42/639.79	c cleaning 454 clauses out of 1065 for limit 2.6202915507692676E9
644.64/640.99	c cleaning 555 clauses out of 1111 for limit 4.142295263979877E9
645.94/642.25	c cleaning 528 clauses out of 1057 for limit 7.187378608236632E9
647.14/643.43	c cleaning 445 clauses out of 1029 for limit 1.21754780552982E10
648.26/644.55	c cleaning 542 clauses out of 1084 for limit 1.9060224069156815E10
649.36/645.67	c cleaning 484 clauses out of 1042 for limit 3.269982677944132E10
650.46/646.78	c cleaning 454 clauses out of 1058 for limit 5.3110866915070274E10
651.59/647.85	c cleaning 474 clauses out of 1103 for limit 8.392955507477818E10
652.69/649.00	c cleaning 486 clauses out of 1130 for limit 1.3523913632861444E11
653.89/650.15	c cleaning 496 clauses out of 1144 for limit 2.2029807114026883E11
655.01/651.29	c cleaning 494 clauses out of 1148 for limit 3.6203513315008765E11
656.21/652.42	c cleaning 578 clauses out of 1156 for limit 5.941001780884579E11
657.31/653.53	c cleaning 535 clauses out of 1076 for limit 1.0504904504454077E12
658.53/654.70	c cleaning 439 clauses out of 1040 for limit 1.7905745854839116E12
659.73/655.90	c cleaning 551 clauses out of 1102 for limit 2.7895526301758374E12
660.83/657.03	c cleaning 525 clauses out of 1051 for limit 4.823578215462866E12
661.95/658.13	c cleaning 513 clauses out of 1026 for limit 8.148554364535764E12
663.15/659.30	c cleaning 468 clauses out of 1012 for limit 1.3610334246826123E13
664.25/660.41	c cleaning 450 clauses out of 1046 for limit 2.175918022855089E13
665.37/661.57	c cleaning 472 clauses out of 1094 for limit 3.4240788366307414E13
666.47/662.67	c cleaning 561 clauses out of 1122 for limit 5.505846603336241E13
667.57/663.79	c cleaning 457 clauses out of 1061 for limit 9.601906386469517E13
668.79/664.93	c cleaning 552 clauses out of 1104 for limit 1.521807306936194E14
669.89/666.05	c cleaning 526 clauses out of 1052 for limit 2.633715657315833E14
671.01/667.18	c cleaning 513 clauses out of 1026 for limit 4.453414836791129E14
672.01/668.17	c cleaning 500 clauses out of 1013 for limit 7.4385271773997596E-6
672.91/669.09	c cleaning 492 clauses out of 1013 for limit 1.2267126423894788E-5
673.91/670.07	c cleaning 502 clauses out of 1023 for limit 2.007250446999688E-5
674.94/671.04	c cleaning 503 clauses out of 1020 for limit 3.3166405062442986E-5
675.84/671.92	c cleaning 498 clauses out of 1016 for limit 5.485626564174756E-5
676.84/672.98	c cleaning 503 clauses out of 1018 for limit 9.028758910854431E-5
677.66/673.72	c cleaning 504 clauses out of 1016 for limit 1.4933875463034335E-4
678.26/674.33	c cleaning 485 clauses out of 1012 for limit 2.4725302165975587E-4
678.86/674.94	c cleaning 489 clauses out of 1026 for limit 4.017872348934393E-4
679.58/675.62	c cleaning 494 clauses out of 1037 for limit 6.555723470455738E-4
680.38/676.43	c cleaning 466 clauses out of 1043 for limit 0.001074907173270645
681.17/677.22	c cleaning 477 clauses out of 1078 for limit 0.00171682847365293
681.90/677.94	c cleaning 488 clauses out of 1100 for limit 0.002771879575502971
682.61/678.65	c cleaning 491 clauses out of 1113 for limit 0.004522330289824289
683.40/679.40	c cleaning 501 clauses out of 1122 for limit 0.0073981046855034005
684.20/680.22	c cleaning 501 clauses out of 1121 for limit 0.012211347881394967
684.91/680.96	c cleaning 491 clauses out of 1120 for limit 0.02015612674904685
685.60/681.69	c cleaning 501 clauses out of 1128 for limit 0.03297139930310383
686.30/682.32	c cleaning 496 clauses out of 1127 for limit 0.05442249517859277
687.04/683.06	c cleaning 528 clauses out of 1131 for limit 0.08943255693488379
687.74/683.72	c cleaning 513 clauses out of 1104 for limit 0.15124449564526402
687.84/683.83	c cleaning 503 clauses out of 1090 for limit 0.2523733709901994
689.04/685.02	c cleaning 491 clauses out of 1088 for limit 0.41737989941093656
689.84/685.82	c cleaning 490 clauses out of 1096 for limit 0.682607799922983
690.67/686.63	c cleaning 517 clauses out of 1106 for limit 1.1155333556627183
691.47/687.41	c cleaning 484 clauses out of 1089 for limit 1.8683820872162524
692.27/688.22	c cleaning 497 clauses out of 1106 for limit 3.0368884964071676
693.56/689.55	c cleaning 513 clauses out of 1112 for limit 4.996186120180164
694.26/690.25	c Got one! Elapsed wall clock time (in seconds):687.389
694.46/690.45	o 7168578395353
801.23/796.36	c Got one! Elapsed wall clock time (in seconds):793.502
801.42/796.55	o 7166826189864

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node87/watcher-354463-1176710636 -o ROOT/results/node87/solver-354463-1176710636 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354463-1176710636/sat4jPseudoResolution.jar /tmp/evaluation/354463-1176710636/instance-354463-1176710636.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.83 1.86 1.21 2/67 7992
/proc/meminfo: memFree=1544496/2055888 swapFree=4096420/4096564
[pid=7992] ppid=7990 vsize=18572 CPUtime=0
/proc/7992/stat : 7992 (runsolver) D 7990 7992 7927 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 147031656 19017728 292 18446744073709551615 4194304 4296420 548682068880 18446744073709551615 230047675415 0 2147483391 4096 24578 18446744072099917094 0 0 17 1 0 0
/proc/7992/statm: 4643 292 257 24 0 2626 0

[startup+0.0702251 s]
/proc/loadavg: 1.83 1.86 1.21 2/67 7992
/proc/meminfo: memFree=1544496/2055888 swapFree=4096420/4096564
[pid=7992] ppid=7990 vsize=12064 CPUtime=0
/proc/7992/stat : 7992 (java) D 7990 7992 7927 0 -1 0 363 0 4 0 0 0 0 0 18 0 1 0 147031656 12353536 174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 11211071 0 0 4096 0 18446744071563481621 0 0 17 0 0 0
/proc/7992/statm: 3016 174 132 9 0 1148 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12064

[startup+0.101224 s]
/proc/loadavg: 1.83 1.86 1.21 2/67 7992
/proc/meminfo: memFree=1544496/2055888 swapFree=4096420/4096564
[pid=7992] ppid=7990 vsize=12064 CPUtime=0
/proc/7992/stat : 7992 (java) D 7990 7992 7927 0 -1 0 363 0 4 0 0 0 0 0 18 0 1 0 147031656 12353536 174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 11211071 0 0 4096 0 18446744071563481621 0 0 17 0 0 0
/proc/7992/statm: 3016 174 132 9 0 1148 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12064

[startup+0.30125 s]
/proc/loadavg: 1.83 1.86 1.21 2/67 7992
/proc/meminfo: memFree=1544496/2055888 swapFree=4096420/4096564
[pid=7992] ppid=7990 vsize=12064 CPUtime=0
/proc/7992/stat : 7992 (java) D 7990 7992 7927 0 -1 0 366 0 5 0 0 0 0 0 18 0 1 0 147031656 12353536 178 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 11211594 0 0 4096 0 18446744071563481621 0 0 17 0 0 0
/proc/7992/statm: 3016 178 132 9 0 1148 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12064

[startup+0.701298 s]
/proc/loadavg: 1.83 1.86 1.21 2/67 7992
/proc/meminfo: memFree=1544496/2055888 swapFree=4096420/4096564
[pid=7992] ppid=7990 vsize=1775956 CPUtime=0.01
/proc/7992/stat : 7992 (java) S 7990 7992 7927 0 -1 0 2661 0 23 0 0 1 0 0 18 0 4 0 147031656 1818578944 2434 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/7992/statm: 443989 2434 481 9 0 441624 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1775956

[startup+1.50238 s]
/proc/loadavg: 1.83 1.86 1.21 1/74 7999
/proc/meminfo: memFree=1527160/2055888 swapFree=4096420/4096564
[pid=7992] ppid=7990 vsize=1777848 CPUtime=0.08
/proc/7992/stat : 7992 (java) S 7990 7992 7927 0 -1 0 3771 0 60 0 5 3 0 0 18 0 7 0 147031656 1820516352 3576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 0 0 0
/proc/7992/statm: 444462 3576 1090 9 0 442097 0
[pid=7992/tid=7994] ppid=7990 vsize=1777848 CPUtime=0.07
/proc/7992/task/7994/stat : 7994 (java) D 7990 7992 7927 0 -1 64 3079 0 39 0 5 2 0 0 18 0 7 0 147031715 1820516352 3576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23755 18446744071563481621 0 0 -1 0 0 0
[pid=7992/tid=7995] ppid=7990 vsize=1777848 CPUtime=0
/proc/7992/task/7995/stat : 7995 (java) S 7990 7992 7927 0 -1 64 2 0 0 0 0 0 0 0 19 0 7 0 147031723 1820516352 3576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23755 0 0 0 -1 0 0 0
[pid=7992/tid=7996] ppid=7990 vsize=1777848 CPUtime=0
/proc/7992/task/7996/stat : 7996 (java) S 7990 7992 7927 0 -1 64 0 0 0 0 0 0 0 0 20 0 7 0 147031723 1820516352 3576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23755 0 0 0 -1 0 0 0
[pid=7992/tid=7997] ppid=7990 vsize=1777848 CPUtime=0
/proc/7992/task/7997/stat : 7997 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 19 0 7 0 147031731 1820516352 3576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 0 0 0 -1 0 0 0
[pid=7992/tid=7998] ppid=7990 vsize=1777848 CPUtime=0
/proc/7992/task/7998/stat : 7998 (java) S 7990 7992 7927 0 -1 64 10 0 0 0 0 0 0 0 19 0 7 0 147031736 1820516352 3576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23755 0 0 0 -1 0 0 0
[pid=7992/tid=7999] ppid=7990 vsize=1777848 CPUtime=0
/proc/7992/task/7999/stat : 7999 (java) S 7990 7992 7927 0 -1 64 4 0 0 0 0 0 0 0 20 0 7 0 147031736 1820516352 3576 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23755 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1777848

[startup+3.10257 s]
/proc/loadavg: 1.83 1.86 1.21 1/79 8004
/proc/meminfo: memFree=1524624/2055888 swapFree=4096420/4096564
[pid=7992] ppid=7990 vsize=1783152 CPUtime=0.54
/proc/7992/stat : 7992 (java) S 7990 7992 7927 0 -1 0 5815 0 60 0 49 5 0 0 18 0 12 0 147031656 1825947648 5592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7992/statm: 445788 5592 1297 9 0 443399 0
[pid=7992/tid=7994] ppid=7990 vsize=1783152 CPUtime=0.36
/proc/7992/task/7994/stat : 7994 (java) R 7990 7992 7927 0 -1 64 4467 0 39 0 32 4 0 0 17 0 12 0 147031715 1825947648 5592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=7995] ppid=7990 vsize=1783152 CPUtime=0
/proc/7992/task/7995/stat : 7995 (java) S 7990 7992 7927 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 147031723 1825947648 5592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=7996] ppid=7990 vsize=1783152 CPUtime=0
/proc/7992/task/7996/stat : 7996 (java) S 7990 7992 7927 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 147031723 1825947648 5592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=7997] ppid=7990 vsize=1783152 CPUtime=0
/proc/7992/task/7997/stat : 7997 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 147031731 1825947648 5592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=7998] ppid=7990 vsize=1783152 CPUtime=0
/proc/7992/task/7998/stat : 7998 (java) S 7990 7992 7927 0 -1 64 10 0 0 0 0 0 0 0 19 0 12 0 147031736 1825947648 5592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=7999] ppid=7990 vsize=1783152 CPUtime=0
/proc/7992/task/7999/stat : 7999 (java) S 7990 7992 7927 0 -1 64 4 0 0 0 0 0 0 0 20 0 12 0 147031736 1825947648 5592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=8000] ppid=7990 vsize=1783152 CPUtime=0
/proc/7992/task/8000/stat : 8000 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 147031824 1825947648 5592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=8001] ppid=7990 vsize=1783152 CPUtime=0.09
/proc/7992/task/8001/stat : 8001 (java) S 7990 7992 7927 0 -1 64 397 0 0 0 9 0 0 0 16 0 12 0 147031824 1825947648 5592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=8002] ppid=7990 vsize=1783152 CPUtime=0.07
/proc/7992/task/8002/stat : 8002 (java) R 7990 7992 7927 0 -1 64 257 0 0 0 7 0 0 0 16 0 12 0 147031824 1825947648 5592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 104790002 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=8003] ppid=7990 vsize=1783152 CPUtime=0
/proc/7992/task/8003/stat : 8003 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 147031824 1825947648 5592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=8004] ppid=7990 vsize=1783152 CPUtime=0
/proc/7992/task/8004/stat : 8004 (java) S 7990 7992 7927 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 147031824 1825947648 5592 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 1783152

[startup+6.30294 s]
/proc/loadavg: 1.93 1.88 1.22 3/80 8005
/proc/meminfo: memFree=1435976/2055888 swapFree=4096420/4096564
[pid=7992] ppid=7990 vsize=1795468 CPUtime=5.18
/proc/7992/stat : 7992 (java) S 7990 7992 7927 0 -1 0 38854 0 60 0 499 19 0 0 18 0 13 0 147031656 1838559232 33347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7992/statm: 448867 33347 1319 9 0 446478 0
[pid=7992/tid=7994] ppid=7990 vsize=1795468 CPUtime=2.68
/proc/7992/task/7994/stat : 7994 (java) R 7990 7992 7927 0 -1 64 29085 0 39 0 254 14 0 0 25 0 13 0 147031715 1838559232 33347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109956217 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=7995] ppid=7990 vsize=1795468 CPUtime=0
/proc/7992/task/7995/stat : 7995 (java) S 7990 7992 7927 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 147031723 1838559232 33347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=7996] ppid=7990 vsize=1795468 CPUtime=0
/proc/7992/task/7996/stat : 7996 (java) S 7990 7992 7927 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 147031723 1838559232 33347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=7997] ppid=7990 vsize=1795468 CPUtime=0
/proc/7992/task/7997/stat : 7997 (java) S 7990 7992 7927 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 147031731 1838559232 33347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=7998] ppid=7990 vsize=1795468 CPUtime=0
/proc/7992/task/7998/stat : 7998 (java) S 7990 7992 7927 0 -1 64 10 0 0 0 0 0 0 0 19 0 13 0 147031736 1838559232 33347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=7999] ppid=7990 vsize=1795468 CPUtime=0
/proc/7992/task/7999/stat : 7999 (java) S 7990 7992 7927 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 147031736 1838559232 33347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=8000] ppid=7990 vsize=1795468 CPUtime=0
/proc/7992/task/8000/stat : 8000 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 147031824 1838559232 33347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=8001] ppid=7990 vsize=1795468 CPUtime=1.39
/proc/7992/task/8001/stat : 8001 (java) S 7990 7992 7927 0 -1 64 4998 0 0 0 137 2 0 0 16 0 13 0 147031824 1838559232 33347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=8002] ppid=7990 vsize=1795468 CPUtime=1.08
/proc/7992/task/8002/stat : 8002 (java) S 7990 7992 7927 0 -1 64 4072 0 0 0 107 1 0 0 16 0 13 0 147031824 1838559232 33347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=8003] ppid=7990 vsize=1795468 CPUtime=0
/proc/7992/task/8003/stat : 8003 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 147031824 1838559232 33347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=8004] ppid=7990 vsize=1795468 CPUtime=0
/proc/7992/task/8004/stat : 8004 (java) S 7990 7992 7927 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 147031824 1838559232 33347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=8005] ppid=7990 vsize=1795468 CPUtime=0
/proc/7992/task/8005/stat : 8005 (java) S 7990 7992 7927 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 147032138 1838559232 33347 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.18
Current children cumulated vsize (KiB) 1795468

[startup+12.7016 s]
/proc/loadavg: 1.85 1.86 1.22 2/80 8006
/proc/meminfo: memFree=1362376/2055888 swapFree=4096420/4096564
[pid=7992] ppid=7990 vsize=1794508 CPUtime=11.68
/proc/7992/stat : 7992 (java) S 7990 7992 7927 0 -1 0 50096 0 60 0 1145 23 0 0 18 0 13 0 147031656 1837576192 44316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7992/statm: 448627 44316 1329 9 0 446238 0
[pid=7992/tid=7994] ppid=7990 vsize=1794508 CPUtime=8.99
/proc/7992/task/7994/stat : 7994 (java) R 7990 7992 7927 0 -1 64 37693 0 39 0 882 17 0 0 25 0 13 0 147031715 1837576192 44316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109705131 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=7995] ppid=7990 vsize=1794508 CPUtime=0.04
/proc/7992/task/7995/stat : 7995 (java) S 7990 7992 7927 0 -1 64 1339 0 0 0 4 0 0 0 16 0 13 0 147031723 1837576192 44316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=7996] ppid=7990 vsize=1794508 CPUtime=0.04
/proc/7992/task/7996/stat : 7996 (java) S 7990 7992 7927 0 -1 64 1281 0 0 0 4 0 0 0 16 0 13 0 147031723 1837576192 44316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=7997] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/7997/stat : 7997 (java) S 7990 7992 7927 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 147031731 1837576192 44316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=7998] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/7998/stat : 7998 (java) S 7990 7992 7927 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 147031736 1837576192 44316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=7999] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/7999/stat : 7999 (java) S 7990 7992 7927 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 147031736 1837576192 44316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=8000] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/8000/stat : 8000 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 147031824 1837576192 44316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=8001] ppid=7990 vsize=1794508 CPUtime=1.45
/proc/7992/task/8001/stat : 8001 (java) S 7990 7992 7927 0 -1 64 5005 0 0 0 143 2 0 0 16 0 13 0 147031824 1837576192 44316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=8002] ppid=7990 vsize=1794508 CPUtime=1.11
/proc/7992/task/8002/stat : 8002 (java) S 7990 7992 7927 0 -1 64 4072 0 0 0 110 1 0 0 17 0 13 0 147031824 1837576192 44316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=8003] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/8003/stat : 8003 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 147031824 1837576192 44316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=8004] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/8004/stat : 8004 (java) S 7990 7992 7927 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 147031824 1837576192 44316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=8006] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/8006/stat : 8006 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 147032376 1837576192 44316 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.68
Current children cumulated vsize (KiB) 1794508

[startup+25.5021 s]
/proc/loadavg: 1.66 1.82 1.22 2/80 8007
/proc/meminfo: memFree=1338560/2055888 swapFree=4096420/4096564
[pid=7992] ppid=7990 vsize=1794508 CPUtime=24.58
/proc/7992/stat : 7992 (java) S 7990 7992 7927 0 -1 0 56106 0 60 0 2432 26 0 0 18 0 13 0 147031656 1837576192 50289 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7992/statm: 448627 50289 1329 9 0 446238 0
[pid=7992/tid=7994] ppid=7990 vsize=1794508 CPUtime=21.7
/proc/7992/task/7994/stat : 7994 (java) R 7990 7992 7927 0 -1 64 37696 0 39 0 2153 17 0 0 25 0 13 0 147031715 1837576192 50289 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109967071 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=7995] ppid=7990 vsize=1794508 CPUtime=0.1
/proc/7992/task/7995/stat : 7995 (java) S 7990 7992 7927 0 -1 64 3310 0 0 0 9 1 0 0 16 0 13 0 147031723 1837576192 50289 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=7996] ppid=7990 vsize=1794508 CPUtime=0.1
/proc/7992/task/7996/stat : 7996 (java) S 7990 7992 7927 0 -1 64 5307 0 0 0 8 2 0 0 16 0 13 0 147031723 1837576192 50289 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=7997] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/7997/stat : 7997 (java) S 7990 7992 7927 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 147031731 1837576192 50289 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=7998] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/7998/stat : 7998 (java) S 7990 7992 7927 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 147031736 1837576192 50289 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=7999] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/7999/stat : 7999 (java) S 7990 7992 7927 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 147031736 1837576192 50289 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=8000] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/8000/stat : 8000 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 147031824 1837576192 50289 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=8001] ppid=7990 vsize=1794508 CPUtime=1.48
/proc/7992/task/8001/stat : 8001 (java) S 7990 7992 7927 0 -1 64 5008 0 0 0 146 2 0 0 17 0 13 0 147031824 1837576192 50289 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=8002] ppid=7990 vsize=1794508 CPUtime=1.14
/proc/7992/task/8002/stat : 8002 (java) S 7990 7992 7927 0 -1 64 4075 0 0 0 113 1 0 0 16 0 13 0 147031824 1837576192 50289 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=8003] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/8003/stat : 8003 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 147031824 1837576192 50289 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=7992/tid=7998] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/7998/stat : 7998 (java) S 7990 7992 7927 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 147031736 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=7999] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/7999/stat : 7999 (java) S 7990 7992 7927 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 147031736 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=8000] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/8000/stat : 8000 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 147031824 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=8001] ppid=7990 vsize=1794508 CPUtime=1.59
/proc/7992/task/8001/stat : 8001 (java) S 7990 7992 7927 0 -1 64 5028 0 0 0 157 2 0 0 17 0 13 0 147031824 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=8002] ppid=7990 vsize=1794508 CPUtime=1.22
/proc/7992/task/8002/stat : 8002 (java) S 7990 7992 7927 0 -1 64 4079 0 0 0 121 1 0 0 16 0 13 0 147031824 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=8003] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/8003/stat : 8003 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 147031824 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=8004] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/8004/stat : 8004 (java) S 7990 7992 7927 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 147031824 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=8009] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/8009/stat : 8009 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 147111334 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1791.19
Current children cumulated vsize (KiB) 1794508



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1791.2 s]
/proc/loadavg: 1.00 1.01 1.06 2/80 8009
/proc/meminfo: memFree=17200/2055888 swapFree=4096420/4096564
[pid=7992] ppid=7990 vsize=1794508 CPUtime=1800.09
/proc/7992/stat : 7992 (java) S 7990 7992 7927 0 -1 0 897294 0 60 0 179513 496 0 0 18 0 13 0 147031656 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7992/statm: 448627 399559 1334 9 0 446238 0
[pid=7992/tid=7994] ppid=7990 vsize=1794508 CPUtime=1656.75
/proc/7992/task/7994/stat : 7994 (java) S 7990 7992 7927 0 -1 64 38169 0 39 0 165656 19 0 0 15 0 13 0 147031715 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=7995] ppid=7990 vsize=1794508 CPUtime=10.65
/proc/7992/task/7995/stat : 7995 (java) S 7990 7992 7927 0 -1 64 404688 0 0 0 846 219 0 0 17 0 13 0 147031723 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=7996] ppid=7990 vsize=1794508 CPUtime=10.65
/proc/7992/task/7996/stat : 7996 (java) S 7990 7992 7927 0 -1 64 411306 0 0 0 854 211 0 0 17 0 13 0 147031723 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=7997] ppid=7990 vsize=1794508 CPUtime=119.16
/proc/7992/task/7997/stat : 7997 (java) R 7990 7992 7927 0 -1 64 33319 0 0 0 11876 40 0 0 25 0 13 0 147031731 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105333995 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=7998] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/7998/stat : 7998 (java) S 7990 7992 7927 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 147031736 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=7999] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/7999/stat : 7999 (java) S 7990 7992 7927 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 147031736 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=8000] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/8000/stat : 8000 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 147031824 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=8001] ppid=7990 vsize=1794508 CPUtime=1.59
/proc/7992/task/8001/stat : 8001 (java) S 7990 7992 7927 0 -1 64 5028 0 0 0 157 2 0 0 17 0 13 0 147031824 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=8002] ppid=7990 vsize=1794508 CPUtime=1.22
/proc/7992/task/8002/stat : 8002 (java) S 7990 7992 7927 0 -1 64 4079 0 0 0 121 1 0 0 16 0 13 0 147031824 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=8003] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/8003/stat : 8003 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 147031824 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=8004] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/8004/stat : 8004 (java) S 7990 7992 7927 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 147031824 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=8009] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/8009/stat : 8009 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 147111334 1837576192 399559 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1794508

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

Sending SIGKILL to process tree (bottom up)

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

[startup+1791.8 s]
/proc/loadavg: 1.00 1.01 1.06 2/81 8010
/proc/meminfo: memFree=17192/2055888 swapFree=4096420/4096564
[pid=7992] ppid=7990 vsize=1794508 CPUtime=1800.69
/proc/7992/stat : 7992 (java) S 7990 7992 7927 0 -1 0 897299 0 60 0 179573 496 0 0 16 0 13 0 147031656 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7992/statm: 448627 399562 1334 9 0 446238 0
[pid=7992/tid=7994] ppid=7990 vsize=1794508 CPUtime=1656.75
/proc/7992/task/7994/stat : 7994 (java) S 7990 7992 7927 0 -1 64 38169 0 39 0 165656 19 0 0 15 0 13 0 147031715 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=7995] ppid=7990 vsize=1794508 CPUtime=10.65
/proc/7992/task/7995/stat : 7995 (java) S 7990 7992 7927 0 -1 64 404688 0 0 0 846 219 0 0 17 0 13 0 147031723 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=7996] ppid=7990 vsize=1794508 CPUtime=10.65
/proc/7992/task/7996/stat : 7996 (java) S 7990 7992 7927 0 -1 64 411306 0 0 0 854 211 0 0 17 0 13 0 147031723 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=7997] ppid=7990 vsize=1794508 CPUtime=119.76
/proc/7992/task/7997/stat : 7997 (java) R 7990 7992 7927 0 -1 64 33319 0 0 0 11936 40 0 0 25 0 13 0 147031731 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 104904283 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=7998] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/7998/stat : 7998 (java) S 7990 7992 7927 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 147031736 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=7999] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/7999/stat : 7999 (java) S 7990 7992 7927 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 147031736 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=8000] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/8000/stat : 8000 (java) S 7990 7992 7927 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 147031824 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=8001] ppid=7990 vsize=1794508 CPUtime=1.59
/proc/7992/task/8001/stat : 8001 (java) S 7990 7992 7927 0 -1 64 5028 0 0 0 157 2 0 0 17 0 13 0 147031824 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=8002] ppid=7990 vsize=1794508 CPUtime=1.22
/proc/7992/task/8002/stat : 8002 (java) S 7990 7992 7927 0 -1 64 4079 0 0 0 121 1 0 0 16 0 13 0 147031824 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=8003] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/8003/stat : 8003 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 147031824 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=8004] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/8004/stat : 8004 (java) S 7990 7992 7927 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 147031824 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=8009] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/8009/stat : 8009 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 147111334 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.69
Current children cumulated vsize (KiB) 1794508

[startup+1792.6 s]
/proc/loadavg: 1.00 1.01 1.06 2/81 8010
/proc/meminfo: memFree=17192/2055888 swapFree=4096420/4096564
[pid=7992] ppid=7990 vsize=1794508 CPUtime=1801.48
/proc/7992/stat : 7992 (java) S 7990 7992 7927 0 -1 0 897300 0 60 0 179652 496 0 0 16 0 13 0 147031656 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7992/statm: 448627 399562 1334 9 0 446238 0
[pid=7992/tid=7994] ppid=7990 vsize=1794508 CPUtime=1656.75
/proc/7992/task/7994/stat : 7994 (java) S 7990 7992 7927 0 -1 64 38170 0 39 0 165656 19 0 0 15 0 13 0 147031715 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=7995] ppid=7990 vsize=1794508 CPUtime=10.65
/proc/7992/task/7995/stat : 7995 (java) S 7990 7992 7927 0 -1 64 404688 0 0 0 846 219 0 0 17 0 13 0 147031723 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=7996] ppid=7990 vsize=1794508 CPUtime=10.65
/proc/7992/task/7996/stat : 7996 (java) S 7990 7992 7927 0 -1 64 411306 0 0 0 854 211 0 0 17 0 13 0 147031723 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=7997] ppid=7990 vsize=1794508 CPUtime=120.56
/proc/7992/task/7997/stat : 7997 (java) R 7990 7992 7927 0 -1 64 33319 0 0 0 12016 40 0 0 25 0 13 0 147031731 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105070472 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=7998] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/7998/stat : 7998 (java) S 7990 7992 7927 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 147031736 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=7999] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/7999/stat : 7999 (java) S 7990 7992 7927 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 147031736 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=8000] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/8000/stat : 8000 (java) S 7990 7992 7927 0 -1 64 6 0 0 0 0 0 0 0 15 0 13 0 147031824 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=8001] ppid=7990 vsize=1794508 CPUtime=1.59
/proc/7992/task/8001/stat : 8001 (java) S 7990 7992 7927 0 -1 64 5028 0 0 0 157 2 0 0 17 0 13 0 147031824 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=8002] ppid=7990 vsize=1794508 CPUtime=1.22
/proc/7992/task/8002/stat : 8002 (java) S 7990 7992 7927 0 -1 64 4079 0 0 0 121 1 0 0 16 0 13 0 147031824 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=8003] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/8003/stat : 8003 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 147031824 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=8004] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/8004/stat : 8004 (java) S 7990 7992 7927 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 147031824 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=8009] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/8009/stat : 8009 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 147111334 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1801.48
Current children cumulated vsize (KiB) 1794508

[startup+1793.01 s]
/proc/loadavg: 1.00 1.01 1.06 2/81 8010
/proc/meminfo: memFree=17192/2055888 swapFree=4096420/4096564
[pid=7992] ppid=7990 vsize=1794508 CPUtime=1801.89
/proc/7992/stat : 7992 (java) S 7990 7992 7927 0 -1 0 897301 0 60 0 179693 496 0 0 16 0 13 0 147031656 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7992/statm: 448627 399562 1334 9 0 446238 0
[pid=7992/tid=7994] ppid=7990 vsize=1794508 CPUtime=1656.75
/proc/7992/task/7994/stat : 7994 (java) S 7990 7992 7927 0 -1 64 38171 0 39 0 165656 19 0 0 15 0 13 0 147031715 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=7995] ppid=7990 vsize=1794508 CPUtime=10.65
/proc/7992/task/7995/stat : 7995 (java) S 7990 7992 7927 0 -1 64 404688 0 0 0 846 219 0 0 17 0 13 0 147031723 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=7996] ppid=7990 vsize=1794508 CPUtime=10.65
/proc/7992/task/7996/stat : 7996 (java) S 7990 7992 7927 0 -1 64 411306 0 0 0 854 211 0 0 17 0 13 0 147031723 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=7997] ppid=7990 vsize=1794508 CPUtime=120.96
/proc/7992/task/7997/stat : 7997 (java) R 7990 7992 7927 0 -1 64 33319 0 0 0 12056 40 0 0 25 0 13 0 147031731 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105332840 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=7998] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/7998/stat : 7998 (java) S 7990 7992 7927 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 147031736 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=7999] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/7999/stat : 7999 (java) S 7990 7992 7927 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 147031736 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=8000] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/8000/stat : 8000 (java) S 7990 7992 7927 0 -1 64 6 0 0 0 0 0 0 0 15 0 13 0 147031824 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=8001] ppid=7990 vsize=1794508 CPUtime=1.59
/proc/7992/task/8001/stat : 8001 (java) S 7990 7992 7927 0 -1 64 5028 0 0 0 157 2 0 0 17 0 13 0 147031824 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=8002] ppid=7990 vsize=1794508 CPUtime=1.22
/proc/7992/task/8002/stat : 8002 (java) S 7990 7992 7927 0 -1 64 4079 0 0 0 121 1 0 0 16 0 13 0 147031824 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7992/tid=8003] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/8003/stat : 8003 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 147031824 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=8004] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/8004/stat : 8004 (java) S 7990 7992 7927 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 147031824 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7992/tid=8009] ppid=7990 vsize=1794508 CPUtime=0
/proc/7992/task/8009/stat : 8009 (java) S 7990 7992 7927 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 147111334 1837576192 399562 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1801.89
Current children cumulated vsize (KiB) 1794508

[startup+1793.4 s]
/proc/loadavg: 1.00 1.01 1.06 2/81 8010
/proc/meminfo: memFree=17192/2055888 swapFree=4096420/4096564
[pid=7992] ppid=7990 vsize=0 CPUtime=1802.28
/proc/7992/stat : 7992 (java) Z 7990 7992 7927 0 -1 1036 897301 0 60 0 179714 514 0 0 16 0 2 0 147031656 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7992/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.28
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1793.46
CPU time (s): 1802.36
CPU user time (s): 1797.15
CPU system time (s): 5.20521
CPU usage (%): 100.496
Max. virtual memory (cumulated for all children) (KiB): 1796776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.15
system time used= 5.20521
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 897301
page faults= 60
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39942
involuntary context switches= 15416

runsolver used 1.79473 second user time and 4.76128 second system time

The end

Launcher Data (download as text)

Begin job on node87 on Mon Apr 16 08:03:56 UTC 2007

IDJOB= 354463
IDBENCH= 2554
IDSOLVER= 159
FILE ID= node87/354463-1176710636

PBS_JOBID= 4560093

Free space on /tmp= 66648 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa3.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354463-1176710636/sat4jPseudoResolution.jar /tmp/evaluation/354463-1176710636/instance-354463-1176710636.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node87/watcher-354463-1176710636 -o ROOT/results/node87/solver-354463-1176710636 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354463-1176710636/sat4jPseudoResolution.jar /tmp/evaluation/354463-1176710636/instance-354463-1176710636.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  d3086c0e0af196eedd939c84273a060e

RANDOM SEED= 146991375

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node87.alineos.net 2.6.9-34.ELsmp #1 SMP Thu Mar 9 06:23:23 GMT 2006 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.245
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6006.18
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.245
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.39
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1545800 kB
Buffers:         31484 kB
Cached:         336056 kB
SwapCached:          0 kB
Active:         123516 kB
Inactive:       259656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1545800 kB
SwapTotal:     4096564 kB
SwapFree:      4096420 kB
Dirty:            4812 kB
Writeback:           0 kB
Mapped:          25856 kB
Slab:           113372 kB
Committed_AS:   131056 kB
PageTables:       1460 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66648 MiB

End job on node87 on Mon Apr 16 08:33:50 UTC 2007