Trace number 275974

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.12 2403.05

General information on the benchmark

Namerandom/rand-3-20-20/
rand-3-20-20-60-632-33_ext.xml
MD5SUMbc93713de166b1eb8718a7b2d6ead437
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints58
Best CPU time to get the best result obtained on this benchmark351.726
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables20
Number of constraints59
Maximum constraint arity3
Maximum domain size20
Number of constraints which are defined in extension59
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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=epfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/275974-1169230086/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.41	     nbVariables=20  nbDomainTypes=1  minDomainSize=20  maxDomainSize=20
0.41	       =>  wckTime=0.097  cpuTime=0.09  mem=6M887
0.41	   
0.41	   relations being loaded...
0.69	   
0.69	   constraints being loaded...
0.85	     nbConstraints=59  nbRelationTypes=59  nbExtensionStructures=59  nbSharedExtensionStructures=0
0.85	     nbConflictsStructures=59  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=14  maxArity=3
0.85	       =>  wckTime=0.536  cpuTime=0.49  mem=43M368
0.93	   
0.93	   solver LocalSearchSolver being built... 
0.97	       =>  wckTime=0.66  cpuTime=0.53  mem=12M402
0.98	
0.98	s SATISFIABLE
0.98	o 25
0.98	c 34
0.98	o 30
0.98	c 29
0.98	o 33
0.98	c 26
0.98	o 36
0.98	c 23
0.99	o 38
0.99	c 21
0.99	o 39
0.99	c 20
0.99	o 41
0.99	c 18
0.99	o 42
0.99	c 17
1.00	o 43
1.00	c 16
1.00	o 45
1.00	c 14
1.00	o 46
1.00	c 13
1.00	o 47
1.00	c 12
1.00	o 48
1.00	c 11
1.01	o 49
1.01	c 10
1.01	o 50
1.01	c 9
1.04	o 51
1.04	c 8
1.05	o 52
1.05	c 7
1.07	o 53
1.07	c 6
1.07	o 54
1.07	c 5
1.60	o 55
1.60	c 4
2.85	o 56
2.85	c 3
4.45	o 57
4.45	c 2
9.93	   
9.93	   search
9.93	     run=0  nbConstraintChecks=10373150  nbAssignments=10000
9.93	       =>  wckTime=8.959  cpuTime=8.9  mem=12M402
18.75	   
18.75	   search
18.75	     run=1  nbConstraintChecks=20739180  nbAssignments=20000
18.75	       =>  wckTime=17.779  cpuTime=17.67  mem=12M402
27.68	   
27.68	   search
27.68	     run=2  nbConstraintChecks=31195161  nbAssignments=30000
27.68	       =>  wckTime=26.708  cpuTime=26.55  mem=12M402
34.60	   
34.60	   search
34.60	     run=3  nbConstraintChecks=39284398  nbAssignments=37785
34.60	       =>  wckTime=33.63  cpuTime=33.45  mem=12M402
34.60	   
34.60	   global
34.60	     nbConstraintChecks=39284398  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
34.60	     solvingWckTime=33.628  solvingCpuTime=33.45  expiredTime=no  totalExploration=no  nbFoundSolutions=0
34.60	     globalCpuTime=34.04
34.60	       =>  wckTime=34.291  cpuTime=33.98  mem=12M402
34.60	   
34.60	   solver IterativeSystematicSolver being built... 
34.74	       =>  wckTime=34.429  cpuTime=34.08  mem=23M318
34.81	   
34.81	   preprocessing
34.81	     nbConstraintChecks=12602  nbValidityChecks=32626  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
34.81	     nbRemovedValues=0  detectedInconsistency=no
34.81	       =>  wckTime=0.066  cpuTime=0.04  mem=23M318
34.97	   
34.97	   search
34.97	     run=0  nbConstraintChecks=79044  nbValidityChecks=417670  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
34.97	     nbAssignments=155  nbFailedAssignments=140  nbBacktracks=10  nbVisitedNodes=306  nbRestartNogoods=0
34.97	       =>  wckTime=0.226  cpuTime=0.19  mem=24M370
35.17	   
35.17	   search
35.17	     run=1  nbConstraintChecks=196731  nbValidityChecks=951411  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
35.17	     nbAssignments=324  nbFailedAssignments=286  nbBacktracks=26  nbVisitedNodes=637  nbRestartNogoods=15
35.17	       =>  wckTime=0.434  cpuTime=0.38  mem=24M370
35.33	   
35.33	   search
35.33	     run=2  nbConstraintChecks=295362  nbValidityChecks=1373539  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
35.33	     nbAssignments=459  nbFailedAssignments=393  nbBacktracks=48  nbVisitedNodes=894  nbRestartNogoods=43
35.33	       =>  wckTime=0.59  cpuTime=0.54  mem=24M370
35.54	   
35.54	   search
35.54	     run=3  nbConstraintChecks=412992  nbValidityChecks=1983957  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
35.54	     nbAssignments=732  nbFailedAssignments=627  nbBacktracks=81  nbVisitedNodes=1434  nbRestartNogoods=65
35.54	       =>  wckTime=0.802  cpuTime=0.74  mem=24M370
35.91	   
35.91	   search
35.91	     run=4  nbConstraintChecks=620482  nbValidityChecks=3008555  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
35.91	     nbAssignments=1129  nbFailedAssignments=967  nbBacktracks=131  nbVisitedNodes=2221  nbRestartNogoods=73
35.91	       =>  wckTime=1.167  cpuTime=1.1  mem=24M370
36.51	   
36.51	   search
36.51	     run=5  nbConstraintChecks=956433  nbValidityChecks=4754015  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
36.51	     nbAssignments=1717  nbFailedAssignments=1473  nbBacktracks=206  nbVisitedNodes=3389  nbRestartNogoods=100
36.51	       =>  wckTime=1.768  cpuTime=1.68  mem=24M370
37.24	   
37.24	   search
37.24	     run=6  nbConstraintChecks=1381077  nbValidityChecks=7066702  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
37.24	     nbAssignments=2484  nbFailedAssignments=2120  nbBacktracks=320  nbVisitedNodes=4917  nbRestartNogoods=136
37.24	       =>  wckTime=2.5  cpuTime=2.4  mem=24M370
38.31	   
38.31	   search
38.31	     run=7  nbConstraintChecks=2022796  nbValidityChecks=10350593  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
38.31	     nbAssignments=3650  nbFailedAssignments=3109  nbBacktracks=490  nbVisitedNodes=7240  nbRestartNogoods=144
38.31	       =>  wckTime=3.568  cpuTime=3.47  mem=24M370
40.38	   
40.38	   search
40.38	     run=8  nbConstraintChecks=3246234  nbValidityChecks=16926662  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
40.38	     nbAssignments=5879  nbFailedAssignments=5076  nbBacktracks=746  nbVisitedNodes=11689  nbRestartNogoods=163
40.38	       =>  wckTime=5.644  cpuTime=5.53  mem=24M370
43.23	   
43.23	   search
43.23	     run=9  nbConstraintChecks=4981086  nbValidityChecks=25774177  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
43.23	     nbAssignments=8928  nbFailedAssignments=7734  nbBacktracks=1130  nbVisitedNodes=17776  nbRestartNogoods=205
43.23	       =>  wckTime=8.488  cpuTime=8.36  mem=24M370
47.03	   
47.03	   search
47.03	     run=10  nbConstraintChecks=7235928  nbValidityChecks=37131510  nbPropagations=0  nbRevisions=0
47.03	     nbUselessRevisions=0  nbAssignments=13196  nbFailedAssignments=11419  nbBacktracks=1706  nbVisitedNodes=26298
47.03	     nbRestartNogoods=234
47.03	       =>  wckTime=12.288  cpuTime=12.13  mem=24M370
53.79	   
53.79	   search
53.79	     run=11  nbConstraintChecks=11272042  nbValidityChecks=57912448  nbPropagations=0  nbRevisions=0
53.79	     nbUselessRevisions=0  nbAssignments=19819  nbFailedAssignments=17172  nbBacktracks=2570  nbVisitedNodes=39497
53.79	     nbRestartNogoods=266
53.79	       =>  wckTime=19.048  cpuTime=18.86  mem=24M370
61.24	   
61.24	   search
61.24	     run=12  nbConstraintChecks=15679460  nbValidityChecks=80851608  nbPropagations=0  nbRevisions=0
61.24	     nbUselessRevisions=0  nbAssignments=27796  nbFailedAssignments=23845  nbBacktracks=3867  nbVisitedNodes=55388
61.24	     nbRestartNogoods=305
61.24	       =>  wckTime=26.499  cpuTime=26.27  mem=24M370
74.52	   
74.52	   search
74.52	     run=13  nbConstraintChecks=23579640  nbValidityChecks=121351069  nbPropagations=0  nbRevisions=0
74.52	     nbUselessRevisions=0  nbAssignments=41126  nbFailedAssignments=35222  nbBacktracks=5813  nbVisitedNodes=81942
74.52	     nbRestartNogoods=339
74.52	       =>  wckTime=39.785  cpuTime=39.5  mem=24M370
91.49	   
91.49	   search
91.49	     run=14  nbConstraintChecks=34418131  nbValidityChecks=170202949  nbPropagations=0  nbRevisions=0
91.49	     nbUselessRevisions=0  nbAssignments=56631  nbFailedAssignments=47802  nbBacktracks=8732  nbVisitedNodes=112723
91.49	     nbRestartNogoods=372
91.49	       =>  wckTime=56.753  cpuTime=56.38  mem=24M370
113.23	   
113.23	   search
113.23	     run=15  nbConstraintChecks=48254558  nbValidityChecks=240561974  nbPropagations=0  nbRevisions=0
113.23	     nbUselessRevisions=0  nbAssignments=78396  nbFailedAssignments=65184  nbBacktracks=13110  nbVisitedNodes=155941
113.23	     nbRestartNogoods=427
113.23	       =>  wckTime=78.488  cpuTime=78.08  mem=24M370
142.81	   
142.81	   search
142.81	     run=16  nbConstraintChecks=67789537  nbValidityChecks=331481932  nbPropagations=0  nbRevisions=0
142.81	     nbUselessRevisions=0  nbAssignments=106920  nbFailedAssignments=87135  nbBacktracks=19678  nbVisitedNodes=212376
142.81	     nbRestartNogoods=462
142.81	       =>  wckTime=108.072  cpuTime=107.62  mem=24M370
180.78	   
180.78	   search
180.78	     run=17  nbConstraintChecks=92643954  nbValidityChecks=449430703  nbPropagations=0  nbRevisions=0
180.78	     nbUselessRevisions=0  nbAssignments=141913  nbFailedAssignments=112270  nbBacktracks=29531  nbVisitedNodes=280999
180.78	     nbRestartNogoods=490
180.78	       =>  wckTime=146.042  cpuTime=145.56  mem=24M370
235.87	   
235.87	   search
235.87	     run=18  nbConstraintChecks=128042643  nbValidityChecks=622971051  nbPropagations=0  nbRevisions=0
235.87	     nbUselessRevisions=0  nbAssignments=195644  nbFailedAssignments=151219  nbBacktracks=44310  nbVisitedNodes=386471
235.87	     nbRestartNogoods=527
235.87	       =>  wckTime=201.132  cpuTime=200.59  mem=24M370
314.88	   
314.88	   search
314.88	     run=19  nbConstraintChecks=180317628  nbValidityChecks=856948967  nbPropagations=0  nbRevisions=0
314.88	     nbUselessRevisions=0  nbAssignments=264785  nbFailedAssignments=198185  nbBacktracks=66478  nbVisitedNodes=520200
314.88	     nbRestartNogoods=599
314.88	       =>  wckTime=280.137  cpuTime=279.51  mem=24M370
421.98	   
421.98	   search
421.98	     run=20  nbConstraintChecks=250947388  nbValidityChecks=1171597706  nbPropagations=0  nbRevisions=0
421.98	     nbUselessRevisions=0  nbAssignments=366491  nbFailedAssignments=266635  nbBacktracks=99730  nbVisitedNodes=714534
421.98	     nbRestartNogoods=626
421.98	       =>  wckTime=387.244  cpuTime=386.5  mem=24M370
585.27	   
585.27	   search
585.27	     run=21  nbConstraintChecks=359459524  nbValidityChecks=1649721870  nbPropagations=0  nbRevisions=0
585.27	     nbUselessRevisions=0  nbAssignments=517538  nbFailedAssignments=367798  nbBacktracks=149608  nbVisitedNodes=1008168
585.27	     nbRestartNogoods=644
585.27	       =>  wckTime=550.53  cpuTime=549.61  mem=24M370
819.10	   
819.10	   search
819.10	     run=22  nbConstraintChecks=514431858  nbValidityChecks=2336626185  nbPropagations=0  nbRevisions=0
819.10	     nbUselessRevisions=0  nbAssignments=742430  nbFailedAssignments=517864  nbBacktracks=224427  nbVisitedNodes=1438379
819.10	     nbRestartNogoods=676
819.10	       =>  wckTime=784.364  cpuTime=783.2  mem=24M370
1195.00	   
1195.00	   search
1195.00	     run=23  nbConstraintChecks=761303229  nbValidityChecks=3463016721  nbPropagations=0  nbRevisions=0
1195.00	     nbUselessRevisions=0  nbAssignments=1084813  nbFailedAssignments=748016  nbBacktracks=336654
1195.00	     nbVisitedNodes=2104916  nbRestartNogoods=707
1195.00	       =>  wckTime=1160.257  cpuTime=1158.68  mem=24M370
1695.29	   
1695.29	   search
1695.29	     run=24  nbConstraintChecks=1086910764  nbValidityChecks=4928567226  nbPropagations=0  nbRevisions=0
1695.29	     nbUselessRevisions=0  nbAssignments=1567986  nbFailedAssignments=1062841  nbBacktracks=504995
1695.29	     nbVisitedNodes=3031399  nbRestartNogoods=739
1695.29	       =>  wckTime=1660.554  cpuTime=1658.45  mem=24M370
1783.02	o 58
1783.02	c 1
2349.31	   
2349.31	   search
2349.31	     run=25  nbConstraintChecks=1503876464  nbValidityChecks=6730600498  nbPropagations=0  nbRevisions=0
2349.31	     nbUselessRevisions=0  nbAssignments=2213342  nbFailedAssignments=1455681  nbBacktracks=757506
2349.31	     nbVisitedNodes=4186289  nbRestartNogoods=770
2349.31	       =>  wckTime=2314.575  cpuTime=2311.75  mem=24M370
2403.02	v 0 3 12 18 11 0 15 0 3 2 14 0 16 6 16 5 14 14 2 7

Verifier Data (download as text)

1 unsatisfied constraints, 58 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/node38/watcher-275974-1169230086 -o ROOT/results/node38/solver-275974-1169230086 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275974-1169230086/unknown.xml 

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

/proc/loadavg: 2.01 2.03 1.93 4/73 15667
/proc/meminfo: memFree=1465656/2055920 swapFree=4192812/4192956
[pid=15666] ppid=15664 vsize=9948 CPUtime=0
/proc/15666/stat : 15666 (java) S 15664 15666 15140 0 -1 0 723 0 0 0 0 0 0 0 18 0 1 0 271408230 10186752 472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/15666/statm: 2955 510 421 14 0 1602 0

[startup+0.103549 s]
/proc/loadavg: 2.01 2.03 1.93 4/73 15667
/proc/meminfo: memFree=1465656/2055920 swapFree=4192812/4192956
[pid=15666] ppid=15664 vsize=914988 CPUtime=0.09
/proc/15666/stat : 15666 (java) S 15664 15666 15140 0 -1 0 2997 0 1 0 7 2 0 0 18 0 8 0 271408230 936947712 2743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15666/statm: 228747 2743 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.511628 s]
/proc/loadavg: 2.01 2.03 1.93 4/73 15667
/proc/meminfo: memFree=1465656/2055920 swapFree=4192812/4192956
[pid=15666] ppid=15664 vsize=915332 CPUtime=0.49
/proc/15666/stat : 15666 (java) R 15664 15666 15140 0 -1 0 7611 0 1 0 44 5 0 0 18 0 8 0 271408230 937299968 7350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073586354 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15666/statm: 228833 7350 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33379 s]
/proc/loadavg: 2.09 2.04 1.93 3/80 15674
/proc/meminfo: memFree=1407040/2055920 swapFree=4192812/4192956
[pid=15666] ppid=15664 vsize=915444 CPUtime=1.3
/proc/15666/stat : 15666 (java) R 15664 15666 15140 0 -1 0 17272 0 1 0 120 10 0 0 25 0 8 0 271408230 937414656 17010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073650356 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15666/statm: 228861 17010 2478 14 0 215331 0
[pid=15666/tid=15668] ppid=15664 vsize=915444 CPUtime=0.06
/proc/15666/task/15668/stat : 15668 (java) S 15664 15666 15140 0 -1 64 1843 0 0 0 6 0 0 0 16 0 8 0 271408234 937414656 17010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15669] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15669/stat : 15669 (java) S 15664 15666 15140 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271408234 937414656 17010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15670] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15670/stat : 15670 (java) S 15664 15666 15140 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271408234 937414656 17010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15671] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15671/stat : 15671 (java) S 15664 15666 15140 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271408237 937414656 17010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15672] ppid=15664 vsize=915444 CPUtime=0.1
/proc/15666/task/15672/stat : 15672 (java) S 15664 15666 15140 0 -1 64 320 0 0 0 10 0 0 0 16 0 8 0 271408237 937414656 17010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15673] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15673/stat : 15673 (java) S 15664 15666 15140 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271408237 937414656 17010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15674] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15674/stat : 15674 (java) S 15664 15666 15140 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271408237 937414656 17010 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) 915444

[startup+2.98511 s]
/proc/loadavg: 2.09 2.04 1.93 3/80 15674
/proc/meminfo: memFree=1407040/2055920 swapFree=4192812/4192956
[pid=15666] ppid=15664 vsize=915444 CPUtime=2.95
/proc/15666/stat : 15666 (java) R 15664 15666 15140 0 -1 0 17280 0 1 0 279 16 0 0 25 0 8 0 271408230 937414656 17017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073651374 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15666/statm: 228861 17017 2480 14 0 215331 0
[pid=15666/tid=15668] ppid=15664 vsize=915444 CPUtime=0.06
/proc/15666/task/15668/stat : 15668 (java) S 15664 15666 15140 0 -1 64 1843 0 0 0 6 0 0 0 16 0 8 0 271408234 937414656 17017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15669] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15669/stat : 15669 (java) S 15664 15666 15140 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271408234 937414656 17017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15670] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15670/stat : 15670 (java) S 15664 15666 15140 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271408234 937414656 17017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15671] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15671/stat : 15671 (java) S 15664 15666 15140 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271408237 937414656 17017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15672] ppid=15664 vsize=915444 CPUtime=0.11
/proc/15666/task/15672/stat : 15672 (java) S 15664 15666 15140 0 -1 64 327 0 0 0 11 0 0 0 15 0 8 0 271408237 937414656 17017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15673] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15673/stat : 15673 (java) S 15664 15666 15140 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271408237 937414656 17017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15674] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15674/stat : 15674 (java) S 15664 15666 15140 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271408237 937414656 17017 18446744073709551615 134512640 134570532 4294956464 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) 915444

[startup+6.26975 s]
/proc/loadavg: 2.08 2.04 1.93 3/80 15674
/proc/meminfo: memFree=1406976/2055920 swapFree=4192812/4192956
[pid=15666] ppid=15664 vsize=915444 CPUtime=6.22
/proc/15666/stat : 15666 (java) R 15664 15666 15140 0 -1 0 17280 0 1 0 589 33 0 0 25 0 8 0 271408230 937414656 17017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073650356 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15666/statm: 228861 17017 2480 14 0 215331 0
[pid=15666/tid=15668] ppid=15664 vsize=915444 CPUtime=0.06
/proc/15666/task/15668/stat : 15668 (java) S 15664 15666 15140 0 -1 64 1843 0 0 0 6 0 0 0 16 0 8 0 271408234 937414656 17017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15669] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15669/stat : 15669 (java) S 15664 15666 15140 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271408234 937414656 17017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15670] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15670/stat : 15670 (java) S 15664 15666 15140 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271408234 937414656 17017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15671] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15671/stat : 15671 (java) S 15664 15666 15140 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271408237 937414656 17017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15672] ppid=15664 vsize=915444 CPUtime=0.11
/proc/15666/task/15672/stat : 15672 (java) S 15664 15666 15140 0 -1 64 327 0 0 0 11 0 0 0 15 0 8 0 271408237 937414656 17017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15673] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15673/stat : 15673 (java) S 15664 15666 15140 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271408237 937414656 17017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15674] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15674/stat : 15674 (java) S 15664 15666 15140 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271408237 937414656 17017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915444

[startup+12.761 s]
/proc/loadavg: 2.08 2.04 1.93 3/80 15674
/proc/meminfo: memFree=1407184/2055920 swapFree=4192812/4192956
[pid=15666] ppid=15664 vsize=915444 CPUtime=12.68
/proc/15666/stat : 15666 (java) R 15664 15666 15140 0 -1 0 17282 0 1 0 1204 64 0 0 25 0 8 0 271408230 937414656 17019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073611710 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15666/statm: 228861 17019 2480 14 0 215331 0
[pid=15666/tid=15668] ppid=15664 vsize=915444 CPUtime=0.06
/proc/15666/task/15668/stat : 15668 (java) S 15664 15666 15140 0 -1 64 1843 0 0 0 6 0 0 0 16 0 8 0 271408234 937414656 17019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15669] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15669/stat : 15669 (java) S 15664 15666 15140 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271408234 937414656 17019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15670] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15670/stat : 15670 (java) S 15664 15666 15140 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271408234 937414656 17019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15671] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15671/stat : 15671 (java) S 15664 15666 15140 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271408237 937414656 17019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15672] ppid=15664 vsize=915444 CPUtime=0.11
/proc/15666/task/15672/stat : 15672 (java) S 15664 15666 15140 0 -1 64 329 0 0 0 11 0 0 0 16 0 8 0 271408237 937414656 17019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15673] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15673/stat : 15673 (java) S 15664 15666 15140 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271408237 937414656 17019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15674] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15674/stat : 15674 (java) S 15664 15666 15140 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271408237 937414656 17019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915444

[startup+25.6075 s]
/proc/loadavg: 2.06 2.04 1.93 3/80 15674
/proc/meminfo: memFree=1407248/2055920 swapFree=4192812/4192956
[pid=15666] ppid=15664 vsize=915444 CPUtime=25.46
/proc/15666/stat : 15666 (java) R 15664 15666 15140 0 -1 0 17282 0 1 0 2420 126 0 0 25 0 8 0 271408230 937414656 17019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8929273 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15666/statm: 228861 17019 2480 14 0 215331 0
[pid=15666/tid=15668] ppid=15664 vsize=915444 CPUtime=0.06
/proc/15666/task/15668/stat : 15668 (java) S 15664 15666 15140 0 -1 64 1843 0 0 0 6 0 0 0 16 0 8 0 271408234 937414656 17019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15669] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15669/stat : 15669 (java) S 15664 15666 15140 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271408234 937414656 17019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15670] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15670/stat : 15670 (java) S 15664 15666 15140 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271408234 937414656 17019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15671] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15671/stat : 15671 (java) S 15664 15666 15140 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271408237 937414656 17019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15672] ppid=15664 vsize=915444 CPUtime=0.11
/proc/15666/task/15672/stat : 15672 (java) S 15664 15666 15140 0 -1 64 329 0 0 0 11 0 0 0 16 0 8 0 271408237 937414656 17019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15673] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15673/stat : 15673 (java) S 15664 15666 15140 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271408237 937414656 17019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15674] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15674/stat : 15674 (java) S 15664 15666 15140 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271408237 937414656 17019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915444

[startup+51.2335 s]
/proc/loadavg: 2.04 2.03 1.93 3/80 15674
/proc/meminfo: memFree=1406864/2055920 swapFree=4192812/4192956
[pid=15666] ppid=15664 vsize=915444 CPUtime=50.96
/proc/15666/stat : 15666 (java) R 15664 15666 15140 0 -1 0 17451 0 1 0 4923 173 0 0 25 0 8 0 271408230 937414656 17184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804748 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15666/statm: 228861 17184 2535 14 0 215331 0
[pid=15666/tid=15668] ppid=15664 vsize=915444 CPUtime=0.06
/proc/15666/task/15668/stat : 15668 (java) S 15664 15666 15140 0 -1 64 1844 0 0 0 6 0 0 0 16 0 8 0 271408234 937414656 17184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15669] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15669/stat : 15669 (java) S 15664 15666 15140 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271408234 937414656 17184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15670] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15670/stat : 15670 (java) S 15664 15666 15140 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271408234 937414656 17184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15671] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15671/stat : 15671 (java) S 15664 15666 15140 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271408237 937414656 17184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15672] ppid=15664 vsize=915444 CPUtime=0.24
/proc/15666/task/15672/stat : 15672 (java) S 15664 15666 15140 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 271408237 937414656 17184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15673] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15673/stat : 15673 (java) S 15664 15666 15140 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271408237 937414656 17184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15674] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15674/stat : 15674 (java) S 15664 15666 15140 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271408237 937414656 17184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915444

[startup+102.478 s]
/proc/loadavg: 2.02 2.03 1.93 3/82 15755
/proc/meminfo: memFree=1401528/2055920 swapFree=4192812/4192956
[pid=15666] ppid=15664 vsize=915444 CPUtime=102
/proc/15666/stat : 15666 (java) R 15664 15666 15140 0 -1 0 17455 0 1 0 10025 175 0 0 25 0 8 0 271408230 937414656 17185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073780965 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15666/statm: 228861 17185 2535 14 0 215331 0
[pid=15666/tid=15668] ppid=15664 vsize=915444 CPUtime=0.06
/proc/15666/task/15668/stat : 15668 (java) S 15664 15666 15140 0 -1 64 1844 0 0 0 6 0 0 0 16 0 8 0 271408234 937414656 17185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15669] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15669/stat : 15669 (java) S 15664 15666 15140 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271408234 937414656 17185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15670] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15670/stat : 15670 (java) S 15664 15666 15140 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271408234 937414656 17185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15671] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15671/stat : 15671 (java) S 15664 15666 15140 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271408237 937414656 17185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15672] ppid=15664 vsize=915444 CPUtime=0.24
/proc/15666/task/15672/stat : 15672 (java) S 15664 15666 15140 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 271408237 937414656 17185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15673] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15673/stat : 15673 (java) S 15664 15666 15140 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271408237 937414656 17185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15674] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15674/stat : 15674 (java) S 15664 15666 15140 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271408237 937414656 17185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102
Current children cumulated vsize (KiB) 915444

[startup+162.575 s]
/proc/loadavg: 2.00 2.02 1.93 3/81 15756
/proc/meminfo: memFree=1398976/2055920 swapFree=4192812/4192956
[pid=15666] ppid=15664 vsize=915444 CPUtime=162.03
/proc/15666/stat : 15666 (java) R 15664 15666 15140 0 -1 0 17456 0 1 0 16028 175 0 0 25 0 8 0 271408230 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073776849 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+2085.1 s]
/proc/loadavg: 1.99 2.00 1.95 4/81 15848
/proc/meminfo: memFree=1401728/2055920 swapFree=4192812/4192956
[pid=15666] ppid=15664 vsize=915444 CPUtime=2082.5
/proc/15666/stat : 15666 (java) R 15664 15666 15140 0 -1 0 17457 0 1 0 208068 182 0 0 25 0 8 0 271408230 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073773032 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15666/statm: 228861 17186 2535 14 0 215331 0
[pid=15666/tid=15668] ppid=15664 vsize=915444 CPUtime=0.06
/proc/15666/task/15668/stat : 15668 (java) S 15664 15666 15140 0 -1 64 1844 0 0 0 6 0 0 0 16 0 8 0 271408234 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15666/tid=15669] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15669/stat : 15669 (java) S 15664 15666 15140 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271408234 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15670] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15670/stat : 15670 (java) S 15664 15666 15140 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271408234 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15671] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15671/stat : 15671 (java) S 15664 15666 15140 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271408237 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15672] ppid=15664 vsize=915444 CPUtime=0.24
/proc/15666/task/15672/stat : 15672 (java) S 15664 15666 15140 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 271408237 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15666/tid=15673] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15673/stat : 15673 (java) S 15664 15666 15140 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271408237 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15674] ppid=15664 vsize=915444 CPUtime=0.01
/proc/15666/task/15674/stat : 15674 (java) S 15664 15666 15140 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 271408237 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2082.5
Current children cumulated vsize (KiB) 915444

[startup+2145.14 s]
/proc/loadavg: 1.99 2.00 1.95 3/81 15848
/proc/meminfo: memFree=1401664/2055920 swapFree=4192812/4192956
[pid=15666] ppid=15664 vsize=915444 CPUtime=2142.48
/proc/15666/stat : 15666 (java) R 15664 15666 15140 0 -1 0 17457 0 1 0 214066 182 0 0 25 0 8 0 271408230 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073650343 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15666/statm: 228861 17186 2535 14 0 215331 0
[pid=15666/tid=15668] ppid=15664 vsize=915444 CPUtime=0.06
/proc/15666/task/15668/stat : 15668 (java) S 15664 15666 15140 0 -1 64 1844 0 0 0 6 0 0 0 16 0 8 0 271408234 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15666/tid=15669] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15669/stat : 15669 (java) S 15664 15666 15140 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271408234 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15670] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15670/stat : 15670 (java) S 15664 15666 15140 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271408234 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15671] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15671/stat : 15671 (java) S 15664 15666 15140 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271408237 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15672] ppid=15664 vsize=915444 CPUtime=0.24
/proc/15666/task/15672/stat : 15672 (java) S 15664 15666 15140 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 271408237 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15666/tid=15673] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15673/stat : 15673 (java) S 15664 15666 15140 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271408237 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15674] ppid=15664 vsize=915444 CPUtime=0.01
/proc/15666/task/15674/stat : 15674 (java) S 15664 15666 15140 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 271408237 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2142.48
Current children cumulated vsize (KiB) 915444

[startup+2205.19 s]
/proc/loadavg: 1.99 2.00 1.95 3/81 15848
/proc/meminfo: memFree=1401664/2055920 swapFree=4192812/4192956
[pid=15666] ppid=15664 vsize=915444 CPUtime=2202.46
/proc/15666/stat : 15666 (java) R 15664 15666 15140 0 -1 0 17457 0 1 0 220063 183 0 0 25 0 8 0 271408230 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073650356 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15666/statm: 228861 17186 2535 14 0 215331 0
[pid=15666/tid=15668] ppid=15664 vsize=915444 CPUtime=0.06
/proc/15666/task/15668/stat : 15668 (java) S 15664 15666 15140 0 -1 64 1844 0 0 0 6 0 0 0 16 0 8 0 271408234 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15666/tid=15669] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15669/stat : 15669 (java) S 15664 15666 15140 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271408234 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15670] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15670/stat : 15670 (java) S 15664 15666 15140 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271408234 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15671] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15671/stat : 15671 (java) S 15664 15666 15140 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271408237 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15672] ppid=15664 vsize=915444 CPUtime=0.24
/proc/15666/task/15672/stat : 15672 (java) S 15664 15666 15140 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 271408237 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15666/tid=15673] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15673/stat : 15673 (java) S 15664 15666 15140 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271408237 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15674] ppid=15664 vsize=915444 CPUtime=0.01
/proc/15666/task/15674/stat : 15674 (java) S 15664 15666 15140 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 271408237 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2202.46
Current children cumulated vsize (KiB) 915444

[startup+2265.24 s]
/proc/loadavg: 1.99 2.00 1.95 3/81 15848
/proc/meminfo: memFree=1401664/2055920 swapFree=4192812/4192956
[pid=15666] ppid=15664 vsize=915444 CPUtime=2262.44
/proc/15666/stat : 15666 (java) R 15664 15666 15140 0 -1 0 17457 0 1 0 226061 183 0 0 25 0 8 0 271408230 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336175 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15666/statm: 228861 17186 2535 14 0 215331 0
[pid=15666/tid=15668] ppid=15664 vsize=915444 CPUtime=0.06
/proc/15666/task/15668/stat : 15668 (java) S 15664 15666 15140 0 -1 64 1844 0 0 0 6 0 0 0 16 0 8 0 271408234 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15666/tid=15669] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15669/stat : 15669 (java) S 15664 15666 15140 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271408234 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15670] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15670/stat : 15670 (java) S 15664 15666 15140 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271408234 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15671] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15671/stat : 15671 (java) S 15664 15666 15140 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271408237 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15672] ppid=15664 vsize=915444 CPUtime=0.24
/proc/15666/task/15672/stat : 15672 (java) S 15664 15666 15140 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 271408237 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15666/tid=15673] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15673/stat : 15673 (java) S 15664 15666 15140 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271408237 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15674] ppid=15664 vsize=915444 CPUtime=0.01
/proc/15666/task/15674/stat : 15674 (java) S 15664 15666 15140 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 271408237 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2262.44
Current children cumulated vsize (KiB) 915444

[startup+2325.28 s]
/proc/loadavg: 1.99 2.00 1.95 3/81 15848
/proc/meminfo: memFree=1401728/2055920 swapFree=4192812/4192956
[pid=15666] ppid=15664 vsize=915444 CPUtime=2322.43
/proc/15666/stat : 15666 (java) R 15664 15666 15140 0 -1 0 17457 0 1 0 232060 183 0 0 25 0 8 0 271408230 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815984 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15666/statm: 228861 17186 2535 14 0 215331 0
[pid=15666/tid=15668] ppid=15664 vsize=915444 CPUtime=0.06
/proc/15666/task/15668/stat : 15668 (java) S 15664 15666 15140 0 -1 64 1844 0 0 0 6 0 0 0 16 0 8 0 271408234 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15666/tid=15669] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15669/stat : 15669 (java) S 15664 15666 15140 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271408234 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15670] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15670/stat : 15670 (java) S 15664 15666 15140 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271408234 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15671] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15671/stat : 15671 (java) S 15664 15666 15140 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271408237 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15672] ppid=15664 vsize=915444 CPUtime=0.24
/proc/15666/task/15672/stat : 15672 (java) S 15664 15666 15140 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 271408237 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15666/tid=15673] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15673/stat : 15673 (java) S 15664 15666 15140 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271408237 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15674] ppid=15664 vsize=915444 CPUtime=0.01
/proc/15666/task/15674/stat : 15674 (java) S 15664 15666 15140 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 271408237 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2322.43
Current children cumulated vsize (KiB) 915444

[startup+2385.33 s]
/proc/loadavg: 2.05 2.01 1.95 3/81 15848
/proc/meminfo: memFree=1401728/2055920 swapFree=4192812/4192956
[pid=15666] ppid=15664 vsize=915444 CPUtime=2382.4
/proc/15666/stat : 15666 (java) R 15664 15666 15140 0 -1 0 17457 0 1 0 238057 183 0 0 25 0 8 0 271408230 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073776919 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15666/statm: 228861 17186 2535 14 0 215331 0
[pid=15666/tid=15668] ppid=15664 vsize=915444 CPUtime=0.06
/proc/15666/task/15668/stat : 15668 (java) S 15664 15666 15140 0 -1 64 1844 0 0 0 6 0 0 0 16 0 8 0 271408234 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15666/tid=15669] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15669/stat : 15669 (java) S 15664 15666 15140 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271408234 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15670] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15670/stat : 15670 (java) S 15664 15666 15140 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271408234 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15671] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15671/stat : 15671 (java) S 15664 15666 15140 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271408237 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15672] ppid=15664 vsize=915444 CPUtime=0.24
/proc/15666/task/15672/stat : 15672 (java) S 15664 15666 15140 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 271408237 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15666/tid=15673] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15673/stat : 15673 (java) S 15664 15666 15140 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271408237 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15674] ppid=15664 vsize=915444 CPUtime=0.02
/proc/15666/task/15674/stat : 15674 (java) S 15664 15666 15140 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 271408237 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2382.4
Current children cumulated vsize (KiB) 915444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2403.01 s]
/proc/loadavg: 2.03 2.01 1.95 3/81 15848
/proc/meminfo: memFree=1401728/2055920 swapFree=4192812/4192956
[pid=15666] ppid=15664 vsize=915444 CPUtime=2400.07
/proc/15666/stat : 15666 (java) R 15664 15666 15140 0 -1 0 17457 0 1 0 239824 183 0 0 25 0 8 0 271408230 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809899 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15666/statm: 228861 17186 2535 14 0 215331 0
[pid=15666/tid=15668] ppid=15664 vsize=915444 CPUtime=0.06
/proc/15666/task/15668/stat : 15668 (java) S 15664 15666 15140 0 -1 64 1844 0 0 0 6 0 0 0 16 0 8 0 271408234 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15666/tid=15669] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15669/stat : 15669 (java) S 15664 15666 15140 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271408234 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15670] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15670/stat : 15670 (java) S 15664 15666 15140 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271408234 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15671] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15671/stat : 15671 (java) S 15664 15666 15140 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271408237 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15672] ppid=15664 vsize=915444 CPUtime=0.24
/proc/15666/task/15672/stat : 15672 (java) S 15664 15666 15140 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 271408237 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15666/tid=15673] ppid=15664 vsize=915444 CPUtime=0
/proc/15666/task/15673/stat : 15673 (java) S 15664 15666 15140 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271408237 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15666/tid=15674] ppid=15664 vsize=915444 CPUtime=0.02
/proc/15666/task/15674/stat : 15674 (java) S 15664 15666 15140 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 271408237 937414656 17186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 915444

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

Child status: 143
Real time (s): 2403.05
CPU time (s): 2400.12
CPU user time (s): 2398.27
CPU system time (s): 1.84372
CPU usage (%): 99.8777
Max. virtual memory (cumulated for all children) (KiB): 915448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.27
system time used= 1.84372
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17477
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= 49694
involuntary context switches= 14999

runsolver used 2.84857 s user time and 7.69783 s system time

The end

Launcher Data (download as text)

Begin job on node38 on Fri Jan 19 18:08:06 UTC 2007


IDJOB= 275974
IDBENCH= 5198
IDSOLVER= 68
FILE ID= node38/275974-1169230086

PBS_JOBID= 3589267

Free space on /tmp= 66560 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-33_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275974-1169230086/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node38/watcher-275974-1169230086 -o ROOT/results/node38/solver-275974-1169230086 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275974-1169230086/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  bc93713de166b1eb8718a7b2d6ead437

RANDOM SEED= 253661294

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.267
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.267
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1466136 kB
Buffers:         44852 kB
Cached:         448012 kB
SwapCached:          0 kB
Active:         151076 kB
Inactive:       364220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1466136 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2912 kB
Writeback:           0 kB
Mapped:          34068 kB
Slab:            59976 kB
Committed_AS:  5107288 kB
PageTables:       1808 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66559 MiB



End job on node38 on Fri Jan 19 18:48:09 UTC 2007