Trace number 237564

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 ESAC? (TO) 1800.19 1805.2

General information on the benchmark

Namehaystacks/
haystacks_41.xml
MD5SUMf05ef66561fe95ad6b285889a345512a
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark440.199
SatisfiableNO
(Un)Satisfiability was proved
Number of variables1681
Number of constraints33660
Maximum constraint arity2
Maximum domain size41
Number of constraints which are defined in extension0
Number of constraints which are defined in intension33660
Global constraints used (with number of constraints)

Solver Data (download as text)

0.34	   
0.34	Abscon 109 (November, 2006)
0.34	   
0.34	   configuration
0.34	     name=esac.xml
0.40	   
0.40	   instance
0.40	     name=/tmp/evaluation/237564-1168349230/unknown.xml
0.43	   
0.43	   domains being loaded...
0.43	   
0.43	   variables being loaded...
0.63	     nbVariables=1681  nbDomainTypes=1  minDomainSize=41  maxDomainSize=41
0.63	       =>  wckTime=0.286  cpuTime=0.18  mem=10M787
0.63	   
0.63	   predicates being loaded...
0.64	   
0.64	   constraints being loaded...
4.52	     nbConstraints=33660  nbConvertedConstraints=33660  nbConvertConstraintsChecks=6724  nbExtensionStructures=4
4.52	     nbSharedExtensionStructures=33656  nbConflictsStructures=4  nbSharedConflictsStructures=33656
4.52	     nbSharedBinaryRepresentations=245  maxDegree=41  maxArity=2
4.52	       =>  wckTime=4.168  cpuTime=3.7  mem=65M715
4.77	   
4.77	   solver IterativeSystematicSolver being built... 
5.07	       =>  wckTime=4.723  cpuTime=3.93  mem=47M997
16.00	   
16.00	   preprocessing
16.00	     nbConstraintChecks=1194043  nbPropagations=42736  nbRevisions=44645  nbUselessRevisions=4682  nbSingletonTests=1838
16.00	     nbEffectiveSingletonTests=0  nbESACBranches=2  nbRemovedValues=0  detectedInconsistency=no
16.00	       =>  wckTime=10.914  cpuTime=10.76  mem=47M997
16.35	   
16.35	   search
16.35	     run=0  nbConstraintChecks=135519  nbPropagations=46922  nbRevisions=48894  nbUselessRevisions=4804
16.35	     nbAssignments=135  nbFailedAssignments=10  nbBacktracks=10  nbVisitedNodes=156  nbRestartNogoods=0  mapSize=10
16.35	     nbInferences=0  nbTooLargeKeys=0
16.35	       =>  wckTime=11.275  cpuTime=11.11  mem=48M994
16.54	   
16.54	   search
16.54	     run=1  nbConstraintChecks=269799  nbPropagations=98074  nbRevisions=102053  nbUselessRevisions=9699
16.54	     nbAssignments=280  nbFailedAssignments=24  nbBacktracks=25  nbVisitedNodes=329  nbRestartNogoods=4  mapSize=25
16.54	     nbInferences=0  nbTooLargeKeys=0
16.54	       =>  wckTime=11.465  cpuTime=11.3  mem=50M988
16.74	   
16.74	   search
16.74	     run=2  nbConstraintChecks=404320  nbPropagations=153521  nbRevisions=159550  nbUselessRevisions=14689
16.74	     nbAssignments=438  nbFailedAssignments=44  nbBacktracks=47  nbVisitedNodes=527  nbRestartNogoods=7  mapSize=47
16.74	     nbInferences=0  nbTooLargeKeys=0
16.74	       =>  wckTime=11.66  cpuTime=11.49  mem=51M985
16.95	   
16.95	   search
16.95	     run=3  nbConstraintChecks=539190  nbPropagations=213345  nbRevisions=221468  nbUselessRevisions=19777
16.95	     nbAssignments=615  nbFailedAssignments=71  nbBacktracks=80  nbVisitedNodes=759  nbRestartNogoods=12  mapSize=80
16.95	     nbInferences=1  nbTooLargeKeys=0
16.95	       =>  wckTime=11.871  cpuTime=11.7  mem=52M981
17.19	   
17.19	   search
17.19	     run=4  nbConstraintChecks=674437  nbPropagations=277671  nbRevisions=287929  nbUselessRevisions=24963
17.19	     nbAssignments=819  nbFailedAssignments=108  nbBacktracks=130  nbVisitedNodes=1040  nbRestartNogoods=16  mapSize=129
17.19	     nbInferences=4  nbTooLargeKeys=0
17.19	       =>  wckTime=12.112  cpuTime=11.93  mem=54M975
17.46	   
17.46	   search
17.46	     run=5  nbConstraintChecks=810444  nbPropagations=346737  nbRevisions=359145  nbUselessRevisions=30248
17.46	     nbAssignments=1074  nbFailedAssignments=157  nbBacktracks=206  nbVisitedNodes=1410  nbRestartNogoods=21
17.46	     mapSize=204  nbInferences=21  nbTooLargeKeys=0
17.46	       =>  wckTime=12.385  cpuTime=12.2  mem=56M969
17.79	   
17.79	   search
17.79	     run=6  nbConstraintChecks=947366  nbPropagations=420859  nbRevisions=435422  nbUselessRevisions=35634
17.79	     nbAssignments=1398  nbFailedAssignments=231  nbBacktracks=319  nbVisitedNodes=1904  nbRestartNogoods=23
17.79	     mapSize=316  nbInferences=43  nbTooLargeKeys=0
17.79	       =>  wckTime=12.71  cpuTime=12.52  mem=58M963
18.21	   
18.21	   search
18.21	     run=7  nbConstraintChecks=1085622  nbPropagations=500541  nbRevisions=517226  nbUselessRevisions=41123
18.21	     nbAssignments=1832  nbFailedAssignments=338  nbBacktracks=489  nbVisitedNodes=2594  nbRestartNogoods=30
18.21	     mapSize=486  nbInferences=85  nbTooLargeKeys=0
18.21	       =>  wckTime=13.13  cpuTime=12.92  mem=62M951
18.74	   
18.74	   search
18.74	     run=8  nbConstraintChecks=1226024  nbPropagations=586566  nbRevisions=605264  nbUselessRevisions=46720
18.74	     nbAssignments=2436  nbFailedAssignments=489  nbBacktracks=745  nbVisitedNodes=3583  nbRestartNogoods=38
18.74	     mapSize=742  nbInferences=168  nbTooLargeKeys=0
18.74	       =>  wckTime=13.665  cpuTime=13.45  mem=67M936
19.52	   
19.52	   search
19.52	     run=9  nbConstraintChecks=1369951  nbPropagations=680217  nbRevisions=700673  nbUselessRevisions=52426
19.52	     nbAssignments=3309  nbFailedAssignments=707  nbBacktracks=1129  nbVisitedNodes=5048  nbRestartNogoods=45
19.52	     mapSize=1126  nbInferences=324  nbTooLargeKeys=0
19.52	       =>  wckTime=14.441  cpuTime=14.18  mem=44M238
20.60	   
20.60	   search
20.61	     run=10  nbConstraintChecks=1519096  nbPropagations=783494  nbRevisions=805169  nbUselessRevisions=58244
20.61	     nbAssignments=4609  nbFailedAssignments=1017  nbBacktracks=1706  nbVisitedNodes=7269  nbRestartNogoods=50
20.61	     mapSize=1703  nbInferences=625  nbTooLargeKeys=0
20.61	       =>  wckTime=15.527  cpuTime=15.25  mem=56M285
22.27	   
22.27	   search
22.27	     run=11  nbConstraintChecks=1678375  nbPropagations=899934  nbRevisions=921852  nbUselessRevisions=64301
22.27	     nbAssignments=6624  nbFailedAssignments=1434  nbBacktracks=2570  nbVisitedNodes=10738  nbRestartNogoods=53
22.27	     mapSize=2567  nbInferences=1245  nbTooLargeKeys=0
22.27	       =>  wckTime=17.19  cpuTime=16.9  mem=75M359
25.24	   
25.24	   search
25.24	     run=12  nbConstraintChecks=2129223  nbPropagations=1044367  nbRevisions=1064367  nbUselessRevisions=70944
25.24	     nbAssignments=10114  nbFailedAssignments=1977  nbBacktracks=3867  nbVisitedNodes=16398  nbRestartNogoods=69
25.24	     mapSize=3864  nbInferences=2557  nbTooLargeKeys=0
25.24	       =>  wckTime=20.161  cpuTime=19.78  mem=87M872
29.47	   
29.47	   search
29.47	     run=13  nbConstraintChecks=2333926  nbPropagations=1217443  nbRevisions=1231433  nbUselessRevisions=77859
29.47	     nbAssignments=15132  nbFailedAssignments=2741  nbBacktracks=5813  nbVisitedNodes=25139  nbRestartNogoods=71
29.47	     mapSize=5810  nbInferences=4752  nbTooLargeKeys=0
29.47	       =>  wckTime=24.39  cpuTime=23.92  mem=114M704
35.31	   
35.31	   search
35.31	     run=14  nbConstraintChecks=2701048  nbPropagations=1432805  nbRevisions=1435548  nbUselessRevisions=85248
35.31	     nbAssignments=22341  nbFailedAssignments=3979  nbBacktracks=8732  nbVisitedNodes=37542  nbRestartNogoods=80
35.31	     mapSize=8724  nbInferences=7584  nbTooLargeKeys=0
35.31	       =>  wckTime=30.231  cpuTime=29.66  mem=160M826
41.72	   
41.72	   search
41.72	     run=15  nbConstraintChecks=3301002  nbPropagations=1721524  nbRevisions=1702515  nbUselessRevisions=93516
41.72	     nbAssignments=34280  nbFailedAssignments=5626  nbBacktracks=13110  nbVisitedNodes=58227  nbRestartNogoods=86
41.72	     mapSize=13057  nbInferences=13249  nbTooLargeKeys=0
41.72	       =>  wckTime=36.637  cpuTime=35.96  mem=148M885
53.95	   
53.95	   search
53.95	     run=16  nbConstraintChecks=3957665  nbPropagations=2104969  nbRevisions=2052952  nbUselessRevisions=103206
53.96	     nbAssignments=50641  nbFailedAssignments=8638  nbBacktracks=19679  nbVisitedNodes=86883  nbRestartNogoods=102
53.96	     mapSize=19586  nbInferences=19699  nbTooLargeKeys=0
53.96	       =>  wckTime=48.877  cpuTime=47.97  mem=236M43
79.78	   
79.78	   search
79.78	     run=17  nbConstraintChecks=5320409  nbPropagations=2681419  nbRevisions=2563310  nbUselessRevisions=115212
79.78	     nbAssignments=81674  nbFailedAssignments=11420  nbBacktracks=29532  nbVisitedNodes=140656  nbRestartNogoods=114
79.78	     mapSize=29400  nbInferences=37411  nbTooLargeKeys=0
79.78	       =>  wckTime=74.698  cpuTime=73.32  mem=332M245
117.33	   
117.33	   search
117.33	     run=18  nbConstraintChecks=6650609  nbPropagations=3535154  nbRevisions=3298213  nbUselessRevisions=130995
117.33	     nbAssignments=129165  nbFailedAssignments=15202  nbBacktracks=44311  nbVisitedNodes=224189  nbRestartNogoods=126
117.33	     mapSize=44140  nbInferences=66039  nbTooLargeKeys=0
117.33	       =>  wckTime=112.255  cpuTime=110.44  mem=496M577
133.66	   
133.66	   INFO : Stopping hyperNogood (mapSize=51139, nbTooLargekeys=0, mem=602M779)
142.28	   
142.28	   search
142.28	     run=19  nbConstraintChecks=7687131  nbPropagations=4625752  nbRevisions=4248064  nbUselessRevisions=148464
142.28	     nbAssignments=175700  nbFailedAssignments=27548  nbBacktracks=66479  nbVisitedNodes=307077  nbRestartNogoods=144
142.28	       =>  wckTime=137.2  cpuTime=135.2  mem=602M779
161.56	   
161.56	   search
161.56	     run=20  nbConstraintChecks=8636540  nbPropagations=5975459  nbRevisions=5458578  nbUselessRevisions=167444
161.57	     nbAssignments=231903  nbFailedAssignments=50346  nbBacktracks=99732  nbVisitedNodes=408876  nbRestartNogoods=166
161.57	       =>  wckTime=156.487  cpuTime=154.47  mem=602M779
190.77	   
190.77	   search
190.77	     run=21  nbConstraintChecks=9740212  nbPropagations=7707041  nbRevisions=7051317  nbUselessRevisions=186759
190.77	     nbAssignments=316518  nbFailedAssignments=84958  nbBacktracks=149610  nbVisitedNodes=562715  nbRestartNogoods=180
190.77	       =>  wckTime=185.696  cpuTime=183.65  mem=602M779
232.51	   
232.51	   search
232.51	     run=22  nbConstraintChecks=11624327  nbPropagations=10015990  nbRevisions=9222815  nbUselessRevisions=207416
232.51	     nbAssignments=443222  nbFailedAssignments=136652  nbBacktracks=224428  nbVisitedNodes=792806  nbRestartNogoods=191
232.51	       =>  wckTime=227.436  cpuTime=225.34  mem=602M779
295.90	   
295.90	   search
295.90	     run=23  nbConstraintChecks=14484581  nbPropagations=13192776  nbRevisions=12264385  nbUselessRevisions=230407
295.90	     nbAssignments=633482  nbFailedAssignments=214350  nbBacktracks=336655  nbVisitedNodes=1138316  nbRestartNogoods=210
295.90	       =>  wckTime=290.823  cpuTime=288.67  mem=602M779
390.55	   
390.55	   search
390.55	     run=24  nbConstraintChecks=18337762  nbPropagations=17661756  nbRevisions=16599122  nbUselessRevisions=254840
390.55	     nbAssignments=918945  nbFailedAssignments=330828  nbBacktracks=504996  nbVisitedNodes=1656282  nbRestartNogoods=236
390.55	       =>  wckTime=385.474  cpuTime=383.22  mem=602M779
531.73	   
531.73	   search
531.73	     run=25  nbConstraintChecks=23644474  nbPropagations=24052234  nbRevisions=22857710  nbUselessRevisions=281621
531.73	     nbAssignments=1346552  nbFailedAssignments=505735  nbBacktracks=757507  nbVisitedNodes=2433702
531.73	     nbRestartNogoods=262
531.73	       =>  wckTime=526.648  cpuTime=524.24  mem=602M779
743.83	   
743.83	   search
743.83	     run=26  nbConstraintChecks=31281102  nbPropagations=33319121  nbRevisions=31994727  nbUselessRevisions=310523
743.83	     nbAssignments=1988271  nbFailedAssignments=768403  nbBacktracks=1136274  nbVisitedNodes=3600654
743.83	     nbRestartNogoods=286
743.83	       =>  wckTime=738.748  cpuTime=736.15  mem=602M779
1053.51	   
1053.51	   search
1053.51	     run=27  nbConstraintChecks=42824814  nbPropagations=46891983  nbRevisions=45442741  nbUselessRevisions=344325
1053.51	     nbAssignments=2948920  nbFailedAssignments=1160669  nbBacktracks=1704426  nbVisitedNodes=5345829
1053.51	     nbRestartNogoods=297
1053.51	       =>  wckTime=1048.428  cpuTime=1045.5  mem=602M779
1525.24	   
1525.25	   search
1525.25	     run=28  nbConstraintChecks=60262102  nbPropagations=66940830  nbRevisions=65370693  nbUselessRevisions=382940
1525.25	     nbAssignments=4392282  nbFailedAssignments=1750633  nbBacktracks=2556652  nbVisitedNodes=7968172
1525.25	     nbRestartNogoods=318
1525.25	       =>  wckTime=1520.167  cpuTime=1515.3  mem=602M779

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/node9/watcher-237564-1168349230 -o ROOT/results/node9/solver-237564-1168349230 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237564-1168349230/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: 2.04 2.01 2.05 4/87 19859
/proc/meminfo: memFree=1763072/2055920 swapFree=4191880/4192956
[pid=19858] ppid=19856 vsize=47416 CPUtime=0
/proc/19858/stat : 19858 (java) D 19856 19858 17630 0 -1 0 1211 0 1 0 0 0 0 0 17 0 1 0 183318142 48553984 960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/19858/statm: 11854 960 760 14 0 1707 0

[startup+0.10367 s]
/proc/loadavg: 2.04 2.01 2.05 4/87 19859
/proc/meminfo: memFree=1763072/2055920 swapFree=4191880/4192956
[pid=19858] ppid=19856 vsize=914988 CPUtime=0.08
/proc/19858/stat : 19858 (java) R 19856 19858 17630 0 -1 0 2984 0 1 0 7 1 0 0 19 0 8 0 183318142 936947712 2730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4160643169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19858/statm: 228747 2730 1425 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511715 s]
/proc/loadavg: 2.04 2.01 2.05 4/87 19859
/proc/meminfo: memFree=1763072/2055920 swapFree=4191880/4192956
[pid=19858] ppid=19856 vsize=915328 CPUtime=0.44
/proc/19858/stat : 19858 (java) R 19856 19858 17630 0 -1 0 6259 0 16 0 40 4 0 0 18 0 8 0 183318142 937295872 6013 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19858/statm: 228832 6013 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915328

[startup+1.33681 s]
/proc/loadavg: 2.04 2.01 2.05 4/94 19866
/proc/meminfo: memFree=1697160/2055920 swapFree=4191880/4192956
[pid=19858] ppid=19856 vsize=915644 CPUtime=1.26
/proc/19858/stat : 19858 (java) R 19856 19858 17630 0 -1 0 18087 0 16 0 113 13 0 0 24 0 8 0 183318142 937619456 17839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073456146 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19858/statm: 228911 17839 2160 14 0 215381 0
[pid=19858/tid=19860] ppid=19856 vsize=915644 CPUtime=0.05
/proc/19858/task/19860/stat : 19860 (java) S 19856 19858 17630 0 -1 64 1562 0 0 0 4 1 0 0 17 0 8 0 183318146 937619456 17839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19861] ppid=19856 vsize=915644 CPUtime=0
/proc/19858/task/19861/stat : 19861 (java) S 19856 19858 17630 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183318146 937619456 17839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19862] ppid=19856 vsize=915644 CPUtime=0
/proc/19858/task/19862/stat : 19862 (java) S 19856 19858 17630 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183318146 937619456 17839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19863] ppid=19856 vsize=915644 CPUtime=0
/proc/19858/task/19863/stat : 19863 (java) S 19856 19858 17630 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183318150 937619456 17839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19864] ppid=19856 vsize=915644 CPUtime=0.16
/proc/19858/task/19864/stat : 19864 (java) S 19856 19858 17630 0 -1 64 405 0 0 0 15 1 0 0 16 0 8 0 183318150 937619456 17839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19865] ppid=19856 vsize=915644 CPUtime=0
/proc/19858/task/19865/stat : 19865 (java) S 19856 19858 17630 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183318150 937619456 17839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19866] ppid=19856 vsize=915644 CPUtime=0
/proc/19858/task/19866/stat : 19866 (java) S 19856 19858 17630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183318150 937619456 17839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915644

[startup+2.985 s]
/proc/loadavg: 2.04 2.01 2.05 3/94 19866
/proc/meminfo: memFree=1685960/2055920 swapFree=4191880/4192956
[pid=19858] ppid=19856 vsize=915648 CPUtime=2.89
/proc/19858/stat : 19858 (java) R 19856 19858 17630 0 -1 0 21888 0 16 0 222 67 0 0 25 0 8 0 183318142 937623552 21638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19858/statm: 228912 21638 2180 14 0 215382 0
[pid=19858/tid=19860] ppid=19856 vsize=915648 CPUtime=0.23
/proc/19858/task/19860/stat : 19860 (java) S 19856 19858 17630 0 -1 64 5276 0 0 0 21 2 0 0 17 0 8 0 183318146 937623552 21638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19861] ppid=19856 vsize=915648 CPUtime=0
/proc/19858/task/19861/stat : 19861 (java) S 19856 19858 17630 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183318146 937623552 21638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19862] ppid=19856 vsize=915648 CPUtime=0
/proc/19858/task/19862/stat : 19862 (java) S 19856 19858 17630 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183318146 937623552 21638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19863] ppid=19856 vsize=915648 CPUtime=0
/proc/19858/task/19863/stat : 19863 (java) S 19856 19858 17630 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183318150 937623552 21638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19864] ppid=19856 vsize=915648 CPUtime=0.2
/proc/19858/task/19864/stat : 19864 (java) S 19856 19858 17630 0 -1 64 430 0 0 0 19 1 0 0 16 0 8 0 183318150 937623552 21638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19865] ppid=19856 vsize=915648 CPUtime=0
/proc/19858/task/19865/stat : 19865 (java) S 19856 19858 17630 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183318150 937623552 21638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19866] ppid=19856 vsize=915648 CPUtime=0
/proc/19858/task/19866/stat : 19866 (java) S 19856 19858 17630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183318150 937623552 21638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915648

[startup+6.26437 s]
/proc/loadavg: 2.04 2.01 2.05 3/94 19866
/proc/meminfo: memFree=1666056/2055920 swapFree=4191880/4192956
[pid=19858] ppid=19856 vsize=915868 CPUtime=6.14
/proc/19858/stat : 19858 (java) R 19856 19858 17630 0 -1 0 26008 0 16 0 462 152 0 0 25 0 8 0 183318142 937848832 25697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074179641 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19858/statm: 228967 25697 2544 14 0 215437 0
[pid=19858/tid=19860] ppid=19856 vsize=915868 CPUtime=0.47
/proc/19858/task/19860/stat : 19860 (java) S 19856 19858 17630 0 -1 64 8863 0 0 0 44 3 0 0 17 0 8 0 183318146 937848832 25697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19861] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19861/stat : 19861 (java) S 19856 19858 17630 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183318146 937848832 25697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19862] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19862/stat : 19862 (java) S 19856 19858 17630 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183318146 937848832 25697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19863] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19863/stat : 19863 (java) S 19856 19858 17630 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183318150 937848832 25697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19864] ppid=19856 vsize=915868 CPUtime=0.33
/proc/19858/task/19864/stat : 19864 (java) S 19856 19858 17630 0 -1 64 507 0 0 0 31 2 0 0 16 0 8 0 183318150 937848832 25697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19865] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19865/stat : 19865 (java) S 19856 19858 17630 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183318150 937848832 25697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19866] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19866/stat : 19866 (java) S 19856 19858 17630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183318150 937848832 25697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915868

[startup+12.7641 s]
/proc/loadavg: 2.03 2.01 2.05 3/94 19866
/proc/meminfo: memFree=1666184/2055920 swapFree=4191880/4192956
[pid=19858] ppid=19856 vsize=915868 CPUtime=12.58
/proc/19858/stat : 19858 (java) R 19856 19858 17630 0 -1 0 26010 0 16 0 1106 152 0 0 25 0 8 0 183318142 937848832 25698 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074179641 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19858/statm: 228967 25698 2544 14 0 215437 0
[pid=19858/tid=19860] ppid=19856 vsize=915868 CPUtime=0.47
/proc/19858/task/19860/stat : 19860 (java) S 19856 19858 17630 0 -1 64 8863 0 0 0 44 3 0 0 16 0 8 0 183318146 937848832 25698 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19861] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19861/stat : 19861 (java) S 19856 19858 17630 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183318146 937848832 25698 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19862] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19862/stat : 19862 (java) S 19856 19858 17630 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183318146 937848832 25698 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19863] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19863/stat : 19863 (java) S 19856 19858 17630 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183318150 937848832 25698 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19864] ppid=19856 vsize=915868 CPUtime=0.33
/proc/19858/task/19864/stat : 19864 (java) S 19856 19858 17630 0 -1 64 509 0 0 0 31 2 0 0 16 0 8 0 183318150 937848832 25698 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19865] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19865/stat : 19865 (java) S 19856 19858 17630 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183318150 937848832 25698 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19866] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19866/stat : 19866 (java) S 19856 19858 17630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183318150 937848832 25698 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915868

[startup+25.6266 s]
/proc/loadavg: 2.03 2.01 2.05 3/94 19866
/proc/meminfo: memFree=1627016/2055920 swapFree=4191880/4192956
[pid=19858] ppid=19856 vsize=915868 CPUtime=25.32
/proc/19858/stat : 19858 (java) R 19856 19858 17630 0 -1 0 35853 0 16 0 2376 156 0 0 25 0 8 0 183318142 937848832 35533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074125969 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19858/statm: 228967 35533 2545 14 0 215437 0
[pid=19858/tid=19860] ppid=19856 vsize=915868 CPUtime=0.55
/proc/19858/task/19860/stat : 19860 (java) S 19856 19858 17630 0 -1 64 18669 0 0 0 48 7 0 0 16 0 8 0 183318146 937848832 35533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19861] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19861/stat : 19861 (java) S 19856 19858 17630 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 183318146 937848832 35533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19862] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19862/stat : 19862 (java) S 19856 19858 17630 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183318146 937848832 35533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19863] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19863/stat : 19863 (java) S 19856 19858 17630 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183318150 937848832 35533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19864] ppid=19856 vsize=915868 CPUtime=0.39
/proc/19858/task/19864/stat : 19864 (java) S 19856 19858 17630 0 -1 64 537 0 0 0 37 2 0 0 16 0 8 0 183318150 937848832 35533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19865] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19865/stat : 19865 (java) S 19856 19858 17630 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183318150 937848832 35533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19866] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19866/stat : 19866 (java) S 19856 19858 17630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183318150 937848832 35533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 915868

[startup+51.2505 s]
/proc/loadavg: 2.02 2.01 2.05 3/94 19866
/proc/meminfo: memFree=1505096/2055920 swapFree=4191880/4192956
[pid=19858] ppid=19856 vsize=915868 CPUtime=50.71
/proc/19858/stat : 19858 (java) R 19856 19858 17630 0 -1 0 66317 0 16 0 4902 169 0 0 25 0 8 0 183318142 937848832 65991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074150797 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19858/statm: 228967 65991 2545 14 0 215437 0
[pid=19858/tid=19860] ppid=19856 vsize=915868 CPUtime=0.81
/proc/19858/task/19860/stat : 19860 (java) S 19856 19858 17630 0 -1 64 49127 0 0 0 62 19 0 0 16 0 8 0 183318146 937848832 65991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19861] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19861/stat : 19861 (java) S 19856 19858 17630 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 183318146 937848832 65991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19862] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19862/stat : 19862 (java) S 19856 19858 17630 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183318146 937848832 65991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19863] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19863/stat : 19863 (java) S 19856 19858 17630 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183318150 937848832 65991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19864] ppid=19856 vsize=915868 CPUtime=0.39
/proc/19858/task/19864/stat : 19864 (java) S 19856 19858 17630 0 -1 64 537 0 0 0 37 2 0 0 16 0 8 0 183318150 937848832 65991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19865] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19865/stat : 19865 (java) S 19856 19858 17630 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183318150 937848832 65991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19866] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19866/stat : 19866 (java) S 19856 19858 17630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183318150 937848832 65991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915868

[startup+102.51 s]
/proc/loadavg: 1.95 1.99 2.04 3/92 19924
/proc/meminfo: memFree=975336/2055920 swapFree=4191880/4192956
[pid=19858] ppid=19856 vsize=915868 CPUtime=101.7
/proc/19858/stat : 19858 (java) R 19856 19858 17630 0 -1 0 120391 0 16 0 9976 194 0 0 25 0 8 0 183318142 937848832 120052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332564 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19858/statm: 228967 120052 2545 14 0 215437 0
[pid=19858/tid=19860] ppid=19856 vsize=915868 CPUtime=1.29
/proc/19858/task/19860/stat : 19860 (java) S 19856 19858 17630 0 -1 64 103186 0 0 0 87 42 0 0 16 0 8 0 183318146 937848832 120052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19858/tid=19861] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19861/stat : 19861 (java) S 19856 19858 17630 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 183318146 937848832 120052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19862] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19862/stat : 19862 (java) S 19856 19858 17630 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183318146 937848832 120052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19863] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19863/stat : 19863 (java) S 19856 19858 17630 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183318150 937848832 120052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19864] ppid=19856 vsize=915868 CPUtime=0.4
/proc/19858/task/19864/stat : 19864 (java) S 19856 19858 17630 0 -1 64 539 0 0 0 38 2 0 0 16 0 8 0 183318150 937848832 120052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19865] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19865/stat : 19865 (java) S 19856 19858 17630 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183318150 937848832 120052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19866] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19866/stat : 19866 (java) S 19856 19858 17630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183318150 937848832 120052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 915868

[startup+162.588 s]
/proc/loadavg: 1.98 1.99 2.03 3/94 19932
/proc/meminfo: memFree=1135320/2055920 swapFree=4191880/4192956
[pid=19858] ppid=19856 vsize=915868 CPUtime=161.71
/proc/19858/stat : 19858 (java) R 19856 19858 17630 0 -1 0 156299 0 16 0 15964 207 0 0 25 0 8 0 183318142 937848832 155950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074172551 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1420.93
Current children cumulated vsize (KiB) 915868

[startup+1484.25 s]
/proc/loadavg: 2.00 2.01 2.00 3/96 19934
/proc/meminfo: memFree=1129096/2055920 swapFree=4191880/4192956
[pid=19858] ppid=19856 vsize=915868 CPUtime=1480.73
/proc/19858/stat : 19858 (java) R 19856 19858 17630 0 -1 0 156300 0 16 0 147862 211 0 0 25 0 8 0 183318142 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074211003 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19858/statm: 228967 155951 2545 14 0 215437 0
[pid=19858/tid=19860] ppid=19856 vsize=915868 CPUtime=1.6
/proc/19858/task/19860/stat : 19860 (java) S 19856 19858 17630 0 -1 64 139084 0 0 0 105 55 0 0 16 0 8 0 183318146 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19858/tid=19861] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19861/stat : 19861 (java) S 19856 19858 17630 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 183318146 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19862] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19862/stat : 19862 (java) S 19856 19858 17630 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183318146 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19863] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19863/stat : 19863 (java) S 19856 19858 17630 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183318150 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19864] ppid=19856 vsize=915868 CPUtime=0.4
/proc/19858/task/19864/stat : 19864 (java) S 19856 19858 17630 0 -1 64 540 0 0 0 38 2 0 0 16 0 8 0 183318150 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19858/tid=19865] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19865/stat : 19865 (java) S 19856 19858 17630 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183318150 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19866] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19866/stat : 19866 (java) S 19856 19858 17630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183318150 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1480.73
Current children cumulated vsize (KiB) 915868

[startup+1544.33 s]
/proc/loadavg: 2.00 2.01 2.00 3/96 19934
/proc/meminfo: memFree=1128968/2055920 swapFree=4191880/4192956
[pid=19858] ppid=19856 vsize=915868 CPUtime=1540.53
/proc/19858/stat : 19858 (java) R 19856 19858 17630 0 -1 0 156300 0 16 0 153842 211 0 0 25 0 8 0 183318142 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074167370 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19858/statm: 228967 155951 2545 14 0 215437 0
[pid=19858/tid=19860] ppid=19856 vsize=915868 CPUtime=1.6
/proc/19858/task/19860/stat : 19860 (java) S 19856 19858 17630 0 -1 64 139084 0 0 0 105 55 0 0 16 0 8 0 183318146 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19858/tid=19861] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19861/stat : 19861 (java) S 19856 19858 17630 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 183318146 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19862] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19862/stat : 19862 (java) S 19856 19858 17630 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183318146 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19863] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19863/stat : 19863 (java) S 19856 19858 17630 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183318150 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19864] ppid=19856 vsize=915868 CPUtime=0.4
/proc/19858/task/19864/stat : 19864 (java) S 19856 19858 17630 0 -1 64 540 0 0 0 38 2 0 0 16 0 8 0 183318150 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19858/tid=19865] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19865/stat : 19865 (java) S 19856 19858 17630 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183318150 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19866] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19866/stat : 19866 (java) S 19856 19858 17630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183318150 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1540.53
Current children cumulated vsize (KiB) 915868

[startup+1604.41 s]
/proc/loadavg: 2.04 2.02 2.00 3/96 19934
/proc/meminfo: memFree=1128904/2055920 swapFree=4191880/4192956
[pid=19858] ppid=19856 vsize=915868 CPUtime=1600.35
/proc/19858/stat : 19858 (java) R 19856 19858 17630 0 -1 0 156300 0 16 0 159824 211 0 0 25 0 8 0 183318142 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074211050 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19858/statm: 228967 155951 2545 14 0 215437 0
[pid=19858/tid=19860] ppid=19856 vsize=915868 CPUtime=1.6
/proc/19858/task/19860/stat : 19860 (java) S 19856 19858 17630 0 -1 64 139084 0 0 0 105 55 0 0 16 0 8 0 183318146 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19858/tid=19861] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19861/stat : 19861 (java) S 19856 19858 17630 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 183318146 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19862] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19862/stat : 19862 (java) S 19856 19858 17630 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183318146 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19863] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19863/stat : 19863 (java) S 19856 19858 17630 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183318150 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19864] ppid=19856 vsize=915868 CPUtime=0.4
/proc/19858/task/19864/stat : 19864 (java) S 19856 19858 17630 0 -1 64 540 0 0 0 38 2 0 0 16 0 8 0 183318150 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19858/tid=19865] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19865/stat : 19865 (java) S 19856 19858 17630 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183318150 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19866] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19866/stat : 19866 (java) S 19856 19858 17630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183318150 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1600.35
Current children cumulated vsize (KiB) 915868

[startup+1664.49 s]
/proc/loadavg: 2.01 2.01 2.00 3/96 19934
/proc/meminfo: memFree=1128840/2055920 swapFree=4191880/4192956
[pid=19858] ppid=19856 vsize=915868 CPUtime=1660.14
/proc/19858/stat : 19858 (java) R 19856 19858 17630 0 -1 0 156300 0 16 0 165803 211 0 0 25 0 8 0 183318142 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074178096 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19858/statm: 228967 155951 2545 14 0 215437 0
[pid=19858/tid=19860] ppid=19856 vsize=915868 CPUtime=1.6
/proc/19858/task/19860/stat : 19860 (java) S 19856 19858 17630 0 -1 64 139084 0 0 0 105 55 0 0 16 0 8 0 183318146 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19858/tid=19861] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19861/stat : 19861 (java) S 19856 19858 17630 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 183318146 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19862] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19862/stat : 19862 (java) S 19856 19858 17630 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183318146 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19863] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19863/stat : 19863 (java) S 19856 19858 17630 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183318150 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19864] ppid=19856 vsize=915868 CPUtime=0.4
/proc/19858/task/19864/stat : 19864 (java) S 19856 19858 17630 0 -1 64 540 0 0 0 38 2 0 0 16 0 8 0 183318150 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19858/tid=19865] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19865/stat : 19865 (java) S 19856 19858 17630 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183318150 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19866] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19866/stat : 19866 (java) S 19856 19858 17630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183318150 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1660.14
Current children cumulated vsize (KiB) 915868

[startup+1724.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/96 19934
/proc/meminfo: memFree=1037576/2055920 swapFree=4191880/4192956
[pid=19858] ppid=19856 vsize=915868 CPUtime=1719.86
/proc/19858/stat : 19858 (java) R 19856 19858 17630 0 -1 0 156300 0 16 0 171775 211 0 0 25 0 8 0 183318142 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074143322 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19858/statm: 228967 155951 2545 14 0 215437 0
[pid=19858/tid=19860] ppid=19856 vsize=915868 CPUtime=1.6
/proc/19858/task/19860/stat : 19860 (java) S 19856 19858 17630 0 -1 64 139084 0 0 0 105 55 0 0 16 0 8 0 183318146 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19858/tid=19861] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19861/stat : 19861 (java) S 19856 19858 17630 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 183318146 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19862] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19862/stat : 19862 (java) S 19856 19858 17630 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183318146 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19863] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19863/stat : 19863 (java) S 19856 19858 17630 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183318150 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19864] ppid=19856 vsize=915868 CPUtime=0.4
/proc/19858/task/19864/stat : 19864 (java) S 19856 19858 17630 0 -1 64 540 0 0 0 38 2 0 0 16 0 8 0 183318150 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19858/tid=19865] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19865/stat : 19865 (java) S 19856 19858 17630 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183318150 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19866] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19866/stat : 19866 (java) S 19856 19858 17630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183318150 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1719.86
Current children cumulated vsize (KiB) 915868

[startup+1784.59 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 19934
/proc/meminfo: memFree=957768/2055920 swapFree=4191880/4192956
[pid=19858] ppid=19856 vsize=915868 CPUtime=1779.68
/proc/19858/stat : 19858 (java) R 19856 19858 17630 0 -1 0 156300 0 16 0 177757 211 0 0 25 0 8 0 183318142 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074209430 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19858/statm: 228967 155951 2545 14 0 215437 0
[pid=19858/tid=19860] ppid=19856 vsize=915868 CPUtime=1.6
/proc/19858/task/19860/stat : 19860 (java) S 19856 19858 17630 0 -1 64 139084 0 0 0 105 55 0 0 16 0 8 0 183318146 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19858/tid=19861] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19861/stat : 19861 (java) S 19856 19858 17630 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 183318146 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19862] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19862/stat : 19862 (java) S 19856 19858 17630 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183318146 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19863] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19863/stat : 19863 (java) S 19856 19858 17630 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183318150 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19864] ppid=19856 vsize=915868 CPUtime=0.4
/proc/19858/task/19864/stat : 19864 (java) S 19856 19858 17630 0 -1 64 540 0 0 0 38 2 0 0 16 0 8 0 183318150 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19858/tid=19865] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19865/stat : 19865 (java) S 19856 19858 17630 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183318150 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19866] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19866/stat : 19866 (java) S 19856 19858 17630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183318150 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1779.68
Current children cumulated vsize (KiB) 915868



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1805.07 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 19934
/proc/meminfo: memFree=957704/2055920 swapFree=4191880/4192956
[pid=19858] ppid=19856 vsize=915868 CPUtime=1800.08
/proc/19858/stat : 19858 (java) R 19856 19858 17630 0 -1 0 156300 0 16 0 179796 212 0 0 25 0 8 0 183318142 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074209573 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19858/statm: 228967 155951 2545 14 0 215437 0
[pid=19858/tid=19860] ppid=19856 vsize=915868 CPUtime=1.6
/proc/19858/task/19860/stat : 19860 (java) S 19856 19858 17630 0 -1 64 139084 0 0 0 105 55 0 0 16 0 8 0 183318146 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19858/tid=19861] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19861/stat : 19861 (java) S 19856 19858 17630 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 183318146 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19862] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19862/stat : 19862 (java) S 19856 19858 17630 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183318146 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19863] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19863/stat : 19863 (java) S 19856 19858 17630 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183318150 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19864] ppid=19856 vsize=915868 CPUtime=0.4
/proc/19858/task/19864/stat : 19864 (java) S 19856 19858 17630 0 -1 64 540 0 0 0 38 2 0 0 16 0 8 0 183318150 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19858/tid=19865] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19865/stat : 19865 (java) S 19856 19858 17630 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183318150 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19858/tid=19866] ppid=19856 vsize=915868 CPUtime=0
/proc/19858/task/19866/stat : 19866 (java) S 19856 19858 17630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183318150 937848832 155951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915868

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

Child status: 143
Real time (s): 1805.2
CPU time (s): 1800.19
CPU user time (s): 1797.98
CPU system time (s): 2.21066
CPU usage (%): 99.7228
Max. virtual memory (cumulated for all children) (KiB): 916004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.98
system time used= 2.21066
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156317
page faults= 16
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38468
involuntary context switches= 27553

runsolver used 2.42463 s user time and 5.58115 s system time

The end

Launcher Data (download as text)

Begin job on node9 on Tue Jan  9 13:27:10 UTC 2007


IDJOB= 237564
IDBENCH= 6949
FILE ID= node9/237564-1168349230

PBS_JOBID= 3503604

Free space on /tmp= 66503 MiB

BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_41.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237564-1168349230/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-237564-1168349230 -o ROOT/results/node9/solver-237564-1168349230 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237564-1168349230/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  f05ef66561fe95ad6b285889a345512a

RANDOM SEED= 155542353

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.231
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.231
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:       1763488 kB
Buffers:         16428 kB
Cached:         141264 kB
SwapCached:        408 kB
Active:         186284 kB
Inactive:        61344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1763488 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            5808 kB
Writeback:           0 kB
Mapped:         102608 kB
Slab:            29368 kB
Committed_AS:  5490708 kB
PageTables:       2376 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= 66530 MiB



End job on node9 on Tue Jan  9 13:57:15 UTC 2007