Trace number 196260

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 ESACSAT 1185.24 1191.72

DiagnosticValue
CHECKS898637634
NODES736354

General information on the benchmark

Namerandom/rand-3-24-24/
rand-3-24-24-76-632-27_ext.xml
MD5SUM5231d05a04feb487ab1815ae00219ded
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark678.048
SatisfiableYES
(Un)Satisfiability was proved
Number of variables24
Number of constraints74
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension74
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/196260-1168121019/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.42	       =>  wckTime=0.101  cpuTime=0.09  mem=6M951
0.42	   
0.42	   relations being loaded...
1.06	   
1.06	   constraints being loaded...
1.33	     nbConstraints=74  nbRelationTypes=74  nbExtensionStructures=74  nbSharedExtensionStructures=0
1.34	     nbConflictsStructures=74  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=15  maxArity=3
1.34	       =>  wckTime=1.02  cpuTime=0.89  mem=47M703
1.46	   
1.46	   solver IterativeSystematicSolver being built... 
1.63	       =>  wckTime=1.318  cpuTime=1.03  mem=34M220
1.74	   
1.74	   preprocessing
1.74	     nbConstraintChecks=33395  nbValidityChecks=52592  nbPropagations=209  nbRevisions=2161  nbUselessRevisions=1863
1.74	     nbSingletonTests=32  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
1.74	       =>  wckTime=0.106  cpuTime=0.09  mem=34M220
1.81	   
1.81	   search
1.81	     run=0  nbConstraintChecks=35190  nbValidityChecks=65961  nbPropagations=496  nbRevisions=5643
1.81	     nbUselessRevisions=4630  nbAssignments=33  nbFailedAssignments=17  nbBacktracks=11  nbVisitedNodes=58
1.81	     nbRestartNogoods=0  mapSize=11  nbInferences=0  nbTooLargeKeys=0
1.81	       =>  wckTime=0.177  cpuTime=0.15  mem=35M223
1.98	   
1.98	   search
1.98	     run=1  nbConstraintChecks=131933  nbValidityChecks=261105  nbPropagations=1848  nbRevisions=22839
1.98	     nbUselessRevisions=18557  nbAssignments=123  nbFailedAssignments=61  nbBacktracks=26  nbVisitedNodes=179
1.98	     nbRestartNogoods=4  mapSize=25  nbInferences=0  nbTooLargeKeys=0
1.98	       =>  wckTime=0.346  cpuTime=0.31  mem=35M223
2.12	   
2.12	   search
2.12	     run=2  nbConstraintChecks=213211  nbValidityChecks=442259  nbPropagations=4253  nbRevisions=51607
2.12	     nbUselessRevisions=41909  nbAssignments=235  nbFailedAssignments=98  nbBacktracks=48  nbVisitedNodes=297
2.12	     nbRestartNogoods=14  mapSize=46  nbInferences=0  nbTooLargeKeys=0
2.12	       =>  wckTime=0.486  cpuTime=0.44  mem=35M223
2.23	   
2.24	   search
2.24	     run=3  nbConstraintChecks=293419  nbValidityChecks=590043  nbPropagations=7426  nbRevisions=89333
2.24	     nbUselessRevisions=72392  nbAssignments=317  nbFailedAssignments=139  nbBacktracks=81  nbVisitedNodes=440
2.24	     nbRestartNogoods=19  mapSize=75  nbInferences=0  nbTooLargeKeys=0
2.24	       =>  wckTime=0.6  cpuTime=0.55  mem=35M223
2.49	   
2.49	   search
2.49	     run=4  nbConstraintChecks=451153  nbValidityChecks=923406  nbPropagations=12482  nbRevisions=148674
2.49	     nbUselessRevisions=119853  nbAssignments=455  nbFailedAssignments=221  nbBacktracks=131  nbVisitedNodes=698
2.49	     nbRestartNogoods=22  mapSize=121  nbInferences=0  nbTooLargeKeys=0
2.49	       =>  wckTime=0.856  cpuTime=0.8  mem=35M223
2.75	   
2.75	   search
2.75	     run=5  nbConstraintChecks=619632  nbValidityChecks=1263166  nbPropagations=19918  nbRevisions=234768
2.75	     nbUselessRevisions=188061  nbAssignments=640  nbFailedAssignments=325  nbBacktracks=206  nbVisitedNodes=1039
2.75	     nbRestartNogoods=27  mapSize=189  nbInferences=0  nbTooLargeKeys=0
2.75	       =>  wckTime=1.115  cpuTime=1.05  mem=35M223
3.24	   
3.24	   search
3.24	     run=6  nbConstraintChecks=958466  nbValidityChecks=1897148  nbPropagations=30682  nbRevisions=361634
3.24	     nbUselessRevisions=289059  nbAssignments=919  nbFailedAssignments=482  nbBacktracks=320  nbVisitedNodes=1554
3.24	     nbRestartNogoods=32  mapSize=284  nbInferences=0  nbTooLargeKeys=0
3.24	       =>  wckTime=1.604  cpuTime=1.54  mem=35M223
4.09	   
4.09	   search
4.09	     run=7  nbConstraintChecks=1567626  nbValidityChecks=3100702  nbPropagations=46990  nbRevisions=557252
4.09	     nbUselessRevisions=443831  nbAssignments=1516  nbFailedAssignments=848  nbBacktracks=491  nbVisitedNodes=2579
4.09	     nbRestartNogoods=49  mapSize=437  nbInferences=0  nbTooLargeKeys=0
4.09	       =>  wckTime=2.453  cpuTime=2.37  mem=35M223
5.39	   
5.39	   search
5.39	     run=8  nbConstraintChecks=2516999  nbValidityChecks=4826610  nbPropagations=71562  nbRevisions=852585
5.39	     nbUselessRevisions=678648  nbAssignments=2238  nbFailedAssignments=1308  nbBacktracks=747  nbVisitedNodes=3952
5.39	     nbRestartNogoods=52  mapSize=674  nbInferences=0  nbTooLargeKeys=0
5.39	       =>  wckTime=3.759  cpuTime=3.66  mem=35M223
6.84	   
6.84	   search
6.84	     run=9  nbConstraintChecks=3572353  nbValidityChecks=6853869  nbPropagations=107484  nbRevisions=1275420
6.84	     nbUselessRevisions=1014756  nbAssignments=3263  nbFailedAssignments=1943  nbBacktracks=1131  nbVisitedNodes=5880
6.84	     nbRestartNogoods=64  mapSize=1024  nbInferences=0  nbTooLargeKeys=0
6.84	       =>  wckTime=5.206  cpuTime=5.09  mem=35M223
6.94	   
6.94	   INFO : Stopping hyperNogood (mapSize=1037, nbTooLargekeys=0, mem=35M223)
8.49	   
8.49	   search
8.49	     run=10  nbConstraintChecks=4756325  nbValidityChecks=9123553  nbPropagations=156152  nbRevisions=1839449
8.49	     nbUselessRevisions=1463690  nbAssignments=4441  nbFailedAssignments=2505  nbBacktracks=1707  nbVisitedNodes=7905
8.49	     nbRestartNogoods=78
8.49	       =>  wckTime=6.855  cpuTime=6.72  mem=35M223
12.56	   
12.56	   search
12.56	     run=11  nbConstraintChecks=7934045  nbValidityChecks=15128501  nbPropagations=233040  nbRevisions=2748335
12.56	     nbUselessRevisions=2180523  nbAssignments=7479  nbFailedAssignments=4673  nbBacktracks=2571  nbVisitedNodes=13713
12.56	     nbRestartNogoods=88
12.56	       =>  wckTime=10.921  cpuTime=10.77  mem=35M223
18.88	   
18.88	   search
18.88	     run=12  nbConstraintChecks=12758060  nbValidityChecks=23847364  nbPropagations=350641  nbRevisions=4165317
18.88	     nbUselessRevisions=3309088  nbAssignments=11110  nbFailedAssignments=7001  nbBacktracks=3868  nbVisitedNodes=20607
18.88	     nbRestartNogoods=95
18.88	       =>  wckTime=17.242  cpuTime=17.06  mem=35M223
25.83	   
25.83	   search
25.83	     run=13  nbConstraintChecks=17912872  nbValidityChecks=33674153  nbPropagations=522293  nbRevisions=6190029
25.83	     nbUselessRevisions=4920749  nbAssignments=15935  nbFailedAssignments=9876  nbBacktracks=5815  nbVisitedNodes=29571
25.83	     nbRestartNogoods=110
25.83	       =>  wckTime=24.192  cpuTime=23.98  mem=35M223
36.31	   
36.31	   search
36.31	     run=14  nbConstraintChecks=25455714  nbValidityChecks=48247797  nbPropagations=777708  nbRevisions=9103834
36.31	     nbUselessRevisions=7229548  nbAssignments=23052  nbFailedAssignments=14069  nbBacktracks=8734  nbVisitedNodes=42708
36.31	     nbRestartNogoods=124
36.31	       =>  wckTime=34.677  cpuTime=34.41  mem=35M223
52.01	   
52.01	   search
52.01	     run=15  nbConstraintChecks=36936305  nbValidityChecks=69531624  nbPropagations=1148360  nbRevisions=13292720
52.01	     nbUselessRevisions=10544729  nbAssignments=33129  nbFailedAssignments=19762  nbBacktracks=13113
52.01	     nbVisitedNodes=61295  nbRestartNogoods=135
52.01	       =>  wckTime=50.377  cpuTime=49.91  mem=35M223
81.73	   
81.73	   search
81.73	     run=16  nbConstraintChecks=59401053  nbValidityChecks=110467724  nbPropagations=1711216  nbRevisions=19833938
81.73	     nbUselessRevisions=15758876  nbAssignments=50018  nbFailedAssignments=30060  nbBacktracks=19682
81.73	     nbVisitedNodes=93099  nbRestartNogoods=150
81.73	       =>  wckTime=80.097  cpuTime=79.48  mem=35M223
122.49	   
122.49	   search
122.49	     run=17  nbConstraintChecks=90592101  nbValidityChecks=171848217  nbPropagations=2569257  nbRevisions=29963851
122.49	     nbUselessRevisions=23790474  nbAssignments=80337  nbFailedAssignments=50509  nbBacktracks=29534
122.49	     nbVisitedNodes=150423  nbRestartNogoods=163
122.49	       =>  wckTime=120.852  cpuTime=120.05  mem=35M223
190.60	   
190.60	   search
190.60	     run=18  nbConstraintChecks=142925361  nbValidityChecks=267126498  nbPropagations=3877710  nbRevisions=45751930
190.60	     nbUselessRevisions=36402472  nbAssignments=120240  nbFailedAssignments=75606  nbBacktracks=44312
190.60	     nbVisitedNodes=225797  nbRestartNogoods=186
190.60	       =>  wckTime=188.969  cpuTime=187.71  mem=35M223
273.57	   
273.57	   search
273.57	     run=19  nbConstraintChecks=208274960  nbValidityChecks=390078962  nbPropagations=5812265  nbRevisions=68914778
273.57	     nbUselessRevisions=54841027  nbAssignments=177538  nbFailedAssignments=110731  nbBacktracks=66480
273.57	     nbVisitedNodes=332751  nbRestartNogoods=206
273.57	       =>  wckTime=271.931  cpuTime=270.22  mem=35M223
415.74	   
415.74	   search
415.74	     run=20  nbConstraintChecks=316917375  nbValidityChecks=588453974  nbPropagations=8728450  nbRevisions=103943123
415.74	     nbUselessRevisions=82777033  nbAssignments=260629  nbFailedAssignments=160564  nbBacktracks=99733
415.74	     nbVisitedNodes=488785  nbRestartNogoods=227
415.74	       =>  wckTime=414.106  cpuTime=411.57  mem=35M223
600.88	   
600.88	   search
600.88	     run=21  nbConstraintChecks=452231150  nbValidityChecks=842525541  nbPropagations=12988691  nbRevisions=154787445
600.88	     nbUselessRevisions=123384245  nbAssignments=373913  nbFailedAssignments=223965  nbBacktracks=149612
600.88	     nbVisitedNodes=697943  nbRestartNogoods=252
600.88	       =>  wckTime=599.247  cpuTime=595.85  mem=35M223
829.24	   
829.25	   search
829.25	     run=22  nbConstraintChecks=619764781  nbValidityChecks=1159650572  nbPropagations=19068077  nbRevisions=225941879
829.25	     nbUselessRevisions=180142866  nbAssignments=534027  nbFailedAssignments=309254  nbBacktracks=224431
829.25	     nbVisitedNodes=988954  nbRestartNogoods=280
829.25	       =>  wckTime=827.61  cpuTime=823.11  mem=35M223
1191.66	   
1191.66	   search
1191.66	     run=23  nbConstraintChecks=898604239  nbValidityChecks=1676829269  nbPropagations=27594314  nbRevisions=328650040
1191.66	     nbUselessRevisions=262347946  nbAssignments=736354  nbFailedAssignments=438460  nbBacktracks=297528
1191.66	     nbVisitedNodes=1372042  nbRestartNogoods=305
1191.66	       =>  wckTime=1190.025  cpuTime=1183.49  mem=35M223
1191.66	   
1191.66	   global
1191.66	     nbConstraintChecks=898637634  nbValidityChecks=1676881861  nbPropagations=27594523  nbRevisions=328652201
1191.66	     nbUselessRevisions=262349809  nbRestartNogoods=305  solvingWckTime=1190.027  solvingCpuTime=1183.49  expiredTime=no
1191.66	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=1184.57
1191.66	       =>  wckTime=1191.347  cpuTime=1184.52  mem=35M223
1191.67	   
1191.67	s SATISFIABLE
1191.67	v 9 3 15 22 14 0 2 12 7 0 15 11 18 20 23 23 21 8 18 22 1 5 9 14 
1191.67	d NODES 736354
1191.67	d CHECKS 898637634
1191.67	   
1191.67	   totalWckTime=1191.431  totalCpuTime=1184.58

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node56/watcher-196260-1168121019 -o ROOT/results/node56/solver-196260-1168121019 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196260-1168121019/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.11 2.04 2.01 4/85 19447
/proc/meminfo: memFree=1426176/2055920 swapFree=4184772/4192956
[pid=19446] ppid=19444 vsize=906644 CPUtime=0.02
/proc/19446/stat : 19446 (java) S 19444 19446 18356 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 160500084 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/19446/statm: 226661 1818 1036 14 0 214244 0
[pid=19446/tid=19448] ppid=19444 vsize=906644 CPUtime=0
/proc/19446/task/19448/stat : 19448 (java) R 19444 19446 18356 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 160500087 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.104771 s]
/proc/loadavg: 2.11 2.04 2.01 4/85 19447
/proc/meminfo: memFree=1426176/2055920 swapFree=4184772/4192956
[pid=19446] ppid=19444 vsize=914988 CPUtime=0.09
/proc/19446/stat : 19446 (java) S 19444 19446 18356 0 -1 0 2998 0 1 0 7 2 0 0 17 0 8 0 160500084 936947712 2744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19446/statm: 228747 2744 1427 14 0 215242 0
[pid=19446/tid=19448] ppid=19444 vsize=914988 CPUtime=0
/proc/19446/task/19448/stat : 19448 (java) S 19444 19446 18356 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 160500087 936947712 2744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.516812 s]
/proc/loadavg: 2.11 2.04 2.01 4/85 19447
/proc/meminfo: memFree=1426176/2055920 swapFree=4184772/4192956
[pid=19446] ppid=19444 vsize=915328 CPUtime=0.5
/proc/19446/stat : 19446 (java) R 19444 19446 18356 0 -1 0 7580 0 1 0 44 6 0 0 18 0 8 0 160500084 937295872 7319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073564545 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19446/statm: 228832 7319 2137 14 0 215302 0
[pid=19446/tid=19448] ppid=19444 vsize=915328 CPUtime=0
/proc/19446/task/19448/stat : 19448 (java) S 19444 19446 18356 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 160500087 937295872 7319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.34589 s]
/proc/loadavg: 2.11 2.04 2.01 3/92 19454
/proc/meminfo: memFree=1358984/2055920 swapFree=4184772/4192956
[pid=19446] ppid=19444 vsize=915416 CPUtime=1.32
/proc/19446/stat : 19446 (java) R 19444 19446 18356 0 -1 0 19146 0 1 0 121 11 0 0 24 0 8 0 160500084 937385984 18883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19446/statm: 228854 18883 2168 14 0 215324 0
[pid=19446/tid=19448] ppid=19444 vsize=915416 CPUtime=0.06
/proc/19446/task/19448/stat : 19448 (java) R 19444 19446 18356 0 -1 64 2659 0 0 0 5 1 0 0 16 0 8 0 160500087 937385984 18883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134188 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19449] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19449/stat : 19449 (java) S 19444 19446 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160500088 937385984 18883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19450] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19450/stat : 19450 (java) S 19444 19446 18356 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 160500088 937385984 18883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19451] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19451/stat : 19451 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160500091 937385984 18883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19452] ppid=19444 vsize=915416 CPUtime=0.11
/proc/19446/task/19452/stat : 19452 (java) S 19444 19446 18356 0 -1 64 320 0 0 0 10 1 0 0 16 0 8 0 160500091 937385984 18883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19453] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19453/stat : 19453 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160500091 937385984 18883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19454] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19454/stat : 19454 (java) S 19444 19446 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160500091 937385984 18883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915416

[startup+2.98405 s]
/proc/loadavg: 2.11 2.04 2.01 3/92 19454
/proc/meminfo: memFree=1343304/2055920 swapFree=4184772/4192956
[pid=19446] ppid=19444 vsize=915416 CPUtime=2.95
/proc/19446/stat : 19446 (java) R 19444 19446 18356 0 -1 0 23409 0 1 0 280 15 0 0 25 0 8 0 160500084 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749988 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19446/statm: 228854 23145 2531 14 0 215324 0
[pid=19446/tid=19448] ppid=19444 vsize=915416 CPUtime=0.16
/proc/19446/task/19448/stat : 19448 (java) S 19444 19446 18356 0 -1 64 6426 0 0 0 14 2 0 0 17 0 8 0 160500087 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19449] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19449/stat : 19449 (java) S 19444 19446 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160500088 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19450] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19450/stat : 19450 (java) S 19444 19446 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160500088 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19451] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19451/stat : 19451 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160500091 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19452] ppid=19444 vsize=915416 CPUtime=0.2
/proc/19446/task/19452/stat : 19452 (java) S 19444 19446 18356 0 -1 64 371 0 0 0 19 1 0 0 15 0 8 0 160500091 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19453] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19453/stat : 19453 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160500091 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19454] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19454/stat : 19454 (java) S 19444 19446 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160500091 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915416

[startup+6.26737 s]
/proc/loadavg: 2.10 2.04 2.01 3/92 19454
/proc/meminfo: memFree=1343048/2055920 swapFree=4184772/4192956
[pid=19446] ppid=19444 vsize=915416 CPUtime=6.21
/proc/19446/stat : 19446 (java) R 19444 19446 18356 0 -1 0 23424 0 1 0 606 15 0 0 25 0 8 0 160500084 937385984 23157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073625342 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19446/statm: 228854 23157 2531 14 0 215324 0
[pid=19446/tid=19448] ppid=19444 vsize=915416 CPUtime=0.16
/proc/19446/task/19448/stat : 19448 (java) S 19444 19446 18356 0 -1 64 6426 0 0 0 14 2 0 0 17 0 8 0 160500087 937385984 23157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19449] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19449/stat : 19449 (java) S 19444 19446 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160500088 937385984 23157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19450] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19450/stat : 19450 (java) S 19444 19446 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160500088 937385984 23157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19451] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19451/stat : 19451 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160500091 937385984 23157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19452] ppid=19444 vsize=915416 CPUtime=0.23
/proc/19446/task/19452/stat : 19452 (java) S 19444 19446 18356 0 -1 64 385 0 0 0 22 1 0 0 16 0 8 0 160500091 937385984 23157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19453] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19453/stat : 19453 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160500091 937385984 23157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19454] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19454/stat : 19454 (java) S 19444 19446 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160500091 937385984 23157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915416

[startup+12.76 s]
/proc/loadavg: 2.09 2.04 2.01 3/92 19454
/proc/meminfo: memFree=1343112/2055920 swapFree=4184772/4192956
[pid=19446] ppid=19444 vsize=915416 CPUtime=12.67
/proc/19446/stat : 19446 (java) R 19444 19446 18356 0 -1 0 23429 0 1 0 1252 15 0 0 25 0 8 0 160500084 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073771368 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19446/statm: 228854 23161 2531 14 0 215324 0
[pid=19446/tid=19448] ppid=19444 vsize=915416 CPUtime=0.16
/proc/19446/task/19448/stat : 19448 (java) S 19444 19446 18356 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160500087 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19449] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19449/stat : 19449 (java) S 19444 19446 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160500088 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19450] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19450/stat : 19450 (java) S 19444 19446 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160500088 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19451] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19451/stat : 19451 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19452] ppid=19444 vsize=915416 CPUtime=0.24
/proc/19446/task/19452/stat : 19452 (java) S 19444 19446 18356 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19453] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19453/stat : 19453 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19454] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19454/stat : 19454 (java) S 19444 19446 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915416

[startup+25.6303 s]
/proc/loadavg: 2.07 2.03 2.01 3/92 19454
/proc/meminfo: memFree=1343240/2055920 swapFree=4184772/4192956
[pid=19446] ppid=19444 vsize=915416 CPUtime=25.49
/proc/19446/stat : 19446 (java) R 19444 19446 18356 0 -1 0 23429 0 1 0 2534 15 0 0 25 0 8 0 160500084 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750852 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19446/statm: 228854 23161 2531 14 0 215324 0
[pid=19446/tid=19448] ppid=19444 vsize=915416 CPUtime=0.16
/proc/19446/task/19448/stat : 19448 (java) S 19444 19446 18356 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160500087 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19449] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19449/stat : 19449 (java) S 19444 19446 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160500088 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19450] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19450/stat : 19450 (java) S 19444 19446 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160500088 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19451] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19451/stat : 19451 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19452] ppid=19444 vsize=915416 CPUtime=0.24
/proc/19446/task/19452/stat : 19452 (java) S 19444 19446 18356 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19453] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19453/stat : 19453 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19454] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19454/stat : 19454 (java) S 19444 19446 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 915416

[startup+51.2608 s]
/proc/loadavg: 2.04 2.03 2.00 3/92 19454
/proc/meminfo: memFree=1302536/2055920 swapFree=4184772/4192956
[pid=19446] ppid=19444 vsize=915416 CPUtime=50.86
/proc/19446/stat : 19446 (java) R 19444 19446 18356 0 -1 0 23430 0 1 0 5071 15 0 0 25 0 8 0 160500084 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750070 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19446/statm: 228854 23161 2531 14 0 215324 0
[pid=19446/tid=19448] ppid=19444 vsize=915416 CPUtime=0.16
/proc/19446/task/19448/stat : 19448 (java) S 19444 19446 18356 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160500087 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19449] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19449/stat : 19449 (java) S 19444 19446 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160500088 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19450] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19450/stat : 19450 (java) S 19444 19446 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160500088 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19451] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19451/stat : 19451 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19452] ppid=19444 vsize=915416 CPUtime=0.24
/proc/19446/task/19452/stat : 19452 (java) S 19444 19446 18356 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19453] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19453/stat : 19453 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19454] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19454/stat : 19454 (java) S 19444 19446 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 915416

[startup+102.519 s]
/proc/loadavg: 2.07 2.04 2.00 3/92 19454
/proc/meminfo: memFree=1285576/2055920 swapFree=4184772/4192956
[pid=19446] ppid=19444 vsize=915416 CPUtime=101.89
/proc/19446/stat : 19446 (java) R 19444 19446 18356 0 -1 0 23430 0 1 0 10173 16 0 0 25 0 8 0 160500084 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073625395 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19446/statm: 228854 23161 2531 14 0 215324 0
[pid=19446/tid=19448] ppid=19444 vsize=915416 CPUtime=0.16
/proc/19446/task/19448/stat : 19448 (java) S 19444 19446 18356 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160500087 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19449] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19449/stat : 19449 (java) S 19444 19446 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160500088 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19450] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19450/stat : 19450 (java) S 19444 19446 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160500088 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19451] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19451/stat : 19451 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19452] ppid=19444 vsize=915416 CPUtime=0.24
/proc/19446/task/19452/stat : 19452 (java) S 19444 19446 18356 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19453] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19453/stat : 19453 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19454] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19454/stat : 19454 (java) S 19444 19446 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 915416

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

/proc/19446/task/19451/stat : 19451 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19452] ppid=19444 vsize=915416 CPUtime=0.24
/proc/19446/task/19452/stat : 19452 (java) S 19444 19446 18356 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19453] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19453/stat : 19453 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19454] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19454/stat : 19454 (java) S 19444 19446 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 758.57
Current children cumulated vsize (KiB) 915416

[startup+822.659 s]
/proc/loadavg: 2.05 2.03 2.00 3/92 19454
/proc/meminfo: memFree=1123144/2055920 swapFree=4184772/4192956
[pid=19446] ppid=19444 vsize=915416 CPUtime=818.31
/proc/19446/stat : 19446 (java) R 19444 19446 18356 0 -1 0 23430 0 1 0 81815 16 0 0 25 0 8 0 160500084 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750070 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19446/statm: 228854 23161 2531 14 0 215324 0
[pid=19446/tid=19448] ppid=19444 vsize=915416 CPUtime=0.16
/proc/19446/task/19448/stat : 19448 (java) S 19444 19446 18356 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160500087 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19449] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19449/stat : 19449 (java) S 19444 19446 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160500088 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19450] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19450/stat : 19450 (java) S 19444 19446 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160500088 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19451] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19451/stat : 19451 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19452] ppid=19444 vsize=915416 CPUtime=0.24
/proc/19446/task/19452/stat : 19452 (java) S 19444 19446 18356 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19453] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19453/stat : 19453 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19454] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19454/stat : 19454 (java) S 19444 19446 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 818.31
Current children cumulated vsize (KiB) 915416

[startup+882.676 s]
/proc/loadavg: 2.05 2.04 2.00 3/92 19456
/proc/meminfo: memFree=1094792/2055920 swapFree=4184772/4192956
[pid=19446] ppid=19444 vsize=915416 CPUtime=877.95
/proc/19446/stat : 19446 (java) R 19444 19446 18356 0 -1 0 23431 0 1 0 87779 16 0 0 25 0 8 0 160500084 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750763 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19446/statm: 228854 23162 2531 14 0 215324 0
[pid=19446/tid=19448] ppid=19444 vsize=915416 CPUtime=0.16
/proc/19446/task/19448/stat : 19448 (java) S 19444 19446 18356 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160500087 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19449] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19449/stat : 19449 (java) S 19444 19446 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160500088 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19450] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19450/stat : 19450 (java) S 19444 19446 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160500088 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19451] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19451/stat : 19451 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19452] ppid=19444 vsize=915416 CPUtime=0.24
/proc/19446/task/19452/stat : 19452 (java) S 19444 19446 18356 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19446/tid=19453] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19453/stat : 19453 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19454] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19454/stat : 19454 (java) S 19444 19446 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 877.95
Current children cumulated vsize (KiB) 915416

[startup+942.692 s]
/proc/loadavg: 2.02 2.03 2.00 3/92 19456
/proc/meminfo: memFree=1094792/2055920 swapFree=4184772/4192956
[pid=19446] ppid=19444 vsize=915416 CPUtime=937.65
/proc/19446/stat : 19446 (java) R 19444 19446 18356 0 -1 0 23431 0 1 0 93749 16 0 0 25 0 8 0 160500084 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073625389 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19446/statm: 228854 23162 2531 14 0 215324 0
[pid=19446/tid=19448] ppid=19444 vsize=915416 CPUtime=0.16
/proc/19446/task/19448/stat : 19448 (java) S 19444 19446 18356 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160500087 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19449] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19449/stat : 19449 (java) S 19444 19446 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160500088 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19450] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19450/stat : 19450 (java) S 19444 19446 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160500088 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19451] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19451/stat : 19451 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19452] ppid=19444 vsize=915416 CPUtime=0.24
/proc/19446/task/19452/stat : 19452 (java) S 19444 19446 18356 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19446/tid=19453] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19453/stat : 19453 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19454] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19454/stat : 19454 (java) S 19444 19446 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 937.65
Current children cumulated vsize (KiB) 915416

[startup+1002.71 s]
/proc/loadavg: 2.00 2.02 2.00 3/92 19456
/proc/meminfo: memFree=1066952/2055920 swapFree=4184772/4192956
[pid=19446] ppid=19444 vsize=915416 CPUtime=997.27
/proc/19446/stat : 19446 (java) R 19444 19446 18356 0 -1 0 23431 0 1 0 99711 16 0 0 25 0 8 0 160500084 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073625293 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19446/statm: 228854 23162 2531 14 0 215324 0
[pid=19446/tid=19448] ppid=19444 vsize=915416 CPUtime=0.16
/proc/19446/task/19448/stat : 19448 (java) S 19444 19446 18356 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160500087 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19449] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19449/stat : 19449 (java) S 19444 19446 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160500088 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19450] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19450/stat : 19450 (java) S 19444 19446 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160500088 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19451] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19451/stat : 19451 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19452] ppid=19444 vsize=915416 CPUtime=0.24
/proc/19446/task/19452/stat : 19452 (java) S 19444 19446 18356 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19446/tid=19453] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19453/stat : 19453 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19454] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19454/stat : 19454 (java) S 19444 19446 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 997.27
Current children cumulated vsize (KiB) 915416

[startup+1062.72 s]
/proc/loadavg: 2.00 2.01 2.00 3/92 19456
/proc/meminfo: memFree=1066952/2055920 swapFree=4184772/4192956
[pid=19446] ppid=19444 vsize=915416 CPUtime=1056.94
/proc/19446/stat : 19446 (java) R 19444 19446 18356 0 -1 0 23431 0 1 0 105678 16 0 0 25 0 8 0 160500084 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073768329 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19446/statm: 228854 23162 2531 14 0 215324 0
[pid=19446/tid=19448] ppid=19444 vsize=915416 CPUtime=0.16
/proc/19446/task/19448/stat : 19448 (java) S 19444 19446 18356 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160500087 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19449] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19449/stat : 19449 (java) S 19444 19446 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160500088 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19450] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19450/stat : 19450 (java) S 19444 19446 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160500088 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19451] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19451/stat : 19451 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19452] ppid=19444 vsize=915416 CPUtime=0.24
/proc/19446/task/19452/stat : 19452 (java) S 19444 19446 18356 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19446/tid=19453] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19453/stat : 19453 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19454] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19454/stat : 19454 (java) S 19444 19446 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1056.94
Current children cumulated vsize (KiB) 915416

[startup+1122.74 s]
/proc/loadavg: 2.00 2.01 2.00 3/92 19456
/proc/meminfo: memFree=1038920/2055920 swapFree=4184772/4192956
[pid=19446] ppid=19444 vsize=915416 CPUtime=1116.65
/proc/19446/stat : 19446 (java) R 19444 19446 18356 0 -1 0 23431 0 1 0 111648 17 0 0 25 0 8 0 160500084 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749936 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19446/statm: 228854 23162 2531 14 0 215324 0
[pid=19446/tid=19448] ppid=19444 vsize=915416 CPUtime=0.16
/proc/19446/task/19448/stat : 19448 (java) S 19444 19446 18356 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160500087 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19449] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19449/stat : 19449 (java) S 19444 19446 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160500088 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19450] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19450/stat : 19450 (java) S 19444 19446 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160500088 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19451] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19451/stat : 19451 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19452] ppid=19444 vsize=915416 CPUtime=0.24
/proc/19446/task/19452/stat : 19452 (java) S 19444 19446 18356 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19446/tid=19453] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19453/stat : 19453 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19454] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19454/stat : 19454 (java) S 19444 19446 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1116.65
Current children cumulated vsize (KiB) 915416

[startup+1182.75 s]
/proc/loadavg: 2.00 2.00 2.00 3/92 19456
/proc/meminfo: memFree=1038920/2055920 swapFree=4184772/4192956
[pid=19446] ppid=19444 vsize=915416 CPUtime=1176.35
/proc/19446/stat : 19446 (java) R 19444 19446 18356 0 -1 0 23431 0 1 0 117618 17 0 0 25 0 8 0 160500084 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749897 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19446/statm: 228854 23162 2531 14 0 215324 0
[pid=19446/tid=19448] ppid=19444 vsize=915416 CPUtime=0.16
/proc/19446/task/19448/stat : 19448 (java) S 19444 19446 18356 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160500087 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19449] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19449/stat : 19449 (java) S 19444 19446 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160500088 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19450] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19450/stat : 19450 (java) S 19444 19446 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160500088 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19451] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19451/stat : 19451 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19452] ppid=19444 vsize=915416 CPUtime=0.24
/proc/19446/task/19452/stat : 19452 (java) S 19444 19446 18356 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19446/tid=19453] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19453/stat : 19453 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19454] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19454/stat : 19454 (java) S 19444 19446 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1176.35
Current children cumulated vsize (KiB) 915416

Child status: 0
Real time (s): 1191.72
CPU time (s): 1185.24
CPU user time (s): 1185.05
CPU system time (s): 0.186971
CPU usage (%): 99.4562
Max. virtual memory (cumulated for all children) (KiB): 915416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1185.05
system time used= 0.186971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23439
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= 25148
involuntary context switches= 39615

runsolver used 1.3418 s user time and 3.9434 s system time

The end

Launcher Data (download as text)

Begin job on node56 on Sat Jan  6 22:03:39 UTC 2007


IDJOB= 196260
IDBENCH= 3338
FILE ID= node56/196260-1168121019

PBS_JOBID= 3477419

Free space on /tmp= 66513 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-27_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196260-1168121019/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node56/watcher-196260-1168121019 -o ROOT/results/node56/solver-196260-1168121019 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196260-1168121019/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  5231d05a04feb487ab1815ae00219ded

RANDOM SEED= 415015733

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.232
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.232
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:       1426656 kB
Buffers:         41904 kB
Cached:         369884 kB
SwapCached:       2060 kB
Active:         256268 kB
Inactive:       304820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1426656 kB
SwapTotal:     4192956 kB
SwapFree:      4184772 kB
Dirty:            9792 kB
Writeback:           0 kB
Mapped:         166244 kB
Slab:            53264 kB
Committed_AS:  3721556 kB
PageTables:       2168 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= 66513 MiB



End job on node56 on Sat Jan  6 22:23:31 UTC 2007