Trace number 281882

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.08 2411.86

General information on the benchmark

NameMaxCSP/maxclique/
san-200-0.9-1_ext.xml
MD5SUM97c79268c005c90235ba77e9498a9c00
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints2060
Best CPU time to get the best result obtained on this benchmark2400.08
Satisfiable
(Un)Satisfiability was proved
Number of variables201
Number of constraints2190
Maximum constraint arity2
Maximum domain size2
Number of constraints which are defined in extension2190
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.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=pfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/281882-1169315045/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.43	     nbVariables=201  nbDomainTypes=2  minDomainSize=1  maxDomainSize=2
0.43	       =>  wckTime=0.126  cpuTime=0.1  mem=6M910
0.43	   
0.43	   relations being loaded...
0.44	   
0.44	   constraints being loaded...
0.68	     nbConstraints=2190  nbRelationTypes=2  nbSingletonDomainVariables=1  nbExtensionStructures=2
0.68	     nbSharedExtensionStructures=2188  nbConflictsStructures=2  nbSharedConflictsStructures=2188
0.68	     nbSharedBinaryRepresentations=3  maxDegree=200  maxArity=2
0.68	       =>  wckTime=0.369  cpuTime=0.23  mem=13M736
0.73	   
0.73	   solver LocalSearchSolver being built... 
0.77	       =>  wckTime=0.466  cpuTime=0.29  mem=6M531
0.78	
0.78	s SATISFIABLE
0.78	o 1576
0.78	c 614
0.78	o 1593
0.78	c 597
0.78	o 1610
0.78	c 580
0.78	o 1627
0.78	c 563
0.78	o 1644
0.78	c 546
0.79	o 1661
0.79	c 529
0.79	o 1677
0.79	c 513
0.79	o 1692
0.79	c 498
0.79	o 1707
0.79	c 483
0.79	o 1722
0.79	c 468
0.79	o 1736
0.79	c 454
0.79	o 1750
0.79	c 440
0.80	o 1764
0.80	c 426
0.80	o 1778
0.80	c 412
0.80	o 1792
0.80	c 398
0.80	o 1806
0.80	c 384
0.80	o 1818
0.80	c 372
0.80	o 1830
0.80	c 360
0.80	o 1842
0.80	c 348
0.80	o 1854
0.80	c 336
0.80	o 1866
0.80	c 324
0.80	o 1877
0.80	c 313
0.80	o 1888
0.80	c 302
0.80	o 1899
0.80	c 291
0.80	o 1910
0.80	c 280
0.80	o 1921
0.80	c 269
0.80	o 1931
0.80	c 259
0.80	o 1941
0.80	c 249
0.80	o 1950
0.80	c 240
0.80	o 1959
0.80	c 231
0.80	o 1968
0.80	c 222
0.80	o 1977
0.80	c 213
0.80	o 1986
0.80	c 204
0.81	o 1995
0.81	c 195
0.81	o 2003
0.81	c 187
0.81	o 2010
0.81	c 180
0.81	o 2016
0.81	c 174
0.81	o 2022
0.81	c 168
0.81	o 2028
0.81	c 162
0.81	o 2029
0.81	c 161
0.81	o 2030
0.81	c 160
0.81	o 2031
0.81	c 159
0.81	o 2032
0.81	c 158
0.81	o 2033
0.81	c 157
0.81	o 2034
0.81	c 156
0.81	o 2035
0.81	c 155
0.95	o 2036
0.95	c 154
0.95	o 2037
0.95	c 153
1.48	o 2040
1.48	c 150
1.48	o 2044
1.48	c 146
1.48	o 2050
1.48	c 140
1.48	o 2053
1.48	c 137
1.51	o 2058
1.51	c 132
1.51	o 2060
1.51	c 130
4.59	   
4.59	   search
4.59	     run=0  nbConstraintChecks=18153125  nbAssignments=10000
4.59	       =>  wckTime=3.822  cpuTime=3.76  mem=6M531
8.56	   
8.56	   search
8.56	     run=1  nbConstraintChecks=37704569  nbAssignments=20000
8.56	       =>  wckTime=7.791  cpuTime=7.7  mem=6M531
12.29	   
12.29	   search
12.29	     run=2  nbConstraintChecks=55662132  nbAssignments=30000
12.29	       =>  wckTime=11.516  cpuTime=11.42  mem=6M531
16.33	   
16.33	   search
16.33	     run=3  nbConstraintChecks=75356929  nbAssignments=40000
16.33	       =>  wckTime=15.558  cpuTime=15.44  mem=6M531
20.10	   
20.10	   search
20.10	     run=4  nbConstraintChecks=93538000  nbAssignments=50000
20.10	       =>  wckTime=19.329  cpuTime=19.19  mem=6M531
24.04	   
24.04	   search
24.04	     run=5  nbConstraintChecks=112968047  nbAssignments=60000
24.04	       =>  wckTime=23.266  cpuTime=23.11  mem=6M531
27.78	   
27.78	   search
27.78	     run=6  nbConstraintChecks=131118393  nbAssignments=70000
27.78	       =>  wckTime=27.005  cpuTime=26.83  mem=6M531
31.67	   
31.67	   search
31.67	     run=7  nbConstraintChecks=150350060  nbAssignments=79437
31.67	       =>  wckTime=30.894  cpuTime=30.71  mem=6M531
31.67	   
31.67	   global
31.67	     nbConstraintChecks=150350060  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.67	     solvingWckTime=30.892  solvingCpuTime=30.71  expiredTime=no  totalExploration=no  nbFoundSolutions=0
31.67	     globalCpuTime=31.05
31.67	       =>  wckTime=31.36  cpuTime=31.0  mem=6M531
31.67	   
31.67	   solver IterativeSystematicSolver being built... 
31.82	       =>  wckTime=31.509  cpuTime=31.1  mem=17M471
31.84	   
31.84	   preprocessing
31.84	     nbConstraintChecks=400  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
31.84	     detectedInconsistency=no
31.84	       =>  wckTime=0.016  cpuTime=0.03  mem=17M471
32.04	   
32.04	   search
32.04	     run=0  nbConstraintChecks=150321  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=61
32.04	     nbFailedAssignments=6  nbBacktracks=12  nbVisitedNodes=80  nbRestartNogoods=0
32.04	       =>  wckTime=0.217  cpuTime=0.2  mem=18M454
32.27	   
32.27	   search
32.27	     run=1  nbConstraintChecks=349770  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=130
32.27	     nbFailedAssignments=18  nbBacktracks=27  nbVisitedNodes=176  nbRestartNogoods=3
32.27	       =>  wckTime=0.448  cpuTime=0.42  mem=18M454
32.54	   
32.54	   search
32.54	     run=2  nbConstraintChecks=614599  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=211
32.54	     nbFailedAssignments=34  nbBacktracks=49  nbVisitedNodes=295  nbRestartNogoods=6
32.54	       =>  wckTime=0.722  cpuTime=0.7  mem=18M454
32.97	   
32.97	   search
32.97	     run=3  nbConstraintChecks=1032982  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=319
32.97	     nbFailedAssignments=66  nbBacktracks=82  nbVisitedNodes=468  nbRestartNogoods=10
32.97	       =>  wckTime=1.149  cpuTime=1.12  mem=18M454
33.56	   
33.56	   search
33.56	     run=4  nbConstraintChecks=1650147  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=462
33.56	     nbFailedAssignments=115  nbBacktracks=134  nbVisitedNodes=712  nbRestartNogoods=12
33.56	       =>  wckTime=1.744  cpuTime=1.71  mem=18M454
34.43	   
34.43	   search
34.43	     run=5  nbConstraintChecks=2503233  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=644
34.43	     nbFailedAssignments=178  nbBacktracks=210  nbVisitedNodes=1033  nbRestartNogoods=16
34.43	       =>  wckTime=2.615  cpuTime=2.58  mem=18M454
35.70	   
35.70	   search
35.70	     run=6  nbConstraintChecks=3704860  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=884
35.70	     nbFailedAssignments=263  nbBacktracks=323  nbVisitedNodes=1471  nbRestartNogoods=21
35.70	       =>  wckTime=3.879  cpuTime=3.83  mem=18M454
37.81	   
37.81	   search
37.81	     run=7  nbConstraintChecks=5638636  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1247
37.81	     nbFailedAssignments=415  nbBacktracks=493  nbVisitedNodes=2156  nbRestartNogoods=25
37.81	       =>  wckTime=5.991  cpuTime=5.93  mem=18M454
41.02	   
41.02	   search
41.02	     run=8  nbConstraintChecks=8669077  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1799
41.02	     nbFailedAssignments=671  nbBacktracks=749  nbVisitedNodes=3220  nbRestartNogoods=31
41.02	       =>  wckTime=9.199  cpuTime=9.11  mem=18M454
43.05	   
43.05	   search
43.05	     run=9  nbConstraintChecks=10634289  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2506
43.05	     nbFailedAssignments=973  nbBacktracks=1134  nbVisitedNodes=4376  nbRestartNogoods=36
43.05	       =>  wckTime=11.234  cpuTime=11.12  mem=18M454
50.81	   
50.81	   search
50.81	     run=10  nbConstraintChecks=18036011  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3793
50.81	     nbFailedAssignments=1642  nbBacktracks=1710  nbVisitedNodes=6908  nbRestartNogoods=49
50.81	       =>  wckTime=18.989  cpuTime=18.84  mem=18M454
61.80	   
61.80	   search
61.80	     run=11  nbConstraintChecks=29456519  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5808
61.80	     nbFailedAssignments=2753  nbBacktracks=2574  nbVisitedNodes=10898  nbRestartNogoods=55
61.80	       =>  wckTime=29.978  cpuTime=29.77  mem=18M454
70.05	   
70.05	   search
70.05	     run=12  nbConstraintChecks=37705501  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=7784
70.05	     nbFailedAssignments=3398  nbBacktracks=3872  nbVisitedNodes=14505  nbRestartNogoods=63
70.05	       =>  wckTime=38.233  cpuTime=37.99  mem=18M454
99.06	   
99.06	   search
99.06	     run=13  nbConstraintChecks=72651884  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=14100
99.06	     nbFailedAssignments=7729  nbBacktracks=5818  nbVisitedNodes=27098  nbRestartNogoods=85
99.06	       =>  wckTime=67.239  cpuTime=66.85  mem=18M454
131.13	   
131.13	   search
131.13	     run=14  nbConstraintChecks=103568811  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=19430
131.13	     nbFailedAssignments=10101  nbBacktracks=8740  nbVisitedNodes=37359  nbRestartNogoods=95
131.13	       =>  wckTime=99.309  cpuTime=98.77  mem=18M454
181.20	   
181.20	   search
181.20	     run=15  nbConstraintChecks=173185124  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=32082
181.20	     nbFailedAssignments=18337  nbBacktracks=13118  nbVisitedNodes=62625  nbRestartNogoods=105
181.20	       =>  wckTime=149.382  cpuTime=148.59  mem=18M454
272.41	   
272.41	   search
272.41	     run=16  nbConstraintChecks=291943515  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=53361
272.41	     nbFailedAssignments=33008  nbBacktracks=19686  nbVisitedNodes=104510  nbRestartNogoods=112
272.41	       =>  wckTime=240.592  cpuTime=239.37  mem=18M454
378.43	   
378.43	   search
378.43	     run=17  nbConstraintChecks=380827393  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=71699
378.43	     nbFailedAssignments=41462  nbBacktracks=29541  nbVisitedNodes=138758  nbRestartNogoods=122
378.43	       =>  wckTime=346.617  cpuTime=344.89  mem=18M454
561.71	   
561.71	   search
561.71	     run=18  nbConstraintChecks=617655197  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=113622
561.71	     nbFailedAssignments=68577  nbBacktracks=44319  nbVisitedNodes=222456  nbRestartNogoods=143
561.71	       =>  wckTime=529.89  cpuTime=527.28  mem=18M454
930.67	   
930.67	   search
930.67	     run=19  nbConstraintChecks=964484087  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=174972
930.67	     nbFailedAssignments=107734  nbBacktracks=66488  nbVisitedNodes=343886  nbRestartNogoods=160
930.67	       =>  wckTime=898.851  cpuTime=894.49  mem=18M454
1282.15	   
1282.15	   search
1282.15	     run=20  nbConstraintChecks=1266648959  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=247746
1282.15	     nbFailedAssignments=147233  nbBacktracks=99740  nbVisitedNodes=487123  nbRestartNogoods=170
1282.15	       =>  wckTime=1250.331  cpuTime=1244.09  mem=18M454
1907.86	   
1907.86	   search
1907.86	     run=21  nbConstraintChecks=1768596325  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=337351
1907.86	     nbFailedAssignments=186933  nbBacktracks=149618  nbVisitedNodes=664427  nbRestartNogoods=185
1907.86	       =>  wckTime=1876.042  cpuTime=1866.81  mem=18M454
2411.80	v 1 1 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 1 1 1 1 0 1 1 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 1 1 1 1 0 1 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 1 0 0 1 0 1 -1

Verifier Data (download as text)

130 unsatisfied constraints, 2060 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/node33/watcher-281882-1169315045 -o ROOT/results/node33/solver-281882-1169315045 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281882-1169315045/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: 0.94 0.99 0.99 2/80 7506
/proc/meminfo: memFree=1450120/2055920 swapFree=4192224/4192956
[pid=7505] ppid=7503 vsize=18540 CPUtime=0
/proc/7505/stat : 7505 (runsolver) R 7503 7505 7288 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 279898390 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 210824129831 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/7505/statm: 4635 279 244 17 0 2626 0

[startup+0.103096 s]
/proc/loadavg: 0.94 0.99 0.99 2/80 7506
/proc/meminfo: memFree=1450120/2055920 swapFree=4192224/4192956
[pid=7505] ppid=7503 vsize=914988 CPUtime=0.08
/proc/7505/stat : 7505 (java) R 7503 7505 7288 0 -1 0 2994 0 1 0 7 1 0 0 20 0 8 0 279898390 936947712 2740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7505/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515178 s]
/proc/loadavg: 0.94 0.99 0.99 2/80 7506
/proc/meminfo: memFree=1450120/2055920 swapFree=4192224/4192956
[pid=7505] ppid=7503 vsize=915332 CPUtime=0.49
/proc/7505/stat : 7505 (java) R 7503 7505 7288 0 -1 0 6405 0 1 0 46 3 0 0 22 0 8 0 279898390 937299968 6144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073653288 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7505/statm: 228833 6144 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.34035 s]
/proc/loadavg: 1.02 1.01 1.00 3/87 7513
/proc/meminfo: memFree=1426576/2055920 swapFree=4192224/4192956
[pid=7505] ppid=7503 vsize=915448 CPUtime=1.3
/proc/7505/stat : 7505 (java) R 7503 7505 7288 0 -1 0 8573 0 1 0 118 12 0 0 25 0 8 0 279898390 937418752 8311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7505/statm: 228862 8311 2476 14 0 215332 0
[pid=7505/tid=7507] ppid=7503 vsize=915448 CPUtime=0.04
/proc/7505/task/7507/stat : 7507 (java) S 7503 7505 7288 0 -1 64 413 0 0 0 4 0 0 0 16 0 8 0 279898394 937418752 8311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7508] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7508/stat : 7508 (java) S 7503 7505 7288 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279898395 937418752 8311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7509] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7509/stat : 7509 (java) S 7503 7505 7288 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279898395 937418752 8311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7510] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7510/stat : 7510 (java) S 7503 7505 7288 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279898398 937418752 8311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7511] ppid=7503 vsize=915448 CPUtime=0.2
/proc/7505/task/7511/stat : 7511 (java) S 7503 7505 7288 0 -1 64 379 0 0 0 20 0 0 0 16 0 8 0 279898398 937418752 8311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7512] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7512/stat : 7512 (java) S 7503 7505 7288 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279898398 937418752 8311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7513] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7513/stat : 7513 (java) S 7503 7505 7288 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279898398 937418752 8311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915448

[startup+2.97768 s]
/proc/loadavg: 1.02 1.01 1.00 3/87 7513
/proc/meminfo: memFree=1426512/2055920 swapFree=4192224/4192956
[pid=7505] ppid=7503 vsize=915448 CPUtime=2.93
/proc/7505/stat : 7505 (java) R 7503 7505 7288 0 -1 0 8574 0 1 0 263 30 0 0 25 0 8 0 279898390 937418752 8311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835049 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7505/statm: 228862 8311 2476 14 0 215332 0
[pid=7505/tid=7507] ppid=7503 vsize=915448 CPUtime=0.04
/proc/7505/task/7507/stat : 7507 (java) S 7503 7505 7288 0 -1 64 413 0 0 0 4 0 0 0 16 0 8 0 279898394 937418752 8311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7508] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7508/stat : 7508 (java) S 7503 7505 7288 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279898395 937418752 8311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7509] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7509/stat : 7509 (java) S 7503 7505 7288 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279898395 937418752 8311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7510] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7510/stat : 7510 (java) S 7503 7505 7288 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279898398 937418752 8311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7511] ppid=7503 vsize=915448 CPUtime=0.2
/proc/7505/task/7511/stat : 7511 (java) S 7503 7505 7288 0 -1 64 379 0 0 0 20 0 0 0 16 0 8 0 279898398 937418752 8311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7512] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7512/stat : 7512 (java) S 7503 7505 7288 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279898398 937418752 8311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7513] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7513/stat : 7513 (java) S 7503 7505 7288 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279898398 937418752 8311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915448

[startup+6.27537 s]
/proc/loadavg: 1.18 1.04 1.01 3/87 7513
/proc/meminfo: memFree=1426512/2055920 swapFree=4192224/4192956
[pid=7505] ppid=7503 vsize=915448 CPUtime=6.22
/proc/7505/stat : 7505 (java) R 7503 7505 7288 0 -1 0 8577 0 1 0 555 67 0 0 25 0 8 0 279898390 937418752 8314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7505/statm: 228862 8314 2476 14 0 215332 0
[pid=7505/tid=7507] ppid=7503 vsize=915448 CPUtime=0.04
/proc/7505/task/7507/stat : 7507 (java) S 7503 7505 7288 0 -1 64 413 0 0 0 4 0 0 0 16 0 8 0 279898394 937418752 8314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7508] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7508/stat : 7508 (java) S 7503 7505 7288 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279898395 937418752 8314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7509] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7509/stat : 7509 (java) S 7503 7505 7288 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279898395 937418752 8314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7510] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7510/stat : 7510 (java) S 7503 7505 7288 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279898398 937418752 8314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7511] ppid=7503 vsize=915448 CPUtime=0.2
/proc/7505/task/7511/stat : 7511 (java) S 7503 7505 7288 0 -1 64 382 0 0 0 20 0 0 0 17 0 8 0 279898398 937418752 8314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7512] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7512/stat : 7512 (java) S 7503 7505 7288 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279898398 937418752 8314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7513] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7513/stat : 7513 (java) S 7503 7505 7288 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279898398 937418752 8314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915448

[startup+12.7497 s]
/proc/loadavg: 1.25 1.06 1.02 3/87 7513
/proc/meminfo: memFree=1426536/2055920 swapFree=4192224/4192956
[pid=7505] ppid=7503 vsize=915448 CPUtime=12.66
/proc/7505/stat : 7505 (java) R 7503 7505 7288 0 -1 0 8577 0 1 0 1131 135 0 0 25 0 8 0 279898390 937418752 8314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073846457 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7505/statm: 228862 8314 2476 14 0 215332 0
[pid=7505/tid=7507] ppid=7503 vsize=915448 CPUtime=0.04
/proc/7505/task/7507/stat : 7507 (java) S 7503 7505 7288 0 -1 64 413 0 0 0 4 0 0 0 16 0 8 0 279898394 937418752 8314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7508] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7508/stat : 7508 (java) S 7503 7505 7288 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279898395 937418752 8314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7509] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7509/stat : 7509 (java) S 7503 7505 7288 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279898395 937418752 8314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7510] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7510/stat : 7510 (java) S 7503 7505 7288 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279898398 937418752 8314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7511] ppid=7503 vsize=915448 CPUtime=0.2
/proc/7505/task/7511/stat : 7511 (java) S 7503 7505 7288 0 -1 64 382 0 0 0 20 0 0 0 17 0 8 0 279898398 937418752 8314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7512] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7512/stat : 7512 (java) S 7503 7505 7288 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279898398 937418752 8314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7513] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7513/stat : 7513 (java) S 7503 7505 7288 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279898398 937418752 8314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915448

[startup+25.6054 s]
/proc/loadavg: 1.36 1.09 1.03 3/87 7513
/proc/meminfo: memFree=1426600/2055920 swapFree=4192224/4192956
[pid=7505] ppid=7503 vsize=915448 CPUtime=25.45
/proc/7505/stat : 7505 (java) R 7503 7505 7288 0 -1 0 8577 0 1 0 2270 275 0 0 25 0 8 0 279898390 937418752 8314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073836260 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7505/statm: 228862 8314 2476 14 0 215332 0
[pid=7505/tid=7507] ppid=7503 vsize=915448 CPUtime=0.04
/proc/7505/task/7507/stat : 7507 (java) S 7503 7505 7288 0 -1 64 413 0 0 0 4 0 0 0 16 0 8 0 279898394 937418752 8314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7508] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7508/stat : 7508 (java) S 7503 7505 7288 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279898395 937418752 8314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7509] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7509/stat : 7509 (java) S 7503 7505 7288 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279898395 937418752 8314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7510] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7510/stat : 7510 (java) S 7503 7505 7288 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279898398 937418752 8314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7511] ppid=7503 vsize=915448 CPUtime=0.2
/proc/7505/task/7511/stat : 7511 (java) S 7503 7505 7288 0 -1 64 382 0 0 0 20 0 0 0 17 0 8 0 279898398 937418752 8314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7512] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7512/stat : 7512 (java) S 7503 7505 7288 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279898398 937418752 8314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7513] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7513/stat : 7513 (java) S 7503 7505 7288 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279898398 937418752 8314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915448

[startup+51.2207 s]
/proc/loadavg: 1.61 1.17 1.05 3/87 7513
/proc/meminfo: memFree=1419432/2055920 swapFree=4192224/4192956
[pid=7505] ppid=7503 vsize=915448 CPUtime=50.94
/proc/7505/stat : 7505 (java) R 7503 7505 7288 0 -1 0 9546 0 1 0 4757 337 0 0 25 0 8 0 279898390 937418752 9274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073971491 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7505/statm: 228862 9274 2527 14 0 215332 0
[pid=7505/tid=7507] ppid=7503 vsize=915448 CPUtime=0.04
/proc/7505/task/7507/stat : 7507 (java) S 7503 7505 7288 0 -1 64 414 0 0 0 4 0 0 0 16 0 8 0 279898394 937418752 9274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7508] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7508/stat : 7508 (java) S 7503 7505 7288 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279898395 937418752 9274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7509] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7509/stat : 7509 (java) S 7503 7505 7288 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279898395 937418752 9274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7510] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7510/stat : 7510 (java) S 7503 7505 7288 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279898398 937418752 9274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7511] ppid=7503 vsize=915448 CPUtime=0.31
/proc/7505/task/7511/stat : 7511 (java) S 7503 7505 7288 0 -1 64 442 0 0 0 30 1 0 0 16 0 8 0 279898398 937418752 9274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7512] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7512/stat : 7512 (java) S 7503 7505 7288 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279898398 937418752 9274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7513] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7513/stat : 7513 (java) S 7503 7505 7288 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279898398 937418752 9274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 915448

[startup+102.44 s]
/proc/loadavg: 1.83 1.30 1.10 3/87 7513
/proc/meminfo: memFree=1419368/2055920 swapFree=4192224/4192956
[pid=7505] ppid=7503 vsize=915448 CPUtime=101.91
/proc/7505/stat : 7505 (java) R 7503 7505 7288 0 -1 0 9556 0 1 0 9854 337 0 0 25 0 8 0 279898390 937418752 9284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073984242 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7505/statm: 228862 9284 2527 14 0 215332 0
[pid=7505/tid=7507] ppid=7503 vsize=915448 CPUtime=0.04
/proc/7505/task/7507/stat : 7507 (java) S 7503 7505 7288 0 -1 64 414 0 0 0 4 0 0 0 16 0 8 0 279898394 937418752 9284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7508] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7508/stat : 7508 (java) S 7503 7505 7288 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279898395 937418752 9284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7509] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7509/stat : 7509 (java) S 7503 7505 7288 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279898395 937418752 9284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7510] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7510/stat : 7510 (java) S 7503 7505 7288 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279898398 937418752 9284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7511] ppid=7503 vsize=915448 CPUtime=0.32
/proc/7505/task/7511/stat : 7511 (java) S 7503 7505 7288 0 -1 64 444 0 0 0 31 1 0 0 16 0 8 0 279898398 937418752 9284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7512] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7512/stat : 7512 (java) S 7503 7505 7288 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279898398 937418752 9284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7513] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7513/stat : 7513 (java) S 7503 7505 7288 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279898398 937418752 9284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 915448

[startup+162.496 s]
/proc/loadavg: 1.94 1.42 1.16 3/87 7513
/proc/meminfo: memFree=1419368/2055920 swapFree=4192224/4192956
[pid=7505] ppid=7503 vsize=915448 CPUtime=161.68
/proc/7505/stat : 7505 (java) R 7503 7505 7288 0 -1 0 9560 0 1 0 15831 337 0 0 25 0 8 0 279898390 937418752 9287 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073471031 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 2014.66
Current children cumulated vsize (KiB) 915448

[startup+2084.63 s]
/proc/loadavg: 2.00 1.99 1.85 3/87 7711
/proc/meminfo: memFree=1418800/2055920 swapFree=4192224/4192956
[pid=7505] ppid=7503 vsize=915448 CPUtime=2074.45
/proc/7505/stat : 7505 (java) R 7503 7505 7288 0 -1 0 9579 0 1 0 207104 341 0 0 25 0 8 0 279898390 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073975152 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7505/statm: 228862 9305 2527 14 0 215332 0
[pid=7505/tid=7507] ppid=7503 vsize=915448 CPUtime=0.04
/proc/7505/task/7507/stat : 7507 (java) S 7503 7505 7288 0 -1 64 414 0 0 0 4 0 0 0 16 0 8 0 279898394 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7508] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7508/stat : 7508 (java) S 7503 7505 7288 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279898395 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7509] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7509/stat : 7509 (java) S 7503 7505 7288 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279898395 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7510] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7510/stat : 7510 (java) S 7503 7505 7288 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279898398 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7511] ppid=7503 vsize=915448 CPUtime=0.32
/proc/7505/task/7511/stat : 7511 (java) S 7503 7505 7288 0 -1 64 445 0 0 0 31 1 0 0 16 0 8 0 279898398 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7512] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7512/stat : 7512 (java) S 7503 7505 7288 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279898398 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7513] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7513/stat : 7513 (java) S 7503 7505 7288 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279898398 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2074.45
Current children cumulated vsize (KiB) 915448

[startup+2144.7 s]
/proc/loadavg: 2.00 1.99 1.86 3/87 7711
/proc/meminfo: memFree=1418800/2055920 swapFree=4192224/4192956
[pid=7505] ppid=7503 vsize=915448 CPUtime=2134.23
/proc/7505/stat : 7505 (java) R 7503 7505 7288 0 -1 0 9579 0 1 0 213082 341 0 0 25 0 8 0 279898390 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073954105 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7505/statm: 228862 9305 2527 14 0 215332 0
[pid=7505/tid=7507] ppid=7503 vsize=915448 CPUtime=0.04
/proc/7505/task/7507/stat : 7507 (java) S 7503 7505 7288 0 -1 64 414 0 0 0 4 0 0 0 16 0 8 0 279898394 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7508] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7508/stat : 7508 (java) S 7503 7505 7288 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279898395 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7509] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7509/stat : 7509 (java) S 7503 7505 7288 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279898395 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7510] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7510/stat : 7510 (java) S 7503 7505 7288 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279898398 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7511] ppid=7503 vsize=915448 CPUtime=0.32
/proc/7505/task/7511/stat : 7511 (java) S 7503 7505 7288 0 -1 64 445 0 0 0 31 1 0 0 16 0 8 0 279898398 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7512] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7512/stat : 7512 (java) S 7503 7505 7288 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279898398 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7513] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7513/stat : 7513 (java) S 7503 7505 7288 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279898398 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2134.23
Current children cumulated vsize (KiB) 915448

[startup+2204.76 s]
/proc/loadavg: 2.00 1.99 1.87 3/87 7711
/proc/meminfo: memFree=1418800/2055920 swapFree=4192224/4192956
[pid=7505] ppid=7503 vsize=915448 CPUtime=2194
/proc/7505/stat : 7505 (java) R 7503 7505 7288 0 -1 0 9579 0 1 0 219059 341 0 0 25 0 8 0 279898390 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073974403 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7505/statm: 228862 9305 2527 14 0 215332 0
[pid=7505/tid=7507] ppid=7503 vsize=915448 CPUtime=0.04
/proc/7505/task/7507/stat : 7507 (java) S 7503 7505 7288 0 -1 64 414 0 0 0 4 0 0 0 16 0 8 0 279898394 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7508] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7508/stat : 7508 (java) S 7503 7505 7288 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279898395 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7509] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7509/stat : 7509 (java) S 7503 7505 7288 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279898395 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7510] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7510/stat : 7510 (java) S 7503 7505 7288 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279898398 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7511] ppid=7503 vsize=915448 CPUtime=0.32
/proc/7505/task/7511/stat : 7511 (java) S 7503 7505 7288 0 -1 64 445 0 0 0 31 1 0 0 16 0 8 0 279898398 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7512] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7512/stat : 7512 (java) S 7503 7505 7288 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279898398 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7513] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7513/stat : 7513 (java) S 7503 7505 7288 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279898398 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2194
Current children cumulated vsize (KiB) 915448

[startup+2264.82 s]
/proc/loadavg: 2.00 1.99 1.87 3/87 7711
/proc/meminfo: memFree=1418800/2055920 swapFree=4192224/4192956
[pid=7505] ppid=7503 vsize=915448 CPUtime=2253.78
/proc/7505/stat : 7505 (java) R 7503 7505 7288 0 -1 0 9579 0 1 0 225037 341 0 0 25 0 8 0 279898390 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073951968 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7505/statm: 228862 9305 2527 14 0 215332 0
[pid=7505/tid=7507] ppid=7503 vsize=915448 CPUtime=0.04
/proc/7505/task/7507/stat : 7507 (java) S 7503 7505 7288 0 -1 64 414 0 0 0 4 0 0 0 16 0 8 0 279898394 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7508] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7508/stat : 7508 (java) S 7503 7505 7288 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279898395 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7509] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7509/stat : 7509 (java) S 7503 7505 7288 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279898395 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7510] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7510/stat : 7510 (java) S 7503 7505 7288 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279898398 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7511] ppid=7503 vsize=915448 CPUtime=0.32
/proc/7505/task/7511/stat : 7511 (java) S 7503 7505 7288 0 -1 64 445 0 0 0 31 1 0 0 16 0 8 0 279898398 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7512] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7512/stat : 7512 (java) S 7503 7505 7288 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279898398 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7513] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7513/stat : 7513 (java) S 7503 7505 7288 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279898398 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2253.78
Current children cumulated vsize (KiB) 915448

[startup+2324.89 s]
/proc/loadavg: 2.05 2.00 1.88 3/87 7711
/proc/meminfo: memFree=1418800/2055920 swapFree=4192224/4192956
[pid=7505] ppid=7503 vsize=915448 CPUtime=2313.55
/proc/7505/stat : 7505 (java) R 7503 7505 7288 0 -1 0 9579 0 1 0 231014 341 0 0 25 0 8 0 279898390 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074026938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7505/statm: 228862 9305 2527 14 0 215332 0
[pid=7505/tid=7507] ppid=7503 vsize=915448 CPUtime=0.04
/proc/7505/task/7507/stat : 7507 (java) S 7503 7505 7288 0 -1 64 414 0 0 0 4 0 0 0 16 0 8 0 279898394 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7508] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7508/stat : 7508 (java) S 7503 7505 7288 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279898395 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7509] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7509/stat : 7509 (java) S 7503 7505 7288 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279898395 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7510] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7510/stat : 7510 (java) S 7503 7505 7288 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279898398 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7511] ppid=7503 vsize=915448 CPUtime=0.32
/proc/7505/task/7511/stat : 7511 (java) S 7503 7505 7288 0 -1 64 445 0 0 0 31 1 0 0 16 0 8 0 279898398 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7512] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7512/stat : 7512 (java) S 7503 7505 7288 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279898398 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7513] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7513/stat : 7513 (java) S 7503 7505 7288 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279898398 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2313.55
Current children cumulated vsize (KiB) 915448

[startup+2384.95 s]
/proc/loadavg: 2.02 2.00 1.89 3/87 7713
/proc/meminfo: memFree=1418800/2055920 swapFree=4192224/4192956
[pid=7505] ppid=7503 vsize=915448 CPUtime=2373.33
/proc/7505/stat : 7505 (java) R 7503 7505 7288 0 -1 0 9579 0 1 0 236992 341 0 0 25 0 8 0 279898390 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7505/statm: 228862 9305 2527 14 0 215332 0
[pid=7505/tid=7507] ppid=7503 vsize=915448 CPUtime=0.04
/proc/7505/task/7507/stat : 7507 (java) S 7503 7505 7288 0 -1 64 414 0 0 0 4 0 0 0 16 0 8 0 279898394 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7508] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7508/stat : 7508 (java) S 7503 7505 7288 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279898395 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7509] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7509/stat : 7509 (java) S 7503 7505 7288 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279898395 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7510] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7510/stat : 7510 (java) S 7503 7505 7288 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279898398 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7511] ppid=7503 vsize=915448 CPUtime=0.32
/proc/7505/task/7511/stat : 7511 (java) S 7503 7505 7288 0 -1 64 445 0 0 0 31 1 0 0 16 0 8 0 279898398 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7512] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7512/stat : 7512 (java) S 7503 7505 7288 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279898398 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7513] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7513/stat : 7513 (java) S 7503 7505 7288 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279898398 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2373.33
Current children cumulated vsize (KiB) 915448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2411.8 s]
/proc/loadavg: 2.09 2.02 1.90 3/79 7775
/proc/meminfo: memFree=1435112/2055920 swapFree=4192224/4192956
[pid=7505] ppid=7503 vsize=915448 CPUtime=2400.02
/proc/7505/stat : 7505 (java) R 7503 7505 7288 0 -1 0 9579 0 1 0 239660 342 0 0 25 0 8 0 279898390 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074015898 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7505/statm: 228862 9305 2527 14 0 215332 0
[pid=7505/tid=7507] ppid=7503 vsize=915448 CPUtime=0.04
/proc/7505/task/7507/stat : 7507 (java) S 7503 7505 7288 0 -1 64 414 0 0 0 4 0 0 0 16 0 8 0 279898394 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7508] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7508/stat : 7508 (java) S 7503 7505 7288 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279898395 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7509] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7509/stat : 7509 (java) S 7503 7505 7288 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279898395 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7510] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7510/stat : 7510 (java) S 7503 7505 7288 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279898398 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7511] ppid=7503 vsize=915448 CPUtime=0.32
/proc/7505/task/7511/stat : 7511 (java) S 7503 7505 7288 0 -1 64 445 0 0 0 31 1 0 0 16 0 8 0 279898398 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7512] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7512/stat : 7512 (java) S 7503 7505 7288 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279898398 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7505/tid=7513] ppid=7503 vsize=915448 CPUtime=0
/proc/7505/task/7513/stat : 7513 (java) S 7503 7505 7288 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279898398 937418752 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 915448

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

Child status: 143
Real time (s): 2411.86
CPU time (s): 2400.08
CPU user time (s): 2396.65
CPU system time (s): 3.43348
CPU usage (%): 99.5119
Max. virtual memory (cumulated for all children) (KiB): 915452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.65
system time used= 3.43348
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9601
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= 50145
involuntary context switches= 77561

runsolver used 2.76658 s user time and 7.9158 s system time

The end

Launcher Data (download as text)

Begin job on node33 on Sat Jan 20 17:44:05 UTC 2007


IDJOB= 281882
IDBENCH= 12298
IDSOLVER= 69
FILE ID= node33/281882-1169315045

PBS_JOBID= 3610323

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/maxclique/san-200-0.9-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281882-1169315045/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node33/watcher-281882-1169315045 -o ROOT/results/node33/solver-281882-1169315045 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281882-1169315045/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  97c79268c005c90235ba77e9498a9c00

RANDOM SEED= 430816083

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.281
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.281
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:       1450600 kB
Buffers:         47024 kB
Cached:         444416 kB
SwapCached:        268 kB
Active:         209136 kB
Inactive:       326004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1450600 kB
SwapTotal:     4192956 kB
SwapFree:      4192224 kB
Dirty:            3916 kB
Writeback:           0 kB
Mapped:          63368 kB
Slab:            55516 kB
Committed_AS:  5609072 kB
PageTables:       1872 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= 66559 MiB



End job on node33 on Sat Jan 20 18:24:17 UTC 2007