Trace number 238141

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.21 1808.77

General information on the benchmark

Namehaystacks/
haystacks_46.xml
MD5SUM840da8577188072b75febcbf7915e78d
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2116
Number of constraints47655
Maximum constraint arity2
Maximum domain size46
Number of constraints which are defined in extension0
Number of constraints which are defined in intension47655
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.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/238141-1168083395/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.58	     nbVariables=2116  nbDomainTypes=1  minDomainSize=46  maxDomainSize=46
0.58	       =>  wckTime=0.271  cpuTime=0.19  mem=12M748
0.58	   
0.58	   predicates being loaded...
0.58	   
0.58	   constraints being loaded...
4.95	   
4.95	   INFO : Stopping converting binary constraints (cpu=4.01, mem = 35M811)
5.24	     nbConstraints=47655  nbConvertedConstraints=33912  nbConvertConstraintsChecks=8464  nbExtensionStructures=4
5.24	     nbSharedExtensionStructures=33908  nbConflictsStructures=4  nbSharedConflictsStructures=33908
5.24	     nbSharedBinaryRepresentations=275  nbEvaluationManagers=4  nbSharedEvaluationManagers=13739  maxDegree=46
5.24	     maxArity=2
5.24	       =>  wckTime=4.928  cpuTime=4.23  mem=62M403
5.55	   
5.55	   solver IterativeSystematicSolver being built... 
6.01	       =>  wckTime=5.696  cpuTime=4.57  mem=74M61
6.81	   
6.81	   preprocessing
6.81	     nbConstraintChecks=1261998  nbValidityChecks=27882  nbPropagations=2116  nbRevisions=27486
6.81	     nbUselessRevisions=27486  nbRemovedValues=0  detectedInconsistency=no
6.81	       =>  wckTime=0.784  cpuTime=0.75  mem=74M61
8.01	   
8.01	   search
8.01	     run=0  nbConstraintChecks=1236886  nbValidityChecks=2258779  nbPropagations=8380  nbRevisions=86277
8.01	     nbUselessRevisions=80134  nbAssignments=187  nbFailedAssignments=8  nbBacktracks=10  nbVisitedNodes=204
8.01	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
8.01	       =>  wckTime=1.991  cpuTime=1.93  mem=76M87
8.58	   
8.58	   search
8.58	     run=1  nbConstraintChecks=1438852  nbValidityChecks=4543511  nbPropagations=23054  nbRevisions=232198
8.58	     nbUselessRevisions=213735  nbAssignments=380  nbFailedAssignments=21  nbBacktracks=25  nbVisitedNodes=423
8.58	     nbRestartNogoods=1  mapSize=25  nbInferences=0  nbTooLargeKeys=0
8.58	       =>  wckTime=2.568  cpuTime=2.5  mem=79M127
9.17	   
9.17	   search
9.17	     run=2  nbConstraintChecks=1638330  nbValidityChecks=6839206  nbPropagations=44065  nbRevisions=438277
9.17	     nbUselessRevisions=401256  nbAssignments=584  nbFailedAssignments=40  nbBacktracks=47  nbVisitedNodes=665
9.17	     nbRestartNogoods=4  mapSize=47  nbInferences=0  nbTooLargeKeys=0
9.17	       =>  wckTime=3.157  cpuTime=3.09  mem=81M153
9.79	   
9.79	   search
9.79	     run=3  nbConstraintChecks=1842337  nbValidityChecks=9147398  nbPropagations=71491  nbRevisions=705079
9.79	     nbUselessRevisions=643193  nbAssignments=807  nbFailedAssignments=66  nbBacktracks=80  nbVisitedNodes=941
9.79	     nbRestartNogoods=7  mapSize=80  nbInferences=1  nbTooLargeKeys=0
9.79	       =>  wckTime=3.77  cpuTime=3.69  mem=83M180
10.44	   
10.44	   search
10.44	     run=4  nbConstraintChecks=2055322  nbValidityChecks=11482597  nbPropagations=105440  nbRevisions=1033760
10.44	     nbUselessRevisions=940597  nbAssignments=1057  nbFailedAssignments=103  nbBacktracks=130  nbVisitedNodes=1266
10.44	     nbRestartNogoods=13  mapSize=130  nbInferences=2  nbTooLargeKeys=0
10.44	       =>  wckTime=4.418  cpuTime=4.33  mem=86M219
11.12	   
11.12	   search
11.12	     run=5  nbConstraintChecks=2260059  nbValidityChecks=13810849  nbPropagations=146155  nbRevisions=1424456
11.12	     nbUselessRevisions=1293391  nbAssignments=1358  nbFailedAssignments=151  nbBacktracks=206  nbVisitedNodes=1679
11.12	     nbRestartNogoods=19  mapSize=206  nbInferences=18  nbTooLargeKeys=0
11.12	       =>  wckTime=5.1  cpuTime=5.01  mem=89M259
11.89	   
11.89	   search
11.89	     run=6  nbConstraintChecks=2460849  nbValidityChecks=16155073  nbPropagations=193921  nbRevisions=1878099
11.89	     nbUselessRevisions=1702218  nbAssignments=1725  nbFailedAssignments=225  nbBacktracks=320  nbVisitedNodes=2216
11.89	     nbRestartNogoods=22  mapSize=320  nbInferences=40  nbTooLargeKeys=0
11.89	       =>  wckTime=5.87  cpuTime=5.76  mem=93M311
12.81	   
12.81	   search
12.81	     run=7  nbConstraintChecks=2662434  nbValidityChecks=18508207  nbPropagations=249170  nbRevisions=2395489
12.81	     nbUselessRevisions=2167462  nbAssignments=2189  nbFailedAssignments=336  nbBacktracks=490  nbVisitedNodes=2928
12.81	     nbRestartNogoods=24  mapSize=490  nbInferences=66  nbTooLargeKeys=0
12.81	       =>  wckTime=6.797  cpuTime=6.62  mem=60M508
13.91	   
13.91	   search
13.91	     run=8  nbConstraintChecks=2868285  nbValidityChecks=20873457  nbPropagations=312785  nbRevisions=2977926
13.91	     nbUselessRevisions=2689671  nbAssignments=2842  nbFailedAssignments=484  nbBacktracks=746  nbVisitedNodes=3973
13.91	     nbRestartNogoods=26  mapSize=746  nbInferences=162  nbTooLargeKeys=0
13.91	       =>  wckTime=7.892  cpuTime=7.71  mem=67M550
15.19	   
15.19	   search
15.19	     run=9  nbConstraintChecks=3080795  nbValidityChecks=23244319  nbPropagations=385633  nbRevisions=3627680
15.19	     nbUselessRevisions=3270190  nbAssignments=3694  nbFailedAssignments=735  nbBacktracks=1131  nbVisitedNodes=5397
15.19	     nbRestartNogoods=35  mapSize=1131  nbInferences=232  nbTooLargeKeys=0
15.19	       =>  wckTime=9.173  cpuTime=8.98  mem=76M605
17.21	   
17.21	   search
17.21	     run=10  nbConstraintChecks=3298905  nbValidityChecks=25618277  nbPropagations=470640  nbRevisions=4349048
17.21	     nbUselessRevisions=3910828  nbAssignments=5111  nbFailedAssignments=1052  nbBacktracks=1707  nbVisitedNodes=7825
17.21	     nbRestartNogoods=37  mapSize=1707  nbInferences=609  nbTooLargeKeys=0
17.21	       =>  wckTime=11.191  cpuTime=10.98  mem=92M702
20.07	   
20.07	   search
20.07	     run=11  nbConstraintChecks=3532097  nbValidityChecks=28012596  nbPropagations=571192  nbRevisions=5148467
20.07	     nbUselessRevisions=4615013  nbAssignments=7200  nbFailedAssignments=1521  nbBacktracks=2571  nbVisitedNodes=11462
20.07	     nbRestartNogoods=50  mapSize=2571  nbInferences=1219  nbTooLargeKeys=0
20.07	       =>  wckTime=14.054  cpuTime=13.77  mem=98M770
23.99	   
23.99	   search
23.99	     run=12  nbConstraintChecks=3772451  nbValidityChecks=30343400  nbPropagations=691786  nbRevisions=6028917
23.99	     nbUselessRevisions=5381899  nbAssignments=10263  nbFailedAssignments=2182  nbBacktracks=3870  nbVisitedNodes=16808
23.99	     nbRestartNogoods=63  mapSize=3870  nbInferences=2180  nbTooLargeKeys=0
23.99	       =>  wckTime=17.972  cpuTime=17.67  mem=135M241
29.95	   
29.95	   search
29.95	     run=13  nbConstraintChecks=4057012  nbValidityChecks=32732420  nbPropagations=839944  nbRevisions=7009416
29.95	     nbUselessRevisions=6223862  nbAssignments=14863  nbFailedAssignments=3173  nbBacktracks=5817  nbVisitedNodes=24912
29.95	     nbRestartNogoods=71  mapSize=5817  nbInferences=3702  nbTooLargeKeys=0
29.95	       =>  wckTime=23.936  cpuTime=23.5  mem=148M103
40.44	   
40.44	   search
40.44	     run=14  nbConstraintChecks=4451771  nbValidityChecks=35303254  nbPropagations=1033403  nbRevisions=8152091
40.44	     nbUselessRevisions=7190186  nbAssignments=22700  nbFailedAssignments=4245  nbBacktracks=8737  nbVisitedNodes=38602
40.44	     nbRestartNogoods=84  mapSize=8737  nbInferences=7411  nbTooLargeKeys=0
40.44	       =>  wckTime=34.427  cpuTime=33.86  mem=201M789
56.21	   
56.21	   search
56.21	     run=15  nbConstraintChecks=4862078  nbValidityChecks=37681668  nbPropagations=1293989  nbRevisions=9429585
56.21	     nbUselessRevisions=8235651  nbAssignments=34641  nbFailedAssignments=5768  nbBacktracks=13115  nbVisitedNodes=59498
56.21	     nbRestartNogoods=92  mapSize=13115  nbInferences=13320  nbTooLargeKeys=0
56.21	       =>  wckTime=50.193  cpuTime=49.42  mem=285M155
83.09	   
83.09	   search
83.09	     run=16  nbConstraintChecks=5518430  nbValidityChecks=40392169  nbPropagations=1667945  nbRevisions=10937292
83.09	     nbUselessRevisions=9418995  nbAssignments=54532  nbFailedAssignments=7893  nbBacktracks=19683  nbVisitedNodes=94709
83.09	     nbRestartNogoods=98  mapSize=19683  nbInferences=24390  nbTooLargeKeys=0
83.09	       =>  wckTime=77.076  cpuTime=75.93  mem=385M37
103.53	   
103.53	   search
103.53	     run=17  nbConstraintChecks=6060012  nbValidityChecks=42931651  nbPropagations=2145196  nbRevisions=12642108
103.53	     nbUselessRevisions=10707456  nbAssignments=75427  nbFailedAssignments=13136  nbBacktracks=29535
103.53	     nbVisitedNodes=131840  nbRestartNogoods=110  mapSize=29481  nbInferences=30140  nbTooLargeKeys=0
103.53	       =>  wckTime=97.51  cpuTime=96.11  mem=464M706
135.76	   
135.76	   INFO : Stopping hyperNogood (mapSize=40701, nbTooLargekeys=0, mem=602M943)
139.09	   
139.09	   search
139.09	     run=18  nbConstraintChecks=7519804  nbValidityChecks=47691084  nbPropagations=2821421  nbRevisions=14646601
139.09	     nbUselessRevisions=12124744  nbAssignments=111762  nbFailedAssignments=20033  nbBacktracks=44313
139.09	     nbVisitedNodes=196418  nbRestartNogoods=123
139.09	       =>  wckTime=133.072  cpuTime=131.25  mem=602M943
159.32	   
159.32	   search
159.32	     run=19  nbConstraintChecks=8776199  nbValidityChecks=52807855  nbPropagations=3677062  nbRevisions=16977935
159.32	     nbUselessRevisions=13689041  nbAssignments=149458  nbFailedAssignments=35344  nbBacktracks=66481
159.32	     nbVisitedNodes=264735  nbRestartNogoods=141
159.32	       =>  wckTime=153.305  cpuTime=151.39  mem=602M943
190.75	   
190.75	   search
190.75	     run=20  nbConstraintChecks=10231703  nbValidityChecks=58031451  nbPropagations=4795531  nbRevisions=19697588
190.75	     nbUselessRevisions=15378815  nbAssignments=205734  nbFailedAssignments=58146  nbBacktracks=99733
190.75	     nbVisitedNodes=366614  nbRestartNogoods=159
190.75	       =>  wckTime=184.731  cpuTime=182.67  mem=602M943
237.30	   
237.30	   search
237.30	     run=21  nbConstraintChecks=12069347  nbValidityChecks=63522102  nbPropagations=6303443  nbRevisions=22939097
237.30	     nbUselessRevisions=17201028  nbAssignments=290284  nbFailedAssignments=92584  nbBacktracks=149611
237.30	     nbVisitedNodes=520039  nbRestartNogoods=167
237.30	       =>  wckTime=231.281  cpuTime=229.0  mem=602M943
305.02	   
305.02	   search
305.02	     run=22  nbConstraintChecks=14166208  nbValidityChecks=69008452  nbPropagations=8389936  nbRevisions=26890681
305.02	     nbUselessRevisions=19154745  nbAssignments=417100  nbFailedAssignments=144340  nbBacktracks=224429
305.02	     nbVisitedNodes=750367  nbRestartNogoods=187
305.02	       =>  wckTime=299.004  cpuTime=296.41  mem=602M943
407.94	   
407.94	   search
407.94	     run=23  nbConstraintChecks=17184740  nbValidityChecks=74764543  nbPropagations=11338701  nbRevisions=31843258
407.94	     nbUselessRevisions=21247281  nbAssignments=607453  nbFailedAssignments=222216  nbBacktracks=336656
407.94	     nbVisitedNodes=1096472  nbRestartNogoods=199
407.94	       =>  wckTime=401.921  cpuTime=398.85  mem=602M943
560.30	   
560.30	   search
560.30	     run=24  nbConstraintChecks=21331910  nbValidityChecks=80519624  nbPropagations=15573912  nbRevisions=38222589
560.30	     nbUselessRevisions=23480175  nbAssignments=892850  nbFailedAssignments=339017  nbBacktracks=504997
560.30	     nbVisitedNodes=1615470  nbRestartNogoods=218
560.30	       =>  wckTime=554.284  cpuTime=550.5  mem=602M943
788.16	   
788.16	   search
788.16	     run=25  nbConstraintChecks=27029053  nbValidityChecks=86561253  nbPropagations=21727638  nbRevisions=46677289
788.16	     nbUselessRevisions=25867125  nbAssignments=1319449  nbFailedAssignments=512838  nbBacktracks=757508
788.16	     nbVisitedNodes=2389711  nbRestartNogoods=241
788.16	       =>  wckTime=782.139  cpuTime=777.3  mem=602M943
1131.46	   
1131.46	   search
1131.46	     run=26  nbConstraintChecks=35092793  nbValidityChecks=92735479  nbPropagations=30760215  nbRevisions=58160646
1131.46	     nbUselessRevisions=28404016  nbAssignments=1961334  nbFailedAssignments=775680  nbBacktracks=1136275
1131.46	     nbVisitedNodes=3557280  nbRestartNogoods=263
1131.46	       =>  wckTime=1125.441  cpuTime=1119.0  mem=602M943
1631.60	   
1631.60	   search
1631.60	     run=27  nbConstraintChecks=46789468  nbValidityChecks=99267489  nbPropagations=44094966  nbRevisions=74106360
1631.60	     nbUselessRevisions=31101230  nbAssignments=2922246  nbFailedAssignments=1168159  nbBacktracks=1704426
1631.60	     nbVisitedNodes=5303150  nbRestartNogoods=288
1631.60	       =>  wckTime=1625.582  cpuTime=1616.6  mem=602M943

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

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

/proc/loadavg: 0.46 1.13 1.53 2/80 30424
/proc/meminfo: memFree=1539096/2055920 swapFree=4192812/4192956
[pid=30423] ppid=30421 vsize=18540 CPUtime=0
/proc/30423/stat : 30423 (runsolver) R 30421 30423 30356 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156738506 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 226238197031 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/30423/statm: 4635 279 244 17 0 2626 0

[startup+0.102488 s]
/proc/loadavg: 0.46 1.13 1.53 2/80 30424
/proc/meminfo: memFree=1539096/2055920 swapFree=4192812/4192956
[pid=30423] ppid=30421 vsize=914988 CPUtime=0.09
/proc/30423/stat : 30423 (java) R 30421 30423 30356 0 -1 0 2996 0 1 0 7 2 0 0 17 0 8 0 156738506 936947712 2742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072934386 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30423/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.510522 s]
/proc/loadavg: 0.46 1.13 1.53 2/80 30424
/proc/meminfo: memFree=1539096/2055920 swapFree=4192812/4192956
[pid=30423] ppid=30421 vsize=915328 CPUtime=0.49
/proc/30423/stat : 30423 (java) R 30421 30423 30356 0 -1 0 6760 0 1 0 45 4 0 0 18 0 8 0 156738506 937295872 6499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073588392 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30423/statm: 228832 6499 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.3326 s]
/proc/loadavg: 0.46 1.13 1.53 3/87 30431
/proc/meminfo: memFree=1474912/2055920 swapFree=4192812/4192956
[pid=30423] ppid=30421 vsize=915644 CPUtime=1.3
/proc/30423/stat : 30423 (java) R 30421 30423 30356 0 -1 0 18325 0 1 0 120 10 0 0 22 0 8 0 156738506 937619456 18063 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073539056 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30423/statm: 228911 18063 2160 14 0 215381 0
[pid=30423/tid=30425] ppid=30421 vsize=915644 CPUtime=0.05
/proc/30423/task/30425/stat : 30425 (java) S 30421 30423 30356 0 -1 64 1785 0 0 0 5 0 0 0 17 0 8 0 156738510 937619456 18063 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30426] ppid=30421 vsize=915644 CPUtime=0
/proc/30423/task/30426/stat : 30426 (java) S 30421 30423 30356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156738510 937619456 18063 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30427] ppid=30421 vsize=915644 CPUtime=0
/proc/30423/task/30427/stat : 30427 (java) S 30421 30423 30356 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156738510 937619456 18063 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30428] ppid=30421 vsize=915644 CPUtime=0
/proc/30423/task/30428/stat : 30428 (java) S 30421 30423 30356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156738513 937619456 18063 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30429] ppid=30421 vsize=915644 CPUtime=0.16
/proc/30423/task/30429/stat : 30429 (java) S 30421 30423 30356 0 -1 64 406 0 0 0 16 0 0 0 16 0 8 0 156738513 937619456 18063 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30430] ppid=30421 vsize=915644 CPUtime=0
/proc/30423/task/30430/stat : 30430 (java) S 30421 30423 30356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156738513 937619456 18063 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30431] ppid=30421 vsize=915644 CPUtime=0
/proc/30423/task/30431/stat : 30431 (java) S 30421 30423 30356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156738513 937619456 18063 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915644

[startup+2.98474 s]
/proc/loadavg: 0.46 1.13 1.53 4/87 30431
/proc/meminfo: memFree=1461024/2055920 swapFree=4192812/4192956
[pid=30423] ppid=30421 vsize=915648 CPUtime=2.95
/proc/30423/stat : 30423 (java) R 30421 30423 30356 0 -1 0 23509 0 1 0 247 48 0 0 25 0 8 0 156738506 937623552 23244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30423/statm: 228912 23244 2180 14 0 215382 0
[pid=30423/tid=30425] ppid=30421 vsize=915648 CPUtime=0.3
/proc/30423/task/30425/stat : 30425 (java) S 30421 30423 30356 0 -1 64 6882 0 0 0 28 2 0 0 17 0 8 0 156738510 937623552 23244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30426] ppid=30421 vsize=915648 CPUtime=0
/proc/30423/task/30426/stat : 30426 (java) S 30421 30423 30356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156738510 937623552 23244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30427] ppid=30421 vsize=915648 CPUtime=0
/proc/30423/task/30427/stat : 30427 (java) S 30421 30423 30356 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156738510 937623552 23244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30428] ppid=30421 vsize=915648 CPUtime=0
/proc/30423/task/30428/stat : 30428 (java) S 30421 30423 30356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156738513 937623552 23244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30429] ppid=30421 vsize=915648 CPUtime=0.21
/proc/30423/task/30429/stat : 30429 (java) S 30421 30423 30356 0 -1 64 430 0 0 0 20 1 0 0 16 0 8 0 156738513 937623552 23244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30430] ppid=30421 vsize=915648 CPUtime=0
/proc/30423/task/30430/stat : 30430 (java) S 30421 30423 30356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156738513 937623552 23244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30431] ppid=30421 vsize=915648 CPUtime=0
/proc/30423/task/30431/stat : 30431 (java) S 30421 30423 30356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156738513 937623552 23244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915648

[startup+6.28002 s]
/proc/loadavg: 0.58 1.15 1.53 3/87 30431
/proc/meminfo: memFree=1430112/2055920 swapFree=4192812/4192956
[pid=30423] ppid=30421 vsize=915904 CPUtime=6.23
/proc/30423/stat : 30423 (java) R 30421 30423 30356 0 -1 0 30210 0 1 0 477 146 0 0 25 0 8 0 156738506 937885696 29869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073824295 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30423/statm: 228976 29869 2533 14 0 215446 0
[pid=30423/tid=30425] ppid=30421 vsize=915904 CPUtime=0.81
/proc/30423/task/30425/stat : 30425 (java) S 30421 30423 30356 0 -1 64 13064 0 0 0 77 4 0 0 16 0 8 0 156738510 937885696 29869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30426] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30426/stat : 30426 (java) S 30421 30423 30356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156738510 937885696 29869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30427] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30427/stat : 30427 (java) S 30421 30423 30356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156738510 937885696 29869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30428] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30428/stat : 30428 (java) S 30421 30423 30356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156738513 937885696 29869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30429] ppid=30421 vsize=915904 CPUtime=0.33
/proc/30423/task/30429/stat : 30429 (java) S 30421 30423 30356 0 -1 64 517 0 0 0 32 1 0 0 16 0 8 0 156738513 937885696 29869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30430] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30430/stat : 30430 (java) S 30421 30423 30356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156738513 937885696 29869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30431] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30431/stat : 30431 (java) S 30421 30423 30356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156738513 937885696 29869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915904

[startup+12.7716 s]
/proc/loadavg: 0.69 1.16 1.53 3/87 30431
/proc/meminfo: memFree=1402656/2055920 swapFree=4192812/4192956
[pid=30423] ppid=30421 vsize=915904 CPUtime=12.68
/proc/30423/stat : 30423 (java) R 30421 30423 30356 0 -1 0 33106 0 1 0 1120 148 0 0 25 0 8 0 156738506 937885696 32757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074231706 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30423/statm: 228976 32757 2538 14 0 215446 0
[pid=30423/tid=30425] ppid=30421 vsize=915904 CPUtime=0.87
/proc/30423/task/30425/stat : 30425 (java) S 30421 30423 30356 0 -1 64 15916 0 0 0 82 5 0 0 16 0 8 0 156738510 937885696 32757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30426] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30426/stat : 30426 (java) S 30421 30423 30356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156738510 937885696 32757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30427] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30427/stat : 30427 (java) S 30421 30423 30356 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156738510 937885696 32757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30428] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30428/stat : 30428 (java) S 30421 30423 30356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156738513 937885696 32757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30429] ppid=30421 vsize=915904 CPUtime=0.38
/proc/30423/task/30429/stat : 30429 (java) S 30421 30423 30356 0 -1 64 545 0 0 0 37 1 0 0 15 0 8 0 156738513 937885696 32757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30430] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30430/stat : 30430 (java) S 30421 30423 30356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156738513 937885696 32757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30431] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30431/stat : 30431 (java) S 30421 30423 30356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156738513 937885696 32757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915904

[startup+25.6197 s]
/proc/loadavg: 0.98 1.20 1.54 3/87 30431
/proc/meminfo: memFree=1337568/2055920 swapFree=4192812/4192956
[pid=30423] ppid=30421 vsize=915904 CPUtime=25.47
/proc/30423/stat : 30423 (java) R 30421 30423 30356 0 -1 0 46500 0 1 0 2393 154 0 0 25 0 8 0 156738506 937885696 46145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074212956 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30423/statm: 228976 46145 2538 14 0 215446 0
[pid=30423/tid=30425] ppid=30421 vsize=915904 CPUtime=0.98
/proc/30423/task/30425/stat : 30425 (java) S 30421 30423 30356 0 -1 64 29298 0 0 0 87 11 0 0 16 0 8 0 156738510 937885696 46145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30426] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30426/stat : 30426 (java) S 30421 30423 30356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156738510 937885696 46145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30427] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30427/stat : 30427 (java) S 30421 30423 30356 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156738510 937885696 46145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30428] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30428/stat : 30428 (java) S 30421 30423 30356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156738513 937885696 46145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30429] ppid=30421 vsize=915904 CPUtime=0.41
/proc/30423/task/30429/stat : 30429 (java) S 30421 30423 30356 0 -1 64 551 0 0 0 39 2 0 0 17 0 8 0 156738513 937885696 46145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30430] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30430/stat : 30430 (java) S 30421 30423 30356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156738513 937885696 46145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30431] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30431/stat : 30431 (java) S 30421 30423 30356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156738513 937885696 46145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915904

[startup+51.2439 s]
/proc/loadavg: 1.33 1.26 1.55 3/87 30431
/proc/meminfo: memFree=1163424/2055920 swapFree=4192812/4192956
[pid=30423] ppid=30421 vsize=915904 CPUtime=50.97
/proc/30423/stat : 30423 (java) R 30421 30423 30356 0 -1 0 74988 0 1 0 4932 165 0 0 25 0 8 0 156738506 937885696 74628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074221815 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30423/statm: 228976 74628 2538 14 0 215446 0
[pid=30423/tid=30425] ppid=30421 vsize=915904 CPUtime=1.2
/proc/30423/task/30425/stat : 30425 (java) S 30421 30423 30356 0 -1 64 57781 0 0 0 99 21 0 0 16 0 8 0 156738510 937885696 74628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30426] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30426/stat : 30426 (java) S 30421 30423 30356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156738510 937885696 74628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30427] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30427/stat : 30427 (java) S 30421 30423 30356 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156738510 937885696 74628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30428] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30428/stat : 30428 (java) S 30421 30423 30356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156738513 937885696 74628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30429] ppid=30421 vsize=915904 CPUtime=0.41
/proc/30423/task/30429/stat : 30429 (java) S 30421 30423 30356 0 -1 64 551 0 0 0 39 2 0 0 17 0 8 0 156738513 937885696 74628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30430] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30430/stat : 30430 (java) S 30421 30423 30356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156738513 937885696 74628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30431] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30431/stat : 30431 (java) S 30421 30423 30356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156738513 937885696 74628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915904

[startup+102.489 s]
/proc/loadavg: 1.71 1.38 1.57 3/87 30431
/proc/meminfo: memFree=844832/2055920 swapFree=4192812/4192956
[pid=30423] ppid=30421 vsize=915904 CPUtime=101.98
/proc/30423/stat : 30423 (java) R 30421 30423 30356 0 -1 0 127261 0 1 0 10010 188 0 0 25 0 8 0 156738506 937885696 126891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30423/statm: 228976 126891 2538 14 0 215446 0
[pid=30423/tid=30425] ppid=30421 vsize=915904 CPUtime=1.66
/proc/30423/task/30425/stat : 30425 (java) S 30421 30423 30356 0 -1 64 110044 0 0 0 122 44 0 0 16 0 8 0 156738510 937885696 126891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30426] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30426/stat : 30426 (java) S 30421 30423 30356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156738510 937885696 126891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30427] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30427/stat : 30427 (java) S 30421 30423 30356 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156738510 937885696 126891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30428] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30428/stat : 30428 (java) S 30421 30423 30356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156738513 937885696 126891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30429] ppid=30421 vsize=915904 CPUtime=0.41
/proc/30423/task/30429/stat : 30429 (java) S 30421 30423 30356 0 -1 64 551 0 0 0 39 2 0 0 17 0 8 0 156738513 937885696 126891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30430] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30430/stat : 30430 (java) S 30421 30423 30356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156738513 937885696 126891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30431] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30431/stat : 30431 (java) S 30421 30423 30356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156738513 937885696 126891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.98
Current children cumulated vsize (KiB) 915904

[startup+162.564 s]
/proc/loadavg: 1.96 1.50 1.60 3/87 30431
/proc/meminfo: memFree=594528/2055920 swapFree=4192812/4192956
[pid=30423] ppid=30421 vsize=915904 CPUtime=161.77
/proc/30423/stat : 30423 (java) R 30421 30423 30356 0 -1 0 156340 0 1 0 15978 199 0 0 25 0 8 0 156738506 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074206459 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1417.33
Current children cumulated vsize (KiB) 915904

[startup+1484.09 s]
/proc/loadavg: 2.07 2.00 1.88 3/93 30539
/proc/meminfo: memFree=415136/2055920 swapFree=4192812/4192956
[pid=30423] ppid=30421 vsize=915904 CPUtime=1477.01
/proc/30423/stat : 30423 (java) R 30421 30423 30356 0 -1 0 156340 0 1 0 147499 202 0 0 25 0 8 0 156738506 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074206506 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30423/statm: 228976 155964 2538 14 0 215446 0
[pid=30423/tid=30425] ppid=30421 vsize=915904 CPUtime=1.9
/proc/30423/task/30425/stat : 30425 (java) S 30421 30423 30356 0 -1 64 139117 0 0 0 135 55 0 0 16 0 8 0 156738510 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30426] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30426/stat : 30426 (java) S 30421 30423 30356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156738510 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30427] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30427/stat : 30427 (java) S 30421 30423 30356 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156738510 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30428] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30428/stat : 30428 (java) S 30421 30423 30356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156738513 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30429] ppid=30421 vsize=915904 CPUtime=0.41
/proc/30423/task/30429/stat : 30429 (java) S 30421 30423 30356 0 -1 64 551 0 0 0 39 2 0 0 17 0 8 0 156738513 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30430] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30430/stat : 30430 (java) S 30421 30423 30356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156738513 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30431] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30431/stat : 30431 (java) S 30421 30423 30356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156738513 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1477.01
Current children cumulated vsize (KiB) 915904

[startup+1544.18 s]
/proc/loadavg: 2.02 2.00 1.89 3/93 30605
/proc/meminfo: memFree=415208/2055920 swapFree=4192812/4192956
[pid=30423] ppid=30421 vsize=915904 CPUtime=1536.77
/proc/30423/stat : 30423 (java) R 30421 30423 30356 0 -1 0 156340 0 1 0 153475 202 0 0 25 0 8 0 156738506 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074210036 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30423/statm: 228976 155964 2538 14 0 215446 0
[pid=30423/tid=30425] ppid=30421 vsize=915904 CPUtime=1.9
/proc/30423/task/30425/stat : 30425 (java) S 30421 30423 30356 0 -1 64 139117 0 0 0 135 55 0 0 16 0 8 0 156738510 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30426] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30426/stat : 30426 (java) S 30421 30423 30356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156738510 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30427] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30427/stat : 30427 (java) S 30421 30423 30356 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156738510 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30428] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30428/stat : 30428 (java) S 30421 30423 30356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156738513 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30429] ppid=30421 vsize=915904 CPUtime=0.41
/proc/30423/task/30429/stat : 30429 (java) S 30421 30423 30356 0 -1 64 551 0 0 0 39 2 0 0 17 0 8 0 156738513 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30430] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30430/stat : 30430 (java) S 30421 30423 30356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156738513 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30431] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30431/stat : 30431 (java) S 30421 30423 30356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156738513 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.77
Current children cumulated vsize (KiB) 915904

[startup+1604.26 s]
/proc/loadavg: 2.01 2.00 1.89 3/87 30629
/proc/meminfo: memFree=416096/2055920 swapFree=4192812/4192956
[pid=30423] ppid=30421 vsize=915904 CPUtime=1596.54
/proc/30423/stat : 30423 (java) R 30421 30423 30356 0 -1 0 156340 0 1 0 159451 203 0 0 25 0 8 0 156738506 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074206462 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30423/statm: 228976 155964 2538 14 0 215446 0
[pid=30423/tid=30425] ppid=30421 vsize=915904 CPUtime=1.9
/proc/30423/task/30425/stat : 30425 (java) S 30421 30423 30356 0 -1 64 139117 0 0 0 135 55 0 0 16 0 8 0 156738510 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30426] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30426/stat : 30426 (java) S 30421 30423 30356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156738510 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30427] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30427/stat : 30427 (java) S 30421 30423 30356 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156738510 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30428] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30428/stat : 30428 (java) S 30421 30423 30356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156738513 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30429] ppid=30421 vsize=915904 CPUtime=0.41
/proc/30423/task/30429/stat : 30429 (java) S 30421 30423 30356 0 -1 64 551 0 0 0 39 2 0 0 17 0 8 0 156738513 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30430] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30430/stat : 30430 (java) S 30421 30423 30356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156738513 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30431] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30431/stat : 30431 (java) S 30421 30423 30356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156738513 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.54
Current children cumulated vsize (KiB) 915904

[startup+1664.33 s]
/proc/loadavg: 2.00 2.00 1.90 3/87 30629
/proc/meminfo: memFree=416096/2055920 swapFree=4192812/4192956
[pid=30423] ppid=30421 vsize=915904 CPUtime=1656.33
/proc/30423/stat : 30423 (java) R 30421 30423 30356 0 -1 0 156340 0 1 0 165430 203 0 0 25 0 8 0 156738506 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074180664 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30423/statm: 228976 155964 2538 14 0 215446 0
[pid=30423/tid=30425] ppid=30421 vsize=915904 CPUtime=1.9
/proc/30423/task/30425/stat : 30425 (java) S 30421 30423 30356 0 -1 64 139117 0 0 0 135 55 0 0 16 0 8 0 156738510 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30426] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30426/stat : 30426 (java) S 30421 30423 30356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156738510 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30427] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30427/stat : 30427 (java) S 30421 30423 30356 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156738510 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30428] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30428/stat : 30428 (java) S 30421 30423 30356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156738513 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30429] ppid=30421 vsize=915904 CPUtime=0.41
/proc/30423/task/30429/stat : 30429 (java) S 30421 30423 30356 0 -1 64 551 0 0 0 39 2 0 0 17 0 8 0 156738513 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30430] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30430/stat : 30430 (java) S 30421 30423 30356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156738513 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30431] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30431/stat : 30431 (java) S 30421 30423 30356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156738513 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1656.33
Current children cumulated vsize (KiB) 915904

[startup+1724.4 s]
/proc/loadavg: 2.00 2.00 1.91 3/87 30629
/proc/meminfo: memFree=416096/2055920 swapFree=4192812/4192956
[pid=30423] ppid=30421 vsize=915904 CPUtime=1716.12
/proc/30423/stat : 30423 (java) R 30421 30423 30356 0 -1 0 156340 0 1 0 171409 203 0 0 25 0 8 0 156738506 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074210036 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30423/statm: 228976 155964 2538 14 0 215446 0
[pid=30423/tid=30425] ppid=30421 vsize=915904 CPUtime=1.9
/proc/30423/task/30425/stat : 30425 (java) S 30421 30423 30356 0 -1 64 139117 0 0 0 135 55 0 0 16 0 8 0 156738510 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30426] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30426/stat : 30426 (java) S 30421 30423 30356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156738510 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30427] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30427/stat : 30427 (java) S 30421 30423 30356 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156738510 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30428] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30428/stat : 30428 (java) S 30421 30423 30356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156738513 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30429] ppid=30421 vsize=915904 CPUtime=0.41
/proc/30423/task/30429/stat : 30429 (java) S 30421 30423 30356 0 -1 64 551 0 0 0 39 2 0 0 17 0 8 0 156738513 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30430] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30430/stat : 30430 (java) S 30421 30423 30356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156738513 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30431] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30431/stat : 30431 (java) S 30421 30423 30356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156738513 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1716.12
Current children cumulated vsize (KiB) 915904

[startup+1784.47 s]
/proc/loadavg: 2.00 2.00 1.91 2/75 30639
/proc/meminfo: memFree=1024384/2055920 swapFree=4192812/4192956
[pid=30423] ppid=30421 vsize=915904 CPUtime=1775.91
/proc/30423/stat : 30423 (java) R 30421 30423 30356 0 -1 0 156340 0 1 0 177388 203 0 0 25 0 8 0 156738506 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074204532 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30423/statm: 228976 155964 2538 14 0 215446 0
[pid=30423/tid=30425] ppid=30421 vsize=915904 CPUtime=1.9
/proc/30423/task/30425/stat : 30425 (java) S 30421 30423 30356 0 -1 64 139117 0 0 0 135 55 0 0 16 0 8 0 156738510 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30426] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30426/stat : 30426 (java) S 30421 30423 30356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156738510 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30427] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30427/stat : 30427 (java) S 30421 30423 30356 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156738510 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30428] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30428/stat : 30428 (java) S 30421 30423 30356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156738513 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30429] ppid=30421 vsize=915904 CPUtime=0.41
/proc/30423/task/30429/stat : 30429 (java) S 30421 30423 30356 0 -1 64 551 0 0 0 39 2 0 0 17 0 8 0 156738513 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30430] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30430/stat : 30430 (java) S 30421 30423 30356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156738513 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30431] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30431/stat : 30431 (java) S 30421 30423 30356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156738513 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.91
Current children cumulated vsize (KiB) 915904



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.61 s]
/proc/loadavg: 1.73 1.93 1.89 2/75 30640
/proc/meminfo: memFree=1025608/2055920 swapFree=4192812/4192956
[pid=30423] ppid=30421 vsize=915904 CPUtime=1800.06
/proc/30423/stat : 30423 (java) R 30421 30423 30356 0 -1 0 156340 0 1 0 179802 204 0 0 25 0 8 0 156738506 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30423/statm: 228976 155964 2538 14 0 215446 0
[pid=30423/tid=30425] ppid=30421 vsize=915904 CPUtime=1.9
/proc/30423/task/30425/stat : 30425 (java) S 30421 30423 30356 0 -1 64 139117 0 0 0 135 55 0 0 16 0 8 0 156738510 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30426] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30426/stat : 30426 (java) S 30421 30423 30356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156738510 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30427] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30427/stat : 30427 (java) S 30421 30423 30356 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156738510 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30428] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30428/stat : 30428 (java) S 30421 30423 30356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156738513 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30429] ppid=30421 vsize=915904 CPUtime=0.41
/proc/30423/task/30429/stat : 30429 (java) S 30421 30423 30356 0 -1 64 551 0 0 0 39 2 0 0 17 0 8 0 156738513 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30430] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30430/stat : 30430 (java) S 30421 30423 30356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156738513 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30423/tid=30431] ppid=30421 vsize=915904 CPUtime=0
/proc/30423/task/30431/stat : 30431 (java) S 30421 30423 30356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156738513 937885696 155964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915904

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

Child status: 143
Real time (s): 1808.77
CPU time (s): 1800.21
CPU user time (s): 1798.08
CPU system time (s): 2.13768
CPU usage (%): 99.527
Max. virtual memory (cumulated for all children) (KiB): 916004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.08
system time used= 2.13767
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156355
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= 38320
involuntary context switches= 60432

runsolver used 2.24566 s user time and 5.75212 s system time

The end

Launcher Data (download as text)

Begin job on node58 on Sat Jan  6 11:36:42 UTC 2007


IDJOB= 238141
IDBENCH= 6985
FILE ID= node58/238141-1168083395

PBS_JOBID= 3476280

Free space on /tmp= 66529 MiB

BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_46.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238141-1168083395/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node58/watcher-238141-1168083395 -o ROOT/results/node58/solver-238141-1168083395 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238141-1168083395/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  840da8577188072b75febcbf7915e78d

RANDOM SEED= 151554613

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1564920 kB
Buffers:         23896 kB
Cached:         305428 kB
SwapCached:          0 kB
Active:         161612 kB
Inactive:       263088 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1564920 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            9180 kB
Writeback:           0 kB
Mapped:         115604 kB
Slab:            51616 kB
Committed_AS:  3067944 kB
PageTables:       1916 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= 66530 MiB



End job on node58 on Sat Jan  6 12:06:58 UTC 2007