Trace number 210828

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.1 1808.69

General information on the benchmark

NamepseudoSeries/uclid/
ooo-burch-dill-4-accl.xml
MD5SUM86c8ce99ba43ad8e61bc7c9612a8229b
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark12.7421
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables3939
Number of constraints10411
Maximum constraint arity13
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension10411
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/210828-1168075356/unknown.xml
0.35	   
0.35	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.55	     nbVariables=3939  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
0.55	       =>  wckTime=0.261  cpuTime=0.18  mem=13M729
0.55	   
0.55	   predicates being loaded...
0.57	   
0.57	   constraints being loaded...
2.71	     nbConstraints=9878  nbMergedConstraints=533  nbSingletonDomainVariables=43  nbConvertedConstraints=6427
2.71	     nbConvertConstraintsChecks=167994  nbExtensionStructures=8  nbSharedExtensionStructures=6419
2.71	     nbConflictsStructures=41  nbSharedConflictsStructures=9837  nbSharedBinaryRepresentations=19
2.71	     nbEvaluationManagers=33  nbSharedEvaluationManagers=3418  maxDegree=223  maxArity=13
2.71	       =>  wckTime=2.417  cpuTime=2.09  mem=56M89
2.83	   
2.83	   solver IterativeSystematicSolver being built... 
3.23	       =>  wckTime=2.938  cpuTime=2.41  mem=22M683
3.28	   
3.28	   preprocessing
3.28	     nbConstraintChecks=0  nbPropagations=3939  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
3.28	     detectedInconsistency=no
3.28	       =>  wckTime=0.032  cpuTime=0.02  mem=23M687
4.77	   
4.77	   search
4.77	     run=0  nbConstraintChecks=43104  nbValidityChecks=36685  nbPropagations=8077  nbRevisions=38289
4.77	     nbUselessRevisions=34079  nbAssignments=224  nbFailedAssignments=3  nbBacktracks=28  nbVisitedNodes=230
4.77	     nbRestartNogoods=0  mapSize=3  nbInferences=0  nbTooLargeKeys=0
4.77	       =>  wckTime=1.527  cpuTime=1.46  mem=24M691
6.26	   
6.26	   search
6.26	     run=1  nbConstraintChecks=61319  nbValidityChecks=77410  nbPropagations=19203  nbRevisions=109293
6.26	     nbUselessRevisions=97881  nbAssignments=462  nbFailedAssignments=5  nbBacktracks=74  nbVisitedNodes=472
6.26	     nbRestartNogoods=2  mapSize=6  nbInferences=0  nbTooLargeKeys=0
6.26	       =>  wckTime=3.022  cpuTime=2.95  mem=24M691
7.62	   
7.62	   search
7.62	     run=2  nbConstraintChecks=79318  nbValidityChecks=118049  nbPropagations=33330  nbRevisions=212827
7.62	     nbUselessRevisions=191269  nbAssignments=685  nbFailedAssignments=7  nbBacktracks=102  nbVisitedNodes=699
7.62	     nbRestartNogoods=3  mapSize=9  nbInferences=0  nbTooLargeKeys=0
7.62	       =>  wckTime=4.38  cpuTime=4.3  mem=24M691
9.12	   
9.12	   search
9.12	     run=3  nbConstraintChecks=97509  nbValidityChecks=158807  nbPropagations=50499  nbRevisions=349051
9.12	     nbUselessRevisions=314362  nbAssignments=924  nbFailedAssignments=9  nbBacktracks=150  nbVisitedNodes=942
9.12	     nbRestartNogoods=4  mapSize=12  nbInferences=0  nbTooLargeKeys=0
9.12	       =>  wckTime=5.885  cpuTime=5.8  mem=24M691
10.85	   
10.85	   search
10.85	     run=4  nbConstraintChecks=116332  nbValidityChecks=199761  nbPropagations=70827  nbRevisions=518705
10.85	     nbUselessRevisions=467778  nbAssignments=1193  nbFailedAssignments=13  nbBacktracks=222  nbVisitedNodes=1219
10.85	     nbRestartNogoods=5  mapSize=19  nbInferences=0  nbTooLargeKeys=0
10.85	       =>  wckTime=7.606  cpuTime=7.5  mem=25M695
12.70	   
12.70	   search
12.70	     run=5  nbConstraintChecks=135459  nbValidityChecks=240903  nbPropagations=94371  nbRevisions=722045
12.70	     nbUselessRevisions=651716  nbAssignments=1467  nbFailedAssignments=17  nbBacktracks=303  nbVisitedNodes=1501
12.70	     nbRestartNogoods=6  mapSize=26  nbInferences=0  nbTooLargeKeys=0
12.70	       =>  wckTime=9.461  cpuTime=9.34  mem=25M695
15.09	   
15.09	   search
15.09	     run=6  nbConstraintChecks=159411  nbValidityChecks=289010  nbPropagations=121484  nbRevisions=964043
15.09	     nbUselessRevisions=870855  nbAssignments=1811  nbFailedAssignments=21  nbBacktracks=421  nbVisitedNodes=1883
15.09	     nbRestartNogoods=7  mapSize=62  nbInferences=30  nbTooLargeKeys=0
15.09	       =>  wckTime=11.848  cpuTime=11.71  mem=26M699
17.61	   
17.61	   search
17.61	     run=7  nbConstraintChecks=181410  nbValidityChecks=331803  nbPropagations=152407  nbRevisions=1243021
17.61	     nbUselessRevisions=1123205  nbAssignments=2194  nbFailedAssignments=27  nbBacktracks=608  nbVisitedNodes=2284
17.61	     nbRestartNogoods=9  mapSize=79  nbInferences=30  nbTooLargeKeys=0
17.61	       =>  wckTime=14.369  cpuTime=14.21  mem=26M699
21.16	   
21.16	   search
21.16	     run=8  nbConstraintChecks=209302  nbValidityChecks=382167  nbPropagations=187696  nbRevisions=1564786
21.16	     nbUselessRevisions=1414066  nbAssignments=2714  nbFailedAssignments=35  nbBacktracks=900  nbVisitedNodes=2860
21.16	     nbRestartNogoods=10  mapSize=133  nbInferences=60  nbTooLargeKeys=0
21.16	       =>  wckTime=17.922  cpuTime=17.75  mem=27M703
24.24	   
24.24	   search
24.24	     run=9  nbConstraintChecks=286857  nbValidityChecks=454916  nbPropagations=233908  nbRevisions=1969690
24.24	     nbUselessRevisions=1776878  nbAssignments=3217  nbFailedAssignments=107  nbBacktracks=1287  nbVisitedNodes=3539
24.24	     nbRestartNogoods=12  mapSize=295  nbInferences=90  nbTooLargeKeys=0
24.24	       =>  wckTime=20.999  cpuTime=20.81  mem=27M703
30.53	   
30.53	   search
30.53	     run=10  nbConstraintChecks=343299  nbValidityChecks=512762  nbPropagations=289127  nbRevisions=2443450
30.53	     nbUselessRevisions=2199467  nbAssignments=4086  nbFailedAssignments=125  nbBacktracks=1872  nbVisitedNodes=4473
30.53	     nbRestartNogoods=13  mapSize=354  nbInferences=121  nbTooLargeKeys=0
30.53	       =>  wckTime=27.287  cpuTime=27.06  mem=28M706
39.17	   
39.17	   search
39.17	     run=11  nbConstraintChecks=408411  nbValidityChecks=585921  nbPropagations=355547  nbRevisions=3003808
39.17	     nbUselessRevisions=2697485  nbAssignments=5269  nbFailedAssignments=150  nbBacktracks=2755  nbVisitedNodes=5759
39.17	     nbRestartNogoods=19  mapSize=454  nbInferences=159  nbTooLargeKeys=0
39.17	       =>  wckTime=35.93  cpuTime=35.65  mem=29M710
51.00	   
51.00	   search
51.00	     run=12  nbConstraintChecks=518808  nbValidityChecks=678409  nbPropagations=437047  nbRevisions=3679068
51.00	     nbUselessRevisions=3295163  nbAssignments=6860  nbFailedAssignments=227  nbBacktracks=4059  nbVisitedNodes=7520
51.00	     nbRestartNogoods=22  mapSize=623  nbInferences=182  nbTooLargeKeys=0
51.00	       =>  wckTime=47.757  cpuTime=47.41  mem=30M714
66.48	   
66.48	   search
66.48	     run=13  nbConstraintChecks=775073  nbValidityChecks=889266  nbPropagations=565214  nbRevisions=4667196
66.48	     nbUselessRevisions=4158566  nbAssignments=9155  nbFailedAssignments=375  nbBacktracks=6008  nbVisitedNodes=10137
66.48	     nbRestartNogoods=23  mapSize=941  nbInferences=196  nbTooLargeKeys=0
66.48	       =>  wckTime=63.239  cpuTime=62.82  mem=33M726
90.05	   
90.05	   search
90.05	     run=14  nbConstraintChecks=1192442  nbValidityChecks=1209009  nbPropagations=763386  nbRevisions=6138573
90.05	     nbUselessRevisions=5433613  nbAssignments=12604  nbFailedAssignments=558  nbBacktracks=8952  nbVisitedNodes=14037
90.05	     nbRestartNogoods=27  mapSize=1386  nbInferences=214  nbTooLargeKeys=0
90.05	       =>  wckTime=86.807  cpuTime=86.27  mem=36M738
124.55	   
124.55	   search
124.55	     run=15  nbConstraintChecks=1575938  nbValidityChecks=1454174  nbPropagations=1040144  nbRevisions=8058768
124.55	     nbUselessRevisions=7077074  nbAssignments=17589  nbFailedAssignments=811  nbBacktracks=13334  nbVisitedNodes=19556
124.55	     nbRestartNogoods=33  mapSize=1912  nbInferences=241  nbTooLargeKeys=0
124.55	       =>  wckTime=121.31  cpuTime=120.61  mem=42M761
176.14	   
176.14	   search
176.14	     run=16  nbConstraintChecks=2076102  nbValidityChecks=1799894  nbPropagations=1411040  nbRevisions=10549445
176.14	     nbUselessRevisions=9194627  nbAssignments=24707  nbFailedAssignments=1194  nbBacktracks=19918  nbVisitedNodes=27415
176.14	     nbRestartNogoods=41  mapSize=2647  nbInferences=245  nbTooLargeKeys=0
176.14	       =>  wckTime=172.901  cpuTime=171.97  mem=48M784
248.63	   
248.63	   search
248.63	     run=17  nbConstraintChecks=2853521  nbValidityChecks=2328869  nbPropagations=1928657  nbRevisions=13998311
248.63	     nbUselessRevisions=12118982  nbAssignments=35273  nbFailedAssignments=1681  nbBacktracks=29837
248.63	     nbVisitedNodes=39021  nbRestartNogoods=47  mapSize=3683  nbInferences=251  nbTooLargeKeys=0
248.63	       =>  wckTime=245.394  cpuTime=244.11  mem=57M819
361.58	   
361.58	   search
361.58	     run=18  nbConstraintChecks=4298004  nbValidityChecks=3645402  nbPropagations=2734772  nbRevisions=19441059
361.58	     nbUselessRevisions=16739225  nbAssignments=51617  nbFailedAssignments=2939  nbBacktracks=44625
361.58	     nbVisitedNodes=57933  nbRestartNogoods=51  mapSize=6239  nbInferences=382  nbTooLargeKeys=0
361.58	       =>  wckTime=358.339  cpuTime=356.49  mem=29M342
520.06	   
520.06	   search
520.06	     run=19  nbConstraintChecks=7381863  nbValidityChecks=5514016  nbPropagations=4009518  nbRevisions=28011764
520.06	     nbUselessRevisions=23995764  nbAssignments=75570  nbFailedAssignments=4524  nbBacktracks=66829
520.06	     nbVisitedNodes=85417  nbRestartNogoods=63  mapSize=9755  nbInferences=443  nbTooLargeKeys=0
520.06	       =>  wckTime=516.82  cpuTime=514.22  mem=55M443
768.18	   
768.18	   search
768.18	     run=20  nbConstraintChecks=15266842  nbValidityChecks=10151050  nbPropagations=6748949  nbRevisions=45728759
768.18	     nbUselessRevisions=38832478  nbAssignments=112991  nbFailedAssignments=8328  nbBacktracks=100103
768.18	     nbVisitedNodes=131367  nbRestartNogoods=70  mapSize=18275  nbInferences=651  nbTooLargeKeys=0
768.18	       =>  wckTime=764.941  cpuTime=761.12  mem=53M159
1147.63	   
1147.63	   search
1147.63	     run=21  nbConstraintChecks=21692890  nbValidityChecks=14469580  nbPropagations=10693294  nbRevisions=71438419
1147.63	     nbUselessRevisions=60412469  nbAssignments=166717  nbFailedAssignments=11864  nbBacktracks=150012
1147.63	     nbVisitedNodes=192316  nbRestartNogoods=79  mapSize=25491  nbInferences=823  nbTooLargeKeys=0
1147.63	       =>  wckTime=1144.392  cpuTime=1138.74  mem=65M901
1712.92	   
1712.92	   search
1712.92	     run=22  nbConstraintChecks=30989009  nbValidityChecks=20888718  nbPropagations=16421926  nbRevisions=108749300
1712.92	     nbUselessRevisions=91755876  nbAssignments=249425  nbFailedAssignments=18869  nbBacktracks=224851
1712.92	     nbVisitedNodes=289763  nbRestartNogoods=86  mapSize=40220  nbInferences=1444  nbTooLargeKeys=0
1712.92	       =>  wckTime=1709.685  cpuTime=1701.33  mem=98M218

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

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

/proc/loadavg: 1.85 1.95 1.83 2/68 13476
/proc/meminfo: memFree=1656680/2055920 swapFree=4192812/4192956
[pid=13475] ppid=13473 vsize=172 CPUtime=0
/proc/13475/stat : 13475 (java) R 13473 13475 13032 0 -1 0 211 0 0 0 0 0 0 0 20 0 1 0 155929428 176128 19 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 1429869 0 0 4096 0 0 0 0 17 1 0 0
/proc/13475/statm: 43 24 18 14 0 3 0

[startup+0.106288 s]
/proc/loadavg: 1.85 1.95 1.83 2/68 13476
/proc/meminfo: memFree=1656680/2055920 swapFree=4192812/4192956
[pid=13475] ppid=13473 vsize=914988 CPUtime=0.09
/proc/13475/stat : 13475 (java) R 13473 13475 13032 0 -1 0 3089 0 1 0 8 1 0 0 21 0 8 0 155929428 936947712 2835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13475/statm: 228747 2835 1457 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.514338 s]
/proc/loadavg: 1.85 1.95 1.83 2/68 13476
/proc/meminfo: memFree=1656680/2055920 swapFree=4192812/4192956
[pid=13475] ppid=13473 vsize=915328 CPUtime=0.49
/proc/13475/stat : 13475 (java) S 13473 13475 13032 0 -1 0 6723 0 1 0 45 4 0 0 16 0 8 0 155929428 937295872 6462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13475/statm: 228832 6462 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33544 s]
/proc/loadavg: 1.78 1.94 1.83 2/75 13486
/proc/meminfo: memFree=1595376/2055920 swapFree=4192812/4192956
[pid=13475] ppid=13473 vsize=915640 CPUtime=1.3
/proc/13475/stat : 13475 (java) R 13473 13475 13032 0 -1 0 17716 0 1 0 111 19 0 0 17 0 8 0 155929428 937615360 17454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13475/statm: 228910 17454 2178 14 0 215380 0
[pid=13475/tid=13477] ppid=13473 vsize=915640 CPUtime=0.04
/proc/13475/task/13477/stat : 13477 (java) S 13473 13475 13032 0 -1 64 1103 0 0 0 4 0 0 0 17 0 8 0 155929431 937615360 17454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13478] ppid=13473 vsize=915640 CPUtime=0
/proc/13475/task/13478/stat : 13478 (java) S 13473 13475 13032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155929432 937615360 17454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13479] ppid=13473 vsize=915640 CPUtime=0
/proc/13475/task/13479/stat : 13479 (java) S 13473 13475 13032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155929432 937615360 17454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13480] ppid=13473 vsize=915640 CPUtime=0
/proc/13475/task/13480/stat : 13480 (java) S 13473 13475 13032 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155929435 937615360 17454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13481] ppid=13473 vsize=915640 CPUtime=0.16
/proc/13475/task/13481/stat : 13481 (java) S 13473 13475 13032 0 -1 64 422 0 0 0 16 0 0 0 16 0 8 0 155929435 937615360 17454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13482] ppid=13473 vsize=915640 CPUtime=0
/proc/13475/task/13482/stat : 13482 (java) S 13473 13475 13032 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155929435 937615360 17454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13483] ppid=13473 vsize=915640 CPUtime=0
/proc/13475/task/13483/stat : 13483 (java) S 13473 13475 13032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155929435 937615360 17454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915640

[startup+2.98363 s]
/proc/loadavg: 1.78 1.94 1.83 3/76 13490
/proc/meminfo: memFree=1570088/2055920 swapFree=4192812/4192956
[pid=13475] ppid=13473 vsize=915740 CPUtime=2.94
/proc/13475/stat : 13475 (java) R 13473 13475 13032 0 -1 0 22932 0 1 0 242 52 0 0 16 0 8 0 155929428 937717760 22649 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153444963 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13475/statm: 228935 22649 2500 14 0 215405 0
[pid=13475/tid=13477] ppid=13473 vsize=915740 CPUtime=0.21
/proc/13475/task/13477/stat : 13477 (java) S 13473 13475 13032 0 -1 64 5909 0 0 0 20 1 0 0 17 0 8 0 155929431 937717760 22649 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13478] ppid=13473 vsize=915740 CPUtime=0
/proc/13475/task/13478/stat : 13478 (java) S 13473 13475 13032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155929432 937717760 22649 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13479] ppid=13473 vsize=915740 CPUtime=0
/proc/13475/task/13479/stat : 13479 (java) S 13473 13475 13032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155929432 937717760 22649 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13480] ppid=13473 vsize=915740 CPUtime=0
/proc/13475/task/13480/stat : 13480 (java) S 13473 13475 13032 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155929435 937717760 22649 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13481] ppid=13473 vsize=915740 CPUtime=0.24
/proc/13475/task/13481/stat : 13481 (java) S 13473 13475 13032 0 -1 64 470 0 0 0 23 1 0 0 16 0 8 0 155929435 937717760 22649 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13482] ppid=13473 vsize=915740 CPUtime=0
/proc/13475/task/13482/stat : 13482 (java) S 13473 13475 13032 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155929435 937717760 22649 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13483] ppid=13473 vsize=915740 CPUtime=0
/proc/13475/task/13483/stat : 13483 (java) R 13473 13475 13032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155929435 937717760 22649 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915740

[startup+6.18401 s]
/proc/loadavg: 1.80 1.94 1.83 3/87 13528
/proc/meminfo: memFree=1449616/2055920 swapFree=4192812/4192956
[pid=13475] ppid=13473 vsize=915852 CPUtime=6.12
/proc/13475/stat : 13475 (java) R 13473 13475 13032 0 -1 0 23058 0 1 0 559 53 0 0 20 0 8 0 155929428 937832448 22771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074169342 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13475/statm: 228963 22771 2538 14 0 215433 0
[pid=13475/tid=13477] ppid=13473 vsize=915852 CPUtime=0.24
/proc/13475/task/13477/stat : 13477 (java) S 13473 13475 13032 0 -1 64 5910 0 0 0 23 1 0 0 17 0 8 0 155929431 937832448 22771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13478] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13478/stat : 13478 (java) S 13473 13475 13032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155929432 937832448 22771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13479] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13479/stat : 13479 (java) S 13473 13475 13032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155929432 937832448 22771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13480] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13480/stat : 13480 (java) S 13473 13475 13032 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155929435 937832448 22771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13481] ppid=13473 vsize=915852 CPUtime=0.34
/proc/13475/task/13481/stat : 13481 (java) S 13473 13475 13032 0 -1 64 525 0 0 0 32 2 0 0 16 0 8 0 155929435 937832448 22771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13482] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13482/stat : 13482 (java) S 13473 13475 13032 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155929435 937832448 22771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13483] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13483/stat : 13483 (java) S 13473 13475 13032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155929435 937832448 22771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915852

[startup+12.6668 s]
/proc/loadavg: 1.81 1.94 1.83 3/87 13528
/proc/meminfo: memFree=1248088/2055920 swapFree=4192812/4192956
[pid=13475] ppid=13473 vsize=915852 CPUtime=12.57
/proc/13475/stat : 13475 (java) R 13473 13475 13032 0 -1 0 23066 0 1 0 1204 53 0 0 25 0 8 0 155929428 937832448 22776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074182024 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13475/statm: 228963 22776 2538 14 0 215433 0
[pid=13475/tid=13477] ppid=13473 vsize=915852 CPUtime=0.24
/proc/13475/task/13477/stat : 13477 (java) S 13473 13475 13032 0 -1 64 5910 0 0 0 23 1 0 0 17 0 8 0 155929431 937832448 22776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13478] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13478/stat : 13478 (java) S 13473 13475 13032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155929432 937832448 22776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13479] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13479/stat : 13479 (java) S 13473 13475 13032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155929432 937832448 22776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13480] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13480/stat : 13480 (java) S 13473 13475 13032 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155929435 937832448 22776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13481] ppid=13473 vsize=915852 CPUtime=0.35
/proc/13475/task/13481/stat : 13481 (java) S 13473 13475 13032 0 -1 64 531 0 0 0 33 2 0 0 15 0 8 0 155929435 937832448 22776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13482] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13482/stat : 13482 (java) S 13473 13475 13032 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155929435 937832448 22776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13483] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13483/stat : 13483 (java) S 13473 13475 13032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155929435 937832448 22776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915852

[startup+25.5263 s]
/proc/loadavg: 1.84 1.94 1.83 3/87 13528
/proc/meminfo: memFree=1183896/2055920 swapFree=4192812/4192956
[pid=13475] ppid=13473 vsize=915852 CPUtime=25.37
/proc/13475/stat : 13475 (java) R 13473 13475 13032 0 -1 0 23079 0 1 0 2484 53 0 0 25 0 8 0 155929428 937832448 22784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074220323 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13475/statm: 228963 22784 2538 14 0 215433 0
[pid=13475/tid=13477] ppid=13473 vsize=915852 CPUtime=0.24
/proc/13475/task/13477/stat : 13477 (java) S 13473 13475 13032 0 -1 64 5910 0 0 0 23 1 0 0 17 0 8 0 155929431 937832448 22784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13478] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13478/stat : 13478 (java) S 13473 13475 13032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155929432 937832448 22784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13479] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13479/stat : 13479 (java) S 13473 13475 13032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155929432 937832448 22784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13480] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13480/stat : 13480 (java) S 13473 13475 13032 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155929435 937832448 22784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13481] ppid=13473 vsize=915852 CPUtime=0.36
/proc/13475/task/13481/stat : 13481 (java) S 13473 13475 13032 0 -1 64 541 0 0 0 34 2 0 0 15 0 8 0 155929435 937832448 22784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13482] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13482/stat : 13482 (java) S 13473 13475 13032 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155929435 937832448 22784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13483] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13483/stat : 13483 (java) S 13473 13475 13032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155929435 937832448 22784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915852

[startup+51.1593 s]
/proc/loadavg: 1.96 1.96 1.84 3/87 13528
/proc/meminfo: memFree=1183768/2055920 swapFree=4192812/4192956
[pid=13475] ppid=13473 vsize=915852 CPUtime=50.86
/proc/13475/stat : 13475 (java) R 13473 13475 13032 0 -1 0 23091 0 1 0 5033 53 0 0 25 0 8 0 155929428 937832448 22790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074169306 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13475/statm: 228963 22790 2538 14 0 215433 0
[pid=13475/tid=13477] ppid=13473 vsize=915852 CPUtime=0.24
/proc/13475/task/13477/stat : 13477 (java) S 13473 13475 13032 0 -1 64 5910 0 0 0 23 1 0 0 16 0 8 0 155929431 937832448 22790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13478] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13478/stat : 13478 (java) S 13473 13475 13032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155929432 937832448 22790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13479] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13479/stat : 13479 (java) S 13473 13475 13032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155929432 937832448 22790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13480] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13480/stat : 13480 (java) S 13473 13475 13032 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155929435 937832448 22790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13481] ppid=13473 vsize=915852 CPUtime=0.37
/proc/13475/task/13481/stat : 13481 (java) S 13473 13475 13032 0 -1 64 548 0 0 0 35 2 0 0 16 0 8 0 155929435 937832448 22790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13482] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13482/stat : 13482 (java) S 13473 13475 13032 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155929435 937832448 22790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13483] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13483/stat : 13483 (java) S 13473 13475 13032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155929435 937832448 22790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 915852

[startup+102.423 s]
/proc/loadavg: 1.98 1.97 1.84 3/87 13528
/proc/meminfo: memFree=1183832/2055920 swapFree=4192812/4192956
[pid=13475] ppid=13473 vsize=915852 CPUtime=101.88
/proc/13475/stat : 13475 (java) R 13473 13475 13032 0 -1 0 23093 0 1 0 10135 53 0 0 25 0 8 0 155929428 937832448 22790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074184244 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13475/statm: 228963 22790 2538 14 0 215433 0
[pid=13475/tid=13477] ppid=13473 vsize=915852 CPUtime=0.24
/proc/13475/task/13477/stat : 13477 (java) S 13473 13475 13032 0 -1 64 5910 0 0 0 23 1 0 0 16 0 8 0 155929431 937832448 22790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13478] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13478/stat : 13478 (java) S 13473 13475 13032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155929432 937832448 22790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13479] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13479/stat : 13479 (java) S 13473 13475 13032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155929432 937832448 22790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13480] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13480/stat : 13480 (java) S 13473 13475 13032 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155929435 937832448 22790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13481] ppid=13473 vsize=915852 CPUtime=0.38
/proc/13475/task/13481/stat : 13481 (java) S 13473 13475 13032 0 -1 64 548 0 0 0 36 2 0 0 16 0 8 0 155929435 937832448 22790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13482] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13482/stat : 13482 (java) S 13473 13475 13032 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155929435 937832448 22790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13483] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13483/stat : 13483 (java) S 13473 13475 13032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155929435 937832448 22790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 915852

[startup+162.44 s]
/proc/loadavg: 2.06 1.99 1.85 3/87 13528
/proc/meminfo: memFree=1183896/2055920 swapFree=4192812/4192956
[pid=13475] ppid=13473 vsize=915852 CPUtime=161.62
/proc/13475/stat : 13475 (java) R 13473 13475 13032 0 -1 0 23093 0 1 0 16109 53 0 0 25 0 8 0 155929428 937832448 22790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074169342 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1415.96
Current children cumulated vsize (KiB) 915852

[startup+1482.74 s]
/proc/loadavg: 2.00 2.00 1.93 3/87 13528
/proc/meminfo: memFree=1124760/2055920 swapFree=4192812/4192956
[pid=13475] ppid=13473 vsize=915852 CPUtime=1475.69
/proc/13475/stat : 13475 (java) R 13473 13475 13032 0 -1 0 31816 0 1 0 147510 59 0 0 25 0 8 0 155929428 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074159368 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13475/statm: 228963 31508 2538 14 0 215433 0
[pid=13475/tid=13477] ppid=13473 vsize=915852 CPUtime=0.41
/proc/13475/task/13477/stat : 13477 (java) S 13473 13475 13032 0 -1 64 14626 0 0 0 36 5 0 0 16 0 8 0 155929431 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13478] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13478/stat : 13478 (java) S 13473 13475 13032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155929432 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13479] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13479/stat : 13479 (java) S 13473 13475 13032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155929432 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13480] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13480/stat : 13480 (java) S 13473 13475 13032 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155929435 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13481] ppid=13473 vsize=915852 CPUtime=0.38
/proc/13475/task/13481/stat : 13481 (java) S 13473 13475 13032 0 -1 64 550 0 0 0 36 2 0 0 16 0 8 0 155929435 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13482] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13482/stat : 13482 (java) S 13473 13475 13032 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155929435 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13483] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13483/stat : 13483 (java) S 13473 13475 13032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155929435 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1475.69
Current children cumulated vsize (KiB) 915852

[startup+1542.75 s]
/proc/loadavg: 2.00 2.00 1.93 3/87 13528
/proc/meminfo: memFree=1124696/2055920 swapFree=4192812/4192956
[pid=13475] ppid=13473 vsize=915852 CPUtime=1535.41
/proc/13475/stat : 13475 (java) R 13473 13475 13032 0 -1 0 31816 0 1 0 153482 59 0 0 25 0 8 0 155929428 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074239331 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13475/statm: 228963 31508 2538 14 0 215433 0
[pid=13475/tid=13477] ppid=13473 vsize=915852 CPUtime=0.41
/proc/13475/task/13477/stat : 13477 (java) S 13473 13475 13032 0 -1 64 14626 0 0 0 36 5 0 0 16 0 8 0 155929431 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13478] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13478/stat : 13478 (java) S 13473 13475 13032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155929432 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13479] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13479/stat : 13479 (java) S 13473 13475 13032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155929432 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13480] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13480/stat : 13480 (java) S 13473 13475 13032 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155929435 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13481] ppid=13473 vsize=915852 CPUtime=0.38
/proc/13475/task/13481/stat : 13481 (java) S 13473 13475 13032 0 -1 64 550 0 0 0 36 2 0 0 16 0 8 0 155929435 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13482] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13482/stat : 13482 (java) S 13473 13475 13032 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155929435 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13483] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13483/stat : 13483 (java) S 13473 13475 13032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155929435 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.41
Current children cumulated vsize (KiB) 915852

[startup+1602.76 s]
/proc/loadavg: 2.00 2.00 1.93 3/87 13528
/proc/meminfo: memFree=1124632/2055920 swapFree=4192812/4192956
[pid=13475] ppid=13473 vsize=915852 CPUtime=1595.14
/proc/13475/stat : 13475 (java) R 13473 13475 13032 0 -1 0 31816 0 1 0 159455 59 0 0 25 0 8 0 155929428 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074238446 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13475/statm: 228963 31508 2538 14 0 215433 0
[pid=13475/tid=13477] ppid=13473 vsize=915852 CPUtime=0.41
/proc/13475/task/13477/stat : 13477 (java) S 13473 13475 13032 0 -1 64 14626 0 0 0 36 5 0 0 16 0 8 0 155929431 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13478] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13478/stat : 13478 (java) S 13473 13475 13032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155929432 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13479] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13479/stat : 13479 (java) S 13473 13475 13032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155929432 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13480] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13480/stat : 13480 (java) S 13473 13475 13032 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155929435 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13481] ppid=13473 vsize=915852 CPUtime=0.38
/proc/13475/task/13481/stat : 13481 (java) S 13473 13475 13032 0 -1 64 550 0 0 0 36 2 0 0 16 0 8 0 155929435 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13482] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13482/stat : 13482 (java) S 13473 13475 13032 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155929435 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13483] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13483/stat : 13483 (java) S 13473 13475 13032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155929435 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.14
Current children cumulated vsize (KiB) 915852

[startup+1662.77 s]
/proc/loadavg: 2.05 2.01 1.93 3/87 13528
/proc/meminfo: memFree=1116952/2055920 swapFree=4192812/4192956
[pid=13475] ppid=13473 vsize=915852 CPUtime=1654.87
/proc/13475/stat : 13475 (java) R 13473 13475 13032 0 -1 0 31816 0 1 0 165428 59 0 0 25 0 8 0 155929428 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074238468 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13475/statm: 228963 31508 2538 14 0 215433 0
[pid=13475/tid=13477] ppid=13473 vsize=915852 CPUtime=0.41
/proc/13475/task/13477/stat : 13477 (java) S 13473 13475 13032 0 -1 64 14626 0 0 0 36 5 0 0 16 0 8 0 155929431 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13478] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13478/stat : 13478 (java) S 13473 13475 13032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155929432 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13479] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13479/stat : 13479 (java) S 13473 13475 13032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155929432 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13480] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13480/stat : 13480 (java) S 13473 13475 13032 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155929435 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13481] ppid=13473 vsize=915852 CPUtime=0.38
/proc/13475/task/13481/stat : 13481 (java) S 13473 13475 13032 0 -1 64 550 0 0 0 36 2 0 0 16 0 8 0 155929435 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13482] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13482/stat : 13482 (java) S 13473 13475 13032 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155929435 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13483] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13483/stat : 13483 (java) S 13473 13475 13032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155929435 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.87
Current children cumulated vsize (KiB) 915852

[startup+1722.79 s]
/proc/loadavg: 2.02 2.01 1.93 3/87 13528
/proc/meminfo: memFree=1116888/2055920 swapFree=4192812/4192956
[pid=13475] ppid=13473 vsize=915852 CPUtime=1714.6
/proc/13475/stat : 13475 (java) R 13473 13475 13032 0 -1 0 31816 0 1 0 171401 59 0 0 25 0 8 0 155929428 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074169342 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13475/statm: 228963 31508 2538 14 0 215433 0
[pid=13475/tid=13477] ppid=13473 vsize=915852 CPUtime=0.41
/proc/13475/task/13477/stat : 13477 (java) S 13473 13475 13032 0 -1 64 14626 0 0 0 36 5 0 0 16 0 8 0 155929431 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13478] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13478/stat : 13478 (java) S 13473 13475 13032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155929432 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13479] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13479/stat : 13479 (java) S 13473 13475 13032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155929432 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13480] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13480/stat : 13480 (java) S 13473 13475 13032 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155929435 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13481] ppid=13473 vsize=915852 CPUtime=0.38
/proc/13475/task/13481/stat : 13481 (java) S 13473 13475 13032 0 -1 64 550 0 0 0 36 2 0 0 16 0 8 0 155929435 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13482] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13482/stat : 13482 (java) S 13473 13475 13032 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155929435 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13483] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13483/stat : 13483 (java) S 13473 13475 13032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155929435 937832448 31508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.6
Current children cumulated vsize (KiB) 915852

[startup+1782.8 s]
/proc/loadavg: 2.00 2.00 1.93 3/87 13528
/proc/meminfo: memFree=1107096/2055920 swapFree=4192812/4192956
[pid=13475] ppid=13473 vsize=915852 CPUtime=1774.33
/proc/13475/stat : 13475 (java) R 13473 13475 13032 0 -1 0 34256 0 1 0 177373 60 0 0 25 0 8 0 155929428 937832448 33947 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074239331 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13475/statm: 228963 33947 2538 14 0 215433 0
[pid=13475/tid=13477] ppid=13473 vsize=915852 CPUtime=0.45
/proc/13475/task/13477/stat : 13477 (java) S 13473 13475 13032 0 -1 64 17065 0 0 0 39 6 0 0 16 0 8 0 155929431 937832448 33947 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13478] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13478/stat : 13478 (java) S 13473 13475 13032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155929432 937832448 33947 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13479] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13479/stat : 13479 (java) S 13473 13475 13032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155929432 937832448 33947 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13480] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13480/stat : 13480 (java) S 13473 13475 13032 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155929435 937832448 33947 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13481] ppid=13473 vsize=915852 CPUtime=0.38
/proc/13475/task/13481/stat : 13481 (java) S 13473 13475 13032 0 -1 64 550 0 0 0 36 2 0 0 16 0 8 0 155929435 937832448 33947 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13482] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13482/stat : 13482 (java) S 13473 13475 13032 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155929435 937832448 33947 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13483] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13483/stat : 13483 (java) S 13473 13475 13032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155929435 937832448 33947 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1774.33
Current children cumulated vsize (KiB) 915852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.64 s]
/proc/loadavg: 2.16 2.03 1.94 3/87 13528
/proc/meminfo: memFree=1107096/2055920 swapFree=4192812/4192956
[pid=13475] ppid=13473 vsize=915852 CPUtime=1800.05
/proc/13475/stat : 13475 (java) R 13473 13475 13032 0 -1 0 34256 0 1 0 179945 60 0 0 25 0 8 0 155929428 937832448 33947 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074239331 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13475/statm: 228963 33947 2538 14 0 215433 0
[pid=13475/tid=13477] ppid=13473 vsize=915852 CPUtime=0.45
/proc/13475/task/13477/stat : 13477 (java) S 13473 13475 13032 0 -1 64 17065 0 0 0 39 6 0 0 16 0 8 0 155929431 937832448 33947 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13478] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13478/stat : 13478 (java) S 13473 13475 13032 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155929432 937832448 33947 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13479] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13479/stat : 13479 (java) S 13473 13475 13032 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155929432 937832448 33947 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13480] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13480/stat : 13480 (java) S 13473 13475 13032 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155929435 937832448 33947 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13481] ppid=13473 vsize=915852 CPUtime=0.38
/proc/13475/task/13481/stat : 13481 (java) S 13473 13475 13032 0 -1 64 550 0 0 0 36 2 0 0 16 0 8 0 155929435 937832448 33947 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13475/tid=13482] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13482/stat : 13482 (java) S 13473 13475 13032 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155929435 937832448 33947 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13475/tid=13483] ppid=13473 vsize=915852 CPUtime=0
/proc/13475/task/13483/stat : 13483 (java) S 13473 13475 13032 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155929435 937832448 33947 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915852

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

Child status: 143
Real time (s): 1808.69
CPU time (s): 1800.1
CPU user time (s): 1799.47
CPU system time (s): 0.629904
CPU usage (%): 99.5253
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.47
system time used= 0.629904
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34272
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= 37987
involuntary context switches= 56370

runsolver used 2.14467 s user time and 5.87311 s system time

The end

Launcher Data (download as text)

Begin job on node35 on Sat Jan  6 09:22:38 UTC 2007


IDJOB= 210828
IDBENCH= 4649
FILE ID= node35/210828-1168075356

PBS_JOBID= 3476001

Free space on /tmp= 66558 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/ooo-burch-dill-4-accl.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210828-1168075356/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node35/watcher-210828-1168075356 -o ROOT/results/node35/solver-210828-1168075356 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210828-1168075356/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  86c8ce99ba43ad8e61bc7c9612a8229b

RANDOM SEED= 569667723

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:       1657160 kB
Buffers:         26672 kB
Cached:         275112 kB
SwapCached:          0 kB
Active:          81392 kB
Inactive:       241480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1657160 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3344 kB
Writeback:           0 kB
Mapped:          31320 kB
Slab:            61592 kB
Committed_AS:  3037756 kB
PageTables:       1620 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= 66539 MiB



End job on node35 on Sat Jan  6 09:52:47 UTC 2007