Trace number 252595

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.15 1803.91

General information on the benchmark

NamesocialGolfers/
socialGolfer-6-4-5.xml
MD5SUM6ccf3d453c1dca720aab2c3bd1d5cd6d
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1740
Number of constraints6040
Maximum constraint arity20
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension6040
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/252595-1168087234/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.51	     nbVariables=1740  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.51	       =>  wckTime=0.197  cpuTime=0.12  mem=6M886
0.51	   
0.51	   predicates being loaded...
0.51	   
0.51	   constraints being loaded...
1.41	     nbConstraints=6040  nbConflictsStructures=3  nbSharedConflictsStructures=6007  nbUnbuiltConflictsStructures=1
1.41	     nbSharedBinaryRepresentations=0  nbEvaluationManagers=4  nbSharedEvaluationManagers=6036  maxDegree=21  maxArity=20
1.41	       =>  wckTime=1.097  cpuTime=0.93  mem=47M843
1.52	   
1.52	   solver IterativeSystematicSolver being built... 
1.91	       =>  wckTime=1.606  cpuTime=1.22  mem=15M852
1.98	   
1.98	   preprocessing
1.98	     nbConstraintChecks=5760  nbValidityChecks=600  nbPropagations=1740  nbRevisions=600  nbUselessRevisions=600
1.98	     nbRemovedValues=0  detectedInconsistency=no
1.98	       =>  wckTime=0.058  cpuTime=0.04  mem=16M841
2.09	   
2.09	   search
2.09	     run=0  nbConstraintChecks=5477  nbValidityChecks=5773  nbPropagations=1950  nbRevisions=3766
2.09	     nbUselessRevisions=3600  nbAssignments=90  nbFailedAssignments=4  nbBacktracks=11  nbVisitedNodes=98
2.09	     nbRestartNogoods=0  mapSize=6  nbInferences=0  nbTooLargeKeys=0
2.09	       =>  wckTime=0.167  cpuTime=0.12  mem=16M841
2.18	   
2.18	   search
2.18	     run=1  nbConstraintChecks=10024  nbValidityChecks=14169  nbPropagations=4297  nbRevisions=12348
2.18	     nbUselessRevisions=11649  nbAssignments=215  nbFailedAssignments=8  nbBacktracks=30  nbVisitedNodes=236
2.18	     nbRestartNogoods=1  mapSize=18  nbInferences=0  nbTooLargeKeys=0
2.18	       =>  wckTime=0.256  cpuTime=0.2  mem=16M841
2.29	   
2.29	   search
2.29	     run=2  nbConstraintChecks=18452  nbValidityChecks=25123  nbPropagations=7165  nbRevisions=27317
2.29	     nbUselessRevisions=25612  nbAssignments=376  nbFailedAssignments=14  nbBacktracks=53  nbVisitedNodes=412
2.29	     nbRestartNogoods=2  mapSize=31  nbInferences=0  nbTooLargeKeys=0
2.29	       =>  wckTime=0.371  cpuTime=0.31  mem=16M841
2.51	   
2.51	   search
2.51	     run=3  nbConstraintChecks=61158  nbValidityChecks=39047  nbPropagations=10810  nbRevisions=50966
2.51	     nbUselessRevisions=47544  nbAssignments=599  nbFailedAssignments=22  nbBacktracks=95  nbVisitedNodes=655
2.51	     nbRestartNogoods=4  mapSize=49  nbInferences=0  nbTooLargeKeys=0
2.51	       =>  wckTime=0.585  cpuTime=0.52  mem=16M841
2.85	   
2.85	   search
2.85	     run=4  nbConstraintChecks=127227  nbValidityChecks=61627  nbPropagations=15941  nbRevisions=90480
2.85	     nbUselessRevisions=83861  nbAssignments=929  nbFailedAssignments=34  nbBacktracks=149  nbVisitedNodes=1016
2.85	     nbRestartNogoods=6  mapSize=75  nbInferences=0  nbTooLargeKeys=0
2.85	       =>  wckTime=0.932  cpuTime=0.86  mem=17M829
3.56	   
3.56	   search
3.56	     run=5  nbConstraintChecks=228850  nbValidityChecks=92036  nbPropagations=23441  nbRevisions=154298
3.56	     nbUselessRevisions=141797  nbAssignments=1421  nbFailedAssignments=46  nbBacktracks=230  nbVisitedNodes=1551
3.56	     nbRestartNogoods=11  mapSize=112  nbInferences=0  nbTooLargeKeys=0
3.56	       =>  wckTime=1.641  cpuTime=1.56  mem=17M829
4.24	   
4.24	   search
4.24	     run=6  nbConstraintChecks=278360  nbValidityChecks=111234  nbPropagations=32264  nbRevisions=232069
4.24	     nbUselessRevisions=212408  nbAssignments=1932  nbFailedAssignments=57  nbBacktracks=393  nbVisitedNodes=2082
4.24	     nbRestartNogoods=17  mapSize=130  nbInferences=0  nbTooLargeKeys=0
4.24	       =>  wckTime=2.324  cpuTime=2.24  mem=17M829
4.97	   
4.97	   search
4.97	     run=7  nbConstraintChecks=309857  nbValidityChecks=131626  nbPropagations=42524  nbRevisions=324824
4.97	     nbUselessRevisions=296646  nbAssignments=2487  nbFailedAssignments=67  nbBacktracks=570  nbVisitedNodes=2659
4.97	     nbRestartNogoods=19  mapSize=150  nbInferences=0  nbTooLargeKeys=0
4.97	       =>  wckTime=3.053  cpuTime=2.96  mem=18M817
5.75	   
5.75	   search
5.75	     run=8  nbConstraintChecks=352560  nbValidityChecks=162187  nbPropagations=54721  nbRevisions=439962
5.75	     nbUselessRevisions=401280  nbAssignments=3124  nbFailedAssignments=100  nbBacktracks=828  nbVisitedNodes=3365
5.75	     nbRestartNogoods=21  mapSize=213  nbInferences=0  nbTooLargeKeys=0
5.75	       =>  wckTime=3.827  cpuTime=3.73  mem=18M817
6.30	   
6.30	   search
6.30	     run=9  nbConstraintChecks=424111  nbValidityChecks=200973  nbPropagations=69124  nbRevisions=582904
6.30	     nbUselessRevisions=531465  nbAssignments=3717  nbFailedAssignments=137  nbBacktracks=1236  nbVisitedNodes=4034
6.30	     nbRestartNogoods=27  mapSize=287  nbInferences=0  nbTooLargeKeys=0
6.30	       =>  wckTime=4.374  cpuTime=4.27  mem=19M805
7.47	   
7.47	   search
7.47	     run=10  nbConstraintChecks=460237  nbValidityChecks=240671  nbPropagations=86381  nbRevisions=756073
7.47	     nbUselessRevisions=688992  nbAssignments=4652  nbFailedAssignments=171  nbBacktracks=1816  nbVisitedNodes=5041
7.47	     nbRestartNogoods=29  mapSize=357  nbInferences=0  nbTooLargeKeys=0
7.47	       =>  wckTime=5.547  cpuTime=5.42  mem=20M793
9.03	   
9.03	   search
9.03	     run=11  nbConstraintChecks=517534  nbValidityChecks=295865  nbPropagations=107108  nbRevisions=973722
9.03	     nbUselessRevisions=887313  nbAssignments=5891  nbFailedAssignments=226  nbBacktracks=2684  nbVisitedNodes=6392
9.03	     nbRestartNogoods=31  mapSize=467  nbInferences=0  nbTooLargeKeys=0
9.03	       =>  wckTime=7.11  cpuTime=6.98  mem=21M782
12.88	   
12.88	   search
12.88	     run=12  nbConstraintChecks=626076  nbValidityChecks=433776  nbPropagations=140991  nbRevisions=1304888
12.88	     nbUselessRevisions=1185039  nbAssignments=7817  nbFailedAssignments=306  nbBacktracks=4019  nbVisitedNodes=8515
12.88	     nbRestartNogoods=33  mapSize=654  nbInferences=0  nbTooLargeKeys=0
12.88	       =>  wckTime=10.955  cpuTime=10.8  mem=23M758
17.82	   
17.82	   search
17.82	     run=13  nbConstraintChecks=846539  nbValidityChecks=654798  nbPropagations=193536  nbRevisions=1821394
17.82	     nbUselessRevisions=1646758  nbAssignments=10355  nbFailedAssignments=450  nbBacktracks=5975  nbVisitedNodes=11372
17.82	     nbRestartNogoods=43  mapSize=964  nbInferences=0  nbTooLargeKeys=0
17.82	       =>  wckTime=15.897  cpuTime=15.72  mem=25M734
18.42	   
18.42	   INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=26M723)
20.01	   
20.01	   search
20.01	     run=14  nbConstraintChecks=1254853  nbValidityChecks=948591  nbPropagations=268846  nbRevisions=2565270
20.01	     nbUselessRevisions=2310215  nbAssignments=13706  nbFailedAssignments=632  nbBacktracks=8907  nbVisitedNodes=15151
20.01	     nbRestartNogoods=52
20.01	       =>  wckTime=18.085  cpuTime=17.9  mem=26M723
22.42	   
22.42	   search
22.42	     run=15  nbConstraintChecks=1611188  nbValidityChecks=1411618  nbPropagations=389840  nbRevisions=3720362
22.42	     nbUselessRevisions=3331039  nbAssignments=18712  nbFailedAssignments=857  nbBacktracks=13293  nbVisitedNodes=20731
22.42	     nbRestartNogoods=54
22.42	       =>  wckTime=20.502  cpuTime=20.3  mem=26M723
26.42	   
26.42	   search
26.42	     run=16  nbConstraintChecks=2293017  nbValidityChecks=2166386  nbPropagations=592749  nbRevisions=5568264
26.42	     nbUselessRevisions=4951655  nbAssignments=26100  nbFailedAssignments=1300  nbBacktracks=19876  nbVisitedNodes=29068
26.42	     nbRestartNogoods=61
26.42	       =>  wckTime=24.502  cpuTime=24.28  mem=26M723
31.38	   
31.38	   search
31.38	     run=17  nbConstraintChecks=3015497  nbValidityChecks=2861784  nbPropagations=866819  nbRevisions=8068474
31.38	     nbUselessRevisions=7138884  nbAssignments=37130  nbFailedAssignments=2099  nbBacktracks=29765  nbVisitedNodes=42162
31.38	     nbRestartNogoods=67
31.38	       =>  wckTime=29.461  cpuTime=29.21  mem=26M723
39.64	   
39.64	   search
39.64	     run=18  nbConstraintChecks=4299766  nbValidityChecks=4290265  nbPropagations=1275146  nbRevisions=11960988
39.64	     nbUselessRevisions=10556986  nbAssignments=53398  nbFailedAssignments=3230  nbBacktracks=44547
39.64	     nbVisitedNodes=61184  nbRestartNogoods=83
39.64	       =>  wckTime=37.716  cpuTime=37.42  mem=26M723
49.85	   
49.85	   search
49.85	     run=19  nbConstraintChecks=5539930  nbValidityChecks=5580491  nbPropagations=1775977  nbRevisions=17007584
49.85	     nbUselessRevisions=15012581  nbAssignments=78069  nbFailedAssignments=5322  nbBacktracks=66721
49.85	     nbVisitedNodes=91247  nbRestartNogoods=99
49.85	       =>  wckTime=47.931  cpuTime=47.59  mem=26M723
67.01	   
67.01	   search
67.01	     run=20  nbConstraintChecks=7974807  nbValidityChecks=8339719  nbPropagations=2474466  nbRevisions=24617195
67.01	     nbUselessRevisions=21779700  nbAssignments=114808  nbFailedAssignments=8448  nbBacktracks=99975
67.01	     nbVisitedNodes=135614  nbRestartNogoods=115
67.01	       =>  wckTime=65.091  cpuTime=64.67  mem=26M723
94.29	   
94.29	   search
94.29	     run=21  nbConstraintChecks=12301440  nbValidityChecks=12814161  nbPropagations=3559590  nbRevisions=36230245
94.29	     nbUselessRevisions=32079816  nbAssignments=170711  nbFailedAssignments=14102  nbBacktracks=149855
94.29	     nbVisitedNodes=205609  nbRestartNogoods=127
94.29	       =>  wckTime=92.374  cpuTime=91.82  mem=26M723
125.89	   
125.89	   search
125.89	     run=22  nbConstraintChecks=15433389  nbValidityChecks=16139355  nbPropagations=4916383  nbRevisions=50861173
125.89	     nbUselessRevisions=45059349  nbAssignments=251243  nbFailedAssignments=19449  nbBacktracks=224678
125.89	     nbVisitedNodes=299525  nbRestartNogoods=141
125.89	       =>  wckTime=123.97  cpuTime=123.27  mem=26M723
185.49	   
185.49	   search
185.49	     run=23  nbConstraintChecks=25127507  nbValidityChecks=25593247  nbPropagations=7282173  nbRevisions=74170727
185.49	     nbUselessRevisions=65543052  nbAssignments=372480  nbFailedAssignments=28194  nbBacktracks=336906
185.49	     nbVisitedNodes=439944  nbRestartNogoods=163
185.49	       =>  wckTime=183.572  cpuTime=182.59  mem=26M723
277.33	   
277.33	   search
277.33	     run=24  nbConstraintChecks=40250432  nbValidityChecks=41014003  nbPropagations=11113099  nbRevisions=111435447
277.33	     nbUselessRevisions=98230491  nbAssignments=558337  nbFailedAssignments=45316  nbBacktracks=505260
277.33	     nbVisitedNodes=665084  nbRestartNogoods=174
277.33	       =>  wckTime=275.405  cpuTime=274.0  mem=26M723
411.17	   
411.17	   search
411.17	     run=25  nbConstraintChecks=60907748  nbValidityChecks=63337044  nbPropagations=17029288  nbRevisions=169404482
411.17	     nbUselessRevisions=149104591  nbAssignments=833314  nbFailedAssignments=67434  nbBacktracks=757778
411.17	     nbVisitedNodes=990067  nbRestartNogoods=196
411.17	       =>  wckTime=409.25  cpuTime=407.2  mem=26M723
594.95	   
594.95	   search
594.95	     run=26  nbConstraintChecks=87136375  nbValidityChecks=92587614  nbPropagations=25649099  nbRevisions=254312832
594.95	     nbUselessRevisions=223703385  nbAssignments=1237078  nbFailedAssignments=92109  nbBacktracks=1136550
594.95	     nbVisitedNodes=1450376  nbRestartNogoods=215
594.95	       =>  wckTime=593.034  cpuTime=590.37  mem=26M723
873.28	   
873.28	   search
873.28	     run=27  nbConstraintChecks=135171878  nbValidityChecks=138641885  nbPropagations=38488102  nbRevisions=381736163
873.28	     nbUselessRevisions=335771064  nbAssignments=1866914  nbFailedAssignments=153412  nbBacktracks=1704704
873.28	     nbVisitedNodes=2239392  nbRestartNogoods=234
873.28	       =>  wckTime=871.357  cpuTime=868.44  mem=26M723
1295.80	   
1295.80	   search
1295.80	     run=28  nbConstraintChecks=207412114  nbValidityChecks=211982136  nbPropagations=59308143  nbRevisions=577629234
1295.80	     nbUselessRevisions=507178223  nbAssignments=2789780  nbFailedAssignments=223719  nbBacktracks=2556938
1295.80	     nbVisitedNodes=3324364  nbRestartNogoods=256
1295.80	       =>  wckTime=1293.88  cpuTime=1290.53  mem=26M723

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/node42/watcher-252595-1168087234 -o ROOT/results/node42/solver-252595-1168087234 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/252595-1168087234/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.94 1.95 1.68 4/80 27994
/proc/meminfo: memFree=1539672/2055920 swapFree=4191892/4192956
[pid=27993] ppid=27991 vsize=1784 CPUtime=0
/proc/27993/stat : 27993 (java) R 27991 27993 27626 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 157122683 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/27993/statm: 446 140 106 14 0 91 0

[startup+0.109087 s]
/proc/loadavg: 1.94 1.95 1.68 4/80 27994
/proc/meminfo: memFree=1539672/2055920 swapFree=4191892/4192956
[pid=27993] ppid=27991 vsize=914988 CPUtime=0.09
/proc/27993/stat : 27993 (java) R 27991 27993 27626 0 -1 0 3051 0 1 0 8 1 0 0 20 0 8 0 157122683 936947712 2797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072929208 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27993/statm: 228747 2797 1447 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.51713 s]
/proc/loadavg: 1.94 1.95 1.68 4/80 27994
/proc/meminfo: memFree=1539672/2055920 swapFree=4191892/4192956
[pid=27993] ppid=27991 vsize=915328 CPUtime=0.49
/proc/27993/stat : 27993 (java) R 27991 27993 27626 0 -1 0 6192 0 1 0 46 3 0 0 22 0 8 0 157122683 937295872 5931 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155769820 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27993/statm: 228832 5931 2130 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33823 s]
/proc/loadavg: 1.94 1.95 1.68 3/87 28001
/proc/meminfo: memFree=1492704/2055920 swapFree=4191892/4192956
[pid=27993] ppid=27991 vsize=915620 CPUtime=1.31
/proc/27993/stat : 27993 (java) R 27991 27993 27626 0 -1 0 15491 0 1 0 99 32 0 0 25 0 8 0 157122683 937594880 15229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803002 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27993/statm: 228905 15229 2168 14 0 215375 0
[pid=27993/tid=27995] ppid=27991 vsize=915620 CPUtime=0
/proc/27993/task/27995/stat : 27995 (java) S 27991 27993 27626 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 157122687 937594880 15229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27996] ppid=27991 vsize=915620 CPUtime=0
/proc/27993/task/27996/stat : 27996 (java) S 27991 27993 27626 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 157122688 937594880 15229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27997] ppid=27991 vsize=915620 CPUtime=0
/proc/27993/task/27997/stat : 27997 (java) S 27991 27993 27626 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 157122688 937594880 15229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27998] ppid=27991 vsize=915620 CPUtime=0
/proc/27993/task/27998/stat : 27998 (java) S 27991 27993 27626 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 157122691 937594880 15229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27999] ppid=27991 vsize=915620 CPUtime=0.17
/proc/27993/task/27999/stat : 27999 (java) S 27991 27993 27626 0 -1 64 411 0 0 0 17 0 0 0 16 0 8 0 157122691 937594880 15229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=28000] ppid=27991 vsize=915620 CPUtime=0
/proc/27993/task/28000/stat : 28000 (java) S 27991 27993 27626 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157122691 937594880 15229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=28001] ppid=27991 vsize=915620 CPUtime=0
/proc/27993/task/28001/stat : 28001 (java) S 27991 27993 27626 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157122691 937594880 15229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915620

[startup+2.9764 s]
/proc/loadavg: 1.94 1.95 1.68 3/87 28001
/proc/meminfo: memFree=1471968/2055920 swapFree=4191892/4192956
[pid=27993] ppid=27991 vsize=915716 CPUtime=2.94
/proc/27993/stat : 27993 (java) R 27991 27993 27626 0 -1 0 19583 0 1 0 259 35 0 0 25 0 8 0 157122683 937693184 19318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074111230 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27993/statm: 228929 19318 2538 14 0 215399 0
[pid=27993/tid=27995] ppid=27991 vsize=915716 CPUtime=0.11
/proc/27993/task/27995/stat : 27995 (java) S 27991 27993 27626 0 -1 64 2447 0 0 0 11 0 0 0 16 0 8 0 157122687 937693184 19318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27996] ppid=27991 vsize=915716 CPUtime=0
/proc/27993/task/27996/stat : 27996 (java) S 27991 27993 27626 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 157122688 937693184 19318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27997] ppid=27991 vsize=915716 CPUtime=0
/proc/27993/task/27997/stat : 27997 (java) S 27991 27993 27626 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157122688 937693184 19318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27998] ppid=27991 vsize=915716 CPUtime=0
/proc/27993/task/27998/stat : 27998 (java) S 27991 27993 27626 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 157122691 937693184 19318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27999] ppid=27991 vsize=915716 CPUtime=0.34
/proc/27993/task/27999/stat : 27999 (java) S 27991 27993 27626 0 -1 64 502 0 0 0 33 1 0 0 15 0 8 0 157122691 937693184 19318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=28000] ppid=27991 vsize=915716 CPUtime=0
/proc/27993/task/28000/stat : 28000 (java) S 27991 27993 27626 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157122691 937693184 19318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=28001] ppid=27991 vsize=915716 CPUtime=0
/proc/27993/task/28001/stat : 28001 (java) S 27991 27993 27626 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157122691 937693184 19318 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) 915716

[startup+6.18176 s]
/proc/loadavg: 1.95 1.95 1.68 3/87 28001
/proc/meminfo: memFree=1471904/2055920 swapFree=4191892/4192956
[pid=27993] ppid=27991 vsize=915848 CPUtime=6.13
/proc/27993/stat : 27993 (java) R 27991 27993 27626 0 -1 0 19599 0 1 0 578 35 0 0 25 0 8 0 157122683 937828352 19330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074121007 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27993/statm: 228962 19330 2538 14 0 215432 0
[pid=27993/tid=27995] ppid=27991 vsize=915848 CPUtime=0.12
/proc/27993/task/27995/stat : 27995 (java) S 27991 27993 27626 0 -1 64 2447 0 0 0 12 0 0 0 17 0 8 0 157122687 937828352 19330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27996] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27996/stat : 27996 (java) S 27991 27993 27626 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 157122688 937828352 19330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27997] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27997/stat : 27997 (java) S 27991 27993 27626 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157122688 937828352 19330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27998] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27998/stat : 27998 (java) S 27991 27993 27626 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 157122691 937828352 19330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27999] ppid=27991 vsize=915848 CPUtime=0.36
/proc/27993/task/27999/stat : 27999 (java) S 27991 27993 27626 0 -1 64 514 0 0 0 35 1 0 0 15 0 8 0 157122691 937828352 19330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=28000] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/28000/stat : 28000 (java) S 27991 27993 27626 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157122691 937828352 19330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=28001] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/28001/stat : 28001 (java) S 27991 27993 27626 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157122691 937828352 19330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915848

[startup+12.6565 s]
/proc/loadavg: 1.95 1.95 1.68 3/87 28001
/proc/meminfo: memFree=1471984/2055920 swapFree=4191892/4192956
[pid=27993] ppid=27991 vsize=915848 CPUtime=12.58
/proc/27993/stat : 27993 (java) R 27991 27993 27626 0 -1 0 19606 0 1 0 1222 36 0 0 25 0 8 0 157122683 937828352 19335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811722 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27993/statm: 228962 19335 2538 14 0 215432 0
[pid=27993/tid=27995] ppid=27991 vsize=915848 CPUtime=0.12
/proc/27993/task/27995/stat : 27995 (java) S 27991 27993 27626 0 -1 64 2447 0 0 0 12 0 0 0 16 0 8 0 157122687 937828352 19335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27996] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27996/stat : 27996 (java) S 27991 27993 27626 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 157122688 937828352 19335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27997] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27997/stat : 27997 (java) S 27991 27993 27626 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157122688 937828352 19335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27998] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27998/stat : 27998 (java) S 27991 27993 27626 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 157122691 937828352 19335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27999] ppid=27991 vsize=915848 CPUtime=0.38
/proc/27993/task/27999/stat : 27999 (java) S 27991 27993 27626 0 -1 64 519 0 0 0 36 2 0 0 15 0 8 0 157122691 937828352 19335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=28000] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/28000/stat : 28000 (java) S 27991 27993 27626 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157122691 937828352 19335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=28001] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/28001/stat : 28001 (java) S 27991 27993 27626 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157122691 937828352 19335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915848

[startup+25.5309 s]
/proc/loadavg: 1.96 1.96 1.69 3/87 28001
/proc/meminfo: memFree=1472048/2055920 swapFree=4191892/4192956
[pid=27993] ppid=27991 vsize=915848 CPUtime=25.39
/proc/27993/stat : 27993 (java) R 27991 27993 27626 0 -1 0 19609 0 1 0 2503 36 0 0 25 0 8 0 157122683 937828352 19336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074070946 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27993/statm: 228962 19336 2538 14 0 215432 0
[pid=27993/tid=27995] ppid=27991 vsize=915848 CPUtime=0.12
/proc/27993/task/27995/stat : 27995 (java) S 27991 27993 27626 0 -1 64 2447 0 0 0 12 0 0 0 16 0 8 0 157122687 937828352 19336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27996] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27996/stat : 27996 (java) S 27991 27993 27626 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 157122688 937828352 19336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27997] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27997/stat : 27997 (java) S 27991 27993 27626 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157122688 937828352 19336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27998] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27998/stat : 27998 (java) S 27991 27993 27626 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 157122691 937828352 19336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27999] ppid=27991 vsize=915848 CPUtime=0.39
/proc/27993/task/27999/stat : 27999 (java) S 27991 27993 27626 0 -1 64 520 0 0 0 37 2 0 0 15 0 8 0 157122691 937828352 19336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=28000] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/28000/stat : 28000 (java) S 27991 27993 27626 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157122691 937828352 19336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=28001] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/28001/stat : 28001 (java) S 27991 27993 27626 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157122691 937828352 19336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 915848

[startup+51.1597 s]
/proc/loadavg: 1.97 1.96 1.70 3/87 28001
/proc/meminfo: memFree=1472048/2055920 swapFree=4191892/4192956
[pid=27993] ppid=27991 vsize=915848 CPUtime=50.89
/proc/27993/stat : 27993 (java) R 27991 27993 27626 0 -1 0 19609 0 1 0 5053 36 0 0 25 0 8 0 157122683 937828352 19336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074109660 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27993/statm: 228962 19336 2538 14 0 215432 0
[pid=27993/tid=27995] ppid=27991 vsize=915848 CPUtime=0.12
/proc/27993/task/27995/stat : 27995 (java) S 27991 27993 27626 0 -1 64 2447 0 0 0 12 0 0 0 16 0 8 0 157122687 937828352 19336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27996] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27996/stat : 27996 (java) S 27991 27993 27626 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 157122688 937828352 19336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27997] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27997/stat : 27997 (java) S 27991 27993 27626 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157122688 937828352 19336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27998] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27998/stat : 27998 (java) S 27991 27993 27626 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 157122691 937828352 19336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27999] ppid=27991 vsize=915848 CPUtime=0.39
/proc/27993/task/27999/stat : 27999 (java) S 27991 27993 27626 0 -1 64 520 0 0 0 37 2 0 0 17 0 8 0 157122691 937828352 19336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=28000] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/28000/stat : 28000 (java) S 27991 27993 27626 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157122691 937828352 19336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=28001] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/28001/stat : 28001 (java) S 27991 27993 27626 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157122691 937828352 19336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 915848

[startup+102.406 s]
/proc/loadavg: 1.99 1.96 1.71 3/87 28001
/proc/meminfo: memFree=1472048/2055920 swapFree=4191892/4192956
[pid=27993] ppid=27991 vsize=915848 CPUtime=101.9
/proc/27993/stat : 27993 (java) R 27991 27993 27626 0 -1 0 19609 0 1 0 10154 36 0 0 25 0 8 0 157122683 937828352 19336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074085004 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27993/statm: 228962 19336 2538 14 0 215432 0
[pid=27993/tid=27995] ppid=27991 vsize=915848 CPUtime=0.12
/proc/27993/task/27995/stat : 27995 (java) S 27991 27993 27626 0 -1 64 2447 0 0 0 12 0 0 0 16 0 8 0 157122687 937828352 19336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27996] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27996/stat : 27996 (java) S 27991 27993 27626 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 157122688 937828352 19336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27997] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27997/stat : 27997 (java) S 27991 27993 27626 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157122688 937828352 19336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27998] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27998/stat : 27998 (java) S 27991 27993 27626 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 157122691 937828352 19336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27999] ppid=27991 vsize=915848 CPUtime=0.39
/proc/27993/task/27999/stat : 27999 (java) S 27991 27993 27626 0 -1 64 520 0 0 0 37 2 0 0 17 0 8 0 157122691 937828352 19336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=28000] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/28000/stat : 28000 (java) S 27991 27993 27626 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157122691 937828352 19336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=28001] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/28001/stat : 28001 (java) S 27991 27993 27626 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157122691 937828352 19336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 915848

[startup+162.505 s]
/proc/loadavg: 1.99 1.97 1.73 3/87 28001
/proc/meminfo: memFree=1472112/2055920 swapFree=4191892/4192956
[pid=27993] ppid=27991 vsize=915848 CPUtime=161.72
/proc/27993/stat : 27993 (java) R 27991 27993 27626 0 -1 0 19609 0 1 0 16136 36 0 0 25 0 8 0 157122683 937828352 19336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074071634 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1419.57
Current children cumulated vsize (KiB) 915848

[startup+1482.99 s]
/proc/loadavg: 2.13 2.02 1.91 3/80 28350
/proc/meminfo: memFree=1426792/2055920 swapFree=4191892/4192956
[pid=27993] ppid=27991 vsize=915848 CPUtime=1479.53
/proc/27993/stat : 27993 (java) R 27991 27993 27626 0 -1 0 19610 0 1 0 147892 61 0 0 25 0 8 0 157122683 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074111209 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27993/statm: 228962 19337 2538 14 0 215432 0
[pid=27993/tid=27995] ppid=27991 vsize=915848 CPUtime=0.12
/proc/27993/task/27995/stat : 27995 (java) S 27991 27993 27626 0 -1 64 2447 0 0 0 12 0 0 0 16 0 8 0 157122687 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27996] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27996/stat : 27996 (java) S 27991 27993 27626 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 157122688 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27997] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27997/stat : 27997 (java) S 27991 27993 27626 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157122688 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27998] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27998/stat : 27998 (java) S 27991 27993 27626 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 157122691 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27999] ppid=27991 vsize=915848 CPUtime=0.39
/proc/27993/task/27999/stat : 27999 (java) S 27991 27993 27626 0 -1 64 521 0 0 0 37 2 0 0 16 0 8 0 157122691 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27993/tid=28000] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/28000/stat : 28000 (java) S 27991 27993 27626 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157122691 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=28001] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/28001/stat : 28001 (java) S 27991 27993 27626 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157122691 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1479.53
Current children cumulated vsize (KiB) 915848

[startup+1543 s]
/proc/loadavg: 2.05 2.01 1.91 3/80 28350
/proc/meminfo: memFree=1424104/2055920 swapFree=4191892/4192956
[pid=27993] ppid=27991 vsize=915848 CPUtime=1539.45
/proc/27993/stat : 27993 (java) R 27991 27993 27626 0 -1 0 19610 0 1 0 153884 61 0 0 25 0 8 0 157122683 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074118623 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27993/statm: 228962 19337 2538 14 0 215432 0
[pid=27993/tid=27995] ppid=27991 vsize=915848 CPUtime=0.12
/proc/27993/task/27995/stat : 27995 (java) S 27991 27993 27626 0 -1 64 2447 0 0 0 12 0 0 0 16 0 8 0 157122687 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27996] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27996/stat : 27996 (java) S 27991 27993 27626 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 157122688 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27997] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27997/stat : 27997 (java) S 27991 27993 27626 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157122688 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27998] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27998/stat : 27998 (java) S 27991 27993 27626 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 157122691 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27999] ppid=27991 vsize=915848 CPUtime=0.39
/proc/27993/task/27999/stat : 27999 (java) S 27991 27993 27626 0 -1 64 521 0 0 0 37 2 0 0 16 0 8 0 157122691 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27993/tid=28000] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/28000/stat : 28000 (java) S 27991 27993 27626 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157122691 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=28001] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/28001/stat : 28001 (java) S 27991 27993 27626 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157122691 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1539.45
Current children cumulated vsize (KiB) 915848

[startup+1603.01 s]
/proc/loadavg: 2.02 2.01 1.91 3/80 28350
/proc/meminfo: memFree=1420840/2055920 swapFree=4191892/4192956
[pid=27993] ppid=27991 vsize=915848 CPUtime=1599.42
/proc/27993/stat : 27993 (java) R 27991 27993 27626 0 -1 0 19610 0 1 0 159881 61 0 0 25 0 8 0 157122683 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811722 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27993/statm: 228962 19337 2538 14 0 215432 0
[pid=27993/tid=27995] ppid=27991 vsize=915848 CPUtime=0.12
/proc/27993/task/27995/stat : 27995 (java) S 27991 27993 27626 0 -1 64 2447 0 0 0 12 0 0 0 16 0 8 0 157122687 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27996] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27996/stat : 27996 (java) S 27991 27993 27626 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 157122688 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27997] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27997/stat : 27997 (java) S 27991 27993 27626 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157122688 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27998] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27998/stat : 27998 (java) S 27991 27993 27626 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 157122691 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27999] ppid=27991 vsize=915848 CPUtime=0.39
/proc/27993/task/27999/stat : 27999 (java) S 27991 27993 27626 0 -1 64 521 0 0 0 37 2 0 0 16 0 8 0 157122691 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27993/tid=28000] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/28000/stat : 28000 (java) S 27991 27993 27626 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157122691 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=28001] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/28001/stat : 28001 (java) S 27991 27993 27626 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157122691 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1599.42
Current children cumulated vsize (KiB) 915848

[startup+1663.02 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 28350
/proc/meminfo: memFree=1420776/2055920 swapFree=4191892/4192956
[pid=27993] ppid=27991 vsize=915848 CPUtime=1659.38
/proc/27993/stat : 27993 (java) R 27991 27993 27626 0 -1 0 19610 0 1 0 165877 61 0 0 25 0 8 0 157122683 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074095456 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27993/statm: 228962 19337 2538 14 0 215432 0
[pid=27993/tid=27995] ppid=27991 vsize=915848 CPUtime=0.12
/proc/27993/task/27995/stat : 27995 (java) S 27991 27993 27626 0 -1 64 2447 0 0 0 12 0 0 0 16 0 8 0 157122687 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27996] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27996/stat : 27996 (java) S 27991 27993 27626 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 157122688 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27997] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27997/stat : 27997 (java) S 27991 27993 27626 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157122688 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27998] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27998/stat : 27998 (java) S 27991 27993 27626 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 157122691 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27999] ppid=27991 vsize=915848 CPUtime=0.39
/proc/27993/task/27999/stat : 27999 (java) S 27991 27993 27626 0 -1 64 521 0 0 0 37 2 0 0 16 0 8 0 157122691 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27993/tid=28000] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/28000/stat : 28000 (java) S 27991 27993 27626 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157122691 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=28001] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/28001/stat : 28001 (java) S 27991 27993 27626 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157122691 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1659.38
Current children cumulated vsize (KiB) 915848

[startup+1723.03 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 28350
/proc/meminfo: memFree=1420840/2055920 swapFree=4191892/4192956
[pid=27993] ppid=27991 vsize=915848 CPUtime=1719.31
/proc/27993/stat : 27993 (java) R 27991 27993 27626 0 -1 0 19610 0 1 0 171870 61 0 0 25 0 8 0 157122683 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074148603 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27993/statm: 228962 19337 2538 14 0 215432 0
[pid=27993/tid=27995] ppid=27991 vsize=915848 CPUtime=0.12
/proc/27993/task/27995/stat : 27995 (java) S 27991 27993 27626 0 -1 64 2447 0 0 0 12 0 0 0 16 0 8 0 157122687 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27996] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27996/stat : 27996 (java) S 27991 27993 27626 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 157122688 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27997] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27997/stat : 27997 (java) S 27991 27993 27626 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157122688 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27998] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27998/stat : 27998 (java) S 27991 27993 27626 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 157122691 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27999] ppid=27991 vsize=915848 CPUtime=0.39
/proc/27993/task/27999/stat : 27999 (java) S 27991 27993 27626 0 -1 64 521 0 0 0 37 2 0 0 16 0 8 0 157122691 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27993/tid=28000] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/28000/stat : 28000 (java) S 27991 27993 27626 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157122691 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=28001] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/28001/stat : 28001 (java) S 27991 27993 27626 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157122691 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1719.31
Current children cumulated vsize (KiB) 915848

[startup+1783.04 s]
/proc/loadavg: 2.04 2.01 1.92 3/80 28350
/proc/meminfo: memFree=1420776/2055920 swapFree=4191892/4192956
[pid=27993] ppid=27991 vsize=915848 CPUtime=1779.28
/proc/27993/stat : 27993 (java) R 27991 27993 27626 0 -1 0 19610 0 1 0 177866 62 0 0 25 0 8 0 157122683 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074214518 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27993/statm: 228962 19337 2538 14 0 215432 0
[pid=27993/tid=27995] ppid=27991 vsize=915848 CPUtime=0.12
/proc/27993/task/27995/stat : 27995 (java) S 27991 27993 27626 0 -1 64 2447 0 0 0 12 0 0 0 16 0 8 0 157122687 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27996] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27996/stat : 27996 (java) S 27991 27993 27626 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 157122688 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27997] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27997/stat : 27997 (java) S 27991 27993 27626 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157122688 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27998] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27998/stat : 27998 (java) S 27991 27993 27626 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 157122691 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27999] ppid=27991 vsize=915848 CPUtime=0.39
/proc/27993/task/27999/stat : 27999 (java) S 27991 27993 27626 0 -1 64 521 0 0 0 37 2 0 0 16 0 8 0 157122691 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27993/tid=28000] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/28000/stat : 28000 (java) S 27991 27993 27626 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157122691 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=28001] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/28001/stat : 28001 (java) S 27991 27993 27626 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157122691 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1779.28
Current children cumulated vsize (KiB) 915848



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.85 s]
/proc/loadavg: 2.10 2.03 1.93 3/80 28350
/proc/meminfo: memFree=1418920/2055920 swapFree=4191892/4192956
[pid=27993] ppid=27991 vsize=915848 CPUtime=1800.09
/proc/27993/stat : 27993 (java) R 27991 27993 27626 0 -1 0 19610 0 1 0 179947 62 0 0 25 0 8 0 157122683 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074148464 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27993/statm: 228962 19337 2538 14 0 215432 0
[pid=27993/tid=27995] ppid=27991 vsize=915848 CPUtime=0.12
/proc/27993/task/27995/stat : 27995 (java) S 27991 27993 27626 0 -1 64 2447 0 0 0 12 0 0 0 16 0 8 0 157122687 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27996] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27996/stat : 27996 (java) S 27991 27993 27626 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 157122688 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27997] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27997/stat : 27997 (java) S 27991 27993 27626 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157122688 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27998] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/27998/stat : 27998 (java) S 27991 27993 27626 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 157122691 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=27999] ppid=27991 vsize=915848 CPUtime=0.39
/proc/27993/task/27999/stat : 27999 (java) S 27991 27993 27626 0 -1 64 521 0 0 0 37 2 0 0 16 0 8 0 157122691 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27993/tid=28000] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/28000/stat : 28000 (java) S 27991 27993 27626 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157122691 937828352 19337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27993/tid=28001] ppid=27991 vsize=915848 CPUtime=0
/proc/27993/task/28001/stat : 28001 (java) S 27991 27993 27626 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157122691 937828352 19337 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) 915848

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

Child status: 143
Real time (s): 1803.91
CPU time (s): 1800.15
CPU user time (s): 1799.51
CPU system time (s): 0.635903
CPU usage (%): 99.7914
Max. virtual memory (cumulated for all children) (KiB): 915848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.635903
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19627
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= 38138
involuntary context switches= 23269

runsolver used 2.24966 s user time and 5.73413 s system time

The end

Launcher Data (download as text)

Begin job on node42 on Sat Jan  6 12:40:35 UTC 2007


IDJOB= 252595
IDBENCH= 12956
FILE ID= node42/252595-1168087234

PBS_JOBID= 3476582

Free space on /tmp= 66541 MiB

BENCH NAME= HOME/pub/bench/CPAI06/socialGolfers/socialGolfer-6-4-5.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/252595-1168087234/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node42/watcher-252595-1168087234 -o ROOT/results/node42/solver-252595-1168087234 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/252595-1168087234/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  6ccf3d453c1dca720aab2c3bd1d5cd6d

RANDOM SEED= 506620130

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.229
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.229
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:       1540088 kB
Buffers:         29700 kB
Cached:         372116 kB
SwapCached:        268 kB
Active:          87552 kB
Inactive:       359400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1540088 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            2500 kB
Writeback:           0 kB
Mapped:          64084 kB
Slab:            54180 kB
Committed_AS:  3616160 kB
PageTables:       1880 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= 66541 MiB



End job on node42 on Sat Jan  6 13:10:39 UTC 2007