Trace number 209917

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 NameAnswerCPU timeWall clock time
Abscon 109 AC? (TO) 1800.14 1803.22

General information on the benchmark

NameschurrLemma/
lemma-67-4.xml
MD5SUM61c7a360ec82efef68ace54022e2521a
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables67
Number of constraints1089
Maximum constraint arity3
Maximum domain size4
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1089
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=mac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/209917-1168074988/unknown.xml
0.36	   
0.36	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.40	     nbVariables=67  nbDomainTypes=1  minDomainSize=4  maxDomainSize=4
0.40	       =>  wckTime=0.099  cpuTime=0.09  mem=6M951
0.40	   
0.40	   predicates being loaded...
0.41	   
0.41	   constraints being loaded...
0.74	     nbConstraints=1089  nbConflictsStructures=1  nbSharedConflictsStructures=1088  nbSharedBinaryRepresentations=0
0.74	     nbEvaluationManagers=1  nbSharedEvaluationManagers=1088  maxDegree=65  maxArity=3
0.74	       =>  wckTime=0.439  cpuTime=0.32  mem=16M703
0.79	   
0.79	   solver IterativeSystematicSolver being built... 
0.97	       =>  wckTime=0.668  cpuTime=0.47  mem=19M761
0.99	   
0.99	   preprocessing
0.99	     nbConstraintChecks=0  nbPropagations=67  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.99	     detectedInconsistency=no
0.99	       =>  wckTime=0.016  cpuTime=0.01  mem=19M761
1.06	   
1.06	   search
1.06	     run=0  nbConstraintChecks=4636  nbValidityChecks=2117  nbPropagations=297  nbRevisions=1768
1.06	     nbUselessRevisions=1416  nbAssignments=48  nbFailedAssignments=7  nbBacktracks=11  nbVisitedNodes=60
1.06	     nbRestartNogoods=0  mapSize=9  nbInferences=0  nbTooLargeKeys=0
1.06	       =>  wckTime=0.089  cpuTime=0.04  mem=20M745
1.08	   
1.08	   search
1.08	     run=1  nbConstraintChecks=9171  nbValidityChecks=6936  nbPropagations=801  nbRevisions=5821
1.09	     nbUselessRevisions=4645  nbAssignments=87  nbFailedAssignments=11  nbBacktracks=28  nbVisitedNodes=109
1.09	     nbRestartNogoods=2  mapSize=18  nbInferences=0  nbTooLargeKeys=0
1.09	       =>  wckTime=0.111  cpuTime=0.06  mem=20M745
1.11	   
1.11	   search
1.11	     run=2  nbConstraintChecks=17242  nbValidityChecks=16552  nbPropagations=1606  nbRevisions=13680
1.11	     nbUselessRevisions=10902  nbAssignments=143  nbFailedAssignments=22  nbBacktracks=56  nbVisitedNodes=185
1.11	     nbRestartNogoods=3  mapSize=37  nbInferences=0  nbTooLargeKeys=0
1.11	       =>  wckTime=0.139  cpuTime=0.08  mem=20M745
1.14	   
1.14	   search
1.14	     run=3  nbConstraintChecks=24703  nbValidityChecks=25821  nbPropagations=2694  nbRevisions=24809
1.14	     nbUselessRevisions=19792  nbAssignments=201  nbFailedAssignments=32  nbBacktracks=89  nbVisitedNodes=262
1.14	     nbRestartNogoods=4  mapSize=55  nbInferences=0  nbTooLargeKeys=0
1.14	       =>  wckTime=0.164  cpuTime=0.11  mem=20M745
1.18	   
1.18	   search
1.18	     run=4  nbConstraintChecks=40761  nbValidityChecks=46930  nbPropagations=4315  nbRevisions=43178
1.18	     nbUselessRevisions=34503  nbAssignments=294  nbFailedAssignments=55  nbBacktracks=141  nbVisitedNodes=399
1.18	     nbRestartNogoods=5  mapSize=95  nbInferences=0  nbTooLargeKeys=0
1.18	       =>  wckTime=0.203  cpuTime=0.14  mem=20M745
1.22	   
1.22	   search
1.22	     run=5  nbConstraintChecks=62959  nbValidityChecks=74982  nbPropagations=6675  nbRevisions=71257
1.22	     nbUselessRevisions=56913  nbAssignments=417  nbFailedAssignments=88  nbBacktracks=219  nbVisitedNodes=576
1.22	     nbRestartNogoods=9  mapSize=148  nbInferences=0  nbTooLargeKeys=0
1.22	       =>  wckTime=0.249  cpuTime=0.18  mem=20M745
1.30	   
1.30	   search
1.30	     run=6  nbConstraintChecks=99113  nbValidityChecks=124026  nbPropagations=10235  nbRevisions=116550
1.30	     nbUselessRevisions=93072  nbAssignments=599  nbFailedAssignments=138  nbBacktracks=332  nbVisitedNodes=842
1.30	     nbRestartNogoods=10  mapSize=227  nbInferences=0  nbTooLargeKeys=0
1.30	       =>  wckTime=0.327  cpuTime=0.27  mem=20M745
1.40	   
1.40	   search
1.40	     run=7  nbConstraintChecks=143951  nbValidityChecks=186651  nbPropagations=15458  nbRevisions=184301
1.40	     nbUselessRevisions=147312  nbAssignments=852  nbFailedAssignments=202  nbBacktracks=505  nbVisitedNodes=1214
1.40	     nbRestartNogoods=15  mapSize=343  nbInferences=0  nbTooLargeKeys=0
1.40	       =>  wckTime=0.422  cpuTime=0.36  mem=20M745
1.54	   
1.54	   search
1.54	     run=8  nbConstraintChecks=215027  nbValidityChecks=284996  nbPropagations=23298  nbRevisions=285945
1.54	     nbUselessRevisions=228461  nbAssignments=1229  nbFailedAssignments=305  nbBacktracks=766  nbVisitedNodes=1791
1.54	     nbRestartNogoods=18  mapSize=536  nbInferences=0  nbTooLargeKeys=0
1.54	       =>  wckTime=0.568  cpuTime=0.5  mem=20M745
1.80	   
1.80	   search
1.80	     run=9  nbConstraintChecks=348514  nbValidityChecks=460110  nbPropagations=35820  nbRevisions=451285
1.80	     nbUselessRevisions=361094  nbAssignments=1839  nbFailedAssignments=511  nbBacktracks=1153  nbVisitedNodes=2779
1.80	     nbRestartNogoods=21  mapSize=858  nbInferences=0  nbTooLargeKeys=0
1.80	       =>  wckTime=0.824  cpuTime=0.74  mem=20M745
1.94	   
1.94	   INFO : Stopping hyperNogood (mapSize=1027, nbTooLargekeys=0, mem=20M745)
2.16	   
2.16	   search
2.16	     run=10  nbConstraintChecks=569233  nbValidityChecks=750411  nbPropagations=55945  nbRevisions=722477
2.16	     nbUselessRevisions=579343  nbAssignments=2737  nbFailedAssignments=815  nbBacktracks=1729  nbVisitedNodes=4270
2.16	     nbRestartNogoods=24
2.16	       =>  wckTime=1.188  cpuTime=1.09  mem=20M745
2.53	   
2.53	   search
2.53	     run=11  nbConstraintChecks=786096  nbValidityChecks=1040323  nbPropagations=84698  nbRevisions=1095218
2.53	     nbUselessRevisions=878496  nbAssignments=3999  nbFailedAssignments=1198  nbBacktracks=2595  nbVisitedNodes=6257
2.53	     nbRestartNogoods=31
2.53	       =>  wckTime=1.56  cpuTime=1.45  mem=20M745
3.06	   
3.06	   search
3.06	     run=12  nbConstraintChecks=1105831  nbValidityChecks=1490464  nbPropagations=125402  nbRevisions=1629044
3.06	     nbUselessRevisions=1306816  nbAssignments=5814  nbFailedAssignments=1696  nbBacktracks=3892  nbVisitedNodes=9005
3.06	     nbRestartNogoods=35
3.06	       =>  wckTime=2.084  cpuTime=1.97  mem=20M745
3.79	   
3.79	   search
3.79	     run=13  nbConstraintChecks=1547811  nbValidityChecks=2126294  nbPropagations=182702  nbRevisions=2390735
3.79	     nbUselessRevisions=1918408  nbAssignments=8474  nbFailedAssignments=2386  nbBacktracks=5838  nbVisitedNodes=13022
3.79	     nbRestartNogoods=45
3.79	       =>  wckTime=2.815  cpuTime=2.7  mem=20M745
5.28	   
5.28	   search
5.28	     run=14  nbConstraintChecks=2498231  nbValidityChecks=3397203  nbPropagations=274132  nbRevisions=3616400
5.28	     nbUselessRevisions=2904595  nbAssignments=12931  nbFailedAssignments=3903  nbBacktracks=8757  nbVisitedNodes=20232
5.28	     nbRestartNogoods=53
5.28	       =>  wckTime=4.302  cpuTime=4.18  mem=20M745
7.42	   
7.42	   search
7.42	     run=15  nbConstraintChecks=3835422  nbValidityChecks=5208747  nbPropagations=414326  nbRevisions=5518481
7.42	     nbUselessRevisions=4440483  nbAssignments=19366  nbFailedAssignments=5943  nbBacktracks=13135  nbVisitedNodes=30480
7.42	     nbRestartNogoods=59
7.42	       =>  wckTime=6.443  cpuTime=6.31  mem=20M745
9.80	   
9.80	   search
9.80	     run=16  nbConstraintChecks=5321066  nbValidityChecks=7339329  nbPropagations=610590  nbRevisions=8179971
9.80	     nbUselessRevisions=6584562  nbAssignments=28570  nbFailedAssignments=8559  nbBacktracks=19706  nbVisitedNodes=44480
9.80	     nbRestartNogoods=66
9.80	       =>  wckTime=8.83  cpuTime=8.68  mem=20M745
13.65	   
13.65	   search
13.65	     run=17  nbConstraintChecks=7704743  nbValidityChecks=10662338  nbPropagations=894780  nbRevisions=11990432
13.65	     nbUselessRevisions=9642766  nbAssignments=41965  nbFailedAssignments=12082  nbBacktracks=29559
13.65	     nbVisitedNodes=64742  nbRestartNogoods=71
13.65	       =>  wckTime=12.678  cpuTime=12.51  mem=20M745
19.65	   
19.65	   search
19.65	     run=18  nbConstraintChecks=11520289  nbValidityChecks=16018244  nbPropagations=1314554  nbRevisions=17664758
19.65	     nbUselessRevisions=14187638  nbAssignments=62438  nbFailedAssignments=17760  nbBacktracks=44339
19.65	     nbVisitedNodes=95951  nbRestartNogoods=81
19.65	       =>  wckTime=18.675  cpuTime=18.48  mem=20M745
28.47	   
28.47	   search
28.47	     run=19  nbConstraintChecks=16994547  nbValidityChecks=23799387  nbPropagations=1946957  nbRevisions=26160453
28.47	     nbUselessRevisions=20989458  nbAssignments=93242  nbFailedAssignments=26377  nbBacktracks=66508
28.47	     nbVisitedNodes=142687  nbRestartNogoods=93
28.47	       =>  wckTime=27.496  cpuTime=27.25  mem=20M745
48.01	   
48.01	   search
48.01	     run=20  nbConstraintChecks=29853846  nbValidityChecks=40612842  nbPropagations=3023071  nbRevisions=40825652
48.01	     nbUselessRevisions=32786086  nbAssignments=145119  nbFailedAssignments=44978  nbBacktracks=99761
48.01	     nbVisitedNodes=229479  nbRestartNogoods=101
48.01	       =>  wckTime=47.041  cpuTime=46.67  mem=20M745
66.79	   
66.79	   search
66.79	     run=21  nbConstraintChecks=41172928  nbValidityChecks=56709305  nbPropagations=4534663  nbRevisions=61247436
66.79	     nbUselessRevisions=49186651  nbAssignments=213817  nbFailedAssignments=63782  nbBacktracks=149640
66.79	     nbVisitedNodes=334085  nbRestartNogoods=109
66.79	       =>  wckTime=65.812  cpuTime=65.35  mem=20M745
97.11	   
97.11	   search
97.11	     run=22  nbConstraintChecks=60138605  nbValidityChecks=83438046  nbPropagations=6755499  nbRevisions=91238640
97.11	     nbUselessRevisions=73224483  nbAssignments=318433  nbFailedAssignments=93565  nbBacktracks=224460
97.11	     nbVisitedNodes=493516  nbRestartNogoods=114
97.11	       =>  wckTime=96.133  cpuTime=95.5  mem=20M745
144.21	   
144.21	   search
144.21	     run=23  nbConstraintChecks=87794072  nbValidityChecks=122329050  nbPropagations=10012562  nbRevisions=135228947
144.21	     nbUselessRevisions=108461107  nbAssignments=471316  nbFailedAssignments=134195  nbBacktracks=336694
144.21	     nbVisitedNodes=724353  nbRestartNogoods=123
144.21	       =>  wckTime=143.238  cpuTime=142.35  mem=20M745
214.22	   
214.22	   search
214.22	     run=24  nbConstraintChecks=129193750  nbValidityChecks=180364823  nbPropagations=14829521  nbRevisions=199979247
214.22	     nbUselessRevisions=160264696  nbAssignments=704085  nbFailedAssignments=198605  nbBacktracks=505039
214.22	     nbVisitedNodes=1076277  nbRestartNogoods=131
214.22	       =>  wckTime=213.244  cpuTime=211.98  mem=20M745
319.78	   
319.78	   search
319.78	     run=25  nbConstraintChecks=190793727  nbValidityChecks=266784816  nbPropagations=21993336  nbRevisions=296011797
319.78	     nbUselessRevisions=237070714  nbAssignments=1048971  nbFailedAssignments=290957  nbBacktracks=757556
319.79	     nbVisitedNodes=1597916  nbRestartNogoods=143
319.79	       =>  wckTime=318.811  cpuTime=316.96  mem=20M745
480.57	   
480.57	   search
480.57	     run=26  nbConstraintChecks=285008019  nbValidityChecks=398051453  nbPropagations=32646574  nbRevisions=438426986
480.57	     nbUselessRevisions=350844301  nbAssignments=1564170  nbFailedAssignments=427366  nbBacktracks=1136324
480.57	     nbVisitedNodes=2377287  nbRestartNogoods=153
480.57	       =>  wckTime=479.593  cpuTime=476.91  mem=20M745
724.41	   
724.43	   search
724.43	     run=27  nbConstraintChecks=421436959  nbValidityChecks=590200836  nbPropagations=48472031  nbRevisions=650000909
724.43	     nbUselessRevisions=519879870  nbAssignments=2347892  nbFailedAssignments=642920  nbBacktracks=1704476
724.43	     nbVisitedNodes=3564469  nbRestartNogoods=168
724.43	       =>  wckTime=723.432  cpuTime=720.67  mem=20M745
1096.35	   
1096.35	   search
1096.35	     run=28  nbConstraintChecks=626497454  nbValidityChecks=879169253  nbPropagations=72276072  nbRevisions=967293362
1096.35	     nbUselessRevisions=773628392  nbAssignments=3520808  nbFailedAssignments=963596  nbBacktracks=2556702
1096.35	     nbVisitedNodes=5373769  nbRestartNogoods=181
1096.35	       =>  wckTime=1095.376  cpuTime=1092.46  mem=20M745

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer:

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node25/watcher-209917-1168074988 -o ROOT/results/node25/solver-209917-1168074988 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/209917-1168074988/unknown.xml 

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

/proc/loadavg: 1.85 1.97 1.92 4/93 29748
/proc/meminfo: memFree=1548144/2055920 swapFree=4192812/4192956
[pid=29747] ppid=29745 vsize=18540 CPUtime=0
/proc/29747/stat : 29747 (runsolver) R 29745 29747 29178 0 -1 4194368 17 0 0 0 0 0 0 0 21 0 1 0 155891620 18984960 280 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 215781797159 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/29747/statm: 4635 280 244 17 0 2626 0

[startup+0.107884 s]
/proc/loadavg: 1.85 1.97 1.92 4/93 29748
/proc/meminfo: memFree=1548144/2055920 swapFree=4192812/4192956
[pid=29747] ppid=29745 vsize=914988 CPUtime=0.08
/proc/29747/stat : 29747 (java) R 29745 29747 29178 0 -1 0 3002 0 1 0 7 1 0 0 25 0 8 0 155891620 936947712 2748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072934386 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29747/statm: 228747 2748 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515956 s]
/proc/loadavg: 1.85 1.97 1.92 4/93 29748
/proc/meminfo: memFree=1548144/2055920 swapFree=4192812/4192956
[pid=29747] ppid=29745 vsize=915328 CPUtime=0.48
/proc/29747/stat : 29747 (java) R 29745 29747 29178 0 -1 0 6687 0 1 0 45 3 0 0 25 0 8 0 155891620 937295872 6426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29747/statm: 228832 6426 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33809 s]
/proc/loadavg: 1.86 1.97 1.92 3/100 29755
/proc/meminfo: memFree=1518648/2055920 swapFree=4192812/4192956
[pid=29747] ppid=29745 vsize=915580 CPUtime=1.3
/proc/29747/stat : 29747 (java) R 29745 29747 29178 0 -1 0 10106 0 1 0 118 12 0 0 25 0 8 0 155891620 937553920 9843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073920364 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29747/statm: 228895 9843 2533 14 0 215365 0
[pid=29747/tid=29749] ppid=29745 vsize=915580 CPUtime=0.03
/proc/29747/task/29749/stat : 29749 (java) S 29745 29747 29178 0 -1 64 280 0 0 0 3 0 0 0 16 0 8 0 155891624 937553920 9843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29750] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29750/stat : 29750 (java) S 29745 29747 29178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155891624 937553920 9843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29751] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29751/stat : 29751 (java) S 29745 29747 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155891624 937553920 9843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29752] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29752/stat : 29752 (java) S 29745 29747 29178 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155891628 937553920 9843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29753] ppid=29745 vsize=915580 CPUtime=0.25
/proc/29747/task/29753/stat : 29753 (java) S 29745 29747 29178 0 -1 64 418 0 0 0 24 1 0 0 15 0 8 0 155891628 937553920 9843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29754] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29754/stat : 29754 (java) S 29745 29747 29178 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155891628 937553920 9843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29755] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29755/stat : 29755 (java) S 29745 29747 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155891628 937553920 9843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915580

[startup+2.98937 s]
/proc/loadavg: 1.86 1.97 1.92 3/100 29755
/proc/meminfo: memFree=1518264/2055920 swapFree=4192812/4192956
[pid=29747] ppid=29745 vsize=915580 CPUtime=2.94
/proc/29747/stat : 29747 (java) R 29745 29747 29178 0 -1 0 10173 0 1 0 282 12 0 0 25 0 8 0 155891620 937553920 9909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073912904 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29747/statm: 228895 9909 2533 14 0 215365 0
[pid=29747/tid=29749] ppid=29745 vsize=915580 CPUtime=0.03
/proc/29747/task/29749/stat : 29749 (java) S 29745 29747 29178 0 -1 64 280 0 0 0 3 0 0 0 17 0 8 0 155891624 937553920 9909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29750] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29750/stat : 29750 (java) S 29745 29747 29178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155891624 937553920 9909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29751] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29751/stat : 29751 (java) S 29745 29747 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155891624 937553920 9909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29752] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29752/stat : 29752 (java) S 29745 29747 29178 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155891628 937553920 9909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29753] ppid=29745 vsize=915580 CPUtime=0.3
/proc/29747/task/29753/stat : 29753 (java) S 29745 29747 29178 0 -1 64 437 0 0 0 28 2 0 0 16 0 8 0 155891628 937553920 9909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29754] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29754/stat : 29754 (java) S 29745 29747 29178 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155891628 937553920 9909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29755] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29755/stat : 29755 (java) S 29745 29747 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155891628 937553920 9909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915580

[startup+6.27393 s]
/proc/loadavg: 1.86 1.97 1.92 3/100 29755
/proc/meminfo: memFree=1518200/2055920 swapFree=4192812/4192956
[pid=29747] ppid=29745 vsize=915580 CPUtime=6.21
/proc/29747/stat : 29747 (java) R 29745 29747 29178 0 -1 0 10182 0 1 0 609 12 0 0 25 0 8 0 155891620 937553920 9917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073917509 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29747/statm: 228895 9917 2533 14 0 215365 0
[pid=29747/tid=29749] ppid=29745 vsize=915580 CPUtime=0.03
/proc/29747/task/29749/stat : 29749 (java) S 29745 29747 29178 0 -1 64 280 0 0 0 3 0 0 0 16 0 8 0 155891624 937553920 9917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29750] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29750/stat : 29750 (java) S 29745 29747 29178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155891624 937553920 9917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29751] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29751/stat : 29751 (java) S 29745 29747 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155891624 937553920 9917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29752] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29752/stat : 29752 (java) S 29745 29747 29178 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155891628 937553920 9917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29753] ppid=29745 vsize=915580 CPUtime=0.3
/proc/29747/task/29753/stat : 29753 (java) S 29745 29747 29178 0 -1 64 437 0 0 0 28 2 0 0 16 0 8 0 155891628 937553920 9917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29754] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29754/stat : 29754 (java) S 29745 29747 29178 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155891628 937553920 9917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29755] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29755/stat : 29755 (java) S 29745 29747 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155891628 937553920 9917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915580

[startup+12.764 s]
/proc/loadavg: 1.88 1.97 1.92 3/100 29755
/proc/meminfo: memFree=1518200/2055920 swapFree=4192812/4192956
[pid=29747] ppid=29745 vsize=915580 CPUtime=12.66
/proc/29747/stat : 29747 (java) R 29745 29747 29178 0 -1 0 10187 0 1 0 1254 12 0 0 25 0 8 0 155891620 937553920 9922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073939258 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29747/statm: 228895 9922 2533 14 0 215365 0
[pid=29747/tid=29749] ppid=29745 vsize=915580 CPUtime=0.03
/proc/29747/task/29749/stat : 29749 (java) S 29745 29747 29178 0 -1 64 280 0 0 0 3 0 0 0 16 0 8 0 155891624 937553920 9922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29750] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29750/stat : 29750 (java) S 29745 29747 29178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155891624 937553920 9922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29751] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29751/stat : 29751 (java) S 29745 29747 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155891624 937553920 9922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29752] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29752/stat : 29752 (java) S 29745 29747 29178 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155891628 937553920 9922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29753] ppid=29745 vsize=915580 CPUtime=0.3
/proc/29747/task/29753/stat : 29753 (java) S 29745 29747 29178 0 -1 64 437 0 0 0 28 2 0 0 16 0 8 0 155891628 937553920 9922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29754] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29754/stat : 29754 (java) S 29745 29747 29178 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155891628 937553920 9922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29755] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29755/stat : 29755 (java) S 29745 29747 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155891628 937553920 9922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915580

[startup+25.6122 s]
/proc/loadavg: 1.90 1.97 1.92 3/100 29755
/proc/meminfo: memFree=1518200/2055920 swapFree=4192812/4192956
[pid=29747] ppid=29745 vsize=915580 CPUtime=25.45
/proc/29747/stat : 29747 (java) R 29745 29747 29178 0 -1 0 10193 0 1 0 2533 12 0 0 25 0 8 0 155891620 937553920 9928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073937420 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29747/statm: 228895 9928 2533 14 0 215365 0
[pid=29747/tid=29749] ppid=29745 vsize=915580 CPUtime=0.03
/proc/29747/task/29749/stat : 29749 (java) S 29745 29747 29178 0 -1 64 280 0 0 0 3 0 0 0 16 0 8 0 155891624 937553920 9928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29750] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29750/stat : 29750 (java) S 29745 29747 29178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155891624 937553920 9928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29751] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29751/stat : 29751 (java) S 29745 29747 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155891624 937553920 9928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29752] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29752/stat : 29752 (java) S 29745 29747 29178 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155891628 937553920 9928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29753] ppid=29745 vsize=915580 CPUtime=0.3
/proc/29747/task/29753/stat : 29753 (java) S 29745 29747 29178 0 -1 64 438 0 0 0 28 2 0 0 16 0 8 0 155891628 937553920 9928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29754] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29754/stat : 29754 (java) S 29745 29747 29178 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155891628 937553920 9928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29755] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29755/stat : 29755 (java) S 29745 29747 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155891628 937553920 9928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915580

[startup+51.2266 s]
/proc/loadavg: 1.93 1.97 1.92 3/100 29755
/proc/meminfo: memFree=1518200/2055920 swapFree=4192812/4192956
[pid=29747] ppid=29745 vsize=915580 CPUtime=50.92
/proc/29747/stat : 29747 (java) R 29745 29747 29178 0 -1 0 10199 0 1 0 5079 13 0 0 25 0 8 0 155891620 937553920 9934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073979267 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29747/statm: 228895 9934 2533 14 0 215365 0
[pid=29747/tid=29749] ppid=29745 vsize=915580 CPUtime=0.03
/proc/29747/task/29749/stat : 29749 (java) S 29745 29747 29178 0 -1 64 280 0 0 0 3 0 0 0 16 0 8 0 155891624 937553920 9934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29750] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29750/stat : 29750 (java) S 29745 29747 29178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155891624 937553920 9934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29751] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29751/stat : 29751 (java) S 29745 29747 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155891624 937553920 9934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29752] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29752/stat : 29752 (java) S 29745 29747 29178 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155891628 937553920 9934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29753] ppid=29745 vsize=915580 CPUtime=0.3
/proc/29747/task/29753/stat : 29753 (java) S 29745 29747 29178 0 -1 64 438 0 0 0 28 2 0 0 16 0 8 0 155891628 937553920 9934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29754] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29754/stat : 29754 (java) S 29745 29747 29178 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155891628 937553920 9934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29755] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29755/stat : 29755 (java) S 29745 29747 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155891628 937553920 9934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 915580

[startup+102.456 s]
/proc/loadavg: 1.97 1.97 1.92 3/100 29755
/proc/meminfo: memFree=1518200/2055920 swapFree=4192812/4192956
[pid=29747] ppid=29745 vsize=915580 CPUtime=101.87
/proc/29747/stat : 29747 (java) R 29745 29747 29178 0 -1 0 10204 0 1 0 10174 13 0 0 25 0 8 0 155891620 937553920 9939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073939268 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29747/statm: 228895 9939 2533 14 0 215365 0
[pid=29747/tid=29749] ppid=29745 vsize=915580 CPUtime=0.03
/proc/29747/task/29749/stat : 29749 (java) S 29745 29747 29178 0 -1 64 280 0 0 0 3 0 0 0 16 0 8 0 155891624 937553920 9939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29750] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29750/stat : 29750 (java) S 29745 29747 29178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155891624 937553920 9939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29751] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29751/stat : 29751 (java) S 29745 29747 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155891624 937553920 9939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29752] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29752/stat : 29752 (java) S 29745 29747 29178 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155891628 937553920 9939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29753] ppid=29745 vsize=915580 CPUtime=0.3
/proc/29747/task/29753/stat : 29753 (java) S 29745 29747 29178 0 -1 64 438 0 0 0 28 2 0 0 16 0 8 0 155891628 937553920 9939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29754] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29754/stat : 29754 (java) S 29745 29747 29178 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155891628 937553920 9939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29755] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29755/stat : 29755 (java) S 29745 29747 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155891628 937553920 9939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 915580

[startup+162.533 s]
/proc/loadavg: 1.99 1.97 1.92 3/100 29755
/proc/meminfo: memFree=1518200/2055920 swapFree=4192812/4192956
[pid=29747] ppid=29745 vsize=915580 CPUtime=161.62
/proc/29747/stat : 29747 (java) R 29745 29747 29178 0 -1 0 10208 0 1 0 16149 13 0 0 25 0 8 0 155891620 937553920 9942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073992153 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1420.75
Current children cumulated vsize (KiB) 915580

[startup+1483.73 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 29927
/proc/meminfo: memFree=1176320/2055920 swapFree=4192812/4192956
[pid=29747] ppid=29745 vsize=915580 CPUtime=1480.75
/proc/29747/stat : 29747 (java) R 29745 29747 29178 0 -1 0 10223 0 1 0 148046 29 0 0 25 0 8 0 155891620 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073977865 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29747/statm: 228895 9956 2533 14 0 215365 0
[pid=29747/tid=29749] ppid=29745 vsize=915580 CPUtime=0.03
/proc/29747/task/29749/stat : 29749 (java) S 29745 29747 29178 0 -1 64 280 0 0 0 3 0 0 0 16 0 8 0 155891624 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29750] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29750/stat : 29750 (java) S 29745 29747 29178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155891624 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29751] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29751/stat : 29751 (java) S 29745 29747 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155891624 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29752] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29752/stat : 29752 (java) S 29745 29747 29178 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155891628 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29753] ppid=29745 vsize=915580 CPUtime=0.3
/proc/29747/task/29753/stat : 29753 (java) S 29745 29747 29178 0 -1 64 439 0 0 0 28 2 0 0 16 0 8 0 155891628 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29747/tid=29754] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29754/stat : 29754 (java) S 29745 29747 29178 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155891628 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29755] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29755/stat : 29755 (java) S 29745 29747 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155891628 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1480.75
Current children cumulated vsize (KiB) 915580

[startup+1543.76 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 29927
/proc/meminfo: memFree=1176256/2055920 swapFree=4192812/4192956
[pid=29747] ppid=29745 vsize=915580 CPUtime=1540.75
/proc/29747/stat : 29747 (java) R 29745 29747 29178 0 -1 0 10223 0 1 0 154045 30 0 0 25 0 8 0 155891620 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073912868 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29747/statm: 228895 9956 2533 14 0 215365 0
[pid=29747/tid=29749] ppid=29745 vsize=915580 CPUtime=0.03
/proc/29747/task/29749/stat : 29749 (java) S 29745 29747 29178 0 -1 64 280 0 0 0 3 0 0 0 16 0 8 0 155891624 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29750] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29750/stat : 29750 (java) S 29745 29747 29178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155891624 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29751] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29751/stat : 29751 (java) S 29745 29747 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155891624 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29752] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29752/stat : 29752 (java) S 29745 29747 29178 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155891628 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29753] ppid=29745 vsize=915580 CPUtime=0.3
/proc/29747/task/29753/stat : 29753 (java) S 29745 29747 29178 0 -1 64 439 0 0 0 28 2 0 0 16 0 8 0 155891628 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29747/tid=29754] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29754/stat : 29754 (java) S 29745 29747 29178 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155891628 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29755] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29755/stat : 29755 (java) S 29745 29747 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155891628 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1540.75
Current children cumulated vsize (KiB) 915580

[startup+1603.78 s]
/proc/loadavg: 2.06 2.01 1.94 3/100 29927
/proc/meminfo: memFree=1176256/2055920 swapFree=4192812/4192956
[pid=29747] ppid=29745 vsize=915580 CPUtime=1600.75
/proc/29747/stat : 29747 (java) R 29745 29747 29178 0 -1 0 10223 0 1 0 160045 30 0 0 25 0 8 0 155891620 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29747/statm: 228895 9956 2533 14 0 215365 0
[pid=29747/tid=29749] ppid=29745 vsize=915580 CPUtime=0.03
/proc/29747/task/29749/stat : 29749 (java) S 29745 29747 29178 0 -1 64 280 0 0 0 3 0 0 0 16 0 8 0 155891624 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29750] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29750/stat : 29750 (java) S 29745 29747 29178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155891624 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29751] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29751/stat : 29751 (java) S 29745 29747 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155891624 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29752] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29752/stat : 29752 (java) S 29745 29747 29178 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155891628 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29753] ppid=29745 vsize=915580 CPUtime=0.3
/proc/29747/task/29753/stat : 29753 (java) S 29745 29747 29178 0 -1 64 439 0 0 0 28 2 0 0 16 0 8 0 155891628 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29747/tid=29754] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29754/stat : 29754 (java) S 29745 29747 29178 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155891628 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29755] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29755/stat : 29755 (java) S 29745 29747 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155891628 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1600.75
Current children cumulated vsize (KiB) 915580

[startup+1663.8 s]
/proc/loadavg: 2.02 2.01 1.94 4/100 29927
/proc/meminfo: memFree=1176192/2055920 swapFree=4192812/4192956
[pid=29747] ppid=29745 vsize=915580 CPUtime=1660.76
/proc/29747/stat : 29747 (java) R 29745 29747 29178 0 -1 0 10223 0 1 0 166045 31 0 0 25 0 8 0 155891620 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073911817 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29747/statm: 228895 9956 2533 14 0 215365 0
[pid=29747/tid=29749] ppid=29745 vsize=915580 CPUtime=0.03
/proc/29747/task/29749/stat : 29749 (java) S 29745 29747 29178 0 -1 64 280 0 0 0 3 0 0 0 16 0 8 0 155891624 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29750] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29750/stat : 29750 (java) S 29745 29747 29178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155891624 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29751] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29751/stat : 29751 (java) S 29745 29747 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155891624 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29752] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29752/stat : 29752 (java) S 29745 29747 29178 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155891628 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29753] ppid=29745 vsize=915580 CPUtime=0.3
/proc/29747/task/29753/stat : 29753 (java) S 29745 29747 29178 0 -1 64 439 0 0 0 28 2 0 0 16 0 8 0 155891628 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29747/tid=29754] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29754/stat : 29754 (java) S 29745 29747 29178 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155891628 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29755] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29755/stat : 29755 (java) S 29745 29747 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155891628 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1660.76
Current children cumulated vsize (KiB) 915580

[startup+1723.81 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 29927
/proc/meminfo: memFree=1176192/2055920 swapFree=4192812/4192956
[pid=29747] ppid=29745 vsize=915580 CPUtime=1720.75
/proc/29747/stat : 29747 (java) R 29745 29747 29178 0 -1 0 10223 0 1 0 172044 31 0 0 25 0 8 0 155891620 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073933270 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29747/statm: 228895 9956 2533 14 0 215365 0
[pid=29747/tid=29749] ppid=29745 vsize=915580 CPUtime=0.03
/proc/29747/task/29749/stat : 29749 (java) S 29745 29747 29178 0 -1 64 280 0 0 0 3 0 0 0 16 0 8 0 155891624 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29750] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29750/stat : 29750 (java) S 29745 29747 29178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155891624 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29751] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29751/stat : 29751 (java) S 29745 29747 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155891624 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29752] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29752/stat : 29752 (java) S 29745 29747 29178 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155891628 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29753] ppid=29745 vsize=915580 CPUtime=0.3
/proc/29747/task/29753/stat : 29753 (java) S 29745 29747 29178 0 -1 64 439 0 0 0 28 2 0 0 16 0 8 0 155891628 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29747/tid=29754] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29754/stat : 29754 (java) S 29745 29747 29178 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155891628 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29755] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29755/stat : 29755 (java) S 29745 29747 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155891628 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1720.75
Current children cumulated vsize (KiB) 915580

[startup+1783.83 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 29927
/proc/meminfo: memFree=1176128/2055920 swapFree=4192812/4192956
[pid=29747] ppid=29745 vsize=915580 CPUtime=1780.74
/proc/29747/stat : 29747 (java) R 29745 29747 29178 0 -1 0 10223 0 1 0 178042 32 0 0 25 0 8 0 155891620 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073919193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29747/statm: 228895 9956 2533 14 0 215365 0
[pid=29747/tid=29749] ppid=29745 vsize=915580 CPUtime=0.03
/proc/29747/task/29749/stat : 29749 (java) S 29745 29747 29178 0 -1 64 280 0 0 0 3 0 0 0 16 0 8 0 155891624 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29750] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29750/stat : 29750 (java) S 29745 29747 29178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155891624 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29751] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29751/stat : 29751 (java) S 29745 29747 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155891624 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29752] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29752/stat : 29752 (java) S 29745 29747 29178 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155891628 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29753] ppid=29745 vsize=915580 CPUtime=0.3
/proc/29747/task/29753/stat : 29753 (java) S 29745 29747 29178 0 -1 64 439 0 0 0 28 2 0 0 16 0 8 0 155891628 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29747/tid=29754] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29754/stat : 29754 (java) S 29745 29747 29178 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155891628 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29755] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29755/stat : 29755 (java) S 29745 29747 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155891628 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1780.74
Current children cumulated vsize (KiB) 915580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.16 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 29927
/proc/meminfo: memFree=1128704/2055920 swapFree=4192812/4192956
[pid=29747] ppid=29745 vsize=915580 CPUtime=1800.07
/proc/29747/stat : 29747 (java) R 29745 29747 29178 0 -1 0 10223 0 1 0 179975 32 0 0 25 0 8 0 155891620 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073845940 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29747/statm: 228895 9956 2533 14 0 215365 0
[pid=29747/tid=29749] ppid=29745 vsize=915580 CPUtime=0.03
/proc/29747/task/29749/stat : 29749 (java) S 29745 29747 29178 0 -1 64 280 0 0 0 3 0 0 0 16 0 8 0 155891624 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29750] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29750/stat : 29750 (java) S 29745 29747 29178 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155891624 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29751] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29751/stat : 29751 (java) S 29745 29747 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155891624 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29752] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29752/stat : 29752 (java) S 29745 29747 29178 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155891628 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29753] ppid=29745 vsize=915580 CPUtime=0.3
/proc/29747/task/29753/stat : 29753 (java) S 29745 29747 29178 0 -1 64 439 0 0 0 28 2 0 0 16 0 8 0 155891628 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29747/tid=29754] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29754/stat : 29754 (java) S 29745 29747 29178 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155891628 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29747/tid=29755] ppid=29745 vsize=915580 CPUtime=0
/proc/29747/task/29755/stat : 29755 (java) S 29745 29747 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155891628 937553920 9956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 915580

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

Child status: 143
Real time (s): 1803.22
CPU time (s): 1800.14
CPU user time (s): 1799.81
CPU system time (s): 0.330949
CPU usage (%): 99.8289
Max. virtual memory (cumulated for all children) (KiB): 915580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.81
system time used= 0.330949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10241
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37855
involuntary context switches= 81633

runsolver used 1.87871 s user time and 5.37918 s system time

The end

Launcher Data (download as text)

Begin job on node25 on Sat Jan  6 09:16:30 UTC 2007


IDJOB= 209917
IDBENCH= 4580
FILE ID= node25/209917-1168074988

PBS_JOBID= 3475962

Free space on /tmp= 66542 MiB

BENCH NAME= HOME/pub/bench/CPAI06/schurrLemma/lemma-67-4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/209917-1168074988/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-209917-1168074988 -o ROOT/results/node25/solver-209917-1168074988 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/209917-1168074988/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  61c7a360ec82efef68ace54022e2521a

RANDOM SEED= 309583291

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/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.279
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	: 5914.62
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.279
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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1548576 kB
Buffers:         42184 kB
Cached:         223696 kB
SwapCached:          0 kB
Active:         200872 kB
Inactive:       234564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1548576 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1928 kB
Writeback:           0 kB
Mapped:         198560 kB
Slab:            56196 kB
Committed_AS:  3657600 kB
PageTables:       2588 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66545 MiB



End job on node25 on Sat Jan  6 09:46:35 UTC 2007