Trace number 238061

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 AC? (TO) 1800.2 1816.97

General information on the benchmark

Namehaystacks/
haystacks_33.xml
MD5SUM48087fc2b6d2fbabcb2d3faf35362f5e
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 benchmark186.924
SatisfiableNO
(Un)Satisfiability was proved
Number of variables1089
Number of constraints17456
Maximum constraint arity2
Maximum domain size33
Number of constraints which are defined in extension0
Number of constraints which are defined in intension17456
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=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/238061-1168083381/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.53	     nbVariables=1089  nbDomainTypes=1  minDomainSize=33  maxDomainSize=33
0.53	       =>  wckTime=0.208  cpuTime=0.15  mem=9M814
0.53	   
0.53	   predicates being loaded...
0.53	   
0.53	   constraints being loaded...
2.78	     nbConstraints=17456  nbConvertedConstraints=17456  nbConvertConstraintsChecks=4356  nbExtensionStructures=4
2.78	     nbSharedExtensionStructures=17452  nbConflictsStructures=4  nbSharedConflictsStructures=17452
2.78	     nbSharedBinaryRepresentations=197  maxDegree=33  maxArity=2
2.78	       =>  wckTime=2.464  cpuTime=2.08  mem=21M533
2.90	   
2.90	   solver IterativeSystematicSolver being built... 
3.15	       =>  wckTime=2.829  cpuTime=2.28  mem=32M781
3.25	   
3.25	   preprocessing
3.25	     nbConstraintChecks=0  nbPropagations=1089  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
3.25	     detectedInconsistency=no
3.25	       =>  wckTime=0.094  cpuTime=0.09  mem=32M781
3.47	   
3.47	   search
3.47	     run=0  nbConstraintChecks=69429  nbPropagations=3815  nbRevisions=2753  nbUselessRevisions=70  nbAssignments=111
3.47	     nbFailedAssignments=10  nbBacktracks=10  nbVisitedNodes=132  nbRestartNogoods=0  mapSize=10  nbInferences=0
3.47	     nbTooLargeKeys=0
3.47	       =>  wckTime=0.315  cpuTime=0.27  mem=33M790
3.57	   
3.57	   search
3.57	     run=1  nbConstraintChecks=139172  nbPropagations=10400  nbRevisions=8314  nbUselessRevisions=218  nbAssignments=232
3.57	     nbFailedAssignments=24  nbBacktracks=25  nbVisitedNodes=281  nbRestartNogoods=4  mapSize=25  nbInferences=0
3.57	     nbTooLargeKeys=0
3.57	       =>  wckTime=0.422  cpuTime=0.38  mem=33M790
3.68	   
3.68	   search
3.68	     run=2  nbConstraintChecks=209138  nbPropagations=19820  nbRevisions=16754  nbUselessRevisions=446
3.68	     nbAssignments=366  nbFailedAssignments=44  nbBacktracks=47  nbVisitedNodes=455  nbRestartNogoods=7  mapSize=47
3.68	     nbInferences=0  nbTooLargeKeys=0
3.68	       =>  wckTime=0.531  cpuTime=0.49  mem=34M798
3.80	   
3.80	   search
3.80	     run=3  nbConstraintChecks=279423  nbPropagations=32157  nbRevisions=28158  nbUselessRevisions=759
3.80	     nbAssignments=519  nbFailedAssignments=71  nbBacktracks=80  nbVisitedNodes=663  nbRestartNogoods=12  mapSize=80
3.80	     nbInferences=1  nbTooLargeKeys=0
3.80	       =>  wckTime=0.649  cpuTime=0.6  mem=35M807
3.94	   
3.94	   search
3.94	     run=4  nbConstraintChecks=350086  nbPropagations=47545  nbRevisions=42653  nbUselessRevisions=1156
3.94	     nbAssignments=702  nbFailedAssignments=108  nbBacktracks=131  nbVisitedNodes=925  nbRestartNogoods=16  mapSize=131
3.94	     nbInferences=6  nbTooLargeKeys=0
3.94	       =>  wckTime=0.786  cpuTime=0.74  mem=35M807
4.10	   
4.10	   search
4.10	     run=5  nbConstraintChecks=421457  nbPropagations=66213  nbRevisions=60443  nbUselessRevisions=1636
4.10	     nbAssignments=933  nbFailedAssignments=157  nbBacktracks=207  nbVisitedNodes=1271  nbRestartNogoods=20  mapSize=206
4.10	     nbInferences=23  nbTooLargeKeys=0
4.10	       =>  wckTime=0.948  cpuTime=0.89  mem=36M815
4.30	   
4.30	   search
4.30	     run=6  nbConstraintChecks=493683  nbPropagations=88465  nbRevisions=81822  nbUselessRevisions=2201
4.30	     nbAssignments=1232  nbFailedAssignments=230  nbBacktracks=320  nbVisitedNodes=1738  nbRestartNogoods=22
4.30	     mapSize=317  nbInferences=45  nbTooLargeKeys=0
4.30	       =>  wckTime=1.145  cpuTime=1.09  mem=38M833
4.57	   
4.57	   search
4.57	     run=7  nbConstraintChecks=567194  nbPropagations=114791  nbRevisions=107245  nbUselessRevisions=2855
4.57	     nbAssignments=1639  nbFailedAssignments=335  nbBacktracks=490  nbVisitedNodes=2397  nbRestartNogoods=28
4.57	     mapSize=485  nbInferences=87  nbTooLargeKeys=0
4.57	       =>  wckTime=1.419  cpuTime=1.34  mem=40M850
4.91	   
4.91	   search
4.91	     run=8  nbConstraintChecks=642825  nbPropagations=145980  nbRevisions=137428  nbUselessRevisions=3602
4.91	     nbAssignments=2216  nbFailedAssignments=486  nbBacktracks=746  nbVisitedNodes=3357  nbRestartNogoods=34
4.91	     mapSize=740  nbInferences=168  nbTooLargeKeys=0
4.91	       =>  wckTime=1.756  cpuTime=1.67  mem=42M867
5.39	   
5.39	   search
5.39	     run=9  nbConstraintChecks=722006  nbPropagations=183335  nbRevisions=173524  nbUselessRevisions=4444
5.39	     nbAssignments=3065  nbFailedAssignments=704  nbBacktracks=1130  nbVisitedNodes=4798  nbRestartNogoods=40
5.39	     mapSize=1124  nbInferences=324  nbTooLargeKeys=0
5.39	       =>  wckTime=2.238  cpuTime=2.14  mem=46M902
6.09	   
6.09	   search
6.09	     run=10  nbConstraintChecks=806307  nbPropagations=228833  nbRevisions=217231  nbUselessRevisions=5382
6.09	     nbAssignments=4337  nbFailedAssignments=1014  nbBacktracks=1706  nbVisitedNodes=6987  nbRestartNogoods=45
6.09	     mapSize=1699  nbInferences=621  nbTooLargeKeys=0
6.09	       =>  wckTime=2.942  cpuTime=2.83  mem=53M962
6.92	   
6.92	   search
6.92	     run=11  nbConstraintChecks=902380  nbPropagations=284172  nbRevisions=270632  nbUselessRevisions=6530
6.92	     nbAssignments=5987  nbFailedAssignments=1562  nbBacktracks=2571  nbVisitedNodes=9899  nbRestartNogoods=51
6.92	     mapSize=2554  nbInferences=787  nbTooLargeKeys=0
6.92	       =>  wckTime=3.767  cpuTime=3.65  mem=60M13
8.11	   
8.11	   search
8.11	     run=12  nbConstraintChecks=1007112  nbPropagations=352824  nbRevisions=337059  nbUselessRevisions=7887
8.11	     nbAssignments=8407  nbFailedAssignments=2387  nbBacktracks=3869  nbVisitedNodes=14208  nbRestartNogoods=56
8.11	     mapSize=3837  nbInferences=1026  nbTooLargeKeys=0
8.11	       =>  wckTime=4.957  cpuTime=4.79  mem=42M466
9.98	   
9.98	   search
9.98	     run=13  nbConstraintChecks=1271039  nbPropagations=450057  nbRevisions=429600  nbUselessRevisions=10406
9.98	     nbAssignments=13052  nbFailedAssignments=3219  nbBacktracks=5815  nbVisitedNodes=22356  nbRestartNogoods=60
9.98	     mapSize=5699  nbInferences=2865  nbTooLargeKeys=0
9.98	       =>  wckTime=6.832  cpuTime=6.65  mem=45M492
13.58	   
13.58	   search
13.58	     run=14  nbConstraintChecks=1525342  nbPropagations=587131  nbRevisions=557542  nbUselessRevisions=13710
13.58	     nbAssignments=20109  nbFailedAssignments=4536  nbBacktracks=8735  nbVisitedNodes=34746  nbRestartNogoods=70
13.58	     mapSize=8582  nbInferences=5564  nbTooLargeKeys=0
13.58	       =>  wckTime=10.423  cpuTime=10.2  mem=76M758
21.13	   
21.13	   search
21.13	     run=15  nbConstraintChecks=2009346  nbPropagations=802392  nbRevisions=751113  nbUselessRevisions=18687
21.13	     nbAssignments=33070  nbFailedAssignments=5853  nbBacktracks=13114  nbVisitedNodes=57487  nbRestartNogoods=81
21.13	     mapSize=12895  nbInferences=12710  nbTooLargeKeys=0
21.13	       =>  wckTime=17.982  cpuTime=17.6  mem=101M69
32.43	   
32.43	   search
32.43	     run=16  nbConstraintChecks=2508490  nbPropagations=1127933  nbRevisions=1034243  nbUselessRevisions=24955
32.43	     nbAssignments=52640  nbFailedAssignments=7708  nbBacktracks=19682  nbVisitedNodes=91797  nbRestartNogoods=100
32.43	     mapSize=19430  nbInferences=23740  nbTooLargeKeys=0
32.43	       =>  wckTime=29.275  cpuTime=28.7  mem=158M497
51.90	   
51.90	   search
51.90	     run=17  nbConstraintChecks=3231212  nbPropagations=1644117  nbRevisions=1469413  nbUselessRevisions=33637
51.90	     nbAssignments=85669  nbFailedAssignments=9955  nbBacktracks=29534  nbVisitedNodes=150134  nbRestartNogoods=115
51.90	     mapSize=29282  nbInferences=44554  nbTooLargeKeys=0
51.90	       =>  wckTime=48.744  cpuTime=47.82  mem=205M526
78.63	   
78.63	   search
78.63	     run=18  nbConstraintChecks=4468763  nbPropagations=2435828  nbRevisions=2127688  nbUselessRevisions=46827
78.63	     nbAssignments=133074  nbFailedAssignments=13632  nbBacktracks=44312  nbVisitedNodes=233692  nbRestartNogoods=127
78.63	     mapSize=43932  nbInferences=73354  nbTooLargeKeys=0
78.63	       =>  wckTime=75.473  cpuTime=74.08  mem=293M677
125.68	   
125.68	   search
125.68	     run=19  nbConstraintChecks=6573062  nbPropagations=3725375  nbRevisions=3183904  nbUselessRevisions=68592
125.68	     nbAssignments=214308  nbFailedAssignments=17681  nbBacktracks=66480  nbVisitedNodes=377888  nbRestartNogoods=146
125.68	     mapSize=66022  nbInferences=128219  nbTooLargeKeys=0
125.68	       =>  wckTime=122.525  cpuTime=120.36  mem=454M808
164.62	   
164.62	   INFO : Stopping hyperNogood (mapSize=85105, nbTooLargekeys=0, mem=600M391)
171.02	   
171.02	   search
171.02	     run=20  nbConstraintChecks=8473180  nbPropagations=5525550  nbRevisions=4668774  nbUselessRevisions=96684
171.02	     nbAssignments=305730  nbFailedAssignments=31195  nbBacktracks=99732  nbVisitedNodes=540842  nbRestartNogoods=164
171.02	       =>  wckTime=167.871  cpuTime=165.0  mem=600M391
192.95	   
192.95	   search
192.95	     run=21  nbConstraintChecks=9747092  nbPropagations=7712272  nbRevisions=6545906  nbUselessRevisions=130349
192.95	     nbAssignments=390127  nbFailedAssignments=65531  nbBacktracks=149611  nbVisitedNodes=693909  nbRestartNogoods=193
192.95	       =>  wckTime=189.8  cpuTime=186.73  mem=600M391
225.70	   
225.70	   search
225.70	     run=22  nbConstraintChecks=11518084  nbPropagations=10474834  nbRevisions=9000968  nbUselessRevisions=166039
225.70	     nbAssignments=516809  nbFailedAssignments=117212  nbBacktracks=224429  nbVisitedNodes=923951  nbRestartNogoods=213
225.70	       =>  wckTime=222.547  cpuTime=219.18  mem=600M391
274.21	   
274.21	   search
274.21	     run=23  nbConstraintChecks=13901017  nbPropagations=14093828  nbRevisions=12314076  nbUselessRevisions=203327
274.21	     nbAssignments=706935  nbFailedAssignments=194931  nbBacktracks=336656  nbVisitedNodes=1269512  nbRestartNogoods=238
274.21	       =>  wckTime=271.054  cpuTime=267.26  mem=600M391
347.56	   
347.56	   search
347.56	     run=24  nbConstraintChecks=17456243  nbPropagations=18996776  nbRevisions=16913926  nbUselessRevisions=243364
347.56	     nbAssignments=992233  nbFailedAssignments=311716  nbBacktracks=504997  nbVisitedNodes=1788377  nbRestartNogoods=257
347.56	       =>  wckTime=344.409  cpuTime=339.94  mem=600M391
453.18	   
453.18	   search
453.18	     run=25  nbConstraintChecks=23183021  nbPropagations=25815090  nbRevisions=23449337  nbUselessRevisions=289062
453.18	     nbAssignments=1417983  nbFailedAssignments=484739  nbBacktracks=757508  nbVisitedNodes=2560118
453.18	     nbRestartNogoods=281
453.18	       =>  wckTime=450.026  cpuTime=444.6  mem=600M391
613.46	   
613.46	   search
613.46	     run=26  nbConstraintChecks=30851886  nbPropagations=35501656  nbRevisions=32859195  nbUselessRevisions=340910
613.46	     nbAssignments=2057408  nbFailedAssignments=745184  nbBacktracks=1136275  nbVisitedNodes=3720430
613.46	     nbRestartNogoods=314
613.46	       =>  wckTime=610.307  cpuTime=603.43  mem=600M391
853.92	   
853.92	   search
853.92	     run=27  nbConstraintChecks=41974222  nbPropagations=49485785  nbRevisions=46570880  nbUselessRevisions=397045
853.92	     nbAssignments=3018062  nbFailedAssignments=1137477  nbBacktracks=1704427  nbVisitedNodes=5465669
853.92	     nbRestartNogoods=341
853.92	       =>  wckTime=850.769  cpuTime=841.7  mem=600M391
1201.22	   
1201.22	   search
1201.22	     run=28  nbConstraintChecks=58856055  nbPropagations=69926123  nbRevisions=66765755  nbUselessRevisions=479760
1201.22	     nbAssignments=4460321  nbFailedAssignments=1727264  nbBacktracks=2556654  nbVisitedNodes=8087497
1201.22	     nbRestartNogoods=359
1201.22	       =>  wckTime=1198.067  cpuTime=1185.83  mem=600M391
1723.48	   
1723.48	   search
1723.48	     run=29  nbConstraintChecks=83624653  nbPropagations=100044023  nbRevisions=96646131  nbUselessRevisions=568589
1723.48	     nbAssignments=6625414  nbFailedAssignments=2613773  nbBacktracks=3834996  nbVisitedNodes=12025604
1723.49	     nbRestartNogoods=393
1723.49	       =>  wckTime=1720.332  cpuTime=1703.14  mem=600M391

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/node55/watcher-238061-1168083381 -o ROOT/results/node55/solver-238061-1168083381 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238061-1168083381/unknown.xml 

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

/proc/loadavg: 1.12 1.60 1.69 4/80 14311
/proc/meminfo: memFree=1095312/2055920 swapFree=4192812/4192956
[pid=14310] ppid=14308 vsize=18540 CPUtime=0
/proc/14310/stat : 14310 (runsolver) R 14308 14310 14187 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156736941 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 248761609511 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/14310/statm: 4635 279 244 17 0 2626 0

[startup+0.103987 s]
/proc/loadavg: 1.12 1.60 1.69 4/80 14311
/proc/meminfo: memFree=1095312/2055920 swapFree=4192812/4192956
[pid=14310] ppid=14308 vsize=914852 CPUtime=0.08
/proc/14310/stat : 14310 (java) R 14308 14310 14187 0 -1 0 2941 0 1 0 7 1 0 0 17 0 8 0 156736941 936808448 2687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819805 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14310/statm: 228713 2687 1412 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914852

[startup+0.516431 s]
/proc/loadavg: 1.12 1.60 1.69 4/80 14311
/proc/meminfo: memFree=1095312/2055920 swapFree=4192812/4192956
[pid=14310] ppid=14308 vsize=915328 CPUtime=0.49
/proc/14310/stat : 14310 (java) R 14308 14310 14187 0 -1 0 6506 0 1 0 45 4 0 0 18 0 8 0 156736941 937295872 6245 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073552415 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14310/statm: 228832 6245 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.34211 s]
/proc/loadavg: 1.12 1.60 1.69 3/87 14318
/proc/meminfo: memFree=1033368/2055920 swapFree=4192812/4192956
[pid=14310] ppid=14308 vsize=915632 CPUtime=1.31
/proc/14310/stat : 14310 (java) R 14308 14310 14187 0 -1 0 17919 0 1 0 118 13 0 0 24 0 8 0 156736941 937607168 17657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14310/statm: 228908 17657 2180 14 0 215378 0
[pid=14310/tid=14312] ppid=14308 vsize=915632 CPUtime=0.04
/proc/14310/task/14312/stat : 14312 (java) S 14308 14310 14187 0 -1 64 1313 0 0 0 4 0 0 0 17 0 8 0 156736945 937607168 17657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14313] ppid=14308 vsize=915632 CPUtime=0
/proc/14310/task/14313/stat : 14313 (java) S 14308 14310 14187 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156736946 937607168 17657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14314] ppid=14308 vsize=915632 CPUtime=0
/proc/14310/task/14314/stat : 14314 (java) S 14308 14310 14187 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156736946 937607168 17657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14315] ppid=14308 vsize=915632 CPUtime=0
/proc/14310/task/14315/stat : 14315 (java) S 14308 14310 14187 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156736949 937607168 17657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14316] ppid=14308 vsize=915632 CPUtime=0.18
/proc/14310/task/14316/stat : 14316 (java) S 14308 14310 14187 0 -1 64 416 0 0 0 17 1 0 0 16 0 8 0 156736949 937607168 17657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14317] ppid=14308 vsize=915632 CPUtime=0
/proc/14310/task/14317/stat : 14317 (java) S 14308 14310 14187 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156736949 937607168 17657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14318] ppid=14308 vsize=915632 CPUtime=0
/proc/14310/task/14318/stat : 14318 (java) S 14308 14310 14187 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156736949 937607168 17657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915632

[startup+2.98026 s]
/proc/loadavg: 1.12 1.60 1.69 3/87 14318
/proc/meminfo: memFree=1032984/2055920 swapFree=4192812/4192956
[pid=14310] ppid=14308 vsize=915732 CPUtime=2.92
/proc/14310/stat : 14310 (java) R 14308 14310 14187 0 -1 0 23283 0 1 0 209 83 0 0 25 0 8 0 156736941 937709568 23006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072931676 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14310/statm: 228933 23006 2495 14 0 215403 0
[pid=14310/tid=14312] ppid=14308 vsize=915732 CPUtime=0.29
/proc/14310/task/14312/stat : 14312 (java) S 14308 14310 14187 0 -1 64 6300 0 0 0 27 2 0 0 17 0 8 0 156736945 937709568 23006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14313] ppid=14308 vsize=915732 CPUtime=0
/proc/14310/task/14313/stat : 14313 (java) S 14308 14310 14187 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156736946 937709568 23006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14314] ppid=14308 vsize=915732 CPUtime=0
/proc/14310/task/14314/stat : 14314 (java) S 14308 14310 14187 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156736946 937709568 23006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14315] ppid=14308 vsize=915732 CPUtime=0
/proc/14310/task/14315/stat : 14315 (java) S 14308 14310 14187 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156736949 937709568 23006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14316] ppid=14308 vsize=915732 CPUtime=0.23
/proc/14310/task/14316/stat : 14316 (java) S 14308 14310 14187 0 -1 64 441 0 0 0 22 1 0 0 16 0 8 0 156736949 937709568 23006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14317] ppid=14308 vsize=915732 CPUtime=0
/proc/14310/task/14317/stat : 14317 (java) S 14308 14310 14187 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156736949 937709568 23006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14318] ppid=14308 vsize=915732 CPUtime=0
/proc/14310/task/14318/stat : 14318 (java) S 14308 14310 14187 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156736949 937709568 23006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915732

[startup+6.26658 s]
/proc/loadavg: 1.19 1.61 1.69 3/87 14318
/proc/meminfo: memFree=1012376/2055920 swapFree=4192812/4192956
[pid=14310] ppid=14308 vsize=915856 CPUtime=6.18
/proc/14310/stat : 14310 (java) R 14308 14310 14187 0 -1 0 23443 0 1 0 534 84 0 0 25 0 8 0 156736941 937836544 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074067236 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14310/statm: 228964 23163 2535 14 0 215434 0
[pid=14310/tid=14312] ppid=14308 vsize=915856 CPUtime=0.29
/proc/14310/task/14312/stat : 14312 (java) S 14308 14310 14187 0 -1 64 6301 0 0 0 27 2 0 0 17 0 8 0 156736945 937836544 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14313] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14313/stat : 14313 (java) S 14308 14310 14187 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156736946 937836544 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14314] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14314/stat : 14314 (java) S 14308 14310 14187 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156736946 937836544 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14315] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14315/stat : 14315 (java) S 14308 14310 14187 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156736949 937836544 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14316] ppid=14308 vsize=915856 CPUtime=0.36
/proc/14310/task/14316/stat : 14316 (java) S 14308 14310 14187 0 -1 64 509 0 0 0 34 2 0 0 16 0 8 0 156736949 937836544 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14317] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14317/stat : 14317 (java) S 14308 14310 14187 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156736949 937836544 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14318] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14318/stat : 14318 (java) S 14308 14310 14187 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156736949 937836544 23163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915856

[startup+12.7552 s]
/proc/loadavg: 1.26 1.61 1.69 3/87 14318
/proc/meminfo: memFree=996824/2055920 swapFree=4192812/4192956
[pid=14310] ppid=14308 vsize=915856 CPUtime=12.61
/proc/14310/stat : 14310 (java) R 14308 14310 14187 0 -1 0 27362 0 1 0 1175 86 0 0 25 0 8 0 156736941 937836544 27080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074078866 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14310/statm: 228964 27080 2535 14 0 215434 0
[pid=14310/tid=14312] ppid=14308 vsize=915856 CPUtime=0.33
/proc/14310/task/14312/stat : 14312 (java) S 14308 14310 14187 0 -1 64 10217 0 0 0 29 4 0 0 16 0 8 0 156736945 937836544 27080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14313] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14313/stat : 14313 (java) S 14308 14310 14187 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156736946 937836544 27080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14314] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14314/stat : 14314 (java) S 14308 14310 14187 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156736946 937836544 27080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14315] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14315/stat : 14315 (java) S 14308 14310 14187 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156736949 937836544 27080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14316] ppid=14308 vsize=915856 CPUtime=0.36
/proc/14310/task/14316/stat : 14316 (java) S 14308 14310 14187 0 -1 64 510 0 0 0 34 2 0 0 15 0 8 0 156736949 937836544 27080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14317] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14317/stat : 14317 (java) S 14308 14310 14187 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156736949 937836544 27080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14318] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14318/stat : 14318 (java) S 14308 14310 14187 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156736949 937836544 27080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915856

[startup+25.6199 s]
/proc/loadavg: 1.42 1.63 1.70 3/87 14318
/proc/meminfo: memFree=933912/2055920 swapFree=4192812/4192956
[pid=14310] ppid=14308 vsize=915856 CPUtime=25.35
/proc/14310/stat : 14310 (java) R 14308 14310 14187 0 -1 0 43101 0 1 0 2443 92 0 0 25 0 8 0 156736941 937836544 42816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074082342 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14310/statm: 228964 42816 2535 14 0 215434 0
[pid=14310/tid=14312] ppid=14308 vsize=915856 CPUtime=0.47
/proc/14310/task/14312/stat : 14312 (java) S 14308 14310 14187 0 -1 64 25953 0 0 0 37 10 0 0 16 0 8 0 156736945 937836544 42816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14313] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14313/stat : 14313 (java) S 14308 14310 14187 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156736946 937836544 42816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14314] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14314/stat : 14314 (java) S 14308 14310 14187 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156736946 937836544 42816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14315] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14315/stat : 14315 (java) S 14308 14310 14187 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156736949 937836544 42816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14316] ppid=14308 vsize=915856 CPUtime=0.36
/proc/14310/task/14316/stat : 14316 (java) S 14308 14310 14187 0 -1 64 510 0 0 0 34 2 0 0 15 0 8 0 156736949 937836544 42816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14317] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14317/stat : 14317 (java) S 14308 14310 14187 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156736949 937836544 42816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14318] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14318/stat : 14318 (java) S 14308 14310 14187 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156736949 937836544 42816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915856

[startup+51.2379 s]
/proc/loadavg: 1.62 1.66 1.71 3/87 14318
/proc/meminfo: memFree=851672/2055920 swapFree=4192812/4192956
[pid=14310] ppid=14308 vsize=915856 CPUtime=50.74
/proc/14310/stat : 14310 (java) R 14308 14310 14187 0 -1 0 66758 0 1 0 4972 102 0 0 25 0 8 0 156736941 937836544 66466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074119687 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14310/statm: 228964 66466 2535 14 0 215434 0
[pid=14310/tid=14312] ppid=14308 vsize=915856 CPUtime=0.68
/proc/14310/task/14312/stat : 14312 (java) S 14308 14310 14187 0 -1 64 49603 0 0 0 49 19 0 0 16 0 8 0 156736945 937836544 66466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14313] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14313/stat : 14313 (java) S 14308 14310 14187 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156736946 937836544 66466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14314] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14314/stat : 14314 (java) S 14308 14310 14187 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156736946 937836544 66466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14315] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14315/stat : 14315 (java) S 14308 14310 14187 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156736949 937836544 66466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14316] ppid=14308 vsize=915856 CPUtime=0.36
/proc/14310/task/14316/stat : 14316 (java) S 14308 14310 14187 0 -1 64 510 0 0 0 34 2 0 0 16 0 8 0 156736949 937836544 66466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14317] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14317/stat : 14317 (java) S 14308 14310 14187 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156736949 937836544 66466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14318] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14318/stat : 14318 (java) S 14308 14310 14187 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156736949 937836544 66466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915856

[startup+102.497 s]
/proc/loadavg: 1.83 1.71 1.72 4/87 14318
/proc/meminfo: memFree=665560/2055920 swapFree=4192812/4192956
[pid=14310] ppid=14308 vsize=915856 CPUtime=101.53
/proc/14310/stat : 14310 (java) R 14308 14310 14187 0 -1 0 110092 0 1 0 10036 117 0 0 25 0 8 0 156736941 937836544 109789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074082865 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14310/statm: 228964 109789 2535 14 0 215434 0
[pid=14310/tid=14312] ppid=14308 vsize=915856 CPUtime=1.09
/proc/14310/task/14312/stat : 14312 (java) S 14308 14310 14187 0 -1 64 92924 0 0 0 75 34 0 0 16 0 8 0 156736945 937836544 109789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14313] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14313/stat : 14313 (java) S 14308 14310 14187 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156736946 937836544 109789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14314] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14314/stat : 14314 (java) S 14308 14310 14187 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156736946 937836544 109789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14315] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14315/stat : 14315 (java) S 14308 14310 14187 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156736949 937836544 109789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14316] ppid=14308 vsize=915856 CPUtime=0.36
/proc/14310/task/14316/stat : 14316 (java) S 14308 14310 14187 0 -1 64 512 0 0 0 34 2 0 0 16 0 8 0 156736949 937836544 109789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14317] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14317/stat : 14317 (java) S 14308 14310 14187 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156736949 937836544 109789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14318] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14318/stat : 14318 (java) S 14308 14310 14187 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156736949 937836544 109789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 915856

[startup+162.504 s]
/proc/loadavg: 1.99 1.77 1.74 3/87 14318
/proc/meminfo: memFree=489240/2055920 swapFree=4192812/4192956
[pid=14310] ppid=14308 vsize=915856 CPUtime=160.99
/proc/14310/stat : 14310 (java) R 14308 14310 14187 0 -1 0 154089 0 1 0 15964 135 0 0 25 0 8 0 156736941 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074076215 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1410.59
Current children cumulated vsize (KiB) 915856

[startup+1483.63 s]
/proc/loadavg: 2.00 2.01 1.92 3/93 14442
/proc/meminfo: memFree=93224/2055920 swapFree=4192812/4192956
[pid=14310] ppid=14308 vsize=915856 CPUtime=1470.03
/proc/14310/stat : 14310 (java) R 14308 14310 14187 0 -1 0 154090 0 1 0 146865 138 0 0 25 0 8 0 156736941 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074067232 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14310/statm: 228964 153773 2535 14 0 215434 0
[pid=14310/tid=14312] ppid=14308 vsize=915856 CPUtime=1.53
/proc/14310/task/14312/stat : 14312 (java) S 14308 14310 14187 0 -1 64 136908 0 0 0 101 52 0 0 16 0 8 0 156736945 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14313] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14313/stat : 14313 (java) S 14308 14310 14187 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156736946 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14314] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14314/stat : 14314 (java) S 14308 14310 14187 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156736946 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14315] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14315/stat : 14315 (java) S 14308 14310 14187 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156736949 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14316] ppid=14308 vsize=915856 CPUtime=0.36
/proc/14310/task/14316/stat : 14316 (java) S 14308 14310 14187 0 -1 64 512 0 0 0 34 2 0 0 16 0 8 0 156736949 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14317] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14317/stat : 14317 (java) S 14308 14310 14187 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156736949 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14318] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14318/stat : 14318 (java) S 14308 14310 14187 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156736949 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1470.03
Current children cumulated vsize (KiB) 915856

[startup+1543.7 s]
/proc/loadavg: 2.04 2.03 1.93 3/93 14534
/proc/meminfo: memFree=72872/2055920 swapFree=4192812/4192956
[pid=14310] ppid=14308 vsize=915856 CPUtime=1529.47
/proc/14310/stat : 14310 (java) R 14308 14310 14187 0 -1 0 154090 0 1 0 152809 138 0 0 25 0 8 0 156736941 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074077276 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14310/statm: 228964 153773 2535 14 0 215434 0
[pid=14310/tid=14312] ppid=14308 vsize=915856 CPUtime=1.53
/proc/14310/task/14312/stat : 14312 (java) S 14308 14310 14187 0 -1 64 136908 0 0 0 101 52 0 0 16 0 8 0 156736945 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14313] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14313/stat : 14313 (java) S 14308 14310 14187 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156736946 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14314] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14314/stat : 14314 (java) S 14308 14310 14187 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156736946 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14315] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14315/stat : 14315 (java) S 14308 14310 14187 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156736949 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14316] ppid=14308 vsize=915856 CPUtime=0.36
/proc/14310/task/14316/stat : 14316 (java) S 14308 14310 14187 0 -1 64 512 0 0 0 34 2 0 0 16 0 8 0 156736949 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14317] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14317/stat : 14317 (java) S 14308 14310 14187 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156736949 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14318] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14318/stat : 14318 (java) S 14308 14310 14187 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156736949 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1529.47
Current children cumulated vsize (KiB) 915856

[startup+1603.76 s]
/proc/loadavg: 2.08 2.05 1.94 3/87 14574
/proc/meminfo: memFree=52704/2055920 swapFree=4192812/4192956
[pid=14310] ppid=14308 vsize=915856 CPUtime=1588.94
/proc/14310/stat : 14310 (java) R 14308 14310 14187 0 -1 0 154090 0 1 0 158756 138 0 0 25 0 8 0 156736941 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074078860 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14310/statm: 228964 153773 2535 14 0 215434 0
[pid=14310/tid=14312] ppid=14308 vsize=915856 CPUtime=1.53
/proc/14310/task/14312/stat : 14312 (java) S 14308 14310 14187 0 -1 64 136908 0 0 0 101 52 0 0 16 0 8 0 156736945 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14313] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14313/stat : 14313 (java) S 14308 14310 14187 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156736946 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14314] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14314/stat : 14314 (java) S 14308 14310 14187 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156736946 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14315] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14315/stat : 14315 (java) S 14308 14310 14187 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156736949 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14316] ppid=14308 vsize=915856 CPUtime=0.36
/proc/14310/task/14316/stat : 14316 (java) S 14308 14310 14187 0 -1 64 512 0 0 0 34 2 0 0 16 0 8 0 156736949 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14317] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14317/stat : 14317 (java) S 14308 14310 14187 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156736949 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14318] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14318/stat : 14318 (java) S 14308 14310 14187 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156736949 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1588.94
Current children cumulated vsize (KiB) 915856

[startup+1663.81 s]
/proc/loadavg: 2.03 2.04 1.94 3/87 14574
/proc/meminfo: memFree=52704/2055920 swapFree=4192812/4192956
[pid=14310] ppid=14308 vsize=915856 CPUtime=1648.44
/proc/14310/stat : 14310 (java) R 14308 14310 14187 0 -1 0 154090 0 1 0 164706 138 0 0 25 0 8 0 156736941 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074051272 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14310/statm: 228964 153773 2535 14 0 215434 0
[pid=14310/tid=14312] ppid=14308 vsize=915856 CPUtime=1.53
/proc/14310/task/14312/stat : 14312 (java) S 14308 14310 14187 0 -1 64 136908 0 0 0 101 52 0 0 16 0 8 0 156736945 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14313] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14313/stat : 14313 (java) S 14308 14310 14187 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156736946 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14314] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14314/stat : 14314 (java) S 14308 14310 14187 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156736946 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14315] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14315/stat : 14315 (java) S 14308 14310 14187 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156736949 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14316] ppid=14308 vsize=915856 CPUtime=0.36
/proc/14310/task/14316/stat : 14316 (java) S 14308 14310 14187 0 -1 64 512 0 0 0 34 2 0 0 16 0 8 0 156736949 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14317] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14317/stat : 14317 (java) S 14308 14310 14187 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156736949 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14318] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14318/stat : 14318 (java) S 14308 14310 14187 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156736949 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1648.44
Current children cumulated vsize (KiB) 915856

[startup+1723.85 s]
/proc/loadavg: 2.01 2.03 1.94 3/87 14574
/proc/meminfo: memFree=52704/2055920 swapFree=4192812/4192956
[pid=14310] ppid=14308 vsize=915856 CPUtime=1707.94
/proc/14310/stat : 14310 (java) R 14308 14310 14187 0 -1 0 154090 0 1 0 170656 138 0 0 25 0 8 0 156736941 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074067232 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14310/statm: 228964 153773 2535 14 0 215434 0
[pid=14310/tid=14312] ppid=14308 vsize=915856 CPUtime=1.53
/proc/14310/task/14312/stat : 14312 (java) S 14308 14310 14187 0 -1 64 136908 0 0 0 101 52 0 0 16 0 8 0 156736945 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14313] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14313/stat : 14313 (java) S 14308 14310 14187 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156736946 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14314] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14314/stat : 14314 (java) S 14308 14310 14187 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156736946 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14315] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14315/stat : 14315 (java) S 14308 14310 14187 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156736949 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14316] ppid=14308 vsize=915856 CPUtime=0.36
/proc/14310/task/14316/stat : 14316 (java) S 14308 14310 14187 0 -1 64 512 0 0 0 34 2 0 0 16 0 8 0 156736949 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14317] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14317/stat : 14317 (java) S 14308 14310 14187 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156736949 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14318] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14318/stat : 14318 (java) S 14308 14310 14187 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156736949 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1707.94
Current children cumulated vsize (KiB) 915856

[startup+1783.9 s]
/proc/loadavg: 2.00 2.02 1.94 3/87 14574
/proc/meminfo: memFree=52768/2055920 swapFree=4192812/4192956
[pid=14310] ppid=14308 vsize=915856 CPUtime=1767.44
/proc/14310/stat : 14310 (java) R 14308 14310 14187 0 -1 0 154090 0 1 0 176606 138 0 0 25 0 8 0 156736941 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074165310 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14310/statm: 228964 153773 2535 14 0 215434 0
[pid=14310/tid=14312] ppid=14308 vsize=915856 CPUtime=1.53
/proc/14310/task/14312/stat : 14312 (java) S 14308 14310 14187 0 -1 64 136908 0 0 0 101 52 0 0 16 0 8 0 156736945 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14313] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14313/stat : 14313 (java) S 14308 14310 14187 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156736946 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14314] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14314/stat : 14314 (java) S 14308 14310 14187 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156736946 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14315] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14315/stat : 14315 (java) S 14308 14310 14187 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156736949 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14316] ppid=14308 vsize=915856 CPUtime=0.36
/proc/14310/task/14316/stat : 14316 (java) S 14308 14310 14187 0 -1 64 512 0 0 0 34 2 0 0 16 0 8 0 156736949 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14317] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14317/stat : 14317 (java) S 14308 14310 14187 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156736949 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14318] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14318/stat : 14318 (java) S 14308 14310 14187 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156736949 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1767.44
Current children cumulated vsize (KiB) 915856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1816.82 s]
/proc/loadavg: 2.00 2.02 1.94 3/87 14574
/proc/meminfo: memFree=52768/2055920 swapFree=4192812/4192956
[pid=14310] ppid=14308 vsize=915856 CPUtime=1800.04
/proc/14310/stat : 14310 (java) R 14308 14310 14187 0 -1 0 154090 0 1 0 179866 138 0 0 25 0 8 0 156736941 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074108122 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14310/statm: 228964 153773 2535 14 0 215434 0
[pid=14310/tid=14312] ppid=14308 vsize=915856 CPUtime=1.53
/proc/14310/task/14312/stat : 14312 (java) S 14308 14310 14187 0 -1 64 136908 0 0 0 101 52 0 0 16 0 8 0 156736945 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14313] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14313/stat : 14313 (java) S 14308 14310 14187 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156736946 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14314] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14314/stat : 14314 (java) S 14308 14310 14187 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156736946 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14315] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14315/stat : 14315 (java) S 14308 14310 14187 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156736949 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14316] ppid=14308 vsize=915856 CPUtime=0.36
/proc/14310/task/14316/stat : 14316 (java) S 14308 14310 14187 0 -1 64 512 0 0 0 34 2 0 0 16 0 8 0 156736949 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14317] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14317/stat : 14317 (java) S 14308 14310 14187 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156736949 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14310/tid=14318] ppid=14308 vsize=915856 CPUtime=0
/proc/14310/task/14318/stat : 14318 (java) R 14308 14310 14187 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156736949 937836544 153773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 915856

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

Child status: 143
Real time (s): 1816.97
CPU time (s): 1800.2
CPU user time (s): 1798.72
CPU system time (s): 1.48177
CPU usage (%): 99.0772
Max. virtual memory (cumulated for all children) (KiB): 915948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.72
system time used= 1.48177
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154106
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= 38450
involuntary context switches= 76660

runsolver used 2.25766 s user time and 5.79312 s system time

The end

Launcher Data (download as text)

Begin job on node55 on Sat Jan  6 11:36:24 UTC 2007


IDJOB= 238061
IDBENCH= 6980
FILE ID= node55/238061-1168083381

PBS_JOBID= 3476269

Free space on /tmp= 66540 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  48087fc2b6d2fbabcb2d3faf35362f5e

RANDOM SEED= 49792282

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.218
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	: 5931.00
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.218
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:       1095792 kB
Buffers:         56792 kB
Cached:         624908 kB
SwapCached:          0 kB
Active:         293068 kB
Inactive:       583100 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1095792 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3776 kB
Writeback:           0 kB
Mapped:         214660 kB
Slab:            68856 kB
Committed_AS:  3882508 kB
PageTables:       2112 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= 66540 MiB



End job on node55 on Sat Jan  6 12:06:49 UTC 2007