Trace number 280378

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
AbsconMax 109 EPFCMSAT (TO) 2400.11 2413.73

General information on the benchmark

Namerandom/rand-10-20-10/
rand-10-20-10-5-10000-10_ext.xml
MD5SUM64198b128887c57ba056de06910900e2
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints3
Best CPU time to get the best result obtained on this benchmark2400.11
Satisfiable
(Un)Satisfiability was proved
Number of variables20
Number of constraints5
Maximum constraint arity10
Maximum domain size10
Number of constraints which are defined in extension5
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.33	   
0.33	Abscon 109 (November, 2006)
0.33	   
0.33	   configuration
0.33	     name=epfc.xml
0.36	   
0.36	   instance
0.36	     name=/tmp/evaluation/280378-1169305400/unknown.xml
0.40	   
0.40	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.43	     nbVariables=20  nbDomainTypes=1  minDomainSize=10  maxDomainSize=10
0.43	       =>  wckTime=0.099  cpuTime=0.09  mem=6M887
0.43	   
0.43	   relations being loaded...
0.65	   
0.65	   constraints being loaded...
0.75	     nbConstraints=5  nbRelationTypes=5  nbDisconnectedVariables=1  nbExtensionStructures=5
0.75	     nbSharedExtensionStructures=0  nbUnbuiltConflictsStructures=5  nbSharedBinaryRepresentations=0  maxDegree=5
0.75	     maxArity=10
0.75	       =>  wckTime=0.419  cpuTime=0.38  mem=38M338
0.82	   
0.82	   solver LocalSearchSolver being built... 
0.86	       =>  wckTime=0.527  cpuTime=0.43  mem=10M982
0.87	
0.87	s SATISFIABLE
0.87	o 0
0.87	c 5
1.87	o 1
1.87	c 4
2.90	o 2
2.90	c 3
6.01	   
6.01	   search
6.01	     run=0  nbConstraintChecks=4169500  nbAssignments=10000
6.01	       =>  wckTime=5.151  cpuTime=5.08  mem=10M982
10.97	   
10.97	   search
10.97	     run=1  nbConstraintChecks=8277703  nbAssignments=20000
10.97	       =>  wckTime=10.108  cpuTime=9.98  mem=10M982
15.99	   
15.99	   search
15.99	     run=2  nbConstraintChecks=12395482  nbAssignments=30000
15.99	       =>  wckTime=15.13  cpuTime=14.96  mem=10M982
20.98	   
20.98	   search
20.98	     run=3  nbConstraintChecks=16512766  nbAssignments=40000
20.98	       =>  wckTime=20.121  cpuTime=19.91  mem=10M982
25.95	   
25.95	   search
25.95	     run=4  nbConstraintChecks=20629843  nbAssignments=50000
25.95	       =>  wckTime=25.092  cpuTime=24.83  mem=10M982
30.95	   
30.95	   search
30.95	     run=5  nbConstraintChecks=24746983  nbAssignments=60000
30.95	       =>  wckTime=30.093  cpuTime=29.79  mem=10M982
33.19	   
33.19	   search
33.19	     run=6  nbConstraintChecks=26583440  nbAssignments=64461
33.19	       =>  wckTime=32.335  cpuTime=32.01  mem=10M982
33.20	   
33.20	   global
33.20	     nbConstraintChecks=26583440  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
33.20	     solvingWckTime=32.333  solvingCpuTime=32.01  expiredTime=no  totalExploration=no  nbFoundSolutions=0
33.20	     globalCpuTime=32.48
33.20	       =>  wckTime=32.862  cpuTime=32.44  mem=10M982
33.20	   
33.20	   solver IterativeSystematicSolver being built... 
33.34	       =>  wckTime=33.004  cpuTime=32.54  mem=21M787
33.67	   
33.67	   preprocessing
33.67	     nbConstraintChecks=266072  nbValidityChecks=275912  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
33.67	     nbRemovedValues=0  detectedInconsistency=no
33.67	       =>  wckTime=0.331  cpuTime=0.31  mem=21M787
33.78	   
33.78	   search
33.78	     run=0  nbConstraintChecks=78225  nbValidityChecks=87610  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
33.78	     nbAssignments=26  nbFailedAssignments=9  nbBacktracks=10  nbVisitedNodes=37  nbRestartNogoods=0
33.78	       =>  wckTime=0.436  cpuTime=0.41  mem=22M750
33.96	   
33.96	   search
33.96	     run=1  nbConstraintChecks=205489  nbValidityChecks=243757  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
33.96	     nbAssignments=84  nbFailedAssignments=47  nbBacktracks=25  nbVisitedNodes=141  nbRestartNogoods=4
33.96	       =>  wckTime=0.62  cpuTime=0.57  mem=22M750
34.48	   
34.48	   search
34.48	     run=2  nbConstraintChecks=641423  nbValidityChecks=715020  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
34.48	     nbAssignments=152  nbFailedAssignments=86  nbBacktracks=47  nbVisitedNodes=258  nbRestartNogoods=6
34.48	       =>  wckTime=1.138  cpuTime=1.09  mem=22M750
34.69	   
34.69	   search
34.69	     run=3  nbConstraintChecks=814394  nbValidityChecks=921476  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
34.69	     nbAssignments=226  nbFailedAssignments=122  nbBacktracks=80  nbVisitedNodes=382  nbRestartNogoods=15
34.69	       =>  wckTime=1.353  cpuTime=1.3  mem=22M750
34.97	   
34.97	   search
34.97	     run=4  nbConstraintChecks=1037930  nbValidityChecks=1203733  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
34.97	     nbAssignments=350  nbFailedAssignments=191  nbBacktracks=130  nbVisitedNodes=599  nbRestartNogoods=19
34.97	       =>  wckTime=1.634  cpuTime=1.59  mem=22M750
36.25	   
36.25	   search
36.25	     run=5  nbConstraintChecks=2063159  nbValidityChecks=2360242  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
36.25	     nbAssignments=598  nbFailedAssignments=358  nbBacktracks=205  nbVisitedNodes=1064  nbRestartNogoods=30
36.25	       =>  wckTime=2.914  cpuTime=2.84  mem=22M750
37.53	   
37.53	   search
37.53	     run=6  nbConstraintChecks=3153510  nbValidityChecks=3618079  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
37.53	     nbAssignments=931  nbFailedAssignments=572  nbBacktracks=318  nbVisitedNodes=1690  nbRestartNogoods=41
37.53	       =>  wckTime=4.187  cpuTime=4.1  mem=22M750
38.37	   
38.37	   search
38.37	     run=7  nbConstraintChecks=3800834  nbValidityChecks=4517028  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
38.37	     nbAssignments=1405  nbFailedAssignments=870  nbBacktracks=488  nbVisitedNodes=2576  nbRestartNogoods=48
38.37	       =>  wckTime=5.031  cpuTime=4.94  mem=22M750
41.60	   
41.60	   search
41.60	     run=8  nbConstraintChecks=6507806  nbValidityChecks=7649869  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
41.60	     nbAssignments=2210  nbFailedAssignments=1413  nbBacktracks=744  nbVisitedNodes=4108  nbRestartNogoods=61
41.60	       =>  wckTime=8.258  cpuTime=8.12  mem=22M750
43.45	   
43.45	   search
43.45	     run=9  nbConstraintChecks=7957850  nbValidityChecks=9706992  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
43.45	     nbAssignments=3352  nbFailedAssignments=2163  nbBacktracks=1130  nbVisitedNodes=6249  nbRestartNogoods=80
43.45	       =>  wckTime=10.114  cpuTime=9.95  mem=22M750
59.52	   
59.52	   search
59.52	     run=10  nbConstraintChecks=22265168  nbValidityChecks=24924299  nbPropagations=0  nbRevisions=0
59.52	     nbUselessRevisions=0  nbAssignments=5114  nbFailedAssignments=3341  nbBacktracks=1708  nbVisitedNodes=9604
59.52	     nbRestartNogoods=89
59.52	       =>  wckTime=26.179  cpuTime=25.86  mem=22M750
63.59	   
63.59	   search
63.59	     run=11  nbConstraintChecks=25478637  nbValidityChecks=29441201  nbPropagations=0  nbRevisions=0
63.59	     nbUselessRevisions=0  nbAssignments=7586  nbFailedAssignments=4942  nbBacktracks=2572  nbVisitedNodes=14286
63.59	     nbRestartNogoods=101
63.59	       =>  wckTime=30.256  cpuTime=29.89  mem=22M750
74.32	   
74.32	   search
74.32	     run=12  nbConstraintChecks=34068578  nbValidityChecks=39888140  nbPropagations=0  nbRevisions=0
74.32	     nbUselessRevisions=0  nbAssignments=11242  nbFailedAssignments=7296  nbBacktracks=3869  nbVisitedNodes=21257
74.32	     nbRestartNogoods=110
74.32	       =>  wckTime=40.983  cpuTime=40.53  mem=22M750
88.11	   
88.11	   search
88.11	     run=13  nbConstraintChecks=45376118  nbValidityChecks=54394775  nbPropagations=0  nbRevisions=0
88.11	     nbUselessRevisions=0  nbAssignments=17410  nbFailedAssignments=11512  nbBacktracks=5816  nbVisitedNodes=33039
88.11	     nbRestartNogoods=132
88.11	       =>  wckTime=54.768  cpuTime=54.18  mem=22M750
112.33	   
112.33	   search
112.33	     run=14  nbConstraintChecks=65484202  nbValidityChecks=78863268  nbPropagations=0  nbRevisions=0
112.33	     nbUselessRevisions=0  nbAssignments=25906  nbFailedAssignments=17084  nbBacktracks=8735  nbVisitedNodes=49217
112.33	     nbRestartNogoods=147
112.33	       =>  wckTime=78.99  cpuTime=78.18  mem=22M750
144.46	   
144.46	   search
144.46	     run=15  nbConstraintChecks=92356851  nbValidityChecks=112268998  nbPropagations=0  nbRevisions=0
144.46	     nbUselessRevisions=0  nbAssignments=38562  nbFailedAssignments=25356  nbBacktracks=13113  nbVisitedNodes=73416
144.46	     nbRestartNogoods=166
144.46	       =>  wckTime=111.124  cpuTime=110.02  mem=22M750
201.30	   
201.30	   search
201.30	     run=16  nbConstraintChecks=139614520  nbValidityChecks=169057532  nbPropagations=0  nbRevisions=0
201.30	     nbUselessRevisions=0  nbAssignments=56973  nbFailedAssignments=37193  nbBacktracks=19681  nbVisitedNodes=108317
201.30	     nbRestartNogoods=183
201.30	       =>  wckTime=167.961  cpuTime=166.34  mem=22M750
297.76	   
297.76	   search
297.76	     run=17  nbConstraintChecks=221485406  nbValidityChecks=265819712  nbPropagations=0  nbRevisions=0
297.76	     nbUselessRevisions=0  nbAssignments=85838  nbFailedAssignments=56200  nbBacktracks=29533  nbVisitedNodes=163730
297.76	     nbRestartNogoods=193
297.76	       =>  wckTime=264.423  cpuTime=261.91  mem=22M750
386.86	   
386.86	   search
386.86	     run=18  nbConstraintChecks=294553308  nbValidityChecks=360088200  nbPropagations=0  nbRevisions=0
386.86	     nbUselessRevisions=0  nbAssignments=127563  nbFailedAssignments=83140  nbBacktracks=44312  nbVisitedNodes=242770
386.86	     nbRestartNogoods=215
386.86	       =>  wckTime=353.52  cpuTime=350.2  mem=22M750
640.83	   
640.83	   search
640.83	     run=19  nbConstraintChecks=509583649  nbValidityChecks=609208133  nbPropagations=0  nbRevisions=0
640.83	     nbUselessRevisions=0  nbAssignments=193427  nbFailedAssignments=126832  nbBacktracks=66480  nbVisitedNodes=369399
640.84	     nbRestartNogoods=234
640.84	       =>  wckTime=607.497  cpuTime=601.85  mem=22M750
896.53	   
896.53	   search
896.53	     run=20  nbConstraintChecks=725368624  nbValidityChecks=873276018  nbPropagations=0  nbRevisions=0
896.53	     nbUselessRevisions=0  nbAssignments=288110  nbFailedAssignments=188256  nbBacktracks=99732  nbVisitedNodes=550051
896.53	     nbRestartNogoods=248
896.53	       =>  wckTime=863.189  cpuTime=855.19  mem=22M750
1054.68	o 3
1054.68	c 2
1374.58	   
1374.58	   search
1374.58	     run=21  nbConstraintChecks=1130482346  nbValidityChecks=1359659639  nbPropagations=0  nbRevisions=0
1374.58	     nbUselessRevisions=0  nbAssignments=433971  nbFailedAssignments=284232  nbBacktracks=149610  nbVisitedNodes=828092
1374.58	     nbRestartNogoods=263
1374.58	       =>  wckTime=1341.242  cpuTime=1329.0  mem=22M750
1975.08	   
1975.08	   search
1975.08	     run=22  nbConstraintChecks=1676378694  nbValidityChecks=2034844914  nbPropagations=0  nbRevisions=0
1975.08	     nbUselessRevisions=0  nbAssignments=649625  nbFailedAssignments=425064  nbBacktracks=224428  nbVisitedNodes=1240025
1975.08	     nbRestartNogoods=281
1975.08	       =>  wckTime=1941.74  cpuTime=1928.83  mem=22M750
2413.68	v 0 3 1 6 6 9 4 0 1 7 2 5 2 6 7 7 7 3 0 2

Verifier Data (download as text)

2 unsatisfied constraints, 3 satisfied constraints

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node15/watcher-280378-1169305400 -o ROOT/results/node15/solver-280378-1169305400 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280378-1169305400/unknown.xml 

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

/proc/loadavg: 2.00 2.00 2.00 4/93 20953
/proc/meminfo: memFree=1399584/2055920 swapFree=4173628/4192956
[pid=20952] ppid=20950 vsize=18540 CPUtime=0
/proc/20952/stat : 20952 (runsolver) R 20950 20952 20165 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 278934814 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 240472616231 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/20952/statm: 4635 279 244 17 0 2626 0

[startup+0.10393 s]
/proc/loadavg: 2.00 2.00 2.00 4/93 20953
/proc/meminfo: memFree=1399584/2055920 swapFree=4173628/4192956
[pid=20952] ppid=20950 vsize=911488 CPUtime=0.07
/proc/20952/stat : 20952 (java) R 20950 20952 20165 0 -1 0 2629 0 1 0 6 1 0 0 20 0 8 0 278934814 933363712 2376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153785378 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20952/statm: 227872 2376 1282 14 0 215051 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 911488

[startup+0.515999 s]
/proc/loadavg: 2.00 2.00 2.00 4/93 20953
/proc/meminfo: memFree=1399584/2055920 swapFree=4173628/4192956
[pid=20952] ppid=20950 vsize=915332 CPUtime=0.47
/proc/20952/stat : 20952 (java) R 20950 20952 20165 0 -1 0 7694 0 1 0 44 3 0 0 18 0 8 0 278934814 937299968 7433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073559596 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20952/statm: 228833 7433 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915332

[startup+1.34114 s]
/proc/loadavg: 2.08 2.02 2.01 3/100 20960
/proc/meminfo: memFree=1347432/2055920 swapFree=4173628/4192956
[pid=20952] ppid=20950 vsize=915436 CPUtime=1.28
/proc/20952/stat : 20952 (java) R 20950 20952 20165 0 -1 0 15682 0 1 0 119 9 0 0 25 0 8 0 278934814 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073636384 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20952/statm: 228859 15420 2480 14 0 215329 0
[pid=20952/tid=20954] ppid=20950 vsize=915436 CPUtime=0.04
/proc/20952/task/20954/stat : 20954 (java) S 20950 20952 20165 0 -1 64 1535 0 0 0 4 0 0 0 16 0 8 0 278934820 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20955] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20955/stat : 20955 (java) S 20950 20952 20165 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278934820 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20956] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20956/stat : 20956 (java) S 20950 20952 20165 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278934821 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20957] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20957/stat : 20957 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278934824 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20958] ppid=20950 vsize=915436 CPUtime=0.1
/proc/20952/task/20958/stat : 20958 (java) S 20950 20952 20165 0 -1 64 318 0 0 0 10 0 0 0 16 0 8 0 278934824 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20959] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20959/stat : 20959 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278934824 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20960] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20960/stat : 20960 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278934824 937406464 15420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915436

[startup+2.97842 s]
/proc/loadavg: 2.08 2.02 2.01 3/100 20960
/proc/meminfo: memFree=1347368/2055920 swapFree=4173628/4192956
[pid=20952] ppid=20950 vsize=915436 CPUtime=2.91
/proc/20952/stat : 20952 (java) R 20950 20952 20165 0 -1 0 15686 0 1 0 270 21 0 0 25 0 8 0 278934814 937406464 15423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155123436 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20952/statm: 228859 15423 2480 14 0 215329 0
[pid=20952/tid=20954] ppid=20950 vsize=915436 CPUtime=0.04
/proc/20952/task/20954/stat : 20954 (java) S 20950 20952 20165 0 -1 64 1535 0 0 0 4 0 0 0 16 0 8 0 278934820 937406464 15423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20955] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20955/stat : 20955 (java) S 20950 20952 20165 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278934820 937406464 15423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20956] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20956/stat : 20956 (java) S 20950 20952 20165 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278934821 937406464 15423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20957] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20957/stat : 20957 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278934824 937406464 15423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20958] ppid=20950 vsize=915436 CPUtime=0.1
/proc/20952/task/20958/stat : 20958 (java) S 20950 20952 20165 0 -1 64 321 0 0 0 10 0 0 0 16 0 8 0 278934824 937406464 15423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20959] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20959/stat : 20959 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278934824 937406464 15423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20960] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20960/stat : 20960 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278934824 937406464 15423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915436

[startup+6.27598 s]
/proc/loadavg: 2.07 2.02 2.00 3/100 20960
/proc/meminfo: memFree=1347368/2055920 swapFree=4173628/4192956
[pid=20952] ppid=20950 vsize=915436 CPUtime=6.18
/proc/20952/stat : 20952 (java) R 20950 20952 20165 0 -1 0 15690 0 1 0 572 46 0 0 25 0 8 0 278934814 937406464 15427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596083 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20952/statm: 228859 15427 2480 14 0 215329 0
[pid=20952/tid=20954] ppid=20950 vsize=915436 CPUtime=0.04
/proc/20952/task/20954/stat : 20954 (java) S 20950 20952 20165 0 -1 64 1535 0 0 0 4 0 0 0 16 0 8 0 278934820 937406464 15427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20955] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20955/stat : 20955 (java) S 20950 20952 20165 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278934820 937406464 15427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20956] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20956/stat : 20956 (java) S 20950 20952 20165 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278934821 937406464 15427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20957] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20957/stat : 20957 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278934824 937406464 15427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20958] ppid=20950 vsize=915436 CPUtime=0.11
/proc/20952/task/20958/stat : 20958 (java) S 20950 20952 20165 0 -1 64 325 0 0 0 11 0 0 0 16 0 8 0 278934824 937406464 15427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20959] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20959/stat : 20959 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278934824 937406464 15427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20960] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20960/stat : 20960 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278934824 937406464 15427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915436

[startup+12.7521 s]
/proc/loadavg: 2.07 2.02 2.00 3/100 20960
/proc/meminfo: memFree=1347432/2055920 swapFree=4173628/4192956
[pid=20952] ppid=20950 vsize=915436 CPUtime=12.59
/proc/20952/stat : 20952 (java) R 20950 20952 20165 0 -1 0 15690 0 1 0 1165 94 0 0 25 0 8 0 278934814 937406464 15427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20952/statm: 228859 15427 2480 14 0 215329 0
[pid=20952/tid=20954] ppid=20950 vsize=915436 CPUtime=0.04
/proc/20952/task/20954/stat : 20954 (java) S 20950 20952 20165 0 -1 64 1535 0 0 0 4 0 0 0 16 0 8 0 278934820 937406464 15427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20955] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20955/stat : 20955 (java) S 20950 20952 20165 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278934820 937406464 15427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20956] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20956/stat : 20956 (java) S 20950 20952 20165 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278934821 937406464 15427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20957] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20957/stat : 20957 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278934824 937406464 15427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20958] ppid=20950 vsize=915436 CPUtime=0.11
/proc/20952/task/20958/stat : 20958 (java) S 20950 20952 20165 0 -1 64 325 0 0 0 11 0 0 0 16 0 8 0 278934824 937406464 15427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20959] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20959/stat : 20959 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278934824 937406464 15427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20960] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20960/stat : 20960 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278934824 937406464 15427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915436

[startup+25.6053 s]
/proc/loadavg: 2.06 2.01 2.00 3/100 20960
/proc/meminfo: memFree=1347432/2055920 swapFree=4173628/4192956
[pid=20952] ppid=20950 vsize=915436 CPUtime=25.33
/proc/20952/stat : 20952 (java) R 20950 20952 20165 0 -1 0 15690 0 1 0 2335 198 0 0 25 0 8 0 278934814 937406464 15427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630082 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20952/statm: 228859 15427 2480 14 0 215329 0
[pid=20952/tid=20954] ppid=20950 vsize=915436 CPUtime=0.04
/proc/20952/task/20954/stat : 20954 (java) S 20950 20952 20165 0 -1 64 1535 0 0 0 4 0 0 0 16 0 8 0 278934820 937406464 15427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20955] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20955/stat : 20955 (java) S 20950 20952 20165 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278934820 937406464 15427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20956] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20956/stat : 20956 (java) S 20950 20952 20165 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278934821 937406464 15427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20957] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20957/stat : 20957 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278934824 937406464 15427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20958] ppid=20950 vsize=915436 CPUtime=0.11
/proc/20952/task/20958/stat : 20958 (java) S 20950 20952 20165 0 -1 64 325 0 0 0 11 0 0 0 16 0 8 0 278934824 937406464 15427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20959] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20959/stat : 20959 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278934824 937406464 15427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20960] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20960/stat : 20960 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278934824 937406464 15427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 915436

[startup+51.2327 s]
/proc/loadavg: 2.03 2.01 2.00 3/100 20960
/proc/meminfo: memFree=1347176/2055920 swapFree=4173628/4192956
[pid=20952] ppid=20950 vsize=915436 CPUtime=50.71
/proc/20952/stat : 20952 (java) R 20950 20952 20165 0 -1 0 15858 0 1 0 4812 259 0 0 25 0 8 0 278934814 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752156 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20952/statm: 228859 15588 2535 14 0 215329 0
[pid=20952/tid=20954] ppid=20950 vsize=915436 CPUtime=0.04
/proc/20952/task/20954/stat : 20954 (java) S 20950 20952 20165 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278934820 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20955] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20955/stat : 20955 (java) S 20950 20952 20165 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278934820 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20956] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20956/stat : 20956 (java) S 20950 20952 20165 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278934821 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20957] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20957/stat : 20957 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278934824 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20958] ppid=20950 vsize=915436 CPUtime=0.22
/proc/20952/task/20958/stat : 20958 (java) S 20950 20952 20165 0 -1 64 386 0 0 0 22 0 0 0 16 0 8 0 278934824 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20959] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20959/stat : 20959 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278934824 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20960] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20960/stat : 20960 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278934824 937406464 15588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915436

[startup+102.472 s]
/proc/loadavg: 2.01 2.01 2.00 3/100 20960
/proc/meminfo: memFree=1347304/2055920 swapFree=4173628/4192956
[pid=20952] ppid=20950 vsize=915436 CPUtime=101.49
/proc/20952/stat : 20952 (java) R 20950 20952 20165 0 -1 0 15862 0 1 0 9889 260 0 0 25 0 8 0 278934814 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073760533 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20952/statm: 228859 15590 2535 14 0 215329 0
[pid=20952/tid=20954] ppid=20950 vsize=915436 CPUtime=0.04
/proc/20952/task/20954/stat : 20954 (java) S 20950 20952 20165 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278934820 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20955] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20955/stat : 20955 (java) S 20950 20952 20165 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278934820 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20956] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20956/stat : 20956 (java) S 20950 20952 20165 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278934821 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20957] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20957/stat : 20957 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278934824 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20958] ppid=20950 vsize=915436 CPUtime=0.23
/proc/20952/task/20958/stat : 20958 (java) S 20950 20952 20165 0 -1 64 389 0 0 0 23 0 0 0 16 0 8 0 278934824 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20959] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20959/stat : 20959 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278934824 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20960] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20960/stat : 20960 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278934824 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 915436

[startup+162.555 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 20960
/proc/meminfo: memFree=1347304/2055920 swapFree=4173628/4192956
[pid=20952] ppid=20950 vsize=915436 CPUtime=161.02
/proc/20952/stat : 20952 (java) R 20950 20952 20165 0 -1 0 15863 0 1 0 15842 260 0 0 25 0 8 0 278934814 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630198 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 2011.79
Current children cumulated vsize (KiB) 915436

[startup+2085.11 s]
/proc/loadavg: 2.00 2.03 2.00 4/100 21276
/proc/meminfo: memFree=1336552/2055920 swapFree=4173628/4192956
[pid=20952] ppid=20950 vsize=915436 CPUtime=2071.83
/proc/20952/stat : 20952 (java) R 20950 20952 20165 0 -1 0 15865 0 1 0 206908 275 0 0 25 0 8 0 278934814 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073637003 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20952/statm: 228859 15591 2535 14 0 215329 0
[pid=20952/tid=20954] ppid=20950 vsize=915436 CPUtime=0.04
/proc/20952/task/20954/stat : 20954 (java) S 20950 20952 20165 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278934820 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20955] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20955/stat : 20955 (java) S 20950 20952 20165 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278934820 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20956] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20956/stat : 20956 (java) S 20950 20952 20165 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278934821 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20957] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20957/stat : 20957 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278934824 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20958] ppid=20950 vsize=915436 CPUtime=0.23
/proc/20952/task/20958/stat : 20958 (java) S 20950 20952 20165 0 -1 64 390 0 0 0 23 0 0 0 16 0 8 0 278934824 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20952/tid=20959] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20959/stat : 20959 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278934824 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20960] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20960/stat : 20960 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278934824 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2071.83
Current children cumulated vsize (KiB) 915436

[startup+2145.2 s]
/proc/loadavg: 2.00 2.02 2.00 3/100 21276
/proc/meminfo: memFree=1336552/2055920 swapFree=4173628/4192956
[pid=20952] ppid=20950 vsize=915436 CPUtime=2131.85
/proc/20952/stat : 20952 (java) R 20950 20952 20165 0 -1 0 15865 0 1 0 212910 275 0 0 25 0 8 0 278934814 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596020 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20952/statm: 228859 15591 2535 14 0 215329 0
[pid=20952/tid=20954] ppid=20950 vsize=915436 CPUtime=0.04
/proc/20952/task/20954/stat : 20954 (java) S 20950 20952 20165 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278934820 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20955] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20955/stat : 20955 (java) S 20950 20952 20165 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278934820 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20956] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20956/stat : 20956 (java) S 20950 20952 20165 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278934821 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20957] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20957/stat : 20957 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278934824 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20958] ppid=20950 vsize=915436 CPUtime=0.23
/proc/20952/task/20958/stat : 20958 (java) S 20950 20952 20165 0 -1 64 390 0 0 0 23 0 0 0 16 0 8 0 278934824 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20952/tid=20959] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20959/stat : 20959 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278934824 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20960] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20960/stat : 20960 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278934824 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2131.85
Current children cumulated vsize (KiB) 915436

[startup+2205.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/100 21276
/proc/meminfo: memFree=1336488/2055920 swapFree=4173628/4192956
[pid=20952] ppid=20950 vsize=915436 CPUtime=2191.87
/proc/20952/stat : 20952 (java) R 20950 20952 20165 0 -1 0 15865 0 1 0 218912 275 0 0 25 0 8 0 278934814 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596116 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20952/statm: 228859 15591 2535 14 0 215329 0
[pid=20952/tid=20954] ppid=20950 vsize=915436 CPUtime=0.04
/proc/20952/task/20954/stat : 20954 (java) S 20950 20952 20165 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278934820 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20955] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20955/stat : 20955 (java) S 20950 20952 20165 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278934820 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20956] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20956/stat : 20956 (java) S 20950 20952 20165 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278934821 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20957] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20957/stat : 20957 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278934824 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20958] ppid=20950 vsize=915436 CPUtime=0.23
/proc/20952/task/20958/stat : 20958 (java) S 20950 20952 20165 0 -1 64 390 0 0 0 23 0 0 0 16 0 8 0 278934824 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20952/tid=20959] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20959/stat : 20959 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278934824 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20960] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20960/stat : 20960 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278934824 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2191.87
Current children cumulated vsize (KiB) 915436

[startup+2265.39 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 21276
/proc/meminfo: memFree=1336488/2055920 swapFree=4173628/4192956
[pid=20952] ppid=20950 vsize=915436 CPUtime=2251.92
/proc/20952/stat : 20952 (java) R 20950 20952 20165 0 -1 0 15865 0 1 0 224916 276 0 0 25 0 8 0 278934814 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596067 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20952/statm: 228859 15591 2535 14 0 215329 0
[pid=20952/tid=20954] ppid=20950 vsize=915436 CPUtime=0.04
/proc/20952/task/20954/stat : 20954 (java) S 20950 20952 20165 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278934820 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20955] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20955/stat : 20955 (java) S 20950 20952 20165 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278934820 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20956] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20956/stat : 20956 (java) S 20950 20952 20165 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278934821 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20957] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20957/stat : 20957 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278934824 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20958] ppid=20950 vsize=915436 CPUtime=0.23
/proc/20952/task/20958/stat : 20958 (java) S 20950 20952 20165 0 -1 64 390 0 0 0 23 0 0 0 16 0 8 0 278934824 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20952/tid=20959] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20959/stat : 20959 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278934824 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20960] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20960/stat : 20960 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278934824 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2251.92
Current children cumulated vsize (KiB) 915436

[startup+2325.48 s]
/proc/loadavg: 2.08 2.02 2.01 3/100 21276
/proc/meminfo: memFree=1336552/2055920 swapFree=4173628/4192956
[pid=20952] ppid=20950 vsize=915436 CPUtime=2311.94
/proc/20952/stat : 20952 (java) R 20950 20952 20165 0 -1 0 15865 0 1 0 230918 276 0 0 25 0 8 0 278934814 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073760477 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20952/statm: 228859 15591 2535 14 0 215329 0
[pid=20952/tid=20954] ppid=20950 vsize=915436 CPUtime=0.04
/proc/20952/task/20954/stat : 20954 (java) S 20950 20952 20165 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278934820 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20955] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20955/stat : 20955 (java) S 20950 20952 20165 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278934820 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20956] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20956/stat : 20956 (java) S 20950 20952 20165 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278934821 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20957] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20957/stat : 20957 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278934824 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20958] ppid=20950 vsize=915436 CPUtime=0.23
/proc/20952/task/20958/stat : 20958 (java) S 20950 20952 20165 0 -1 64 390 0 0 0 23 0 0 0 16 0 8 0 278934824 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20952/tid=20959] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20959/stat : 20959 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278934824 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20960] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20960/stat : 20960 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278934824 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2311.94
Current children cumulated vsize (KiB) 915436

[startup+2385.57 s]
/proc/loadavg: 2.03 2.01 2.00 3/100 21276
/proc/meminfo: memFree=1336552/2055920 swapFree=4173628/4192956
[pid=20952] ppid=20950 vsize=915436 CPUtime=2371.95
/proc/20952/stat : 20952 (java) R 20950 20952 20165 0 -1 0 15865 0 1 0 236919 276 0 0 25 0 8 0 278934814 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757194 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20952/statm: 228859 15591 2535 14 0 215329 0
[pid=20952/tid=20954] ppid=20950 vsize=915436 CPUtime=0.04
/proc/20952/task/20954/stat : 20954 (java) S 20950 20952 20165 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278934820 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20955] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20955/stat : 20955 (java) S 20950 20952 20165 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278934820 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20956] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20956/stat : 20956 (java) S 20950 20952 20165 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278934821 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20957] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20957/stat : 20957 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278934824 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20958] ppid=20950 vsize=915436 CPUtime=0.23
/proc/20952/task/20958/stat : 20958 (java) S 20950 20952 20165 0 -1 64 390 0 0 0 23 0 0 0 16 0 8 0 278934824 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20952/tid=20959] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20959/stat : 20959 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278934824 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20960] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20960/stat : 20960 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278934824 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2371.95
Current children cumulated vsize (KiB) 915436



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2413.67 s]
/proc/loadavg: 2.02 2.01 2.00 3/100 21276
/proc/meminfo: memFree=1336488/2055920 swapFree=4173628/4192956
[pid=20952] ppid=20950 vsize=915436 CPUtime=2400.04
/proc/20952/stat : 20952 (java) R 20950 20952 20165 0 -1 0 15865 0 1 0 239728 276 0 0 25 0 8 0 278934814 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600966 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20952/statm: 228859 15591 2535 14 0 215329 0
[pid=20952/tid=20954] ppid=20950 vsize=915436 CPUtime=0.04
/proc/20952/task/20954/stat : 20954 (java) S 20950 20952 20165 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278934820 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20955] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20955/stat : 20955 (java) S 20950 20952 20165 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278934820 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20956] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20956/stat : 20956 (java) S 20950 20952 20165 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278934821 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20957] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20957/stat : 20957 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278934824 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20958] ppid=20950 vsize=915436 CPUtime=0.23
/proc/20952/task/20958/stat : 20958 (java) S 20950 20952 20165 0 -1 64 390 0 0 0 23 0 0 0 16 0 8 0 278934824 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20952/tid=20959] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20959/stat : 20959 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278934824 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20952/tid=20960] ppid=20950 vsize=915436 CPUtime=0
/proc/20952/task/20960/stat : 20960 (java) S 20950 20952 20165 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278934824 937406464 15591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 915436

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

Child status: 143
Real time (s): 2413.73
CPU time (s): 2400.11
CPU user time (s): 2397.33
CPU system time (s): 2.77258
CPU usage (%): 99.4354
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.33
system time used= 2.77258
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15884
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= 49834
involuntary context switches= 104769

runsolver used 2.96955 s user time and 7.71183 s system time

The end

Launcher Data (download as text)

Begin job on node15 on Sat Jan 20 15:03:20 UTC 2007


IDJOB= 280378
IDBENCH= 11087
IDSOLVER= 68
FILE ID= node15/280378-1169305400

PBS_JOBID= 3609902

Free space on /tmp= 66560 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-10-20-10/rand-10-20-10-5-10000-10_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280378-1169305400/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-280378-1169305400 -o ROOT/results/node15/solver-280378-1169305400 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280378-1169305400/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  64198b128887c57ba056de06910900e2

RANDOM SEED= 815382900

TIME LIMIT= 2400 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.276
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.276
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:       1400000 kB
Buffers:         54120 kB
Cached:         462920 kB
SwapCached:       6628 kB
Active:         222976 kB
Inactive:       357300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1400000 kB
SwapTotal:     4192956 kB
SwapFree:      4173628 kB
Dirty:            2876 kB
Writeback:           0 kB
Mapped:          82748 kB
Slab:            60192 kB
Committed_AS:  9583124 kB
PageTables:       2504 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= 66560 MiB



End job on node15 on Sat Jan 20 15:43:33 UTC 2007