Trace number 213988

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESAC? (TO) 1800.13 1803.56

General information on the benchmark

NamepseudoSeries/par/
par-32-2-c.xml
MD5SUMec636a8cda30e8c96a0d243ae0d25948
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2606
Number of constraints6509
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension6509
Global constraints used (with number of constraints)

Solver Data (download as text)

0.33	   
0.33	Abscon 109 (November, 2006)
0.33	   
0.33	   configuration
0.33	     name=esac.xml
0.39	   
0.39	   instance
0.39	     name=/tmp/evaluation/213988-1168227953/unknown.xml
0.42	   
0.42	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.59	     nbVariables=2606  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.59	       =>  wckTime=0.26  cpuTime=0.15  mem=10M819
0.59	   
0.59	   predicates being loaded...
0.60	   
0.60	   constraints being loaded...
1.58	     nbConstraints=6509  nbConvertedConstraints=1675  nbConvertConstraintsChecks=56  nbExtensionStructures=2
1.58	     nbSharedExtensionStructures=1673  nbConflictsStructures=8  nbSharedConflictsStructures=6501
1.58	     nbSharedBinaryRepresentations=5  nbEvaluationManagers=6  nbSharedEvaluationManagers=4828  maxDegree=81  maxArity=3
1.58	       =>  wckTime=1.243  cpuTime=0.97  mem=7M966
1.64	   
1.64	   solver IterativeSystematicSolver being built... 
2.02	       =>  wckTime=1.684  cpuTime=1.25  mem=10M21
2.81	   
2.81	   preprocessing
2.81	     nbConstraintChecks=14616  nbValidityChecks=7629  nbPropagations=8945  nbRevisions=29951  nbUselessRevisions=26203
2.81	     nbSingletonTests=2630  nbEffectiveSingletonTests=0  nbESACBranches=6  nbRemovedValues=0  detectedInconsistency=no
2.81	       =>  wckTime=0.78  cpuTime=0.73  mem=10M21
2.96	   
2.96	   search
2.96	     run=0  nbConstraintChecks=21545  nbValidityChecks=16520  nbPropagations=15999  nbRevisions=60606
2.96	     nbUselessRevisions=49804  nbAssignments=74  nbFailedAssignments=4  nbBacktracks=14  nbVisitedNodes=83
2.96	     nbRestartNogoods=0  mapSize=7  nbInferences=0  nbTooLargeKeys=0
2.96	       =>  wckTime=0.94  cpuTime=0.88  mem=10M21
3.09	   
3.09	   search
3.09	     run=1  nbConstraintChecks=39528  nbValidityChecks=33578  nbPropagations=38733  nbRevisions=150468
3.09	     nbUselessRevisions=122130  nbAssignments=148  nbFailedAssignments=8  nbBacktracks=30  nbVisitedNodes=165
3.09	     nbRestartNogoods=1  mapSize=14  nbInferences=0  nbTooLargeKeys=0
3.09	       =>  wckTime=1.068  cpuTime=1.01  mem=10M21
3.28	   
3.28	   search
3.28	     run=2  nbConstraintChecks=71081  nbValidityChecks=62430  nbPropagations=72982  nbRevisions=290381
3.28	     nbUselessRevisions=232973  nbAssignments=237  nbFailedAssignments=15  nbBacktracks=52  nbVisitedNodes=268
3.28	     nbRestartNogoods=2  mapSize=25  nbInferences=0  nbTooLargeKeys=0
3.28	       =>  wckTime=1.26  cpuTime=1.2  mem=10M21
3.53	   
3.53	   search
3.54	     run=3  nbConstraintChecks=111539  nbValidityChecks=100622  nbPropagations=122310  nbRevisions=495837
3.54	     nbUselessRevisions=394251  nbAssignments=340  nbFailedAssignments=24  nbBacktracks=92  nbVisitedNodes=389
3.54	     nbRestartNogoods=5  mapSize=41  nbInferences=0  nbTooLargeKeys=0
3.54	       =>  wckTime=1.512  cpuTime=1.45  mem=10M21
3.85	   
3.85	   search
3.85	     run=4  nbConstraintChecks=169661  nbValidityChecks=154085  nbPropagations=192579  nbRevisions=792992
3.85	     nbUselessRevisions=626228  nbAssignments=463  nbFailedAssignments=37  nbBacktracks=142  nbVisitedNodes=538
3.85	     nbRestartNogoods=7  mapSize=64  nbInferences=0  nbTooLargeKeys=0
3.85	       =>  wckTime=1.828  cpuTime=1.76  mem=10M996
4.28	   
4.28	   search
4.28	     run=5  nbConstraintChecks=252019  nbValidityChecks=229809  nbPropagations=292632  nbRevisions=1220466
4.28	     nbUselessRevisions=958638  nbAssignments=612  nbFailedAssignments=56  nbBacktracks=218  nbVisitedNodes=725
4.28	     nbRestartNogoods=10  mapSize=100  nbInferences=0  nbTooLargeKeys=0
4.28	       =>  wckTime=2.258  cpuTime=2.19  mem=10M996
4.90	   
4.90	   search
4.90	     run=6  nbConstraintChecks=374258  nbValidityChecks=341499  nbPropagations=436388  nbRevisions=1840108
4.90	     nbUselessRevisions=1439349  nbAssignments=812  nbFailedAssignments=84  nbBacktracks=334  nbVisitedNodes=981
4.90	     nbRestartNogoods=12  mapSize=153  nbInferences=0  nbTooLargeKeys=0
4.90	       =>  wckTime=2.88  cpuTime=2.81  mem=10M996
5.74	   
5.74	   search
5.74	     run=7  nbConstraintChecks=528709  nbValidityChecks=482412  nbPropagations=635289  nbRevisions=2702096
5.74	     nbUselessRevisions=2107041  nbAssignments=1072  nbFailedAssignments=120  nbBacktracks=504  nbVisitedNodes=1313
5.74	     nbRestartNogoods=15  mapSize=222  nbInferences=0  nbTooLargeKeys=0
5.74	       =>  wckTime=3.713  cpuTime=3.64  mem=10M996
6.85	   
6.85	   search
6.85	     run=8  nbConstraintChecks=696451  nbValidityChecks=635252  nbPropagations=894476  nbRevisions=3827139
6.85	     nbUselessRevisions=2977284  nbAssignments=1424  nbFailedAssignments=160  nbBacktracks=766  nbVisitedNodes=1745
6.85	     nbRestartNogoods=18  mapSize=300  nbInferences=0  nbTooLargeKeys=0
6.85	       =>  wckTime=4.824  cpuTime=4.74  mem=10M996
8.47	   
8.47	   search
8.47	     run=9  nbConstraintChecks=931896  nbValidityChecks=849619  nbPropagations=1238236  nbRevisions=5321871
8.47	     nbUselessRevisions=4132334  nbAssignments=1922  nbFailedAssignments=216  nbBacktracks=1154  nbVisitedNodes=2355
8.47	     nbRestartNogoods=20  mapSize=409  nbInferences=0  nbTooLargeKeys=0
8.47	       =>  wckTime=6.447  cpuTime=6.34  mem=10M996
10.64	   
10.64	   search
10.64	     run=10  nbConstraintChecks=1182055  nbValidityChecks=1075942  nbPropagations=1671289  nbRevisions=7214527
10.64	     nbUselessRevisions=5595600  nbAssignments=2641  nbFailedAssignments=301  nbBacktracks=1730  nbVisitedNodes=3217
10.64	     nbRestartNogoods=23  mapSize=549  nbInferences=0  nbTooLargeKeys=0
10.64	       =>  wckTime=8.614  cpuTime=8.48  mem=11M971
13.73	   
13.73	   search
13.73	     run=11  nbConstraintChecks=1485645  nbValidityChecks=1350867  nbPropagations=2212946  nbRevisions=9591762
13.73	     nbUselessRevisions=7434372  nbAssignments=3688  nbFailedAssignments=407  nbBacktracks=2606  nbVisitedNodes=4443
13.73	     nbRestartNogoods=26  mapSize=726  nbInferences=0  nbTooLargeKeys=0
13.73	       =>  wckTime=11.707  cpuTime=11.54  mem=11M971
18.20	   
18.20	   search
18.20	     run=12  nbConstraintChecks=1842094  nbValidityChecks=1669385  nbPropagations=2880044  nbRevisions=12529096
18.21	     nbUselessRevisions=9707216  nbAssignments=5171  nbFailedAssignments=529  nbBacktracks=3909  nbVisitedNodes=6143
18.21	     nbRestartNogoods=28  mapSize=940  nbInferences=0  nbTooLargeKeys=0
18.21	       =>  wckTime=16.182  cpuTime=15.98  mem=12M946
19.73	   
19.73	   INFO : Stopping hyperNogood (mapSize=1004, nbTooLargekeys=0, mem=13M921)
21.84	   
21.84	   search
21.84	     run=13  nbConstraintChecks=2450154  nbValidityChecks=2236161  nbPropagations=3764840  nbRevisions=16437979
21.84	     nbUselessRevisions=12731431  nbAssignments=7423  nbFailedAssignments=754  nbBacktracks=5862  nbVisitedNodes=8829
21.84	     nbRestartNogoods=31
21.84	       =>  wckTime=19.818  cpuTime=19.59  mem=13M921
26.34	   
26.34	   search
26.34	     run=14  nbConstraintChecks=3620681  nbValidityChecks=3425043  nbPropagations=5111421  nbRevisions=22328742
26.34	     nbUselessRevisions=17266461  nbAssignments=10683  nbFailedAssignments=1040  nbBacktracks=8781  nbVisitedNodes=12671
26.34	     nbRestartNogoods=35
26.34	       =>  wckTime=24.316  cpuTime=24.07  mem=13M921
34.08	   
34.08	   search
34.08	     run=15  nbConstraintChecks=5650744  nbValidityChecks=5691552  nbPropagations=7324158  nbRevisions=31955312
34.08	     nbUselessRevisions=24649866  nbAssignments=15568  nbFailedAssignments=1463  nbBacktracks=13166
34.08	     nbVisitedNodes=18412  nbRestartNogoods=38
34.08	       =>  wckTime=32.061  cpuTime=31.78  mem=13M921
43.47	   
43.47	   search
43.47	     run=16  nbConstraintChecks=7967658  nbValidityChecks=8158734  nbPropagations=10479710  nbRevisions=45727581
43.47	     nbUselessRevisions=35212227  nbAssignments=22753  nbFailedAssignments=2025  nbBacktracks=19737
43.47	     nbVisitedNodes=26731  nbRestartNogoods=43
43.47	       =>  wckTime=41.446  cpuTime=41.11  mem=13M921
57.46	   
57.46	   search
57.46	     run=17  nbConstraintChecks=11186442  nbValidityChecks=11704542  nbPropagations=14880846  nbRevisions=65401159
57.46	     nbUselessRevisions=50378929  nbAssignments=33616  nbFailedAssignments=2943  nbBacktracks=29600
57.46	     nbVisitedNodes=39428  nbRestartNogoods=45
57.46	       =>  wckTime=55.438  cpuTime=55.05  mem=13M921
73.25	   
73.25	   search
73.25	     run=18  nbConstraintChecks=13976716  nbValidityChecks=14909057  nbPropagations=20392044  nbRevisions=90346131
73.25	     nbUselessRevisions=69650086  nbAssignments=49581  nbFailedAssignments=4018  nbBacktracks=44413
73.25	     nbVisitedNodes=57654  nbRestartNogoods=55
73.25	       =>  wckTime=71.224  cpuTime=70.73  mem=13M921
103.10	   
103.10	   search
103.10	     run=19  nbConstraintChecks=20689154  nbValidityChecks=22407746  nbPropagations=28638735  nbRevisions=127682464
103.10	     nbUselessRevisions=98479753  nbAssignments=73359  nbFailedAssignments=5509  nbBacktracks=66607
103.10	     nbVisitedNodes=84451  nbRestartNogoods=62
103.10	       =>  wckTime=101.078  cpuTime=100.44  mem=13M921
148.04	   
148.04	   search
148.04	     run=20  nbConstraintChecks=31164923  nbValidityChecks=33662538  nbPropagations=41014781  nbRevisions=183709860
148.04	     nbUselessRevisions=141730521  nbAssignments=109135  nbFailedAssignments=7940  nbBacktracks=99862
148.04	     nbVisitedNodes=125068  nbRestartNogoods=68
148.04	       =>  wckTime=146.017  cpuTime=145.13  mem=13M921
207.27	   
207.27	   search
207.27	     run=21  nbConstraintChecks=43136588  nbValidityChecks=47090562  nbPropagations=58180875  nbRevisions=261750270
207.27	     nbUselessRevisions=202027098  nbAssignments=162338  nbFailedAssignments=11168  nbBacktracks=149756
207.27	     nbVisitedNodes=184745  nbRestartNogoods=74
207.27	       =>  wckTime=205.242  cpuTime=204.01  mem=13M921
284.94	   
284.94	   search
284.94	     run=22  nbConstraintChecks=57544676  nbValidityChecks=63229223  nbPropagations=81243446  nbRevisions=366732449
284.94	     nbUselessRevisions=283163857  nbAssignments=241179  nbFailedAssignments=15108  nbBacktracks=224579
284.94	     nbVisitedNodes=271400  nbRestartNogoods=82
284.94	       =>  wckTime=282.915  cpuTime=281.28  mem=13M921
398.09	   
398.09	   search
398.09	     run=23  nbConstraintChecks=78017331  nbValidityChecks=86146884  nbPropagations=112657900  nbRevisions=509992038
398.09	     nbUselessRevisions=393896778  nbAssignments=359140  nbFailedAssignments=20729  nbBacktracks=336815
398.09	     nbVisitedNodes=400628  nbRestartNogoods=88
398.09	       =>  wckTime=396.07  cpuTime=393.81  mem=13M921
567.53	   
567.54	   search
567.54	     run=24  nbConstraintChecks=110436567  nbValidityChecks=121303688  nbPropagations=157073136  nbRevisions=711878350
567.54	     nbUselessRevisions=549858160  nbAssignments=534715  nbFailedAssignments=27880  nbBacktracks=505157
567.54	     nbVisitedNodes=590597  nbRestartNogoods=93
567.54	       =>  wckTime=565.512  cpuTime=562.51  mem=13M921
802.19	   
802.19	   search
802.19	     run=25  nbConstraintChecks=154066862  nbValidityChecks=168868522  nbPropagations=218777005  nbRevisions=993007740
802.19	     nbUselessRevisions=767243453  nbAssignments=797036  nbFailedAssignments=37587  nbBacktracks=757684
802.19	     nbVisitedNodes=872179  nbRestartNogoods=99
802.19	       =>  wckTime=800.171  cpuTime=797.08  mem=13M921
1145.58	   
1145.58	   search
1145.58	     run=26  nbConstraintChecks=215326854  nbValidityChecks=236598794  nbPropagations=305194087  nbRevisions=1386898199
1145.58	     nbUselessRevisions=1071789685  nbAssignments=1190129  nbFailedAssignments=51803  nbBacktracks=1136456
1145.58	     nbVisitedNodes=1294060  nbRestartNogoods=108
1145.58	       =>  wckTime=1143.552  cpuTime=1140.34  mem=13M921
1667.21	   
1667.22	   search
1667.22	     run=27  nbConstraintChecks=309315466  nbValidityChecks=339925819  nbPropagations=429711126  nbRevisions=1954734832
1667.22	     nbUselessRevisions=1510916342  nbAssignments=1781295  nbFailedAssignments=74664  nbBacktracks=1704694
1667.22	     nbVisitedNodes=1931361  nbRestartNogoods=115
1667.22	       =>  wckTime=1665.191  cpuTime=1661.8  mem=13M921

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer:

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node38/watcher-213988-1168227953 -o ROOT/results/node38/solver-213988-1168227953 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213988-1168227953/unknown.xml 

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

/proc/loadavg: 2.06 2.00 1.73 4/85 18406
/proc/meminfo: memFree=1671368/2055920 swapFree=4192812/4192956
[pid=18405] ppid=18403 vsize=18540 CPUtime=0
/proc/18405/stat : 18405 (runsolver) R 18403 18405 17994 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 171194989 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 266890439975 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/18405/statm: 4635 279 244 17 0 2626 0

[startup+0.108038 s]
/proc/loadavg: 2.06 2.00 1.73 4/85 18406
/proc/meminfo: memFree=1671368/2055920 swapFree=4192812/4192956
[pid=18405] ppid=18403 vsize=911488 CPUtime=0.06
/proc/18405/stat : 18405 (java) D 18403 18405 17994 0 -1 0 2637 0 1 0 5 1 0 0 20 0 8 0 171194989 933363712 2384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18405/statm: 227872 2384 1284 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488

[startup+0.520156 s]
/proc/loadavg: 2.06 2.00 1.73 4/85 18406
/proc/meminfo: memFree=1671368/2055920 swapFree=4192812/4192956
[pid=18405] ppid=18403 vsize=915328 CPUtime=0.44
/proc/18405/stat : 18405 (java) R 18403 18405 17994 0 -1 0 6314 0 1 0 40 4 0 0 18 0 8 0 171194989 937295872 6053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18405/statm: 228832 6053 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915328

[startup+1.34128 s]
/proc/loadavg: 2.06 2.00 1.73 3/92 18413
/proc/meminfo: memFree=1621648/2055920 swapFree=4192812/4192956
[pid=18405] ppid=18403 vsize=915636 CPUtime=1.25
/proc/18405/stat : 18405 (java) R 18403 18405 17994 0 -1 0 15853 0 1 0 96 29 0 0 18 0 8 0 171194989 937611264 15591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18405/statm: 228910 15591 2167 14 0 215380 0
[pid=18405/tid=18407] ppid=18403 vsize=915636 CPUtime=0
/proc/18405/task/18407/stat : 18407 (java) S 18403 18405 17994 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 171194994 937611264 15591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18405/tid=18408] ppid=18403 vsize=915640 CPUtime=0
/proc/18405/task/18408/stat : 18408 (java) S 18403 18405 17994 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 171194995 937615360 15592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18405/tid=18409] ppid=18403 vsize=915636 CPUtime=0
/proc/18405/task/18409/stat : 18409 (java) S 18403 18405 17994 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 171194995 937611264 15592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18405/tid=18410] ppid=18403 vsize=915636 CPUtime=0
/proc/18405/task/18410/stat : 18410 (java) S 18403 18405 17994 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171194998 937611264 15592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18405/tid=18411] ppid=18403 vsize=915640 CPUtime=0.19
/proc/18405/task/18411/stat : 18411 (java) S 18403 18405 17994 0 -1 64 423 0 0 0 18 1 0 0 15 0 8 0 171194998 937615360 15592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18412] ppid=18403 vsize=915640 CPUtime=0
/proc/18405/task/18412/stat : 18412 (java) S 18403 18405 17994 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171194998 937615360 15593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18405/tid=18413] ppid=18403 vsize=915636 CPUtime=0
/proc/18405/task/18413/stat : 18413 (java) S 18403 18405 17994 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171194998 937611264 15593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915636

[startup+2.9786 s]
/proc/loadavg: 2.06 2.00 1.73 3/92 18413
/proc/meminfo: memFree=1599696/2055920 swapFree=4192812/4192956
[pid=18405] ppid=18403 vsize=915728 CPUtime=2.88
/proc/18405/stat : 18405 (java) R 18403 18405 17994 0 -1 0 20648 0 1 0 250 38 0 0 25 0 8 0 171194989 937705472 20383 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074186228 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18405/statm: 228932 20383 2547 14 0 215402 0
[pid=18405/tid=18407] ppid=18403 vsize=915728 CPUtime=0.15
/proc/18405/task/18407/stat : 18407 (java) S 18403 18405 17994 0 -1 64 3492 0 0 0 14 1 0 0 16 0 8 0 171194994 937705472 20383 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18408] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18408/stat : 18408 (java) S 18403 18405 17994 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171194995 937705472 20383 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18409] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18409/stat : 18409 (java) S 18403 18405 17994 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171194995 937705472 20383 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18410] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18410/stat : 18410 (java) S 18403 18405 17994 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171194998 937705472 20383 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18405/tid=18411] ppid=18403 vsize=915728 CPUtime=0.33
/proc/18405/task/18411/stat : 18411 (java) S 18403 18405 17994 0 -1 64 511 0 0 0 31 2 0 0 15 0 8 0 171194998 937705472 20383 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18412] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18412/stat : 18412 (java) S 18403 18405 17994 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171194998 937705472 20383 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18405/tid=18413] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18413/stat : 18413 (java) S 18403 18405 17994 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171194998 937705472 20383 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 915728

[startup+6.18023 s]
/proc/loadavg: 2.05 2.00 1.73 3/92 18413
/proc/meminfo: memFree=1599504/2055920 swapFree=4192812/4192956
[pid=18405] ppid=18403 vsize=915728 CPUtime=6.06
/proc/18405/stat : 18405 (java) R 18403 18405 17994 0 -1 0 20653 0 1 0 568 38 0 0 25 0 8 0 171194989 937705472 20387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074104269 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18405/statm: 228932 20387 2547 14 0 215402 0
[pid=18405/tid=18407] ppid=18403 vsize=915728 CPUtime=0.15
/proc/18405/task/18407/stat : 18407 (java) S 18403 18405 17994 0 -1 64 3492 0 0 0 14 1 0 0 16 0 8 0 171194994 937705472 20387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18408] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18408/stat : 18408 (java) S 18403 18405 17994 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171194995 937705472 20387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18409] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18409/stat : 18409 (java) S 18403 18405 17994 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171194995 937705472 20387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18410] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18410/stat : 18410 (java) S 18403 18405 17994 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171194998 937705472 20387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18405/tid=18411] ppid=18403 vsize=915728 CPUtime=0.34
/proc/18405/task/18411/stat : 18411 (java) S 18403 18405 17994 0 -1 64 515 0 0 0 32 2 0 0 16 0 8 0 171194998 937705472 20387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18412] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18412/stat : 18412 (java) S 18403 18405 17994 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171194998 937705472 20387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18405/tid=18413] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18413/stat : 18413 (java) S 18403 18405 17994 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171194998 937705472 20387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 915728

[startup+12.6625 s]
/proc/loadavg: 2.05 2.00 1.73 3/92 18413
/proc/meminfo: memFree=1599504/2055920 swapFree=4192812/4192956
[pid=18405] ppid=18403 vsize=915728 CPUtime=12.51
/proc/18405/stat : 18405 (java) R 18403 18405 17994 0 -1 0 20668 0 1 0 1212 39 0 0 25 0 8 0 171194989 937705472 20398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074200583 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18405/statm: 228932 20398 2547 14 0 215402 0
[pid=18405/tid=18407] ppid=18403 vsize=915728 CPUtime=0.15
/proc/18405/task/18407/stat : 18407 (java) S 18403 18405 17994 0 -1 64 3492 0 0 0 14 1 0 0 16 0 8 0 171194994 937705472 20398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18408] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18408/stat : 18408 (java) S 18403 18405 17994 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171194995 937705472 20398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18409] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18409/stat : 18409 (java) S 18403 18405 17994 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171194995 937705472 20398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18410] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18410/stat : 18410 (java) S 18403 18405 17994 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171194998 937705472 20398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18405/tid=18411] ppid=18403 vsize=915728 CPUtime=0.37
/proc/18405/task/18411/stat : 18411 (java) S 18403 18405 17994 0 -1 64 526 0 0 0 35 2 0 0 16 0 8 0 171194998 937705472 20398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18412] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18412/stat : 18412 (java) S 18403 18405 17994 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171194998 937705472 20398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18405/tid=18413] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18413/stat : 18413 (java) S 18403 18405 17994 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171194998 937705472 20398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915728

[startup+25.538 s]
/proc/loadavg: 2.04 2.00 1.73 3/92 18413
/proc/meminfo: memFree=1599568/2055920 swapFree=4192812/4192956
[pid=18405] ppid=18403 vsize=915728 CPUtime=25.3
/proc/18405/stat : 18405 (java) R 18403 18405 17994 0 -1 0 20670 0 1 0 2491 39 0 0 25 0 8 0 171194989 937705472 20398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074188155 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18405/statm: 228932 20398 2547 14 0 215402 0
[pid=18405/tid=18407] ppid=18403 vsize=915728 CPUtime=0.15
/proc/18405/task/18407/stat : 18407 (java) S 18403 18405 17994 0 -1 64 3492 0 0 0 14 1 0 0 16 0 8 0 171194994 937705472 20398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18408] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18408/stat : 18408 (java) S 18403 18405 17994 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171194995 937705472 20398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18409] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18409/stat : 18409 (java) S 18403 18405 17994 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171194995 937705472 20398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18410] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18410/stat : 18410 (java) S 18403 18405 17994 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171194998 937705472 20398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18405/tid=18411] ppid=18403 vsize=915728 CPUtime=0.37
/proc/18405/task/18411/stat : 18411 (java) S 18403 18405 17994 0 -1 64 526 0 0 0 35 2 0 0 16 0 8 0 171194998 937705472 20398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18412] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18412/stat : 18412 (java) S 18403 18405 17994 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171194998 937705472 20398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18405/tid=18413] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18413/stat : 18413 (java) S 18403 18405 17994 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171194998 937705472 20398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 915728

[startup+51.178 s]
/proc/loadavg: 2.02 2.00 1.74 4/92 18413
/proc/meminfo: memFree=1599696/2055920 swapFree=4192812/4192956
[pid=18405] ppid=18403 vsize=915728 CPUtime=50.81
/proc/18405/stat : 18405 (java) R 18403 18405 17994 0 -1 0 20672 0 1 0 5042 39 0 0 25 0 8 0 171194989 937705472 20399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074139497 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18405/statm: 228932 20399 2547 14 0 215402 0
[pid=18405/tid=18407] ppid=18403 vsize=915728 CPUtime=0.15
/proc/18405/task/18407/stat : 18407 (java) S 18403 18405 17994 0 -1 64 3492 0 0 0 14 1 0 0 16 0 8 0 171194994 937705472 20399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18408] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18408/stat : 18408 (java) S 18403 18405 17994 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171194995 937705472 20399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18409] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18409/stat : 18409 (java) S 18403 18405 17994 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171194995 937705472 20399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18410] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18410/stat : 18410 (java) S 18403 18405 17994 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171194998 937705472 20399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18405/tid=18411] ppid=18403 vsize=915728 CPUtime=0.37
/proc/18405/task/18411/stat : 18411 (java) S 18403 18405 17994 0 -1 64 527 0 0 0 35 2 0 0 17 0 8 0 171194998 937705472 20399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18412] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18412/stat : 18412 (java) S 18403 18405 17994 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171194998 937705472 20399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18405/tid=18413] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18413/stat : 18413 (java) S 18403 18405 17994 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171194998 937705472 20399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 915728

[startup+102.443 s]
/proc/loadavg: 2.01 2.00 1.75 3/92 18413
/proc/meminfo: memFree=1599632/2055920 swapFree=4192812/4192956
[pid=18405] ppid=18403 vsize=915728 CPUtime=101.8
/proc/18405/stat : 18405 (java) R 18403 18405 17994 0 -1 0 20672 0 1 0 10141 39 0 0 25 0 8 0 171194989 937705472 20399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074188202 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18405/statm: 228932 20399 2547 14 0 215402 0
[pid=18405/tid=18407] ppid=18403 vsize=915728 CPUtime=0.15
/proc/18405/task/18407/stat : 18407 (java) S 18403 18405 17994 0 -1 64 3492 0 0 0 14 1 0 0 16 0 8 0 171194994 937705472 20399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18408] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18408/stat : 18408 (java) S 18403 18405 17994 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171194995 937705472 20399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18409] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18409/stat : 18409 (java) S 18403 18405 17994 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171194995 937705472 20399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18410] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18410/stat : 18410 (java) S 18403 18405 17994 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171194998 937705472 20399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18405/tid=18411] ppid=18403 vsize=915728 CPUtime=0.37
/proc/18405/task/18411/stat : 18411 (java) S 18403 18405 17994 0 -1 64 527 0 0 0 35 2 0 0 17 0 8 0 171194998 937705472 20399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18412] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18412/stat : 18412 (java) S 18403 18405 17994 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171194998 937705472 20399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18405/tid=18413] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18413/stat : 18413 (java) S 18403 18405 17994 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171194998 937705472 20399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 915728

[startup+162.46 s]
/proc/loadavg: 2.00 2.00 1.76 3/92 18413
/proc/meminfo: memFree=1599632/2055920 swapFree=4192812/4192956
[pid=18405] ppid=18403 vsize=915728 CPUtime=161.47
/proc/18405/stat : 18405 (java) R 18403 18405 17994 0 -1 0 20672 0 1 0 16107 40 0 0 25 0 8 0 171194989 937705472 20399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074087827 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+1482.8 s]
/proc/loadavg: 1.00 1.04 1.28 2/72 18710
/proc/meminfo: memFree=1766144/2055920 swapFree=4192812/4192956
[pid=18405] ppid=18403 vsize=915728 CPUtime=1479.48
/proc/18405/stat : 18405 (java) R 18403 18405 17994 0 -1 0 20674 0 1 0 147886 62 0 0 25 0 8 0 171194989 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074186578 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18405/statm: 228932 20400 2547 14 0 215402 0
[pid=18405/tid=18407] ppid=18403 vsize=915728 CPUtime=0.15
/proc/18405/task/18407/stat : 18407 (java) S 18403 18405 17994 0 -1 64 3492 0 0 0 14 1 0 0 16 0 8 0 171194994 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18408] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18408/stat : 18408 (java) S 18403 18405 17994 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171194995 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18409] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18409/stat : 18409 (java) S 18403 18405 17994 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171194995 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18410] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18410/stat : 18410 (java) S 18403 18405 17994 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171194998 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18405/tid=18411] ppid=18403 vsize=915728 CPUtime=0.37
/proc/18405/task/18411/stat : 18411 (java) S 18403 18405 17994 0 -1 64 528 0 0 0 35 2 0 0 16 0 8 0 171194998 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18412] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18412/stat : 18412 (java) S 18403 18405 17994 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171194998 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18405/tid=18413] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18413/stat : 18413 (java) S 18403 18405 17994 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171194998 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1479.48
Current children cumulated vsize (KiB) 915728

[startup+1542.81 s]
/proc/loadavg: 1.00 1.03 1.26 2/72 18710
/proc/meminfo: memFree=1766208/2055920 swapFree=4192812/4192956
[pid=18405] ppid=18403 vsize=915728 CPUtime=1539.47
/proc/18405/stat : 18405 (java) R 18403 18405 17994 0 -1 0 20674 0 1 0 153885 62 0 0 25 0 8 0 171194989 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074188202 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18405/statm: 228932 20400 2547 14 0 215402 0
[pid=18405/tid=18407] ppid=18403 vsize=915728 CPUtime=0.15
/proc/18405/task/18407/stat : 18407 (java) S 18403 18405 17994 0 -1 64 3492 0 0 0 14 1 0 0 16 0 8 0 171194994 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18408] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18408/stat : 18408 (java) S 18403 18405 17994 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171194995 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18409] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18409/stat : 18409 (java) S 18403 18405 17994 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171194995 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18410] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18410/stat : 18410 (java) S 18403 18405 17994 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171194998 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18405/tid=18411] ppid=18403 vsize=915728 CPUtime=0.37
/proc/18405/task/18411/stat : 18411 (java) S 18403 18405 17994 0 -1 64 528 0 0 0 35 2 0 0 16 0 8 0 171194998 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18412] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18412/stat : 18412 (java) S 18403 18405 17994 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171194998 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18405/tid=18413] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18413/stat : 18413 (java) S 18403 18405 17994 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171194998 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1539.47
Current children cumulated vsize (KiB) 915728

[startup+1602.82 s]
/proc/loadavg: 1.00 1.03 1.24 2/72 18710
/proc/meminfo: memFree=1766144/2055920 swapFree=4192812/4192956
[pid=18405] ppid=18403 vsize=915728 CPUtime=1599.46
/proc/18405/stat : 18405 (java) R 18403 18405 17994 0 -1 0 20674 0 1 0 159884 62 0 0 25 0 8 0 171194989 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074153808 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18405/statm: 228932 20400 2547 14 0 215402 0
[pid=18405/tid=18407] ppid=18403 vsize=915728 CPUtime=0.15
/proc/18405/task/18407/stat : 18407 (java) S 18403 18405 17994 0 -1 64 3492 0 0 0 14 1 0 0 16 0 8 0 171194994 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18408] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18408/stat : 18408 (java) S 18403 18405 17994 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171194995 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18409] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18409/stat : 18409 (java) S 18403 18405 17994 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171194995 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18410] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18410/stat : 18410 (java) S 18403 18405 17994 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171194998 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18405/tid=18411] ppid=18403 vsize=915728 CPUtime=0.37
/proc/18405/task/18411/stat : 18411 (java) S 18403 18405 17994 0 -1 64 528 0 0 0 35 2 0 0 16 0 8 0 171194998 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18412] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18412/stat : 18412 (java) S 18403 18405 17994 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171194998 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18405/tid=18413] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18413/stat : 18413 (java) S 18403 18405 17994 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171194998 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1599.46
Current children cumulated vsize (KiB) 915728

[startup+1662.84 s]
/proc/loadavg: 1.00 1.02 1.23 2/72 18710
/proc/meminfo: memFree=1766144/2055920 swapFree=4192812/4192956
[pid=18405] ppid=18403 vsize=915728 CPUtime=1659.45
/proc/18405/stat : 18405 (java) R 18403 18405 17994 0 -1 0 20674 0 1 0 165883 62 0 0 25 0 8 0 171194989 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074103456 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18405/statm: 228932 20400 2547 14 0 215402 0
[pid=18405/tid=18407] ppid=18403 vsize=915728 CPUtime=0.15
/proc/18405/task/18407/stat : 18407 (java) S 18403 18405 17994 0 -1 64 3492 0 0 0 14 1 0 0 16 0 8 0 171194994 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18408] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18408/stat : 18408 (java) S 18403 18405 17994 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171194995 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18409] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18409/stat : 18409 (java) S 18403 18405 17994 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171194995 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18410] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18410/stat : 18410 (java) S 18403 18405 17994 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171194998 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18405/tid=18411] ppid=18403 vsize=915728 CPUtime=0.37
/proc/18405/task/18411/stat : 18411 (java) S 18403 18405 17994 0 -1 64 528 0 0 0 35 2 0 0 16 0 8 0 171194998 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18412] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18412/stat : 18412 (java) S 18403 18405 17994 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171194998 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18405/tid=18413] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18413/stat : 18413 (java) S 18403 18405 17994 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171194998 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1659.45
Current children cumulated vsize (KiB) 915728

[startup+1722.85 s]
/proc/loadavg: 1.00 1.01 1.21 2/72 18710
/proc/meminfo: memFree=1766144/2055920 swapFree=4192812/4192956
[pid=18405] ppid=18403 vsize=915728 CPUtime=1719.44
/proc/18405/stat : 18405 (java) R 18403 18405 17994 0 -1 0 20674 0 1 0 171882 62 0 0 25 0 8 0 171194989 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074153818 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18405/statm: 228932 20400 2547 14 0 215402 0
[pid=18405/tid=18407] ppid=18403 vsize=915728 CPUtime=0.15
/proc/18405/task/18407/stat : 18407 (java) S 18403 18405 17994 0 -1 64 3492 0 0 0 14 1 0 0 16 0 8 0 171194994 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18408] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18408/stat : 18408 (java) S 18403 18405 17994 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171194995 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18409] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18409/stat : 18409 (java) S 18403 18405 17994 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171194995 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18410] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18410/stat : 18410 (java) S 18403 18405 17994 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171194998 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18405/tid=18411] ppid=18403 vsize=915728 CPUtime=0.37
/proc/18405/task/18411/stat : 18411 (java) S 18403 18405 17994 0 -1 64 528 0 0 0 35 2 0 0 16 0 8 0 171194998 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18412] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18412/stat : 18412 (java) S 18403 18405 17994 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171194998 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18405/tid=18413] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18413/stat : 18413 (java) S 18403 18405 17994 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171194998 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1719.44
Current children cumulated vsize (KiB) 915728

[startup+1782.86 s]
/proc/loadavg: 1.00 1.01 1.19 2/72 18710
/proc/meminfo: memFree=1766080/2055920 swapFree=4192812/4192956
[pid=18405] ppid=18403 vsize=915728 CPUtime=1779.43
/proc/18405/stat : 18405 (java) R 18403 18405 17994 0 -1 0 20674 0 1 0 177881 62 0 0 25 0 8 0 171194989 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074177652 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18405/statm: 228932 20400 2547 14 0 215402 0
[pid=18405/tid=18407] ppid=18403 vsize=915728 CPUtime=0.15
/proc/18405/task/18407/stat : 18407 (java) S 18403 18405 17994 0 -1 64 3492 0 0 0 14 1 0 0 16 0 8 0 171194994 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18408] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18408/stat : 18408 (java) S 18403 18405 17994 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171194995 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18409] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18409/stat : 18409 (java) S 18403 18405 17994 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171194995 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18410] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18410/stat : 18410 (java) S 18403 18405 17994 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171194998 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18405/tid=18411] ppid=18403 vsize=915728 CPUtime=0.37
/proc/18405/task/18411/stat : 18411 (java) S 18403 18405 17994 0 -1 64 528 0 0 0 35 2 0 0 16 0 8 0 171194998 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18412] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18412/stat : 18412 (java) S 18403 18405 17994 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171194998 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18405/tid=18413] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18413/stat : 18413 (java) S 18403 18405 17994 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171194998 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1779.43
Current children cumulated vsize (KiB) 915728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.52 s]
/proc/loadavg: 1.00 1.01 1.18 2/72 18710
/proc/meminfo: memFree=1766080/2055920 swapFree=4192812/4192956
[pid=18405] ppid=18403 vsize=915728 CPUtime=1800.08
/proc/18405/stat : 18405 (java) R 18403 18405 17994 0 -1 0 20674 0 1 0 179946 62 0 0 25 0 8 0 171194989 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074153770 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18405/statm: 228932 20400 2547 14 0 215402 0
[pid=18405/tid=18407] ppid=18403 vsize=915728 CPUtime=0.15
/proc/18405/task/18407/stat : 18407 (java) S 18403 18405 17994 0 -1 64 3492 0 0 0 14 1 0 0 16 0 8 0 171194994 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18408] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18408/stat : 18408 (java) S 18403 18405 17994 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171194995 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18409] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18409/stat : 18409 (java) S 18403 18405 17994 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171194995 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18410] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18410/stat : 18410 (java) S 18403 18405 17994 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171194998 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18405/tid=18411] ppid=18403 vsize=915728 CPUtime=0.37
/proc/18405/task/18411/stat : 18411 (java) S 18403 18405 17994 0 -1 64 528 0 0 0 35 2 0 0 16 0 8 0 171194998 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18405/tid=18412] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18412/stat : 18412 (java) S 18403 18405 17994 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171194998 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18405/tid=18413] ppid=18403 vsize=915728 CPUtime=0
/proc/18405/task/18413/stat : 18413 (java) S 18403 18405 17994 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171194998 937705472 20400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915728

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

Child status: 143
Real time (s): 1803.56
CPU time (s): 1800.13
CPU user time (s): 1799.49
CPU system time (s): 0.640902
CPU usage (%): 99.8101
Max. virtual memory (cumulated for all children) (KiB): 915728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.640902
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20691
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= 38259
involuntary context switches= 13392

runsolver used 2.05869 s user time and 4.85026 s system time

The end

Launcher Data (download as text)

Begin job on node38 on Mon Jan  8 03:45:53 UTC 2007


IDJOB= 213988
IDBENCH= 4890
FILE ID= node38/213988-1168227953

PBS_JOBID= 3481285

Free space on /tmp= 66516 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/par/par-32-2-c.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213988-1168227953/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node38/watcher-213988-1168227953 -o ROOT/results/node38/solver-213988-1168227953 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213988-1168227953/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  ec636a8cda30e8c96a0d243ae0d25948

RANDOM SEED= 385784457

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.267
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.267
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:       1671784 kB
Buffers:         38668 kB
Cached:         110864 kB
SwapCached:          0 kB
Active:         246372 kB
Inactive:        81688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1671784 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2588 kB
Writeback:           0 kB
Mapped:         199284 kB
Slab:            41016 kB
Committed_AS:  4559108 kB
PageTables:       2212 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= 66520 MiB



End job on node38 on Mon Jan  8 04:15:57 UTC 2007