Trace number 278282

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 PFCMSAT (TO) 2400.1 2401.93

General information on the benchmark

NameMaxCSP/cnf/3-40-2100-3000/
cnf-3-40-2200-970321_ext.xml
MD5SUM1251460452fdb2dd42d00060c45fe943
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints1791
Best CPU time to get the best result obtained on this benchmark302.103
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints1973
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension1973
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.36	   
0.36	Abscon 109 (November, 2006)
0.36	   
0.36	   configuration
0.36	     name=pfc.xml
0.40	   
0.40	   instance
0.40	     name=/tmp/evaluation/278282-1169285059/unknown.xml
0.43	   
0.43	   domains being loaded...
0.43	   
0.43	   variables being loaded...
0.45	     nbVariables=40  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.45	       =>  wckTime=0.086  cpuTime=0.08  mem=6M910
0.45	   
0.45	   relations being loaded...
0.47	   
0.47	   constraints being loaded...
0.70	     nbConstraints=1973  nbRelationTypes=46  nbExtensionStructures=46  nbSharedExtensionStructures=1927
0.70	     nbConflictsStructures=46  nbSharedConflictsStructures=1927  nbSharedBinaryRepresentations=0  maxDegree=172
0.70	     maxArity=3
0.70	       =>  wckTime=0.334  cpuTime=0.21  mem=12M793
0.75	   
0.75	   solver LocalSearchSolver being built... 
0.79	       =>  wckTime=0.422  cpuTime=0.25  mem=6M409
0.79	
0.79	s SATISFIABLE
0.79	o 1709
0.79	c 264
0.80	o 1720
0.80	c 253
0.80	o 1728
0.80	c 245
0.80	o 1729
0.80	c 244
0.80	o 1738
0.80	c 235
0.80	o 1739
0.80	c 234
0.80	o 1745
0.80	c 228
0.80	o 1755
0.80	c 218
0.81	o 1758
0.81	c 215
0.81	o 1760
0.81	c 213
0.81	o 1763
0.81	c 210
0.82	o 1764
0.82	c 209
0.82	o 1765
0.82	c 208
0.82	o 1766
0.82	c 207
0.82	o 1768
0.82	c 205
0.82	o 1769
0.82	c 204
0.84	o 1771
0.84	c 202
0.92	o 1773
0.92	c 200
0.93	o 1777
0.93	c 196
0.94	o 1778
0.94	c 195
0.94	o 1779
0.94	c 194
0.94	o 1783
0.94	c 190
0.94	o 1784
0.94	c 189
1.17	o 1789
1.17	c 184
5.04	o 1790
5.04	c 183
7.92	   
7.93	   search
7.93	     run=0  nbConstraintChecks=44984512  nbAssignments=10000
7.93	       =>  wckTime=7.138  cpuTime=7.09  mem=6M409
14.96	   
14.96	   search
14.96	     run=1  nbConstraintChecks=91186123  nbAssignments=20000
14.96	       =>  wckTime=14.172  cpuTime=14.1  mem=6M409
21.81	   
21.81	   search
21.81	     run=2  nbConstraintChecks=136186166  nbAssignments=30000
21.81	       =>  wckTime=21.018  cpuTime=20.91  mem=6M409
28.84	   
28.84	   search
28.84	     run=3  nbConstraintChecks=182471082  nbAssignments=40000
28.84	       =>  wckTime=28.053  cpuTime=27.94  mem=6M409
35.13	   
35.13	   search
35.13	     run=4  nbConstraintChecks=223815331  nbAssignments=49210
35.13	       =>  wckTime=34.339  cpuTime=34.23  mem=6M409
35.13	   
35.13	   global
35.13	     nbConstraintChecks=223815331  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
35.13	     solvingWckTime=34.338  solvingCpuTime=34.23  expiredTime=no  totalExploration=no  nbFoundSolutions=0
35.13	     globalCpuTime=34.53
35.13	       =>  wckTime=34.762  cpuTime=34.48  mem=6M409
35.13	   
35.13	   solver IterativeSystematicSolver being built... 
35.31	       =>  wckTime=34.943  cpuTime=34.62  mem=28M44
35.33	   
35.33	   preprocessing
35.33	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
35.33	     detectedInconsistency=no
35.33	       =>  wckTime=0.018  cpuTime=0.01  mem=28M44
35.47	   
35.47	   search
35.47	     run=0  nbConstraintChecks=42369  nbValidityChecks=90190  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
35.47	     nbAssignments=42  nbFailedAssignments=7  nbBacktracks=11  nbVisitedNodes=61  nbRestartNogoods=0
35.47	       =>  wckTime=0.16  cpuTime=0.13  mem=28M44
35.63	   
35.63	   search
35.63	     run=1  nbConstraintChecks=96535  nbValidityChecks=231371  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
35.63	     nbAssignments=93  nbFailedAssignments=20  nbBacktracks=26  nbVisitedNodes=140  nbRestartNogoods=1
35.63	       =>  wckTime=0.319  cpuTime=0.27  mem=28M44
35.81	   
35.81	   search
35.81	     run=2  nbConstraintChecks=160458  nbValidityChecks=421197  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
35.81	     nbAssignments=154  nbFailedAssignments=35  nbBacktracks=48  nbVisitedNodes=238  nbRestartNogoods=4
35.81	       =>  wckTime=0.495  cpuTime=0.45  mem=28M44
36.06	   
36.06	   search
36.06	     run=3  nbConstraintChecks=259164  nbValidityChecks=707652  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
36.06	     nbAssignments=233  nbFailedAssignments=61  nbBacktracks=81  nbVisitedNodes=376  nbRestartNogoods=6
36.06	       =>  wckTime=0.745  cpuTime=0.7  mem=28M44
36.40	   
36.40	   search
36.40	     run=4  nbConstraintChecks=411078  nbValidityChecks=1126889  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
36.40	     nbAssignments=344  nbFailedAssignments=97  nbBacktracks=132  nbVisitedNodes=574  nbRestartNogoods=7
36.40	       =>  wckTime=1.09  cpuTime=1.04  mem=28M44
36.92	   
36.92	   search
36.92	     run=5  nbConstraintChecks=624864  nbValidityChecks=1760997  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
36.92	     nbAssignments=497  nbFailedAssignments=154  nbBacktracks=208  nbVisitedNodes=860  nbRestartNogoods=10
36.92	       =>  wckTime=1.606  cpuTime=1.56  mem=28M44
37.58	   
37.58	   search
37.58	     run=6  nbConstraintChecks=961635  nbValidityChecks=2663922  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
37.58	     nbAssignments=714  nbFailedAssignments=235  nbBacktracks=321  nbVisitedNodes=1271  nbRestartNogoods=13
37.58	       =>  wckTime=2.268  cpuTime=2.22  mem=28M44
38.61	   
38.61	   search
38.61	     run=7  nbConstraintChecks=1460236  nbValidityChecks=4039997  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
38.61	     nbAssignments=1032  nbFailedAssignments=361  nbBacktracks=491  nbVisitedNodes=1885  nbRestartNogoods=17
38.61	       =>  wckTime=3.303  cpuTime=3.25  mem=28M44
40.28	   
40.28	   search
40.28	     run=8  nbConstraintChecks=2138631  nbValidityChecks=6134052  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
40.28	     nbAssignments=1493  nbFailedAssignments=546  nbBacktracks=747  nbVisitedNodes=2787  nbRestartNogoods=22
40.28	       =>  wckTime=4.97  cpuTime=4.91  mem=28M44
42.88	   
42.88	   search
42.88	     run=9  nbConstraintChecks=3153114  nbValidityChecks=9405580  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
42.88	     nbAssignments=2188  nbFailedAssignments=832  nbBacktracks=1131  nbVisitedNodes=4152  nbRestartNogoods=27
42.88	       =>  wckTime=7.569  cpuTime=7.47  mem=28M44
47.02	   
47.02	   search
47.02	     run=10  nbConstraintChecks=4693349  nbValidityChecks=14574503  nbPropagations=0  nbRevisions=0
47.02	     nbUselessRevisions=0  nbAssignments=3274  nbFailedAssignments=1319  nbBacktracks=1707  nbVisitedNodes=6301
47.02	     nbRestartNogoods=29
47.02	       =>  wckTime=11.706  cpuTime=11.6  mem=28M44
52.86	   
52.86	   search
52.86	     run=11  nbConstraintChecks=7068804  nbValidityChecks=22092239  nbPropagations=0  nbRevisions=0
52.86	     nbUselessRevisions=0  nbAssignments=4859  nbFailedAssignments=2018  nbBacktracks=2571  nbVisitedNodes=9449
52.86	     nbRestartNogoods=33
52.86	       =>  wckTime=17.551  cpuTime=17.44  mem=28M44
61.02	   
61.02	   search
61.02	     run=12  nbConstraintChecks=10423133  nbValidityChecks=32662434  nbPropagations=0  nbRevisions=0
61.02	     nbUselessRevisions=0  nbAssignments=7078  nbFailedAssignments=2916  nbBacktracks=3868  nbVisitedNodes=13863
61.03	     nbRestartNogoods=38
61.03	       =>  wckTime=25.715  cpuTime=25.6  mem=28M44
74.74	   
74.74	   search
74.74	     run=13  nbConstraintChecks=15410161  nbValidityChecks=49918953  nbPropagations=0  nbRevisions=0
74.74	     nbUselessRevisions=0  nbAssignments=10579  nbFailedAssignments=4453  nbBacktracks=5814  nbVisitedNodes=20847
74.74	     nbRestartNogoods=42
74.74	       =>  wckTime=39.428  cpuTime=39.31  mem=28M44
94.29	   
94.29	   search
94.29	     run=14  nbConstraintChecks=22623421  nbValidityChecks=74515036  nbPropagations=0  nbRevisions=0
94.29	     nbUselessRevisions=0  nbAssignments=15586  nbFailedAssignments=6520  nbBacktracks=8734  nbVisitedNodes=30841
94.29	     nbRestartNogoods=49
94.29	       =>  wckTime=58.98  cpuTime=58.82  mem=28M44
125.74	   
125.75	   search
125.75	     run=15  nbConstraintChecks=33829011  nbValidityChecks=114494964  nbPropagations=0  nbRevisions=0
125.75	     nbUselessRevisions=0  nbAssignments=23602  nbFailedAssignments=10137  nbBacktracks=13113  nbVisitedNodes=46853
125.75	     nbRestartNogoods=55
125.75	       =>  wckTime=90.435  cpuTime=90.26  mem=28M44
172.29	   
172.29	   search
172.29	     run=16  nbConstraintChecks=50381783  nbValidityChecks=172640262  nbPropagations=0  nbRevisions=0
172.29	     nbUselessRevisions=0  nbAssignments=35277  nbFailedAssignments=15222  nbBacktracks=19681  nbVisitedNodes=70181
172.29	     nbRestartNogoods=61
172.29	       =>  wckTime=136.977  cpuTime=136.75  mem=28M44
245.78	   
245.78	   search
245.78	     run=17  nbConstraintChecks=73603435  nbValidityChecks=261680409  nbPropagations=0  nbRevisions=0
245.78	     nbUselessRevisions=0  nbAssignments=52920  nbFailedAssignments=22993  nbBacktracks=29533  nbVisitedNodes=105445
245.78	     nbRestartNogoods=65
245.78	       =>  wckTime=210.47  cpuTime=210.15  mem=28M44
350.51	   
350.51	   search
350.51	     run=18  nbConstraintChecks=109903252  nbValidityChecks=392047342  nbPropagations=0  nbRevisions=0
350.51	     nbUselessRevisions=0  nbAssignments=78697  nbFailedAssignments=33973  nbBacktracks=44311  nbVisitedNodes=156975
350.51	     nbRestartNogoods=70
350.51	       =>  wckTime=315.201  cpuTime=314.78  mem=28M44
509.60	   
509.60	   search
509.60	     run=19  nbConstraintChecks=164423934  nbValidityChecks=590202383  nbPropagations=0  nbRevisions=0
509.60	     nbUselessRevisions=0  nbAssignments=117785  nbFailedAssignments=50873  nbBacktracks=66479  nbVisitedNodes=235107
509.60	     nbRestartNogoods=79
509.60	       =>  wckTime=474.286  cpuTime=473.69  mem=28M44
754.76	   
754.76	   search
754.76	     run=20  nbConstraintChecks=245354186  nbValidityChecks=891483066  nbPropagations=0  nbRevisions=0
754.76	     nbUselessRevisions=0  nbAssignments=177188  nbFailedAssignments=77005  nbBacktracks=99732  nbVisitedNodes=353886
754.76	     nbRestartNogoods=85
754.76	       =>  wckTime=719.451  cpuTime=718.6  mem=28M44
1129.09	   
1129.09	   search
1129.09	     run=21  nbConstraintChecks=361583202  nbValidityChecks=1340903204  nbPropagations=0  nbRevisions=0
1129.09	     nbUselessRevisions=0  nbAssignments=266473  nbFailedAssignments=116393  nbBacktracks=149610  nbVisitedNodes=532192
1129.09	     nbRestartNogoods=93
1129.09	       =>  wckTime=1093.782  cpuTime=1092.49  mem=28M44
1679.26	   
1679.26	   search
1679.26	     run=22  nbConstraintChecks=539911058  nbValidityChecks=2008400922  nbPropagations=0  nbRevisions=0
1679.26	     nbUselessRevisions=0  nbAssignments=399671  nbFailedAssignments=174754  nbBacktracks=224429  nbVisitedNodes=798446
1679.26	     nbRestartNogoods=101
1679.26	       =>  wckTime=1643.953  cpuTime=1642.48  mem=28M44
2401.91	v 0 0 1 1 1 1 0 1 0 0 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 0 0 0 1 1 0 0 1 0 0 0 0 1 1 1

Verifier Data (download as text)

183 unsatisfied constraints, 1790 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/node12/watcher-278282-1169285059 -o ROOT/results/node12/solver-278282-1169285059 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278282-1169285059/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.07 2.02 2.00 4/87 3372
/proc/meminfo: memFree=1316384/2055920 swapFree=4160348/4192956
[pid=3371] ppid=3369 vsize=172 CPUtime=0
/proc/3371/stat : 3371 (java) R 3369 3371 2444 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 276900962 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 9696036 0 0 4096 0 0 0 0 17 0 0 0
/proc/3371/statm: 43 24 18 14 0 3 0

[startup+0.107561 s]
/proc/loadavg: 2.07 2.02 2.00 4/87 3372
/proc/meminfo: memFree=1316384/2055920 swapFree=4160348/4192956
[pid=3371] ppid=3369 vsize=906644 CPUtime=0.02
/proc/3371/stat : 3371 (java) R 3369 3371 2444 0 -1 0 2088 0 1 0 2 0 0 0 19 0 2 0 276900962 928403456 1837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155240616 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/3371/statm: 226661 1838 1051 14 0 214244 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 906644

[startup+0.515635 s]
/proc/loadavg: 2.07 2.02 2.00 4/87 3372
/proc/meminfo: memFree=1316384/2055920 swapFree=4160348/4192956
[pid=3371] ppid=3369 vsize=915332 CPUtime=0.41
/proc/3371/stat : 3371 (java) R 3369 3371 2444 0 -1 0 6149 0 1 0 38 3 0 0 24 0 8 0 276900962 937299968 5888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3371/statm: 228833 5888 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915332

[startup+1.33678 s]
/proc/loadavg: 2.07 2.02 2.00 3/94 3379
/proc/meminfo: memFree=1293672/2055920 swapFree=4160348/4192956
[pid=3371] ppid=3369 vsize=915444 CPUtime=1.23
/proc/3371/stat : 3371 (java) R 3369 3371 2444 0 -1 0 8362 0 1 0 115 8 0 0 25 0 8 0 276900962 937414656 8100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817301 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3371/statm: 228861 8100 2474 14 0 215331 0
[pid=3371/tid=3373] ppid=3369 vsize=915444 CPUtime=0.03
/proc/3371/task/3373/stat : 3373 (java) S 3369 3371 2444 0 -1 64 376 0 0 0 3 0 0 0 16 0 8 0 276900973 937414656 8100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3374] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3374/stat : 3374 (java) S 3369 3371 2444 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276900973 937414656 8100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3375] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3375/stat : 3375 (java) S 3369 3371 2444 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276900973 937414656 8100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3376] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3376/stat : 3376 (java) S 3369 3371 2444 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276900976 937414656 8100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3377] ppid=3369 vsize=915448 CPUtime=0.16
/proc/3371/task/3377/stat : 3377 (java) S 3369 3371 2444 0 -1 64 367 0 0 0 16 0 0 0 16 0 8 0 276900976 937418752 8100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3378] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3378/stat : 3378 (java) S 3369 3371 2444 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276900976 937414656 8100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3379] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3379/stat : 3379 (java) S 3369 3371 2444 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276900976 937414656 8100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915444

[startup+2.98508 s]
/proc/loadavg: 2.07 2.02 2.00 3/94 3379
/proc/meminfo: memFree=1293544/2055920 swapFree=4160348/4192956
[pid=3371] ppid=3369 vsize=915444 CPUtime=2.87
/proc/3371/stat : 3371 (java) R 3369 3371 2444 0 -1 0 8369 0 1 0 268 19 0 0 25 0 8 0 276900962 937414656 8106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820790 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3371/statm: 228861 8106 2476 14 0 215331 0
[pid=3371/tid=3373] ppid=3369 vsize=915444 CPUtime=0.03
/proc/3371/task/3373/stat : 3373 (java) S 3369 3371 2444 0 -1 64 376 0 0 0 3 0 0 0 16 0 8 0 276900973 937414656 8106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3374] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3374/stat : 3374 (java) S 3369 3371 2444 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276900973 937414656 8106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3375] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3375/stat : 3375 (java) S 3369 3371 2444 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276900973 937414656 8106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3376] ppid=3369 vsize=915448 CPUtime=0
/proc/3371/task/3376/stat : 3376 (java) S 3369 3371 2444 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276900976 937418752 8106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3377] ppid=3369 vsize=915444 CPUtime=0.18
/proc/3371/task/3377/stat : 3377 (java) S 3369 3371 2444 0 -1 64 373 0 0 0 17 1 0 0 16 0 8 0 276900976 937414656 8106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3378] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3378/stat : 3378 (java) S 3369 3371 2444 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276900976 937414656 8106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3379] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3379/stat : 3379 (java) S 3369 3371 2444 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276900976 937414656 8106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915444

[startup+6.27367 s]
/proc/loadavg: 2.06 2.02 2.00 3/94 3379
/proc/meminfo: memFree=1293480/2055920 swapFree=4160348/4192956
[pid=3371] ppid=3369 vsize=915444 CPUtime=6.14
/proc/3371/stat : 3371 (java) R 3369 3371 2444 0 -1 0 8369 0 1 0 577 37 0 0 25 0 8 0 276900962 937414656 8106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3371/statm: 228861 8106 2476 14 0 215331 0
[pid=3371/tid=3373] ppid=3369 vsize=915444 CPUtime=0.03
/proc/3371/task/3373/stat : 3373 (java) S 3369 3371 2444 0 -1 64 376 0 0 0 3 0 0 0 16 0 8 0 276900973 937414656 8106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3374] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3374/stat : 3374 (java) S 3369 3371 2444 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276900973 937414656 8106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3375] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3375/stat : 3375 (java) S 3369 3371 2444 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276900973 937414656 8106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3376] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3376/stat : 3376 (java) S 3369 3371 2444 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276900976 937414656 8106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3377] ppid=3369 vsize=915444 CPUtime=0.18
/proc/3371/task/3377/stat : 3377 (java) S 3369 3371 2444 0 -1 64 373 0 0 0 17 1 0 0 16 0 8 0 276900976 937414656 8106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3378] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3378/stat : 3378 (java) S 3369 3371 2444 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276900976 937414656 8106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3379] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3379/stat : 3379 (java) S 3369 3371 2444 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276900976 937414656 8106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915444

[startup+12.7578 s]
/proc/loadavg: 2.06 2.01 2.00 3/94 3379
/proc/meminfo: memFree=1293480/2055920 swapFree=4160348/4192956
[pid=3371] ppid=3369 vsize=915444 CPUtime=12.6
/proc/3371/stat : 3371 (java) R 3369 3371 2444 0 -1 0 8373 0 1 0 1186 74 0 0 25 0 8 0 276900962 937414656 8110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3371/statm: 228861 8110 2476 14 0 215331 0
[pid=3371/tid=3373] ppid=3369 vsize=915444 CPUtime=0.03
/proc/3371/task/3373/stat : 3373 (java) S 3369 3371 2444 0 -1 64 376 0 0 0 3 0 0 0 16 0 8 0 276900973 937414656 8110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3374] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3374/stat : 3374 (java) S 3369 3371 2444 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276900973 937414656 8110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3375] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3375/stat : 3375 (java) S 3369 3371 2444 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276900973 937414656 8110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3376] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3376/stat : 3376 (java) S 3369 3371 2444 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276900976 937414656 8110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3377] ppid=3369 vsize=915444 CPUtime=0.18
/proc/3371/task/3377/stat : 3377 (java) S 3369 3371 2444 0 -1 64 376 0 0 0 17 1 0 0 17 0 8 0 276900976 937414656 8110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3378] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3378/stat : 3378 (java) S 3369 3371 2444 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276900976 937414656 8110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3379] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3379/stat : 3379 (java) S 3369 3371 2444 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276900976 937414656 8110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915444

[startup+25.6132 s]
/proc/loadavg: 2.04 2.01 2.00 3/95 3460
/proc/meminfo: memFree=1343904/2055920 swapFree=4160348/4192956
[pid=3371] ppid=3369 vsize=915444 CPUtime=25.43
/proc/3371/stat : 3371 (java) R 3369 3371 2444 0 -1 0 8373 0 1 0 2388 155 0 0 25 0 8 0 276900962 937414656 8110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073818564 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3371/statm: 228861 8110 2476 14 0 215331 0
[pid=3371/tid=3373] ppid=3369 vsize=915444 CPUtime=0.03
/proc/3371/task/3373/stat : 3373 (java) S 3369 3371 2444 0 -1 64 376 0 0 0 3 0 0 0 16 0 8 0 276900973 937414656 8110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3374] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3374/stat : 3374 (java) S 3369 3371 2444 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276900973 937414656 8110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3375] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3375/stat : 3375 (java) S 3369 3371 2444 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276900973 937414656 8110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3376] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3376/stat : 3376 (java) S 3369 3371 2444 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276900976 937414656 8110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3377] ppid=3369 vsize=915444 CPUtime=0.18
/proc/3371/task/3377/stat : 3377 (java) S 3369 3371 2444 0 -1 64 376 0 0 0 17 1 0 0 17 0 8 0 276900976 937414656 8110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3378] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3378/stat : 3378 (java) S 3369 3371 2444 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276900976 937414656 8110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3379] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3379/stat : 3379 (java) S 3369 3371 2444 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276900976 937414656 8110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915444

[startup+51.2238 s]
/proc/loadavg: 2.03 2.01 2.00 3/95 3460
/proc/meminfo: memFree=1329824/2055920 swapFree=4160348/4192956
[pid=3371] ppid=3369 vsize=915444 CPUtime=50.99
/proc/3371/stat : 3371 (java) R 3369 3371 2444 0 -1 0 11969 0 1 0 4883 216 0 0 25 0 8 0 276900962 937414656 11697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074039043 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3371/statm: 228861 11697 2530 14 0 215331 0
[pid=3371/tid=3373] ppid=3369 vsize=915444 CPUtime=0.03
/proc/3371/task/3373/stat : 3373 (java) S 3369 3371 2444 0 -1 64 377 0 0 0 3 0 0 0 16 0 8 0 276900973 937414656 11697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3374] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3374/stat : 3374 (java) S 3369 3371 2444 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276900973 937414656 11697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3375] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3375/stat : 3375 (java) S 3369 3371 2444 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276900973 937414656 11697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3376] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3376/stat : 3376 (java) S 3369 3371 2444 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276900976 937414656 11697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3377] ppid=3369 vsize=915444 CPUtime=0.29
/proc/3371/task/3377/stat : 3377 (java) S 3369 3371 2444 0 -1 64 445 0 0 0 28 1 0 0 16 0 8 0 276900976 937414656 11697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3378] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3378/stat : 3378 (java) S 3369 3371 2444 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276900976 937414656 11697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3379] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3379/stat : 3379 (java) S 3369 3371 2444 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276900976 937414656 11697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 915444

[startup+102.457 s]
/proc/loadavg: 2.01 2.01 2.00 3/94 3461
/proc/meminfo: memFree=1328616/2055920 swapFree=4160348/4192956
[pid=3371] ppid=3369 vsize=915444 CPUtime=102.18
/proc/3371/stat : 3371 (java) R 3369 3371 2444 0 -1 0 11979 0 1 0 10001 217 0 0 25 0 8 0 276900962 937414656 11707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073978359 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3371/statm: 228861 11707 2530 14 0 215331 0
[pid=3371/tid=3373] ppid=3369 vsize=915444 CPUtime=0.03
/proc/3371/task/3373/stat : 3373 (java) S 3369 3371 2444 0 -1 64 377 0 0 0 3 0 0 0 16 0 8 0 276900973 937414656 11707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3374] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3374/stat : 3374 (java) S 3369 3371 2444 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276900973 937414656 11707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3375] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3375/stat : 3375 (java) S 3369 3371 2444 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276900973 937414656 11707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3376] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3376/stat : 3376 (java) S 3369 3371 2444 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276900976 937414656 11707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3377] ppid=3369 vsize=915444 CPUtime=0.29
/proc/3371/task/3377/stat : 3377 (java) S 3369 3371 2444 0 -1 64 445 0 0 0 28 1 0 0 16 0 8 0 276900976 937414656 11707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3378] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3378/stat : 3378 (java) S 3369 3371 2444 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276900976 937414656 11707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3379] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3379/stat : 3379 (java) S 3369 3371 2444 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276900976 937414656 11707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 915444

[startup+162.459 s]
/proc/loadavg: 2.00 2.00 2.00 4/94 3461
/proc/meminfo: memFree=1328616/2055920 swapFree=4160348/4192956
[pid=3371] ppid=3369 vsize=915444 CPUtime=162.12
/proc/3371/stat : 3371 (java) R 3369 3371 2444 0 -1 0 11982 0 1 0 15995 217 0 0 25 0 8 0 276900962 937414656 11710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074013870 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 2022.24
Current children cumulated vsize (KiB) 915444

[startup+2083.98 s]
/proc/loadavg: 1.00 1.03 1.33 2/85 3562
/proc/meminfo: memFree=1339248/2055920 swapFree=4160348/4192956
[pid=3371] ppid=3369 vsize=915444 CPUtime=2082.25
/proc/3371/stat : 3371 (java) R 3369 3371 2444 0 -1 0 12002 0 1 0 208002 223 0 0 25 0 8 0 276900962 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074014521 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3371/statm: 228861 11730 2530 14 0 215331 0
[pid=3371/tid=3373] ppid=3369 vsize=915444 CPUtime=0.03
/proc/3371/task/3373/stat : 3373 (java) S 3369 3371 2444 0 -1 64 377 0 0 0 3 0 0 0 16 0 8 0 276900973 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3374] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3374/stat : 3374 (java) S 3369 3371 2444 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276900973 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3375] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3375/stat : 3375 (java) S 3369 3371 2444 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276900973 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3376] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3376/stat : 3376 (java) S 3369 3371 2444 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276900976 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3377] ppid=3369 vsize=915444 CPUtime=0.29
/proc/3371/task/3377/stat : 3377 (java) S 3369 3371 2444 0 -1 64 447 0 0 0 28 1 0 0 16 0 8 0 276900976 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3378] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3378/stat : 3378 (java) S 3369 3371 2444 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276900976 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3379] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3379/stat : 3379 (java) S 3369 3371 2444 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276900976 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2082.25
Current children cumulated vsize (KiB) 915444

[startup+2144.01 s]
/proc/loadavg: 1.00 1.02 1.30 2/85 3562
/proc/meminfo: memFree=1339184/2055920 swapFree=4160348/4192956
[pid=3371] ppid=3369 vsize=915444 CPUtime=2142.26
/proc/3371/stat : 3371 (java) R 3369 3371 2444 0 -1 0 12002 0 1 0 214003 223 0 0 25 0 8 0 276900962 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074014938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3371/statm: 228861 11730 2530 14 0 215331 0
[pid=3371/tid=3373] ppid=3369 vsize=915444 CPUtime=0.03
/proc/3371/task/3373/stat : 3373 (java) S 3369 3371 2444 0 -1 64 377 0 0 0 3 0 0 0 16 0 8 0 276900973 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3374] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3374/stat : 3374 (java) S 3369 3371 2444 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276900973 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3375] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3375/stat : 3375 (java) S 3369 3371 2444 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276900973 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3376] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3376/stat : 3376 (java) S 3369 3371 2444 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276900976 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3377] ppid=3369 vsize=915444 CPUtime=0.29
/proc/3371/task/3377/stat : 3377 (java) S 3369 3371 2444 0 -1 64 447 0 0 0 28 1 0 0 16 0 8 0 276900976 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3378] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3378/stat : 3378 (java) S 3369 3371 2444 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276900976 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3379] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3379/stat : 3379 (java) S 3369 3371 2444 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276900976 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2142.26
Current children cumulated vsize (KiB) 915444

[startup+2204.03 s]
/proc/loadavg: 1.00 1.02 1.28 2/91 3588
/proc/meminfo: memFree=1337984/2055920 swapFree=4160348/4192956
[pid=3371] ppid=3369 vsize=915444 CPUtime=2202.26
/proc/3371/stat : 3371 (java) R 3369 3371 2444 0 -1 0 12002 0 1 0 220003 223 0 0 25 0 8 0 276900962 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073976936 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3371/statm: 228861 11730 2530 14 0 215331 0
[pid=3371/tid=3373] ppid=3369 vsize=915444 CPUtime=0.03
/proc/3371/task/3373/stat : 3373 (java) S 3369 3371 2444 0 -1 64 377 0 0 0 3 0 0 0 16 0 8 0 276900973 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3374] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3374/stat : 3374 (java) S 3369 3371 2444 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276900973 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3375] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3375/stat : 3375 (java) S 3369 3371 2444 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276900973 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3376] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3376/stat : 3376 (java) S 3369 3371 2444 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276900976 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3377] ppid=3369 vsize=915444 CPUtime=0.29
/proc/3371/task/3377/stat : 3377 (java) S 3369 3371 2444 0 -1 64 447 0 0 0 28 1 0 0 16 0 8 0 276900976 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3378] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3378/stat : 3378 (java) S 3369 3371 2444 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276900976 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3379] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3379/stat : 3379 (java) S 3369 3371 2444 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276900976 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2202.26
Current children cumulated vsize (KiB) 915444

[startup+2264.08 s]
/proc/loadavg: 1.05 1.03 1.27 2/91 3734
/proc/meminfo: memFree=1337920/2055920 swapFree=4160348/4192956
[pid=3371] ppid=3369 vsize=915444 CPUtime=2262.28
/proc/3371/stat : 3371 (java) R 3369 3371 2444 0 -1 0 12002 0 1 0 225994 234 0 0 25 0 8 0 276900962 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073973750 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3371/statm: 228861 11730 2530 14 0 215331 0
[pid=3371/tid=3373] ppid=3369 vsize=915444 CPUtime=0.03
/proc/3371/task/3373/stat : 3373 (java) S 3369 3371 2444 0 -1 64 377 0 0 0 3 0 0 0 16 0 8 0 276900973 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3374] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3374/stat : 3374 (java) S 3369 3371 2444 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276900973 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3375] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3375/stat : 3375 (java) S 3369 3371 2444 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276900973 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3376] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3376/stat : 3376 (java) S 3369 3371 2444 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276900976 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3377] ppid=3369 vsize=915444 CPUtime=0.29
/proc/3371/task/3377/stat : 3377 (java) S 3369 3371 2444 0 -1 64 447 0 0 0 28 1 0 0 16 0 8 0 276900976 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3378] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3378/stat : 3378 (java) S 3369 3371 2444 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276900976 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3379] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3379/stat : 3379 (java) S 3369 3371 2444 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276900976 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2262.28
Current children cumulated vsize (KiB) 915444

[startup+2324.09 s]
/proc/loadavg: 1.02 1.02 1.25 2/85 3760
/proc/meminfo: memFree=1338928/2055920 swapFree=4160348/4192956
[pid=3371] ppid=3369 vsize=915444 CPUtime=2322.28
/proc/3371/stat : 3371 (java) R 3369 3371 2444 0 -1 0 12002 0 1 0 231992 236 0 0 25 0 8 0 276900962 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073973744 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3371/statm: 228861 11730 2530 14 0 215331 0
[pid=3371/tid=3373] ppid=3369 vsize=915444 CPUtime=0.03
/proc/3371/task/3373/stat : 3373 (java) S 3369 3371 2444 0 -1 64 377 0 0 0 3 0 0 0 16 0 8 0 276900973 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3374] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3374/stat : 3374 (java) S 3369 3371 2444 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276900973 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3375] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3375/stat : 3375 (java) S 3369 3371 2444 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276900973 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3376] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3376/stat : 3376 (java) S 3369 3371 2444 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276900976 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3377] ppid=3369 vsize=915444 CPUtime=0.29
/proc/3371/task/3377/stat : 3377 (java) S 3369 3371 2444 0 -1 64 447 0 0 0 28 1 0 0 16 0 8 0 276900976 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3378] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3378/stat : 3378 (java) S 3369 3371 2444 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276900976 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3379] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3379/stat : 3379 (java) S 3369 3371 2444 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276900976 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2322.28
Current children cumulated vsize (KiB) 915444

[startup+2384.11 s]
/proc/loadavg: 1.00 1.01 1.23 2/85 3760
/proc/meminfo: memFree=1338928/2055920 swapFree=4160348/4192956
[pid=3371] ppid=3369 vsize=915444 CPUtime=2382.28
/proc/3371/stat : 3371 (java) R 3369 3371 2444 0 -1 0 12002 0 1 0 237992 236 0 0 25 0 8 0 276900962 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073973744 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3371/statm: 228861 11730 2530 14 0 215331 0
[pid=3371/tid=3373] ppid=3369 vsize=915444 CPUtime=0.03
/proc/3371/task/3373/stat : 3373 (java) S 3369 3371 2444 0 -1 64 377 0 0 0 3 0 0 0 16 0 8 0 276900973 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3374] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3374/stat : 3374 (java) S 3369 3371 2444 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276900973 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3375] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3375/stat : 3375 (java) S 3369 3371 2444 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276900973 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3376] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3376/stat : 3376 (java) S 3369 3371 2444 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276900976 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3377] ppid=3369 vsize=915444 CPUtime=0.29
/proc/3371/task/3377/stat : 3377 (java) S 3369 3371 2444 0 -1 64 447 0 0 0 28 1 0 0 16 0 8 0 276900976 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3378] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3378/stat : 3378 (java) S 3369 3371 2444 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276900976 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3379] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3379/stat : 3379 (java) S 3369 3371 2444 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276900976 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2382.28
Current children cumulated vsize (KiB) 915444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401.91 s]
/proc/loadavg: 1.00 1.01 1.23 2/85 3760
/proc/meminfo: memFree=1338928/2055920 swapFree=4160348/4192956
[pid=3371] ppid=3369 vsize=915444 CPUtime=2400.07
/proc/3371/stat : 3371 (java) R 3369 3371 2444 0 -1 0 12002 0 1 0 239771 236 0 0 25 0 8 0 276900962 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073836687 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3371/statm: 228861 11730 2530 14 0 215331 0
[pid=3371/tid=3373] ppid=3369 vsize=915444 CPUtime=0.03
/proc/3371/task/3373/stat : 3373 (java) S 3369 3371 2444 0 -1 64 377 0 0 0 3 0 0 0 16 0 8 0 276900973 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3374] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3374/stat : 3374 (java) S 3369 3371 2444 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276900973 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3375] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3375/stat : 3375 (java) S 3369 3371 2444 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276900973 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3376] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3376/stat : 3376 (java) S 3369 3371 2444 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276900976 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3377] ppid=3369 vsize=915444 CPUtime=0.29
/proc/3371/task/3377/stat : 3377 (java) S 3369 3371 2444 0 -1 64 447 0 0 0 28 1 0 0 16 0 8 0 276900976 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3378] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3378/stat : 3378 (java) S 3369 3371 2444 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276900976 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3371/tid=3379] ppid=3369 vsize=915444 CPUtime=0
/proc/3371/task/3379/stat : 3379 (java) S 3369 3371 2444 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276900976 937414656 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 915444

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

Child status: 143
Real time (s): 2401.93
CPU time (s): 2400.1
CPU user time (s): 2397.73
CPU system time (s): 2.37264
CPU usage (%): 99.9239
Max. virtual memory (cumulated for all children) (KiB): 915448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.73
system time used= 2.37264
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12024
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= 50005
involuntary context switches= 60451

runsolver used 2.76058 s user time and 6.82396 s system time

The end

Launcher Data (download as text)

Begin job on node12 on Sat Jan 20 09:24:19 UTC 2007


IDJOB= 278282
IDBENCH= 8218
IDSOLVER= 69
FILE ID= node12/278282-1169285059

PBS_JOBID= 3609483

Free space on /tmp= 66560 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-40-2100-3000/cnf-3-40-2200-970321_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278282-1169285059/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-278282-1169285059 -o ROOT/results/node12/solver-278282-1169285059 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278282-1169285059/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  1251460452fdb2dd42d00060c45fe943

RANDOM SEED= 689721932

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.265
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.265
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:       1316864 kB
Buffers:         59984 kB
Cached:         518564 kB
SwapCached:       5164 kB
Active:         320152 kB
Inactive:       344276 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1316864 kB
SwapTotal:     4192956 kB
SwapFree:      4160348 kB
Dirty:            1792 kB
Writeback:           0 kB
Mapped:          96240 kB
Slab:            59532 kB
Committed_AS:  7788220 kB
PageTables:       2184 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= 66563 MiB



End job on node12 on Sat Jan 20 10:04:21 UTC 2007