Trace number 198924

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.13 1803.77

General information on the benchmark

Namerlfap/rlfapScens11/
scen11-f1.xml
MD5SUMa9ee5762bd9cc960c2c3327ea9b7951e
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark70.2573
SatisfiableNO
(Un)Satisfiability was proved
Number of variables680
Number of constraints4103
Maximum constraint arity2
Maximum domain size43
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4103
Global constraints used (with number of constraints)

Solver Data (download as text)

0.39	   
0.39	Abscon 109 (November, 2006)
0.39	   
0.39	   configuration
0.39	     name=mac.xml
0.42	   
0.42	   instance
0.42	     name=/tmp/evaluation/198924-1168071309/unknown.xml
0.45	   
0.45	   domains being loaded...
0.46	   
0.46	   variables being loaded...
0.56	     nbVariables=680  nbDomainTypes=5  minDomainSize=6  maxDomainSize=43
0.56	       =>  wckTime=0.169  cpuTime=0.14  mem=8M837
0.56	   
0.56	   predicates being loaded...
0.56	   
0.56	   constraints being loaded...
1.34	     nbConstraints=4103  nbConvertedConstraints=4103  nbConvertConstraintsChecks=227251  nbExtensionStructures=173
1.34	     nbSharedExtensionStructures=3930  nbConflictsStructures=173  nbSharedConflictsStructures=3930
1.34	     nbSharedBinaryRepresentations=11998  maxDegree=62  maxArity=2
1.34	       =>  wckTime=0.947  cpuTime=0.77  mem=29M316
1.41	   
1.41	   solver IterativeSystematicSolver being built... 
1.61	       =>  wckTime=1.222  cpuTime=0.94  mem=20M349
1.67	   
1.67	   preprocessing
1.67	     nbConstraintChecks=14196  nbPropagations=846  nbRevisions=332  nbUselessRevisions=0  nbRemovedValues=332
1.67	     detectedInconsistency=no
1.67	       =>  wckTime=0.052  cpuTime=0.04  mem=20M349
1.76	   
1.76	   search
1.76	     run=0  nbConstraintChecks=54052  nbPropagations=1420  nbRevisions=2888  nbUselessRevisions=1365  nbAssignments=46
1.76	     nbFailedAssignments=8  nbBacktracks=10  nbVisitedNodes=59  nbRestartNogoods=0  mapSize=5  nbInferences=0
1.76	     nbTooLargeKeys=0
1.76	       =>  wckTime=0.14  cpuTime=0.11  mem=20M349
1.79	   
1.79	   search
1.79	     run=1  nbConstraintChecks=131369  nbPropagations=3562  nbRevisions=9901  nbUselessRevisions=5033  nbAssignments=112
1.79	     nbFailedAssignments=30  nbBacktracks=26  nbVisitedNodes=155  nbRestartNogoods=2  mapSize=13  nbInferences=0
1.79	     nbTooLargeKeys=0
1.79	       =>  wckTime=0.178  cpuTime=0.14  mem=20M349
1.83	   
1.83	   search
1.83	     run=2  nbConstraintChecks=204203  nbPropagations=6372  nbRevisions=21240  nbUselessRevisions=11082
1.83	     nbAssignments=184  nbFailedAssignments=62  nbBacktracks=48  nbVisitedNodes=270  nbRestartNogoods=10  mapSize=24
1.83	     nbInferences=0  nbTooLargeKeys=0
1.83	       =>  wckTime=0.211  cpuTime=0.17  mem=21M323
1.88	   
1.88	   search
1.88	     run=3  nbConstraintChecks=333664  nbPropagations=10205  nbRevisions=40631  nbUselessRevisions=21455
1.88	     nbAssignments=300  nbFailedAssignments=126  nbBacktracks=82  nbVisitedNodes=466  nbRestartNogoods=17  mapSize=41
1.88	     nbInferences=0  nbTooLargeKeys=0
1.88	       =>  wckTime=0.268  cpuTime=0.22  mem=21M323
1.95	   
1.95	   search
1.95	     run=4  nbConstraintChecks=525804  nbPropagations=15704  nbRevisions=72036  nbUselessRevisions=38715
1.95	     nbAssignments=444  nbFailedAssignments=202  nbBacktracks=132  nbVisitedNodes=710  nbRestartNogoods=19  mapSize=66
1.95	     nbInferences=0  nbTooLargeKeys=0
1.95	       =>  wckTime=0.332  cpuTime=0.28  mem=21M323
2.05	   
2.05	   search
2.05	     run=5  nbConstraintChecks=810916  nbPropagations=23492  nbRevisions=122754  nbUselessRevisions=66859
2.05	     nbAssignments=684  nbFailedAssignments=356  nbBacktracks=208  nbVisitedNodes=1140  nbRestartNogoods=29  mapSize=104
2.05	     nbInferences=0  nbTooLargeKeys=0
2.05	       =>  wckTime=0.43  cpuTime=0.38  mem=21M323
2.17	   
2.17	   search
2.17	     run=6  nbConstraintChecks=1161877  nbPropagations=34240  nbRevisions=197606  nbUselessRevisions=108914
2.17	     nbAssignments=985  nbFailedAssignments=522  nbBacktracks=321  nbVisitedNodes=1673  nbRestartNogoods=32  mapSize=163
2.17	     nbInferences=10  nbTooLargeKeys=0
2.17	       =>  wckTime=0.557  cpuTime=0.5  mem=22M297
2.34	   
2.34	   search
2.34	     run=7  nbConstraintChecks=1596646  nbPropagations=48624  nbRevisions=301875  nbUselessRevisions=167953
2.34	     nbAssignments=1407  nbFailedAssignments=752  nbBacktracks=493  nbVisitedNodes=2416  nbRestartNogoods=36
2.34	     mapSize=249  nbInferences=20  nbTooLargeKeys=0
2.34	       =>  wckTime=0.724  cpuTime=0.66  mem=22M297
2.64	   
2.64	   search
2.64	     run=8  nbConstraintChecks=2652836  nbPropagations=70702  nbRevisions=473356  nbUselessRevisions=263676
2.64	     nbAssignments=2247  nbFailedAssignments=1319  nbBacktracks=749  nbVisitedNodes=3962  nbRestartNogoods=48
2.64	     mapSize=380  nbInferences=29  nbTooLargeKeys=0
2.64	       =>  wckTime=1.028  cpuTime=0.94  mem=23M271
2.95	   
2.95	   search
2.95	     run=9  nbConstraintChecks=3543352  nbPropagations=100719  nbRevisions=722384  nbUselessRevisions=406437
2.95	     nbAssignments=3238  nbFailedAssignments=1913  nbBacktracks=1136  nbVisitedNodes=5717  nbRestartNogoods=62
2.95	     mapSize=574  nbInferences=31  nbTooLargeKeys=0
2.95	       =>  wckTime=1.337  cpuTime=1.25  mem=24M245
3.47	   
3.47	   search
3.47	     run=10  nbConstraintChecks=5230071  nbPropagations=145971  nbRevisions=1094819  nbUselessRevisions=622356
3.47	     nbAssignments=4675  nbFailedAssignments=2689  nbBacktracks=1713  nbVisitedNodes=8282  nbRestartNogoods=73
3.47	     mapSize=885  nbInferences=109  nbTooLargeKeys=0
3.47	       =>  wckTime=1.858  cpuTime=1.75  mem=26M194
4.15	   
4.15	   search
4.15	     run=11  nbConstraintChecks=7073728  nbPropagations=208675  nbRevisions=1626616  nbUselessRevisions=933696
4.15	     nbAssignments=6900  nbFailedAssignments=4035  nbBacktracks=2577  nbVisitedNodes=12246  nbRestartNogoods=76
4.15	     mapSize=1326  nbInferences=114  nbTooLargeKeys=0
4.15	       =>  wckTime=2.532  cpuTime=2.42  mem=28M142
5.19	   
5.19	   search
5.19	     run=12  nbConstraintChecks=10548564  nbPropagations=301480  nbRevisions=2420026  nbUselessRevisions=1400961
5.19	     nbAssignments=9971  nbFailedAssignments=5700  nbBacktracks=3876  nbVisitedNodes=17695  nbRestartNogoods=100
5.19	     mapSize=2044  nbInferences=213  nbTooLargeKeys=0
5.19	       =>  wckTime=3.577  cpuTime=3.46  mem=32M39
6.70	   
6.70	   search
6.70	     run=13  nbConstraintChecks=14595583  nbPropagations=433959  nbRevisions=3565931  nbUselessRevisions=2083149
6.70	     nbAssignments=14871  nbFailedAssignments=8563  nbBacktracks=5823  nbVisitedNodes=26404  nbRestartNogoods=112
6.70	     mapSize=3023  nbInferences=295  nbTooLargeKeys=0
6.70	       =>  wckTime=5.081  cpuTime=4.95  mem=37M884
9.62	   
9.62	   search
9.62	     run=14  nbConstraintChecks=25104774  nbPropagations=650708  nbRevisions=5495614  nbUselessRevisions=3237360
9.62	     nbAssignments=23668  nbFailedAssignments=14157  nbBacktracks=8743  nbVisitedNodes=42447  nbRestartNogoods=127
9.62	     mapSize=4623  nbInferences=567  nbTooLargeKeys=0
9.62	       =>  wckTime=8.009  cpuTime=7.85  mem=45M678
13.15	   
13.15	   search
13.15	     run=15  nbConstraintChecks=35417847  nbPropagations=966829  nbRevisions=8269173  nbUselessRevisions=4905319
13.15	     nbAssignments=34550  nbFailedAssignments=20409  nbBacktracks=13122  nbVisitedNodes=61742  nbRestartNogoods=144
13.15	     mapSize=6869  nbInferences=808  nbTooLargeKeys=0
13.15	       =>  wckTime=11.538  cpuTime=11.31  mem=27M245
18.72	   
18.72	   search
18.72	     run=16  nbConstraintChecks=52807759  nbPropagations=1454042  nbRevisions=12421835  nbUselessRevisions=7419593
18.72	     nbAssignments=51694  nbFailedAssignments=29959  nbBacktracks=19691  nbVisitedNodes=92404  nbRestartNogoods=162
18.72	     mapSize=10373  nbInferences=1824  nbTooLargeKeys=0
18.72	       =>  wckTime=17.105  cpuTime=16.82  mem=47M1
27.36	   
27.36	   search
27.36	     run=17  nbConstraintChecks=80017727  nbPropagations=2191910  nbRevisions=18695253  nbUselessRevisions=11220773
27.36	     nbAssignments=78315  nbFailedAssignments=45468  nbBacktracks=29544  nbVisitedNodes=139967  nbRestartNogoods=191
27.36	     mapSize=15537  nbInferences=3075  nbTooLargeKeys=0
27.36	       =>  wckTime=25.746  cpuTime=25.32  mem=50M737
41.19	   
41.19	   search
41.19	     run=18  nbConstraintChecks=128742915  nbPropagations=3363566  nbRevisions=28595492  nbUselessRevisions=17255488
41.19	     nbAssignments=118399  nbFailedAssignments=68389  nbBacktracks=44322  nbVisitedNodes=212028  nbRestartNogoods=228
41.19	     mapSize=23709  nbInferences=5450  nbTooLargeKeys=0
41.19	       =>  wckTime=39.573  cpuTime=38.95  mem=70M974
60.57	   
60.57	   search
60.57	     run=19  nbConstraintChecks=191942380  nbPropagations=5073485  nbRevisions=43395604  nbUselessRevisions=26247061
60.57	     nbAssignments=179131  nbFailedAssignments=105442  nbBacktracks=66490  nbVisitedNodes=320957  nbRestartNogoods=249
60.57	     mapSize=34929  nbInferences=6955  nbTooLargeKeys=0
60.57	       =>  wckTime=58.952  cpuTime=58.09  mem=108M546
89.15	   
89.15	   search
89.15	     run=20  nbConstraintChecks=294796141  nbPropagations=7705518  nbRevisions=66033904  nbUselessRevisions=40133072
89.15	     nbAssignments=266258  nbFailedAssignments=155545  nbBacktracks=99743  nbVisitedNodes=477047  nbRestartNogoods=269
89.15	     mapSize=52647  nbInferences=10717  nbTooLargeKeys=0
89.15	       =>  wckTime=87.533  cpuTime=86.4  mem=156M656
127.84	   
127.84	   search
127.84	     run=21  nbConstraintChecks=430485497  nbPropagations=11572050  nbRevisions=99654883  nbUselessRevisions=60780143
127.84	     nbAssignments=397559  nbFailedAssignments=232232  nbBacktracks=149621  nbVisitedNodes=711237  nbRestartNogoods=292
127.84	     mapSize=77856  nbInferences=15447  nbTooLargeKeys=0
127.84	       =>  wckTime=126.227  cpuTime=124.88  mem=223M979
188.45	   
188.45	   search
188.45	     run=22  nbConstraintChecks=667025926  nbPropagations=17480003  nbRevisions=150563967  nbUselessRevisions=92430431
188.45	     nbAssignments=591700  nbFailedAssignments=339181  nbBacktracks=224440  nbVisitedNodes=1057586  nbRestartNogoods=302
188.45	     mapSize=116769  nbInferences=27810  nbTooLargeKeys=0
188.45	       =>  wckTime=186.838  cpuTime=185.13  mem=322M691
273.35	   
273.35	   search
273.35	     run=23  nbConstraintChecks=967127558  nbPropagations=26239381  nbRevisions=225907757  nbUselessRevisions=139730433
273.35	     nbAssignments=869463  nbFailedAssignments=489870  nbBacktracks=336667  nbVisitedNodes=1548848  nbRestartNogoods=362
273.35	     mapSize=174056  nbInferences=42650  nbTooLargeKeys=0
273.35	       =>  wckTime=271.732  cpuTime=269.58  mem=472M369
334.10	   
334.10	   INFO : Stopping hyperNogood (mapSize=213038, nbTooLargekeys=0, mem=600M477)
389.23	   
389.23	   search
389.23	     run=24  nbConstraintChecks=1421565297  nbPropagations=39059582  nbRevisions=336439343  nbUselessRevisions=208843295
389.23	     nbAssignments=1297600  nbFailedAssignments=739647  nbBacktracks=505008  nbVisitedNodes=2310457
389.23	     nbRestartNogoods=393
389.23	       =>  wckTime=387.611  cpuTime=385.08  mem=600M477
548.71	   
548.71	   search
548.71	     run=25  nbConstraintChecks=2110775118  nbPropagations=57955011  nbRevisions=499997614  nbUselessRevisions=310643722
548.71	     nbAssignments=1944357  nbFailedAssignments=1133883  nbBacktracks=757519  nbVisitedNodes=3463689
548.71	     nbRestartNogoods=435
548.71	       =>  wckTime=547.096  cpuTime=544.39  mem=600M477
776.96	   
776.96	   search
776.96	     run=26  nbConstraintChecks=3039022681  nbPropagations=85211451  nbRevisions=739425300  nbUselessRevisions=459765535
776.96	     nbAssignments=2901184  nbFailedAssignments=1711936  nbBacktracks=1136287  nbVisitedNodes=5161932
776.96	     nbRestartNogoods=490
776.96	       =>  wckTime=775.347  cpuTime=772.41  mem=600M477
1116.88	   
1116.88	   search
1116.88	     run=27  nbConstraintChecks=4465910864  nbPropagations=125536746  nbRevisions=1095063007
1116.88	     nbUselessRevisions=682684057  nbAssignments=4284524  nbFailedAssignments=2527119  nbBacktracks=1704438
1116.88	     nbVisitedNodes=7611492  nbRestartNogoods=544
1116.88	       =>  wckTime=1115.267  cpuTime=1112.01  mem=600M477
1627.16	   
1627.16	   search
1627.16	     run=28  nbConstraintChecks=6504454452  nbPropagations=184672280  nbRevisions=1622724639
1627.16	     nbUselessRevisions=1013743655  nbAssignments=6419549  nbFailedAssignments=3809910  nbBacktracks=2556664
1627.16	     nbVisitedNodes=11401318  nbRestartNogoods=593
1627.16	       =>  wckTime=1625.547  cpuTime=1621.39  mem=600M477

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/node4/watcher-198924-1168071309 -o ROOT/results/node4/solver-198924-1168071309 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/198924-1168071309/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.92 1.98 1.92 4/93 10861
/proc/meminfo: memFree=1111936/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=18540 CPUtime=0
/proc/10860/stat : 10860 (runsolver) R 10858 10860 10681 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155526871 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259913215271 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/10860/statm: 4635 279 244 17 0 2626 0

[startup+0.10789 s]
/proc/loadavg: 1.92 1.98 1.92 4/93 10861
/proc/meminfo: memFree=1111936/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=906128 CPUtime=0.02
/proc/10860/stat : 10860 (java) R 10858 10860 10681 0 -1 0 1953 0 1 0 1 1 0 0 17 0 1 0 155526871 927875072 1702 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155171073 0 4 0 7368 0 0 0 17 1 0 0
/proc/10860/statm: 226532 1702 984 14 0 214115 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 906128

[startup+0.515926 s]
/proc/loadavg: 1.92 1.98 1.92 4/93 10861
/proc/meminfo: memFree=1111936/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=915328 CPUtime=0.42
/proc/10860/stat : 10860 (java) R 10858 10860 10681 0 -1 0 6119 0 1 0 38 4 0 0 18 0 8 0 155526871 937295872 5858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10860/statm: 228832 5858 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915328

[startup+1.339 s]
/proc/loadavg: 1.92 1.98 1.92 3/100 10868
/proc/meminfo: memFree=1077512/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=915628 CPUtime=1.23
/proc/10860/stat : 10860 (java) R 10858 10860 10681 0 -1 0 11867 0 1 0 98 25 0 0 24 0 8 0 155526871 937603072 11605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814101 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10860/statm: 228907 11605 2177 14 0 215377 0
[pid=10860/tid=10862] ppid=10858 vsize=915628 CPUtime=0
/proc/10860/task/10862/stat : 10862 (java) S 10858 10860 10681 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 155526882 937603072 11605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10863] ppid=10858 vsize=915628 CPUtime=0
/proc/10860/task/10863/stat : 10863 (java) S 10858 10860 10681 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 155526883 937603072 11605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10864] ppid=10858 vsize=915628 CPUtime=0
/proc/10860/task/10864/stat : 10864 (java) S 10858 10860 10681 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 155526883 937603072 11605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10865] ppid=10858 vsize=915628 CPUtime=0
/proc/10860/task/10865/stat : 10865 (java) S 10858 10860 10681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155526886 937603072 11605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10866] ppid=10858 vsize=915628 CPUtime=0.19
/proc/10860/task/10866/stat : 10866 (java) S 10858 10860 10681 0 -1 64 433 0 0 0 19 0 0 0 16 0 8 0 155526886 937603072 11605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10867] ppid=10858 vsize=915628 CPUtime=0
/proc/10860/task/10867/stat : 10867 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155526886 937603072 11605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10868] ppid=10858 vsize=915628 CPUtime=0
/proc/10860/task/10868/stat : 10868 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155526886 937603072 11605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915628

[startup+2.99216 s]
/proc/loadavg: 1.92 1.98 1.92 3/100 10868
/proc/meminfo: memFree=1069640/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=915720 CPUtime=2.87
/proc/10860/stat : 10860 (java) R 10858 10860 10681 0 -1 0 13257 0 1 0 259 28 0 0 25 0 8 0 155526871 937697280 12993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074021710 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10860/statm: 228930 12993 2530 14 0 215400 0
[pid=10860/tid=10862] ppid=10858 vsize=915720 CPUtime=0.06
/proc/10860/task/10862/stat : 10862 (java) S 10858 10860 10681 0 -1 64 897 0 0 0 6 0 0 0 17 0 8 0 155526882 937697280 12993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10863] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10863/stat : 10863 (java) S 10858 10860 10681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 12993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10864] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10864/stat : 10864 (java) S 10858 10860 10681 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 12993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10865] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10865/stat : 10865 (java) S 10858 10860 10681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155526886 937697280 12993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10866] ppid=10858 vsize=915720 CPUtime=0.3
/proc/10860/task/10866/stat : 10866 (java) S 10858 10860 10681 0 -1 64 492 0 0 0 29 1 0 0 15 0 8 0 155526886 937697280 12993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10867] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10867/stat : 10867 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155526886 937697280 12993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10868] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10868/stat : 10868 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155526886 937697280 12993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915720

[startup+6.27247 s]
/proc/loadavg: 1.92 1.98 1.92 3/100 10868
/proc/meminfo: memFree=1069192/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=915720 CPUtime=6.12
/proc/10860/stat : 10860 (java) R 10858 10860 10681 0 -1 0 13892 0 1 0 584 28 0 0 25 0 8 0 155526871 937697280 13627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074020874 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10860/statm: 228930 13627 2530 14 0 215400 0
[pid=10860/tid=10862] ppid=10858 vsize=915720 CPUtime=0.06
/proc/10860/task/10862/stat : 10862 (java) S 10858 10860 10681 0 -1 64 897 0 0 0 6 0 0 0 16 0 8 0 155526882 937697280 13627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10863] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10863/stat : 10863 (java) S 10858 10860 10681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 13627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10864] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10864/stat : 10864 (java) S 10858 10860 10681 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 13627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10865] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10865/stat : 10865 (java) S 10858 10860 10681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155526886 937697280 13627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10866] ppid=10858 vsize=915720 CPUtime=0.31
/proc/10860/task/10866/stat : 10866 (java) S 10858 10860 10681 0 -1 64 496 0 0 0 30 1 0 0 15 0 8 0 155526886 937697280 13627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10867] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10867/stat : 10867 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155526886 937697280 13627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10868] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10868/stat : 10868 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155526886 937697280 13627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915720

[startup+12.7651 s]
/proc/loadavg: 1.93 1.98 1.92 3/100 10868
/proc/meminfo: memFree=1034120/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=915720 CPUtime=12.55
/proc/10860/stat : 10860 (java) R 10858 10860 10681 0 -1 0 22123 0 1 0 1223 32 0 0 25 0 8 0 155526871 937697280 21856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074020004 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10860/statm: 228930 21856 2534 14 0 215400 0
[pid=10860/tid=10862] ppid=10858 vsize=915720 CPUtime=0.1
/proc/10860/task/10862/stat : 10862 (java) S 10858 10860 10681 0 -1 64 5008 0 0 0 8 2 0 0 16 0 8 0 155526882 937697280 21856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10863] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10863/stat : 10863 (java) S 10858 10860 10681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 21856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10864] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10864/stat : 10864 (java) S 10858 10860 10681 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 21856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10865] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10865/stat : 10865 (java) S 10858 10860 10681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155526886 937697280 21856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10866] ppid=10858 vsize=915720 CPUtime=0.31
/proc/10860/task/10866/stat : 10866 (java) S 10858 10860 10681 0 -1 64 498 0 0 0 30 1 0 0 16 0 8 0 155526886 937697280 21856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10867] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10867/stat : 10867 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155526886 937697280 21856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10868] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10868/stat : 10868 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155526886 937697280 21856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 915720

[startup+25.6123 s]
/proc/loadavg: 1.94 1.98 1.92 3/100 10868
/proc/meminfo: memFree=1006216/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=915720 CPUtime=25.28
/proc/10860/stat : 10860 (java) R 10858 10860 10681 0 -1 0 29101 0 1 0 2493 35 0 0 25 0 8 0 155526871 937697280 28833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10860/statm: 228930 28833 2534 14 0 215400 0
[pid=10860/tid=10862] ppid=10858 vsize=915720 CPUtime=0.16
/proc/10860/task/10862/stat : 10862 (java) S 10858 10860 10681 0 -1 64 11985 0 0 0 11 5 0 0 16 0 8 0 155526882 937697280 28833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10863] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10863/stat : 10863 (java) S 10858 10860 10681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 28833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10864] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10864/stat : 10864 (java) S 10858 10860 10681 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 28833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10865] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10865/stat : 10865 (java) S 10858 10860 10681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155526886 937697280 28833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10866] ppid=10858 vsize=915720 CPUtime=0.31
/proc/10860/task/10866/stat : 10866 (java) S 10858 10860 10681 0 -1 64 498 0 0 0 30 1 0 0 16 0 8 0 155526886 937697280 28833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10867] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10867/stat : 10867 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155526886 937697280 28833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10868] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10868/stat : 10868 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155526886 937697280 28833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915720

[startup+51.2288 s]
/proc/loadavg: 1.96 1.98 1.92 3/100 10868
/proc/meminfo: memFree=983624/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=915720 CPUtime=50.66
/proc/10860/stat : 10860 (java) R 10858 10860 10681 0 -1 0 34765 0 1 0 5028 38 0 0 25 0 8 0 155526871 937697280 34496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074020822 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10860/statm: 228930 34496 2534 14 0 215400 0
[pid=10860/tid=10862] ppid=10858 vsize=915720 CPUtime=0.22
/proc/10860/task/10862/stat : 10862 (java) S 10858 10860 10681 0 -1 64 17648 0 0 0 15 7 0 0 16 0 8 0 155526882 937697280 34496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10863] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10863/stat : 10863 (java) S 10858 10860 10681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 34496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10864] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10864/stat : 10864 (java) S 10858 10860 10681 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 34496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10865] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10865/stat : 10865 (java) S 10858 10860 10681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155526886 937697280 34496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10866] ppid=10858 vsize=915720 CPUtime=0.31
/proc/10860/task/10866/stat : 10866 (java) S 10858 10860 10681 0 -1 64 498 0 0 0 30 1 0 0 16 0 8 0 155526886 937697280 34496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10867] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10867/stat : 10867 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155526886 937697280 34496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10868] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10868/stat : 10868 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155526886 937697280 34496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 915720

[startup+102.45 s]
/proc/loadavg: 1.92 1.96 1.91 3/100 10924
/proc/meminfo: memFree=955272/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=915720 CPUtime=101.61
/proc/10860/stat : 10860 (java) R 10858 10860 10681 0 -1 0 57524 0 1 0 10114 47 0 0 25 0 8 0 155526871 937697280 57250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073990083 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10860/statm: 228930 57250 2534 14 0 215400 0
[pid=10860/tid=10862] ppid=10858 vsize=915720 CPUtime=0.46
/proc/10860/task/10862/stat : 10862 (java) S 10858 10860 10681 0 -1 64 40402 0 0 0 30 16 0 0 16 0 8 0 155526882 937697280 57250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10860/tid=10863] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10863/stat : 10863 (java) S 10858 10860 10681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 57250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10864] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10864/stat : 10864 (java) S 10858 10860 10681 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 57250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10865] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10865/stat : 10865 (java) S 10858 10860 10681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155526886 937697280 57250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10866] ppid=10858 vsize=915720 CPUtime=0.31
/proc/10860/task/10866/stat : 10866 (java) S 10858 10860 10681 0 -1 64 498 0 0 0 30 1 0 0 16 0 8 0 155526886 937697280 57250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10860/tid=10867] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10867/stat : 10867 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155526886 937697280 57250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10868] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10868/stat : 10868 (java) R 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155526886 937697280 57250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.61
Current children cumulated vsize (KiB) 915720

[startup+162.502 s]
/proc/loadavg: 2.01 1.98 1.92 5/100 10926
/proc/meminfo: memFree=846096/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=915720 CPUtime=161.61
/proc/10860/stat : 10860 (java) R 10858 10860 10681 0 -1 0 84731 0 1 0 16104 57 0 0 25 0 8 0 155526871 937697280 84452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073996044 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1420.95
Current children cumulated vsize (KiB) 915720

[startup+1483.14 s]
/proc/loadavg: 2.03 2.03 1.97 3/100 10982
/proc/meminfo: memFree=538192/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=915720 CPUtime=1480.92
/proc/10860/stat : 10860 (java) R 10858 10860 10681 0 -1 0 154867 0 1 0 148005 87 0 0 25 0 8 0 155526871 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073995011 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10860/statm: 228930 154574 2534 14 0 215400 0
[pid=10860/tid=10862] ppid=10858 vsize=915720 CPUtime=1.48
/proc/10860/task/10862/stat : 10862 (java) S 10858 10860 10681 0 -1 64 137726 0 0 0 98 50 0 0 16 0 8 0 155526882 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10860/tid=10863] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10863/stat : 10863 (java) S 10858 10860 10681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10864] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10864/stat : 10864 (java) S 10858 10860 10681 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10865] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10865/stat : 10865 (java) S 10858 10860 10681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10866] ppid=10858 vsize=915720 CPUtime=0.31
/proc/10860/task/10866/stat : 10866 (java) S 10858 10860 10681 0 -1 64 498 0 0 0 30 1 0 0 16 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10860/tid=10867] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10867/stat : 10867 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10868] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10868/stat : 10868 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1480.92
Current children cumulated vsize (KiB) 915720

[startup+1543.15 s]
/proc/loadavg: 2.01 2.02 1.97 3/100 10982
/proc/meminfo: memFree=538128/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=915720 CPUtime=1540.82
/proc/10860/stat : 10860 (java) R 10858 10860 10681 0 -1 0 154867 0 1 0 153995 87 0 0 25 0 8 0 155526871 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074104444 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10860/statm: 228930 154574 2534 14 0 215400 0
[pid=10860/tid=10862] ppid=10858 vsize=915720 CPUtime=1.48
/proc/10860/task/10862/stat : 10862 (java) S 10858 10860 10681 0 -1 64 137726 0 0 0 98 50 0 0 16 0 8 0 155526882 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10860/tid=10863] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10863/stat : 10863 (java) S 10858 10860 10681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10864] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10864/stat : 10864 (java) S 10858 10860 10681 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10865] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10865/stat : 10865 (java) S 10858 10860 10681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10866] ppid=10858 vsize=915720 CPUtime=0.31
/proc/10860/task/10866/stat : 10866 (java) S 10858 10860 10681 0 -1 64 498 0 0 0 30 1 0 0 16 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10860/tid=10867] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10867/stat : 10867 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10868] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10868/stat : 10868 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1540.82
Current children cumulated vsize (KiB) 915720

[startup+1603.16 s]
/proc/loadavg: 2.00 2.01 1.97 3/100 10982
/proc/meminfo: memFree=538128/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=915720 CPUtime=1600.53
/proc/10860/stat : 10860 (java) R 10858 10860 10681 0 -1 0 154867 0 1 0 159966 87 0 0 25 0 8 0 155526871 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073995060 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10860/statm: 228930 154574 2534 14 0 215400 0
[pid=10860/tid=10862] ppid=10858 vsize=915720 CPUtime=1.48
/proc/10860/task/10862/stat : 10862 (java) S 10858 10860 10681 0 -1 64 137726 0 0 0 98 50 0 0 16 0 8 0 155526882 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10860/tid=10863] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10863/stat : 10863 (java) S 10858 10860 10681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10864] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10864/stat : 10864 (java) S 10858 10860 10681 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10865] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10865/stat : 10865 (java) S 10858 10860 10681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10866] ppid=10858 vsize=915720 CPUtime=0.31
/proc/10860/task/10866/stat : 10866 (java) S 10858 10860 10681 0 -1 64 498 0 0 0 30 1 0 0 16 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10860/tid=10867] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10867/stat : 10867 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10868] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10868/stat : 10868 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1600.53
Current children cumulated vsize (KiB) 915720

[startup+1663.17 s]
/proc/loadavg: 2.00 2.01 1.97 3/100 10982
/proc/meminfo: memFree=538128/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=915720 CPUtime=1660.24
/proc/10860/stat : 10860 (java) R 10858 10860 10681 0 -1 0 154867 0 1 0 165937 87 0 0 25 0 8 0 155526871 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073994924 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10860/statm: 228930 154574 2534 14 0 215400 0
[pid=10860/tid=10862] ppid=10858 vsize=915720 CPUtime=1.48
/proc/10860/task/10862/stat : 10862 (java) S 10858 10860 10681 0 -1 64 137726 0 0 0 98 50 0 0 16 0 8 0 155526882 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10860/tid=10863] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10863/stat : 10863 (java) S 10858 10860 10681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10864] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10864/stat : 10864 (java) S 10858 10860 10681 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10865] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10865/stat : 10865 (java) S 10858 10860 10681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10866] ppid=10858 vsize=915720 CPUtime=0.31
/proc/10860/task/10866/stat : 10866 (java) S 10858 10860 10681 0 -1 64 498 0 0 0 30 1 0 0 16 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10860/tid=10867] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10867/stat : 10867 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10868] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10868/stat : 10868 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1660.24
Current children cumulated vsize (KiB) 915720

[startup+1723.18 s]
/proc/loadavg: 2.00 2.00 1.97 3/100 10982
/proc/meminfo: memFree=538128/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=915720 CPUtime=1719.92
/proc/10860/stat : 10860 (java) R 10858 10860 10681 0 -1 0 154867 0 1 0 171904 88 0 0 25 0 8 0 155526871 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073996044 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10860/statm: 228930 154574 2534 14 0 215400 0
[pid=10860/tid=10862] ppid=10858 vsize=915720 CPUtime=1.48
/proc/10860/task/10862/stat : 10862 (java) S 10858 10860 10681 0 -1 64 137726 0 0 0 98 50 0 0 16 0 8 0 155526882 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10860/tid=10863] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10863/stat : 10863 (java) S 10858 10860 10681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10864] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10864/stat : 10864 (java) S 10858 10860 10681 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10865] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10865/stat : 10865 (java) S 10858 10860 10681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10866] ppid=10858 vsize=915720 CPUtime=0.31
/proc/10860/task/10866/stat : 10866 (java) S 10858 10860 10681 0 -1 64 498 0 0 0 30 1 0 0 16 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10860/tid=10867] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10867/stat : 10867 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10868] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10868/stat : 10868 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1719.92
Current children cumulated vsize (KiB) 915720

[startup+1783.18 s]
/proc/loadavg: 2.00 2.00 1.97 3/100 10982
/proc/meminfo: memFree=538128/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=915720 CPUtime=1779.62
/proc/10860/stat : 10860 (java) R 10858 10860 10681 0 -1 0 154867 0 1 0 177874 88 0 0 25 0 8 0 155526871 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074021743 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10860/statm: 228930 154574 2534 14 0 215400 0
[pid=10860/tid=10862] ppid=10858 vsize=915720 CPUtime=1.48
/proc/10860/task/10862/stat : 10862 (java) S 10858 10860 10681 0 -1 64 137726 0 0 0 98 50 0 0 16 0 8 0 155526882 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10860/tid=10863] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10863/stat : 10863 (java) S 10858 10860 10681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10864] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10864/stat : 10864 (java) S 10858 10860 10681 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10865] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10865/stat : 10865 (java) S 10858 10860 10681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10866] ppid=10858 vsize=915720 CPUtime=0.31
/proc/10860/task/10866/stat : 10866 (java) S 10858 10860 10681 0 -1 64 498 0 0 0 30 1 0 0 16 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10860/tid=10867] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10867/stat : 10867 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10868] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10868/stat : 10868 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1779.62
Current children cumulated vsize (KiB) 915720



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.65 s]
/proc/loadavg: 2.00 2.00 1.97 3/100 10982
/proc/meminfo: memFree=538128/2055920 swapFree=4191880/4192956
[pid=10860] ppid=10858 vsize=915720 CPUtime=1800.01
/proc/10860/stat : 10860 (java) R 10858 10860 10681 0 -1 0 154867 0 1 0 179912 89 0 0 25 0 8 0 155526871 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073990039 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10860/statm: 228930 154574 2534 14 0 215400 0
[pid=10860/tid=10862] ppid=10858 vsize=915720 CPUtime=1.48
/proc/10860/task/10862/stat : 10862 (java) S 10858 10860 10681 0 -1 64 137726 0 0 0 98 50 0 0 16 0 8 0 155526882 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10860/tid=10863] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10863/stat : 10863 (java) S 10858 10860 10681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10864] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10864/stat : 10864 (java) S 10858 10860 10681 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155526883 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10865] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10865/stat : 10865 (java) S 10858 10860 10681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10866] ppid=10858 vsize=915720 CPUtime=0.31
/proc/10860/task/10866/stat : 10866 (java) S 10858 10860 10681 0 -1 64 498 0 0 0 30 1 0 0 16 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10860/tid=10867] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10867/stat : 10867 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10860/tid=10868] ppid=10858 vsize=915720 CPUtime=0
/proc/10860/task/10868/stat : 10868 (java) S 10858 10860 10681 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155526886 937697280 154574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915720

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

Child status: 143
Real time (s): 1803.77
CPU time (s): 1800.13
CPU user time (s): 1799.15
CPU system time (s): 0.979851
CPU usage (%): 99.7981
Max. virtual memory (cumulated for all children) (KiB): 915720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.15
system time used= 0.979851
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154882
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= 38048
involuntary context switches= 45947

runsolver used 2.68259 s user time and 5.30319 s system time

The end

Launcher Data (download as text)

Begin job on node4 on Sat Jan  6 08:15:10 UTC 2007


IDJOB= 198924
IDBENCH= 3582
FILE ID= node4/198924-1168071309

PBS_JOBID= 3475728

Free space on /tmp= 66303 MiB

BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapScens11/scen11-f1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/198924-1168071309/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-198924-1168071309 -o ROOT/results/node4/solver-198924-1168071309 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/198924-1168071309/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  a9ee5762bd9cc960c2c3327ea9b7951e

RANDOM SEED= 978503240

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.223
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.223
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:       1112416 kB
Buffers:         73516 kB
Cached:         640964 kB
SwapCached:        268 kB
Active:         499232 kB
Inactive:       348368 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1112416 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            2304 kB
Writeback:           0 kB
Mapped:         161404 kB
Slab:            80396 kB
Committed_AS:  4503080 kB
PageTables:       2608 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= 66305 MiB



End job on node4 on Sat Jan  6 08:45:17 UTC 2007