Trace number 213690

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.14 1802.1

General information on the benchmark

NamepseudoSeries/
course/ss97-6.xml
MD5SUM9daeb71d5dd8c00ec2aec9295c74c605
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.08
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables257
Number of constraints180
Maximum constraint arity44
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension180
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/213690-1168077481/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.41	     nbVariables=257  nbDomainTypes=2  minDomainSize=1  maxDomainSize=2
0.41	       =>  wckTime=0.117  cpuTime=0.09  mem=6M951
0.41	   
0.41	   predicates being loaded...
0.43	   
0.43	   constraints being loaded...
0.58	     nbConstraints=90  nbMergedConstraints=90  nbSingletonDomainVariables=1  nbDisconnectedVariables=1
0.58	     nbConvertedConstraints=40  nbConvertConstraintsChecks=20  nbExtensionStructures=1  nbSharedExtensionStructures=39
0.58	     nbConflictsStructures=2  nbSharedConflictsStructures=82  nbUnbuiltConflictsStructures=2
0.58	     nbSharedBinaryRepresentations=2  nbEvaluationManagers=3  nbSharedEvaluationManagers=47  maxDegree=2  maxArity=44
0.58	       =>  wckTime=0.288  cpuTime=0.21  mem=17M679
0.62	   
0.62	   solver IterativeSystematicSolver being built... 
0.78	       =>  wckTime=0.49  cpuTime=0.34  mem=15M482
0.79	   
0.79	   preprocessing
0.79	     nbConstraintChecks=0  nbPropagations=257  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.79	     detectedInconsistency=no
0.79	       =>  wckTime=0.0040  cpuTime=0.0  mem=15M482
0.96	   
0.96	   search
0.96	     run=0  nbConstraintChecks=12739  nbValidityChecks=1539  nbPropagations=504  nbRevisions=953  nbUselessRevisions=859
0.96	     nbAssignments=153  nbFailedAssignments=1  nbBacktracks=29  nbVisitedNodes=155  nbRestartNogoods=0  mapSize=1
0.96	     nbInferences=0  nbTooLargeKeys=0
0.96	       =>  wckTime=0.174  cpuTime=0.14  mem=16M473
1.08	   
1.08	   search
1.08	     run=1  nbConstraintChecks=25474  nbValidityChecks=3183  nbPropagations=1255  nbRevisions=2859
1.08	     nbUselessRevisions=2577  nbAssignments=306  nbFailedAssignments=2  nbBacktracks=58  nbVisitedNodes=309
1.08	     nbRestartNogoods=1  mapSize=2  nbInferences=0  nbTooLargeKeys=0
1.08	       =>  wckTime=0.3  cpuTime=0.25  mem=16M473
1.21	   
1.21	   search
1.21	     run=2  nbConstraintChecks=38181  nbValidityChecks=4891  nbPropagations=2253  nbRevisions=5718
1.21	     nbUselessRevisions=5154  nbAssignments=459  nbFailedAssignments=3  nbBacktracks=87  nbVisitedNodes=463
1.21	     nbRestartNogoods=2  mapSize=3  nbInferences=0  nbTooLargeKeys=0
1.21	       =>  wckTime=0.422  cpuTime=0.37  mem=16M473
1.34	   
1.34	   search
1.34	     run=3  nbConstraintChecks=52441  nbValidityChecks=6647  nbPropagations=3522  nbRevisions=9543
1.34	     nbUselessRevisions=8601  nbAssignments=634  nbFailedAssignments=5  nbBacktracks=138  nbVisitedNodes=640
1.34	     nbRestartNogoods=3  mapSize=6  nbInferences=0  nbTooLargeKeys=0
1.34	       =>  wckTime=0.558  cpuTime=0.5  mem=16M473
3.22	   
3.22	   search
3.22	     run=4  nbConstraintChecks=326063  nbValidityChecks=15703  nbPropagations=5820  nbRevisions=18351
3.22	     nbUselessRevisions=15790  nbAssignments=877  nbFailedAssignments=55  nbBacktracks=189  nbVisitedNodes=938
3.22	     nbRestartNogoods=4  mapSize=56  nbInferences=0  nbTooLargeKeys=0
3.22	       =>  wckTime=2.44  cpuTime=2.37  mem=16M473
3.38	   
3.38	   search
3.38	     run=5  nbConstraintChecks=342621  nbValidityChecks=17546  nbPropagations=8438  nbRevisions=28167
3.38	     nbUselessRevisions=23888  nbAssignments=1097  nbFailedAssignments=59  nbBacktracks=285  nbVisitedNodes=1162
3.38	     nbRestartNogoods=9  mapSize=63  nbInferences=0  nbTooLargeKeys=0
3.39	       =>  wckTime=2.601  cpuTime=2.53  mem=16M473
3.50	   
3.50	   search
3.50	     run=6  nbConstraintChecks=354380  nbValidityChecks=19428  nbPropagations=11401  nbRevisions=39011
3.50	     nbUselessRevisions=32912  nbAssignments=1340  nbFailedAssignments=64  nbBacktracks=404  nbVisitedNodes=1410
3.50	     nbRestartNogoods=10  mapSize=72  nbInferences=0  nbTooLargeKeys=0
3.50	       =>  wckTime=2.716  cpuTime=2.63  mem=16M473
6.27	   
6.27	   search
6.27	     run=7  nbConstraintChecks=772152  nbValidityChecks=41903  nbPropagations=16887  nbRevisions=62543
6.27	     nbUselessRevisions=51346  nbAssignments=1794  nbFailedAssignments=208  nbBacktracks=577  nbVisitedNodes=2033
6.27	     nbRestartNogoods=11  mapSize=239  nbInferences=0  nbTooLargeKeys=0
6.27	       =>  wckTime=5.491  cpuTime=5.38  mem=16M473
6.43	   
6.43	   search
6.43	     run=8  nbConstraintChecks=788494  nbValidityChecks=44100  nbPropagations=22952  nbRevisions=87320
6.43	     nbUselessRevisions=70850  nbAssignments=2198  nbFailedAssignments=218  nbBacktracks=852  nbVisitedNodes=2447
6.43	     nbRestartNogoods=13  mapSize=258  nbInferences=0  nbTooLargeKeys=0
6.43	       =>  wckTime=5.645  cpuTime=5.54  mem=17M448
10.08	   
10.08	   search
10.08	     run=9  nbConstraintChecks=1332832  nbValidityChecks=91785  nbPropagations=34340  nbRevisions=139515
10.08	     nbUselessRevisions=110713  nbAssignments=3052  nbFailedAssignments=541  nbBacktracks=1238  nbVisitedNodes=3690
10.08	     nbRestartNogoods=14  mapSize=638  nbInferences=0  nbTooLargeKeys=0
10.08	       =>  wckTime=9.294  cpuTime=9.16  mem=17M448
13.79	   
13.79	   INFO : Stopping hyperNogood (mapSize=1026, nbTooLargekeys=0, mem=17M448)
15.13	   
15.13	   search
15.13	     run=10  nbConstraintChecks=2092843  nbValidityChecks=159567  nbPropagations=53279  nbRevisions=230733
15.13	     nbUselessRevisions=179524  nbAssignments=4231  nbFailedAssignments=998  nbBacktracks=1820  nbVisitedNodes=5432
15.13	     nbRestartNogoods=23
15.13	       =>  wckTime=14.341  cpuTime=14.21  mem=17M448
18.67	   
18.67	   search
18.67	     run=11  nbConstraintChecks=2617476  nbValidityChecks=224456  nbPropagations=79831  nbRevisions=356397
18.67	     nbUselessRevisions=273092  nbAssignments=5684  nbFailedAssignments=1442  nbBacktracks=2688  nbVisitedNodes=7439
18.67	     nbRestartNogoods=28
18.67	       =>  wckTime=17.889  cpuTime=17.75  mem=17M448
25.13	   
25.13	   search
25.13	     run=12  nbConstraintChecks=3583567  nbValidityChecks=340527  nbPropagations=119556  nbRevisions=546947
25.13	     nbUselessRevisions=414299  nbAssignments=7918  nbFailedAssignments=2235  nbBacktracks=3988  nbVisitedNodes=10666
25.13	     nbRestartNogoods=32
25.13	       =>  wckTime=24.348  cpuTime=24.2  mem=17M448
31.68	   
31.68	   search
31.68	     run=13  nbConstraintChecks=4553272  nbValidityChecks=458115  nbPropagations=173260  nbRevisions=797585
31.68	     nbUselessRevisions=598128  nbAssignments=10818  nbFailedAssignments=3039  nbBacktracks=5936  nbVisitedNodes=14572
31.68	     nbRestartNogoods=38
31.68	       =>  wckTime=30.893  cpuTime=30.74  mem=17M448
39.05	   
39.05	   search
39.05	     run=14  nbConstraintChecks=5641040  nbValidityChecks=624201  nbPropagations=246954  nbRevisions=1132803
39.05	     nbUselessRevisions=841760  nbAssignments=15037  nbFailedAssignments=4184  nbBacktracks=8858  nbVisitedNodes=20261
39.05	     nbRestartNogoods=46
39.05	       =>  wckTime=38.269  cpuTime=38.09  mem=17M448
48.77	   
48.77	   search
48.77	     run=15  nbConstraintChecks=7082614  nbValidityChecks=866313  nbPropagations=350003  nbRevisions=1591339
48.77	     nbUselessRevisions=1172347  nbAssignments=21224  nbFailedAssignments=5845  nbBacktracks=13242  nbVisitedNodes=28643
48.77	     nbRestartNogoods=55
48.77	       =>  wckTime=47.99  cpuTime=47.8  mem=17M448
61.09	   
61.09	   search
61.09	     run=16  nbConstraintChecks=8881535  nbValidityChecks=1223515  nbPropagations=496617  nbRevisions=2231839
61.09	     nbUselessRevisions=1631018  nbAssignments=30412  nbFailedAssignments=8305  nbBacktracks=19816  nbVisitedNodes=41127
61.09	     nbRestartNogoods=58
61.09	       =>  wckTime=60.307  cpuTime=60.11  mem=17M448
76.12	   
76.12	   search
76.12	     run=17  nbConstraintChecks=11030562  nbValidityChecks=1746129  nbPropagations=707509  nbRevisions=3138649
76.12	     nbUselessRevisions=2276757  nbAssignments=44026  nbFailedAssignments=11911  nbBacktracks=29670
76.12	     nbVisitedNodes=59677  nbRestartNogoods=67
76.12	       =>  wckTime=75.338  cpuTime=75.13  mem=17M448
96.06	   
96.06	   search
96.06	     run=18  nbConstraintChecks=13875211  nbValidityChecks=2516397  nbPropagations=1013750  nbRevisions=4438061
96.06	     nbUselessRevisions=3197689  nbAssignments=64250  nbFailedAssignments=17197  nbBacktracks=44452
96.06	     nbVisitedNodes=87302  nbRestartNogoods=76
96.06	       =>  wckTime=95.271  cpuTime=95.04  mem=17M448
115.20	   
115.20	   search
115.20	     run=19  nbConstraintChecks=16468844  nbValidityChecks=3627840  nbPropagations=1459624  nbRevisions=6304358
115.20	     nbUselessRevisions=4514565  nbAssignments=94156  nbFailedAssignments=24777  nbBacktracks=66622
115.20	     nbVisitedNodes=128301  nbRestartNogoods=86
115.20	       =>  wckTime=114.414  cpuTime=114.17  mem=17M448
141.14	   
141.14	   search
141.14	     run=20  nbConstraintChecks=19924294  nbValidityChecks=5260651  nbPropagations=2112274  nbRevisions=9003798
141.14	     nbUselessRevisions=6411483  nbAssignments=138478  nbFailedAssignments=35693  nbBacktracks=99874
141.14	     nbVisitedNodes=189251  nbRestartNogoods=97
141.14	       =>  wckTime=140.36  cpuTime=140.08  mem=17M448
178.07	   
178.07	   search
178.07	     run=21  nbConstraintChecks=24753240  nbValidityChecks=7694914  nbPropagations=3073926  nbRevisions=12945414
178.07	     nbUselessRevisions=9172596  nbAssignments=204773  nbFailedAssignments=51950  nbBacktracks=149754
178.07	     nbVisitedNodes=280488  nbRestartNogoods=108
178.07	       =>  wckTime=177.285  cpuTime=176.94  mem=17M448
226.44	   
226.44	   search
226.44	     run=22  nbConstraintChecks=30964928  nbValidityChecks=11291292  nbPropagations=4494890  nbRevisions=18722735
226.44	     nbUselessRevisions=13207763  nbAssignments=303423  nbFailedAssignments=75622  nbBacktracks=224580
226.44	     nbVisitedNodes=416549  nbRestartNogoods=119
226.44	       =>  wckTime=225.66  cpuTime=225.23  mem=17M448
297.19	   
297.19	   search
297.19	     run=23  nbConstraintChecks=40021410  nbValidityChecks=16650939  nbPropagations=6602204  nbRevisions=27236092
297.19	     nbUselessRevisions=19139030  nbAssignments=450696  nbFailedAssignments=110515  nbBacktracks=336808
297.19	     nbVisitedNodes=619933  nbRestartNogoods=127
297.19	       =>  wckTime=296.407  cpuTime=295.91  mem=17M448
394.02	   
394.02	   search
394.02	     run=24  nbConstraintChecks=52164288  nbValidityChecks=24595216  nbPropagations=9731967  nbRevisions=39805932
394.02	     nbUselessRevisions=27875201  nbAssignments=670123  nbFailedAssignments=161440  nbBacktracks=505154
394.02	     nbVisitedNodes=923532  nbRestartNogoods=135
394.02	       =>  wckTime=393.24  cpuTime=392.62  mem=17M448
534.49	   
534.49	   search
534.49	     run=25  nbConstraintChecks=69550067  nbValidityChecks=36408269  nbPropagations=14387796  nbRevisions=58408645
534.49	     nbUselessRevisions=40773966  nbAssignments=997204  nbFailedAssignments=235855  nbBacktracks=757666
534.49	     nbVisitedNodes=1376867  nbRestartNogoods=145
534.49	       =>  wckTime=533.702  cpuTime=532.94  mem=17M448
758.93	   
758.99	   search
758.99	     run=26  nbConstraintChecks=97965272  nbValidityChecks=54251623  nbPropagations=21341994  nbRevisions=86122498
758.99	     nbUselessRevisions=59966791  nbAssignments=1489519  nbFailedAssignments=349242  nbBacktracks=1136438
758.99	     nbVisitedNodes=2058578  nbRestartNogoods=154
758.99	       =>  wckTime=758.146  cpuTime=757.16  mem=17M448
1039.08	   
1039.08	   search
1039.08	     run=27  nbConstraintChecks=131631794  nbValidityChecks=80265084  nbPropagations=31688560  nbRevisions=127127244
1039.08	     nbUselessRevisions=88279448  nbAssignments=2214010  nbFailedAssignments=505423  nbBacktracks=1704598
1039.08	     nbVisitedNodes=3067149  nbRestartNogoods=164
1039.08	       =>  wckTime=1038.293  cpuTime=1037.02  mem=17M448
1445.49	   
1445.49	   search
1445.49	     run=28  nbConstraintChecks=180373606  nbValidityChecks=118964868  nbPropagations=47100786  nbRevisions=187908083
1445.49	     nbUselessRevisions=130125099  nbAssignments=3292648  nbFailedAssignments=731675  nbBacktracks=2556826
1445.49	     nbVisitedNodes=4571902  nbRestartNogoods=173
1445.49	       =>  wckTime=1444.709  cpuTime=1443.03  mem=17M448

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/node24/watcher-213690-1168077481 -o ROOT/results/node24/solver-213690-1168077481 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213690-1168077481/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.62 1.46 1.77 5/86 16852
/proc/meminfo: memFree=1797864/2055920 swapFree=4192812/4192956
[pid=16851] ppid=16846 vsize=168 CPUtime=0
/proc/16851/stat : 16851 (java) R 16846 16851 16630 0 -1 0 39 0 0 0 0 0 0 0 18 0 1 0 156144033 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 2605860 0 0 4096 0 0 0 0 17 0 0 0
/proc/16851/statm: 42 23 18 14 0 2 0

[startup+0.107228 s]
/proc/loadavg: 0.62 1.46 1.77 5/86 16852
/proc/meminfo: memFree=1797864/2055920 swapFree=4192812/4192956
[pid=16851] ppid=16846 vsize=914988 CPUtime=0.08
/proc/16851/stat : 16851 (java) R 16846 16851 16630 0 -1 0 3069 0 1 0 7 1 0 0 22 0 8 0 156144033 936947712 2816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16851/statm: 228747 2816 1452 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515274 s]
/proc/loadavg: 0.62 1.46 1.77 5/86 16852
/proc/meminfo: memFree=1797864/2055920 swapFree=4192812/4192956
[pid=16851] ppid=16846 vsize=915460 CPUtime=0.49
/proc/16851/stat : 16851 (java) R 16846 16851 16630 0 -1 0 7784 0 1 0 46 3 0 0 25 0 8 0 156144033 937431040 7523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16851/statm: 228865 7523 2160 14 0 215335 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915460

[startup+1.33836 s]
/proc/loadavg: 0.62 1.46 1.77 3/100 16866
/proc/meminfo: memFree=1738360/2055920 swapFree=4192812/4192956
[pid=16851] ppid=16846 vsize=915460 CPUtime=1.31
/proc/16851/stat : 16851 (java) R 16846 16851 16630 0 -1 0 9581 0 1 0 126 5 0 0 25 0 8 0 156144033 937431040 9318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795894 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16851/statm: 228865 9318 2533 14 0 215335 0
[pid=16851/tid=16853] ppid=16846 vsize=915460 CPUtime=0.02
/proc/16851/task/16853/stat : 16853 (java) S 16846 16851 16630 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 156144036 937431040 9318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16855] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16855/stat : 16855 (java) S 16846 16851 16630 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156144037 937431040 9318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16856] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16856/stat : 16856 (java) S 16846 16851 16630 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156144037 937431040 9318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16859] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16859/stat : 16859 (java) S 16846 16851 16630 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156144040 937431040 9318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16860] ppid=16846 vsize=915460 CPUtime=0.2
/proc/16851/task/16860/stat : 16860 (java) S 16846 16851 16630 0 -1 64 375 0 0 0 19 1 0 0 15 0 8 0 156144040 937431040 9318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16861] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16861/stat : 16861 (java) S 16846 16851 16630 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156144040 937431040 9318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16862] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16862/stat : 16862 (java) S 16846 16851 16630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156144040 937431040 9318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460

[startup+2.99153 s]
/proc/loadavg: 0.62 1.46 1.77 2/89 16867
/proc/meminfo: memFree=1770896/2055920 swapFree=4192812/4192956
[pid=16851] ppid=16846 vsize=915460 CPUtime=2.96
/proc/16851/stat : 16851 (java) R 16846 16851 16630 0 -1 0 9587 0 1 0 291 5 0 0 16 0 8 0 156144033 937431040 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798816 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16851/statm: 228865 9322 2533 14 0 215335 0
[pid=16851/tid=16853] ppid=16846 vsize=915460 CPUtime=0.02
/proc/16851/task/16853/stat : 16853 (java) S 16846 16851 16630 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 156144036 937431040 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16855] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16855/stat : 16855 (java) S 16846 16851 16630 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156144037 937431040 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16856] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16856/stat : 16856 (java) S 16846 16851 16630 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156144037 937431040 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16859] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16859/stat : 16859 (java) S 16846 16851 16630 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156144040 937431040 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16860] ppid=16846 vsize=915460 CPUtime=0.21
/proc/16851/task/16860/stat : 16860 (java) S 16846 16851 16630 0 -1 64 379 0 0 0 20 1 0 0 15 0 8 0 156144040 937431040 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16861] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16861/stat : 16861 (java) S 16846 16851 16630 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156144040 937431040 9322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16862] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16862/stat : 16862 (java) S 16846 16851 16630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156144040 937431040 9322 18446744073709551615 134512640 134570532 4294956480 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) 915460

[startup+6.27489 s]
/proc/loadavg: 0.65 1.45 1.77 2/88 16877
/proc/meminfo: memFree=1772512/2055920 swapFree=4192812/4192956
[pid=16851] ppid=16846 vsize=915460 CPUtime=6.23
/proc/16851/stat : 16851 (java) R 16846 16851 16630 0 -1 0 9601 0 1 0 617 6 0 0 25 0 8 0 156144033 937431040 9333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801255 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16851/statm: 228865 9333 2533 14 0 215335 0
[pid=16851/tid=16853] ppid=16846 vsize=915460 CPUtime=0.02
/proc/16851/task/16853/stat : 16853 (java) S 16846 16851 16630 0 -1 64 187 0 0 0 2 0 0 0 17 0 8 0 156144036 937431040 9333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16855] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16855/stat : 16855 (java) S 16846 16851 16630 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156144037 937431040 9333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16856] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16856/stat : 16856 (java) S 16846 16851 16630 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156144037 937431040 9333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16859] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16859/stat : 16859 (java) S 16846 16851 16630 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156144040 937431040 9333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16860] ppid=16846 vsize=915460 CPUtime=0.23
/proc/16851/task/16860/stat : 16860 (java) S 16846 16851 16630 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 156144040 937431040 9333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16861] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16861/stat : 16861 (java) S 16846 16851 16630 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156144040 937431040 9333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16862] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16862/stat : 16862 (java) S 16846 16851 16630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156144040 937431040 9333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915460

[startup+12.7636 s]
/proc/loadavg: 0.68 1.45 1.76 2/88 16930
/proc/meminfo: memFree=1770600/2055920 swapFree=4192812/4192956
[pid=16851] ppid=16846 vsize=915460 CPUtime=12.7
/proc/16851/stat : 16851 (java) R 16846 16851 16630 0 -1 0 9609 0 1 0 1264 6 0 0 25 0 8 0 156144033 937431040 9337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801303 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16851/statm: 228865 9337 2533 14 0 215335 0
[pid=16851/tid=16853] ppid=16846 vsize=915460 CPUtime=0.02
/proc/16851/task/16853/stat : 16853 (java) S 16846 16851 16630 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 156144036 937431040 9337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16855] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16855/stat : 16855 (java) S 16846 16851 16630 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156144037 937431040 9337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16856] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16856/stat : 16856 (java) S 16846 16851 16630 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156144037 937431040 9337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16859] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16859/stat : 16859 (java) S 16846 16851 16630 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156144040 937431040 9337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16860] ppid=16846 vsize=915460 CPUtime=0.23
/proc/16851/task/16860/stat : 16860 (java) S 16846 16851 16630 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 156144040 937431040 9337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16861] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16861/stat : 16861 (java) S 16846 16851 16630 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156144040 937431040 9337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16862] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16862/stat : 16862 (java) S 16846 16851 16630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156144040 937431040 9337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915460

[startup+25.608 s]
/proc/loadavg: 0.98 1.47 1.76 3/100 16978
/proc/meminfo: memFree=1696712/2055920 swapFree=4192812/4192956
[pid=16851] ppid=16846 vsize=915460 CPUtime=25.54
/proc/16851/stat : 16851 (java) R 16846 16851 16630 0 -1 0 9616 0 1 0 2546 8 0 0 25 0 8 0 156144033 937431040 9341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799567 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16851/statm: 228865 9341 2533 14 0 215335 0
[pid=16851/tid=16853] ppid=16846 vsize=915460 CPUtime=0.02
/proc/16851/task/16853/stat : 16853 (java) S 16846 16851 16630 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 156144036 937431040 9341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16855] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16855/stat : 16855 (java) S 16846 16851 16630 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156144037 937431040 9341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16856] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16856/stat : 16856 (java) S 16846 16851 16630 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156144037 937431040 9341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16859] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16859/stat : 16859 (java) S 16846 16851 16630 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156144040 937431040 9341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16860] ppid=16846 vsize=915460 CPUtime=0.24
/proc/16851/task/16860/stat : 16860 (java) S 16846 16851 16630 0 -1 64 402 0 0 0 23 1 0 0 17 0 8 0 156144040 937431040 9341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16861] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16861/stat : 16861 (java) S 16846 16851 16630 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156144040 937431040 9341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16862] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16862/stat : 16862 (java) S 16846 16851 16630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156144040 937431040 9341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915460

[startup+51.2397 s]
/proc/loadavg: 1.33 1.51 1.77 3/100 16978
/proc/meminfo: memFree=1696912/2055920 swapFree=4192812/4192956
[pid=16851] ppid=16846 vsize=915460 CPUtime=51.13
/proc/16851/stat : 16851 (java) R 16846 16851 16630 0 -1 0 9616 0 1 0 5105 8 0 0 25 0 8 0 156144033 937431040 9341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804573 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16851/statm: 228865 9341 2533 14 0 215335 0
[pid=16851/tid=16853] ppid=16846 vsize=915460 CPUtime=0.02
/proc/16851/task/16853/stat : 16853 (java) S 16846 16851 16630 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 156144036 937431040 9341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16855] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16855/stat : 16855 (java) S 16846 16851 16630 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156144037 937431040 9341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16856] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16856/stat : 16856 (java) S 16846 16851 16630 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156144037 937431040 9341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16859] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16859/stat : 16859 (java) S 16846 16851 16630 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156144040 937431040 9341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16860] ppid=16846 vsize=915460 CPUtime=0.24
/proc/16851/task/16860/stat : 16860 (java) S 16846 16851 16630 0 -1 64 402 0 0 0 23 1 0 0 17 0 8 0 156144040 937431040 9341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16861] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16861/stat : 16861 (java) S 16846 16851 16630 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156144040 937431040 9341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16862] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16862/stat : 16862 (java) S 16846 16851 16630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156144040 937431040 9341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 915460

[startup+102.5 s]
/proc/loadavg: 1.71 1.59 1.78 3/100 16978
/proc/meminfo: memFree=1696976/2055920 swapFree=4192812/4192956
[pid=16851] ppid=16846 vsize=915460 CPUtime=102.34
/proc/16851/stat : 16851 (java) R 16846 16851 16630 0 -1 0 9616 0 1 0 10226 8 0 0 25 0 8 0 156144033 937431040 9341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803262 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16851/statm: 228865 9341 2533 14 0 215335 0
[pid=16851/tid=16853] ppid=16846 vsize=915460 CPUtime=0.02
/proc/16851/task/16853/stat : 16853 (java) S 16846 16851 16630 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 156144036 937431040 9341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16855] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16855/stat : 16855 (java) S 16846 16851 16630 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156144037 937431040 9341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16856] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16856/stat : 16856 (java) S 16846 16851 16630 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156144037 937431040 9341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16859] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16859/stat : 16859 (java) S 16846 16851 16630 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156144040 937431040 9341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16860] ppid=16846 vsize=915460 CPUtime=0.24
/proc/16851/task/16860/stat : 16860 (java) S 16846 16851 16630 0 -1 64 402 0 0 0 23 1 0 0 17 0 8 0 156144040 937431040 9341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16861] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16861/stat : 16861 (java) S 16846 16851 16630 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156144040 937431040 9341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16862] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16862/stat : 16862 (java) S 16846 16851 16630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156144040 937431040 9341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 915460

[startup+162.512 s]
/proc/loadavg: 1.89 1.66 1.79 3/100 16978
/proc/meminfo: memFree=1696912/2055920 swapFree=4192812/4192956
[pid=16851] ppid=16846 vsize=915460 CPUtime=162.3
/proc/16851/stat : 16851 (java) R 16846 16851 16630 0 -1 0 9616 0 1 0 16221 9 0 0 25 0 8 0 156144033 937431040 9341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795859 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1421.25
Current children cumulated vsize (KiB) 915460

[startup+1482.82 s]
/proc/loadavg: 2.00 1.97 1.91 3/100 17178
/proc/meminfo: memFree=1696080/2055920 swapFree=4192812/4192956
[pid=16851] ppid=16846 vsize=915460 CPUtime=1481.17
/proc/16851/stat : 16851 (java) R 16846 16851 16630 0 -1 0 9617 0 1 0 148096 21 0 0 25 0 8 0 156144033 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795878 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16851/statm: 228865 9342 2533 14 0 215335 0
[pid=16851/tid=16853] ppid=16846 vsize=915460 CPUtime=0.02
/proc/16851/task/16853/stat : 16853 (java) S 16846 16851 16630 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 156144036 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16855] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16855/stat : 16855 (java) S 16846 16851 16630 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156144037 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16856] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16856/stat : 16856 (java) S 16846 16851 16630 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156144037 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16859] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16859/stat : 16859 (java) S 16846 16851 16630 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156144040 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16860] ppid=16846 vsize=915460 CPUtime=0.24
/proc/16851/task/16860/stat : 16860 (java) S 16846 16851 16630 0 -1 64 403 0 0 0 23 1 0 0 16 0 8 0 156144040 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16861] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16861/stat : 16861 (java) S 16846 16851 16630 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156144040 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16862] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16862/stat : 16862 (java) S 16846 16851 16630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156144040 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1481.17
Current children cumulated vsize (KiB) 915460

[startup+1542.83 s]
/proc/loadavg: 2.00 1.97 1.91 3/100 17178
/proc/meminfo: memFree=1696016/2055920 swapFree=4192812/4192956
[pid=16851] ppid=16846 vsize=915460 CPUtime=1541.14
/proc/16851/stat : 16851 (java) R 16846 16851 16630 0 -1 0 9617 0 1 0 154093 21 0 0 25 0 8 0 156144033 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798119 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16851/statm: 228865 9342 2533 14 0 215335 0
[pid=16851/tid=16853] ppid=16846 vsize=915460 CPUtime=0.02
/proc/16851/task/16853/stat : 16853 (java) S 16846 16851 16630 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 156144036 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16855] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16855/stat : 16855 (java) S 16846 16851 16630 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156144037 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16856] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16856/stat : 16856 (java) S 16846 16851 16630 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156144037 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16859] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16859/stat : 16859 (java) S 16846 16851 16630 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156144040 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16860] ppid=16846 vsize=915460 CPUtime=0.24
/proc/16851/task/16860/stat : 16860 (java) S 16846 16851 16630 0 -1 64 403 0 0 0 23 1 0 0 16 0 8 0 156144040 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16861] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16861/stat : 16861 (java) S 16846 16851 16630 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156144040 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16862] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16862/stat : 16862 (java) S 16846 16851 16630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156144040 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.14
Current children cumulated vsize (KiB) 915460

[startup+1602.85 s]
/proc/loadavg: 2.05 1.99 1.91 3/100 17178
/proc/meminfo: memFree=1696016/2055920 swapFree=4192812/4192956
[pid=16851] ppid=16846 vsize=915460 CPUtime=1601.1
/proc/16851/stat : 16851 (java) R 16846 16851 16630 0 -1 0 9617 0 1 0 160089 21 0 0 25 0 8 0 156144033 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801255 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16851/statm: 228865 9342 2533 14 0 215335 0
[pid=16851/tid=16853] ppid=16846 vsize=915460 CPUtime=0.02
/proc/16851/task/16853/stat : 16853 (java) S 16846 16851 16630 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 156144036 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16855] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16855/stat : 16855 (java) S 16846 16851 16630 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156144037 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16856] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16856/stat : 16856 (java) S 16846 16851 16630 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156144037 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16859] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16859/stat : 16859 (java) S 16846 16851 16630 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156144040 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16860] ppid=16846 vsize=915460 CPUtime=0.24
/proc/16851/task/16860/stat : 16860 (java) S 16846 16851 16630 0 -1 64 403 0 0 0 23 1 0 0 16 0 8 0 156144040 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16861] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16861/stat : 16861 (java) S 16846 16851 16630 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156144040 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16862] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16862/stat : 16862 (java) S 16846 16851 16630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156144040 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.1
Current children cumulated vsize (KiB) 915460

[startup+1662.87 s]
/proc/loadavg: 2.02 1.99 1.91 3/100 17178
/proc/meminfo: memFree=1695952/2055920 swapFree=4192812/4192956
[pid=16851] ppid=16846 vsize=915460 CPUtime=1661.03
/proc/16851/stat : 16851 (java) R 16846 16851 16630 0 -1 0 9617 0 1 0 166082 21 0 0 25 0 8 0 156144033 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795874 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16851/statm: 228865 9342 2533 14 0 215335 0
[pid=16851/tid=16853] ppid=16846 vsize=915460 CPUtime=0.02
/proc/16851/task/16853/stat : 16853 (java) S 16846 16851 16630 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 156144036 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16855] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16855/stat : 16855 (java) S 16846 16851 16630 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156144037 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16856] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16856/stat : 16856 (java) S 16846 16851 16630 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156144037 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16859] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16859/stat : 16859 (java) S 16846 16851 16630 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156144040 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16860] ppid=16846 vsize=915460 CPUtime=0.24
/proc/16851/task/16860/stat : 16860 (java) S 16846 16851 16630 0 -1 64 403 0 0 0 23 1 0 0 16 0 8 0 156144040 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16861] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16861/stat : 16861 (java) S 16846 16851 16630 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156144040 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16862] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16862/stat : 16862 (java) S 16846 16851 16630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156144040 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.03
Current children cumulated vsize (KiB) 915460

[startup+1722.88 s]
/proc/loadavg: 2.04 2.00 1.92 3/100 17178
/proc/meminfo: memFree=1695952/2055920 swapFree=4192812/4192956
[pid=16851] ppid=16846 vsize=915460 CPUtime=1721
/proc/16851/stat : 16851 (java) R 16846 16851 16630 0 -1 0 9617 0 1 0 172078 22 0 0 25 0 8 0 156144033 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783401 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16851/statm: 228865 9342 2533 14 0 215335 0
[pid=16851/tid=16853] ppid=16846 vsize=915460 CPUtime=0.02
/proc/16851/task/16853/stat : 16853 (java) S 16846 16851 16630 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 156144036 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16855] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16855/stat : 16855 (java) S 16846 16851 16630 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156144037 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16856] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16856/stat : 16856 (java) S 16846 16851 16630 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156144037 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16859] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16859/stat : 16859 (java) S 16846 16851 16630 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156144040 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16860] ppid=16846 vsize=915460 CPUtime=0.24
/proc/16851/task/16860/stat : 16860 (java) S 16846 16851 16630 0 -1 64 403 0 0 0 23 1 0 0 16 0 8 0 156144040 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16861] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16861/stat : 16861 (java) S 16846 16851 16630 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156144040 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16862] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16862/stat : 16862 (java) S 16846 16851 16630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156144040 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721
Current children cumulated vsize (KiB) 915460

[startup+1782.9 s]
/proc/loadavg: 2.01 2.00 1.92 3/100 17178
/proc/meminfo: memFree=1695888/2055920 swapFree=4192812/4192956
[pid=16851] ppid=16846 vsize=915460 CPUtime=1780.97
/proc/16851/stat : 16851 (java) R 16846 16851 16630 0 -1 0 9617 0 1 0 178075 22 0 0 25 0 8 0 156144033 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801846 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16851/statm: 228865 9342 2533 14 0 215335 0
[pid=16851/tid=16853] ppid=16846 vsize=915460 CPUtime=0.02
/proc/16851/task/16853/stat : 16853 (java) S 16846 16851 16630 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 156144036 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16855] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16855/stat : 16855 (java) S 16846 16851 16630 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156144037 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16856] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16856/stat : 16856 (java) S 16846 16851 16630 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156144037 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16859] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16859/stat : 16859 (java) S 16846 16851 16630 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156144040 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16860] ppid=16846 vsize=915460 CPUtime=0.24
/proc/16851/task/16860/stat : 16860 (java) S 16846 16851 16630 0 -1 64 403 0 0 0 23 1 0 0 16 0 8 0 156144040 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16861] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16861/stat : 16861 (java) S 16846 16851 16630 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156144040 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16862] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16862/stat : 16862 (java) S 16846 16851 16630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156144040 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1780.97
Current children cumulated vsize (KiB) 915460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.04 s]
/proc/loadavg: 2.01 2.00 1.92 3/100 17178
/proc/meminfo: memFree=1695888/2055920 swapFree=4192812/4192956
[pid=16851] ppid=16846 vsize=915460 CPUtime=1800.07
/proc/16851/stat : 16851 (java) R 16846 16851 16630 0 -1 0 9617 0 1 0 179985 22 0 0 25 0 8 0 156144033 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801315 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16851/statm: 228865 9342 2533 14 0 215335 0
[pid=16851/tid=16853] ppid=16846 vsize=915460 CPUtime=0.02
/proc/16851/task/16853/stat : 16853 (java) S 16846 16851 16630 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 156144036 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16855] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16855/stat : 16855 (java) S 16846 16851 16630 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156144037 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16856] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16856/stat : 16856 (java) S 16846 16851 16630 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156144037 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16859] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16859/stat : 16859 (java) S 16846 16851 16630 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156144040 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16860] ppid=16846 vsize=915460 CPUtime=0.24
/proc/16851/task/16860/stat : 16860 (java) S 16846 16851 16630 0 -1 64 403 0 0 0 23 1 0 0 16 0 8 0 156144040 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16861] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16861/stat : 16861 (java) S 16846 16851 16630 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156144040 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16851/tid=16862] ppid=16846 vsize=915460 CPUtime=0
/proc/16851/task/16862/stat : 16862 (java) S 16846 16851 16630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156144040 937431040 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 915460

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

Child status: 143
Real time (s): 1802.1
CPU time (s): 1800.14
CPU user time (s): 1799.91
CPU system time (s): 0.226965
CPU usage (%): 99.8912
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.226965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9634
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= 37672
involuntary context switches= 76843

runsolver used 2.84757 s user time and 5.13122 s system time

The end

Launcher Data (download as text)

Begin job on node24 on Sat Jan  6 09:58:05 UTC 2007


IDJOB= 213690
IDBENCH= 4867
FILE ID= node24/213690-1168077481

PBS_JOBID= 3476063

Free space on /tmp= 66464 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/course/ss97-6.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213690-1168077481/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node24/watcher-213690-1168077481 -o ROOT/results/node24/solver-213690-1168077481 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213690-1168077481/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  9daeb71d5dd8c00ec2aec9295c74c605

RANDOM SEED= 749284215

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.234
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.234
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:       1799024 kB
Buffers:         23384 kB
Cached:         108604 kB
SwapCached:          0 kB
Active:         117552 kB
Inactive:        71836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1799024 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3740 kB
Writeback:           0 kB
Mapped:          76384 kB
Slab:            52552 kB
Committed_AS:  2904036 kB
PageTables:       2196 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= 66463 MiB



End job on node24 on Sat Jan  6 10:28:10 UTC 2007