Trace number 239365

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.04 1811.53

General information on the benchmark

Nameqcp-qwh/QWH-25/
qwh-25-235-6_ext.xml
MD5SUMfe92d555bfa87c450602ff746465a4ef
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark4.08938
SatisfiableYES
(Un)Satisfiability was proved
Number of variables625
Number of constraints15000
Maximum constraint arity2
Maximum domain size25
Number of constraints which are defined in extension15000
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.44	   
0.44	   instance
0.44	     name=/tmp/evaluation/239365-1168084680/unknown.xml
0.47	   
0.47	   domains being loaded...
0.48	   
0.48	   variables being loaded...
0.58	     nbVariables=625  nbDomainTypes=26  minDomainSize=1  maxDomainSize=25
0.58	       =>  wckTime=0.269  cpuTime=0.14  mem=8M869
0.58	   
0.58	   relations being loaded...
0.59	   
0.59	   constraints being loaded...
1.07	     nbConstraints=9300  nbRelationTypes=27  nbSingletonDomainVariables=390  nbExtensionStructures=51
1.07	     nbSharedExtensionStructures=9249  nbConflictsStructures=51  nbSharedConflictsStructures=9249
1.07	     nbSharedBinaryRepresentations=1323  maxDegree=48  maxArity=2
1.07	       =>  wckTime=0.754  cpuTime=0.51  mem=37M151
1.18	   
1.18	   solver IterativeSystematicSolver being built... 
1.38	       =>  wckTime=1.066  cpuTime=0.68  mem=21M393
1.46	   
1.46	   preprocessing
1.46	     nbConstraintChecks=93351  nbPropagations=625  nbRevisions=7416  nbUselessRevisions=2486  nbRemovedValues=4930
1.46	     detectedInconsistency=no
1.46	       =>  wckTime=0.069  cpuTime=0.05  mem=21M393
1.51	   
1.51	   search
1.51	     run=0  nbConstraintChecks=3301  nbPropagations=800  nbRevisions=9393  nbUselessRevisions=4223  nbAssignments=28
1.51	     nbFailedAssignments=3  nbBacktracks=13  nbVisitedNodes=36  nbRestartNogoods=0  mapSize=6  nbInferences=0
1.51	     nbTooLargeKeys=0
1.51	       =>  wckTime=0.121  cpuTime=0.09  mem=22M367
1.55	   
1.55	   search
1.55	     run=1  nbConstraintChecks=12056  nbPropagations=2021  nbRevisions=24256  nbUselessRevisions=13357
1.55	     nbAssignments=106  nbFailedAssignments=9  nbBacktracks=32  nbVisitedNodes=122  nbRestartNogoods=1  mapSize=11
1.55	     nbInferences=0  nbTooLargeKeys=0
1.55	       =>  wckTime=0.16  cpuTime=0.12  mem=22M367
1.56	   
1.56	   search
1.56	     run=2  nbConstraintChecks=15915  nbPropagations=3453  nbRevisions=41397  nbUselessRevisions=24481
1.56	     nbAssignments=144  nbFailedAssignments=16  nbBacktracks=55  nbVisitedNodes=173  nbRestartNogoods=4  mapSize=23
1.56	     nbInferences=0  nbTooLargeKeys=0
1.56	       =>  wckTime=0.179  cpuTime=0.14  mem=22M367
1.62	   
1.62	   search
1.62	     run=3  nbConstraintChecks=39238  nbPropagations=5688  nbRevisions=74205  nbUselessRevisions=49683
1.62	     nbAssignments=243  nbFailedAssignments=27  nbBacktracks=90  nbVisitedNodes=296  nbRestartNogoods=5  mapSize=45
1.62	     nbInferences=0  nbTooLargeKeys=0
1.62	       =>  wckTime=0.233  cpuTime=0.19  mem=22M367
1.66	   
1.66	   search
1.66	     run=4  nbConstraintChecks=53439  nbPropagations=8536  nbRevisions=116173  nbUselessRevisions=83101
1.66	     nbAssignments=356  nbFailedAssignments=38  nbBacktracks=146  nbVisitedNodes=431  nbRestartNogoods=7  mapSize=66
1.66	     nbInferences=0  nbTooLargeKeys=0
1.67	       =>  wckTime=0.279  cpuTime=0.23  mem=22M367
1.74	   
1.74	   search
1.74	     run=5  nbConstraintChecks=77482  nbPropagations=12353  nbRevisions=173633  nbUselessRevisions=130381
1.74	     nbAssignments=552  nbFailedAssignments=64  nbBacktracks=223  nbVisitedNodes=669  nbRestartNogoods=8  mapSize=99
1.74	     nbInferences=0  nbTooLargeKeys=0
1.74	       =>  wckTime=0.355  cpuTime=0.31  mem=22M367
1.83	   
1.83	   search
1.83	     run=6  nbConstraintChecks=108690  nbPropagations=17278  nbRevisions=252429  nbUselessRevisions=197064
1.83	     nbAssignments=779  nbFailedAssignments=89  nbBacktracks=336  nbVisitedNodes=940  nbRestartNogoods=17  mapSize=139
1.83	     nbInferences=0  nbTooLargeKeys=0
1.83	       =>  wckTime=0.442  cpuTime=0.39  mem=22M367
1.93	   
1.93	   search
1.93	     run=7  nbConstraintChecks=147894  nbPropagations=23481  nbRevisions=356998  nbUselessRevisions=286877
1.93	     nbAssignments=1029  nbFailedAssignments=113  nbBacktracks=522  nbVisitedNodes=1241  nbRestartNogoods=21
1.93	     mapSize=188  nbInferences=0  nbTooLargeKeys=0
1.93	       =>  wckTime=0.54  cpuTime=0.49  mem=23M341
2.06	   
2.06	   search
2.06	     run=8  nbConstraintChecks=198513  nbPropagations=31456  nbRevisions=494949  nbUselessRevisions=406542
2.06	     nbAssignments=1371  nbFailedAssignments=143  nbBacktracks=791  nbVisitedNodes=1666  nbRestartNogoods=23
2.06	     mapSize=269  nbInferences=0  nbTooLargeKeys=0
2.06	       =>  wckTime=0.671  cpuTime=0.61  mem=23M341
2.25	   
2.25	   search
2.25	     run=9  nbConstraintChecks=255057  nbPropagations=41626  nbRevisions=669645  nbUselessRevisions=559082
2.25	     nbAssignments=1848  nbFailedAssignments=181  nbBacktracks=1178  nbVisitedNodes=2234  nbRestartNogoods=25
2.25	     mapSize=357  nbInferences=0  nbTooLargeKeys=0
2.25	       =>  wckTime=0.86  cpuTime=0.78  mem=24M315
2.52	   
2.52	   search
2.52	     run=10  nbConstraintChecks=367337  nbPropagations=55971  nbRevisions=916627  nbUselessRevisions=776008
2.52	     nbAssignments=2572  nbFailedAssignments=315  nbBacktracks=1754  nbVisitedNodes=3222  nbRestartNogoods=28
2.52	     mapSize=617  nbInferences=0  nbTooLargeKeys=0
2.52	       =>  wckTime=1.131  cpuTime=1.04  mem=24M315
2.90	   
2.90	   search
2.90	     run=11  nbConstraintChecks=506513  nbPropagations=75945  nbRevisions=1253291  nbUselessRevisions=1072646
2.90	     nbAssignments=3668  nbFailedAssignments=478  nbBacktracks=2647  nbVisitedNodes=4617  nbRestartNogoods=31
2.90	     mapSize=894  nbInferences=0  nbTooLargeKeys=0
2.90	       =>  wckTime=1.512  cpuTime=1.41  mem=25M288
3.12	   
3.12	   INFO : Stopping hyperNogood (mapSize=1003, nbTooLargekeys=0, mem=26M262)
3.38	   
3.38	   search
3.38	     run=12  nbConstraintChecks=776357  nbPropagations=103969  nbRevisions=1764610  nbUselessRevisions=1526235
3.38	     nbAssignments=5130  nbFailedAssignments=608  nbBacktracks=3946  nbVisitedNodes=6360  nbRestartNogoods=37
3.38	       =>  wckTime=1.993  cpuTime=1.89  mem=26M262
4.17	   
4.17	   search
4.17	     run=13  nbConstraintChecks=1299028  nbPropagations=147988  nbRevisions=2613330  nbUselessRevisions=2283295
4.17	     nbAssignments=7464  nbFailedAssignments=937  nbBacktracks=5923  nbVisitedNodes=9348  nbRestartNogoods=43
4.17	       =>  wckTime=2.788  cpuTime=2.67  mem=26M262
5.39	   
5.39	   search
5.39	     run=14  nbConstraintChecks=2114617  nbPropagations=218074  nbRevisions=3967948  nbUselessRevisions=3487209
5.39	     nbAssignments=11140  nbFailedAssignments=1677  nbBacktracks=8846  nbVisitedNodes=14503  nbRestartNogoods=52
5.39	       =>  wckTime=4.001  cpuTime=3.87  mem=26M262
7.38	   
7.38	   search
7.38	     run=15  nbConstraintChecks=3475605  nbPropagations=332847  nbRevisions=6199441  nbUselessRevisions=5476717
7.38	     nbAssignments=16833  nbFailedAssignments=2969  nbBacktracks=13225  nbVisitedNodes=22662  nbRestartNogoods=55
7.38	       =>  wckTime=5.994  cpuTime=5.84  mem=26M262
11.24	   
11.24	   search
11.24	     run=16  nbConstraintChecks=6445816  nbPropagations=541255  nbRevisions=10319397  nbUselessRevisions=9151809
11.24	     nbAssignments=25755  nbFailedAssignments=5308  nbBacktracks=19794  nbVisitedNodes=36222  nbRestartNogoods=62
11.24	       =>  wckTime=9.855  cpuTime=9.67  mem=26M262
15.62	   
15.62	   search
15.62	     run=17  nbConstraintChecks=9430619  nbPropagations=845264  nbRevisions=16434177  nbUselessRevisions=14624233
15.62	     nbAssignments=38420  nbFailedAssignments=8045  nbBacktracks=29646  nbVisitedNodes=53949  nbRestartNogoods=73
15.62	       =>  wckTime=14.231  cpuTime=14.0  mem=26M262
21.71	   
21.71	   search
21.71	     run=18  nbConstraintChecks=14040393  nbPropagations=1273008  nbRevisions=25903227  nbUselessRevisions=23192123
21.71	     nbAssignments=55270  nbFailedAssignments=10070  nbBacktracks=44427  nbVisitedNodes=74828  nbRestartNogoods=83
21.71	       =>  wckTime=20.325  cpuTime=20.05  mem=26M262
34.13	   
34.13	   search
34.13	     run=19  nbConstraintChecks=24950356  nbPropagations=1982306  nbRevisions=43337715  nbUselessRevisions=39121496
34.13	     nbAssignments=82148  nbFailedAssignments=14742  nbBacktracks=66597  nbVisitedNodes=110916  nbRestartNogoods=90
34.13	       =>  wckTime=32.743  cpuTime=32.35  mem=26M262
52.89	   
52.89	   search
52.89	     run=20  nbConstraintChecks=41143993  nbPropagations=3117331  nbRevisions=72352209  nbUselessRevisions=65709581
52.89	     nbAssignments=122592  nbFailedAssignments=21876  nbBacktracks=99850  nbVisitedNodes=165576  nbRestartNogoods=97
52.89	       =>  wckTime=51.508  cpuTime=50.94  mem=26M262
80.25	   
80.25	   search
80.25	     run=21  nbConstraintChecks=63830341  nbPropagations=4866460  nbRevisions=117288147  nbUselessRevisions=106855422
80.25	     nbAssignments=183946  nbFailedAssignments=33310  nbBacktracks=149731  nbVisitedNodes=249097  nbRestartNogoods=110
80.25	       =>  wckTime=78.864  cpuTime=78.05  mem=26M262
119.35	   
119.35	   search
119.35	     run=22  nbConstraintChecks=95661317  nbPropagations=7492998  nbRevisions=184535445  nbUselessRevisions=168404781
119.35	     nbAssignments=276856  nbFailedAssignments=51343  nbBacktracks=224550  nbVisitedNodes=377716  nbRestartNogoods=120
119.35	       =>  wckTime=117.965  cpuTime=116.79  mem=26M262
181.48	   
181.48	   search
181.48	     run=23  nbConstraintChecks=149329088  nbPropagations=11525724  nbRevisions=290504428  nbUselessRevisions=265623803
181.48	     nbAssignments=414622  nbFailedAssignments=76826  nbBacktracks=336780  nbVisitedNodes=565370  nbRestartNogoods=130
181.48	       =>  wckTime=180.099  cpuTime=178.32  mem=26M262
266.26	   
266.26	   search
266.26	     run=24  nbConstraintChecks=215235149  nbPropagations=17431966  nbRevisions=442290228  nbUselessRevisions=404572432
266.26	     nbAssignments=624664  nbFailedAssignments=118467  nbBacktracks=505122  nbVisitedNodes=859076  nbRestartNogoods=140
266.26	       =>  wckTime=264.878  cpuTime=262.18  mem=26M262
399.84	   
399.84	   search
399.84	     run=25  nbConstraintChecks=328618822  nbPropagations=26339906  nbRevisions=676364847  nbUselessRevisions=619469321
399.84	     nbAssignments=930156  nbFailedAssignments=171388  nbBacktracks=757634  nbVisitedNodes=1268606  nbRestartNogoods=155
399.84	       =>  wckTime=398.451  cpuTime=394.5  mem=26M262
600.00	   
600.00	   search
600.00	     run=26  nbConstraintChecks=496118300  nbPropagations=39741459  nbRevisions=1030216058  nbUselessRevisions=944341890
600.00	     nbAssignments=1394873  nbFailedAssignments=257281  nbBacktracks=1136405  nbVisitedNodes=1907818
600.00	     nbRestartNogoods=170
600.00	       =>  wckTime=598.617  cpuTime=592.83  mem=26M262
900.76	   
900.76	   search
900.76	     run=27  nbConstraintChecks=750819681  nbPropagations=59876848  nbRevisions=1567277969
900.76	     nbUselessRevisions=1437869411  nbAssignments=2083458  nbFailedAssignments=377651  nbBacktracks=1704556
900.76	     nbVisitedNodes=2840103  nbRestartNogoods=181
900.76	       =>  wckTime=899.372  cpuTime=890.84  mem=26M262
1327.69	   
1327.69	   search
1327.69	     run=28  nbConstraintChecks=1120391463  nbPropagations=89825174  nbRevisions=2370529980
1327.69	     nbUselessRevisions=2176429102  nbAssignments=3114974  nbFailedAssignments=556876  nbBacktracks=2556789
1327.69	     nbVisitedNodes=4227632  nbRestartNogoods=196
1327.69	       =>  wckTime=1326.305  cpuTime=1315.34  mem=26M262

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/node20/watcher-239365-1168084680 -o ROOT/results/node20/solver-239365-1168084680 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/239365-1168084680/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.61 1.90 1.90 4/93 25543
/proc/meminfo: memFree=1681696/2055920 swapFree=4170284/4192956
[pid=25542] ppid=25540 vsize=906644 CPUtime=0.02
/proc/25542/stat : 25542 (java) S 25540 25542 25475 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 156862705 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/25542/statm: 226661 1818 1036 14 0 214244 0
[pid=25542/tid=25544] ppid=25540 vsize=906644 CPUtime=0
/proc/25542/task/25544/stat : 25544 (java) R 25540 25542 25475 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 156862709 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.103465 s]
/proc/loadavg: 1.61 1.90 1.90 4/93 25543
/proc/meminfo: memFree=1681696/2055920 swapFree=4170284/4192956
[pid=25542] ppid=25540 vsize=914988 CPUtime=0.08
/proc/25542/stat : 25542 (java) R 25540 25542 25475 0 -1 0 3008 0 1 0 7 1 0 0 17 0 8 0 156862705 936947712 2754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582903 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25542/statm: 228747 2754 1431 14 0 215242 0
[pid=25542/tid=25544] ppid=25540 vsize=914988 CPUtime=0
/proc/25542/task/25544/stat : 25544 (java) S 25540 25542 25475 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 156862709 936947712 2754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.512514 s]
/proc/loadavg: 1.61 1.90 1.90 4/93 25543
/proc/meminfo: memFree=1681696/2055920 swapFree=4170284/4192956
[pid=25542] ppid=25540 vsize=915328 CPUtime=0.39
/proc/25542/stat : 25542 (java) R 25540 25542 25475 0 -1 0 6100 0 1 0 36 3 0 0 18 0 8 0 156862705 937295872 5839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072943745 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25542/statm: 228832 5839 2136 14 0 215302 0
[pid=25542/tid=25544] ppid=25540 vsize=915328 CPUtime=0
/proc/25542/task/25544/stat : 25544 (java) S 25540 25542 25475 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 156862709 937295872 5839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 915328

[startup+1.34162 s]
/proc/loadavg: 1.64 1.90 1.90 4/100 25550
/proc/meminfo: memFree=1636064/2055920 swapFree=4170284/4192956
[pid=25542] ppid=25540 vsize=915676 CPUtime=1.21
/proc/25542/stat : 25542 (java) R 25540 25542 25475 0 -1 0 15529 0 1 0 113 8 0 0 23 0 8 0 156862705 937652224 15266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073602845 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25542/statm: 228919 15266 2496 14 0 215389 0
[pid=25542/tid=25544] ppid=25540 vsize=915676 CPUtime=0.09
/proc/25542/task/25544/stat : 25544 (java) S 25540 25542 25475 0 -1 64 1424 0 0 0 9 0 0 0 17 0 8 0 156862709 937652224 15266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25545] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25545/stat : 25545 (java) S 25540 25542 25475 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25546] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25546/stat : 25546 (java) S 25540 25542 25475 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25547] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25547/stat : 25547 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156862712 937652224 15266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25548] ppid=25540 vsize=915676 CPUtime=0.21
/proc/25542/task/25548/stat : 25548 (java) S 25540 25542 25475 0 -1 64 440 0 0 0 20 1 0 0 15 0 8 0 156862712 937652224 15266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25549] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25549/stat : 25549 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156862712 937652224 15266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25550] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25550/stat : 25550 (java) S 25540 25542 25475 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156862713 937652224 15266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 915676

[startup+2.99181 s]
/proc/loadavg: 1.64 1.90 1.90 3/100 25550
/proc/meminfo: memFree=1629984/2055920 swapFree=4170284/4192956
[pid=25542] ppid=25540 vsize=915676 CPUtime=2.85
/proc/25542/stat : 25542 (java) R 25540 25542 25475 0 -1 0 15610 0 1 0 276 9 0 0 25 0 8 0 156862705 937652224 15346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073965357 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25542/statm: 228919 15346 2513 14 0 215389 0
[pid=25542/tid=25544] ppid=25540 vsize=915676 CPUtime=0.09
/proc/25542/task/25544/stat : 25544 (java) S 25540 25542 25475 0 -1 64 1424 0 0 0 9 0 0 0 17 0 8 0 156862709 937652224 15346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25545] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25545/stat : 25545 (java) S 25540 25542 25475 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25546] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25546/stat : 25546 (java) S 25540 25542 25475 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25547] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25547/stat : 25547 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156862712 937652224 15346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25548] ppid=25540 vsize=915676 CPUtime=0.32
/proc/25542/task/25548/stat : 25548 (java) S 25540 25542 25475 0 -1 64 484 0 0 0 30 2 0 0 15 0 8 0 156862712 937652224 15346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25549] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25549/stat : 25549 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156862712 937652224 15346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25550] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25550/stat : 25550 (java) S 25540 25542 25475 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156862713 937652224 15346 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) 915676

[startup+6.27121 s]
/proc/loadavg: 1.64 1.90 1.90 3/100 25550
/proc/meminfo: memFree=1629856/2055920 swapFree=4170284/4192956
[pid=25542] ppid=25540 vsize=915676 CPUtime=6.09
/proc/25542/stat : 25542 (java) R 25540 25542 25475 0 -1 0 15613 0 1 0 600 9 0 0 25 0 8 0 156862705 937652224 15347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073957319 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25542/statm: 228919 15347 2513 14 0 215389 0
[pid=25542/tid=25544] ppid=25540 vsize=915676 CPUtime=0.09
/proc/25542/task/25544/stat : 25544 (java) S 25540 25542 25475 0 -1 64 1424 0 0 0 9 0 0 0 16 0 8 0 156862709 937652224 15347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25545] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25545/stat : 25545 (java) S 25540 25542 25475 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25546] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25546/stat : 25546 (java) S 25540 25542 25475 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25547] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25547/stat : 25547 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156862712 937652224 15347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25548] ppid=25540 vsize=915676 CPUtime=0.32
/proc/25542/task/25548/stat : 25548 (java) S 25540 25542 25475 0 -1 64 486 0 0 0 30 2 0 0 15 0 8 0 156862712 937652224 15347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25549] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25549/stat : 25549 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156862712 937652224 15347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25550] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25550/stat : 25550 (java) S 25540 25542 25475 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156862713 937652224 15347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915676

[startup+12.767 s]
/proc/loadavg: 1.69 1.91 1.91 3/100 25550
/proc/meminfo: memFree=1629872/2055920 swapFree=4170284/4192956
[pid=25542] ppid=25540 vsize=915676 CPUtime=12.53
/proc/25542/stat : 25542 (java) R 25540 25542 25475 0 -1 0 15613 0 1 0 1243 10 0 0 25 0 8 0 156862705 937652224 15347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073975133 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25542/statm: 228919 15347 2513 14 0 215389 0
[pid=25542/tid=25544] ppid=25540 vsize=915676 CPUtime=0.09
/proc/25542/task/25544/stat : 25544 (java) S 25540 25542 25475 0 -1 64 1424 0 0 0 9 0 0 0 16 0 8 0 156862709 937652224 15347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25545] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25545/stat : 25545 (java) S 25540 25542 25475 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25546] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25546/stat : 25546 (java) S 25540 25542 25475 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25547] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25547/stat : 25547 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156862712 937652224 15347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25548] ppid=25540 vsize=915676 CPUtime=0.32
/proc/25542/task/25548/stat : 25548 (java) S 25540 25542 25475 0 -1 64 486 0 0 0 30 2 0 0 15 0 8 0 156862712 937652224 15347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25549] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25549/stat : 25549 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156862712 937652224 15347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25550] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25550/stat : 25550 (java) S 25540 25542 25475 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156862713 937652224 15347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 915676

[startup+25.6315 s]
/proc/loadavg: 1.74 1.91 1.91 3/100 25550
/proc/meminfo: memFree=1630000/2055920 swapFree=4170284/4192956
[pid=25542] ppid=25540 vsize=915676 CPUtime=25.28
/proc/25542/stat : 25542 (java) R 25540 25542 25475 0 -1 0 15615 0 1 0 2518 10 0 0 25 0 8 0 156862705 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073992511 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25542/statm: 228919 15348 2513 14 0 215389 0
[pid=25542/tid=25544] ppid=25540 vsize=915676 CPUtime=0.09
/proc/25542/task/25544/stat : 25544 (java) S 25540 25542 25475 0 -1 64 1424 0 0 0 9 0 0 0 16 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25545] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25545/stat : 25545 (java) S 25540 25542 25475 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25546] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25546/stat : 25546 (java) S 25540 25542 25475 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25547] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25547/stat : 25547 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25548] ppid=25540 vsize=915676 CPUtime=0.32
/proc/25542/task/25548/stat : 25548 (java) S 25540 25542 25475 0 -1 64 487 0 0 0 30 2 0 0 16 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25549] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25549/stat : 25549 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25550] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25550/stat : 25550 (java) S 25540 25542 25475 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156862713 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915676

[startup+51.2646 s]
/proc/loadavg: 1.84 1.92 1.91 3/100 25550
/proc/meminfo: memFree=1630064/2055920 swapFree=4170284/4192956
[pid=25542] ppid=25540 vsize=915676 CPUtime=50.67
/proc/25542/stat : 25542 (java) R 25540 25542 25475 0 -1 0 15615 0 1 0 5057 10 0 0 25 0 8 0 156862705 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073953622 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25542/statm: 228919 15348 2513 14 0 215389 0
[pid=25542/tid=25544] ppid=25540 vsize=915676 CPUtime=0.09
/proc/25542/task/25544/stat : 25544 (java) S 25540 25542 25475 0 -1 64 1424 0 0 0 9 0 0 0 16 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25545] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25545/stat : 25545 (java) S 25540 25542 25475 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25546] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25546/stat : 25546 (java) S 25540 25542 25475 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25547] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25547/stat : 25547 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25548] ppid=25540 vsize=915676 CPUtime=0.32
/proc/25542/task/25548/stat : 25548 (java) S 25540 25542 25475 0 -1 64 487 0 0 0 30 2 0 0 16 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25549] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25549/stat : 25549 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25550] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25550/stat : 25550 (java) S 25540 25542 25475 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156862713 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 915676

[startup+102.527 s]
/proc/loadavg: 1.97 1.94 1.91 3/100 25550
/proc/meminfo: memFree=1630192/2055920 swapFree=4170284/4192956
[pid=25542] ppid=25540 vsize=915676 CPUtime=101.47
/proc/25542/stat : 25542 (java) R 25540 25542 25475 0 -1 0 15615 0 1 0 10136 11 0 0 25 0 8 0 156862705 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073969601 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25542/statm: 228919 15348 2513 14 0 215389 0
[pid=25542/tid=25544] ppid=25540 vsize=915676 CPUtime=0.09
/proc/25542/task/25544/stat : 25544 (java) S 25540 25542 25475 0 -1 64 1424 0 0 0 9 0 0 0 16 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25545] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25545/stat : 25545 (java) S 25540 25542 25475 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25546] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25546/stat : 25546 (java) S 25540 25542 25475 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25547] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25547/stat : 25547 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25548] ppid=25540 vsize=915676 CPUtime=0.32
/proc/25542/task/25548/stat : 25548 (java) S 25540 25542 25475 0 -1 64 487 0 0 0 30 2 0 0 16 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25549] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25549/stat : 25549 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25550] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25550/stat : 25550 (java) S 25540 25542 25475 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156862713 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 915676

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

Current children cumulated CPU time (s) 1411.98
Current children cumulated vsize (KiB) 915676

[startup+1483.12 s]
/proc/loadavg: 1.92 1.72 1.80 4/100 25864
/proc/meminfo: memFree=1660016/2055920 swapFree=4170284/4192956
[pid=25542] ppid=25540 vsize=915676 CPUtime=1471.95
/proc/25542/stat : 25542 (java) R 25540 25542 25475 0 -1 0 15615 0 1 0 147173 22 0 0 25 0 8 0 156862705 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073960076 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25542/statm: 228919 15348 2513 14 0 215389 0
[pid=25542/tid=25544] ppid=25540 vsize=915676 CPUtime=0.09
/proc/25542/task/25544/stat : 25544 (java) S 25540 25542 25475 0 -1 64 1424 0 0 0 9 0 0 0 16 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25545] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25545/stat : 25545 (java) S 25540 25542 25475 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25546] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25546/stat : 25546 (java) S 25540 25542 25475 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25547] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25547/stat : 25547 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25548] ppid=25540 vsize=915676 CPUtime=0.32
/proc/25542/task/25548/stat : 25548 (java) S 25540 25542 25475 0 -1 64 487 0 0 0 30 2 0 0 16 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25549] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25549/stat : 25549 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25550] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25550/stat : 25550 (java) S 25540 25542 25475 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156862713 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1471.95
Current children cumulated vsize (KiB) 915676

[startup+1543.17 s]
/proc/loadavg: 1.97 1.77 1.81 3/100 25864
/proc/meminfo: memFree=1659952/2055920 swapFree=4170284/4192956
[pid=25542] ppid=25540 vsize=915676 CPUtime=1531.94
/proc/25542/stat : 25542 (java) R 25540 25542 25475 0 -1 0 15615 0 1 0 153172 22 0 0 25 0 8 0 156862705 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073975164 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25542/statm: 228919 15348 2513 14 0 215389 0
[pid=25542/tid=25544] ppid=25540 vsize=915676 CPUtime=0.09
/proc/25542/task/25544/stat : 25544 (java) S 25540 25542 25475 0 -1 64 1424 0 0 0 9 0 0 0 16 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25545] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25545/stat : 25545 (java) S 25540 25542 25475 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25546] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25546/stat : 25546 (java) S 25540 25542 25475 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25547] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25547/stat : 25547 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25548] ppid=25540 vsize=915676 CPUtime=0.32
/proc/25542/task/25548/stat : 25548 (java) S 25540 25542 25475 0 -1 64 487 0 0 0 30 2 0 0 16 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25549] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25549/stat : 25549 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25550] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25550/stat : 25550 (java) S 25540 25542 25475 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156862713 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1531.94
Current children cumulated vsize (KiB) 915676

[startup+1603.21 s]
/proc/loadavg: 1.99 1.81 1.82 3/100 25864
/proc/meminfo: memFree=1659952/2055920 swapFree=4170284/4192956
[pid=25542] ppid=25540 vsize=915676 CPUtime=1591.92
/proc/25542/stat : 25542 (java) R 25540 25542 25475 0 -1 0 15615 0 1 0 159170 22 0 0 25 0 8 0 156862705 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074007888 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25542/statm: 228919 15348 2513 14 0 215389 0
[pid=25542/tid=25544] ppid=25540 vsize=915676 CPUtime=0.09
/proc/25542/task/25544/stat : 25544 (java) S 25540 25542 25475 0 -1 64 1424 0 0 0 9 0 0 0 16 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25545] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25545/stat : 25545 (java) S 25540 25542 25475 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25546] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25546/stat : 25546 (java) S 25540 25542 25475 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25547] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25547/stat : 25547 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25548] ppid=25540 vsize=915676 CPUtime=0.32
/proc/25542/task/25548/stat : 25548 (java) S 25540 25542 25475 0 -1 64 487 0 0 0 30 2 0 0 16 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25549] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25549/stat : 25549 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25550] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25550/stat : 25550 (java) S 25540 25542 25475 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156862713 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1591.92
Current children cumulated vsize (KiB) 915676

[startup+1663.25 s]
/proc/loadavg: 1.99 1.84 1.83 3/100 25864
/proc/meminfo: memFree=1659888/2055920 swapFree=4170284/4192956
[pid=25542] ppid=25540 vsize=915676 CPUtime=1651.9
/proc/25542/stat : 25542 (java) R 25540 25542 25475 0 -1 0 15615 0 1 0 165167 23 0 0 25 0 8 0 156862705 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073968524 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25542/statm: 228919 15348 2513 14 0 215389 0
[pid=25542/tid=25544] ppid=25540 vsize=915676 CPUtime=0.09
/proc/25542/task/25544/stat : 25544 (java) S 25540 25542 25475 0 -1 64 1424 0 0 0 9 0 0 0 16 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25545] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25545/stat : 25545 (java) S 25540 25542 25475 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25546] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25546/stat : 25546 (java) S 25540 25542 25475 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25547] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25547/stat : 25547 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25548] ppid=25540 vsize=915676 CPUtime=0.32
/proc/25542/task/25548/stat : 25548 (java) S 25540 25542 25475 0 -1 64 487 0 0 0 30 2 0 0 16 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25549] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25549/stat : 25549 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25550] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25550/stat : 25550 (java) S 25540 25542 25475 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156862713 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1651.9
Current children cumulated vsize (KiB) 915676

[startup+1723.3 s]
/proc/loadavg: 2.06 1.88 1.84 3/100 25864
/proc/meminfo: memFree=1659952/2055920 swapFree=4170284/4192956
[pid=25542] ppid=25540 vsize=915676 CPUtime=1711.89
/proc/25542/stat : 25542 (java) R 25540 25542 25475 0 -1 0 15615 0 1 0 171166 23 0 0 25 0 8 0 156862705 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073957423 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25542/statm: 228919 15348 2513 14 0 215389 0
[pid=25542/tid=25544] ppid=25540 vsize=915676 CPUtime=0.09
/proc/25542/task/25544/stat : 25544 (java) S 25540 25542 25475 0 -1 64 1424 0 0 0 9 0 0 0 16 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25545] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25545/stat : 25545 (java) S 25540 25542 25475 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25546] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25546/stat : 25546 (java) S 25540 25542 25475 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25547] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25547/stat : 25547 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25548] ppid=25540 vsize=915676 CPUtime=0.32
/proc/25542/task/25548/stat : 25548 (java) S 25540 25542 25475 0 -1 64 487 0 0 0 30 2 0 0 16 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25549] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25549/stat : 25549 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25550] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25550/stat : 25550 (java) S 25540 25542 25475 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156862713 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1711.89
Current children cumulated vsize (KiB) 915676

[startup+1783.34 s]
/proc/loadavg: 2.02 1.90 1.84 3/100 25864
/proc/meminfo: memFree=1659888/2055920 swapFree=4170284/4192956
[pid=25542] ppid=25540 vsize=915676 CPUtime=1771.88
/proc/25542/stat : 25542 (java) R 25540 25542 25475 0 -1 0 15615 0 1 0 177165 23 0 0 25 0 8 0 156862705 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073960118 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25542/statm: 228919 15348 2513 14 0 215389 0
[pid=25542/tid=25544] ppid=25540 vsize=915676 CPUtime=0.09
/proc/25542/task/25544/stat : 25544 (java) S 25540 25542 25475 0 -1 64 1424 0 0 0 9 0 0 0 16 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25545] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25545/stat : 25545 (java) S 25540 25542 25475 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25546] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25546/stat : 25546 (java) S 25540 25542 25475 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25547] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25547/stat : 25547 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25548] ppid=25540 vsize=915676 CPUtime=0.32
/proc/25542/task/25548/stat : 25548 (java) S 25540 25542 25475 0 -1 64 487 0 0 0 30 2 0 0 16 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25549] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25549/stat : 25549 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25550] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25550/stat : 25550 (java) S 25540 25542 25475 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156862713 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1771.88
Current children cumulated vsize (KiB) 915676



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.51 s]
/proc/loadavg: 2.01 1.91 1.85 3/100 25864
/proc/meminfo: memFree=1659888/2055920 swapFree=4170284/4192956
[pid=25542] ppid=25540 vsize=915676 CPUtime=1800.01
/proc/25542/stat : 25542 (java) R 25540 25542 25475 0 -1 0 15615 0 1 0 179978 23 0 0 25 0 8 0 156862705 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25542/statm: 228919 15348 2513 14 0 215389 0
[pid=25542/tid=25544] ppid=25540 vsize=915676 CPUtime=0.09
/proc/25542/task/25544/stat : 25544 (java) S 25540 25542 25475 0 -1 64 1424 0 0 0 9 0 0 0 16 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25545] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25545/stat : 25545 (java) S 25540 25542 25475 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25546] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25546/stat : 25546 (java) S 25540 25542 25475 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25547] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25547/stat : 25547 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25548] ppid=25540 vsize=915676 CPUtime=0.32
/proc/25542/task/25548/stat : 25548 (java) S 25540 25542 25475 0 -1 64 487 0 0 0 30 2 0 0 16 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25549] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25549/stat : 25549 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25550] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25550/stat : 25550 (java) S 25540 25542 25475 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156862713 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915676

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

Child status: 143
Real time (s): 1811.53
CPU time (s): 1800.04
CPU user time (s): 1799.8
CPU system time (s): 0.247962
CPU usage (%): 99.3657
Max. virtual memory (cumulated for all children) (KiB): 915780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.247962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15632
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= 37897
involuntary context switches= 70928

runsolver used 2.24266 s user time and 5.67714 s system time

The end

Launcher Data (download as text)

Begin job on node20 on Sat Jan  6 11:58:00 UTC 2007


IDJOB= 239365
IDBENCH= 7056
FILE ID= node20/239365-1168084680

PBS_JOBID= 3476294

Free space on /tmp= 66542 MiB

BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QWH-25/qwh-25-235-6_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/239365-1168084680/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node20/watcher-239365-1168084680 -o ROOT/results/node20/solver-239365-1168084680 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/239365-1168084680/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  fe92d555bfa87c450602ff746465a4ef

RANDOM SEED= 256020237

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.216
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.216
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:       1682176 kB
Buffers:         41788 kB
Cached:         177288 kB
SwapCached:       4236 kB
Active:         148544 kB
Inactive:       155692 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1682176 kB
SwapTotal:     4192956 kB
SwapFree:      4170284 kB
Dirty:            3088 kB
Writeback:           0 kB
Mapped:         108944 kB
Slab:            54064 kB
Committed_AS:  3736000 kB
PageTables:       2544 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= 66543 MiB



End job on node20 on Sat Jan  6 12:28:15 UTC 2007