Trace number 237452

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.23 1810.65

General information on the benchmark

Namehaystacks/
haystacks_37.xml
MD5SUM1be48ee351afcb860740bdcb03c5c8f8
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 benchmark205.687
SatisfiableNO
(Un)Satisfiability was proved
Number of variables1369
Number of constraints24678
Maximum constraint arity2
Maximum domain size37
Number of constraints which are defined in extension0
Number of constraints which are defined in intension24678
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/237452-1168348260/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.54	     nbVariables=1369  nbDomainTypes=1  minDomainSize=37  maxDomainSize=37
0.54	       =>  wckTime=0.216  cpuTime=0.17  mem=9M812
0.54	   
0.54	   predicates being loaded...
0.54	   
0.54	   constraints being loaded...
3.41	     nbConstraints=24678  nbConvertedConstraints=24678  nbConvertConstraintsChecks=5476  nbExtensionStructures=4
3.41	     nbSharedExtensionStructures=24674  nbConflictsStructures=4  nbSharedConflictsStructures=24674
3.41	     nbSharedBinaryRepresentations=221  maxDegree=37  maxArity=2
3.41	       =>  wckTime=3.092  cpuTime=2.76  mem=56M895
3.61	   
3.61	   solver IterativeSystematicSolver being built... 
3.88	       =>  wckTime=3.555  cpuTime=2.97  mem=37M378
9.67	   
9.67	   preprocessing
9.67	     nbConstraintChecks=806045  nbPropagations=32052  nbRevisions=33495  nbUselessRevisions=3722  nbSingletonTests=1510
9.67	     nbEffectiveSingletonTests=0  nbESACBranches=2  nbRemovedValues=0  detectedInconsistency=no
9.67	       =>  wckTime=5.779  cpuTime=5.68  mem=37M378
9.91	   
9.91	   search
9.91	     run=0  nbConstraintChecks=99461  nbPropagations=35468  nbRevisions=36974  nbUselessRevisions=3836
9.91	     nbAssignments=123  nbFailedAssignments=10  nbBacktracks=10  nbVisitedNodes=144  nbRestartNogoods=0  mapSize=10
9.91	     nbInferences=0  nbTooLargeKeys=0
9.91	       =>  wckTime=6.03  cpuTime=5.92  mem=38M366
10.05	   
10.05	   search
10.05	     run=1  nbConstraintChecks=197962  nbPropagations=74396  nbRevisions=77446  nbUselessRevisions=7758
10.05	     nbAssignments=256  nbFailedAssignments=24  nbBacktracks=25  nbVisitedNodes=305  nbRestartNogoods=4  mapSize=25
10.05	     nbInferences=0  nbTooLargeKeys=0
10.05	       =>  wckTime=6.168  cpuTime=6.05  mem=39M353
10.19	   
10.19	   search
10.19	     run=2  nbConstraintChecks=296698  nbPropagations=116849  nbRevisions=121491  nbUselessRevisions=11772
10.19	     nbAssignments=402  nbFailedAssignments=44  nbBacktracks=47  nbVisitedNodes=491  nbRestartNogoods=7  mapSize=47
10.19	     nbInferences=0  nbTooLargeKeys=0
10.19	       =>  wckTime=6.312  cpuTime=6.19  mem=40M341
10.35	   
10.35	   search
10.35	     run=3  nbConstraintChecks=395766  nbPropagations=162909  nbRevisions=169191  nbUselessRevisions=15880
10.35	     nbAssignments=567  nbFailedAssignments=71  nbBacktracks=80  nbVisitedNodes=711  nbRestartNogoods=12  mapSize=80
10.35	     nbInferences=1  nbTooLargeKeys=0
10.35	       =>  wckTime=6.466  cpuTime=6.34  mem=41M329
10.52	   
10.52	   search
10.52	     run=4  nbConstraintChecks=495203  nbPropagations=212701  nbRevisions=220668  nbUselessRevisions=20082
10.52	     nbAssignments=759  nbFailedAssignments=108  nbBacktracks=130  nbVisitedNodes=980  nbRestartNogoods=16  mapSize=129
10.52	     nbInferences=4  nbTooLargeKeys=0
10.52	       =>  wckTime=6.633  cpuTime=6.5  mem=42M316
10.71	   
10.71	   search
10.71	     run=5  nbConstraintChecks=595384  nbPropagations=266463  nbRevisions=276134  nbUselessRevisions=24379
10.71	     nbAssignments=1002  nbFailedAssignments=157  nbBacktracks=206  nbVisitedNodes=1338  nbRestartNogoods=21
10.71	     mapSize=204  nbInferences=21  nbTooLargeKeys=0
10.71	       =>  wckTime=6.831  cpuTime=6.7  mem=43M304
10.95	   
10.95	   search
10.95	     run=6  nbConstraintChecks=696464  nbPropagations=324511  nbRevisions=335895  nbUselessRevisions=28773
10.95	     nbAssignments=1314  nbFailedAssignments=231  nbBacktracks=319  nbVisitedNodes=1820  nbRestartNogoods=23
10.95	     mapSize=316  nbInferences=43  nbTooLargeKeys=0
10.95	       =>  wckTime=7.068  cpuTime=6.93  mem=45M279
11.26	   
11.26	   search
11.26	     run=7  nbConstraintChecks=798869  nbPropagations=387349  nbRevisions=400416  nbUselessRevisions=33265
11.26	     nbAssignments=1736  nbFailedAssignments=338  nbBacktracks=489  nbVisitedNodes=2498  nbRestartNogoods=30
11.26	     mapSize=486  nbInferences=85  nbTooLargeKeys=0
11.26	       =>  wckTime=7.382  cpuTime=7.23  mem=47M254
11.67	   
11.68	   search
11.68	     run=8  nbConstraintChecks=903405  nbPropagations=455760  nbRevisions=470405  nbUselessRevisions=37861
11.68	     nbAssignments=2328  nbFailedAssignments=489  nbBacktracks=745  nbVisitedNodes=3475  nbRestartNogoods=38
11.68	     mapSize=742  nbInferences=168  nbTooLargeKeys=0
11.68	       =>  wckTime=7.793  cpuTime=7.63  mem=51M205
12.23	   
12.23	   search
12.23	     run=9  nbConstraintChecks=1011450  nbPropagations=531027  nbRevisions=546999  nbUselessRevisions=42562
12.24	     nbAssignments=3189  nbFailedAssignments=707  nbBacktracks=1129  nbVisitedNodes=4928  nbRestartNogoods=45
12.24	     mapSize=1126  nbInferences=324  nbTooLargeKeys=0
12.24	       =>  wckTime=8.352  cpuTime=8.18  mem=56M143
13.07	   
13.07	   search
13.07	     run=10  nbConstraintChecks=1124694  nbPropagations=615150  nbRevisions=631911  nbUselessRevisions=47368
13.07	     nbAssignments=4477  nbFailedAssignments=1017  nbBacktracks=1706  nbVisitedNodes=7137  nbRestartNogoods=50
13.07	     mapSize=1703  nbInferences=625  nbTooLargeKeys=0
13.07	       =>  wckTime=9.185  cpuTime=9.0  mem=65M31
14.35	   
14.35	   search
14.35	     run=11  nbConstraintChecks=1248049  nbPropagations=711666  nbRevisions=728240  nbUselessRevisions=52403
14.35	     nbAssignments=6480  nbFailedAssignments=1434  nbBacktracks=2570  nbVisitedNodes=10594  nbRestartNogoods=53
14.35	     mapSize=2567  nbInferences=1245  nbTooLargeKeys=0
14.35	       =>  wckTime=10.471  cpuTime=10.24  mem=49M241
16.37	   
16.37	   search
16.37	     run=12  nbConstraintChecks=1586524  nbPropagations=832400  nbRevisions=847148  nbUselessRevisions=57996
16.37	     nbAssignments=9720  nbFailedAssignments=2029  nbBacktracks=3867  nbVisitedNodes=15868  nbRestartNogoods=69
16.37	     mapSize=3859  nbInferences=2293  nbTooLargeKeys=0
16.37	       =>  wckTime=12.492  cpuTime=12.24  mem=70M126
18.27	   
18.27	   search
18.27	     run=13  nbConstraintChecks=1735663  nbPropagations=972416  nbRevisions=984824  nbUselessRevisions=63827
18.27	     nbAssignments=13317  nbFailedAssignments=3261  nbBacktracks=5813  nbVisitedNodes=22296  nbRestartNogoods=76
18.27	     mapSize=5779  nbInferences=2660  nbTooLargeKeys=0
18.27	       =>  wckTime=14.392  cpuTime=14.06  mem=66M54
20.87	   
20.87	   search
20.87	     run=14  nbConstraintChecks=2038608  nbPropagations=1143208  nbRevisions=1153421  nbUselessRevisions=70873
20.87	     nbAssignments=18718  nbFailedAssignments=5083  nbBacktracks=8733  nbVisitedNodes=31957  nbRestartNogoods=78
20.87	     mapSize=8616  nbInferences=3276  nbTooLargeKeys=0
20.87	       =>  wckTime=16.986  cpuTime=16.64  mem=82M78
26.03	   
26.03	   search
26.03	     run=15  nbConstraintChecks=2447976  nbPropagations=1376678  nbRevisions=1375533  nbUselessRevisions=78904
26.03	     nbAssignments=29901  nbFailedAssignments=6694  nbBacktracks=13111  nbVisitedNodes=51417  nbRestartNogoods=80
26.03	     mapSize=12939  nbInferences=8332  nbTooLargeKeys=0
26.03	       =>  wckTime=22.151  cpuTime=21.76  mem=109M118
38.64	   
38.64	   search
38.64	     run=16  nbConstraintChecks=3606347  nbPropagations=1740053  nbRevisions=1708277  nbUselessRevisions=88840
38.64	     nbAssignments=49722  nbFailedAssignments=8719  nbBacktracks=19680  nbVisitedNodes=84861  nbRestartNogoods=95
38.64	     mapSize=19471  nbInferences=18664  nbTooLargeKeys=0
38.64	       =>  wckTime=34.755  cpuTime=34.1  mem=168M56
59.00	   
59.00	   search
59.00	     run=17  nbConstraintChecks=4726197  nbPropagations=2292763  nbRevisions=2196996  nbUselessRevisions=101470
59.00	     nbAssignments=80998  nbFailedAssignments=11429  nbBacktracks=29532  nbVisitedNodes=139320  nbRestartNogoods=111
59.00	     mapSize=29287  nbInferences=36836  nbTooLargeKeys=0
59.00	       =>  wckTime=55.116  cpuTime=54.11  mem=250M875
92.23	   
92.23	   search
92.23	     run=18  nbConstraintChecks=6541885  nbPropagations=3146551  nbRevisions=2931806  nbUselessRevisions=119516
92.23	     nbAssignments=130170  nbFailedAssignments=14775  nbBacktracks=44310  nbVisitedNodes=224840  nbRestartNogoods=129
92.23	     mapSize=43976  nbInferences=67120  nbTooLargeKeys=0
92.23	       =>  wckTime=88.343  cpuTime=86.77  mem=377M876
132.55	   
132.55	   search
132.55	     run=19  nbConstraintChecks=8012996  nbPropagations=4349687  nbRevisions=3948438  nbUselessRevisions=138462
132.55	     nbAssignments=193984  nbFailedAssignments=21878  nbBacktracks=66479  nbVisitedNodes=336494  nbRestartNogoods=150
132.55	     mapSize=66135  nbInferences=101153  nbTooLargeKeys=0
132.55	       =>  wckTime=128.669  cpuTime=126.34  mem=528M675
144.05	   
144.05	   INFO : Stopping hyperNogood (mapSize=72822, nbTooLargekeys=0, mem=600M217)
156.53	   
156.53	   search
156.53	     run=20  nbConstraintChecks=9378318  nbPropagations=5868782  nbRevisions=5272786  nbUselessRevisions=164815
156.54	     nbAssignments=257714  nbFailedAssignments=42478  nbBacktracks=99731  nbVisitedNodes=450683  nbRestartNogoods=160
156.54	       =>  wckTime=152.653  cpuTime=150.03  mem=600M217
180.70	   
180.70	   search
180.70	     run=21  nbConstraintChecks=10875347  nbPropagations=7780182  nbRevisions=6992578  nbUselessRevisions=194283
180.70	     nbAssignments=342213  nbFailedAssignments=76803  nbBacktracks=149609  nbVisitedNodes=603704  nbRestartNogoods=183
180.70	       =>  wckTime=176.814  cpuTime=173.98  mem=600M217
216.82	   
216.82	   search
216.82	     run=22  nbConstraintChecks=13019465  nbPropagations=10279117  nbRevisions=9303077  nbUselessRevisions=227082
216.82	     nbAssignments=469291  nbFailedAssignments=128479  nbBacktracks=224428  nbVisitedNodes=833718  nbRestartNogoods=202
216.82	       =>  wckTime=212.936  cpuTime=209.8  mem=600M217
269.94	   
269.94	   search
269.94	     run=23  nbConstraintChecks=15865098  nbPropagations=13648650  nbRevisions=12486890  nbUselessRevisions=262877
269.94	     nbAssignments=659794  nbFailedAssignments=206181  nbBacktracks=336656  nbVisitedNodes=1179219  nbRestartNogoods=219
269.94	       =>  wckTime=266.06  cpuTime=262.47  mem=600M217
347.04	   
347.04	   search
347.04	     run=24  nbConstraintChecks=19753528  nbPropagations=18312506  nbRevisions=16967455  nbUselessRevisions=301319
347.04	     nbAssignments=945314  nbFailedAssignments=322737  nbBacktracks=504997  nbVisitedNodes=1697430  nbRestartNogoods=241
347.04	       =>  wckTime=343.154  cpuTime=338.92  mem=600M217
461.01	   
461.01	   search
461.01	     run=25  nbConstraintChecks=25693588  nbPropagations=24913932  nbRevisions=23391257  nbUselessRevisions=346199
461.01	     nbAssignments=1371999  nbFailedAssignments=495737  nbBacktracks=757508  nbVisitedNodes=2469141
461.01	     nbRestartNogoods=272
461.01	       =>  wckTime=457.124  cpuTime=451.94  mem=600M217
633.06	   
633.06	   search
633.06	     run=26  nbConstraintChecks=33642563  nbPropagations=34394483  nbRevisions=32697447  nbUselessRevisions=394958
633.06	     nbAssignments=2012110  nbFailedAssignments=756218  nbBacktracks=1136275  nbVisitedNodes=3629553
633.06	     nbRestartNogoods=299
633.06	       =>  wckTime=629.174  cpuTime=622.55  mem=600M217
890.09	   
890.09	   search
890.09	     run=27  nbConstraintChecks=44815463  nbPropagations=48174309  nbRevisions=46305913  nbUselessRevisions=446843
890.09	     nbAssignments=2972896  nbFailedAssignments=1148532  nbBacktracks=1704426  nbVisitedNodes=5374847
890.09	     nbRestartNogoods=323
890.09	       =>  wckTime=886.207  cpuTime=877.3  mem=600M217
1251.16	   
1251.16	   search
1251.16	     run=28  nbConstraintChecks=61612055  nbPropagations=68409074  nbRevisions=66380628  nbUselessRevisions=509905
1251.16	     nbAssignments=4415420  nbFailedAssignments=1738471  nbBacktracks=2556652  nbVisitedNodes=7997127
1251.16	     nbRestartNogoods=337
1251.16	       =>  wckTime=1247.275  cpuTime=1236.2  mem=601M239
1783.70	   
1783.70	   search
1783.70	     run=29  nbConstraintChecks=87020521  nbPropagations=98345217  nbRevisions=96161513  nbUselessRevisions=578488
1783.70	     nbAssignments=6581502  nbFailedAssignments=2624988  nbBacktracks=3834992  nbVisitedNodes=11935253
1783.70	     nbRestartNogoods=371
1783.70	       =>  wckTime=1779.815  cpuTime=1768.21  mem=601M239

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/node43/watcher-237452-1168348260 -o ROOT/results/node43/solver-237452-1168348260 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237452-1168348260/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
/proc/loadavg: 2.58 2.18 2.04 4/74 2252
/proc/meminfo: memFree=1804808/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=18540 CPUtime=0
/proc/2251/stat : 2251 (runsolver) R 2249 2184 2184 0 -1 4194368 10 0 0 0 0 0 0 0 20 0 1 0 183225157 18984960 277 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 216846595744 0 0 4096 24578 0 0 0 17 1 0 0
/proc/2251/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB


[startup+0.108291 s]
/proc/loadavg: 2.58 2.18 2.04 4/74 2252
/proc/meminfo: memFree=1804808/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=914988 CPUtime=0.08
/proc/2251/stat : 2251 (java) R 2249 2251 2184 0 -1 0 2996 0 1 0 7 1 0 0 17 0 8 0 183225157 936947712 2742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072932359 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2251/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.51636 s]
/proc/loadavg: 2.58 2.18 2.04 4/74 2252
/proc/meminfo: memFree=1804808/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=915328 CPUtime=0.49
/proc/2251/stat : 2251 (java) R 2249 2251 2184 0 -1 0 6580 0 1 0 45 4 0 0 18 0 8 0 183225157 937295872 6319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072916939 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2251/statm: 228832 6319 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.3445 s]
/proc/loadavg: 2.58 2.18 2.04 3/81 2259
/proc/meminfo: memFree=1742352/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=915628 CPUtime=1.3
/proc/2251/stat : 2251 (java) R 2249 2251 2184 0 -1 0 17950 0 1 0 121 9 0 0 25 0 8 0 183225157 937603072 17688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073733024 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2251/statm: 228907 17688 2160 14 0 215377 0
[pid=2251/tid=2253] ppid=2249 vsize=915628 CPUtime=0.05
/proc/2251/task/2253/stat : 2253 (java) S 2249 2251 2184 0 -1 64 1420 0 0 0 5 0 0 0 17 0 8 0 183225162 937603072 17688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2254] ppid=2249 vsize=915628 CPUtime=0
/proc/2251/task/2254/stat : 2254 (java) S 2249 2251 2184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183225162 937603072 17688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2255] ppid=2249 vsize=915628 CPUtime=0
/proc/2251/task/2255/stat : 2255 (java) S 2249 2251 2184 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183225162 937603072 17688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2256] ppid=2249 vsize=915628 CPUtime=0
/proc/2251/task/2256/stat : 2256 (java) S 2249 2251 2184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183225166 937603072 17688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2257] ppid=2249 vsize=915628 CPUtime=0.15
/proc/2251/task/2257/stat : 2257 (java) S 2249 2251 2184 0 -1 64 399 0 0 0 15 0 0 0 16 0 8 0 183225166 937603072 17688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2258] ppid=2249 vsize=915628 CPUtime=0
/proc/2251/task/2258/stat : 2258 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183225166 937603072 17688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2259] ppid=2249 vsize=915628 CPUtime=0
/proc/2251/task/2259/stat : 2259 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183225166 937603072 17688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915628

[startup+2.98178 s]
/proc/loadavg: 2.53 2.18 2.04 3/81 2259
/proc/meminfo: memFree=1732176/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=915632 CPUtime=2.93
/proc/2251/stat : 2251 (java) R 2249 2251 2184 0 -1 0 20513 0 1 0 202 91 0 0 25 0 8 0 183225157 937607168 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2251/statm: 228908 20249 2180 14 0 215378 0
[pid=2251/tid=2253] ppid=2249 vsize=915632 CPUtime=0.13
/proc/2251/task/2253/stat : 2253 (java) S 2249 2251 2184 0 -1 64 3893 0 0 0 12 1 0 0 16 0 8 0 183225162 937607168 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2254] ppid=2249 vsize=915632 CPUtime=0
/proc/2251/task/2254/stat : 2254 (java) S 2249 2251 2184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183225162 937607168 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2255] ppid=2249 vsize=915632 CPUtime=0
/proc/2251/task/2255/stat : 2255 (java) S 2249 2251 2184 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183225162 937607168 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2256] ppid=2249 vsize=915632 CPUtime=0
/proc/2251/task/2256/stat : 2256 (java) S 2249 2251 2184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183225166 937607168 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2257] ppid=2249 vsize=915632 CPUtime=0.21
/proc/2251/task/2257/stat : 2257 (java) S 2249 2251 2184 0 -1 64 425 0 0 0 20 1 0 0 17 0 8 0 183225166 937607168 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2258] ppid=2249 vsize=915632 CPUtime=0
/proc/2251/task/2258/stat : 2258 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183225166 937607168 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2259] ppid=2249 vsize=915632 CPUtime=0
/proc/2251/task/2259/stat : 2259 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183225166 937607168 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915632

[startup+6.28434 s]
/proc/loadavg: 2.53 2.18 2.04 4/81 2259
/proc/meminfo: memFree=1720144/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=915864 CPUtime=6.2
/proc/2251/stat : 2251 (java) R 2249 2251 2184 0 -1 0 23850 0 1 0 506 114 0 0 25 0 8 0 183225157 937844736 23566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074105264 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2251/statm: 228966 23566 2544 14 0 215436 0
[pid=2251/tid=2253] ppid=2249 vsize=915864 CPUtime=0.32
/proc/2251/task/2253/stat : 2253 (java) S 2249 2251 2184 0 -1 64 6714 0 0 0 30 2 0 0 16 0 8 0 183225162 937844736 23566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2254] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2254/stat : 2254 (java) S 2249 2251 2184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 23566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2255] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2255/stat : 2255 (java) S 2249 2251 2184 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 23566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2256] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2256/stat : 2256 (java) S 2249 2251 2184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183225166 937844736 23566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2257] ppid=2249 vsize=915864 CPUtime=0.31
/proc/2251/task/2257/stat : 2257 (java) S 2249 2251 2184 0 -1 64 489 0 0 0 29 2 0 0 16 0 8 0 183225166 937844736 23566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2258] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2258/stat : 2258 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183225166 937844736 23566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2259] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2259/stat : 2259 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183225166 937844736 23566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915864

[startup+12.7644 s]
/proc/loadavg: 2.45 2.17 2.04 3/81 2259
/proc/meminfo: memFree=1720208/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=915864 CPUtime=12.62
/proc/2251/stat : 2251 (java) R 2249 2251 2184 0 -1 0 23883 0 1 0 1147 115 0 0 25 0 8 0 183225157 937844736 23594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074147760 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2251/statm: 228966 23594 2545 14 0 215436 0
[pid=2251/tid=2253] ppid=2249 vsize=915864 CPUtime=0.32
/proc/2251/task/2253/stat : 2253 (java) S 2249 2251 2184 0 -1 64 6714 0 0 0 30 2 0 0 17 0 8 0 183225162 937844736 23594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2254] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2254/stat : 2254 (java) S 2249 2251 2184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 23594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2255] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2255/stat : 2255 (java) S 2249 2251 2184 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 23594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2256] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2256/stat : 2256 (java) S 2249 2251 2184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183225166 937844736 23594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2257] ppid=2249 vsize=915864 CPUtime=0.36
/proc/2251/task/2257/stat : 2257 (java) S 2249 2251 2184 0 -1 64 516 0 0 0 34 2 0 0 15 0 8 0 183225166 937844736 23594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2258] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2258/stat : 2258 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183225166 937844736 23594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2259] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2259/stat : 2259 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183225166 937844736 23594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915864

[startup+25.6265 s]
/proc/loadavg: 2.38 2.17 2.04 3/81 2259
/proc/meminfo: memFree=1677200/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=915864 CPUtime=25.37
/proc/2251/stat : 2251 (java) R 2249 2251 2184 0 -1 0 34644 0 1 0 2418 119 0 0 25 0 8 0 183225157 937844736 34352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074141996 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2251/statm: 228966 34352 2545 14 0 215436 0
[pid=2251/tid=2253] ppid=2249 vsize=915864 CPUtime=0.4
/proc/2251/task/2253/stat : 2253 (java) S 2249 2251 2184 0 -1 64 17469 0 0 0 35 5 0 0 16 0 8 0 183225162 937844736 34352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2254] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2254/stat : 2254 (java) S 2249 2251 2184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 34352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2255] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2255/stat : 2255 (java) S 2249 2251 2184 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 34352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2256] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2256/stat : 2256 (java) S 2249 2251 2184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183225166 937844736 34352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2257] ppid=2249 vsize=915864 CPUtime=0.37
/proc/2251/task/2257/stat : 2257 (java) S 2249 2251 2184 0 -1 64 519 0 0 0 35 2 0 0 16 0 8 0 183225166 937844736 34352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2258] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2258/stat : 2258 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183225166 937844736 34352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2259] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2259/stat : 2259 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183225166 937844736 34352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915864

[startup+51.2488 s]
/proc/loadavg: 2.25 2.15 2.04 3/81 2259
/proc/meminfo: memFree=1557200/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=915864 CPUtime=50.77
/proc/2251/stat : 2251 (java) R 2249 2251 2184 0 -1 0 64611 0 1 0 4947 130 0 0 25 0 8 0 183225157 937844736 64313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074134704 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2251/statm: 228966 64313 2545 14 0 215436 0
[pid=2251/tid=2253] ppid=2249 vsize=915864 CPUtime=0.67
/proc/2251/task/2253/stat : 2253 (java) S 2249 2251 2184 0 -1 64 47429 0 0 0 50 17 0 0 16 0 8 0 183225162 937844736 64313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2254] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2254/stat : 2254 (java) S 2249 2251 2184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 64313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2255] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2255/stat : 2255 (java) S 2249 2251 2184 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 64313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2256] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2256/stat : 2256 (java) S 2249 2251 2184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183225166 937844736 64313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2257] ppid=2249 vsize=915864 CPUtime=0.37
/proc/2251/task/2257/stat : 2257 (java) S 2249 2251 2184 0 -1 64 520 0 0 0 35 2 0 0 16 0 8 0 183225166 937844736 64313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2258] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2258/stat : 2258 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183225166 937844736 64313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2259] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2259/stat : 2259 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183225166 937844736 64313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915864

[startup+102.495 s]
/proc/loadavg: 2.14 2.14 2.04 3/81 2259
/proc/meminfo: memFree=1367696/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=915864 CPUtime=101.59
/proc/2251/stat : 2251 (java) R 2249 2251 2184 0 -1 0 116877 0 1 0 10007 152 0 0 25 0 8 0 183225157 937844736 116566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2251/statm: 228966 116566 2545 14 0 215436 0
[pid=2251/tid=2253] ppid=2249 vsize=915864 CPUtime=1.15
/proc/2251/task/2253/stat : 2253 (java) S 2249 2251 2184 0 -1 64 99681 0 0 0 77 38 0 0 16 0 8 0 183225162 937844736 116566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2254] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2254/stat : 2254 (java) S 2249 2251 2184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 116566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2255] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2255/stat : 2255 (java) S 2249 2251 2184 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 116566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2256] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2256/stat : 2256 (java) S 2249 2251 2184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183225166 937844736 116566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2257] ppid=2249 vsize=915864 CPUtime=0.37
/proc/2251/task/2257/stat : 2257 (java) S 2249 2251 2184 0 -1 64 521 0 0 0 35 2 0 0 16 0 8 0 183225166 937844736 116566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2258] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2258/stat : 2258 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183225166 937844736 116566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2259] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2259/stat : 2259 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183225166 937844736 116566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.59
Current children cumulated vsize (KiB) 915864

[startup+162.574 s]
/proc/loadavg: 2.14 2.14 2.04 3/81 2259
/proc/meminfo: memFree=1198736/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=915864 CPUtime=161.12
/proc/2251/stat : 2251 (java) R 2249 2251 2184 0 -1 0 154076 0 1 0 15946 166 0 0 25 0 8 0 183225157 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074134698 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1413.51
Current children cumulated vsize (KiB) 915864

[startup+1483.54 s]
/proc/loadavg: 2.01 2.01 2.00 3/81 2941
/proc/meminfo: memFree=1088152/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=915864 CPUtime=1473.45
/proc/2251/stat : 2251 (java) R 2249 2251 2184 0 -1 0 154076 0 1 0 147168 177 0 0 25 0 8 0 183225157 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074132633 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2251/statm: 228966 153756 2545 14 0 215436 0
[pid=2251/tid=2253] ppid=2249 vsize=915864 CPUtime=1.49
/proc/2251/task/2253/stat : 2253 (java) S 2249 2251 2184 0 -1 64 136871 0 0 0 97 52 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2254] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2254/stat : 2254 (java) S 2249 2251 2184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2255] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2255/stat : 2255 (java) S 2249 2251 2184 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2256] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2256/stat : 2256 (java) S 2249 2251 2184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2257] ppid=2249 vsize=915864 CPUtime=0.37
/proc/2251/task/2257/stat : 2257 (java) S 2249 2251 2184 0 -1 64 521 0 0 0 35 2 0 0 16 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2258] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2258/stat : 2258 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2259] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2259/stat : 2259 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1473.45
Current children cumulated vsize (KiB) 915864

[startup+1543.55 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 2941
/proc/meminfo: memFree=1088152/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=915864 CPUtime=1533.41
/proc/2251/stat : 2251 (java) R 2249 2251 2184 0 -1 0 154076 0 1 0 153164 177 0 0 25 0 8 0 183225157 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074071008 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2251/statm: 228966 153756 2545 14 0 215436 0
[pid=2251/tid=2253] ppid=2249 vsize=915864 CPUtime=1.49
/proc/2251/task/2253/stat : 2253 (java) S 2249 2251 2184 0 -1 64 136871 0 0 0 97 52 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2254] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2254/stat : 2254 (java) S 2249 2251 2184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2255] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2255/stat : 2255 (java) S 2249 2251 2184 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2256] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2256/stat : 2256 (java) S 2249 2251 2184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2257] ppid=2249 vsize=915864 CPUtime=0.37
/proc/2251/task/2257/stat : 2257 (java) S 2249 2251 2184 0 -1 64 521 0 0 0 35 2 0 0 16 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2258] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2258/stat : 2258 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2259] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2259/stat : 2259 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1533.41
Current children cumulated vsize (KiB) 915864

[startup+1603.57 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 2941
/proc/meminfo: memFree=1088152/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=915864 CPUtime=1593.38
/proc/2251/stat : 2251 (java) R 2249 2251 2184 0 -1 0 154076 0 1 0 159161 177 0 0 25 0 8 0 183225157 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074098138 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2251/statm: 228966 153756 2545 14 0 215436 0
[pid=2251/tid=2253] ppid=2249 vsize=915864 CPUtime=1.49
/proc/2251/task/2253/stat : 2253 (java) S 2249 2251 2184 0 -1 64 136871 0 0 0 97 52 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2254] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2254/stat : 2254 (java) S 2249 2251 2184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2255] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2255/stat : 2255 (java) S 2249 2251 2184 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2256] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2256/stat : 2256 (java) S 2249 2251 2184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2257] ppid=2249 vsize=915864 CPUtime=0.37
/proc/2251/task/2257/stat : 2257 (java) S 2249 2251 2184 0 -1 64 521 0 0 0 35 2 0 0 16 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2258] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2258/stat : 2258 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2259] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2259/stat : 2259 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1593.38
Current children cumulated vsize (KiB) 915864

[startup+1663.6 s]
/proc/loadavg: 2.05 2.01 2.00 3/81 2941
/proc/meminfo: memFree=1088088/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=915864 CPUtime=1653.32
/proc/2251/stat : 2251 (java) R 2249 2251 2184 0 -1 0 154076 0 1 0 165155 177 0 0 25 0 8 0 183225157 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074134662 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2251/statm: 228966 153756 2545 14 0 215436 0
[pid=2251/tid=2253] ppid=2249 vsize=915864 CPUtime=1.49
/proc/2251/task/2253/stat : 2253 (java) S 2249 2251 2184 0 -1 64 136871 0 0 0 97 52 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2254] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2254/stat : 2254 (java) S 2249 2251 2184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2255] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2255/stat : 2255 (java) S 2249 2251 2184 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2256] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2256/stat : 2256 (java) S 2249 2251 2184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2257] ppid=2249 vsize=915864 CPUtime=0.37
/proc/2251/task/2257/stat : 2257 (java) S 2249 2251 2184 0 -1 64 521 0 0 0 35 2 0 0 16 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2258] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2258/stat : 2258 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2259] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2259/stat : 2259 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1653.32
Current children cumulated vsize (KiB) 915864

[startup+1723.62 s]
/proc/loadavg: 2.18 2.06 2.01 3/81 2941
/proc/meminfo: memFree=1088088/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=915864 CPUtime=1713.29
/proc/2251/stat : 2251 (java) R 2249 2251 2184 0 -1 0 154076 0 1 0 171152 177 0 0 25 0 8 0 183225157 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074133072 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2251/statm: 228966 153756 2545 14 0 215436 0
[pid=2251/tid=2253] ppid=2249 vsize=915864 CPUtime=1.49
/proc/2251/task/2253/stat : 2253 (java) S 2249 2251 2184 0 -1 64 136871 0 0 0 97 52 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2254] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2254/stat : 2254 (java) S 2249 2251 2184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2255] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2255/stat : 2255 (java) S 2249 2251 2184 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2256] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2256/stat : 2256 (java) S 2249 2251 2184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2257] ppid=2249 vsize=915864 CPUtime=0.37
/proc/2251/task/2257/stat : 2257 (java) S 2249 2251 2184 0 -1 64 521 0 0 0 35 2 0 0 16 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2258] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2258/stat : 2258 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2259] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2259/stat : 2259 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1713.29
Current children cumulated vsize (KiB) 915864

[startup+1783.64 s]
/proc/loadavg: 2.10 2.06 2.01 3/81 2941
/proc/meminfo: memFree=1088024/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=915864 CPUtime=1773.26
/proc/2251/stat : 2251 (java) R 2249 2251 2184 0 -1 0 154076 0 1 0 177149 177 0 0 25 0 8 0 183225157 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074071012 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2251/statm: 228966 153756 2545 14 0 215436 0
[pid=2251/tid=2253] ppid=2249 vsize=915864 CPUtime=1.49
/proc/2251/task/2253/stat : 2253 (java) S 2249 2251 2184 0 -1 64 136871 0 0 0 97 52 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2254] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2254/stat : 2254 (java) S 2249 2251 2184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2255] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2255/stat : 2255 (java) S 2249 2251 2184 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2256] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2256/stat : 2256 (java) S 2249 2251 2184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2257] ppid=2249 vsize=915864 CPUtime=0.37
/proc/2251/task/2257/stat : 2257 (java) S 2249 2251 2184 0 -1 64 521 0 0 0 35 2 0 0 16 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2258] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2258/stat : 2258 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2259] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2259/stat : 2259 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1773.26
Current children cumulated vsize (KiB) 915864



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810.5 s]
/proc/loadavg: 2.06 2.05 2.01 3/81 2941
/proc/meminfo: memFree=1088024/2055920 swapFree=4192812/4192956
[pid=2251] ppid=2249 vsize=915864 CPUtime=1800.09
/proc/2251/stat : 2251 (java) R 2249 2251 2184 0 -1 0 154076 0 1 0 179832 177 0 0 25 0 8 0 183225157 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074134698 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2251/statm: 228966 153756 2545 14 0 215436 0
[pid=2251/tid=2253] ppid=2249 vsize=915864 CPUtime=1.49
/proc/2251/task/2253/stat : 2253 (java) S 2249 2251 2184 0 -1 64 136871 0 0 0 97 52 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2254] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2254/stat : 2254 (java) S 2249 2251 2184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2255] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2255/stat : 2255 (java) S 2249 2251 2184 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183225162 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2256] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2256/stat : 2256 (java) S 2249 2251 2184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2257] ppid=2249 vsize=915864 CPUtime=0.37
/proc/2251/task/2257/stat : 2257 (java) S 2249 2251 2184 0 -1 64 521 0 0 0 35 2 0 0 16 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2258] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2258/stat : 2258 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2251/tid=2259] ppid=2249 vsize=915864 CPUtime=0
/proc/2251/task/2259/stat : 2259 (java) S 2249 2251 2184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183225166 937844736 153756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915864

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

Child status: 143
Real time (s): 1810.65
CPU time (s): 1800.23
CPU user time (s): 1798.37
CPU system time (s): 1.86472
CPU usage (%): 99.4249
Max. virtual memory (cumulated for all children) (KiB): 915956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.37
system time used= 1.86472
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154095
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= 38373
involuntary context switches= 41885

runsolver used 2.39064 s user time and 5.63514 s system time

The end

Launcher Data (download as text)

Begin job on node43 on Tue Jan  9 13:11:00 UTC 2007


IDJOB= 237452
IDBENCH= 6942
FILE ID= node43/237452-1168348260

PBS_JOBID= 3503640

Free space on /tmp= 66485 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  1be48ee351afcb860740bdcb03c5c8f8

RANDOM SEED= 412293416

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.278
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.278
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:       1805224 kB
Buffers:         17944 kB
Cached:         148928 kB
SwapCached:          0 kB
Active:         126312 kB
Inactive:        75264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1805224 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4812 kB
Writeback:           0 kB
Mapped:          46000 kB
Slab:            34600 kB
Committed_AS:  4329080 kB
PageTables:       1764 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= 66437 MiB



End job on node43 on Tue Jan  9 13:41:11 UTC 2007