Trace number 196326

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 ACUNSAT 1663.45 1664.14

DiagnosticValue
CHECKS1236829999
NODES1041250

General information on the benchmark

Namerandom/rand-3-24-24/
rand-3-24-24-76-632-42_ext.xml
MD5SUM9b534ebbbf8ce10b1dee18db24a78748
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark539.028
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables24
Number of constraints72
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension72
Number of constraints which are defined in intension0
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/196326-1168070561/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.42	       =>  wckTime=0.094  cpuTime=0.08  mem=6M951
0.42	   
0.42	   relations being loaded...
0.95	   
0.95	   constraints being loaded...
1.26	     nbConstraints=72  nbRelationTypes=72  nbExtensionStructures=72  nbSharedExtensionStructures=0
1.26	     nbConflictsStructures=72  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=14  maxArity=3
1.26	       =>  wckTime=0.936  cpuTime=0.83  mem=43M989
1.37	   
1.37	   solver IterativeSystematicSolver being built... 
1.52	       =>  wckTime=1.199  cpuTime=0.96  mem=33M47
1.53	   
1.53	   preprocessing
1.53	     nbConstraintChecks=0  nbPropagations=24  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.53	     detectedInconsistency=no
1.53	       =>  wckTime=0.0040  cpuTime=0.0  mem=33M47
1.62	   
1.62	   search
1.62	     run=0  nbConstraintChecks=21967  nbValidityChecks=35340  nbPropagations=213  nbRevisions=2167
1.62	     nbUselessRevisions=1748  nbAssignments=20  nbFailedAssignments=6  nbBacktracks=10  nbVisitedNodes=30
1.62	     nbRestartNogoods=0  mapSize=5  nbInferences=0  nbTooLargeKeys=0
1.62	       =>  wckTime=0.091  cpuTime=0.06  mem=34M88
1.69	   
1.69	   search
1.69	     run=1  nbConstraintChecks=69871  nbValidityChecks=126154  nbPropagations=880  nbRevisions=9547
1.69	     nbUselessRevisions=7705  nbAssignments=65  nbFailedAssignments=32  nbBacktracks=25  nbVisitedNodes=112
1.69	     nbRestartNogoods=3  mapSize=20  nbInferences=0  nbTooLargeKeys=0
1.69	       =>  wckTime=0.168  cpuTime=0.13  mem=34M88
1.76	   
1.76	   search
1.76	     run=2  nbConstraintChecks=106964  nbValidityChecks=205095  nbPropagations=1993  nbRevisions=22088
1.76	     nbUselessRevisions=17804  nbAssignments=112  nbFailedAssignments=51  nbBacktracks=47  nbVisitedNodes=191
1.76	     nbRestartNogoods=6  mapSize=37  nbInferences=0  nbTooLargeKeys=0
1.76	       =>  wckTime=0.235  cpuTime=0.19  mem=34M88
1.86	   
1.86	   search
1.86	     run=3  nbConstraintChecks=164814  nbValidityChecks=334664  nbPropagations=3941  nbRevisions=44101
1.86	     nbUselessRevisions=35469  nbAssignments=179  nbFailedAssignments=79  nbBacktracks=82  nbVisitedNodes=306
1.86	     nbRestartNogoods=9  mapSize=64  nbInferences=0  nbTooLargeKeys=0
1.86	       =>  wckTime=0.332  cpuTime=0.28  mem=34M88
2.14	   
2.14	   search
2.14	     run=4  nbConstraintChecks=368705  nbValidityChecks=754905  nbPropagations=8025  nbRevisions=92102
2.14	     nbUselessRevisions=73682  nbAssignments=375  nbFailedAssignments=221  nbBacktracks=132  nbVisitedNodes=682
2.14	     nbRestartNogoods=13  mapSize=112  nbInferences=0  nbTooLargeKeys=0
2.14	       =>  wckTime=0.611  cpuTime=0.56  mem=34M88
2.47	   
2.47	   search
2.47	     run=5  nbConstraintChecks=602363  nbValidityChecks=1232538  nbPropagations=14629  nbRevisions=173266
2.47	     nbUselessRevisions=138418  nbAssignments=607  nbFailedAssignments=369  nbBacktracks=209  nbVisitedNodes=1113
2.47	     nbRestartNogoods=15  mapSize=185  nbInferences=0  nbTooLargeKeys=0
2.47	       =>  wckTime=0.948  cpuTime=0.89  mem=34M88
2.78	   
2.78	   search
2.78	     run=6  nbConstraintChecks=812331  nbValidityChecks=1660625  nbPropagations=23795  nbRevisions=283770
2.78	     nbUselessRevisions=226249  nbAssignments=812  nbFailedAssignments=454  nbBacktracks=323  nbVisitedNodes=1462
2.78	     nbRestartNogoods=25  mapSize=274  nbInferences=0  nbTooLargeKeys=0
2.78	       =>  wckTime=1.257  cpuTime=1.2  mem=34M88
3.22	   
3.22	   search
3.22	     run=7  nbConstraintChecks=1111667  nbValidityChecks=2264243  nbPropagations=36511  nbRevisions=434558
3.22	     nbUselessRevisions=345568  nbAssignments=1103  nbFailedAssignments=570  nbBacktracks=495  nbVisitedNodes=1953
3.22	     nbRestartNogoods=30  mapSize=403  nbInferences=0  nbTooLargeKeys=0
3.22	       =>  wckTime=1.699  cpuTime=1.64  mem=34M88
3.93	   
3.93	   search
3.93	     run=8  nbConstraintChecks=1591913  nbValidityChecks=3217167  nbPropagations=54842  nbRevisions=648735
3.93	     nbUselessRevisions=514357  nbAssignments=1569  nbFailedAssignments=773  nbBacktracks=752  nbVisitedNodes=2752
3.93	     nbRestartNogoods=34  mapSize=602  nbInferences=0  nbTooLargeKeys=0
3.93	       =>  wckTime=2.404  cpuTime=2.33  mem=34M88
6.02	   
6.02	   search
6.02	     run=9  nbConstraintChecks=3195704  nbValidityChecks=6294597  nbPropagations=87731  nbRevisions=1038174
6.02	     nbUselessRevisions=819772  nbAssignments=2877  nbFailedAssignments=1692  nbBacktracks=1136  nbVisitedNodes=5286
6.02	     nbRestartNogoods=41  mapSize=964  nbInferences=0  nbTooLargeKeys=0
6.02	       =>  wckTime=4.497  cpuTime=4.41  mem=34M88
6.25	   
6.25	   INFO : Stopping hyperNogood (mapSize=1020, nbTooLargekeys=0, mem=34M88)
7.93	   
7.93	   search
7.93	     run=10  nbConstraintChecks=4613739  nbValidityChecks=9222495  nbPropagations=136361  nbRevisions=1634349
7.93	     nbUselessRevisions=1291963  nbAssignments=4325  nbFailedAssignments=2558  nbBacktracks=1712  nbVisitedNodes=7956
7.93	     nbRestartNogoods=50
7.93	       =>  wckTime=6.404  cpuTime=6.31  mem=34M88
10.18	   
10.18	   search
10.18	     run=11  nbConstraintChecks=6242055  nbValidityChecks=12465287  nbPropagations=204297  nbRevisions=2452133
10.18	     nbUselessRevisions=1937394  nbAssignments=5916  nbFailedAssignments=3277  nbBacktracks=2578  nbVisitedNodes=10706
10.18	     nbRestartNogoods=54
10.18	       =>  wckTime=8.655  cpuTime=8.56  mem=34M88
14.95	   
14.95	   search
14.95	     run=12  nbConstraintChecks=9820186  nbValidityChecks=19650997  nbPropagations=309811  nbRevisions=3714519
14.95	     nbUselessRevisions=2932645  nbAssignments=9139  nbFailedAssignments=5195  nbBacktracks=3876  nbVisitedNodes=16601
14.95	     nbRestartNogoods=73
14.95	       =>  wckTime=13.426  cpuTime=13.33  mem=34M88
20.24	   
20.24	   search
20.24	     run=13  nbConstraintChecks=13721833  nbValidityChecks=27262043  nbPropagations=458451  nbRevisions=5460374
20.24	     nbUselessRevisions=4304995  nbAssignments=12726  nbFailedAssignments=6830  nbBacktracks=5822  nbVisitedNodes=22832
20.24	     nbRestartNogoods=109
20.24	       =>  wckTime=18.72  cpuTime=18.62  mem=34M88
29.86	   
29.86	   search
29.86	     run=14  nbConstraintChecks=20946475  nbValidityChecks=41522931  nbPropagations=686777  nbRevisions=8108878
29.86	     nbUselessRevisions=6381811  nbAssignments=19252  nbFailedAssignments=10432  nbBacktracks=8742  nbVisitedNodes=34682
29.86	     nbRestartNogoods=126
29.86	       =>  wckTime=28.333  cpuTime=28.23  mem=34M88
43.15	   
43.15	   search
43.15	     run=15  nbConstraintChecks=30742636  nbValidityChecks=60970933  nbPropagations=1023754  nbRevisions=11996979
43.15	     nbUselessRevisions=9430418  nbAssignments=28002  nbFailedAssignments=14798  nbBacktracks=13120
43.15	     nbVisitedNodes=50241  nbRestartNogoods=154
43.15	       =>  wckTime=41.631  cpuTime=41.52  mem=34M88
63.19	   
63.19	   search
63.19	     run=16  nbConstraintChecks=45585775  nbValidityChecks=90616126  nbPropagations=1525661  nbRevisions=17745116
63.19	     nbUselessRevisions=13933385  nbAssignments=41671  nbFailedAssignments=21893  nbBacktracks=19690
63.19	     nbVisitedNodes=74729  nbRestartNogoods=168
63.19	       =>  wckTime=61.668  cpuTime=61.55  mem=34M88
96.44	   
96.44	   search
96.44	     run=17  nbConstraintChecks=70403199  nbValidityChecks=139736294  nbPropagations=2299549  nbRevisions=26628840
96.44	     nbUselessRevisions=20897247  nbAssignments=63281  nbFailedAssignments=33645  nbBacktracks=29545
96.44	     nbVisitedNodes=113999  nbRestartNogoods=200
96.44	       =>  wckTime=94.915  cpuTime=94.78  mem=34M88
144.60	   
144.60	   search
144.60	     run=18  nbConstraintChecks=106169911  nbValidityChecks=210448805  nbPropagations=3463492  nbRevisions=39978904
144.60	     nbUselessRevisions=31363072  nbAssignments=94532  nbFailedAssignments=50113  nbBacktracks=44324
144.60	     nbVisitedNodes=170332  nbRestartNogoods=219
144.60	       =>  wckTime=143.076  cpuTime=142.92  mem=34M88
220.69	   
220.69	   search
220.69	     run=19  nbConstraintChecks=162457151  nbValidityChecks=322047786  nbPropagations=5227704  nbRevisions=60273583
220.69	     nbUselessRevisions=47289011  nbAssignments=141776  nbFailedAssignments=75184  nbBacktracks=66492
220.69	     nbVisitedNodes=255746  nbRestartNogoods=236
220.69	       =>  wckTime=219.164  cpuTime=218.99  mem=34M88
334.33	   
334.33	   search
334.33	     run=20  nbConstraintChecks=246991257  nbValidityChecks=490030564  nbPropagations=7901721  nbRevisions=91033187
334.33	     nbUselessRevisions=71430933  nbAssignments=214439  nbFailedAssignments=114591  nbBacktracks=99746
334.33	     nbVisitedNodes=387690  nbRestartNogoods=260
334.33	       =>  wckTime=332.809  cpuTime=332.59  mem=34M88
508.25	   
508.25	   search
508.25	     run=21  nbConstraintChecks=376602981  nbValidityChecks=748035927  nbPropagations=11956249  nbRevisions=137738790
508.25	     nbUselessRevisions=108110781  nbAssignments=324614  nbFailedAssignments=174882  nbBacktracks=149624
508.25	     nbVisitedNodes=587999  nbRestartNogoods=294
508.25	       =>  wckTime=506.728  cpuTime=506.45  mem=34M88
762.08	   
762.08	   search
762.08	     run=22  nbConstraintChecks=565235540  nbValidityChecks=1122500905  nbPropagations=18011268  nbRevisions=207479286
762.08	     nbUselessRevisions=162878140  nbAssignments=484906  nbFailedAssignments=260351  nbBacktracks=224442
762.08	     nbVisitedNodes=877286  nbRestartNogoods=310
762.08	       =>  wckTime=760.559  cpuTime=760.19  mem=34M88
1150.26	   
1150.26	   search
1150.26	     run=23  nbConstraintChecks=854534398  nbValidityChecks=1693064874  nbPropagations=27087431  nbRevisions=312097813
1150.26	     nbUselessRevisions=245032009  nbAssignments=725801  nbFailedAssignments=389013  nbBacktracks=336669
1150.26	     nbVisitedNodes=1312216  nbRestartNogoods=342
1150.26	       =>  wckTime=1148.739  cpuTime=1148.24  mem=34M88
1664.06	   
1664.06	   search
1664.06	     run=24  nbConstraintChecks=1236829999  nbValidityChecks=2447371030  nbPropagations=40147912  nbRevisions=462739471
1664.06	     nbUselessRevisions=363334710  nbAssignments=1041250  nbFailedAssignments=555854  nbBacktracks=485278
1664.06	     nbVisitedNodes=1880938  nbRestartNogoods=368
1664.06	       =>  wckTime=1662.535  cpuTime=1661.85  mem=34M88
1664.06	   
1664.06	   global
1664.06	     nbConstraintChecks=1236829999  nbValidityChecks=2447371030  nbPropagations=40147936  nbRevisions=462739471
1664.06	     nbUselessRevisions=363334710  nbRestartNogoods=368  solvingWckTime=1662.536  solvingCpuTime=1661.85  expiredTime=no
1664.06	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=1662.85
1664.06	       =>  wckTime=1663.738  cpuTime=1662.81  mem=34M88
1664.06	   
1664.06	s UNSATISFIABLE
1664.06	d NODES 1041250
1664.06	d CHECKS 1236829999
1664.06	   
1664.06	   totalWckTime=1663.814  totalCpuTime=1662.85

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node61/watcher-196326-1168070561 -o ROOT/results/node61/solver-196326-1168070561 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196326-1168070561/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.00 1.07 1.27 3/65 5447
/proc/meminfo: memFree=1368192/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=1784 CPUtime=0
/proc/5446/stat : 5446 (java) D 5444 5446 4875 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 155453950 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/5446/statm: 446 136 102 14 0 91 0

[startup+0.106221 s]
/proc/loadavg: 1.00 1.07 1.27 3/65 5447
/proc/meminfo: memFree=1368192/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=911488 CPUtime=0.06
/proc/5446/stat : 5446 (java) R 5444 5446 4875 0 -1 0 2637 0 1 0 5 1 0 0 24 0 8 0 155453950 933363712 2384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5446/statm: 227872 2384 1284 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488

[startup+0.514281 s]
/proc/loadavg: 1.00 1.07 1.27 3/65 5447
/proc/meminfo: memFree=1368192/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=915328 CPUtime=0.47
/proc/5446/stat : 5446 (java) R 5444 5446 4875 0 -1 0 7593 0 1 0 42 5 0 0 17 0 8 0 155453950 937295872 7332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073562222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5446/statm: 228832 7332 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328

[startup+1.33842 s]
/proc/loadavg: 1.00 1.07 1.27 2/72 5454
/proc/meminfo: memFree=1301128/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=915420 CPUtime=1.29
/proc/5446/stat : 5446 (java) S 5444 5446 4875 0 -1 0 19148 0 1 0 118 11 0 0 16 0 8 0 155453950 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5446/statm: 228855 18886 2169 14 0 215325 0
[pid=5446/tid=5448] ppid=5444 vsize=915420 CPUtime=0.12
/proc/5446/task/5448/stat : 5448 (java) R 5444 5446 4875 0 -1 64 2663 0 0 0 12 0 0 0 16 0 8 0 155453956 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525853 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5446/tid=5449] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5449/stat : 5449 (java) S 5444 5446 4875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155453956 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5450] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5450/stat : 5450 (java) S 5444 5446 4875 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155453956 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5451] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5451/stat : 5451 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155453959 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5452] ppid=5444 vsize=915420 CPUtime=0.08
/proc/5446/task/5452/stat : 5452 (java) S 5444 5446 4875 0 -1 64 320 0 0 0 8 0 0 0 15 0 8 0 155453959 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5453] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5453/stat : 5453 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155453959 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5454] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5454/stat : 5454 (java) S 5444 5446 4875 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155453959 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915420

[startup+2.97571 s]
/proc/loadavg: 1.00 1.07 1.27 2/72 5454
/proc/meminfo: memFree=1286216/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=915420 CPUtime=2.93
/proc/5446/stat : 5446 (java) R 5444 5446 4875 0 -1 0 23184 0 1 0 278 15 0 0 16 0 8 0 155453950 937390080 22918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073776368 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5446/statm: 228855 22918 2521 14 0 215325 0
[pid=5446/tid=5448] ppid=5444 vsize=915420 CPUtime=0.15
/proc/5446/task/5448/stat : 5448 (java) S 5444 5446 4875 0 -1 64 6218 0 0 0 13 2 0 0 17 0 8 0 155453956 937390080 22918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5446/tid=5449] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5449/stat : 5449 (java) S 5444 5446 4875 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5450] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5450/stat : 5450 (java) S 5444 5446 4875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5451] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5451/stat : 5451 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155453959 937390080 22918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5452] ppid=5444 vsize=915420 CPUtime=0.16
/proc/5446/task/5452/stat : 5452 (java) S 5444 5446 4875 0 -1 64 373 0 0 0 15 1 0 0 16 0 8 0 155453959 937390080 22918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5453] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5453/stat : 5453 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155453959 937390080 22918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5454] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5454/stat : 5454 (java) S 5444 5446 4875 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155453959 937390080 22918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915420

[startup+6.26729 s]
/proc/loadavg: 1.00 1.07 1.27 2/72 5454
/proc/meminfo: memFree=1286024/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=915420 CPUtime=6.22
/proc/5446/stat : 5446 (java) R 5444 5446 4875 0 -1 0 23201 0 1 0 607 15 0 0 17 0 8 0 155453950 937390080 22933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073755624 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5446/statm: 228855 22933 2521 14 0 215325 0
[pid=5446/tid=5448] ppid=5444 vsize=915420 CPUtime=0.15
/proc/5446/task/5448/stat : 5448 (java) S 5444 5446 4875 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 155453956 937390080 22933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5446/tid=5449] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5449/stat : 5449 (java) S 5444 5446 4875 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5450] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5450/stat : 5450 (java) S 5444 5446 4875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5451] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5451/stat : 5451 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155453959 937390080 22933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5452] ppid=5444 vsize=915420 CPUtime=0.19
/proc/5446/task/5452/stat : 5452 (java) S 5444 5446 4875 0 -1 64 388 0 0 0 18 1 0 0 16 0 8 0 155453959 937390080 22933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5453] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5453/stat : 5453 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155453959 937390080 22933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5454] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5454/stat : 5454 (java) S 5444 5446 4875 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155453959 937390080 22933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915420

[startup+12.7374 s]
/proc/loadavg: 1.00 1.07 1.27 2/72 5454
/proc/meminfo: memFree=1286024/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=915420 CPUtime=12.69
/proc/5446/stat : 5446 (java) R 5444 5446 4875 0 -1 0 23207 0 1 0 1254 15 0 0 25 0 8 0 155453950 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073753844 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5446/statm: 228855 22936 2521 14 0 215325 0
[pid=5446/tid=5448] ppid=5444 vsize=915420 CPUtime=0.15
/proc/5446/task/5448/stat : 5448 (java) S 5444 5446 4875 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5446/tid=5449] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5449/stat : 5449 (java) S 5444 5446 4875 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5450] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5450/stat : 5450 (java) S 5444 5446 4875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5451] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5451/stat : 5451 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5452] ppid=5444 vsize=915420 CPUtime=0.2
/proc/5446/task/5452/stat : 5452 (java) S 5444 5446 4875 0 -1 64 392 0 0 0 19 1 0 0 16 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5453] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5453/stat : 5453 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5454] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5454/stat : 5454 (java) S 5444 5446 4875 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915420

[startup+25.5697 s]
/proc/loadavg: 1.00 1.06 1.27 2/72 5454
/proc/meminfo: memFree=1286152/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=915420 CPUtime=25.51
/proc/5446/stat : 5446 (java) R 5444 5446 4875 0 -1 0 23207 0 1 0 2536 15 0 0 25 0 8 0 155453950 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758403 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5446/statm: 228855 22936 2521 14 0 215325 0
[pid=5446/tid=5448] ppid=5444 vsize=915420 CPUtime=0.15
/proc/5446/task/5448/stat : 5448 (java) S 5444 5446 4875 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5446/tid=5449] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5449/stat : 5449 (java) S 5444 5446 4875 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5450] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5450/stat : 5450 (java) S 5444 5446 4875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5451] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5451/stat : 5451 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5452] ppid=5444 vsize=915420 CPUtime=0.2
/proc/5446/task/5452/stat : 5452 (java) S 5444 5446 4875 0 -1 64 392 0 0 0 19 1 0 0 16 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5453] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5453/stat : 5453 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5454] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5454/stat : 5454 (java) S 5444 5446 4875 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 915420

[startup+51.2482 s]
/proc/loadavg: 1.00 1.06 1.26 2/72 5454
/proc/meminfo: memFree=1286216/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=915420 CPUtime=51.18
/proc/5446/stat : 5446 (java) R 5444 5446 4875 0 -1 0 23207 0 1 0 5103 15 0 0 25 0 8 0 155453950 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073755615 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5446/statm: 228855 22936 2521 14 0 215325 0
[pid=5446/tid=5448] ppid=5444 vsize=915420 CPUtime=0.15
/proc/5446/task/5448/stat : 5448 (java) S 5444 5446 4875 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5446/tid=5449] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5449/stat : 5449 (java) S 5444 5446 4875 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5450] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5450/stat : 5450 (java) S 5444 5446 4875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5451] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5451/stat : 5451 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5452] ppid=5444 vsize=915420 CPUtime=0.2
/proc/5446/task/5452/stat : 5452 (java) S 5444 5446 4875 0 -1 64 392 0 0 0 19 1 0 0 16 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5453] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5453/stat : 5453 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5454] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5454/stat : 5454 (java) S 5444 5446 4875 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 915420

[startup+102.5 s]
/proc/loadavg: 1.00 1.05 1.24 2/72 5454
/proc/meminfo: memFree=1286280/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=915420 CPUtime=102.41
/proc/5446/stat : 5446 (java) R 5444 5446 4875 0 -1 0 23207 0 1 0 10226 15 0 0 25 0 8 0 155453950 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073755692 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5446/statm: 228855 22936 2521 14 0 215325 0
[pid=5446/tid=5448] ppid=5444 vsize=915420 CPUtime=0.15
/proc/5446/task/5448/stat : 5448 (java) S 5444 5446 4875 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5446/tid=5449] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5449/stat : 5449 (java) S 5444 5446 4875 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5450] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5450/stat : 5450 (java) S 5444 5446 4875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5451] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5451/stat : 5451 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5452] ppid=5444 vsize=915420 CPUtime=0.2
/proc/5446/task/5452/stat : 5452 (java) S 5444 5446 4875 0 -1 64 392 0 0 0 19 1 0 0 16 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5453] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5453/stat : 5453 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5454] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5454/stat : 5454 (java) S 5444 5446 4875 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.41
Current children cumulated vsize (KiB) 915420

[startup+162.58 s]
/proc/loadavg: 1.00 1.04 1.23 2/72 5454
/proc/meminfo: memFree=1286344/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=915420 CPUtime=162.47
/proc/5446/stat : 5446 (java) R 5444 5446 4875 0 -1 0 23207 0 1 0 16232 15 0 0 25 0 8 0 155453950 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073624813 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

/proc/5446/task/5451/stat : 5451 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5452] ppid=5444 vsize=915420 CPUtime=0.2
/proc/5446/task/5452/stat : 5452 (java) S 5444 5446 4875 0 -1 64 392 0 0 0 19 1 0 0 16 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5453] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5453/stat : 5453 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5454] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5454/stat : 5454 (java) S 5444 5446 4875 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1183.52
Current children cumulated vsize (KiB) 915420

[startup+1244.06 s]
/proc/loadavg: 1.00 1.00 1.06 2/72 5456
/proc/meminfo: memFree=1286280/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=915420 CPUtime=1243.57
/proc/5446/stat : 5446 (java) R 5444 5446 4875 0 -1 0 23207 0 1 0 124341 16 0 0 25 0 8 0 155453950 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761667 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5446/statm: 228855 22936 2521 14 0 215325 0
[pid=5446/tid=5448] ppid=5444 vsize=915420 CPUtime=0.15
/proc/5446/task/5448/stat : 5448 (java) S 5444 5446 4875 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5446/tid=5449] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5449/stat : 5449 (java) S 5444 5446 4875 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5450] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5450/stat : 5450 (java) S 5444 5446 4875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5451] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5451/stat : 5451 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5452] ppid=5444 vsize=915420 CPUtime=0.2
/proc/5446/task/5452/stat : 5452 (java) S 5444 5446 4875 0 -1 64 392 0 0 0 19 1 0 0 16 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5453] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5453/stat : 5453 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5454] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5454/stat : 5454 (java) S 5444 5446 4875 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1243.57
Current children cumulated vsize (KiB) 915420

[startup+1304.15 s]
/proc/loadavg: 1.00 1.00 1.05 2/72 5456
/proc/meminfo: memFree=1286280/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=915420 CPUtime=1303.64
/proc/5446/stat : 5446 (java) R 5444 5446 4875 0 -1 0 23207 0 1 0 130348 16 0 0 25 0 8 0 155453950 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629628 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5446/statm: 228855 22936 2521 14 0 215325 0
[pid=5446/tid=5448] ppid=5444 vsize=915420 CPUtime=0.15
/proc/5446/task/5448/stat : 5448 (java) S 5444 5446 4875 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5446/tid=5449] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5449/stat : 5449 (java) S 5444 5446 4875 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5450] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5450/stat : 5450 (java) S 5444 5446 4875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5451] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5451/stat : 5451 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5452] ppid=5444 vsize=915420 CPUtime=0.2
/proc/5446/task/5452/stat : 5452 (java) S 5444 5446 4875 0 -1 64 392 0 0 0 19 1 0 0 16 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5453] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5453/stat : 5453 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5454] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5454/stat : 5454 (java) S 5444 5446 4875 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1303.64
Current children cumulated vsize (KiB) 915420

[startup+1364.24 s]
/proc/loadavg: 1.00 1.00 1.04 2/72 5456
/proc/meminfo: memFree=1286280/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=915420 CPUtime=1363.7
/proc/5446/stat : 5446 (java) R 5444 5446 4875 0 -1 0 23207 0 1 0 136354 16 0 0 25 0 8 0 155453950 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073765150 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5446/statm: 228855 22936 2521 14 0 215325 0
[pid=5446/tid=5448] ppid=5444 vsize=915420 CPUtime=0.15
/proc/5446/task/5448/stat : 5448 (java) S 5444 5446 4875 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5446/tid=5449] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5449/stat : 5449 (java) S 5444 5446 4875 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5450] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5450/stat : 5450 (java) S 5444 5446 4875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5451] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5451/stat : 5451 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5452] ppid=5444 vsize=915420 CPUtime=0.2
/proc/5446/task/5452/stat : 5452 (java) S 5444 5446 4875 0 -1 64 392 0 0 0 19 1 0 0 16 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5453] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5453/stat : 5453 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5454] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5454/stat : 5454 (java) S 5444 5446 4875 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1363.7
Current children cumulated vsize (KiB) 915420

[startup+1424.32 s]
/proc/loadavg: 1.07 1.02 1.04 2/72 5456
/proc/meminfo: memFree=1286280/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=915420 CPUtime=1423.77
/proc/5446/stat : 5446 (java) R 5444 5446 4875 0 -1 0 23207 0 1 0 142361 16 0 0 25 0 8 0 155453950 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754841 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5446/statm: 228855 22936 2521 14 0 215325 0
[pid=5446/tid=5448] ppid=5444 vsize=915420 CPUtime=0.15
/proc/5446/task/5448/stat : 5448 (java) S 5444 5446 4875 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5446/tid=5449] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5449/stat : 5449 (java) S 5444 5446 4875 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5450] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5450/stat : 5450 (java) S 5444 5446 4875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5451] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5451/stat : 5451 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5452] ppid=5444 vsize=915420 CPUtime=0.2
/proc/5446/task/5452/stat : 5452 (java) S 5444 5446 4875 0 -1 64 392 0 0 0 19 1 0 0 16 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5453] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5453/stat : 5453 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5454] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5454/stat : 5454 (java) S 5444 5446 4875 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1423.77
Current children cumulated vsize (KiB) 915420

[startup+1484.4 s]
/proc/loadavg: 1.02 1.01 1.04 2/72 5456
/proc/meminfo: memFree=1286280/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=915420 CPUtime=1483.83
/proc/5446/stat : 5446 (java) R 5444 5446 4875 0 -1 0 23207 0 1 0 148367 16 0 0 25 0 8 0 155453950 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073753801 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5446/statm: 228855 22936 2521 14 0 215325 0
[pid=5446/tid=5448] ppid=5444 vsize=915420 CPUtime=0.15
/proc/5446/task/5448/stat : 5448 (java) S 5444 5446 4875 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5446/tid=5449] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5449/stat : 5449 (java) S 5444 5446 4875 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5450] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5450/stat : 5450 (java) S 5444 5446 4875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5451] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5451/stat : 5451 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5452] ppid=5444 vsize=915420 CPUtime=0.2
/proc/5446/task/5452/stat : 5452 (java) S 5444 5446 4875 0 -1 64 392 0 0 0 19 1 0 0 16 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5453] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5453/stat : 5453 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5454] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5454/stat : 5454 (java) S 5444 5446 4875 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1483.83
Current children cumulated vsize (KiB) 915420

[startup+1544.48 s]
/proc/loadavg: 1.01 1.00 1.03 2/72 5456
/proc/meminfo: memFree=1286216/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=915420 CPUtime=1543.88
/proc/5446/stat : 5446 (java) R 5444 5446 4875 0 -1 0 23207 0 1 0 154372 16 0 0 25 0 8 0 155453950 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073776314 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5446/statm: 228855 22936 2521 14 0 215325 0
[pid=5446/tid=5448] ppid=5444 vsize=915420 CPUtime=0.15
/proc/5446/task/5448/stat : 5448 (java) S 5444 5446 4875 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5446/tid=5449] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5449/stat : 5449 (java) S 5444 5446 4875 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5450] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5450/stat : 5450 (java) S 5444 5446 4875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5451] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5451/stat : 5451 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5452] ppid=5444 vsize=915420 CPUtime=0.2
/proc/5446/task/5452/stat : 5452 (java) S 5444 5446 4875 0 -1 64 392 0 0 0 19 1 0 0 16 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5453] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5453/stat : 5453 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5454] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5454/stat : 5454 (java) S 5444 5446 4875 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1543.88
Current children cumulated vsize (KiB) 915420

[startup+1604.57 s]
/proc/loadavg: 1.00 1.00 1.03 2/72 5456
/proc/meminfo: memFree=1286216/2055920 swapFree=4192812/4192956
[pid=5446] ppid=5444 vsize=915420 CPUtime=1603.95
/proc/5446/stat : 5446 (java) R 5444 5446 4875 0 -1 0 23207 0 1 0 160379 16 0 0 25 0 8 0 155453950 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073759561 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5446/statm: 228855 22936 2521 14 0 215325 0
[pid=5446/tid=5448] ppid=5444 vsize=915420 CPUtime=0.15
/proc/5446/task/5448/stat : 5448 (java) S 5444 5446 4875 0 -1 64 6218 0 0 0 13 2 0 0 16 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5446/tid=5449] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5449/stat : 5449 (java) S 5444 5446 4875 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5450] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5450/stat : 5450 (java) S 5444 5446 4875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155453956 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5451] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5451/stat : 5451 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5452] ppid=5444 vsize=915420 CPUtime=0.2
/proc/5446/task/5452/stat : 5452 (java) S 5444 5446 4875 0 -1 64 392 0 0 0 19 1 0 0 16 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5453] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5453/stat : 5453 (java) S 5444 5446 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5446/tid=5454] ppid=5444 vsize=915420 CPUtime=0
/proc/5446/task/5454/stat : 5454 (java) S 5444 5446 4875 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155453959 937390080 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1603.95
Current children cumulated vsize (KiB) 915420

Child status: 0
Real time (s): 1664.14
CPU time (s): 1663.45
CPU user time (s): 1663.27
CPU system time (s): 0.177972
CPU usage (%): 99.9587
Max. virtual memory (cumulated for all children) (KiB): 915420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1663.27
system time used= 0.177972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23214
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= 34486
involuntary context switches= 4048

runsolver used 1.63375 s user time and 4.26835 s system time

The end

Launcher Data (download as text)

Begin job on node61 on Sat Jan  6 08:02:41 UTC 2007


IDJOB= 196326
IDBENCH= 3343
FILE ID= node61/196326-1168070561

PBS_JOBID= 3475919

Free space on /tmp= 66508 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-42_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196326-1168070561/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node61/watcher-196326-1168070561 -o ROOT/results/node61/solver-196326-1168070561 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196326-1168070561/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  9b534ebbbf8ce10b1dee18db24a78748

RANDOM SEED= 898827482

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:       1368608 kB
Buffers:         47160 kB
Cached:         541380 kB
SwapCached:          0 kB
Active:          84280 kB
Inactive:       519564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1368608 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4408 kB
Writeback:           0 kB
Mapped:          25484 kB
Slab:            69552 kB
Committed_AS:  2957276 kB
PageTables:       1388 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= 66508 MiB



End job on node61 on Sat Jan  6 08:30:26 UTC 2007