Trace number 275383

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 EPFCMSAT (TO) 2400.05 2413.65

General information on the benchmark

Namerandom/rand-2-40-19/
rand-2-40-19-443-230-20_ext.xml
MD5SUM571d961e086293b29dae132991f11e94
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints324
Best CPU time to get the best result obtained on this benchmark186.273
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints325
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension325
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


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

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=epfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/275383-1169220943/unknown.xml
0.38	   
0.39	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.43	     nbVariables=40  nbDomainTypes=1  minDomainSize=19  maxDomainSize=19
0.43	       =>  wckTime=0.102  cpuTime=0.09  mem=6M887
0.43	   
0.43	   relations being loaded...
0.53	   
0.53	   constraints being loaded...
0.65	     nbConstraints=325  nbRelationTypes=325  nbExtensionStructures=325  nbSharedExtensionStructures=0
0.65	     nbConflictsStructures=325  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2585  maxDegree=22
0.65	     maxArity=2
0.65	       =>  wckTime=0.324  cpuTime=0.25  mem=12M738
0.69	   
0.69	   solver LocalSearchSolver being built... 
0.73	       =>  wckTime=0.412  cpuTime=0.29  mem=6M42
0.74	
0.74	s SATISFIABLE
0.74	o 246
0.74	c 79
0.74	o 251
0.74	c 74
0.74	o 255
0.74	c 70
0.75	o 261
0.75	c 64
0.75	o 266
0.75	c 59
0.75	o 270
0.75	c 55
0.75	o 273
0.75	c 52
0.75	o 277
0.75	c 48
0.75	o 279
0.75	c 46
0.75	o 280
0.75	c 45
0.75	o 284
0.75	c 41
0.75	o 286
0.75	c 39
0.76	o 288
0.76	c 37
0.76	o 289
0.76	c 36
0.76	o 290
0.76	c 35
0.76	o 291
0.76	c 34
0.76	o 292
0.76	c 33
0.76	o 294
0.76	c 31
0.76	o 296
0.76	c 29
0.76	o 297
0.76	c 28
0.76	o 299
0.76	c 26
0.76	o 303
0.76	c 22
0.76	o 305
0.76	c 20
0.76	o 307
0.76	c 18
0.77	o 308
0.77	c 17
0.77	o 309
0.77	c 16
0.77	o 311
0.77	c 14
0.77	o 312
0.77	c 13
0.77	o 314
0.77	c 11
0.81	o 315
0.81	c 10
0.81	o 316
0.81	c 9
0.82	o 317
0.82	c 8
0.86	o 318
0.86	c 7
0.86	o 319
0.86	c 6
0.97	o 320
0.97	c 5
0.97	o 321
0.97	c 4
3.44	o 322
3.44	c 3
4.04	   
4.04	   search
4.04	     run=0  nbConstraintChecks=23631491  nbAssignments=10000
4.04	       =>  wckTime=3.309  cpuTime=3.25  mem=6M42
4.44	o 323
4.44	c 2
7.24	   
7.24	   search
7.24	     run=1  nbConstraintChecks=46746156  nbAssignments=20000
7.24	       =>  wckTime=6.502  cpuTime=6.41  mem=6M42
10.45	   
10.45	   search
10.45	     run=2  nbConstraintChecks=69888375  nbAssignments=30000
10.45	       =>  wckTime=9.718  cpuTime=9.59  mem=6M42
12.30	o 324
12.30	c 1
12.31	   
12.31	   search
12.31	     run=3  nbConstraintChecks=83365800  nbAssignments=35639
12.31	       =>  wckTime=11.572  cpuTime=11.44  mem=6M42
12.31	   
12.31	   global
12.31	     nbConstraintChecks=83365800  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
12.31	     solvingWckTime=11.57  solvingCpuTime=11.43  expiredTime=no  totalExploration=no  nbFoundSolutions=0
12.31	     globalCpuTime=11.77
12.31	       =>  wckTime=11.985  cpuTime=11.72  mem=6M42
12.31	   
12.31	   solver IterativeSystematicSolver being built... 
12.45	       =>  wckTime=12.123  cpuTime=11.82  mem=16M934
12.55	   
12.55	   preprocessing
12.55	     nbConstraintChecks=148540  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
12.55	     detectedInconsistency=no
12.55	       =>  wckTime=0.105  cpuTime=0.08  mem=16M934
12.60	   
12.60	   search
12.60	     run=0  nbConstraintChecks=165893  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=34
12.60	     nbFailedAssignments=18  nbBacktracks=10  nbVisitedNodes=62  nbRestartNogoods=0
12.60	       =>  wckTime=0.154  cpuTime=0.13  mem=16M934
12.67	   
12.67	   search
12.67	     run=1  nbConstraintChecks=364514  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=76
12.67	     nbFailedAssignments=38  nbBacktracks=25  nbVisitedNodes=139  nbRestartNogoods=8
12.67	       =>  wckTime=0.222  cpuTime=0.18  mem=16M934
12.77	   
12.77	   search
12.77	     run=2  nbConstraintChecks=713008  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=140
12.77	     nbFailedAssignments=73  nbBacktracks=47  nbVisitedNodes=260  nbRestartNogoods=26
12.77	       =>  wckTime=0.319  cpuTime=0.27  mem=16M934
12.90	   
12.90	   search
12.90	     run=3  nbConstraintChecks=1179999  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=231
12.90	     nbFailedAssignments=126  nbBacktracks=80  nbVisitedNodes=436  nbRestartNogoods=47
12.90	       =>  wckTime=0.448  cpuTime=0.4  mem=16M934
13.08	   
13.08	   search
13.08	     run=4  nbConstraintChecks=2000330  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=398
13.08	     nbFailedAssignments=237  nbBacktracks=130  nbVisitedNodes=764  nbRestartNogoods=52
13.08	       =>  wckTime=0.631  cpuTime=0.58  mem=16M934
13.31	   
13.31	   search
13.31	     run=5  nbConstraintChecks=3042393  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=604
13.31	     nbFailedAssignments=363  nbBacktracks=205  nbVisitedNodes=1170  nbRestartNogoods=65
13.31	       =>  wckTime=0.867  cpuTime=0.81  mem=16M934
13.69	   
13.69	   search
13.69	     run=6  nbConstraintChecks=4636771  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=922
13.69	     nbFailedAssignments=561  nbBacktracks=318  nbVisitedNodes=1797  nbRestartNogoods=91
13.69	       =>  wckTime=1.24  cpuTime=1.18  mem=16M934
14.24	   
14.24	   search
14.24	     run=7  nbConstraintChecks=6945615  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1398
14.24	     nbFailedAssignments=861  nbBacktracks=488  nbVisitedNodes=2741  nbRestartNogoods=130
14.24	       =>  wckTime=1.794  cpuTime=1.72  mem=16M934
15.12	   
15.12	   search
15.12	     run=8  nbConstraintChecks=10857288  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2161
15.12	     nbFailedAssignments=1362  nbBacktracks=744  nbVisitedNodes=4256  nbRestartNogoods=163
15.12	       =>  wckTime=2.674  cpuTime=2.57  mem=16M934
16.57	   
16.57	   search
16.57	     run=9  nbConstraintChecks=16465548  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3296
16.57	     nbFailedAssignments=2108  nbBacktracks=1128  nbVisitedNodes=6480  nbRestartNogoods=193
16.57	       =>  wckTime=4.124  cpuTime=4.01  mem=16M934
18.56	   
18.56	   search
18.56	     run=10  nbConstraintChecks=25407736  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5004
18.56	     nbFailedAssignments=3235  nbBacktracks=1705  nbVisitedNodes=9874  nbRestartNogoods=216
18.56	       =>  wckTime=6.112  cpuTime=5.97  mem=16M934
21.15	   
21.15	   search
21.15	     run=11  nbConstraintChecks=36736546  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=7297
21.15	     nbFailedAssignments=4656  nbBacktracks=2569  nbVisitedNodes=14407  nbRestartNogoods=217
21.15	       =>  wckTime=8.702  cpuTime=8.53  mem=16M934
25.39	   
25.39	   search
25.39	     run=12  nbConstraintChecks=55860343  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=11043
25.39	     nbFailedAssignments=7099  nbBacktracks=3866  nbVisitedNodes=21818  nbRestartNogoods=245
25.39	       =>  wckTime=12.945  cpuTime=12.73  mem=16M934
32.16	   
32.16	   search
32.16	     run=13  nbConstraintChecks=84304744  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=16325
32.16	     nbFailedAssignments=10428  nbBacktracks=5812  nbVisitedNodes=32090  nbRestartNogoods=272
32.16	       =>  wckTime=19.71  cpuTime=19.44  mem=16M934
40.96	   
40.96	   search
40.96	     run=14  nbConstraintChecks=123131278  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=23598
40.96	     nbFailedAssignments=14775  nbBacktracks=8731  nbVisitedNodes=46068  nbRestartNogoods=278
40.96	       =>  wckTime=28.516  cpuTime=28.17  mem=16M934
54.71	   
54.71	   search
54.71	     run=15  nbConstraintChecks=179464419  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=34032
54.71	     nbFailedAssignments=20826  nbBacktracks=13109  nbVisitedNodes=65287  nbRestartNogoods=292
54.71	       =>  wckTime=42.262  cpuTime=41.79  mem=16M934
71.68	   
71.69	   search
71.69	     run=16  nbConstraintChecks=246948541  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=47384
71.69	     nbFailedAssignments=27605  nbBacktracks=19678  nbVisitedNodes=88417  nbRestartNogoods=326
71.69	       =>  wckTime=59.238  cpuTime=58.6  mem=16M934
96.06	   
96.06	   search
96.06	     run=17  nbConstraintChecks=345527372  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=67270
96.06	     nbFailedAssignments=37634  nbBacktracks=29531  nbVisitedNodes=122330  nbRestartNogoods=350
96.06	       =>  wckTime=83.614  cpuTime=82.76  mem=16M934
131.26	   
131.26	   search
131.26	     run=18  nbConstraintChecks=488509331  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=95875
131.26	     nbFailedAssignments=51456  nbBacktracks=44309  nbVisitedNodes=169580  nbRestartNogoods=385
131.26	       =>  wckTime=118.817  cpuTime=117.63  mem=16M934
178.18	   
178.18	   search
178.18	     run=19  nbConstraintChecks=680508723  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=136805
178.18	     nbFailedAssignments=70215  nbBacktracks=66477  nbVisitedNodes=234763  nbRestartNogoods=402
178.18	       =>  wckTime=165.729  cpuTime=164.11  mem=16M934
246.26	   
246.26	   search
246.26	     run=20  nbConstraintChecks=950618283  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=194638
246.26	     nbFailedAssignments=94791  nbBacktracks=99729  nbVisitedNodes=324299  nbRestartNogoods=455
246.26	       =>  wckTime=233.81  cpuTime=231.56  mem=16M934
346.35	   
346.35	   search
346.35	     run=21  nbConstraintChecks=1363410406  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=282764
346.35	     nbFailedAssignments=133030  nbBacktracks=149608  nbVisitedNodes=461774  nbRestartNogoods=480
346.35	       =>  wckTime=333.908  cpuTime=330.74  mem=16M934
500.11	   
500.11	   search
500.11	     run=22  nbConstraintChecks=1981166623  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=413440
500.11	     nbFailedAssignments=188884  nbBacktracks=224426  nbVisitedNodes=663581  nbRestartNogoods=517
500.11	       =>  wckTime=487.663  cpuTime=483.51  mem=16M934
720.93	   
720.93	   search
720.93	     run=23  nbConstraintChecks=2869194935  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=605134
720.93	     nbFailedAssignments=268347  nbBacktracks=336653  nbVisitedNodes=956168  nbRestartNogoods=540
720.93	       =>  wckTime=708.485  cpuTime=703.26  mem=16M934
1054.08	   
1054.08	   search
1054.08	     run=24  nbConstraintChecks=4217836336  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=894199
1054.08	     nbFailedAssignments=389065  nbBacktracks=504994  nbVisitedNodes=1399192  nbRestartNogoods=573
1054.08	       =>  wckTime=1041.635  cpuTime=1034.81  mem=16M934
1560.30	   
1560.30	   search
1560.30	     run=25  nbConstraintChecks=6262600454  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1329663
1560.30	     nbFailedAssignments=572014  nbBacktracks=757506  nbVisitedNodes=2069940  nbRestartNogoods=599
1560.30	       =>  wckTime=1547.849  cpuTime=1538.45  mem=16M934
2333.79	   
2333.79	   search
2333.79	     run=26  nbConstraintChecks=9403478467  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1987506
2333.79	     nbFailedAssignments=851081  nbBacktracks=1136277  nbVisitedNodes=3087277  nbRestartNogoods=646
2333.79	       =>  wckTime=2321.343  cpuTime=2308.19  mem=16M934
2413.62	v 10 2 13 1 13 1 4 4 16 8 6 18 9 7 18 18 3 5 10 15 16 8 10 10 14 15 9 7 14 7 8 7 1 16 9 6 9 17 10 10

Verifier Data (download as text)

1 unsatisfied constraints, 324 satisfied constraints

Watcher Data (download as text)

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

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

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

/proc/loadavg: 1.97 2.01 2.00 4/93 10426
/proc/meminfo: memFree=1144272/2055920 swapFree=4171812/4192956
[pid=10425] ppid=10423 vsize=18540 CPUtime=0
/proc/10425/stat : 10425 (runsolver) R 10423 10425 9478 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270489373 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 262910045479 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/10425/statm: 4635 279 244 17 0 2626 0

[startup+0.107932 s]
/proc/loadavg: 1.97 2.01 2.00 4/93 10426
/proc/meminfo: memFree=1144272/2055920 swapFree=4171812/4192956
[pid=10425] ppid=10423 vsize=914988 CPUtime=0.08
/proc/10425/stat : 10425 (java) R 10423 10425 9478 0 -1 0 2991 0 1 0 6 2 0 0 17 0 8 0 270489373 936947712 2737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154112113 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10425/statm: 228747 2737 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.516014 s]
/proc/loadavg: 1.97 2.01 2.00 4/93 10426
/proc/meminfo: memFree=1144272/2055920 swapFree=4171812/4192956
[pid=10425] ppid=10423 vsize=915332 CPUtime=0.48
/proc/10425/stat : 10425 (java) R 10423 10425 9478 0 -1 0 6748 0 1 0 45 3 0 0 18 0 8 0 270489373 937299968 6487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072941994 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10425/statm: 228833 6487 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.33917 s]
/proc/loadavg: 1.97 2.01 2.00 3/100 10433
/proc/meminfo: memFree=1121624/2055920 swapFree=4171812/4192956
[pid=10425] ppid=10423 vsize=915464 CPUtime=1.3
/proc/10425/stat : 10425 (java) R 10423 10425 9478 0 -1 0 8323 0 1 0 117 13 0 0 25 0 8 0 270489373 937435136 8061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073744192 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10425/statm: 228866 8061 2479 14 0 215336 0
[pid=10425/tid=10427] ppid=10423 vsize=915464 CPUtime=0.03
/proc/10425/task/10427/stat : 10427 (java) S 10423 10425 9478 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 270489377 937435136 8061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10428] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10428/stat : 10428 (java) S 10423 10425 9478 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270489377 937435136 8061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10429] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10429/stat : 10429 (java) S 10423 10425 9478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270489377 937435136 8061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10430] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10430/stat : 10430 (java) S 10423 10425 9478 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270489381 937435136 8061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10431] ppid=10423 vsize=915464 CPUtime=0.15
/proc/10425/task/10431/stat : 10431 (java) S 10423 10425 9478 0 -1 64 350 0 0 0 15 0 0 0 16 0 8 0 270489381 937435136 8061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10432] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10432/stat : 10432 (java) S 10423 10425 9478 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270489381 937435136 8061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10433] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10433/stat : 10433 (java) S 10423 10425 9478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270489381 937435136 8061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464

[startup+2.9825 s]
/proc/loadavg: 1.97 2.01 2.00 4/100 10433
/proc/meminfo: memFree=1121624/2055920 swapFree=4171812/4192956
[pid=10425] ppid=10423 vsize=915464 CPUtime=2.92
/proc/10425/stat : 10425 (java) R 10423 10425 9478 0 -1 0 8324 0 1 0 260 32 0 0 25 0 8 0 270489373 937435136 8061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073751261 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10425/statm: 228866 8061 2479 14 0 215336 0
[pid=10425/tid=10427] ppid=10423 vsize=915464 CPUtime=0.03
/proc/10425/task/10427/stat : 10427 (java) S 10423 10425 9478 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 270489377 937435136 8061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10428] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10428/stat : 10428 (java) S 10423 10425 9478 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270489377 937435136 8061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10429] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10429/stat : 10429 (java) S 10423 10425 9478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270489377 937435136 8061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10430] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10430/stat : 10430 (java) S 10423 10425 9478 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270489381 937435136 8061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10431] ppid=10423 vsize=915464 CPUtime=0.15
/proc/10425/task/10431/stat : 10431 (java) S 10423 10425 9478 0 -1 64 350 0 0 0 15 0 0 0 16 0 8 0 270489381 937435136 8061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10432] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10432/stat : 10432 (java) S 10423 10425 9478 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270489381 937435136 8061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10433] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10433/stat : 10433 (java) S 10423 10425 9478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270489381 937435136 8061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915464

[startup+6.27215 s]
/proc/loadavg: 1.97 2.01 2.00 3/100 10433
/proc/meminfo: memFree=1121560/2055920 swapFree=4171812/4192956
[pid=10425] ppid=10423 vsize=915464 CPUtime=6.18
/proc/10425/stat : 10425 (java) R 10423 10425 9478 0 -1 0 8327 0 1 0 547 71 0 0 25 0 8 0 270489373 937435136 8064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073743088 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10425/statm: 228866 8064 2479 14 0 215336 0
[pid=10425/tid=10427] ppid=10423 vsize=915464 CPUtime=0.03
/proc/10425/task/10427/stat : 10427 (java) S 10423 10425 9478 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 270489377 937435136 8064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10428] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10428/stat : 10428 (java) S 10423 10425 9478 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270489377 937435136 8064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10429] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10429/stat : 10429 (java) S 10423 10425 9478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270489377 937435136 8064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10430] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10430/stat : 10430 (java) S 10423 10425 9478 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270489381 937435136 8064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10431] ppid=10423 vsize=915464 CPUtime=0.15
/proc/10425/task/10431/stat : 10431 (java) S 10423 10425 9478 0 -1 64 353 0 0 0 15 0 0 0 16 0 8 0 270489381 937435136 8064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10432] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10432/stat : 10432 (java) S 10423 10425 9478 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270489381 937435136 8064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10433] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10433/stat : 10433 (java) S 10423 10425 9478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270489381 937435136 8064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915464

[startup+12.7524 s]
/proc/loadavg: 1.97 2.01 2.00 3/100 10433
/proc/meminfo: memFree=1119832/2055920 swapFree=4171812/4192956
[pid=10425] ppid=10423 vsize=915464 CPUtime=12.59
/proc/10425/stat : 10425 (java) R 10423 10425 9478 0 -1 0 9145 0 1 0 1115 144 0 0 25 0 8 0 270489373 937435136 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072927745 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10425/statm: 228866 8881 2532 14 0 215336 0
[pid=10425/tid=10427] ppid=10423 vsize=915464 CPUtime=0.03
/proc/10425/task/10427/stat : 10427 (java) S 10423 10425 9478 0 -1 64 289 0 0 0 3 0 0 0 17 0 8 0 270489377 937435136 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10428] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10428/stat : 10428 (java) S 10423 10425 9478 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270489377 937435136 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10429] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10429/stat : 10429 (java) S 10423 10425 9478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270489377 937435136 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10430] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10430/stat : 10430 (java) S 10423 10425 9478 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270489381 937435136 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10431] ppid=10423 vsize=915464 CPUtime=0.22
/proc/10425/task/10431/stat : 10431 (java) S 10423 10425 9478 0 -1 64 390 0 0 0 22 0 0 0 16 0 8 0 270489381 937435136 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10432] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10432/stat : 10432 (java) S 10423 10425 9478 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270489381 937435136 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10433] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10433/stat : 10433 (java) S 10423 10425 9478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270489381 937435136 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915464

[startup+25.6 s]
/proc/loadavg: 2.05 2.02 2.00 3/100 10433
/proc/meminfo: memFree=1118616/2055920 swapFree=4171812/4192956
[pid=10425] ppid=10423 vsize=915464 CPUtime=25.32
/proc/10425/stat : 10425 (java) R 10423 10425 9478 0 -1 0 9194 0 1 0 2387 145 0 0 25 0 8 0 270489373 937435136 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073913434 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10425/statm: 228866 8926 2532 14 0 215336 0
[pid=10425/tid=10427] ppid=10423 vsize=915464 CPUtime=0.03
/proc/10425/task/10427/stat : 10427 (java) S 10423 10425 9478 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 270489377 937435136 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10428] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10428/stat : 10428 (java) S 10423 10425 9478 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270489377 937435136 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10429] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10429/stat : 10429 (java) S 10423 10425 9478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270489377 937435136 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10430] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10430/stat : 10430 (java) S 10423 10425 9478 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270489381 937435136 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10431] ppid=10423 vsize=915464 CPUtime=0.27
/proc/10425/task/10431/stat : 10431 (java) S 10423 10425 9478 0 -1 64 409 0 0 0 26 1 0 0 16 0 8 0 270489381 937435136 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10432] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10432/stat : 10432 (java) S 10423 10425 9478 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270489381 937435136 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10433] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10433/stat : 10433 (java) S 10423 10425 9478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270489381 937435136 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 915464

[startup+51.2131 s]
/proc/loadavg: 2.03 2.02 2.00 3/100 10433
/proc/meminfo: memFree=1118616/2055920 swapFree=4171812/4192956
[pid=10425] ppid=10423 vsize=915464 CPUtime=50.7
/proc/10425/stat : 10425 (java) R 10423 10425 9478 0 -1 0 9198 0 1 0 4924 146 0 0 25 0 8 0 270489373 937435136 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073850569 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10425/statm: 228866 8930 2532 14 0 215336 0
[pid=10425/tid=10427] ppid=10423 vsize=915464 CPUtime=0.03
/proc/10425/task/10427/stat : 10427 (java) S 10423 10425 9478 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 270489377 937435136 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10428] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10428/stat : 10428 (java) S 10423 10425 9478 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270489377 937435136 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10429] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10429/stat : 10429 (java) S 10423 10425 9478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270489377 937435136 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10430] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10430/stat : 10430 (java) S 10423 10425 9478 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270489381 937435136 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10431] ppid=10423 vsize=915464 CPUtime=0.27
/proc/10425/task/10431/stat : 10431 (java) S 10423 10425 9478 0 -1 64 409 0 0 0 26 1 0 0 16 0 8 0 270489381 937435136 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10432] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10432/stat : 10432 (java) S 10423 10425 9478 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270489381 937435136 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10433] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10433/stat : 10433 (java) S 10423 10425 9478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270489381 937435136 8930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 915464

[startup+102.427 s]
/proc/loadavg: 2.01 2.02 2.00 3/100 10433
/proc/meminfo: memFree=1118552/2055920 swapFree=4171812/4192956
[pid=10425] ppid=10423 vsize=915464 CPUtime=101.44
/proc/10425/stat : 10425 (java) R 10423 10425 9478 0 -1 0 9206 0 1 0 9998 146 0 0 25 0 8 0 270489373 937435136 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073856636 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10425/statm: 228866 8938 2532 14 0 215336 0
[pid=10425/tid=10427] ppid=10423 vsize=915464 CPUtime=0.03
/proc/10425/task/10427/stat : 10427 (java) S 10423 10425 9478 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 270489377 937435136 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10428] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10428/stat : 10428 (java) S 10423 10425 9478 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270489377 937435136 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10429] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10429/stat : 10429 (java) S 10423 10425 9478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270489377 937435136 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10430] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10430/stat : 10430 (java) S 10423 10425 9478 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270489381 937435136 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10431] ppid=10423 vsize=915464 CPUtime=0.27
/proc/10425/task/10431/stat : 10431 (java) S 10423 10425 9478 0 -1 64 409 0 0 0 26 1 0 0 16 0 8 0 270489381 937435136 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10432] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10432/stat : 10432 (java) S 10423 10425 9478 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270489381 937435136 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10433] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10433/stat : 10433 (java) S 10423 10425 9478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270489381 937435136 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 915464

[startup+162.485 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 10433
/proc/meminfo: memFree=1118616/2055920 swapFree=4171812/4192956
[pid=10425] ppid=10423 vsize=915464 CPUtime=160.94
/proc/10425/stat : 10425 (java) R 10423 10425 9478 0 -1 0 9210 0 1 0 15948 146 0 0 25 0 8 0 270489373 937435136 8941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073912763 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 2011.98
Current children cumulated vsize (KiB) 915464

[startup+2083.73 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 10691
/proc/meminfo: memFree=1258016/2055920 swapFree=4171812/4192956
[pid=10425] ppid=10423 vsize=915464 CPUtime=2071.72
/proc/10425/stat : 10425 (java) R 10423 10425 9478 0 -1 0 9229 0 1 0 207012 160 0 0 25 0 8 0 270489373 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073913434 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10425/statm: 228866 8959 2532 14 0 215336 0
[pid=10425/tid=10427] ppid=10423 vsize=915464 CPUtime=0.03
/proc/10425/task/10427/stat : 10427 (java) S 10423 10425 9478 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 270489377 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10428] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10428/stat : 10428 (java) S 10423 10425 9478 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270489377 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10429] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10429/stat : 10429 (java) S 10423 10425 9478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270489377 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10430] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10430/stat : 10430 (java) S 10423 10425 9478 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270489381 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10431] ppid=10423 vsize=915464 CPUtime=0.27
/proc/10425/task/10431/stat : 10431 (java) S 10423 10425 9478 0 -1 64 410 0 0 0 26 1 0 0 16 0 8 0 270489381 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10432] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10432/stat : 10432 (java) S 10423 10425 9478 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270489381 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10433] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10433/stat : 10433 (java) S 10423 10425 9478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270489381 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2071.72
Current children cumulated vsize (KiB) 915464

[startup+2143.77 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 10691
/proc/meminfo: memFree=1257952/2055920 swapFree=4171812/4192956
[pid=10425] ppid=10423 vsize=915464 CPUtime=2131.45
/proc/10425/stat : 10425 (java) R 10423 10425 9478 0 -1 0 9229 0 1 0 212985 160 0 0 25 0 8 0 270489373 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073855054 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10425/statm: 228866 8959 2532 14 0 215336 0
[pid=10425/tid=10427] ppid=10423 vsize=915464 CPUtime=0.03
/proc/10425/task/10427/stat : 10427 (java) S 10423 10425 9478 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 270489377 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10428] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10428/stat : 10428 (java) S 10423 10425 9478 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270489377 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10429] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10429/stat : 10429 (java) S 10423 10425 9478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270489377 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10430] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10430/stat : 10430 (java) S 10423 10425 9478 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270489381 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10431] ppid=10423 vsize=915464 CPUtime=0.27
/proc/10425/task/10431/stat : 10431 (java) S 10423 10425 9478 0 -1 64 410 0 0 0 26 1 0 0 16 0 8 0 270489381 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10432] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10432/stat : 10432 (java) S 10423 10425 9478 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270489381 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10433] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10433/stat : 10433 (java) S 10423 10425 9478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270489381 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2131.45
Current children cumulated vsize (KiB) 915464

[startup+2203.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 10691
/proc/meminfo: memFree=1258016/2055920 swapFree=4171812/4192956
[pid=10425] ppid=10423 vsize=915464 CPUtime=2191.2
/proc/10425/stat : 10425 (java) R 10423 10425 9478 0 -1 0 9229 0 1 0 218959 161 0 0 25 0 8 0 270489373 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073913364 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10425/statm: 228866 8959 2532 14 0 215336 0
[pid=10425/tid=10427] ppid=10423 vsize=915464 CPUtime=0.03
/proc/10425/task/10427/stat : 10427 (java) S 10423 10425 9478 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 270489377 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10428] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10428/stat : 10428 (java) S 10423 10425 9478 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270489377 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10429] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10429/stat : 10429 (java) S 10423 10425 9478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270489377 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10430] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10430/stat : 10430 (java) S 10423 10425 9478 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270489381 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10431] ppid=10423 vsize=915464 CPUtime=0.27
/proc/10425/task/10431/stat : 10431 (java) S 10423 10425 9478 0 -1 64 410 0 0 0 26 1 0 0 16 0 8 0 270489381 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10432] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10432/stat : 10432 (java) S 10423 10425 9478 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270489381 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10433] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10433/stat : 10433 (java) S 10423 10425 9478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270489381 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2191.2
Current children cumulated vsize (KiB) 915464

[startup+2263.84 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 10691
/proc/meminfo: memFree=1257952/2055920 swapFree=4171812/4192956
[pid=10425] ppid=10423 vsize=915464 CPUtime=2250.95
/proc/10425/stat : 10425 (java) R 10423 10425 9478 0 -1 0 9229 0 1 0 224934 161 0 0 25 0 8 0 270489373 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073891943 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10425/statm: 228866 8959 2532 14 0 215336 0
[pid=10425/tid=10427] ppid=10423 vsize=915464 CPUtime=0.03
/proc/10425/task/10427/stat : 10427 (java) S 10423 10425 9478 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 270489377 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10428] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10428/stat : 10428 (java) S 10423 10425 9478 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270489377 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10429] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10429/stat : 10429 (java) S 10423 10425 9478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270489377 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10430] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10430/stat : 10430 (java) S 10423 10425 9478 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270489381 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10431] ppid=10423 vsize=915464 CPUtime=0.27
/proc/10425/task/10431/stat : 10431 (java) S 10423 10425 9478 0 -1 64 410 0 0 0 26 1 0 0 16 0 8 0 270489381 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10432] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10432/stat : 10432 (java) S 10423 10425 9478 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270489381 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10433] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10433/stat : 10433 (java) S 10423 10425 9478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270489381 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2250.95
Current children cumulated vsize (KiB) 915464

[startup+2323.87 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 10691
/proc/meminfo: memFree=1258016/2055920 swapFree=4171812/4192956
[pid=10425] ppid=10423 vsize=915464 CPUtime=2310.69
/proc/10425/stat : 10425 (java) R 10423 10425 9478 0 -1 0 9229 0 1 0 230908 161 0 0 25 0 8 0 270489373 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073850569 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10425/statm: 228866 8959 2532 14 0 215336 0
[pid=10425/tid=10427] ppid=10423 vsize=915464 CPUtime=0.03
/proc/10425/task/10427/stat : 10427 (java) S 10423 10425 9478 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 270489377 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10428] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10428/stat : 10428 (java) S 10423 10425 9478 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270489377 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10429] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10429/stat : 10429 (java) S 10423 10425 9478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270489377 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10430] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10430/stat : 10430 (java) S 10423 10425 9478 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270489381 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10431] ppid=10423 vsize=915464 CPUtime=0.27
/proc/10425/task/10431/stat : 10431 (java) S 10423 10425 9478 0 -1 64 410 0 0 0 26 1 0 0 16 0 8 0 270489381 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10432] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10432/stat : 10432 (java) S 10423 10425 9478 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270489381 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10433] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10433/stat : 10433 (java) S 10423 10425 9478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270489381 937435136 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2310.69
Current children cumulated vsize (KiB) 915464

[startup+2383.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 10691
/proc/meminfo: memFree=1258016/2055920 swapFree=4171812/4192956
[pid=10425] ppid=10423 vsize=915464 CPUtime=2370.44
/proc/10425/stat : 10425 (java) R 10423 10425 9478 0 -1 0 9232 0 1 0 236882 162 0 0 25 0 8 0 270489373 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073912366 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10425/statm: 228866 8962 2532 14 0 215336 0
[pid=10425/tid=10427] ppid=10423 vsize=915464 CPUtime=0.03
/proc/10425/task/10427/stat : 10427 (java) S 10423 10425 9478 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 270489377 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10428] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10428/stat : 10428 (java) S 10423 10425 9478 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270489377 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10429] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10429/stat : 10429 (java) S 10423 10425 9478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270489377 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10430] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10430/stat : 10430 (java) S 10423 10425 9478 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270489381 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10431] ppid=10423 vsize=915464 CPUtime=0.27
/proc/10425/task/10431/stat : 10431 (java) S 10423 10425 9478 0 -1 64 410 0 0 0 26 1 0 0 16 0 8 0 270489381 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10432] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10432/stat : 10432 (java) S 10423 10425 9478 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270489381 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10433] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10433/stat : 10433 (java) S 10423 10425 9478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270489381 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2370.44
Current children cumulated vsize (KiB) 915464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2413.61 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 10691
/proc/meminfo: memFree=1258016/2055920 swapFree=4171812/4192956
[pid=10425] ppid=10423 vsize=915464 CPUtime=2400.01
/proc/10425/stat : 10425 (java) R 10423 10425 9478 0 -1 0 9232 0 1 0 239839 162 0 0 25 0 8 0 270489373 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073876886 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10425/statm: 228866 8962 2532 14 0 215336 0
[pid=10425/tid=10427] ppid=10423 vsize=915464 CPUtime=0.03
/proc/10425/task/10427/stat : 10427 (java) S 10423 10425 9478 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 270489377 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10428] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10428/stat : 10428 (java) S 10423 10425 9478 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270489377 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10429] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10429/stat : 10429 (java) S 10423 10425 9478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270489377 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10430] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10430/stat : 10430 (java) S 10423 10425 9478 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270489381 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10431] ppid=10423 vsize=915464 CPUtime=0.27
/proc/10425/task/10431/stat : 10431 (java) S 10423 10425 9478 0 -1 64 410 0 0 0 26 1 0 0 16 0 8 0 270489381 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10432] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10432/stat : 10432 (java) S 10423 10425 9478 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270489381 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10425/tid=10433] ppid=10423 vsize=915464 CPUtime=0
/proc/10425/task/10433/stat : 10433 (java) S 10423 10425 9478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270489381 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 915464

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

Child status: 143
Real time (s): 2413.65
CPU time (s): 2400.05
CPU user time (s): 2398.42
CPU system time (s): 1.63275
CPU usage (%): 99.4366
Max. virtual memory (cumulated for all children) (KiB): 915468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.42
system time used= 1.63275
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9255
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= 50024
involuntary context switches= 111225

runsolver used 2.57961 s user time and 7.04493 s system time

The end

Launcher Data (download as text)

Begin job on node11 on Fri Jan 19 15:35:43 UTC 2007


IDJOB= 275383
IDBENCH= 3866
IDSOLVER= 68
FILE ID= node11/275383-1169220943

PBS_JOBID= 3588919

Free space on /tmp= 66558 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-20_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275383-1169220943/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-275383-1169220943 -o ROOT/results/node11/solver-275383-1169220943 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275383-1169220943/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  571d961e086293b29dae132991f11e94

RANDOM SEED= 656024571

TIME LIMIT= 2400 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.261
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	: 5931.00
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.261
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:       1144752 kB
Buffers:         61216 kB
Cached:         564208 kB
SwapCached:       2828 kB
Active:         354016 kB
Inactive:       477988 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1144752 kB
SwapTotal:     4192956 kB
SwapFree:      4171812 kB
Dirty:            1872 kB
Writeback:           0 kB
Mapped:         233768 kB
Slab:            63392 kB
Committed_AS:  8732348 kB
PageTables:       2744 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= 66561 MiB



End job on node11 on Fri Jan 19 16:15:57 UTC 2007