Trace number 252556

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.15 1800.88

General information on the benchmark

NamesocialGolfers/
socialGolfer-6-4-6.xml
MD5SUMef05f3db01695aaf5a2bf7c10fbded9b
Bench CategoryN-ARY-INT (n-ary 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 variables2520
Number of constraints10392
Maximum constraint arity24
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension10392
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/252556-1168087151/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.49	     nbVariables=2520  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.49	       =>  wckTime=0.194  cpuTime=0.13  mem=7M861
0.49	   
0.49	   predicates being loaded...
0.49	   
0.49	   constraints being loaded...
1.88	     nbConstraints=10392  nbConflictsStructures=3  nbSharedConflictsStructures=10353  nbUnbuiltConflictsStructures=1
1.88	     nbSharedBinaryRepresentations=0  nbEvaluationManagers=4  nbSharedEvaluationManagers=10388  maxDegree=25
1.88	     maxArity=24
1.88	       =>  wckTime=1.587  cpuTime=1.39  mem=33M490
2.01	   
2.01	   solver IterativeSystematicSolver being built... 
2.47	       =>  wckTime=2.176  cpuTime=1.76  mem=48M807
2.52	   
2.52	   preprocessing
2.52	     nbConstraintChecks=0  nbPropagations=2520  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
2.52	     detectedInconsistency=no
2.52	       =>  wckTime=0.038  cpuTime=0.02  mem=49M809
2.64	   
2.64	   search
2.64	     run=0  nbConstraintChecks=762  nbValidityChecks=722  nbPropagations=2773  nbRevisions=690  nbUselessRevisions=524
2.64	     nbAssignments=108  nbFailedAssignments=4  nbBacktracks=11  nbVisitedNodes=116  nbRestartNogoods=0  mapSize=6
2.64	     nbInferences=0  nbTooLargeKeys=0
2.64	       =>  wckTime=0.16  cpuTime=0.13  mem=49M809
2.77	   
2.77	   search
2.77	     run=1  nbConstraintChecks=7408  nbValidityChecks=3441  nbPropagations=6008  nbRevisions=3748
2.77	     nbUselessRevisions=3049  nbAssignments=257  nbFailedAssignments=8  nbBacktracks=30  nbVisitedNodes=278
2.77	     nbRestartNogoods=1  mapSize=18  nbInferences=0  nbTooLargeKeys=0
2.77	       =>  wckTime=0.293  cpuTime=0.25  mem=49M809
2.92	   
2.92	   search
2.92	     run=2  nbConstraintChecks=14214  nbValidityChecks=12711  nbPropagations=9857  nbRevisions=12555
2.92	     nbUselessRevisions=10850  nbAssignments=448  nbFailedAssignments=14  nbBacktracks=53  nbVisitedNodes=484
2.92	     nbRestartNogoods=2  mapSize=31  nbInferences=0  nbTooLargeKeys=0
2.92	       =>  wckTime=0.442  cpuTime=0.4  mem=49M809
4.09	   
4.09	   search
4.09	     run=3  nbConstraintChecks=550000  nbValidityChecks=30676  nbPropagations=14642  nbRevisions=32818
4.09	     nbUselessRevisions=29392  nbAssignments=711  nbFailedAssignments=22  nbBacktracks=95  nbVisitedNodes=767
4.09	     nbRestartNogoods=4  mapSize=49  nbInferences=0  nbTooLargeKeys=0
4.09	       =>  wckTime=1.62  cpuTime=1.56  mem=49M809
5.43	   
5.43	   search
5.43	     run=4  nbConstraintChecks=1150364  nbValidityChecks=53401  nbPropagations=20592  nbRevisions=67710
5.43	     nbUselessRevisions=61670  nbAssignments=1058  nbFailedAssignments=33  nbBacktracks=153  nbVisitedNodes=1134
5.43	     nbRestartNogoods=6  mapSize=67  nbInferences=0  nbTooLargeKeys=0
5.43	       =>  wckTime=2.957  cpuTime=2.9  mem=49M809
6.80	   
6.80	   search
6.80	     run=5  nbConstraintChecks=1711261  nbValidityChecks=94030  nbPropagations=28831  nbRevisions=130758
6.80	     nbUselessRevisions=120057  nbAssignments=1508  nbFailedAssignments=46  nbBacktracks=242  nbVisitedNodes=1626
6.80	     nbRestartNogoods=8  mapSize=104  nbInferences=0  nbTooLargeKeys=0
6.81	       =>  wckTime=4.331  cpuTime=4.26  mem=50M810
9.51	   
9.51	   search
9.51	     run=6  nbConstraintChecks=2955535  nbValidityChecks=144429  nbPropagations=40090  nbRevisions=232252
9.51	     nbUselessRevisions=214245  nbAssignments=2132  nbFailedAssignments=61  nbBacktracks=362  nbVisitedNodes=2294
9.51	     nbRestartNogoods=13  mapSize=142  nbInferences=0  nbTooLargeKeys=0
9.51	       =>  wckTime=7.034  cpuTime=6.95  mem=51M812
11.97	   
11.97	   search
11.97	     run=7  nbConstraintChecks=4067583  nbValidityChecks=188631  nbPropagations=53332  nbRevisions=365962
11.97	     nbUselessRevisions=339161  nbAssignments=2785  nbFailedAssignments=87  nbBacktracks=534  nbVisitedNodes=3007
11.97	     nbRestartNogoods=19  mapSize=200  nbInferences=0  nbTooLargeKeys=0
11.97	       =>  wckTime=9.5  cpuTime=9.42  mem=52M813
14.00	   
14.00	   search
14.00	     run=8  nbConstraintChecks=4759680  nbValidityChecks=291522  nbPropagations=74361  nbRevisions=589912
14.00	     nbUselessRevisions=546420  nbAssignments=3872  nbFailedAssignments=125  nbBacktracks=808  nbVisitedNodes=4206
14.00	     nbRestartNogoods=21  mapSize=294  nbInferences=0  nbTooLargeKeys=0
14.00	       =>  wckTime=11.527  cpuTime=11.44  mem=55M817
15.07	   
15.07	   search
15.07	     run=9  nbConstraintChecks=4909872  nbValidityChecks=368333  nbPropagations=100233  nbRevisions=878267
15.07	     nbUselessRevisions=814026  nbAssignments=5056  nbFailedAssignments=152  nbBacktracks=1202  nbVisitedNodes=5452
15.07	     nbRestartNogoods=39  mapSize=353  nbInferences=0  nbTooLargeKeys=0
15.07	       =>  wckTime=12.593  cpuTime=12.51  mem=58M822
16.09	   
16.10	   search
16.10	     run=10  nbConstraintChecks=4999205  nbValidityChecks=461359  nbPropagations=131076  nbRevisions=1242588
16.10	     nbUselessRevisions=1153330  nbAssignments=6283  nbFailedAssignments=184  nbBacktracks=1785  nbVisitedNodes=6750
16.10	     nbRestartNogoods=42  mapSize=421  nbInferences=0  nbTooLargeKeys=0
16.10	       =>  wckTime=13.621  cpuTime=13.52  mem=61M826
17.39	   
17.39	   search
17.39	     run=11  nbConstraintChecks=5105803  nbValidityChecks=590256  nbPropagations=168144  nbRevisions=1713260
17.39	     nbUselessRevisions=1593246  nbAssignments=7769  nbFailedAssignments=270  nbBacktracks=2667  nbVisitedNodes=8417
17.39	     nbRestartNogoods=45  mapSize=598  nbInferences=0  nbTooLargeKeys=0
17.39	       =>  wckTime=14.913  cpuTime=14.77  mem=22M811
18.92	   
18.92	   search
18.92	     run=12  nbConstraintChecks=5209496  nbValidityChecks=753428  nbPropagations=214038  nbRevisions=2314400
18.92	     nbUselessRevisions=2155088  nbAssignments=9705  nbFailedAssignments=415  nbBacktracks=3965  nbVisitedNodes=10678
18.92	     nbRestartNogoods=49  mapSize=920  nbInferences=0  nbTooLargeKeys=0
18.92	       =>  wckTime=16.445  cpuTime=16.3  mem=26M817
20.13	   
20.13	   INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=31M824)
21.04	   
21.04	   search
21.04	     run=13  nbConstraintChecks=5404133  nbValidityChecks=1061360  nbPropagations=285492  nbRevisions=3190499
21.04	     nbUselessRevisions=2965800  nbAssignments=12459  nbFailedAssignments=519  nbBacktracks=5922  nbVisitedNodes=13668
21.04	     nbRestartNogoods=52
21.04	       =>  wckTime=18.569  cpuTime=18.42  mem=31M824
27.72	   
27.72	   search
27.72	     run=14  nbConstraintChecks=7946368  nbValidityChecks=1360352  nbPropagations=382952  nbRevisions=4329324
27.72	     nbUselessRevisions=4013229  nbAssignments=16404  nbFailedAssignments=822  nbBacktracks=8841  nbVisitedNodes=18216
27.72	     nbRestartNogoods=59
27.72	       =>  wckTime=25.243  cpuTime=25.09  mem=31M824
30.84	   
30.84	   search
30.84	     run=15  nbConstraintChecks=8221913  nbValidityChecks=1787140  nbPropagations=508613  nbRevisions=5846985
30.84	     nbUselessRevisions=5411388  nbAssignments=21749  nbFailedAssignments=1142  nbBacktracks=13255  nbVisitedNodes=24294
30.84	     nbRestartNogoods=73
30.84	       =>  wckTime=28.367  cpuTime=28.21  mem=31M824
36.29	   
36.29	   search
36.29	     run=16  nbConstraintChecks=8916210  nbValidityChecks=2719369  nbPropagations=708458  nbRevisions=8211449
36.29	     nbUselessRevisions=7578554  nbAssignments=29456  nbFailedAssignments=1658  nbBacktracks=19840  nbVisitedNodes=33159
36.29	     nbRestartNogoods=89
36.29	       =>  wckTime=33.819  cpuTime=33.67  mem=31M824
44.27	   
44.27	   search
44.27	     run=17  nbConstraintChecks=9903460  nbValidityChecks=4117387  nbPropagations=1024648  nbRevisions=11886487
44.27	     nbUselessRevisions=10929460  nbAssignments=40658  nbFailedAssignments=2408  nbBacktracks=29693
44.27	     nbVisitedNodes=46238  nbRestartNogoods=103
44.27	       =>  wckTime=41.797  cpuTime=41.64  mem=31M824
55.70	   
55.70	   search
55.70	     run=18  nbConstraintChecks=11149925  nbValidityChecks=5829280  nbPropagations=1459218  nbRevisions=17084457
55.70	     nbUselessRevisions=15685905  nbAssignments=57421  nbFailedAssignments=4027  nbBacktracks=44476
55.70	     nbVisitedNodes=66451  nbRestartNogoods=117
55.70	       =>  wckTime=53.229  cpuTime=53.07  mem=31M824
70.89	   
70.89	   search
70.89	     run=19  nbConstraintChecks=12616958  nbValidityChecks=8159764  nbPropagations=2054388  nbRevisions=24429930
70.89	     nbUselessRevisions=22422179  nbAssignments=81852  nbFailedAssignments=5631  nbBacktracks=66674
70.89	     nbVisitedNodes=94750  nbRestartNogoods=123
70.89	       =>  wckTime=68.414  cpuTime=68.25  mem=31M824
99.74	   
99.74	   search
99.74	     run=20  nbConstraintChecks=16316849  nbValidityChecks=13895527  nbPropagations=3165760  nbRevisions=37165261
99.74	     nbUselessRevisions=33997475  nbAssignments=118198  nbFailedAssignments=8182  nbBacktracks=99950
99.74	     nbVisitedNodes=136814  nbRestartNogoods=137
99.74	       =>  wckTime=97.264  cpuTime=97.09  mem=31M824
137.23	   
137.24	   search
137.24	     run=21  nbConstraintChecks=20477342  nbValidityChecks=20515052  nbPropagations=4808126  nbRevisions=56231389
137.24	     nbUselessRevisions=51332205  nbAssignments=172273  nbFailedAssignments=11791  nbBacktracks=149832
137.24	     nbVisitedNodes=199334  nbRestartNogoods=148
137.24	       =>  wckTime=134.761  cpuTime=134.57  mem=31M824
184.70	   
184.70	   search
184.70	     run=22  nbConstraintChecks=24598769  nbValidityChecks=27109061  nbPropagations=6905741  nbRevisions=81847015
184.70	     nbUselessRevisions=74731595  nbAssignments=254588  nbFailedAssignments=18704  nbBacktracks=224655
184.70	     nbVisitedNodes=299611  nbRestartNogoods=170
184.70	       =>  wckTime=182.227  cpuTime=182.02  mem=31M824
260.18	   
260.18	   search
260.18	     run=23  nbConstraintChecks=31736640  nbValidityChecks=38806046  nbPropagations=9706600  nbRevisions=118158896
260.18	     nbUselessRevisions=108100914  nbAssignments=375713  nbFailedAssignments=26989  nbBacktracks=336940
260.18	     nbVisitedNodes=440661  nbRestartNogoods=188
260.18	       =>  wckTime=257.71  cpuTime=257.48  mem=31M824
382.55	   
382.55	   search
382.55	     run=24  nbConstraintChecks=44913654  nbValidityChecks=59721803  nbPropagations=13885660  nbRevisions=173711504
382.55	     nbUselessRevisions=159202619  nbAssignments=558007  nbFailedAssignments=40355  nbBacktracks=505287
382.55	     nbVisitedNodes=653521  nbRestartNogoods=206
382.55	       =>  wckTime=380.078  cpuTime=379.8  mem=31M824
539.27	   
539.27	   search
539.27	     run=25  nbConstraintChecks=59079875  nbValidityChecks=82117162  nbPropagations=19557231  nbRevisions=250679098
539.27	     nbUselessRevisions=230197620  nbAssignments=829082  nbFailedAssignments=58305  nbBacktracks=757808
539.27	     nbVisitedNodes=966391  nbRestartNogoods=222
539.27	       =>  wckTime=536.797  cpuTime=536.47  mem=31M824
780.53	   
780.53	   search
780.53	     run=26  nbConstraintChecks=81860034  nbValidityChecks=121047712  nbPropagations=27970379  nbRevisions=366439910
780.53	     nbUselessRevisions=336951067  nbAssignments=1246119  nbFailedAssignments=95907  nbBacktracks=1136577
780.53	     nbVisitedNodes=1492215  nbRestartNogoods=250
780.53	       =>  wckTime=778.053  cpuTime=777.64  mem=31M824
1194.22	   
1194.22	   search
1194.22	     run=27  nbConstraintChecks=127966046  nbValidityChecks=193504612  nbPropagations=41021945  nbRevisions=550434010
1194.22	     nbUselessRevisions=506932393  nbAssignments=1868277  nbFailedAssignments=149265  nbBacktracks=1704733
1194.22	     nbVisitedNodes=2248483  nbRestartNogoods=281
1194.22	       =>  wckTime=1191.743  cpuTime=1191.19  mem=32M825
1750.10	   
1750.10	   search
1750.10	     run=28  nbConstraintChecks=180244245  nbValidityChecks=284163903  nbPropagations=60126733  nbRevisions=826054971
1750.10	     nbUselessRevisions=761778340  nbAssignments=2816437  nbFailedAssignments=244546  nbBacktracks=2556961
1750.10	     nbVisitedNodes=3453437  nbRestartNogoods=312
1750.10	       =>  wckTime=1747.63  cpuTime=1746.79  mem=32M825

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/node21/watcher-252556-1168087151 -o ROOT/results/node21/solver-252556-1168087151 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/252556-1168087151/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.99 1.00 1.11 3/78 23136
/proc/meminfo: memFree=1647280/2055920 swapFree=4192812/4192956
[pid=23135] ppid=23133 vsize=172 CPUtime=0
/proc/23135/stat : 23135 (java) R 23133 23135 22824 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 157109637 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 8438564 0 0 4096 0 0 0 0 17 1 0 0
/proc/23135/statm: 43 24 18 14 0 3 0

[startup+0.103086 s]
/proc/loadavg: 0.99 1.00 1.11 3/78 23136
/proc/meminfo: memFree=1647280/2055920 swapFree=4192812/4192956
[pid=23135] ppid=23133 vsize=914988 CPUtime=0.09
/proc/23135/stat : 23135 (java) R 23133 23135 22824 0 -1 0 3076 0 1 0 7 2 0 0 16 0 8 0 157109637 936947712 2822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942010 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23135/statm: 228747 2822 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.514164 s]
/proc/loadavg: 0.99 1.00 1.11 3/78 23136
/proc/meminfo: memFree=1647280/2055920 swapFree=4192812/4192956
[pid=23135] ppid=23133 vsize=915328 CPUtime=0.5
/proc/23135/stat : 23135 (java) S 23133 23135 22824 0 -1 0 6362 0 1 0 46 4 0 0 16 0 8 0 157109637 937295872 6101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23135/statm: 228832 6101 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33431 s]
/proc/loadavg: 0.99 1.00 1.11 2/85 23143
/proc/meminfo: memFree=1585720/2055920 swapFree=4192812/4192956
[pid=23135] ppid=23133 vsize=915620 CPUtime=1.32
/proc/23135/stat : 23135 (java) R 23133 23135 22824 0 -1 0 17751 0 1 0 110 22 0 0 17 0 8 0 157109637 937594880 17489 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23135/statm: 228905 17489 2179 14 0 215375 0
[pid=23135/tid=23137] ppid=23133 vsize=915620 CPUtime=0.05
/proc/23135/task/23137/stat : 23137 (java) S 23133 23135 22824 0 -1 64 1149 0 0 0 5 0 0 0 17 0 8 0 157109640 937594880 17489 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23138] ppid=23133 vsize=915620 CPUtime=0
/proc/23135/task/23138/stat : 23138 (java) S 23133 23135 22824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157109641 937594880 17489 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23139] ppid=23133 vsize=915624 CPUtime=0
/proc/23135/task/23139/stat : 23139 (java) S 23133 23135 22824 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157109641 937598976 17489 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23140] ppid=23133 vsize=915620 CPUtime=0
/proc/23135/task/23140/stat : 23140 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 157109644 937594880 17489 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23141] ppid=23133 vsize=915624 CPUtime=0.15
/proc/23135/task/23141/stat : 23141 (java) S 23133 23135 22824 0 -1 64 411 0 0 0 14 1 0 0 16 0 8 0 157109644 937598976 17489 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23142] ppid=23133 vsize=915620 CPUtime=0
/proc/23135/task/23142/stat : 23142 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157109644 937594880 17489 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23143] ppid=23133 vsize=915620 CPUtime=0
/proc/23135/task/23143/stat : 23143 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157109644 937594880 17489 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915620

[startup+2.97163 s]
/proc/loadavg: 0.99 1.00 1.11 2/85 23143
/proc/meminfo: memFree=1569848/2055920 swapFree=4192812/4192956
[pid=23135] ppid=23133 vsize=915728 CPUtime=2.95
/proc/23135/stat : 23135 (java) S 23133 23135 22824 0 -1 0 22124 0 1 0 242 53 0 0 16 0 8 0 157109637 937705472 21849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23135/statm: 228932 21849 2538 14 0 215402 0
[pid=23135/tid=23137] ppid=23133 vsize=915728 CPUtime=0.19
/proc/23135/task/23137/stat : 23137 (java) S 23133 23135 22824 0 -1 64 5002 0 0 0 18 1 0 0 16 0 8 0 157109640 937705472 21849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23138] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23138/stat : 23138 (java) S 23133 23135 22824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157109641 937705472 21849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23139] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23139/stat : 23139 (java) S 23133 23135 22824 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157109641 937705472 21849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23140] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23140/stat : 23140 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 157109644 937705472 21849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23141] ppid=23133 vsize=915728 CPUtime=0.28
/proc/23135/task/23141/stat : 23141 (java) R 23133 23135 22824 0 -1 64 498 0 0 0 27 1 0 0 16 0 8 0 157109644 937705472 21849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152957312 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23142] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23142/stat : 23142 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157109644 937705472 21849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23143] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23143/stat : 23143 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157109644 937705472 21849 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) 915728

[startup+6.26824 s]
/proc/loadavg: 0.99 1.00 1.11 2/85 23143
/proc/meminfo: memFree=1569528/2055920 swapFree=4192812/4192956
[pid=23135] ppid=23133 vsize=915728 CPUtime=6.24
/proc/23135/stat : 23135 (java) R 23133 23135 22824 0 -1 0 22132 0 1 0 571 53 0 0 17 0 8 0 157109637 937705472 21854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074119689 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23135/statm: 228932 21854 2538 14 0 215402 0
[pid=23135/tid=23137] ppid=23133 vsize=915728 CPUtime=0.19
/proc/23135/task/23137/stat : 23137 (java) S 23133 23135 22824 0 -1 64 5002 0 0 0 18 1 0 0 16 0 8 0 157109640 937705472 21854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23138] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23138/stat : 23138 (java) S 23133 23135 22824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157109641 937705472 21854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23139] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23139/stat : 23139 (java) S 23133 23135 22824 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157109641 937705472 21854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23140] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23140/stat : 23140 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 157109644 937705472 21854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23141] ppid=23133 vsize=915728 CPUtime=0.29
/proc/23135/task/23141/stat : 23141 (java) S 23133 23135 22824 0 -1 64 503 0 0 0 28 1 0 0 16 0 8 0 157109644 937705472 21854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23142] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23142/stat : 23142 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157109644 937705472 21854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23143] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23143/stat : 23143 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157109644 937705472 21854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915728

[startup+12.6825 s]
/proc/loadavg: 0.99 1.00 1.11 2/85 23143
/proc/meminfo: memFree=1569472/2055920 swapFree=4192812/4192956
[pid=23135] ppid=23133 vsize=915728 CPUtime=12.65
/proc/23135/stat : 23135 (java) R 23133 23135 22824 0 -1 0 22144 0 1 0 1212 53 0 0 21 0 8 0 157109637 937705472 21862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074061931 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23135/statm: 228932 21862 2538 14 0 215402 0
[pid=23135/tid=23137] ppid=23133 vsize=915728 CPUtime=0.19
/proc/23135/task/23137/stat : 23137 (java) S 23133 23135 22824 0 -1 64 5002 0 0 0 18 1 0 0 16 0 8 0 157109640 937705472 21862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23138] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23138/stat : 23138 (java) S 23133 23135 22824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157109641 937705472 21862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23139] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23139/stat : 23139 (java) S 23133 23135 22824 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157109641 937705472 21862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23140] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23140/stat : 23140 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 157109644 937705472 21862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23141] ppid=23133 vsize=915728 CPUtime=0.3
/proc/23135/task/23141/stat : 23141 (java) S 23133 23135 22824 0 -1 64 512 0 0 0 29 1 0 0 16 0 8 0 157109644 937705472 21862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23142] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23142/stat : 23142 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157109644 937705472 21862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23143] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23143/stat : 23143 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157109644 937705472 21862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915728

[startup+25.5329 s]
/proc/loadavg: 0.99 1.00 1.11 2/85 23143
/proc/meminfo: memFree=1564992/2055920 swapFree=4192812/4192956
[pid=23135] ppid=23133 vsize=915728 CPUtime=25.5
/proc/23135/stat : 23135 (java) R 23133 23135 22824 0 -1 0 23325 0 1 0 2496 54 0 0 19 0 8 0 157109637 937705472 23039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074112292 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23135/statm: 228932 23039 2538 14 0 215402 0
[pid=23135/tid=23137] ppid=23133 vsize=915728 CPUtime=0.24
/proc/23135/task/23137/stat : 23137 (java) S 23133 23135 22824 0 -1 64 6173 0 0 0 22 2 0 0 16 0 8 0 157109640 937705472 23039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23138] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23138/stat : 23138 (java) S 23133 23135 22824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157109641 937705472 23039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23139] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23139/stat : 23139 (java) S 23133 23135 22824 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157109641 937705472 23039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23140] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23140/stat : 23140 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 157109644 937705472 23039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23141] ppid=23133 vsize=915728 CPUtime=0.33
/proc/23135/task/23141/stat : 23141 (java) S 23133 23135 22824 0 -1 64 518 0 0 0 31 2 0 0 16 0 8 0 157109644 937705472 23039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23142] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23142/stat : 23142 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157109644 937705472 23039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23143] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23143/stat : 23143 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157109644 937705472 23039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915728

[startup+51.2237 s]
/proc/loadavg: 0.99 1.00 1.10 2/85 23143
/proc/meminfo: memFree=1564992/2055920 swapFree=4192812/4192956
[pid=23135] ppid=23133 vsize=915728 CPUtime=51.18
/proc/23135/stat : 23135 (java) R 23133 23135 22824 0 -1 0 23327 0 1 0 5064 54 0 0 25 0 8 0 157109637 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074113219 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23135/statm: 228932 23040 2538 14 0 215402 0
[pid=23135/tid=23137] ppid=23133 vsize=915728 CPUtime=0.24
/proc/23135/task/23137/stat : 23137 (java) S 23133 23135 22824 0 -1 64 6173 0 0 0 22 2 0 0 16 0 8 0 157109640 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23138] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23138/stat : 23138 (java) S 23133 23135 22824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157109641 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23139] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23139/stat : 23139 (java) S 23133 23135 22824 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157109641 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23140] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23140/stat : 23140 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23141] ppid=23133 vsize=915728 CPUtime=0.33
/proc/23135/task/23141/stat : 23141 (java) S 23133 23135 22824 0 -1 64 519 0 0 0 31 2 0 0 16 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23142] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23142/stat : 23142 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23143] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23143/stat : 23143 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 915728

[startup+102.485 s]
/proc/loadavg: 0.99 1.00 1.09 2/85 23143
/proc/meminfo: memFree=1564992/2055920 swapFree=4192812/4192956
[pid=23135] ppid=23133 vsize=915728 CPUtime=102.42
/proc/23135/stat : 23135 (java) R 23133 23135 22824 0 -1 0 23327 0 1 0 10188 54 0 0 25 0 8 0 157109637 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074098424 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23135/statm: 228932 23040 2538 14 0 215402 0
[pid=23135/tid=23137] ppid=23133 vsize=915728 CPUtime=0.24
/proc/23135/task/23137/stat : 23137 (java) S 23133 23135 22824 0 -1 64 6173 0 0 0 22 2 0 0 16 0 8 0 157109640 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23138] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23138/stat : 23138 (java) S 23133 23135 22824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157109641 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23139] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23139/stat : 23139 (java) S 23133 23135 22824 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157109641 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23140] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23140/stat : 23140 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23141] ppid=23133 vsize=915728 CPUtime=0.33
/proc/23135/task/23141/stat : 23141 (java) S 23133 23135 22824 0 -1 64 519 0 0 0 31 2 0 0 16 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23142] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23142/stat : 23142 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23143] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23143/stat : 23143 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.42
Current children cumulated vsize (KiB) 915728

[startup+162.584 s]
/proc/loadavg: 0.99 1.00 1.09 2/85 23143
/proc/meminfo: memFree=1564992/2055920 swapFree=4192812/4192956
[pid=23135] ppid=23133 vsize=915728 CPUtime=162.5
/proc/23135/stat : 23135 (java) R 23133 23135 22824 0 -1 0 23327 0 1 0 16195 55 0 0 25 0 8 0 157109637 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074121072 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1484.18 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 23341
/proc/meminfo: memFree=1564088/2055920 swapFree=4192812/4192956
[pid=23135] ppid=23133 vsize=915728 CPUtime=1483.55
/proc/23135/stat : 23135 (java) R 23133 23135 22824 0 -1 0 23327 0 1 0 148290 65 0 0 25 0 8 0 157109637 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074092337 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23135/statm: 228932 23040 2538 14 0 215402 0
[pid=23135/tid=23137] ppid=23133 vsize=915728 CPUtime=0.24
/proc/23135/task/23137/stat : 23137 (java) S 23133 23135 22824 0 -1 64 6173 0 0 0 22 2 0 0 16 0 8 0 157109640 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23138] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23138/stat : 23138 (java) S 23133 23135 22824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157109641 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23139] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23139/stat : 23139 (java) S 23133 23135 22824 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157109641 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23140] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23140/stat : 23140 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23141] ppid=23133 vsize=915728 CPUtime=0.33
/proc/23135/task/23141/stat : 23141 (java) S 23133 23135 22824 0 -1 64 519 0 0 0 31 2 0 0 16 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23142] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23142/stat : 23142 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23143] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23143/stat : 23143 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1483.55
Current children cumulated vsize (KiB) 915728

[startup+1544.27 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 23341
/proc/meminfo: memFree=1564088/2055920 swapFree=4192812/4192956
[pid=23135] ppid=23133 vsize=915728 CPUtime=1543.62
/proc/23135/stat : 23135 (java) R 23133 23135 22824 0 -1 0 23327 0 1 0 154297 65 0 0 25 0 8 0 157109637 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074207614 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23135/statm: 228932 23040 2538 14 0 215402 0
[pid=23135/tid=23137] ppid=23133 vsize=915728 CPUtime=0.24
/proc/23135/task/23137/stat : 23137 (java) S 23133 23135 22824 0 -1 64 6173 0 0 0 22 2 0 0 16 0 8 0 157109640 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23138] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23138/stat : 23138 (java) S 23133 23135 22824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157109641 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23139] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23139/stat : 23139 (java) S 23133 23135 22824 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157109641 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23140] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23140/stat : 23140 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23141] ppid=23133 vsize=915728 CPUtime=0.33
/proc/23135/task/23141/stat : 23141 (java) S 23133 23135 22824 0 -1 64 519 0 0 0 31 2 0 0 16 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23142] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23142/stat : 23142 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23143] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23143/stat : 23143 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1543.62
Current children cumulated vsize (KiB) 915728

[startup+1604.37 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 23341
/proc/meminfo: memFree=1564216/2055920 swapFree=4192812/4192956
[pid=23135] ppid=23133 vsize=915728 CPUtime=1603.7
/proc/23135/stat : 23135 (java) R 23133 23135 22824 0 -1 0 23327 0 1 0 160304 66 0 0 25 0 8 0 157109637 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074114186 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23135/statm: 228932 23040 2538 14 0 215402 0
[pid=23135/tid=23137] ppid=23133 vsize=915728 CPUtime=0.24
/proc/23135/task/23137/stat : 23137 (java) S 23133 23135 22824 0 -1 64 6173 0 0 0 22 2 0 0 16 0 8 0 157109640 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23138] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23138/stat : 23138 (java) S 23133 23135 22824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157109641 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23139] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23139/stat : 23139 (java) S 23133 23135 22824 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157109641 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23140] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23140/stat : 23140 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23141] ppid=23133 vsize=915728 CPUtime=0.33
/proc/23135/task/23141/stat : 23141 (java) S 23133 23135 22824 0 -1 64 519 0 0 0 31 2 0 0 16 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23142] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23142/stat : 23142 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23143] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23143/stat : 23143 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1603.7
Current children cumulated vsize (KiB) 915728

[startup+1664.47 s]
/proc/loadavg: 1.06 1.03 1.01 2/85 23341
/proc/meminfo: memFree=1564216/2055920 swapFree=4192812/4192956
[pid=23135] ppid=23133 vsize=915728 CPUtime=1663.77
/proc/23135/stat : 23135 (java) R 23133 23135 22824 0 -1 0 23327 0 1 0 166311 66 0 0 25 0 8 0 157109637 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074091108 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23135/statm: 228932 23040 2538 14 0 215402 0
[pid=23135/tid=23137] ppid=23133 vsize=915728 CPUtime=0.24
/proc/23135/task/23137/stat : 23137 (java) S 23133 23135 22824 0 -1 64 6173 0 0 0 22 2 0 0 16 0 8 0 157109640 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23138] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23138/stat : 23138 (java) S 23133 23135 22824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157109641 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23139] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23139/stat : 23139 (java) S 23133 23135 22824 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157109641 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23140] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23140/stat : 23140 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23141] ppid=23133 vsize=915728 CPUtime=0.33
/proc/23135/task/23141/stat : 23141 (java) S 23133 23135 22824 0 -1 64 519 0 0 0 31 2 0 0 16 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23142] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23142/stat : 23142 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23143] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23143/stat : 23143 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1663.77
Current children cumulated vsize (KiB) 915728

[startup+1724.57 s]
/proc/loadavg: 1.02 1.02 1.00 2/85 23341
/proc/meminfo: memFree=1564224/2055920 swapFree=4192812/4192956
[pid=23135] ppid=23133 vsize=915728 CPUtime=1723.86
/proc/23135/stat : 23135 (java) R 23133 23135 22824 0 -1 0 23327 0 1 0 172319 67 0 0 25 0 8 0 157109637 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074094267 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23135/statm: 228932 23040 2538 14 0 215402 0
[pid=23135/tid=23137] ppid=23133 vsize=915728 CPUtime=0.24
/proc/23135/task/23137/stat : 23137 (java) S 23133 23135 22824 0 -1 64 6173 0 0 0 22 2 0 0 16 0 8 0 157109640 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23138] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23138/stat : 23138 (java) S 23133 23135 22824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157109641 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23139] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23139/stat : 23139 (java) S 23133 23135 22824 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157109641 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23140] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23140/stat : 23140 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23141] ppid=23133 vsize=915728 CPUtime=0.33
/proc/23135/task/23141/stat : 23141 (java) S 23133 23135 22824 0 -1 64 519 0 0 0 31 2 0 0 16 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23142] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23142/stat : 23142 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23143] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23143/stat : 23143 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1723.86
Current children cumulated vsize (KiB) 915728

[startup+1784.57 s]
/proc/loadavg: 1.01 1.01 1.00 2/85 23341
/proc/meminfo: memFree=1564288/2055920 swapFree=4192812/4192956
[pid=23135] ppid=23133 vsize=915728 CPUtime=1783.83
/proc/23135/stat : 23135 (java) R 23133 23135 22824 0 -1 0 23327 0 1 0 178316 67 0 0 25 0 8 0 157109637 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074094267 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23135/statm: 228932 23040 2538 14 0 215402 0
[pid=23135/tid=23137] ppid=23133 vsize=915728 CPUtime=0.24
/proc/23135/task/23137/stat : 23137 (java) S 23133 23135 22824 0 -1 64 6173 0 0 0 22 2 0 0 16 0 8 0 157109640 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23138] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23138/stat : 23138 (java) S 23133 23135 22824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157109641 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23139] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23139/stat : 23139 (java) S 23133 23135 22824 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157109641 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23140] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23140/stat : 23140 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23141] ppid=23133 vsize=915728 CPUtime=0.33
/proc/23135/task/23141/stat : 23141 (java) S 23133 23135 22824 0 -1 64 519 0 0 0 31 2 0 0 16 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23142] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23142/stat : 23142 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23143] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23143/stat : 23143 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1783.83
Current children cumulated vsize (KiB) 915728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.01 1.00 2/85 23341
/proc/meminfo: memFree=1564288/2055920 swapFree=4192812/4192956
[pid=23135] ppid=23133 vsize=915728 CPUtime=1800.07
/proc/23135/stat : 23135 (java) R 23133 23135 22824 0 -1 0 23327 0 1 0 179939 68 0 0 25 0 8 0 157109637 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074112371 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23135/statm: 228932 23040 2538 14 0 215402 0
[pid=23135/tid=23137] ppid=23133 vsize=915728 CPUtime=0.24
/proc/23135/task/23137/stat : 23137 (java) S 23133 23135 22824 0 -1 64 6173 0 0 0 22 2 0 0 16 0 8 0 157109640 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23138] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23138/stat : 23138 (java) S 23133 23135 22824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157109641 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23139] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23139/stat : 23139 (java) S 23133 23135 22824 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 157109641 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23140] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23140/stat : 23140 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23141] ppid=23133 vsize=915728 CPUtime=0.33
/proc/23135/task/23141/stat : 23141 (java) S 23133 23135 22824 0 -1 64 519 0 0 0 31 2 0 0 16 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23142] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23142/stat : 23142 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157109644 937705472 23040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23135/tid=23143] ppid=23133 vsize=915728 CPUtime=0
/proc/23135/task/23143/stat : 23143 (java) S 23133 23135 22824 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157109644 937705472 23040 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) 915728

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

Child status: 143
Real time (s): 1800.88
CPU time (s): 1800.15
CPU user time (s): 1799.45
CPU system time (s): 0.694894
CPU usage (%): 99.9594
Max. virtual memory (cumulated for all children) (KiB): 915948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 0.694894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23343
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= 37567
involuntary context switches= 38912

runsolver used 1.79573 s user time and 4.6183 s system time

The end

Launcher Data (download as text)

Begin job on node21 on Sat Jan  6 12:39:11 UTC 2007


IDJOB= 252556
IDBENCH= 12953
FILE ID= node21/252556-1168087151

PBS_JOBID= 3476302

Free space on /tmp= 66545 MiB

BENCH NAME= HOME/pub/bench/CPAI06/socialGolfers/socialGolfer-6-4-6.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/252556-1168087151/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node21/watcher-252556-1168087151 -o ROOT/results/node21/solver-252556-1168087151 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/252556-1168087151/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  ef05f3db01695aaf5a2bf7c10fbded9b

RANDOM SEED= 440136167

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.261
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.261
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:       1647760 kB
Buffers:         37780 kB
Cached:         241360 kB
SwapCached:          0 kB
Active:         192664 kB
Inactive:       144868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1647760 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3296 kB
Writeback:           0 kB
Mapped:          77408 kB
Slab:            56176 kB
Committed_AS:  2971888 kB
PageTables:       1792 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= 66545 MiB



End job on node21 on Sat Jan  6 13:09:12 UTC 2007