Trace number 237453

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.25 1801.12

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=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/237453-1168083317/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.53	     nbVariables=1369  nbDomainTypes=1  minDomainSize=37  maxDomainSize=37
0.53	       =>  wckTime=0.206  cpuTime=0.17  mem=9M812
0.53	   
0.53	   predicates being loaded...
0.53	   
0.53	   constraints being loaded...
3.24	     nbConstraints=24678  nbConvertedConstraints=24678  nbConvertConstraintsChecks=5476  nbExtensionStructures=4
3.31	     nbSharedExtensionStructures=24674  nbConflictsStructures=4  nbSharedConflictsStructures=24674
3.31	     nbSharedBinaryRepresentations=221  maxDegree=37  maxArity=2
3.31	       =>  wckTime=2.916  cpuTime=2.63  mem=56M895
3.43	   
3.43	   solver IterativeSystematicSolver being built... 
3.66	       =>  wckTime=3.343  cpuTime=2.82  mem=36M940
3.78	   
3.78	   preprocessing
3.78	     nbConstraintChecks=0  nbPropagations=1369  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
3.78	     detectedInconsistency=no
3.80	       =>  wckTime=0.109  cpuTime=0.11  mem=36M940
4.04	   
4.04	   search
4.04	     run=0  nbConstraintChecks=98237  nbPropagations=4785  nbRevisions=3445  nbUselessRevisions=80  nbAssignments=123
4.04	     nbFailedAssignments=10  nbBacktracks=10  nbVisitedNodes=144  nbRestartNogoods=0  mapSize=10  nbInferences=0
4.04	     nbTooLargeKeys=0
4.04	       =>  wckTime=0.367  cpuTime=0.34  mem=37M928
4.16	   
4.16	   search
4.16	     run=1  nbConstraintChecks=196738  nbPropagations=13030  nbRevisions=10388  nbUselessRevisions=246
4.16	     nbAssignments=256  nbFailedAssignments=24  nbBacktracks=25  nbVisitedNodes=305  nbRestartNogoods=4  mapSize=25
4.16	     nbInferences=0  nbTooLargeKeys=0
4.16	       =>  wckTime=0.489  cpuTime=0.46  mem=38M915
4.28	   
4.28	   search
4.28	     run=2  nbConstraintChecks=295474  nbPropagations=24800  nbRevisions=20904  nbUselessRevisions=504
4.28	     nbAssignments=402  nbFailedAssignments=44  nbBacktracks=47  nbVisitedNodes=491  nbRestartNogoods=7  mapSize=47
4.28	     nbInferences=0  nbTooLargeKeys=0
4.28	       =>  wckTime=0.617  cpuTime=0.59  mem=39M903
4.42	   
4.42	   search
4.42	     run=3  nbConstraintChecks=394542  nbPropagations=40177  nbRevisions=35075  nbUselessRevisions=856
4.42	     nbAssignments=567  nbFailedAssignments=71  nbBacktracks=80  nbVisitedNodes=711  nbRestartNogoods=12  mapSize=80
4.42	     nbInferences=1  nbTooLargeKeys=0
4.42	       =>  wckTime=0.754  cpuTime=0.72  mem=40M890
4.58	   
4.58	   search
4.58	     run=4  nbConstraintChecks=493979  nbPropagations=59286  nbRevisions=53023  nbUselessRevisions=1302
4.58	     nbAssignments=759  nbFailedAssignments=108  nbBacktracks=130  nbVisitedNodes=980  nbRestartNogoods=16  mapSize=129
4.58	     nbInferences=4  nbTooLargeKeys=0
4.58	       =>  wckTime=0.909  cpuTime=0.87  mem=41M878
4.76	   
4.76	   search
4.76	     run=5  nbConstraintChecks=594160  nbPropagations=82365  nbRevisions=74960  nbUselessRevisions=1843
4.76	     nbAssignments=1002  nbFailedAssignments=157  nbBacktracks=206  nbVisitedNodes=1338  nbRestartNogoods=21
4.76	     mapSize=204  nbInferences=21  nbTooLargeKeys=0
4.76	       =>  wckTime=1.089  cpuTime=1.05  mem=42M866
4.97	   
4.97	   search
4.97	     run=6  nbConstraintChecks=695240  nbPropagations=109730  nbRevisions=101192  nbUselessRevisions=2481
4.97	     nbAssignments=1314  nbFailedAssignments=231  nbBacktracks=319  nbVisitedNodes=1820  nbRestartNogoods=23
4.97	     mapSize=316  nbInferences=43  nbTooLargeKeys=0
4.97	       =>  wckTime=1.301  cpuTime=1.26  mem=44M841
5.25	   
5.25	   search
5.25	     run=7  nbConstraintChecks=797645  nbPropagations=141885  nbRevisions=132184  nbUselessRevisions=3217
5.25	     nbAssignments=1736  nbFailedAssignments=338  nbBacktracks=489  nbVisitedNodes=2498  nbRestartNogoods=30
5.25	     mapSize=486  nbInferences=85  nbTooLargeKeys=0
5.25	       =>  wckTime=1.583  cpuTime=1.52  mem=46M816
5.60	   
5.60	   search
5.60	     run=8  nbConstraintChecks=902181  nbPropagations=179613  nbRevisions=168644  nbUselessRevisions=4057
5.60	     nbAssignments=2328  nbFailedAssignments=489  nbBacktracks=745  nbVisitedNodes=3475  nbRestartNogoods=38
5.60	     mapSize=742  nbInferences=168  nbTooLargeKeys=0
5.60	       =>  wckTime=1.937  cpuTime=1.87  mem=50M767
6.12	   
6.12	   search
6.12	     run=9  nbConstraintChecks=1010226  nbPropagations=224197  nbRevisions=211709  nbUselessRevisions=5002
6.12	     nbAssignments=3189  nbFailedAssignments=707  nbBacktracks=1129  nbVisitedNodes=4928  nbRestartNogoods=45
6.12	     mapSize=1126  nbInferences=324  nbTooLargeKeys=0
6.12	       =>  wckTime=2.451  cpuTime=2.38  mem=55M705
6.87	   
6.87	   search
6.87	     run=10  nbConstraintChecks=1123470  nbPropagations=277637  nbRevisions=263092  nbUselessRevisions=6052
6.87	     nbAssignments=4477  nbFailedAssignments=1017  nbBacktracks=1706  nbVisitedNodes=7137  nbRestartNogoods=50
6.87	     mapSize=1703  nbInferences=625  nbTooLargeKeys=0
6.87	       =>  wckTime=3.204  cpuTime=3.12  mem=64M593
8.06	   
8.06	   search
8.06	     run=11  nbConstraintChecks=1246825  nbPropagations=343470  nbRevisions=325892  nbUselessRevisions=7331
8.06	     nbAssignments=6480  nbFailedAssignments=1434  nbBacktracks=2570  nbVisitedNodes=10594  nbRestartNogoods=53
8.06	     mapSize=2567  nbInferences=1245  nbTooLargeKeys=0
8.06	       =>  wckTime=4.395  cpuTime=4.28  mem=48M586
9.83	   
9.83	   search
9.83	     run=12  nbConstraintChecks=1385920  nbPropagations=426836  nbRevisions=404442  nbUselessRevisions=8890
9.83	     nbAssignments=9516  nbFailedAssignments=2029  nbBacktracks=3867  nbVisitedNodes=15868  nbRestartNogoods=69
9.83	     mapSize=3859  nbInferences=2293  nbTooLargeKeys=0
9.83	       =>  wckTime=6.158  cpuTime=6.04  mem=70M618
11.55	   
11.55	   search
11.55	     run=13  nbConstraintChecks=1535059  nbPropagations=529484  nbRevisions=501760  nbUselessRevisions=10687
11.55	     nbAssignments=13113  nbFailedAssignments=3261  nbBacktracks=5813  nbVisitedNodes=22296  nbRestartNogoods=76
11.55	     mapSize=5779  nbInferences=2660  nbTooLargeKeys=0
11.55	       =>  wckTime=7.884  cpuTime=7.77  mem=84M344
14.11	   
14.11	   search
14.11	     run=14  nbConstraintChecks=1838004  nbPropagations=662908  nbRevisions=629999  nbUselessRevisions=13699
14.11	     nbAssignments=18514  nbFailedAssignments=5083  nbBacktracks=8733  nbVisitedNodes=31957  nbRestartNogoods=78
14.11	     mapSize=8616  nbInferences=3276  nbTooLargeKeys=0
14.11	       =>  wckTime=10.44  cpuTime=10.27  mem=82M398
19.18	   
19.18	   search
19.18	     run=15  nbConstraintChecks=2249465  nbPropagations=859637  nbRevisions=812489  nbUselessRevisions=17853
19.18	     nbAssignments=29772  nbFailedAssignments=6700  nbBacktracks=13111  nbVisitedNodes=51572  nbRestartNogoods=80
19.18	     mapSize=12939  nbInferences=8400  nbTooLargeKeys=0
19.18	       =>  wckTime=15.511  cpuTime=15.33  mem=110M438
30.33	   
30.33	   search
30.33	     run=16  nbConstraintChecks=2779420  nbPropagations=1162946  nbRevisions=1082651  nbUselessRevisions=23137
30.33	     nbAssignments=48624  nbFailedAssignments=8781  nbBacktracks=19679  nbVisitedNodes=84652  nbRestartNogoods=86
30.33	     mapSize=19470  nbInferences=18467  nbTooLargeKeys=0
30.33	       =>  wckTime=26.662  cpuTime=26.35  mem=162M937
50.41	   
50.41	   search
50.41	     run=17  nbConstraintChecks=3629402  nbPropagations=1654366  nbRevisions=1504817  nbUselessRevisions=31237
50.41	     nbAssignments=80805  nbFailedAssignments=11206  nbBacktracks=29531  nbVisitedNodes=141454  nbRestartNogoods=104
50.41	     mapSize=29286  nbInferences=38238  nbTooLargeKeys=0
50.41	       =>  wckTime=46.74  cpuTime=46.24  mem=260M785
79.78	   
79.78	   search
79.78	     run=18  nbConstraintChecks=4721371  nbPropagations=2418240  nbRevisions=2145511  nbUselessRevisions=42682
79.78	     nbAssignments=128415  nbFailedAssignments=14897  nbBacktracks=44311  nbVisitedNodes=225450  nbRestartNogoods=112
79.78	     mapSize=44031  nbInferences=67242  nbTooLargeKeys=0
79.78	       =>  wckTime=76.117  cpuTime=75.32  mem=372M811
107.37	   
107.37	   search
107.37	     run=19  nbConstraintChecks=5710038  nbPropagations=3461243  nbRevisions=3018830  nbUselessRevisions=55021
107.37	     nbAssignments=183543  nbFailedAssignments=24043  nbBacktracks=66479  nbVisitedNodes=322608  nbRestartNogoods=129
107.37	     mapSize=66132  nbInferences=90980  nbTooLargeKeys=0
107.37	       =>  wckTime=103.707  cpuTime=102.64  mem=476M61
132.39	   
132.39	   INFO : Stopping hyperNogood (mapSize=79169, nbTooLargekeys=0, mem=600M63)
141.52	   
141.52	   search
141.52	     run=20  nbConstraintChecks=7217248  nbPropagations=4899408  nbRevisions=4242175  nbUselessRevisions=71642
141.52	     nbAssignments=259351  nbFailedAssignments=41353  nbBacktracks=99731  nbVisitedNodes=458105  nbRestartNogoods=144
141.52	       =>  wckTime=137.849  cpuTime=136.53  mem=600M63
164.41	   
164.41	   search
164.41	     run=21  nbConstraintChecks=8496519  nbPropagations=6723589  nbRevisions=5853698  nbUselessRevisions=90317
164.41	     nbAssignments=343747  nbFailedAssignments=75700  nbBacktracks=149610  nbVisitedNodes=611194  nbRestartNogoods=174
164.41	       =>  wckTime=160.74  cpuTime=159.42  mem=600M63
198.89	   
198.89	   search
198.89	     run=22  nbConstraintChecks=10273640  nbPropagations=9123082  nbRevisions=8042748  nbUselessRevisions=111135
198.89	     nbAssignments=470443  nbFailedAssignments=127408  nbBacktracks=224428  nbVisitedNodes=841305  nbRestartNogoods=191
198.89	       =>  wckTime=195.221  cpuTime=193.88  mem=600M63
250.16	   
250.16	   search
250.16	     run=23  nbConstraintChecks=12766311  nbPropagations=12381085  nbRevisions=11092427  nbUselessRevisions=134044
250.16	     nbAssignments=660553  nbFailedAssignments=205120  nbBacktracks=336655  nbVisitedNodes=1186838  nbRestartNogoods=211
250.16	       =>  wckTime=246.491  cpuTime=245.14  mem=600M63
325.45	   
325.45	   search
325.45	     run=24  nbConstraintChecks=16426442  nbPropagations=16924703  nbRevisions=15429975  nbUselessRevisions=159165
325.45	     nbAssignments=945746  nbFailedAssignments=321764  nbBacktracks=504997  nbVisitedNodes=1705317  nbRestartNogoods=229
325.45	       =>  wckTime=321.783  cpuTime=320.4  mem=600M63
437.40	   
437.40	   search
437.40	     run=25  nbConstraintChecks=21701206  nbPropagations=23381425  nbRevisions=21685575  nbUselessRevisions=189188
437.40	     nbAssignments=1371482  nbFailedAssignments=494782  nbBacktracks=757508  nbVisitedNodes=2477085
437.40	     nbRestartNogoods=255
437.40	       =>  wckTime=433.736  cpuTime=432.32  mem=600M63
605.73	   
605.73	   search
605.73	     run=26  nbConstraintChecks=29117149  nbPropagations=32698737  nbRevisions=30804974  nbUselessRevisions=222431
605.73	     nbAssignments=2010960  nbFailedAssignments=755289  nbBacktracks=1136275  nbVisitedNodes=3637577
605.73	     nbRestartNogoods=288
605.73	       =>  wckTime=602.058  cpuTime=600.58  mem=600M63
859.08	   
859.08	   search
859.08	     run=27  nbConstraintChecks=40262322  nbPropagations=46313421  nbRevisions=44225813  nbUselessRevisions=259736
859.08	     nbAssignments=2971628  nbFailedAssignments=1147605  nbBacktracks=1704426  nbVisitedNodes=5382877
859.08	     nbRestartNogoods=308
859.08	       =>  wckTime=855.415  cpuTime=853.86  mem=601M85
1226.16	   
1226.16	   search
1226.16	     run=28  nbConstraintChecks=57083934  nbPropagations=66382702  nbRevisions=64112284  nbUselessRevisions=307877
1226.16	     nbAssignments=4414016  nbFailedAssignments=1737524  nbBacktracks=2556652  nbVisitedNodes=8005095
1226.16	     nbRestartNogoods=329
1226.16	       =>  wckTime=1222.491  cpuTime=1220.81  mem=601M85
1779.43	   
1779.43	   search
1779.43	     run=29  nbConstraintChecks=81915627  nbPropagations=96130990  nbRevisions=93683161  nbUselessRevisions=361176
1779.43	     nbAssignments=6579115  nbFailedAssignments=2624041  nbBacktracks=3834992  nbVisitedNodes=11943221
1779.43	     nbRestartNogoods=358
1779.43	       =>  wckTime=1775.761  cpuTime=1773.71  mem=601M85

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/node45/watcher-237453-1168083317 -o ROOT/results/node45/solver-237453-1168083317 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237453-1168083317/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: 0.65 1.45 1.66 4/68 24254
/proc/meminfo: memFree=1382400/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=18540 CPUtime=0
/proc/24253/stat : 24253 (runsolver) R 24251 24253 23541 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156732892 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 258939088167 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/24253/statm: 4635 279 244 17 0 2626 0

[startup+0.103999 s]
/proc/loadavg: 0.65 1.45 1.66 4/68 24254
/proc/meminfo: memFree=1382400/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=912760 CPUtime=0.07
/proc/24253/stat : 24253 (java) R 24251 24253 23541 0 -1 0 2780 0 1 0 6 1 0 0 23 0 8 0 156732892 934666240 2526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154094586 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24253/statm: 228190 2526 1387 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912760

[startup+0.512072 s]
/proc/loadavg: 0.65 1.45 1.66 4/68 24254
/proc/meminfo: memFree=1382400/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=915328 CPUtime=0.48
/proc/24253/stat : 24253 (java) R 24251 24253 23541 0 -1 0 6673 0 1 0 43 5 0 0 16 0 8 0 156732892 937295872 6412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24253/statm: 228832 6413 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33422 s]
/proc/loadavg: 0.65 1.45 1.66 2/75 24261
/proc/meminfo: memFree=1320136/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=916652 CPUtime=1.3
/proc/24253/stat : 24253 (java) R 24251 24253 23541 0 -1 0 17951 0 1 0 119 11 0 0 17 0 8 0 156732892 938651648 17689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24253/statm: 229163 17689 2160 14 0 215633 0
[pid=24253/tid=24255] ppid=24251 vsize=916652 CPUtime=0.04
/proc/24253/task/24255/stat : 24255 (java) S 24251 24253 23541 0 -1 64 1421 0 0 0 4 0 0 0 17 0 8 0 156732898 938651648 17689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24256] ppid=24251 vsize=916652 CPUtime=0
/proc/24253/task/24256/stat : 24256 (java) S 24251 24253 23541 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732898 938651648 17689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24257] ppid=24251 vsize=916652 CPUtime=0
/proc/24253/task/24257/stat : 24257 (java) S 24251 24253 23541 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732898 938651648 17689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24258] ppid=24251 vsize=916652 CPUtime=0
/proc/24253/task/24258/stat : 24258 (java) S 24251 24253 23541 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732901 938651648 17689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24259] ppid=24251 vsize=916652 CPUtime=0.13
/proc/24253/task/24259/stat : 24259 (java) S 24251 24253 23541 0 -1 64 399 0 0 0 12 1 0 0 16 0 8 0 156732902 938651648 17689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24260] ppid=24251 vsize=916652 CPUtime=0
/proc/24253/task/24260/stat : 24260 (java) S 24251 24253 23541 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156732902 938651648 17689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24261] ppid=24251 vsize=916652 CPUtime=0
/proc/24253/task/24261/stat : 24261 (java) S 24251 24253 23541 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156732902 938651648 17689 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) 916652

[startup+2.98553 s]
/proc/loadavg: 0.76 1.46 1.66 3/77 24269
/proc/meminfo: memFree=1303672/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=916656 CPUtime=2.94
/proc/24253/stat : 24253 (java) R 24251 24253 23541 0 -1 0 20513 0 1 0 201 93 0 0 17 0 8 0 156732892 938655744 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24253/statm: 229164 20249 2180 14 0 215634 0
[pid=24253/tid=24255] ppid=24251 vsize=916656 CPUtime=0.12
/proc/24253/task/24255/stat : 24255 (java) S 24251 24253 23541 0 -1 64 3894 0 0 0 11 1 0 0 16 0 8 0 156732898 938655744 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24256] ppid=24251 vsize=916656 CPUtime=0
/proc/24253/task/24256/stat : 24256 (java) S 24251 24253 23541 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732898 938655744 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24257] ppid=24251 vsize=916656 CPUtime=0
/proc/24253/task/24257/stat : 24257 (java) S 24251 24253 23541 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732898 938655744 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24258] ppid=24251 vsize=916656 CPUtime=0
/proc/24253/task/24258/stat : 24258 (java) S 24251 24253 23541 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732901 938655744 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24259] ppid=24251 vsize=916656 CPUtime=0.17
/proc/24253/task/24259/stat : 24259 (java) S 24251 24253 23541 0 -1 64 424 0 0 0 16 1 0 0 16 0 8 0 156732902 938655744 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24260] ppid=24251 vsize=916656 CPUtime=0
/proc/24253/task/24260/stat : 24260 (java) S 24251 24253 23541 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156732902 938655744 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24261] ppid=24251 vsize=916656 CPUtime=0
/proc/24253/task/24261/stat : 24261 (java) S 24251 24253 23541 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156732902 938655744 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.94
Current children cumulated vsize (KiB) 916656

[startup+6.26511 s]
/proc/loadavg: 0.76 1.46 1.66 2/75 24269
/proc/meminfo: memFree=1297800/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=916888 CPUtime=6.21
/proc/24253/stat : 24253 (java) R 24251 24253 23541 0 -1 0 23858 0 1 0 515 106 0 0 17 0 8 0 156732892 938893312 23571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074061075 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24253/statm: 229222 23571 2535 14 0 215692 0
[pid=24253/tid=24255] ppid=24251 vsize=916888 CPUtime=0.29
/proc/24253/task/24255/stat : 24255 (java) S 24251 24253 23541 0 -1 64 6716 0 0 0 27 2 0 0 16 0 8 0 156732898 938893312 23571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24256] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24256/stat : 24256 (java) S 24251 24253 23541 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 23571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24257] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24257/stat : 24257 (java) S 24251 24253 23541 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 23571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24258] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24258/stat : 24258 (java) S 24251 24253 23541 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732901 938893312 23571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24259] ppid=24251 vsize=916888 CPUtime=0.32
/proc/24253/task/24259/stat : 24259 (java) S 24251 24253 23541 0 -1 64 508 0 0 0 31 1 0 0 15 0 8 0 156732902 938893312 23571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24260] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24260/stat : 24260 (java) S 24251 24253 23541 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156732902 938893312 23571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24261] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24261/stat : 24261 (java) S 24251 24253 23541 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156732902 938893312 23571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 916888

[startup+12.7483 s]
/proc/loadavg: 0.79 1.45 1.66 2/75 24269
/proc/meminfo: memFree=1254408/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=916888 CPUtime=12.69
/proc/24253/stat : 24253 (java) R 24251 24253 23541 0 -1 0 34696 0 1 0 1159 110 0 0 20 0 8 0 156732892 938893312 34407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074130008 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24253/statm: 229222 34407 2535 14 0 215692 0
[pid=24253/tid=24255] ppid=24251 vsize=916888 CPUtime=0.38
/proc/24253/task/24255/stat : 24255 (java) S 24251 24253 23541 0 -1 64 17548 0 0 0 32 6 0 0 16 0 8 0 156732898 938893312 34407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24256] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24256/stat : 24256 (java) S 24251 24253 23541 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 34407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24257] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24257/stat : 24257 (java) S 24251 24253 23541 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 34407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24258] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24258/stat : 24258 (java) S 24251 24253 23541 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732901 938893312 34407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24259] ppid=24251 vsize=916888 CPUtime=0.32
/proc/24253/task/24259/stat : 24259 (java) S 24251 24253 23541 0 -1 64 512 0 0 0 31 1 0 0 16 0 8 0 156732902 938893312 34407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24260] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24260/stat : 24260 (java) S 24251 24253 23541 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156732902 938893312 34407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24261] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24261/stat : 24261 (java) S 24251 24253 23541 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156732902 938893312 34407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 916888

[startup+25.5806 s]
/proc/loadavg: 0.83 1.43 1.65 2/75 24269
/proc/meminfo: memFree=1205448/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=916888 CPUtime=25.52
/proc/24253/stat : 24253 (java) R 24251 24253 23541 0 -1 0 46937 0 1 0 2437 115 0 0 18 0 8 0 156732892 938893312 46645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074092721 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24253/statm: 229222 46645 2535 14 0 215692 0
[pid=24253/tid=24255] ppid=24251 vsize=916888 CPUtime=0.48
/proc/24253/task/24255/stat : 24255 (java) S 24251 24253 23541 0 -1 64 29785 0 0 0 38 10 0 0 16 0 8 0 156732898 938893312 46645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24256] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24256/stat : 24256 (java) S 24251 24253 23541 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 46645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24257] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24257/stat : 24257 (java) S 24251 24253 23541 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 46645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24258] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24258/stat : 24258 (java) S 24251 24253 23541 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732901 938893312 46645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24259] ppid=24251 vsize=916888 CPUtime=0.32
/proc/24253/task/24259/stat : 24259 (java) S 24251 24253 23541 0 -1 64 513 0 0 0 31 1 0 0 16 0 8 0 156732902 938893312 46645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24260] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24260/stat : 24260 (java) S 24251 24253 23541 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156732902 938893312 46645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24261] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24261/stat : 24261 (java) S 24251 24253 23541 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156732902 938893312 46645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 916888

[startup+51.2623 s]
/proc/loadavg: 0.88 1.40 1.63 2/75 24270
/proc/meminfo: memFree=1115656/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=916888 CPUtime=51.19
/proc/24253/stat : 24253 (java) R 24251 24253 23541 0 -1 0 75186 0 1 0 4994 125 0 0 23 0 8 0 156732892 938893312 74887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24253/statm: 229222 74887 2535 14 0 215692 0
[pid=24253/tid=24255] ppid=24251 vsize=916888 CPUtime=0.73
/proc/24253/task/24255/stat : 24255 (java) S 24251 24253 23541 0 -1 64 58027 0 0 0 52 21 0 0 17 0 8 0 156732898 938893312 74887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24256] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24256/stat : 24256 (java) S 24251 24253 23541 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 74887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24257] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24257/stat : 24257 (java) S 24251 24253 23541 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 74887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24258] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24258/stat : 24258 (java) S 24251 24253 23541 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732901 938893312 74887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24259] ppid=24251 vsize=916888 CPUtime=0.32
/proc/24253/task/24259/stat : 24259 (java) S 24251 24253 23541 0 -1 64 513 0 0 0 31 1 0 0 16 0 8 0 156732902 938893312 74887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24260] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24260/stat : 24260 (java) S 24251 24253 23541 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156732902 938893312 74887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24261] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24261/stat : 24261 (java) S 24251 24253 23541 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156732902 938893312 74887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 916888

[startup+102.53 s]
/proc/loadavg: 0.99 1.35 1.60 3/87 24463
/proc/meminfo: memFree=873960/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=916888 CPUtime=102.41
/proc/24253/stat : 24253 (java) R 24251 24253 23541 0 -1 0 130179 0 1 0 10095 146 0 0 25 0 8 0 156732892 938893312 129868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074061155 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24253/statm: 229222 129868 2535 14 0 215692 0
[pid=24253/tid=24255] ppid=24251 vsize=916888 CPUtime=1.21
/proc/24253/task/24255/stat : 24255 (java) S 24251 24253 23541 0 -1 64 113008 0 0 0 81 40 0 0 17 0 8 0 156732898 938893312 129868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24253/tid=24256] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24256/stat : 24256 (java) S 24251 24253 23541 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 129868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24257] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24257/stat : 24257 (java) S 24251 24253 23541 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 129868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24258] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24258/stat : 24258 (java) S 24251 24253 23541 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732901 938893312 129868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24259] ppid=24251 vsize=916888 CPUtime=0.32
/proc/24253/task/24259/stat : 24259 (java) S 24251 24253 23541 0 -1 64 513 0 0 0 31 1 0 0 16 0 8 0 156732902 938893312 129868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24260] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24260/stat : 24260 (java) S 24251 24253 23541 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156732902 938893312 129868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24261] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24261/stat : 24261 (java) S 24251 24253 23541 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156732902 938893312 129868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.41
Current children cumulated vsize (KiB) 916888

[startup+162.551 s]
/proc/loadavg: 1.62 1.46 1.62 3/87 24463
/proc/meminfo: memFree=703464/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=916888 CPUtime=162.41
/proc/24253/stat : 24253 (java) R 24251 24253 23541 0 -1 0 154514 0 1 0 16087 154 0 0 25 0 8 0 156732892 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074086008 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1422.47
Current children cumulated vsize (KiB) 916888

[startup+1483.06 s]
/proc/loadavg: 2.01 1.99 1.88 3/87 24463
/proc/meminfo: memFree=170600/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=916888 CPUtime=1482.48
/proc/24253/stat : 24253 (java) R 24251 24253 23541 0 -1 0 154514 0 1 0 148089 159 0 0 25 0 8 0 156732892 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074086039 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24253/statm: 229222 154196 2535 14 0 215692 0
[pid=24253/tid=24255] ppid=24251 vsize=916888 CPUtime=1.45
/proc/24253/task/24255/stat : 24255 (java) S 24251 24253 23541 0 -1 64 137336 0 0 0 96 49 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24253/tid=24256] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24256/stat : 24256 (java) S 24251 24253 23541 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24257] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24257/stat : 24257 (java) S 24251 24253 23541 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24258] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24258/stat : 24258 (java) S 24251 24253 23541 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732901 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24259] ppid=24251 vsize=916888 CPUtime=0.32
/proc/24253/task/24259/stat : 24259 (java) S 24251 24253 23541 0 -1 64 513 0 0 0 31 1 0 0 16 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24260] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24260/stat : 24260 (java) S 24251 24253 23541 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24261] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24261/stat : 24261 (java) S 24251 24253 23541 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1482.48
Current children cumulated vsize (KiB) 916888

[startup+1543.08 s]
/proc/loadavg: 2.00 1.99 1.89 3/93 24547
/proc/meminfo: memFree=169056/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=916888 CPUtime=1542.39
/proc/24253/stat : 24253 (java) R 24251 24253 23541 0 -1 0 154514 0 1 0 154080 159 0 0 25 0 8 0 156732892 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074089130 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24253/statm: 229222 154196 2535 14 0 215692 0
[pid=24253/tid=24255] ppid=24251 vsize=916888 CPUtime=1.45
/proc/24253/task/24255/stat : 24255 (java) S 24251 24253 23541 0 -1 64 137336 0 0 0 96 49 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24253/tid=24256] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24256/stat : 24256 (java) S 24251 24253 23541 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24257] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24257/stat : 24257 (java) S 24251 24253 23541 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24258] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24258/stat : 24258 (java) S 24251 24253 23541 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732901 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24259] ppid=24251 vsize=916888 CPUtime=0.32
/proc/24253/task/24259/stat : 24259 (java) S 24251 24253 23541 0 -1 64 513 0 0 0 31 1 0 0 16 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24260] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24260/stat : 24260 (java) S 24251 24253 23541 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24261] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24261/stat : 24261 (java) S 24251 24253 23541 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1542.39
Current children cumulated vsize (KiB) 916888

[startup+1603.12 s]
/proc/loadavg: 2.00 1.99 1.89 3/93 24633
/proc/meminfo: memFree=169136/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=916888 CPUtime=1602.34
/proc/24253/stat : 24253 (java) R 24251 24253 23541 0 -1 0 154514 0 1 0 160075 159 0 0 25 0 8 0 156732892 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074089083 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24253/statm: 229222 154196 2535 14 0 215692 0
[pid=24253/tid=24255] ppid=24251 vsize=916888 CPUtime=1.45
/proc/24253/task/24255/stat : 24255 (java) S 24251 24253 23541 0 -1 64 137336 0 0 0 96 49 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24253/tid=24256] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24256/stat : 24256 (java) S 24251 24253 23541 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24257] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24257/stat : 24257 (java) S 24251 24253 23541 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24258] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24258/stat : 24258 (java) S 24251 24253 23541 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732901 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24259] ppid=24251 vsize=916888 CPUtime=0.32
/proc/24253/task/24259/stat : 24259 (java) S 24251 24253 23541 0 -1 64 513 0 0 0 31 1 0 0 16 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24260] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24260/stat : 24260 (java) S 24251 24253 23541 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24261] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24261/stat : 24261 (java) S 24251 24253 23541 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 916888

[startup+1663.15 s]
/proc/loadavg: 2.00 1.99 1.90 3/87 24661
/proc/meminfo: memFree=170080/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=916888 CPUtime=1662.31
/proc/24253/stat : 24253 (java) R 24251 24253 23541 0 -1 0 154514 0 1 0 166072 159 0 0 25 0 8 0 156732892 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074089130 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24253/statm: 229222 154196 2535 14 0 215692 0
[pid=24253/tid=24255] ppid=24251 vsize=916888 CPUtime=1.45
/proc/24253/task/24255/stat : 24255 (java) S 24251 24253 23541 0 -1 64 137336 0 0 0 96 49 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24253/tid=24256] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24256/stat : 24256 (java) S 24251 24253 23541 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24257] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24257/stat : 24257 (java) S 24251 24253 23541 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24258] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24258/stat : 24258 (java) S 24251 24253 23541 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732901 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24259] ppid=24251 vsize=916888 CPUtime=0.32
/proc/24253/task/24259/stat : 24259 (java) S 24251 24253 23541 0 -1 64 513 0 0 0 31 1 0 0 16 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24260] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24260/stat : 24260 (java) S 24251 24253 23541 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24261] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24261/stat : 24261 (java) S 24251 24253 23541 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 916888

[startup+1723.16 s]
/proc/loadavg: 2.05 2.00 1.91 3/87 24661
/proc/meminfo: memFree=170080/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=916888 CPUtime=1722.3
/proc/24253/stat : 24253 (java) R 24251 24253 23541 0 -1 0 154514 0 1 0 172071 159 0 0 25 0 8 0 156732892 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24253/statm: 229222 154196 2535 14 0 215692 0
[pid=24253/tid=24255] ppid=24251 vsize=916888 CPUtime=1.45
/proc/24253/task/24255/stat : 24255 (java) S 24251 24253 23541 0 -1 64 137336 0 0 0 96 49 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24253/tid=24256] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24256/stat : 24256 (java) S 24251 24253 23541 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24257] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24257/stat : 24257 (java) S 24251 24253 23541 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24258] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24258/stat : 24258 (java) S 24251 24253 23541 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732901 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24259] ppid=24251 vsize=916888 CPUtime=0.32
/proc/24253/task/24259/stat : 24259 (java) S 24251 24253 23541 0 -1 64 513 0 0 0 31 1 0 0 16 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24260] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24260/stat : 24260 (java) S 24251 24253 23541 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24261] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24261/stat : 24261 (java) S 24251 24253 23541 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 916888

[startup+1783.18 s]
/proc/loadavg: 2.02 2.00 1.91 3/87 24661
/proc/meminfo: memFree=170144/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=916888 CPUtime=1782.3
/proc/24253/stat : 24253 (java) R 24251 24253 23541 0 -1 0 154514 0 1 0 178071 159 0 0 25 0 8 0 156732892 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074089130 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24253/statm: 229222 154196 2535 14 0 215692 0
[pid=24253/tid=24255] ppid=24251 vsize=916888 CPUtime=1.45
/proc/24253/task/24255/stat : 24255 (java) S 24251 24253 23541 0 -1 64 137336 0 0 0 96 49 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24253/tid=24256] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24256/stat : 24256 (java) S 24251 24253 23541 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24257] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24257/stat : 24257 (java) S 24251 24253 23541 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24258] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24258/stat : 24258 (java) S 24251 24253 23541 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732901 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24259] ppid=24251 vsize=916888 CPUtime=0.32
/proc/24253/task/24259/stat : 24259 (java) S 24251 24253 23541 0 -1 64 513 0 0 0 31 1 0 0 16 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24260] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24260/stat : 24260 (java) S 24251 24253 23541 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24261] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24261/stat : 24261 (java) S 24251 24253 23541 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 916888



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.96 s]
/proc/loadavg: 2.01 2.00 1.91 4/87 24661
/proc/meminfo: memFree=170144/2055920 swapFree=4184004/4192956
[pid=24253] ppid=24251 vsize=916888 CPUtime=1800.09
/proc/24253/stat : 24253 (java) R 24251 24253 23541 0 -1 0 154514 0 1 0 179850 159 0 0 25 0 8 0 156732892 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074089130 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24253/statm: 229222 154196 2535 14 0 215692 0
[pid=24253/tid=24255] ppid=24251 vsize=916888 CPUtime=1.45
/proc/24253/task/24255/stat : 24255 (java) S 24251 24253 23541 0 -1 64 137336 0 0 0 96 49 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24253/tid=24256] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24256/stat : 24256 (java) S 24251 24253 23541 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24257] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24257/stat : 24257 (java) S 24251 24253 23541 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732898 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24258] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24258/stat : 24258 (java) S 24251 24253 23541 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156732901 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24259] ppid=24251 vsize=916888 CPUtime=0.32
/proc/24253/task/24259/stat : 24259 (java) S 24251 24253 23541 0 -1 64 513 0 0 0 31 1 0 0 16 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24260] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24260/stat : 24260 (java) S 24251 24253 23541 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24253/tid=24261] ppid=24251 vsize=916888 CPUtime=0
/proc/24253/task/24261/stat : 24261 (java) S 24251 24253 23541 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156732902 938893312 154196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 916888

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

Child status: 143
Real time (s): 1801.12
CPU time (s): 1800.25
CPU user time (s): 1798.56
CPU system time (s): 1.69374
CPU usage (%): 99.9516
Max. virtual memory (cumulated for all children) (KiB): 916980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.56
system time used= 1.69374
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154531
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= 37821
involuntary context switches= 38795

runsolver used 1.93771 s user time and 4.5663 s system time

The end

Launcher Data (download as text)

Begin job on node45 on Sat Jan  6 11:35:26 UTC 2007


IDJOB= 237453
IDBENCH= 6942
FILE ID= node45/237453-1168083317

PBS_JOBID= 3476183

Free space on /tmp= 66532 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 mac.xml 1 XSax /tmp/evaluation/237453-1168083317/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node45/watcher-237453-1168083317 -o ROOT/results/node45/solver-237453-1168083317 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237453-1168083317/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  1be48ee351afcb860740bdcb03c5c8f8

RANDOM SEED= 617013801

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.259
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.259
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:       1305344 kB
Buffers:         49576 kB
Cached:         536148 kB
SwapCached:       2748 kB
Active:         144212 kB
Inactive:       533776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1305344 kB
SwapTotal:     4192956 kB
SwapFree:      4184004 kB
Dirty:            7152 kB
Writeback:           0 kB
Mapped:         107488 kB
Slab:            57720 kB
Committed_AS:  3519032 kB
PageTables:       1952 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= 66538 MiB



End job on node45 on Sat Jan  6 12:05:44 UTC 2007