Trace number 252594

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 ESAC? (TO) 1800.15 1800.89

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=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/252594-1168408267/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.51	     nbVariables=1740  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.51	       =>  wckTime=0.196  cpuTime=0.12  mem=6M886
0.51	   
0.51	   predicates being loaded...
0.52	   
0.52	   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.093  cpuTime=0.94  mem=47M843
1.52	   
1.52	   solver IterativeSystematicSolver being built... 
1.92	       =>  wckTime=1.607  cpuTime=1.25  mem=16M831
3.04	   
3.04	   preprocessing
3.04	     nbConstraintChecks=36379  nbValidityChecks=43049  nbPropagations=4009  nbRevisions=27629  nbUselessRevisions=27095
3.04	     nbSingletonTests=1832  nbEffectiveSingletonTests=0  nbESACBranches=8  nbRemovedValues=0  detectedInconsistency=no
3.04	       =>  wckTime=1.11  cpuTime=1.05  mem=16M831
3.30	   
3.31	   search
3.31	     run=0  nbConstraintChecks=72806  nbValidityChecks=8582  nbPropagations=4455  nbRevisions=33302
3.31	     nbUselessRevisions=32325  nbAssignments=192  nbFailedAssignments=4  nbBacktracks=22  nbVisitedNodes=201
3.31	     nbRestartNogoods=0  mapSize=7  nbInferences=0  nbTooLargeKeys=0
3.31	       =>  wckTime=1.375  cpuTime=1.3  mem=17M852
3.58	   
3.58	   search
3.58	     run=1  nbConstraintChecks=145175  nbValidityChecks=20009  nbPropagations=9542  nbRevisions=73796
3.58	     nbUselessRevisions=71249  nbAssignments=421  nbFailedAssignments=9  nbBacktracks=40  nbVisitedNodes=444
3.58	     nbRestartNogoods=1  mapSize=18  nbInferences=0  nbTooLargeKeys=0
3.58	       =>  wckTime=1.646  cpuTime=1.57  mem=17M852
4.03	   
4.03	   search
4.03	     run=2  nbConstraintChecks=222242  nbValidityChecks=37678  nbPropagations=15705  nbRevisions=126258
4.03	     nbUselessRevisions=121055  nbAssignments=808  nbFailedAssignments=21  nbBacktracks=62  nbVisitedNodes=853
4.03	     nbRestartNogoods=4  mapSize=31  nbInferences=0  nbTooLargeKeys=0
4.03	       =>  wckTime=2.104  cpuTime=2.02  mem=17M852
4.82	   
4.82	   search
4.82	     run=3  nbConstraintChecks=262128  nbValidityChecks=119228  nbPropagations=25423  nbRevisions=228989
4.82	     nbUselessRevisions=218429  nbAssignments=2670  nbFailedAssignments=31  nbBacktracks=110  nbVisitedNodes=1320
4.82	     nbRestartNogoods=13  mapSize=38  nbInferences=0  nbTooLargeKeys=0
4.82	       =>  wckTime=2.891  cpuTime=2.8  mem=17M852
5.60	   
5.60	   search
5.60	     run=4  nbConstraintChecks=311117  nbValidityChecks=245796  nbPropagations=40634  nbRevisions=413921
5.60	     nbUselessRevisions=393716  nbAssignments=5345  nbFailedAssignments=39  nbBacktracks=165  nbVisitedNodes=1709
5.60	     nbRestartNogoods=19  mapSize=49  nbInferences=0  nbTooLargeKeys=0
5.60	       =>  wckTime=3.668  cpuTime=3.56  mem=18M840
6.04	   
6.04	   search
6.04	     run=5  nbConstraintChecks=439814  nbValidityChecks=293917  nbPropagations=58372  nbRevisions=629977
6.04	     nbUselessRevisions=597932  nbAssignments=6363  nbFailedAssignments=50  nbBacktracks=245  nbVisitedNodes=1968
6.04	     nbRestartNogoods=22  mapSize=77  nbInferences=0  nbTooLargeKeys=0
6.04	       =>  wckTime=4.11  cpuTime=4.0  mem=18M840
6.28	   
6.28	   search
6.28	     run=6  nbConstraintChecks=465442  nbValidityChecks=306274  nbPropagations=76757  nbRevisions=854444
6.28	     nbUselessRevisions=809987  nbAssignments=6653  nbFailedAssignments=67  nbBacktracks=363  nbVisitedNodes=2291
6.28	     nbRestartNogoods=23  mapSize=109  nbInferences=0  nbTooLargeKeys=0
6.28	       =>  wckTime=4.347  cpuTime=4.23  mem=18M840
7.21	   
7.21	   search
7.21	     run=7  nbConstraintChecks=490521  nbValidityChecks=340280  nbPropagations=97937  nbRevisions=1104844
7.21	     nbUselessRevisions=1045129  nbAssignments=7268  nbFailedAssignments=86  nbBacktracks=536  nbVisitedNodes=2947
7.21	     nbRestartNogoods=24  mapSize=143  nbInferences=0  nbTooLargeKeys=0
7.21	       =>  wckTime=5.283  cpuTime=5.17  mem=18M840
8.69	   
8.69	   search
8.69	     run=8  nbConstraintChecks=584342  nbValidityChecks=471259  nbPropagations=125929  nbRevisions=1443346
8.69	     nbUselessRevisions=1362608  nbAssignments=9992  nbFailedAssignments=103  nbBacktracks=801  nbVisitedNodes=3656
8.69	     nbRestartNogoods=31  mapSize=172  nbInferences=0  nbTooLargeKeys=0
8.69	       =>  wckTime=6.764  cpuTime=6.65  mem=19M828
9.82	   
9.82	   search
9.82	     run=9  nbConstraintChecks=615832  nbValidityChecks=507145  nbPropagations=156246  nbRevisions=1809593
9.82	     nbUselessRevisions=1705473  nbAssignments=10781  nbFailedAssignments=137  nbBacktracks=1189  nbVisitedNodes=4520
9.82	     nbRestartNogoods=34  mapSize=245  nbInferences=0  nbTooLargeKeys=0
9.82	       =>  wckTime=7.891  cpuTime=7.77  mem=20M816
10.79	   
10.79	   search
10.79	     run=10  nbConstraintChecks=811932  nbValidityChecks=668666  nbPropagations=200956  nbRevisions=2312026
10.79	     nbUselessRevisions=2162545  nbAssignments=11608  nbFailedAssignments=256  nbBacktracks=1769  nbVisitedNodes=5864
10.79	     nbRestartNogoods=36  mapSize=734  nbInferences=0  nbTooLargeKeys=0
10.79	       =>  wckTime=8.859  cpuTime=8.73  mem=20M816
11.97	   
11.97	   search
11.97	     run=11  nbConstraintChecks=872281  nbValidityChecks=718690  nbPropagations=248665  nbRevisions=2847806
11.97	     nbUselessRevisions=2649864  nbAssignments=12703  nbFailedAssignments=347  nbBacktracks=2633  nbVisitedNodes=7170
11.97	     nbRestartNogoods=38  mapSize=944  nbInferences=0  nbTooLargeKeys=0
11.97	       =>  wckTime=10.041  cpuTime=9.91  mem=21M805
12.52	   
12.52	   INFO : Stopping hyperNogood (mapSize=1010, nbTooLargekeys=0, mem=21M805)
13.01	   
13.01	   search
13.01	     run=12  nbConstraintChecks=949595  nbValidityChecks=793652  nbPropagations=302168  nbRevisions=3442632
13.01	     nbUselessRevisions=3189441  nbAssignments=14328  nbFailedAssignments=484  nbBacktracks=3930  nbVisitedNodes=9099
13.01	     nbRestartNogoods=39
13.01	       =>  wckTime=11.076  cpuTime=10.94  mem=21M805
14.26	   
14.26	   search
14.26	     run=13  nbConstraintChecks=1123302  nbValidityChecks=1023826  nbPropagations=375752  nbRevisions=4232710
14.26	     nbUselessRevisions=3901919  nbAssignments=16822  nbFailedAssignments=577  nbBacktracks=5922  nbVisitedNodes=11825
14.26	     nbRestartNogoods=44
14.26	       =>  wckTime=12.328  cpuTime=12.19  mem=21M805
16.00	   
16.00	   search
16.00	     run=14  nbConstraintChecks=1373577  nbValidityChecks=1321262  nbPropagations=472941  nbRevisions=5279207
16.00	     nbUselessRevisions=4843945  nbAssignments=20576  nbFailedAssignments=784  nbBacktracks=8849  nbVisitedNodes=15887
16.00	     nbRestartNogoods=50
16.00	       =>  wckTime=14.068  cpuTime=13.93  mem=21M805
18.68	   
18.68	   search
18.68	     run=15  nbConstraintChecks=1755610  nbValidityChecks=1826651  nbPropagations=609977  nbRevisions=6748356
18.68	     nbUselessRevisions=6163163  nbAssignments=26977  nbFailedAssignments=1080  nbBacktracks=13234  nbVisitedNodes=21638
18.68	     nbRestartNogoods=58
18.68	       =>  wckTime=16.754  cpuTime=16.62  mem=21M805
22.50	   
22.50	   search
22.50	     run=16  nbConstraintChecks=2543752  nbValidityChecks=2487594  nbPropagations=796673  nbRevisions=8831779
22.50	     nbUselessRevisions=8038211  nbAssignments=34254  nbFailedAssignments=1431  nbBacktracks=19804  nbVisitedNodes=29768
22.50	     nbRestartNogoods=63
22.50	       =>  wckTime=20.575  cpuTime=20.44  mem=21M805
28.35	   
28.35	   search
28.35	     run=17  nbConstraintChecks=3441162  nbValidityChecks=3663141  nbPropagations=1077843  nbRevisions=11953851
28.35	     nbUselessRevisions=10843534  nbAssignments=46184  nbFailedAssignments=1997  nbBacktracks=29665
28.35	     nbVisitedNodes=41989  nbRestartNogoods=71
28.35	       =>  wckTime=26.418  cpuTime=26.28  mem=21M805
36.81	   
36.81	   search
36.81	     run=18  nbConstraintChecks=4816212  nbValidityChecks=5285880  nbPropagations=1484062  nbRevisions=16545209
36.81	     nbUselessRevisions=14972172  nbAssignments=62622  nbFailedAssignments=2944  nbBacktracks=44454
36.81	     nbVisitedNodes=60418  nbRestartNogoods=81
36.81	       =>  wckTime=34.88  cpuTime=34.73  mem=21M805
47.89	   
47.89	   search
47.89	     run=19  nbConstraintChecks=6364580  nbValidityChecks=7087252  nbPropagations=2030036  nbRevisions=22753610
47.89	     nbUselessRevisions=20554548  nbAssignments=86338  nbFailedAssignments=4114  nbBacktracks=66655
47.89	     nbVisitedNodes=86976  nbRestartNogoods=89
47.89	       =>  wckTime=45.962  cpuTime=45.81  mem=21M805
78.07	   
78.07	   search
78.07	     run=20  nbConstraintChecks=13242344  nbValidityChecks=15715573  nbPropagations=3346340  nbRevisions=37320692
78.07	     nbUselessRevisions=33593394  nbAssignments=124540  nbFailedAssignments=8133  nbBacktracks=99910
78.07	     nbVisitedNodes=135306  nbRestartNogoods=97
78.07	       =>  wckTime=76.141  cpuTime=75.98  mem=21M805
106.67	   
106.67	   search
106.67	     run=21  nbConstraintChecks=18023380  nbValidityChecks=20976560  nbPropagations=5183706  nbRevisions=56860689
106.67	     nbUselessRevisions=51004859  nbAssignments=179049  nbFailedAssignments=12429  nbBacktracks=149792
106.67	     nbVisitedNodes=198977  nbRestartNogoods=107
106.67	       =>  wckTime=104.741  cpuTime=104.58  mem=21M805
166.94	   
166.94	   search
166.94	     run=22  nbConstraintChecks=32328280  nbValidityChecks=36594233  nbPropagations=8483617  nbRevisions=90717348
166.94	     nbUselessRevisions=80989067  nbAssignments=264598  nbFailedAssignments=21855  nbBacktracks=224673
166.94	     nbVisitedNodes=309315  nbRestartNogoods=127
166.94	       =>  wckTime=165.005  cpuTime=164.83  mem=21M805
230.14	   
230.14	   search
230.14	     run=23  nbConstraintChecks=42655419  nbValidityChecks=48811236  nbPropagations=12792788  nbRevisions=135840611
230.14	     nbUselessRevisions=121008654  nbAssignments=391012  nbFailedAssignments=34244  nbBacktracks=336931
230.14	     nbVisitedNodes=469903  nbRestartNogoods=141
230.14	       =>  wckTime=228.211  cpuTime=228.02  mem=22M793
320.73	   
320.73	   search
320.73	     run=24  nbConstraintChecks=56616087  nbValidityChecks=65064904  nbPropagations=18627649  nbRevisions=196344172
320.73	     nbUselessRevisions=174626606  nbAssignments=572249  nbFailedAssignments=46439  nbBacktracks=505272
320.73	     nbVisitedNodes=677899  nbRestartNogoods=157
320.73	       =>  wckTime=318.803  cpuTime=318.58  mem=22M793
493.16	   
493.16	   search
493.16	     run=25  nbConstraintChecks=90936879  nbValidityChecks=107530304  nbPropagations=28364466  nbRevisions=295122997
493.16	     nbUselessRevisions=261906779  nbAssignments=852551  nbFailedAssignments=72851  nbBacktracks=757783
493.16	     nbVisitedNodes=1032691  nbRestartNogoods=178
493.16	       =>  wckTime=491.234  cpuTime=490.96  mem=22M793
692.75	   
692.75	   search
692.75	     run=26  nbConstraintChecks=122089852  nbValidityChecks=141718377  nbPropagations=40807872  nbRevisions=425507828
692.75	     nbUselessRevisions=377511308  nbAssignments=1265493  nbFailedAssignments=105721  nbBacktracks=1136568
692.75	     nbVisitedNodes=1524537  nbRestartNogoods=200
692.75	       =>  wckTime=690.822  cpuTime=690.28  mem=22M793
975.02	   
975.02	   search
975.02	     run=27  nbConstraintChecks=161192471  nbValidityChecks=187921542  nbPropagations=56703718  nbRevisions=597766550
975.02	     nbUselessRevisions=530707577  nbAssignments=1895368  nbFailedAssignments=165498  nbBacktracks=1704750
975.02	     nbVisitedNodes=2308864  nbRestartNogoods=217
975.03	       =>  wckTime=973.094  cpuTime=972.48  mem=22M793
1465.85	   
1465.85	   search
1465.85	     run=28  nbConstraintChecks=242631214  nbValidityChecks=287473707  nbPropagations=79899174  nbRevisions=863529982
1465.85	     nbUselessRevisions=768530581  nbAssignments=2822771  nbFailedAssignments=238945  nbBacktracks=2556984
1465.85	     nbVisitedNodes=3410630  nbRestartNogoods=230
1465.85	       =>  wckTime=1463.924  cpuTime=1463.18  mem=22M793

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/node56/watcher-252594-1168408267 -o ROOT/results/node56/solver-252594-1168408267 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/252594-1168408267/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.03 1.02 1.01 2/70 31292
/proc/meminfo: memFree=1519456/2055920 swapFree=4184772/4192956
[pid=31290] ppid=31282 vsize=168 CPUtime=0
/proc/31290/stat : 31290 (java) R 31282 31290 31146 0 -1 0 39 0 0 0 0 0 0 0 20 0 1 0 189224843 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 10027307 0 0 4096 0 0 0 0 17 1 0 0
/proc/31290/statm: 42 23 18 14 0 2 0

[startup+0.1024 s]
/proc/loadavg: 1.03 1.02 1.01 2/70 31292
/proc/meminfo: memFree=1519456/2055920 swapFree=4184772/4192956
[pid=31290] ppid=31282 vsize=913068 CPUtime=0.08
/proc/31290/stat : 31290 (java) S 31282 31290 31146 0 -1 0 2874 0 1 0 7 1 0 0 18 0 8 0 189224843 934981632 2620 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31290/statm: 228267 2620 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068

[startup+0.510439 s]
/proc/loadavg: 1.03 1.02 1.01 2/70 31292
/proc/meminfo: memFree=1519456/2055920 swapFree=4184772/4192956
[pid=31290] ppid=31282 vsize=915328 CPUtime=0.49
/proc/31290/stat : 31290 (java) R 31282 31290 31146 0 -1 0 6123 0 1 0 44 5 0 0 20 0 8 0 189224843 937295872 5862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31290/statm: 228832 5863 2126 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33252 s]
/proc/loadavg: 1.11 1.04 1.01 3/88 31311
/proc/meminfo: memFree=1461840/2055920 swapFree=4184772/4192956
[pid=31290] ppid=31282 vsize=915620 CPUtime=1.3
/proc/31290/stat : 31290 (java) R 31282 31290 31146 0 -1 0 15249 0 1 0 96 34 0 0 18 0 8 0 189224843 937594880 14987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833164 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31290/statm: 228905 14987 2168 14 0 215375 0
[pid=31290/tid=31299] ppid=31282 vsize=915620 CPUtime=0
/proc/31290/task/31299/stat : 31299 (java) S 31282 31290 31146 0 -1 64 8 0 0 0 0 0 0 0 17 0 8 0 189224847 937594880 14989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31290/tid=31302] ppid=31282 vsize=915624 CPUtime=0
/proc/31290/task/31302/stat : 31302 (java) S 31282 31290 31146 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 189224848 937598976 14989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31303] ppid=31282 vsize=915620 CPUtime=0
/proc/31290/task/31303/stat : 31303 (java) S 31282 31290 31146 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 189224848 937594880 14992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31308] ppid=31282 vsize=915624 CPUtime=0
/proc/31290/task/31308/stat : 31308 (java) S 31282 31290 31146 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189224851 937598976 14992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31309] ppid=31282 vsize=915620 CPUtime=0.18
/proc/31290/task/31309/stat : 31309 (java) S 31282 31290 31146 0 -1 64 411 0 0 0 18 0 0 0 16 0 8 0 189224851 937594880 14994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31310] ppid=31282 vsize=915624 CPUtime=0
/proc/31290/task/31310/stat : 31310 (java) S 31282 31290 31146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189224851 937598976 14994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31311] ppid=31282 vsize=915620 CPUtime=0
/proc/31290/task/31311/stat : 31311 (java) S 31282 31290 31146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189224851 937594880 14996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915620

[startup+2.98968 s]
/proc/loadavg: 1.11 1.04 1.01 3/88 31311
/proc/meminfo: memFree=1437008/2055920 swapFree=4184772/4192956
[pid=31290] ppid=31282 vsize=915716 CPUtime=2.96
/proc/31290/stat : 31290 (java) R 31282 31290 31146 0 -1 0 19593 0 1 0 257 39 0 0 25 0 8 0 189224843 937693184 19329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074130408 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31290/statm: 228929 19329 2546 14 0 215399 0
[pid=31290/tid=31299] ppid=31282 vsize=915716 CPUtime=0.11
/proc/31290/task/31299/stat : 31299 (java) S 31282 31290 31146 0 -1 64 2451 0 0 0 11 0 0 0 17 0 8 0 189224847 937693184 19329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31302] ppid=31282 vsize=915716 CPUtime=0
/proc/31290/task/31302/stat : 31302 (java) S 31282 31290 31146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189224848 937693184 19329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31303] ppid=31282 vsize=915716 CPUtime=0
/proc/31290/task/31303/stat : 31303 (java) S 31282 31290 31146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189224848 937693184 19329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31308] ppid=31282 vsize=915716 CPUtime=0
/proc/31290/task/31308/stat : 31308 (java) S 31282 31290 31146 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189224851 937693184 19329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31309] ppid=31282 vsize=915716 CPUtime=0.33
/proc/31290/task/31309/stat : 31309 (java) S 31282 31290 31146 0 -1 64 497 0 0 0 32 1 0 0 15 0 8 0 189224851 937693184 19329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31310] ppid=31282 vsize=915716 CPUtime=0
/proc/31290/task/31310/stat : 31310 (java) S 31282 31290 31146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189224851 937693184 19329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31311] ppid=31282 vsize=915716 CPUtime=0
/proc/31290/task/31311/stat : 31311 (java) S 31282 31290 31146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189224851 937693184 19329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915716

[startup+6.19 s]
/proc/loadavg: 1.18 1.05 1.02 3/88 31311
/proc/meminfo: memFree=1428112/2055920 swapFree=4184772/4192956
[pid=31290] ppid=31282 vsize=915828 CPUtime=6.15
/proc/31290/stat : 31290 (java) R 31282 31290 31146 0 -1 0 19626 0 1 0 576 39 0 0 25 0 8 0 189224843 937807872 19358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074125386 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31290/statm: 228957 19358 2548 14 0 215427 0
[pid=31290/tid=31299] ppid=31282 vsize=915828 CPUtime=0.11
/proc/31290/task/31299/stat : 31299 (java) S 31282 31290 31146 0 -1 64 2451 0 0 0 11 0 0 0 17 0 8 0 189224847 937807872 19358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31302] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31302/stat : 31302 (java) S 31282 31290 31146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189224848 937807872 19358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31303] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31303/stat : 31303 (java) S 31282 31290 31146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189224848 937807872 19358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31308] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31308/stat : 31308 (java) S 31282 31290 31146 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189224851 937807872 19358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31309] ppid=31282 vsize=915828 CPUtime=0.38
/proc/31290/task/31309/stat : 31309 (java) S 31282 31290 31146 0 -1 64 520 0 0 0 36 2 0 0 15 0 8 0 189224851 937807872 19358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31310] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31310/stat : 31310 (java) S 31282 31290 31146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189224851 937807872 19358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31311] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31311/stat : 31311 (java) S 31282 31290 31146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189224851 937807872 19358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915828

[startup+12.6746 s]
/proc/loadavg: 1.33 1.09 1.03 3/88 31311
/proc/meminfo: memFree=1412064/2055920 swapFree=4184772/4192956
[pid=31290] ppid=31282 vsize=915828 CPUtime=12.64
/proc/31290/stat : 31290 (java) R 31282 31290 31146 0 -1 0 19634 0 1 0 1224 40 0 0 25 0 8 0 189224843 937807872 19364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074102560 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31290/statm: 228957 19364 2548 14 0 215427 0
[pid=31290/tid=31299] ppid=31282 vsize=915828 CPUtime=0.11
/proc/31290/task/31299/stat : 31299 (java) S 31282 31290 31146 0 -1 64 2451 0 0 0 11 0 0 0 17 0 8 0 189224847 937807872 19364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31302] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31302/stat : 31302 (java) S 31282 31290 31146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189224848 937807872 19364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31303] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31303/stat : 31303 (java) S 31282 31290 31146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189224848 937807872 19364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31308] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31308/stat : 31308 (java) S 31282 31290 31146 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189224851 937807872 19364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31309] ppid=31282 vsize=915828 CPUtime=0.39
/proc/31290/task/31309/stat : 31309 (java) S 31282 31290 31146 0 -1 64 526 0 0 0 37 2 0 0 16 0 8 0 189224851 937807872 19364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31310] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31310/stat : 31310 (java) S 31282 31290 31146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189224851 937807872 19364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31311] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31311/stat : 31311 (java) S 31282 31290 31146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189224851 937807872 19364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915828

[startup+25.5369 s]
/proc/loadavg: 1.43 1.12 1.04 3/88 31311
/proc/meminfo: memFree=1378792/2055920 swapFree=4184772/4192956
[pid=31290] ppid=31282 vsize=915828 CPUtime=25.49
/proc/31290/stat : 31290 (java) R 31282 31290 31146 0 -1 0 19637 0 1 0 2509 40 0 0 25 0 8 0 189224843 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074091696 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31290/statm: 228957 19365 2548 14 0 215427 0
[pid=31290/tid=31299] ppid=31282 vsize=915828 CPUtime=0.11
/proc/31290/task/31299/stat : 31299 (java) S 31282 31290 31146 0 -1 64 2451 0 0 0 11 0 0 0 16 0 8 0 189224847 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31302] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31302/stat : 31302 (java) S 31282 31290 31146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189224848 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31303] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31303/stat : 31303 (java) S 31282 31290 31146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189224848 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31308] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31308/stat : 31308 (java) S 31282 31290 31146 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31309] ppid=31282 vsize=915828 CPUtime=0.39
/proc/31290/task/31309/stat : 31309 (java) S 31282 31290 31146 0 -1 64 527 0 0 0 37 2 0 0 17 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31310] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31310/stat : 31310 (java) S 31282 31290 31146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31311] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31311/stat : 31311 (java) S 31282 31290 31146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 915828

[startup+51.1554 s]
/proc/loadavg: 1.65 1.20 1.06 3/88 31311
/proc/meminfo: memFree=1378600/2055920 swapFree=4184772/4192956
[pid=31290] ppid=31282 vsize=915828 CPUtime=51.1
/proc/31290/stat : 31290 (java) R 31282 31290 31146 0 -1 0 19637 0 1 0 5070 40 0 0 25 0 8 0 189224843 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074070964 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31290/statm: 228957 19365 2548 14 0 215427 0
[pid=31290/tid=31299] ppid=31282 vsize=915828 CPUtime=0.11
/proc/31290/task/31299/stat : 31299 (java) S 31282 31290 31146 0 -1 64 2451 0 0 0 11 0 0 0 16 0 8 0 189224847 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31302] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31302/stat : 31302 (java) S 31282 31290 31146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189224848 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31303] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31303/stat : 31303 (java) S 31282 31290 31146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189224848 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31308] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31308/stat : 31308 (java) S 31282 31290 31146 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31309] ppid=31282 vsize=915828 CPUtime=0.39
/proc/31290/task/31309/stat : 31309 (java) S 31282 31290 31146 0 -1 64 527 0 0 0 37 2 0 0 17 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31310] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31310/stat : 31310 (java) S 31282 31290 31146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31311] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31311/stat : 31311 (java) S 31282 31290 31146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 915828

[startup+102.382 s]
/proc/loadavg: 1.85 1.32 1.11 3/88 31311
/proc/meminfo: memFree=1377384/2055920 swapFree=4184772/4192956
[pid=31290] ppid=31282 vsize=915828 CPUtime=102.32
/proc/31290/stat : 31290 (java) R 31282 31290 31146 0 -1 0 19637 0 1 0 10192 40 0 0 25 0 8 0 189224843 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074070052 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31290/statm: 228957 19365 2548 14 0 215427 0
[pid=31290/tid=31299] ppid=31282 vsize=915828 CPUtime=0.11
/proc/31290/task/31299/stat : 31299 (java) S 31282 31290 31146 0 -1 64 2451 0 0 0 11 0 0 0 16 0 8 0 189224847 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31302] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31302/stat : 31302 (java) S 31282 31290 31146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189224848 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31303] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31303/stat : 31303 (java) S 31282 31290 31146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189224848 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31308] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31308/stat : 31308 (java) S 31282 31290 31146 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31309] ppid=31282 vsize=915828 CPUtime=0.39
/proc/31290/task/31309/stat : 31309 (java) S 31282 31290 31146 0 -1 64 527 0 0 0 37 2 0 0 17 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31310] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31310/stat : 31310 (java) S 31282 31290 31146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31311] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31311/stat : 31311 (java) S 31282 31290 31146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 915828

[startup+162.455 s]
/proc/loadavg: 2.02 1.47 1.17 3/88 31311
/proc/meminfo: memFree=1375976/2055920 swapFree=4184772/4192956
[pid=31290] ppid=31282 vsize=915828 CPUtime=162.37
/proc/31290/stat : 31290 (java) R 31282 31290 31146 0 -1 0 19637 0 1 0 16197 40 0 0 25 0 8 0 189224843 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074082665 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1483.22 s]
/proc/loadavg: 2.00 2.00 1.77 3/88 31509
/proc/meminfo: memFree=1369960/2055920 swapFree=4184772/4192956
[pid=31290] ppid=31282 vsize=915828 CPUtime=1482.56
/proc/31290/stat : 31290 (java) R 31282 31290 31146 0 -1 0 19637 0 1 0 148213 43 0 0 25 0 8 0 189224843 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074090198 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31290/statm: 228957 19365 2548 14 0 215427 0
[pid=31290/tid=31299] ppid=31282 vsize=915828 CPUtime=0.11
/proc/31290/task/31299/stat : 31299 (java) S 31282 31290 31146 0 -1 64 2451 0 0 0 11 0 0 0 16 0 8 0 189224847 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31302] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31302/stat : 31302 (java) S 31282 31290 31146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189224848 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31303] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31303/stat : 31303 (java) S 31282 31290 31146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189224848 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31308] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31308/stat : 31308 (java) S 31282 31290 31146 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31309] ppid=31282 vsize=915828 CPUtime=0.39
/proc/31290/task/31309/stat : 31309 (java) S 31282 31290 31146 0 -1 64 527 0 0 0 37 2 0 0 16 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31310] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31310/stat : 31310 (java) S 31282 31290 31146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31311] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31311/stat : 31311 (java) S 31282 31290 31146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1482.56
Current children cumulated vsize (KiB) 915828

[startup+1543.29 s]
/proc/loadavg: 2.00 2.00 1.79 3/88 31509
/proc/meminfo: memFree=1369768/2055920 swapFree=4184772/4192956
[pid=31290] ppid=31282 vsize=915828 CPUtime=1542.62
/proc/31290/stat : 31290 (java) R 31282 31290 31146 0 -1 0 19637 0 1 0 154219 43 0 0 25 0 8 0 189224843 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074173115 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31290/statm: 228957 19365 2548 14 0 215427 0
[pid=31290/tid=31299] ppid=31282 vsize=915828 CPUtime=0.11
/proc/31290/task/31299/stat : 31299 (java) S 31282 31290 31146 0 -1 64 2451 0 0 0 11 0 0 0 16 0 8 0 189224847 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31302] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31302/stat : 31302 (java) S 31282 31290 31146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189224848 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31303] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31303/stat : 31303 (java) S 31282 31290 31146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189224848 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31308] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31308/stat : 31308 (java) S 31282 31290 31146 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31309] ppid=31282 vsize=915828 CPUtime=0.39
/proc/31290/task/31309/stat : 31309 (java) S 31282 31290 31146 0 -1 64 527 0 0 0 37 2 0 0 16 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31310] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31310/stat : 31310 (java) S 31282 31290 31146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31311] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31311/stat : 31311 (java) S 31282 31290 31146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1542.62
Current children cumulated vsize (KiB) 915828

[startup+1603.36 s]
/proc/loadavg: 2.00 2.00 1.80 3/88 31509
/proc/meminfo: memFree=1369512/2055920 swapFree=4184772/4192956
[pid=31290] ppid=31282 vsize=915828 CPUtime=1602.67
/proc/31290/stat : 31290 (java) R 31282 31290 31146 0 -1 0 19637 0 1 0 160224 43 0 0 25 0 8 0 189224843 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074177130 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31290/statm: 228957 19365 2548 14 0 215427 0
[pid=31290/tid=31299] ppid=31282 vsize=915828 CPUtime=0.11
/proc/31290/task/31299/stat : 31299 (java) S 31282 31290 31146 0 -1 64 2451 0 0 0 11 0 0 0 16 0 8 0 189224847 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31302] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31302/stat : 31302 (java) S 31282 31290 31146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189224848 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31303] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31303/stat : 31303 (java) S 31282 31290 31146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189224848 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31308] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31308/stat : 31308 (java) S 31282 31290 31146 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31309] ppid=31282 vsize=915828 CPUtime=0.39
/proc/31290/task/31309/stat : 31309 (java) S 31282 31290 31146 0 -1 64 527 0 0 0 37 2 0 0 16 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31310] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31310/stat : 31310 (java) S 31282 31290 31146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31311] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31311/stat : 31311 (java) S 31282 31290 31146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1602.67
Current children cumulated vsize (KiB) 915828

[startup+1663.42 s]
/proc/loadavg: 2.00 2.00 1.81 3/88 31511
/proc/meminfo: memFree=1369192/2055920 swapFree=4184772/4192956
[pid=31290] ppid=31282 vsize=915828 CPUtime=1662.72
/proc/31290/stat : 31290 (java) R 31282 31290 31146 0 -1 0 19637 0 1 0 166229 43 0 0 25 0 8 0 189224843 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074085004 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31290/statm: 228957 19365 2548 14 0 215427 0
[pid=31290/tid=31299] ppid=31282 vsize=915828 CPUtime=0.11
/proc/31290/task/31299/stat : 31299 (java) S 31282 31290 31146 0 -1 64 2451 0 0 0 11 0 0 0 16 0 8 0 189224847 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31302] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31302/stat : 31302 (java) S 31282 31290 31146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189224848 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31303] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31303/stat : 31303 (java) S 31282 31290 31146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189224848 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31308] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31308/stat : 31308 (java) S 31282 31290 31146 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31309] ppid=31282 vsize=915828 CPUtime=0.39
/proc/31290/task/31309/stat : 31309 (java) S 31282 31290 31146 0 -1 64 527 0 0 0 37 2 0 0 16 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31310] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31310/stat : 31310 (java) S 31282 31290 31146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31311] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31311/stat : 31311 (java) S 31282 31290 31146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1662.72
Current children cumulated vsize (KiB) 915828

[startup+1723.43 s]
/proc/loadavg: 2.03 2.01 1.82 3/88 31511
/proc/meminfo: memFree=1369128/2055920 swapFree=4184772/4192956
[pid=31290] ppid=31282 vsize=915828 CPUtime=1722.7
/proc/31290/stat : 31290 (java) R 31282 31290 31146 0 -1 0 19637 0 1 0 172227 43 0 0 25 0 8 0 189224843 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074102558 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31290/statm: 228957 19365 2548 14 0 215427 0
[pid=31290/tid=31299] ppid=31282 vsize=915828 CPUtime=0.11
/proc/31290/task/31299/stat : 31299 (java) S 31282 31290 31146 0 -1 64 2451 0 0 0 11 0 0 0 16 0 8 0 189224847 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31302] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31302/stat : 31302 (java) S 31282 31290 31146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189224848 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31303] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31303/stat : 31303 (java) S 31282 31290 31146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189224848 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31308] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31308/stat : 31308 (java) S 31282 31290 31146 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31309] ppid=31282 vsize=915828 CPUtime=0.39
/proc/31290/task/31309/stat : 31309 (java) S 31282 31290 31146 0 -1 64 527 0 0 0 37 2 0 0 16 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31310] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31310/stat : 31310 (java) S 31282 31290 31146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31311] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31311/stat : 31311 (java) S 31282 31290 31146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1722.7
Current children cumulated vsize (KiB) 915828

[startup+1783.43 s]
/proc/loadavg: 2.01 2.01 1.83 3/88 31511
/proc/meminfo: memFree=1369128/2055920 swapFree=4184772/4192956
[pid=31290] ppid=31282 vsize=915828 CPUtime=1782.69
/proc/31290/stat : 31290 (java) R 31282 31290 31146 0 -1 0 19637 0 1 0 178226 43 0 0 25 0 8 0 189224843 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074173115 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31290/statm: 228957 19365 2548 14 0 215427 0
[pid=31290/tid=31299] ppid=31282 vsize=915828 CPUtime=0.11
/proc/31290/task/31299/stat : 31299 (java) S 31282 31290 31146 0 -1 64 2451 0 0 0 11 0 0 0 16 0 8 0 189224847 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31302] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31302/stat : 31302 (java) S 31282 31290 31146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189224848 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31303] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31303/stat : 31303 (java) S 31282 31290 31146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189224848 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31308] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31308/stat : 31308 (java) S 31282 31290 31146 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31309] ppid=31282 vsize=915828 CPUtime=0.39
/proc/31290/task/31309/stat : 31309 (java) S 31282 31290 31146 0 -1 64 527 0 0 0 37 2 0 0 16 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31310] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31310/stat : 31310 (java) S 31282 31290 31146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31311] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31311/stat : 31311 (java) S 31282 31290 31146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1782.69
Current children cumulated vsize (KiB) 915828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.81 s]
/proc/loadavg: 2.01 2.00 1.83 3/88 31511
/proc/meminfo: memFree=1369000/2055920 swapFree=4184772/4192956
[pid=31290] ppid=31282 vsize=915828 CPUtime=1800.07
/proc/31290/stat : 31290 (java) R 31282 31290 31146 0 -1 0 19637 0 1 0 179964 43 0 0 25 0 8 0 189224843 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074072467 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31290/statm: 228957 19365 2548 14 0 215427 0
[pid=31290/tid=31299] ppid=31282 vsize=915828 CPUtime=0.11
/proc/31290/task/31299/stat : 31299 (java) S 31282 31290 31146 0 -1 64 2451 0 0 0 11 0 0 0 16 0 8 0 189224847 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31302] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31302/stat : 31302 (java) S 31282 31290 31146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189224848 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31303] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31303/stat : 31303 (java) S 31282 31290 31146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189224848 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31308] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31308/stat : 31308 (java) S 31282 31290 31146 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31309] ppid=31282 vsize=915828 CPUtime=0.39
/proc/31290/task/31309/stat : 31309 (java) S 31282 31290 31146 0 -1 64 527 0 0 0 37 2 0 0 16 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31310] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31310/stat : 31310 (java) S 31282 31290 31146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31290/tid=31311] ppid=31282 vsize=915828 CPUtime=0
/proc/31290/task/31311/stat : 31311 (java) S 31282 31290 31146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189224851 937807872 19365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 915828

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

Child status: 143
Real time (s): 1800.89
CPU time (s): 1800.15
CPU user time (s): 1799.71
CPU system time (s): 0.446932
CPU usage (%): 99.9591
Max. virtual memory (cumulated for all children) (KiB): 915828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.446932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19655
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= 38151
involuntary context switches= 41165

runsolver used 1.88771 s user time and 5.14522 s system time

The end

Launcher Data (download as text)

Begin job on node56 on Wed Jan 10 05:51:07 UTC 2007


IDJOB= 252594
IDBENCH= 12956
FILE ID= node56/252594-1168408267

PBS_JOBID= 3523431

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  6ccf3d453c1dca720aab2c3bd1d5cd6d

RANDOM SEED= 384221150

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.232
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.232
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:       1519944 kB
Buffers:         60420 kB
Cached:         407044 kB
SwapCached:       2552 kB
Active:         145852 kB
Inactive:       336340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1519944 kB
SwapTotal:     4192956 kB
SwapFree:      4184772 kB
Dirty:            3892 kB
Writeback:           0 kB
Mapped:          21180 kB
Slab:            39276 kB
Committed_AS:  4157832 kB
PageTables:       1756 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= 66561 MiB



End job on node56 on Wed Jan 10 06:21:14 UTC 2007