Trace number 199309

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.16 1800.9

General information on the benchmark

NameallIntervalSeries/
series-18.xml
MD5SUMc34f3494cb8e761927c44a37c33056f2
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.027995
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables35
Number of constraints306
Maximum constraint arity3
Maximum domain size18
Number of constraints which are defined in extension0
Number of constraints which are defined in intension306
Global constraints used (with number of constraints)

Solver Data (download as text)

0.38	   
0.38	Abscon 109 (November, 2006)
0.38	   
0.38	   configuration
0.38	     name=mac.xml
0.41	   
0.41	   instance
0.41	     name=/tmp/evaluation/199309-1168071388/unknown.xml
0.44	   
0.44	   domains being loaded...
0.45	   
0.45	   variables being loaded...
0.48	     nbVariables=35  nbDomainTypes=2  minDomainSize=17  maxDomainSize=18
0.48	       =>  wckTime=0.095  cpuTime=0.09  mem=6M951
0.48	   
0.48	   predicates being loaded...
0.48	   
0.48	   constraints being loaded...
0.65	     nbConstraints=306  nbConvertedConstraints=289  nbConvertConstraintsChecks=6121  nbExtensionStructures=2
0.65	     nbSharedExtensionStructures=287  nbConflictsStructures=3  nbSharedConflictsStructures=303
0.65	     nbSharedBinaryRepresentations=35  nbEvaluationManagers=1  nbSharedEvaluationManagers=16  maxDegree=19  maxArity=3
0.65	       =>  wckTime=0.264  cpuTime=0.22  mem=8M902
0.68	   
0.68	   solver IterativeSystematicSolver being built... 
0.83	       =>  wckTime=0.45  cpuTime=0.34  mem=13M503
0.84	   
0.84	   preprocessing
0.84	     nbConstraintChecks=0  nbPropagations=35  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.84	     detectedInconsistency=no
0.84	       =>  wckTime=0.0050  cpuTime=0.0  mem=13M503
0.91	   
0.91	   search
0.91	     run=0  nbConstraintChecks=54249  nbValidityChecks=4899  nbPropagations=421  nbRevisions=1108
0.91	     nbUselessRevisions=549  nbAssignments=28  nbFailedAssignments=5  nbBacktracks=10  nbVisitedNodes=38
0.91	     nbRestartNogoods=0  mapSize=5  nbInferences=0  nbTooLargeKeys=0
0.91	       =>  wckTime=0.072  cpuTime=0.05  mem=14M478
0.95	   
0.95	   search
0.95	     run=1  nbConstraintChecks=93435  nbValidityChecks=10491  nbPropagations=1226  nbRevisions=3354
0.95	     nbUselessRevisions=1703  nbAssignments=63  nbFailedAssignments=11  nbBacktracks=27  nbVisitedNodes=84
0.95	     nbRestartNogoods=1  mapSize=12  nbInferences=0  nbTooLargeKeys=0
0.95	       =>  wckTime=0.109  cpuTime=0.07  mem=14M478
0.97	   
0.97	   search
0.97	     run=2  nbConstraintChecks=128895  nbValidityChecks=17413  nbPropagations=2566  nbRevisions=7080
0.97	     nbUselessRevisions=3481  nbAssignments=108  nbFailedAssignments=19  nbBacktracks=49  nbVisitedNodes=144
0.97	     nbRestartNogoods=4  mapSize=20  nbInferences=0  nbTooLargeKeys=0
0.97	       =>  wckTime=0.136  cpuTime=0.09  mem=14M478
1.01	   
1.01	   search
1.01	     run=3  nbConstraintChecks=191041  nbValidityChecks=26390  nbPropagations=4906  nbRevisions=14794
1.01	     nbUselessRevisions=7249  nbAssignments=172  nbFailedAssignments=38  nbBacktracks=83  nbVisitedNodes=244
1.01	     nbRestartNogoods=8  mapSize=41  nbInferences=0  nbTooLargeKeys=0
1.01	       =>  wckTime=0.17  cpuTime=0.13  mem=14M478
1.05	   
1.05	   search
1.05	     run=4  nbConstraintChecks=267978  nbValidityChecks=39080  nbPropagations=8479  nbRevisions=27238
1.05	     nbUselessRevisions=13234  nbAssignments=262  nbFailedAssignments=66  nbBacktracks=133  nbVisitedNodes=384
1.05	     nbRestartNogoods=11  mapSize=72  nbInferences=0  nbTooLargeKeys=0
1.05	       =>  wckTime=0.209  cpuTime=0.16  mem=14M478
1.09	   
1.09	   search
1.09	     run=5  nbConstraintChecks=344827  nbValidityChecks=51921  nbPropagations=13609  nbRevisions=44944
1.09	     nbUselessRevisions=21735  nbAssignments=391  nbFailedAssignments=104  nbBacktracks=208  nbVisitedNodes=588
1.09	     nbRestartNogoods=20  mapSize=116  nbInferences=0  nbTooLargeKeys=0
1.09	       =>  wckTime=0.253  cpuTime=0.21  mem=14M478
1.16	   
1.16	   search
1.16	     run=6  nbConstraintChecks=466826  nbValidityChecks=74024  nbPropagations=21561  nbRevisions=72838
1.16	     nbUselessRevisions=34868  nbAssignments=596  nbFailedAssignments=181  nbBacktracks=322  nbVisitedNodes=923
1.16	     nbRestartNogoods=27  mapSize=192  nbInferences=0  nbTooLargeKeys=0
1.16	       =>  wckTime=0.323  cpuTime=0.27  mem=14M478
1.28	   
1.28	   search
1.28	     run=7  nbConstraintChecks=716775  nbValidityChecks=113581  nbPropagations=34188  nbRevisions=121584
1.28	     nbUselessRevisions=58068  nbAssignments=890  nbFailedAssignments=293  nbBacktracks=492  nbVisitedNodes=1412
1.28	     nbRestartNogoods=33  mapSize=297  nbInferences=0  nbTooLargeKeys=0
1.28	       =>  wckTime=0.446  cpuTime=0.39  mem=14M478
1.40	   
1.40	   search
1.40	     run=8  nbConstraintChecks=910992  nbValidityChecks=150658  nbPropagations=52158  nbRevisions=191231
1.40	     nbUselessRevisions=91831  nbAssignments=1298  nbFailedAssignments=431  nbBacktracks=752  nbVisitedNodes=2081
1.40	     nbRestartNogoods=38  mapSize=469  nbInferences=0  nbTooLargeKeys=0
1.40	       =>  wckTime=0.565  cpuTime=0.51  mem=14M478
1.63	   
1.63	   search
1.63	     run=9  nbConstraintChecks=1378419  nbValidityChecks=232885  nbPropagations=80340  nbRevisions=301432
1.63	     nbUselessRevisions=144221  nbAssignments=1971  nbFailedAssignments=705  nbBacktracks=1136  nbVisitedNodes=3224
1.63	     nbRestartNogoods=41  mapSize=745  nbInferences=0  nbTooLargeKeys=0
1.63	       =>  wckTime=0.797  cpuTime=0.72  mem=14M478
1.79	   
1.79	   INFO : Stopping hyperNogood (mapSize=1004, nbTooLargekeys=0, mem=14M478)
1.83	   
1.83	   search
1.83	     run=10  nbConstraintChecks=1738723  nbValidityChecks=306360  nbPropagations=119802  nbRevisions=454115
1.83	     nbUselessRevisions=216316  nbAssignments=2860  nbFailedAssignments=1006  nbBacktracks=1713  nbVisitedNodes=4667
1.83	     nbRestartNogoods=53
1.83	       =>  wckTime=0.997  cpuTime=0.91  mem=14M478
2.19	   
2.19	   search
2.19	     run=11  nbConstraintChecks=2505935  nbValidityChecks=457861  nbPropagations=181127  nbRevisions=690066
2.19	     nbUselessRevisions=326043  nbAssignments=4318  nbFailedAssignments=1585  nbBacktracks=2577  nbVisitedNodes=7147
2.19	     nbRestartNogoods=55
2.19	       =>  wckTime=1.354  cpuTime=1.27  mem=14M478
2.78	   
2.78	   search
2.78	     run=12  nbConstraintChecks=3768477  nbValidityChecks=681132  nbPropagations=272259  nbRevisions=1037491
2.78	     nbUselessRevisions=484234  nbAssignments=6392  nbFailedAssignments=2344  nbBacktracks=3878  nbVisitedNodes=10642
2.78	     nbRestartNogoods=66
2.78	       =>  wckTime=1.941  cpuTime=1.85  mem=14M478
3.44	   
3.45	   search
3.45	     run=13  nbConstraintChecks=5081829  nbValidityChecks=958821  nbPropagations=403356  nbRevisions=1535800
3.45	     nbUselessRevisions=713773  nbAssignments=9569  nbFailedAssignments=3560  nbBacktracks=5825  nbVisitedNodes=16041
3.45	     nbRestartNogoods=75
3.45	       =>  wckTime=2.609  cpuTime=2.52  mem=14M478
4.82	   
4.82	   search
4.82	     run=14  nbConstraintChecks=7947677  nbValidityChecks=1518068  nbPropagations=607571  nbRevisions=2315230
4.82	     nbUselessRevisions=1067810  nbAssignments=14410  nbFailedAssignments=5469  nbBacktracks=8745  nbVisitedNodes=24197
4.82	     nbRestartNogoods=87
4.82	       =>  wckTime=3.981  cpuTime=3.89  mem=14M478
6.56	   
6.56	   search
6.56	     run=15  nbConstraintChecks=11475043  nbValidityChecks=2218394  nbPropagations=910927  nbRevisions=3463601
6.56	     nbUselessRevisions=1591092  nbAssignments=21655  nbFailedAssignments=8319  nbBacktracks=13123  nbVisitedNodes=36388
6.56	     nbRestartNogoods=96
6.56	       =>  wckTime=5.724  cpuTime=5.64  mem=14M478
9.21	   
9.21	   search
9.21	     run=16  nbConstraintChecks=16726136  nbValidityChecks=3348014  nbPropagations=1377837  nbRevisions=5264883
9.21	     nbUselessRevisions=2432310  nbAssignments=32540  nbFailedAssignments=12622  nbBacktracks=19693
9.21	     nbVisitedNodes=54728  nbRestartNogoods=109
9.21	       =>  wckTime=8.376  cpuTime=8.29  mem=14M478
12.71	   
12.71	   search
12.71	     run=17  nbConstraintChecks=23629209  nbValidityChecks=4728499  nbPropagations=2051976  nbRevisions=7820800
12.71	     nbUselessRevisions=3612341  nbAssignments=48738  nbFailedAssignments=18949  nbBacktracks=29546
12.71	     nbVisitedNodes=82283  nbRestartNogoods=118
12.71	       =>  wckTime=11.87  cpuTime=11.78  mem=14M478
19.55	   
19.55	   search
19.55	     run=18  nbConstraintChecks=37875365  nbValidityChecks=7513587  nbPropagations=3098974  nbRevisions=11804842
19.55	     nbUselessRevisions=5427818  nbAssignments=73276  nbFailedAssignments=28698  nbBacktracks=44325
19.55	     nbVisitedNodes=123510  nbRestartNogoods=133
19.55	       =>  wckTime=18.718  cpuTime=18.62  mem=14M478
28.20	   
28.20	   search
28.20	     run=19  nbConstraintChecks=55954079  nbValidityChecks=10925256  nbPropagations=4641541  nbRevisions=17721222
28.20	     nbUselessRevisions=8112710  nbAssignments=108658  nbFailedAssignments=41899  nbBacktracks=66493
28.20	     nbVisitedNodes=182103  nbRestartNogoods=143
28.20	       =>  wckTime=27.36  cpuTime=27.26  mem=14M478
42.92	   
42.92	   search
42.92	     run=20  nbConstraintChecks=86841393  nbValidityChecks=16985920  nbPropagations=6991208  nbRevisions=26934550
42.92	     nbUselessRevisions=12386421  nbAssignments=162803  nbFailedAssignments=62777  nbBacktracks=99747
42.92	     nbVisitedNodes=272791  nbRestartNogoods=154
42.92	       =>  wckTime=42.085  cpuTime=41.98  mem=14M478
59.87	   
59.87	   search
59.87	     run=21  nbConstraintChecks=119873722  nbValidityChecks=24085527  nbPropagations=10434949  nbRevisions=40303360
59.87	     nbUselessRevisions=18558778  nbAssignments=241825  nbFailedAssignments=91907  nbBacktracks=149628
59.87	     nbVisitedNodes=403673  nbRestartNogoods=168
59.87	       =>  wckTime=59.038  cpuTime=58.92  mem=14M478
109.33	   
109.33	   search
109.33	     run=22  nbConstraintChecks=235666648  nbValidityChecks=43299606  nbPropagations=16076953  nbRevisions=63744607
109.33	     nbUselessRevisions=29745336  nbAssignments=369100  nbFailedAssignments=144353  nbBacktracks=224447
109.33	     nbVisitedNodes=618526  nbRestartNogoods=183
109.33	       =>  wckTime=108.496  cpuTime=108.37  mem=14M478
158.81	   
158.81	   search
158.81	     run=23  nbConstraintChecks=338042306  nbValidityChecks=63921886  nbPropagations=24519118  nbRevisions=98318168
158.81	     nbUselessRevisions=46184844  nbAssignments=555620  nbFailedAssignments=218632  nbBacktracks=336675
158.81	     nbVisitedNodes=934747  nbRestartNogoods=197
158.81	       =>  wckTime=157.976  cpuTime=157.83  mem=14M478
241.03	   
241.03	   search
241.03	     run=24  nbConstraintChecks=509029121  nbValidityChecks=98929219  nbPropagations=37227609  nbRevisions=149271595
241.03	     nbUselessRevisions=69911981  nbAssignments=839333  nbFailedAssignments=333989  nbBacktracks=505016
241.03	     nbVisitedNodes=1417508  nbRestartNogoods=209
241.03	       =>  wckTime=240.19  cpuTime=240.01  mem=14M478
383.71	   
383.71	   search
383.71	     run=25  nbConstraintChecks=849806096  nbValidityChecks=153344430  nbPropagations=56293492  nbRevisions=229730005
383.71	     nbUselessRevisions=107702739  nbAssignments=1245288  nbFailedAssignments=487419  nbBacktracks=757532
383.71	     nbVisitedNodes=2084539  nbRestartNogoods=234
383.71	       =>  wckTime=382.872  cpuTime=382.64  mem=14M478
542.18	   
542.18	   search
542.18	     run=26  nbConstraintChecks=1172051525  nbValidityChecks=221950754  nbPropagations=84636585  nbRevisions=347639166
542.18	     nbUselessRevisions=163131167  nbAssignments=1874169  nbFailedAssignments=737515  nbBacktracks=1136299
542.18	     nbVisitedNodes=3146039  nbRestartNogoods=250
542.18	       =>  wckTime=541.349  cpuTime=541.06  mem=14M478
889.75	   
889.75	   search
889.75	     run=27  nbConstraintChecks=1981545284  nbValidityChecks=358695900  nbPropagations=128506691  nbRevisions=533656755
889.75	     nbUselessRevisions=250682844  nbAssignments=2821945  nbFailedAssignments=1117122  nbBacktracks=1704451
889.75	     nbVisitedNodes=4733476  nbRestartNogoods=284
889.75	       =>  wckTime=888.916  cpuTime=888.51  mem=14M478
1208.52	   
1208.52	   search
1208.52	     run=28  nbConstraintChecks=2613600342  nbValidityChecks=494990359  nbPropagations=191955859  nbRevisions=793679625
1208.52	     nbUselessRevisions=371191547  nbAssignments=4251608  nbFailedAssignments=1694544  nbBacktracks=2556677
1208.52	     nbVisitedNodes=7174568  nbRestartNogoods=303
1208.52	       =>  wckTime=1207.683  cpuTime=1207.16  mem=14M478
1669.00	   
1669.00	   search
1669.00	     run=29  nbConstraintChecks=3526017467  nbValidityChecks=685752338  nbPropagations=282721214  nbRevisions=1154917448
1669.00	     nbUselessRevisions=537328965  nbAssignments=6353997  nbFailedAssignments=2518575  nbBacktracks=3835017
1669.00	     nbVisitedNodes=10724230  nbRestartNogoods=328
1669.00	       =>  wckTime=1668.16  cpuTime=1667.48  mem=14M478

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/node62/watcher-199309-1168071388 -o ROOT/results/node62/solver-199309-1168071388 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199309-1168071388/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 0.92 0.98 0.99 1/65 1141
/proc/meminfo: memFree=1152160/2055920 swapFree=4192812/4192956
[pid=1140] ppid=1138 vsize=1784 CPUtime=0
/proc/1140/stat : 1140 (java) D 1138 1140 32753 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 155536533 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/1140/statm: 446 160 125 14 0 91 0

[startup+0.102141 s]
/proc/loadavg: 0.92 0.98 0.99 1/65 1141
/proc/meminfo: memFree=1152160/2055920 swapFree=4192812/4192956
[pid=1140] ppid=1138 vsize=914988 CPUtime=0.07
/proc/1140/stat : 1140 (java) D 1138 1140 32753 0 -1 0 2987 0 1 0 6 1 0 0 17 0 8 0 155536533 936947712 2733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1140/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988

[startup+0.510221 s]
/proc/loadavg: 0.92 0.98 0.99 1/65 1141
/proc/meminfo: memFree=1152160/2055920 swapFree=4192812/4192956
[pid=1140] ppid=1138 vsize=915328 CPUtime=0.4
/proc/1140/stat : 1140 (java) S 1138 1140 32753 0 -1 0 6165 0 1 0 37 3 0 0 16 0 8 0 155536533 937295872 5904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1140/statm: 228832 5904 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 915328

[startup+1.33238 s]
/proc/loadavg: 0.93 0.98 0.99 2/72 1148
/proc/meminfo: memFree=1129256/2055920 swapFree=4192812/4192956
[pid=1140] ppid=1138 vsize=915464 CPUtime=1.21
/proc/1140/stat : 1140 (java) R 1138 1140 32753 0 -1 0 8520 0 1 0 115 6 0 0 17 0 8 0 155536533 937435136 8257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073741131 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1140/statm: 228866 8257 2533 14 0 215336 0
[pid=1140/tid=1142] ppid=1138 vsize=915464 CPUtime=0.02
/proc/1140/task/1142/stat : 1142 (java) S 1138 1140 32753 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 155536536 937435136 8257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1140/tid=1143] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1143/stat : 1143 (java) S 1138 1140 32753 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155536537 937435136 8257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1144] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1144/stat : 1144 (java) S 1138 1140 32753 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155536537 937435136 8257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1145] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1145/stat : 1145 (java) S 1138 1140 32753 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155536540 937435136 8257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1146] ppid=1138 vsize=915464 CPUtime=0.17
/proc/1140/task/1146/stat : 1146 (java) S 1138 1140 32753 0 -1 64 365 0 0 0 16 1 0 0 15 0 8 0 155536540 937435136 8257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1140/tid=1147] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1147/stat : 1147 (java) S 1138 1140 32753 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155536540 937435136 8257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1148] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1148/stat : 1148 (java) S 1138 1140 32753 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155536540 937435136 8257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 915464

[startup+2.9777 s]
/proc/loadavg: 0.93 0.98 0.99 2/72 1148
/proc/meminfo: memFree=1128872/2055920 swapFree=4192812/4192956
[pid=1140] ppid=1138 vsize=915464 CPUtime=2.85
/proc/1140/stat : 1140 (java) R 1138 1140 32753 0 -1 0 8584 0 1 0 278 7 0 0 17 0 8 0 155536533 937435136 8320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073746207 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1140/statm: 228866 8320 2533 14 0 215336 0
[pid=1140/tid=1142] ppid=1138 vsize=915464 CPUtime=0.02
/proc/1140/task/1142/stat : 1142 (java) S 1138 1140 32753 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 155536536 937435136 8320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1140/tid=1143] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1143/stat : 1143 (java) S 1138 1140 32753 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155536537 937435136 8320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1144] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1144/stat : 1144 (java) S 1138 1140 32753 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155536537 937435136 8320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1145] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1145/stat : 1145 (java) S 1138 1140 32753 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155536540 937435136 8320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1146] ppid=1138 vsize=915464 CPUtime=0.2
/proc/1140/task/1146/stat : 1146 (java) S 1138 1140 32753 0 -1 64 380 0 0 0 19 1 0 0 16 0 8 0 155536540 937435136 8320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1140/tid=1147] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1147/stat : 1147 (java) S 1138 1140 32753 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155536540 937435136 8320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1148] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1148/stat : 1148 (java) S 1138 1140 32753 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155536540 937435136 8320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915464

[startup+6.25935 s]
/proc/loadavg: 0.93 0.98 0.99 2/72 1148
/proc/meminfo: memFree=1128808/2055920 swapFree=4192812/4192956
[pid=1140] ppid=1138 vsize=915464 CPUtime=6.13
/proc/1140/stat : 1140 (java) R 1138 1140 32753 0 -1 0 8590 0 1 0 606 7 0 0 25 0 8 0 155536533 937435136 8326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073626316 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1140/statm: 228866 8326 2533 14 0 215336 0
[pid=1140/tid=1142] ppid=1138 vsize=915464 CPUtime=0.02
/proc/1140/task/1142/stat : 1142 (java) S 1138 1140 32753 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 155536536 937435136 8326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1140/tid=1143] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1143/stat : 1143 (java) S 1138 1140 32753 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155536537 937435136 8326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1144] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1144/stat : 1144 (java) S 1138 1140 32753 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155536537 937435136 8326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1145] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1145/stat : 1145 (java) S 1138 1140 32753 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155536540 937435136 8326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1146] ppid=1138 vsize=915464 CPUtime=0.2
/proc/1140/task/1146/stat : 1146 (java) S 1138 1140 32753 0 -1 64 381 0 0 0 19 1 0 0 16 0 8 0 155536540 937435136 8326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1140/tid=1147] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1147/stat : 1147 (java) S 1138 1140 32753 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155536540 937435136 8326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1148] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1148/stat : 1148 (java) S 1138 1140 32753 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155536540 937435136 8326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915464

[startup+12.7376 s]
/proc/loadavg: 0.94 0.98 0.99 2/72 1148
/proc/meminfo: memFree=1128744/2055920 swapFree=4192812/4192956
[pid=1140] ppid=1138 vsize=915464 CPUtime=12.61
/proc/1140/stat : 1140 (java) R 1138 1140 32753 0 -1 0 8599 0 1 0 1254 7 0 0 25 0 8 0 155536533 937435136 8335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802532 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1140/statm: 228866 8335 2533 14 0 215336 0
[pid=1140/tid=1142] ppid=1138 vsize=915464 CPUtime=0.02
/proc/1140/task/1142/stat : 1142 (java) S 1138 1140 32753 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 155536536 937435136 8335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1140/tid=1143] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1143/stat : 1143 (java) S 1138 1140 32753 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155536537 937435136 8335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1144] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1144/stat : 1144 (java) S 1138 1140 32753 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155536537 937435136 8335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1145] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1145/stat : 1145 (java) S 1138 1140 32753 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155536540 937435136 8335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1146] ppid=1138 vsize=915464 CPUtime=0.2
/proc/1140/task/1146/stat : 1146 (java) S 1138 1140 32753 0 -1 64 382 0 0 0 19 1 0 0 16 0 8 0 155536540 937435136 8335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1140/tid=1147] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1147/stat : 1147 (java) S 1138 1140 32753 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155536540 937435136 8335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1148] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1148/stat : 1148 (java) S 1138 1140 32753 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155536540 937435136 8335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915464

[startup+25.5652 s]
/proc/loadavg: 0.95 0.98 0.99 2/72 1148
/proc/meminfo: memFree=1128744/2055920 swapFree=4192812/4192956
[pid=1140] ppid=1138 vsize=915464 CPUtime=25.43
/proc/1140/stat : 1140 (java) R 1138 1140 32753 0 -1 0 8602 0 1 0 2536 7 0 0 25 0 8 0 155536533 937435136 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336110 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1140/statm: 228866 8338 2533 14 0 215336 0
[pid=1140/tid=1142] ppid=1138 vsize=915464 CPUtime=0.02
/proc/1140/task/1142/stat : 1142 (java) S 1138 1140 32753 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 155536536 937435136 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1140/tid=1143] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1143/stat : 1143 (java) S 1138 1140 32753 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155536537 937435136 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1144] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1144/stat : 1144 (java) S 1138 1140 32753 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155536537 937435136 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1145] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1145/stat : 1145 (java) S 1138 1140 32753 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155536540 937435136 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1146] ppid=1138 vsize=915464 CPUtime=0.2
/proc/1140/task/1146/stat : 1146 (java) S 1138 1140 32753 0 -1 64 382 0 0 0 19 1 0 0 16 0 8 0 155536540 937435136 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1140/tid=1147] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1147/stat : 1147 (java) S 1138 1140 32753 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155536540 937435136 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1148] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1148/stat : 1148 (java) S 1138 1140 32753 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155536540 937435136 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915464

[startup+51.2422 s]
/proc/loadavg: 0.97 0.98 0.99 2/72 1148
/proc/meminfo: memFree=1128808/2055920 swapFree=4192812/4192956
[pid=1140] ppid=1138 vsize=915464 CPUtime=51.1
/proc/1140/stat : 1140 (java) R 1138 1140 32753 0 -1 0 8609 0 1 0 5103 7 0 0 25 0 8 0 155536533 937435136 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073624215 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1140/statm: 228866 8344 2533 14 0 215336 0
[pid=1140/tid=1142] ppid=1138 vsize=915464 CPUtime=0.02
/proc/1140/task/1142/stat : 1142 (java) S 1138 1140 32753 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 155536536 937435136 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1140/tid=1143] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1143/stat : 1143 (java) S 1138 1140 32753 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155536537 937435136 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1144] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1144/stat : 1144 (java) S 1138 1140 32753 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155536537 937435136 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1145] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1145/stat : 1145 (java) S 1138 1140 32753 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155536540 937435136 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1146] ppid=1138 vsize=915464 CPUtime=0.2
/proc/1140/task/1146/stat : 1146 (java) S 1138 1140 32753 0 -1 64 383 0 0 0 19 1 0 0 15 0 8 0 155536540 937435136 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1140/tid=1147] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1147/stat : 1147 (java) S 1138 1140 32753 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155536540 937435136 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1148] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1148/stat : 1148 (java) S 1138 1140 32753 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155536540 937435136 8344 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) 915464

[startup+102.493 s]
/proc/loadavg: 1.04 1.00 1.00 2/72 1148
/proc/meminfo: memFree=1128808/2055920 swapFree=4192812/4192956
[pid=1140] ppid=1138 vsize=915464 CPUtime=102.33
/proc/1140/stat : 1140 (java) R 1138 1140 32753 0 -1 0 8612 0 1 0 10226 7 0 0 25 0 8 0 155536533 937435136 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629695 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1140/statm: 228866 8347 2533 14 0 215336 0
[pid=1140/tid=1142] ppid=1138 vsize=915464 CPUtime=0.02
/proc/1140/task/1142/stat : 1142 (java) S 1138 1140 32753 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 155536536 937435136 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1140/tid=1143] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1143/stat : 1143 (java) S 1138 1140 32753 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155536537 937435136 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1144] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1144/stat : 1144 (java) S 1138 1140 32753 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155536537 937435136 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1145] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1145/stat : 1145 (java) S 1138 1140 32753 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155536540 937435136 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1146] ppid=1138 vsize=915464 CPUtime=0.2
/proc/1140/task/1146/stat : 1146 (java) S 1138 1140 32753 0 -1 64 383 0 0 0 19 1 0 0 15 0 8 0 155536540 937435136 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1140/tid=1147] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1147/stat : 1147 (java) S 1138 1140 32753 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155536540 937435136 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1148] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1148/stat : 1148 (java) S 1138 1140 32753 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155536540 937435136 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 915464

[startup+162.575 s]
/proc/loadavg: 1.01 1.00 1.00 2/72 1150
/proc/meminfo: memFree=1128808/2055920 swapFree=4192812/4192956
[pid=1140] ppid=1138 vsize=915464 CPUtime=162.39
/proc/1140/stat : 1140 (java) R 1138 1140 32753 0 -1 0 8617 0 1 0 16232 7 0 0 25 0 8 0 155536533 937435136 8352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750802 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1423.7
Current children cumulated vsize (KiB) 915464

[startup+1484.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 1150
/proc/meminfo: memFree=1128680/2055920 swapFree=4192812/4192956
[pid=1140] ppid=1138 vsize=915464 CPUtime=1483.76
/proc/1140/stat : 1140 (java) R 1138 1140 32753 0 -1 0 8632 0 1 0 148368 8 0 0 25 0 8 0 155536533 937435136 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073748983 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1140/statm: 228866 8367 2533 14 0 215336 0
[pid=1140/tid=1142] ppid=1138 vsize=915464 CPUtime=0.02
/proc/1140/task/1142/stat : 1142 (java) S 1138 1140 32753 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 155536536 937435136 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1140/tid=1143] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1143/stat : 1143 (java) S 1138 1140 32753 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155536537 937435136 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1144] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1144/stat : 1144 (java) S 1138 1140 32753 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155536537 937435136 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1145] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1145/stat : 1145 (java) S 1138 1140 32753 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155536540 937435136 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1146] ppid=1138 vsize=915464 CPUtime=0.2
/proc/1140/task/1146/stat : 1146 (java) S 1138 1140 32753 0 -1 64 383 0 0 0 19 1 0 0 16 0 8 0 155536540 937435136 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1140/tid=1147] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1147/stat : 1147 (java) S 1138 1140 32753 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155536540 937435136 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1148] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1148/stat : 1148 (java) S 1138 1140 32753 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155536540 937435136 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1483.76
Current children cumulated vsize (KiB) 915464

[startup+1544.48 s]
/proc/loadavg: 1.05 1.01 1.00 2/72 1150
/proc/meminfo: memFree=1128680/2055920 swapFree=4192812/4192956
[pid=1140] ppid=1138 vsize=915464 CPUtime=1543.82
/proc/1140/stat : 1140 (java) R 1138 1140 32753 0 -1 0 8632 0 1 0 154374 8 0 0 25 0 8 0 155536533 937435136 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073627459 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1140/statm: 228866 8367 2533 14 0 215336 0
[pid=1140/tid=1142] ppid=1138 vsize=915464 CPUtime=0.02
/proc/1140/task/1142/stat : 1142 (java) S 1138 1140 32753 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 155536536 937435136 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1140/tid=1143] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1143/stat : 1143 (java) S 1138 1140 32753 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155536537 937435136 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1144] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1144/stat : 1144 (java) S 1138 1140 32753 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155536537 937435136 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1145] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1145/stat : 1145 (java) S 1138 1140 32753 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155536540 937435136 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1146] ppid=1138 vsize=915464 CPUtime=0.2
/proc/1140/task/1146/stat : 1146 (java) S 1138 1140 32753 0 -1 64 383 0 0 0 19 1 0 0 16 0 8 0 155536540 937435136 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1140/tid=1147] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1147/stat : 1147 (java) S 1138 1140 32753 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155536540 937435136 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1148] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1148/stat : 1148 (java) S 1138 1140 32753 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155536540 937435136 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1543.82
Current children cumulated vsize (KiB) 915464

[startup+1604.56 s]
/proc/loadavg: 1.09 1.02 1.00 2/72 1150
/proc/meminfo: memFree=1128616/2055920 swapFree=4192812/4192956
[pid=1140] ppid=1138 vsize=915464 CPUtime=1603.88
/proc/1140/stat : 1140 (java) R 1138 1140 32753 0 -1 0 8632 0 1 0 160380 8 0 0 25 0 8 0 155536533 937435136 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794358 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1140/statm: 228866 8367 2533 14 0 215336 0
[pid=1140/tid=1142] ppid=1138 vsize=915464 CPUtime=0.02
/proc/1140/task/1142/stat : 1142 (java) S 1138 1140 32753 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 155536536 937435136 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1140/tid=1143] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1143/stat : 1143 (java) S 1138 1140 32753 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155536537 937435136 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1144] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1144/stat : 1144 (java) S 1138 1140 32753 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155536537 937435136 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1145] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1145/stat : 1145 (java) S 1138 1140 32753 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155536540 937435136 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1146] ppid=1138 vsize=915464 CPUtime=0.2
/proc/1140/task/1146/stat : 1146 (java) S 1138 1140 32753 0 -1 64 383 0 0 0 19 1 0 0 16 0 8 0 155536540 937435136 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1140/tid=1147] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1147/stat : 1147 (java) S 1138 1140 32753 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155536540 937435136 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1148] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1148/stat : 1148 (java) S 1138 1140 32753 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155536540 937435136 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1603.88
Current children cumulated vsize (KiB) 915464

[startup+1664.65 s]
/proc/loadavg: 1.03 1.02 1.00 2/72 1150
/proc/meminfo: memFree=1128616/2055920 swapFree=4192812/4192956
[pid=1140] ppid=1138 vsize=915464 CPUtime=1663.94
/proc/1140/stat : 1140 (java) R 1138 1140 32753 0 -1 0 8632 0 1 0 166386 8 0 0 25 0 8 0 155536533 937435136 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804401 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1140/statm: 228866 8367 2533 14 0 215336 0
[pid=1140/tid=1142] ppid=1138 vsize=915464 CPUtime=0.02
/proc/1140/task/1142/stat : 1142 (java) S 1138 1140 32753 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 155536536 937435136 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1140/tid=1143] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1143/stat : 1143 (java) S 1138 1140 32753 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155536537 937435136 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1144] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1144/stat : 1144 (java) S 1138 1140 32753 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155536537 937435136 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1145] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1145/stat : 1145 (java) S 1138 1140 32753 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155536540 937435136 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1146] ppid=1138 vsize=915464 CPUtime=0.2
/proc/1140/task/1146/stat : 1146 (java) S 1138 1140 32753 0 -1 64 383 0 0 0 19 1 0 0 16 0 8 0 155536540 937435136 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1140/tid=1147] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1147/stat : 1147 (java) S 1138 1140 32753 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155536540 937435136 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1148] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1148/stat : 1148 (java) S 1138 1140 32753 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155536540 937435136 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1663.94
Current children cumulated vsize (KiB) 915464

[startup+1724.73 s]
/proc/loadavg: 1.01 1.01 1.00 2/72 1150
/proc/meminfo: memFree=1128552/2055920 swapFree=4192812/4192956
[pid=1140] ppid=1138 vsize=915464 CPUtime=1724.01
/proc/1140/stat : 1140 (java) R 1138 1140 32753 0 -1 0 8636 0 1 0 172393 8 0 0 25 0 8 0 155536533 937435136 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073623399 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1140/statm: 228866 8371 2533 14 0 215336 0
[pid=1140/tid=1142] ppid=1138 vsize=915464 CPUtime=0.02
/proc/1140/task/1142/stat : 1142 (java) S 1138 1140 32753 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 155536536 937435136 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1140/tid=1143] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1143/stat : 1143 (java) S 1138 1140 32753 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155536537 937435136 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1144] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1144/stat : 1144 (java) S 1138 1140 32753 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155536537 937435136 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1145] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1145/stat : 1145 (java) S 1138 1140 32753 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155536540 937435136 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1146] ppid=1138 vsize=915464 CPUtime=0.21
/proc/1140/task/1146/stat : 1146 (java) S 1138 1140 32753 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 155536540 937435136 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1140/tid=1147] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1147/stat : 1147 (java) S 1138 1140 32753 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155536540 937435136 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1148] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1148/stat : 1148 (java) R 1138 1140 32753 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155536540 937435136 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1724.01
Current children cumulated vsize (KiB) 915464

[startup+1784.81 s]
/proc/loadavg: 1.00 1.01 1.00 2/72 1150
/proc/meminfo: memFree=1128616/2055920 swapFree=4192812/4192956
[pid=1140] ppid=1138 vsize=915464 CPUtime=1784.06
/proc/1140/stat : 1140 (java) R 1138 1140 32753 0 -1 0 8636 0 1 0 178398 8 0 0 25 0 8 0 155536533 937435136 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802509 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1140/statm: 228866 8371 2533 14 0 215336 0
[pid=1140/tid=1142] ppid=1138 vsize=915464 CPUtime=0.02
/proc/1140/task/1142/stat : 1142 (java) S 1138 1140 32753 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 155536536 937435136 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1140/tid=1143] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1143/stat : 1143 (java) S 1138 1140 32753 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155536537 937435136 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1144] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1144/stat : 1144 (java) S 1138 1140 32753 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155536537 937435136 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1145] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1145/stat : 1145 (java) S 1138 1140 32753 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155536540 937435136 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1146] ppid=1138 vsize=915464 CPUtime=0.21
/proc/1140/task/1146/stat : 1146 (java) S 1138 1140 32753 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 155536540 937435136 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1140/tid=1147] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1147/stat : 1147 (java) S 1138 1140 32753 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155536540 937435136 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1148] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1148/stat : 1148 (java) S 1138 1140 32753 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155536540 937435136 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1784.06
Current children cumulated vsize (KiB) 915464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.84 s]
/proc/loadavg: 1.00 1.01 1.00 2/72 1150
/proc/meminfo: memFree=1128552/2055920 swapFree=4192812/4192956
[pid=1140] ppid=1138 vsize=915464 CPUtime=1800.09
/proc/1140/stat : 1140 (java) R 1138 1140 32753 0 -1 0 8636 0 1 0 180001 8 0 0 25 0 8 0 155536533 937435136 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073774042 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1140/statm: 228866 8371 2533 14 0 215336 0
[pid=1140/tid=1142] ppid=1138 vsize=915464 CPUtime=0.02
/proc/1140/task/1142/stat : 1142 (java) S 1138 1140 32753 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 155536536 937435136 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1140/tid=1143] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1143/stat : 1143 (java) S 1138 1140 32753 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155536537 937435136 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1144] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1144/stat : 1144 (java) S 1138 1140 32753 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155536537 937435136 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1145] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1145/stat : 1145 (java) S 1138 1140 32753 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155536540 937435136 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1146] ppid=1138 vsize=915464 CPUtime=0.21
/proc/1140/task/1146/stat : 1146 (java) S 1138 1140 32753 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 155536540 937435136 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1140/tid=1147] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1147/stat : 1147 (java) S 1138 1140 32753 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155536540 937435136 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1140/tid=1148] ppid=1138 vsize=915464 CPUtime=0
/proc/1140/task/1148/stat : 1148 (java) S 1138 1140 32753 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155536540 937435136 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915464

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

Child status: 143
Real time (s): 1800.9
CPU time (s): 1800.16
CPU user time (s): 1800.06
CPU system time (s): 0.091986
CPU usage (%): 99.9587
Max. virtual memory (cumulated for all children) (KiB): 915468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.06
system time used= 0.091986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8654
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= 37304
involuntary context switches= 23038

runsolver used 1.77273 s user time and 4.6193 s system time

The end

Launcher Data (download as text)

Begin job on node62 on Sat Jan  6 08:16:28 UTC 2007


IDJOB= 199309
IDBENCH= 3607
FILE ID= node62/199309-1168071388

PBS_JOBID= 3475884

Free space on /tmp= 66551 MiB

BENCH NAME= HOME/pub/bench/CPAI06/allIntervalSeries/series-18.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199309-1168071388/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node62/watcher-199309-1168071388 -o ROOT/results/node62/solver-199309-1168071388 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199309-1168071388/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  c34f3494cb8e761927c44a37c33056f2

RANDOM SEED= 598789939

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1152768 kB
Buffers:         58728 kB
Cached:         751288 kB
SwapCached:          0 kB
Active:         110244 kB
Inactive:       715460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1152768 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1784 kB
Writeback:           0 kB
Mapped:          25936 kB
Slab:            63436 kB
Committed_AS:  2786656 kB
PageTables:       1464 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= 66551 MiB



End job on node62 on Sat Jan  6 08:46:29 UTC 2007