Trace number 212767

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.19 1802.09

General information on the benchmark

NamepseudoSeries/primesDimacs/
bf-0432-007.xml
MD5SUM75306e088ab36ae277fcdc644f384d6a
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.82
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables2080
Number of constraints4702
Maximum constraint arity6
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4702
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=mac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/212767-1168077280/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.53	     nbVariables=2080  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
0.53	       =>  wckTime=0.236  cpuTime=0.17  mem=10M820
0.53	   
0.53	   predicates being loaded...
0.53	   
0.53	   constraints being loaded...
1.25	     nbConstraints=4702  nbSingletonDomainVariables=252  nbConvertedConstraints=2835  nbConvertConstraintsChecks=1243
1.25	     nbExtensionStructures=9  nbSharedExtensionStructures=2826  nbConflictsStructures=110
1.25	     nbSharedConflictsStructures=4592  nbSharedBinaryRepresentations=21  nbEvaluationManagers=101
1.25	     nbSharedEvaluationManagers=1766  maxDegree=27  maxArity=6
1.25	       =>  wckTime=0.956  cpuTime=0.8  mem=41M50
1.34	   
1.34	   solver IterativeSystematicSolver being built... 
1.63	       =>  wckTime=1.334  cpuTime=1.04  mem=38M867
1.66	   
1.66	   preprocessing
1.66	     nbConstraintChecks=0  nbPropagations=2080  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.66	     detectedInconsistency=no
1.66	       =>  wckTime=0.024  cpuTime=0.02  mem=38M867
2.09	   
2.09	   search
2.09	     run=0  nbConstraintChecks=5335  nbValidityChecks=389  nbPropagations=3328  nbRevisions=4221
2.09	     nbUselessRevisions=3002  nbAssignments=355  nbFailedAssignments=1  nbBacktracks=33  nbVisitedNodes=359
2.09	     nbRestartNogoods=0  mapSize=2  nbInferences=0  nbTooLargeKeys=0
2.09	       =>  wckTime=0.455  cpuTime=0.41  mem=38M867
2.53	   
2.53	   search
2.53	     run=1  nbConstraintChecks=10951  nbValidityChecks=2223  nbPropagations=8258  nbRevisions=14052
2.53	     nbUselessRevisions=10026  nbAssignments=747  nbFailedAssignments=3  nbBacktracks=96  nbVisitedNodes=757
2.53	     nbRestartNogoods=1  mapSize=7  nbInferences=0  nbTooLargeKeys=0
2.53	       =>  wckTime=0.895  cpuTime=0.84  mem=39M841
2.99	   
2.99	   search
2.99	     run=2  nbConstraintChecks=16291  nbValidityChecks=4271  nbPropagations=14741  nbRevisions=29335
2.99	     nbUselessRevisions=20960  nbAssignments=1156  nbFailedAssignments=5  nbBacktracks=182  nbVisitedNodes=1172
2.99	     nbRestartNogoods=2  mapSize=12  nbInferences=0  nbTooLargeKeys=0
2.99	       =>  wckTime=1.356  cpuTime=1.3  mem=39M841
3.38	   
3.38	   search
3.38	     run=3  nbConstraintChecks=21935  nbValidityChecks=6346  nbPropagations=22841  nbRevisions=50421
3.38	     nbUselessRevisions=36097  nbAssignments=1520  nbFailedAssignments=7  nbBacktracks=217  nbVisitedNodes=1540
3.38	     nbRestartNogoods=3  mapSize=15  nbInferences=0  nbTooLargeKeys=0
3.38	       =>  wckTime=1.749  cpuTime=1.68  mem=39M841
4.04	   
4.04	   search
4.04	     run=4  nbConstraintChecks=27692  nbValidityChecks=8394  nbPropagations=32635  nbRevisions=77471
4.04	     nbUselessRevisions=55532  nbAssignments=2055  nbFailedAssignments=9  nbBacktracks=285  nbVisitedNodes=2079
4.04	     nbRestartNogoods=4  mapSize=17  nbInferences=0  nbTooLargeKeys=0
4.05	       =>  wckTime=2.411  cpuTime=2.33  mem=40M815
4.64	   
4.64	   search
4.64	     run=5  nbConstraintChecks=33607  nbValidityChecks=10588  nbPropagations=44183  nbRevisions=110736
4.64	     nbUselessRevisions=79454  nbAssignments=2551  nbFailedAssignments=10  nbBacktracks=418  nbVisitedNodes=2580
4.64	     nbRestartNogoods=6  mapSize=21  nbInferences=0  nbTooLargeKeys=0
4.64	       =>  wckTime=3.01  cpuTime=2.93  mem=40M815
5.40	   
5.40	   search
5.40	     run=6  nbConstraintChecks=43700  nbValidityChecks=14407  nbPropagations=58632  nbRevisions=154854
5.40	     nbUselessRevisions=111325  nbAssignments=3134  nbFailedAssignments=14  nbBacktracks=541  nbVisitedNodes=3173
5.40	     nbRestartNogoods=7  mapSize=29  nbInferences=0  nbTooLargeKeys=0
5.40	       =>  wckTime=3.763  cpuTime=3.68  mem=41M789
6.03	   
6.03	   search
6.03	     run=7  nbConstraintChecks=56066  nbValidityChecks=19442  nbPropagations=76637  nbRevisions=212795
6.03	     nbUselessRevisions=153423  nbAssignments=3658  nbFailedAssignments=21  nbBacktracks=722  nbVisitedNodes=3711
6.03	     nbRestartNogoods=9  mapSize=40  nbInferences=0  nbTooLargeKeys=0
6.03	       =>  wckTime=4.394  cpuTime=4.31  mem=41M789
7.16	   
7.16	   search
7.16	     run=8  nbConstraintChecks=66548  nbValidityChecks=22911  nbPropagations=97603  nbRevisions=281456
7.16	     nbUselessRevisions=203242  nbAssignments=4375  nbFailedAssignments=29  nbBacktracks=1027  nbVisitedNodes=4446
7.16	     nbRestartNogoods=12  mapSize=57  nbInferences=0  nbTooLargeKeys=0
7.16	       =>  wckTime=5.528  cpuTime=5.44  mem=41M789
8.09	   
8.09	   search
8.09	     run=9  nbConstraintChecks=86494  nbValidityChecks=31197  nbPropagations=124006  nbRevisions=372153
8.09	     nbUselessRevisions=269536  nbAssignments=5060  nbFailedAssignments=45  nbBacktracks=1420  nbVisitedNodes=5168
8.09	     nbRestartNogoods=13  mapSize=93  nbInferences=0  nbTooLargeKeys=0
8.09	       =>  wckTime=6.452  cpuTime=6.37  mem=42M763
9.99	   
9.99	   search
9.99	     run=10  nbConstraintChecks=98734  nbValidityChecks=35379  nbPropagations=153638  nbRevisions=474927
9.99	     nbUselessRevisions=344580  nbAssignments=6110  nbFailedAssignments=57  nbBacktracks=2020  nbVisitedNodes=6250
9.99	     nbRestartNogoods=14  mapSize=123  nbInferences=1  nbTooLargeKeys=0
9.99	       =>  wckTime=8.358  cpuTime=8.26  mem=43M737
12.01	   
12.01	   search
12.01	     run=11  nbConstraintChecks=134644  nbValidityChecks=48079  nbPropagations=193049  nbRevisions=614345
12.01	     nbUselessRevisions=446236  nbAssignments=7353  nbFailedAssignments=91  nbBacktracks=2894  nbVisitedNodes=7562
12.01	     nbRestartNogoods=16  mapSize=190  nbInferences=1  nbTooLargeKeys=0
12.01	       =>  wckTime=10.382  cpuTime=10.29  mem=43M737
15.12	   
15.12	   search
15.12	     run=12  nbConstraintChecks=235558  nbValidityChecks=96644  nbPropagations=260865  nbRevisions=884308
15.12	     nbUselessRevisions=649549  nbAssignments=8987  nbFailedAssignments=159  nbBacktracks=4198  nbVisitedNodes=9352
15.12	     nbRestartNogoods=18  mapSize=342  nbInferences=6  nbTooLargeKeys=0
15.12	       =>  wckTime=13.488  cpuTime=13.39  mem=45M685
19.65	   
19.65	   search
19.65	     run=13  nbConstraintChecks=336483  nbValidityChecks=144877  nbPropagations=356043  nbRevisions=1275678
19.65	     nbUselessRevisions=946208  nbAssignments=11240  nbFailedAssignments=228  nbBacktracks=6150  nbVisitedNodes=11741
19.65	     nbRestartNogoods=22  mapSize=474  nbInferences=6  nbTooLargeKeys=0
19.65	       =>  wckTime=18.021  cpuTime=17.9  mem=46M659
26.70	   
26.70	   search
26.70	     run=14  nbConstraintChecks=880112  nbValidityChecks=396536  nbPropagations=601757  nbRevisions=2362886
26.70	     nbUselessRevisions=1783345  nbAssignments=14804  nbFailedAssignments=660  nbBacktracks=9073  nbVisitedNodes=16047
26.70	     nbRestartNogoods=26  mapSize=1210  nbInferences=8  nbTooLargeKeys=0
26.70	       =>  wckTime=25.065  cpuTime=24.94  mem=49M581
35.45	   
35.45	   search
35.45	     run=15  nbConstraintChecks=1254635  nbValidityChecks=572428  nbPropagations=948536  nbRevisions=3915371
35.45	     nbUselessRevisions=2981829  nbAssignments=19472  nbFailedAssignments=827  nbBacktracks=13482  nbVisitedNodes=21078
35.45	     nbRestartNogoods=32  mapSize=1570  nbInferences=15  nbTooLargeKeys=0
35.45	       =>  wckTime=33.815  cpuTime=33.68  mem=52M504
50.37	   
50.37	   search
50.37	     run=16  nbConstraintChecks=2725273  nbValidityChecks=1267041  nbPropagations=1681798  nbRevisions=7431583
50.37	     nbUselessRevisions=5745437  nbAssignments=26921  nbFailedAssignments=1610  nbBacktracks=20064  nbVisitedNodes=29981
50.37	     nbRestartNogoods=35  mapSize=3018  nbInferences=31  nbTooLargeKeys=0
50.37	       =>  wckTime=48.734  cpuTime=48.57  mem=14M171
72.39	   
72.39	   search
72.39	     run=17  nbConstraintChecks=5262125  nbValidityChecks=2468552  nbPropagations=3065954  nbRevisions=14253490
72.39	     nbUselessRevisions=11146770  nbAssignments=37865  nbFailedAssignments=2485  nbBacktracks=29934
72.39	     nbVisitedNodes=42725  nbRestartNogoods=41  mapSize=4811  nbInferences=169  nbTooLargeKeys=0
72.39	       =>  wckTime=70.755  cpuTime=70.56  mem=22M73
100.94	   
100.94	   search
100.94	     run=18  nbConstraintChecks=8284956  nbValidityChecks=3812922  nbPropagations=5251530  nbRevisions=24823010
100.94	     nbUselessRevisions=19465571  nbAssignments=54313  nbFailedAssignments=4106  nbBacktracks=44732
100.94	     nbVisitedNodes=62169  nbRestartNogoods=48  mapSize=7800  nbInferences=170  nbTooLargeKeys=0
100.94	       =>  wckTime=99.311  cpuTime=99.1  mem=33M926
147.93	   
147.93	   search
147.93	     run=19  nbConstraintChecks=12683303  nbValidityChecks=5835467  nbPropagations=8584198  nbRevisions=41048759
147.93	     nbUselessRevisions=32245047  nbAssignments=79384  nbFailedAssignments=6780  nbBacktracks=66901
147.93	     nbVisitedNodes=91986  nbRestartNogoods=55  mapSize=12538  nbInferences=322  nbTooLargeKeys=0
147.93	       =>  wckTime=146.293  cpuTime=146.04  mem=52M692
216.67	   
216.67	   search
216.67	     run=20  nbConstraintChecks=21464708  nbValidityChecks=9904619  nbPropagations=14251880  nbRevisions=68676345
216.67	     nbUselessRevisions=54017349  nbAssignments=116706  nbFailedAssignments=10622  nbBacktracks=100166
216.67	     nbVisitedNodes=136908  nbRestartNogoods=63  mapSize=20133  nbInferences=453  nbTooLargeKeys=0
216.67	       =>  wckTime=215.041  cpuTime=214.65  mem=43M460
330.33	   
330.33	   search
330.33	     run=21  nbConstraintChecks=32146731  nbValidityChecks=15158887  nbPropagations=22739182  nbRevisions=111399562
330.33	     nbUselessRevisions=87962507  nbAssignments=172462  nbFailedAssignments=16421  nbBacktracks=150049
330.33	     nbVisitedNodes=203490  nbRestartNogoods=68  mapSize=30949  nbInferences=453  nbTooLargeKeys=0
330.33	       =>  wckTime=328.696  cpuTime=328.17  mem=49M111
496.58	   
496.58	   search
496.58	     run=22  nbConstraintChecks=45060605  nbValidityChecks=21207958  nbPropagations=34573929  nbRevisions=171565735
496.58	     nbUselessRevisions=135897598  nbAssignments=254481  nbFailedAssignments=23484  nbBacktracks=224868
496.58	     nbVisitedNodes=299142  nbRestartNogoods=78  mapSize=44569  nbInferences=504  nbTooLargeKeys=0
496.58	       =>  wckTime=494.948  cpuTime=494.13  mem=72M657
748.46	   
748.46	   search
748.46	     run=23  nbConstraintChecks=66486761  nbValidityChecks=31777024  nbPropagations=52059165  nbRevisions=262061944
748.46	     nbUselessRevisions=208306501  nbAssignments=379702  nbFailedAssignments=36306  nbBacktracks=337107
748.46	     nbVisitedNodes=448520  nbRestartNogoods=91  mapSize=68715  nbInferences=592  nbTooLargeKeys=0
748.46	       =>  wckTime=746.824  cpuTime=745.66  mem=93M686
1132.22	   
1132.22	   search
1132.22	     run=24  nbConstraintChecks=95070301  nbValidityChecks=45114090  nbPropagations=77031647  nbRevisions=391461496
1132.22	     nbUselessRevisions=311915283  nbAssignments=564087  nbFailedAssignments=51824  nbBacktracks=505477
1132.22	     nbVisitedNodes=662899  nbRestartNogoods=102  mapSize=98696  nbInferences=1022  nbTooLargeKeys=0
1132.22	       =>  wckTime=1130.585  cpuTime=1128.94  mem=111M500
1686.60	   
1686.60	   search
1686.60	     run=25  nbConstraintChecks=133612155  nbValidityChecks=63032307  nbPropagations=112259250  nbRevisions=574250674
1686.60	     nbUselessRevisions=458291183  nbAssignments=840487  nbFailedAssignments=75351  nbBacktracks=757990
1686.60	     nbVisitedNodes=982446  nbRestartNogoods=115  mapSize=141827  nbInferences=1262  nbTooLargeKeys=0
1686.60	       =>  wckTime=1684.967  cpuTime=1682.57  mem=160M457

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/node9/watcher-212767-1168077280 -o ROOT/results/node9/solver-212767-1168077280 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212767-1168077280/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: 2.01 2.02 1.96 4/93 17198
/proc/meminfo: memFree=1198192/2055920 swapFree=4191880/4192956
[pid=17197] ppid=17195 vsize=172 CPUtime=0
/proc/17197/stat : 17197 (java) R 17195 17197 16587 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 156123117 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8663844 0 0 4096 0 0 0 0 17 0 0 0
/proc/17197/statm: 43 24 18 14 0 3 0

[startup+0.107398 s]
/proc/loadavg: 2.01 2.02 1.96 4/93 17198
/proc/meminfo: memFree=1198192/2055920 swapFree=4191880/4192956
[pid=17197] ppid=17195 vsize=914988 CPUtime=0.09
/proc/17197/stat : 17197 (java) R 17195 17197 16587 0 -1 0 3075 0 1 0 8 1 0 0 24 0 8 0 156123117 936947712 2821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155581175 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17197/statm: 228747 2821 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515444 s]
/proc/loadavg: 2.01 2.02 1.96 4/93 17198
/proc/meminfo: memFree=1198192/2055920 swapFree=4191880/4192956
[pid=17197] ppid=17195 vsize=915328 CPUtime=0.49
/proc/17197/stat : 17197 (java) R 17195 17197 16587 0 -1 0 6752 0 1 0 45 4 0 0 25 0 8 0 156123117 937295872 6491 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17197/statm: 228832 6491 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33653 s]
/proc/loadavg: 2.01 2.02 1.96 3/100 17205
/proc/meminfo: memFree=1152440/2055920 swapFree=4191880/4192956
[pid=17197] ppid=17195 vsize=915728 CPUtime=1.32
/proc/17197/stat : 17197 (java) R 17195 17197 16587 0 -1 0 16210 0 1 0 105 27 0 0 25 0 8 0 156123117 937705472 15947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17197/statm: 228932 15947 2182 14 0 215402 0
[pid=17197/tid=17199] ppid=17195 vsize=915728 CPUtime=0.07
/proc/17197/task/17199/stat : 17199 (java) R 17195 17197 16587 0 -1 64 1623 0 0 0 7 0 0 0 16 0 8 0 156123120 937705472 15947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155463265 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17200] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17200/stat : 17200 (java) S 17195 17197 16587 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 156123121 937705472 15947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17201] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17201/stat : 17201 (java) S 17195 17197 16587 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 156123121 937705472 15947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17202] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17202/stat : 17202 (java) S 17195 17197 16587 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156123124 937705472 15947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17203] ppid=17195 vsize=915728 CPUtime=0.2
/proc/17197/task/17203/stat : 17203 (java) S 17195 17197 16587 0 -1 64 435 0 0 0 19 1 0 0 15 0 8 0 156123124 937705472 15948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17204] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17204/stat : 17204 (java) S 17195 17197 16587 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156123124 937705472 15948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17205] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17205/stat : 17205 (java) S 17195 17197 16587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156123124 937705472 15949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915728

[startup+2.98572 s]
/proc/loadavg: 2.01 2.02 1.96 3/100 17205
/proc/meminfo: memFree=1142200/2055920 swapFree=4191880/4192956
[pid=17197] ppid=17195 vsize=915728 CPUtime=2.96
/proc/17197/stat : 17197 (java) R 17195 17197 16587 0 -1 0 16702 0 1 0 268 28 0 0 25 0 8 0 156123117 937705472 16438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074110304 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17197/statm: 228932 16438 2534 14 0 215402 0
[pid=17197/tid=17199] ppid=17195 vsize=915728 CPUtime=0.07
/proc/17197/task/17199/stat : 17199 (java) S 17195 17197 16587 0 -1 64 1625 0 0 0 7 0 0 0 16 0 8 0 156123120 937705472 16438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17200] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17200/stat : 17200 (java) S 17195 17197 16587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156123121 937705472 16438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17201] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17201/stat : 17201 (java) S 17195 17197 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156123121 937705472 16438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17202] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17202/stat : 17202 (java) S 17195 17197 16587 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156123124 937705472 16438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17203] ppid=17195 vsize=915728 CPUtime=0.32
/proc/17197/task/17203/stat : 17203 (java) S 17195 17197 16587 0 -1 64 508 0 0 0 30 2 0 0 15 0 8 0 156123124 937705472 16438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17204] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17204/stat : 17204 (java) S 17195 17197 16587 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156123124 937705472 16438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17205] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17205/stat : 17205 (java) S 17195 17197 16587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156123124 937705472 16438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915728

[startup+6.2851 s]
/proc/loadavg: 2.01 2.02 1.96 3/100 17205
/proc/meminfo: memFree=1142072/2055920 swapFree=4191880/4192956
[pid=17197] ppid=17195 vsize=915728 CPUtime=6.27
/proc/17197/stat : 17197 (java) R 17195 17197 16587 0 -1 0 16715 0 1 0 598 29 0 0 25 0 8 0 156123117 937705472 16449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074097690 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17197/statm: 228932 16449 2534 14 0 215402 0
[pid=17197/tid=17199] ppid=17195 vsize=915728 CPUtime=0.07
/proc/17197/task/17199/stat : 17199 (java) S 17195 17197 16587 0 -1 64 1625 0 0 0 7 0 0 0 16 0 8 0 156123120 937705472 16449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17200] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17200/stat : 17200 (java) S 17195 17197 16587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156123121 937705472 16449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17201] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17201/stat : 17201 (java) S 17195 17197 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156123121 937705472 16449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17202] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17202/stat : 17202 (java) S 17195 17197 16587 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156123124 937705472 16449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17203] ppid=17195 vsize=915728 CPUtime=0.34
/proc/17197/task/17203/stat : 17203 (java) S 17195 17197 16587 0 -1 64 520 0 0 0 32 2 0 0 16 0 8 0 156123124 937705472 16449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17204] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17204/stat : 17204 (java) S 17195 17197 16587 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156123124 937705472 16449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17205] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17205/stat : 17205 (java) S 17195 17197 16587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156123124 937705472 16449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 915728

[startup+12.7638 s]
/proc/loadavg: 2.01 2.02 1.96 3/100 17205
/proc/meminfo: memFree=1142072/2055920 swapFree=4191880/4192956
[pid=17197] ppid=17195 vsize=915728 CPUtime=12.74
/proc/17197/stat : 17197 (java) R 17195 17197 16587 0 -1 0 16723 0 1 0 1245 29 0 0 25 0 8 0 156123117 937705472 16455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073855440 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17197/statm: 228932 16455 2534 14 0 215402 0
[pid=17197/tid=17199] ppid=17195 vsize=915728 CPUtime=0.07
/proc/17197/task/17199/stat : 17199 (java) S 17195 17197 16587 0 -1 64 1625 0 0 0 7 0 0 0 16 0 8 0 156123120 937705472 16455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17200] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17200/stat : 17200 (java) S 17195 17197 16587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156123121 937705472 16455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17201] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17201/stat : 17201 (java) S 17195 17197 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156123121 937705472 16455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17202] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17202/stat : 17202 (java) S 17195 17197 16587 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156123124 937705472 16455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17203] ppid=17195 vsize=915728 CPUtime=0.35
/proc/17197/task/17203/stat : 17203 (java) S 17195 17197 16587 0 -1 64 525 0 0 0 33 2 0 0 16 0 8 0 156123124 937705472 16455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17204] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17204/stat : 17204 (java) S 17195 17197 16587 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156123124 937705472 16455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17205] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17205/stat : 17205 (java) S 17195 17197 16587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156123124 937705472 16455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.74
Current children cumulated vsize (KiB) 915728

[startup+25.6083 s]
/proc/loadavg: 2.00 2.01 1.96 3/100 17205
/proc/meminfo: memFree=1140920/2055920 swapFree=4191880/4192956
[pid=17197] ppid=17195 vsize=915728 CPUtime=25.55
/proc/17197/stat : 17197 (java) R 17195 17197 16587 0 -1 0 17126 0 1 0 2526 29 0 0 25 0 8 0 156123117 937705472 16857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073855456 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17197/statm: 228932 16857 2534 14 0 215402 0
[pid=17197/tid=17199] ppid=17195 vsize=915728 CPUtime=0.07
/proc/17197/task/17199/stat : 17199 (java) S 17195 17197 16587 0 -1 64 1625 0 0 0 7 0 0 0 16 0 8 0 156123120 937705472 16857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17200] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17200/stat : 17200 (java) S 17195 17197 16587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156123121 937705472 16857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17201] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17201/stat : 17201 (java) S 17195 17197 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156123121 937705472 16857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17202] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17202/stat : 17202 (java) S 17195 17197 16587 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156123124 937705472 16857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17203] ppid=17195 vsize=915728 CPUtime=0.35
/proc/17197/task/17203/stat : 17203 (java) S 17195 17197 16587 0 -1 64 526 0 0 0 33 2 0 0 16 0 8 0 156123124 937705472 16857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17204] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17204/stat : 17204 (java) S 17195 17197 16587 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156123124 937705472 16857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17205] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17205/stat : 17205 (java) S 17195 17197 16587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156123124 937705472 16857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915728

[startup+51.2112 s]
/proc/loadavg: 2.00 2.01 1.96 3/100 17205
/proc/meminfo: memFree=1130424/2055920 swapFree=4191880/4192956
[pid=17197] ppid=17195 vsize=915728 CPUtime=51.14
/proc/17197/stat : 17197 (java) R 17195 17197 16587 0 -1 0 19702 0 1 0 5083 31 0 0 25 0 8 0 156123117 937705472 19431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074095266 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17197/statm: 228932 19431 2538 14 0 215402 0
[pid=17197/tid=17199] ppid=17195 vsize=915728 CPUtime=0.09
/proc/17197/task/17199/stat : 17199 (java) S 17195 17197 16587 0 -1 64 2541 0 0 0 9 0 0 0 16 0 8 0 156123120 937705472 19431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17200] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17200/stat : 17200 (java) S 17195 17197 16587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156123121 937705472 19431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17201] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17201/stat : 17201 (java) S 17195 17197 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156123121 937705472 19431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17202] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17202/stat : 17202 (java) S 17195 17197 16587 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156123124 937705472 19431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17203] ppid=17195 vsize=915728 CPUtime=0.35
/proc/17197/task/17203/stat : 17203 (java) S 17195 17197 16587 0 -1 64 528 0 0 0 33 2 0 0 17 0 8 0 156123124 937705472 19431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17204] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17204/stat : 17204 (java) S 17195 17197 16587 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156123124 937705472 19431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17205] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17205/stat : 17205 (java) S 17195 17197 16587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156123124 937705472 19431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.14
Current children cumulated vsize (KiB) 915728

[startup+102.415 s]
/proc/loadavg: 2.00 2.01 1.96 3/100 17205
/proc/meminfo: memFree=1130360/2055920 swapFree=4191880/4192956
[pid=17197] ppid=17195 vsize=915728 CPUtime=102.3
/proc/17197/stat : 17197 (java) R 17195 17197 16587 0 -1 0 19702 0 1 0 10198 32 0 0 25 0 8 0 156123117 937705472 19431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074112507 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17197/statm: 228932 19431 2538 14 0 215402 0
[pid=17197/tid=17199] ppid=17195 vsize=915728 CPUtime=0.09
/proc/17197/task/17199/stat : 17199 (java) S 17195 17197 16587 0 -1 64 2541 0 0 0 9 0 0 0 16 0 8 0 156123120 937705472 19431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17200] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17200/stat : 17200 (java) S 17195 17197 16587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156123121 937705472 19431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17201] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17201/stat : 17201 (java) S 17195 17197 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156123121 937705472 19431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17202] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17202/stat : 17202 (java) S 17195 17197 16587 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156123124 937705472 19431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17203] ppid=17195 vsize=915728 CPUtime=0.35
/proc/17197/task/17203/stat : 17203 (java) S 17195 17197 16587 0 -1 64 528 0 0 0 33 2 0 0 17 0 8 0 156123124 937705472 19431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17204] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17204/stat : 17204 (java) S 17195 17197 16587 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156123124 937705472 19431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17205] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17205/stat : 17205 (java) S 17195 17197 16587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156123124 937705472 19431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 915728

[startup+162.458 s]
/proc/loadavg: 2.03 2.02 1.97 3/100 17205
/proc/meminfo: memFree=1130360/2055920 swapFree=4191880/4192956
[pid=17197] ppid=17195 vsize=915728 CPUtime=162.27
/proc/17197/stat : 17197 (java) R 17195 17197 16587 0 -1 0 19702 0 1 0 16195 32 0 0 25 0 8 0 156123117 937705472 19431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074139235 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 915728

[startup+1483.55 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 17462
/proc/meminfo: memFree=1026096/2055920 swapFree=4191880/4192956
[pid=17197] ppid=17195 vsize=915728 CPUtime=1481.97
/proc/17197/stat : 17197 (java) R 17195 17197 16587 0 -1 0 47991 0 1 0 148134 63 0 0 25 0 8 0 156123117 937705472 47707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074139235 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17197/statm: 228932 47707 2538 14 0 215402 0
[pid=17197/tid=17199] ppid=17195 vsize=915728 CPUtime=0.55
/proc/17197/task/17199/stat : 17199 (java) S 17195 17197 16587 0 -1 64 30817 0 0 0 44 11 0 0 16 0 8 0 156123120 937705472 47707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17200] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17200/stat : 17200 (java) S 17195 17197 16587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156123121 937705472 47707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17201] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17201/stat : 17201 (java) S 17195 17197 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156123121 937705472 47707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17202] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17202/stat : 17202 (java) S 17195 17197 16587 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156123124 937705472 47707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17203] ppid=17195 vsize=915728 CPUtime=0.36
/proc/17197/task/17203/stat : 17203 (java) S 17195 17197 16587 0 -1 64 528 0 0 0 34 2 0 0 16 0 8 0 156123124 937705472 47707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17204] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17204/stat : 17204 (java) S 17195 17197 16587 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156123124 937705472 47707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17205] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17205/stat : 17205 (java) S 17195 17197 16587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156123124 937705472 47707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 915728

[startup+1543.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 17462
/proc/meminfo: memFree=1026096/2055920 swapFree=4191880/4192956
[pid=17197] ppid=17195 vsize=915728 CPUtime=1541.97
/proc/17197/stat : 17197 (java) R 17195 17197 16587 0 -1 0 47991 0 1 0 154134 63 0 0 25 0 8 0 156123117 937705472 47707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074090348 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17197/statm: 228932 47707 2538 14 0 215402 0
[pid=17197/tid=17199] ppid=17195 vsize=915728 CPUtime=0.55
/proc/17197/task/17199/stat : 17199 (java) S 17195 17197 16587 0 -1 64 30817 0 0 0 44 11 0 0 16 0 8 0 156123120 937705472 47707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17200] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17200/stat : 17200 (java) S 17195 17197 16587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156123121 937705472 47707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17201] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17201/stat : 17201 (java) S 17195 17197 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156123121 937705472 47707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17202] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17202/stat : 17202 (java) S 17195 17197 16587 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156123124 937705472 47707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17203] ppid=17195 vsize=915728 CPUtime=0.36
/proc/17197/task/17203/stat : 17203 (java) S 17195 17197 16587 0 -1 64 528 0 0 0 34 2 0 0 16 0 8 0 156123124 937705472 47707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17204] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17204/stat : 17204 (java) S 17195 17197 16587 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156123124 937705472 47707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17205] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17205/stat : 17205 (java) S 17195 17197 16587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156123124 937705472 47707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 915728

[startup+1603.65 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 17462
/proc/meminfo: memFree=1026160/2055920 swapFree=4191880/4192956
[pid=17197] ppid=17195 vsize=915728 CPUtime=1601.94
/proc/17197/stat : 17197 (java) R 17195 17197 16587 0 -1 0 47991 0 1 0 160131 63 0 0 25 0 8 0 156123117 937705472 47707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074097690 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17197/statm: 228932 47707 2538 14 0 215402 0
[pid=17197/tid=17199] ppid=17195 vsize=915728 CPUtime=0.55
/proc/17197/task/17199/stat : 17199 (java) S 17195 17197 16587 0 -1 64 30817 0 0 0 44 11 0 0 16 0 8 0 156123120 937705472 47707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17200] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17200/stat : 17200 (java) S 17195 17197 16587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156123121 937705472 47707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17201] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17201/stat : 17201 (java) S 17195 17197 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156123121 937705472 47707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17202] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17202/stat : 17202 (java) S 17195 17197 16587 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156123124 937705472 47707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17203] ppid=17195 vsize=915728 CPUtime=0.36
/proc/17197/task/17203/stat : 17203 (java) S 17195 17197 16587 0 -1 64 528 0 0 0 34 2 0 0 16 0 8 0 156123124 937705472 47707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17204] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17204/stat : 17204 (java) S 17195 17197 16587 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156123124 937705472 47707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17205] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17205/stat : 17205 (java) S 17195 17197 16587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156123124 937705472 47707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 915728

[startup+1663.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 17462
/proc/meminfo: memFree=1017456/2055920 swapFree=4191880/4192956
[pid=17197] ppid=17195 vsize=915728 CPUtime=1661.94
/proc/17197/stat : 17197 (java) R 17195 17197 16587 0 -1 0 50195 0 1 0 166130 64 0 0 25 0 8 0 156123117 937705472 49910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074097690 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17197/statm: 228932 49910 2538 14 0 215402 0
[pid=17197/tid=17199] ppid=17195 vsize=915728 CPUtime=0.59
/proc/17197/task/17199/stat : 17199 (java) S 17195 17197 16587 0 -1 64 33020 0 0 0 47 12 0 0 16 0 8 0 156123120 937705472 49910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17200] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17200/stat : 17200 (java) S 17195 17197 16587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156123121 937705472 49910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17201] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17201/stat : 17201 (java) S 17195 17197 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156123121 937705472 49910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17202] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17202/stat : 17202 (java) S 17195 17197 16587 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156123124 937705472 49910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17203] ppid=17195 vsize=915728 CPUtime=0.36
/proc/17197/task/17203/stat : 17203 (java) S 17195 17197 16587 0 -1 64 528 0 0 0 34 2 0 0 16 0 8 0 156123124 937705472 49910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17204] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17204/stat : 17204 (java) S 17195 17197 16587 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156123124 937705472 49910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17205] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17205/stat : 17205 (java) S 17195 17197 16587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156123124 937705472 49910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 915728

[startup+1723.74 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 17462
/proc/meminfo: memFree=1017456/2055920 swapFree=4191880/4192956
[pid=17197] ppid=17195 vsize=915728 CPUtime=1721.92
/proc/17197/stat : 17197 (java) R 17195 17197 16587 0 -1 0 50195 0 1 0 172128 64 0 0 25 0 8 0 156123117 937705472 49910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074139235 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17197/statm: 228932 49910 2538 14 0 215402 0
[pid=17197/tid=17199] ppid=17195 vsize=915728 CPUtime=0.59
/proc/17197/task/17199/stat : 17199 (java) S 17195 17197 16587 0 -1 64 33020 0 0 0 47 12 0 0 16 0 8 0 156123120 937705472 49910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17200] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17200/stat : 17200 (java) S 17195 17197 16587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156123121 937705472 49910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17201] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17201/stat : 17201 (java) S 17195 17197 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156123121 937705472 49910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17202] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17202/stat : 17202 (java) S 17195 17197 16587 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156123124 937705472 49910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17203] ppid=17195 vsize=915728 CPUtime=0.36
/proc/17197/task/17203/stat : 17203 (java) S 17195 17197 16587 0 -1 64 528 0 0 0 34 2 0 0 16 0 8 0 156123124 937705472 49910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17204] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17204/stat : 17204 (java) S 17195 17197 16587 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156123124 937705472 49910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17205] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17205/stat : 17205 (java) S 17195 17197 16587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156123124 937705472 49910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 915728

[startup+1783.79 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 17462
/proc/meminfo: memFree=1009520/2055920 swapFree=4191880/4192956
[pid=17197] ppid=17195 vsize=915728 CPUtime=1781.89
/proc/17197/stat : 17197 (java) R 17195 17197 16587 0 -1 0 52196 0 1 0 178124 65 0 0 25 0 8 0 156123117 937705472 51910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074097729 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17197/statm: 228932 51910 2538 14 0 215402 0
[pid=17197/tid=17199] ppid=17195 vsize=915728 CPUtime=0.62
/proc/17197/task/17199/stat : 17199 (java) S 17195 17197 16587 0 -1 64 35020 0 0 0 50 12 0 0 16 0 8 0 156123120 937705472 51910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17200] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17200/stat : 17200 (java) S 17195 17197 16587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156123121 937705472 51910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17201] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17201/stat : 17201 (java) S 17195 17197 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156123121 937705472 51910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17202] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17202/stat : 17202 (java) S 17195 17197 16587 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156123124 937705472 51910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17203] ppid=17195 vsize=915728 CPUtime=0.36
/proc/17197/task/17203/stat : 17203 (java) S 17195 17197 16587 0 -1 64 528 0 0 0 34 2 0 0 16 0 8 0 156123124 937705472 51910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17204] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17204/stat : 17204 (java) S 17195 17197 16587 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156123124 937705472 51910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17205] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17205/stat : 17205 (java) S 17195 17197 16587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156123124 937705472 51910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 915728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 17462
/proc/meminfo: memFree=1009520/2055920 swapFree=4191880/4192956
[pid=17197] ppid=17195 vsize=915728 CPUtime=1800.1
/proc/17197/stat : 17197 (java) R 17195 17197 16587 0 -1 0 52196 0 1 0 179945 65 0 0 25 0 8 0 156123117 937705472 51910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074139324 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17197/statm: 228932 51910 2538 14 0 215402 0
[pid=17197/tid=17199] ppid=17195 vsize=915728 CPUtime=0.62
/proc/17197/task/17199/stat : 17199 (java) S 17195 17197 16587 0 -1 64 35020 0 0 0 50 12 0 0 16 0 8 0 156123120 937705472 51910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17200] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17200/stat : 17200 (java) S 17195 17197 16587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156123121 937705472 51910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17201] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17201/stat : 17201 (java) S 17195 17197 16587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156123121 937705472 51910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17202] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17202/stat : 17202 (java) S 17195 17197 16587 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156123124 937705472 51910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17203] ppid=17195 vsize=915728 CPUtime=0.36
/proc/17197/task/17203/stat : 17203 (java) S 17195 17197 16587 0 -1 64 528 0 0 0 34 2 0 0 16 0 8 0 156123124 937705472 51910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17204] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17204/stat : 17204 (java) S 17195 17197 16587 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156123124 937705472 51910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17197/tid=17205] ppid=17195 vsize=915728 CPUtime=0
/proc/17197/task/17205/stat : 17205 (java) S 17195 17197 16587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156123124 937705472 51910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 915728

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

Child status: 143
Real time (s): 1802.09
CPU time (s): 1800.19
CPU user time (s): 1799.5
CPU system time (s): 0.684895
CPU usage (%): 99.8947
Max. virtual memory (cumulated for all children) (KiB): 915728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.684895
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52212
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= 38298
involuntary context switches= 78175

runsolver used 2.04169 s user time and 5.9401 s system time

The end

Launcher Data (download as text)

Begin job on node9 on Sat Jan  6 09:54:40 UTC 2007


IDJOB= 212767
IDBENCH= 4796
FILE ID= node9/212767-1168077280

PBS_JOBID= 3475774

Free space on /tmp= 66541 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/primesDimacs/bf-0432-007.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212767-1168077280/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-212767-1168077280 -o ROOT/results/node9/solver-212767-1168077280 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212767-1168077280/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  75306e088ab36ae277fcdc644f384d6a

RANDOM SEED= 857760035

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.231
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.231
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:       1198608 kB
Buffers:         83660 kB
Cached:         559692 kB
SwapCached:        268 kB
Active:         385356 kB
Inactive:       369824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1198608 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            2344 kB
Writeback:           0 kB
Mapped:         133600 kB
Slab:            86680 kB
Committed_AS:  4754408 kB
PageTables:       2472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66541 MiB



End job on node9 on Sat Jan  6 10:24:43 UTC 2007