Trace number 278318

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 PFCMSAT (TO) 2400.1 2403.99

General information on the benchmark

NameMaxCSP/cnf/3-40-2100-3000/
cnf-3-40-2600-873121_ext.xml
MD5SUM1b8072ed34ab74d9c0e3089fed88ba6c
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints2060
Best CPU time to get the best result obtained on this benchmark369.139
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints2281
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension2281
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=pfc.xml
0.34	   
0.35	   instance
0.35	     name=/tmp/evaluation/278318-1169286864/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.41	     nbVariables=40  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.41	       =>  wckTime=0.092  cpuTime=0.09  mem=6M910
0.41	   
0.41	   relations being loaded...
0.43	   
0.43	   constraints being loaded...
0.68	     nbConstraints=2281  nbRelationTypes=50  nbExtensionStructures=50  nbSharedExtensionStructures=2231
0.68	     nbConflictsStructures=50  nbSharedConflictsStructures=2231  nbSharedBinaryRepresentations=0  maxDegree=196
0.68	     maxArity=3
0.68	       =>  wckTime=0.37  cpuTime=0.23  mem=13M736
0.74	   
0.74	   solver LocalSearchSolver being built... 
0.78	       =>  wckTime=0.467  cpuTime=0.28  mem=6M571
0.79	
0.79	s SATISFIABLE
0.79	o 1979
0.79	c 302
0.79	o 1992
0.79	c 289
0.79	o 1993
0.79	c 288
0.79	o 1994
0.79	c 287
0.79	o 2001
0.79	c 280
0.80	o 2005
0.80	c 276
0.80	o 2011
0.80	c 270
0.80	o 2015
0.80	c 266
0.80	o 2023
0.80	c 258
0.80	o 2027
0.80	c 254
0.80	o 2030
0.80	c 251
0.81	o 2031
0.81	c 250
0.81	o 2036
0.81	c 245
0.81	o 2038
0.81	c 243
0.81	o 2044
0.81	c 237
0.96	o 2047
0.96	c 234
0.96	o 2049
0.96	c 232
0.96	o 2053
0.96	c 228
1.31	o 2054
1.31	c 227
1.57	o 2055
1.57	c 226
2.32	o 2058
2.32	c 223
7.96	o 2059
7.96	c 222
9.35	   
9.35	   search
9.35	     run=0  nbConstraintChecks=51150492  nbAssignments=10000
9.35	       =>  wckTime=8.567  cpuTime=8.5  mem=6M571
17.95	   
17.95	   search
17.95	     run=1  nbConstraintChecks=103848328  nbAssignments=20000
17.95	       =>  wckTime=17.172  cpuTime=17.06  mem=6M571
26.30	   
26.30	   search
26.30	     run=2  nbConstraintChecks=155028437  nbAssignments=30000
26.30	       =>  wckTime=25.52  cpuTime=25.36  mem=6M571
34.86	   
34.86	   search
34.86	     run=3  nbConstraintChecks=207677540  nbAssignments=40000
34.86	       =>  wckTime=34.085  cpuTime=33.89  mem=6M571
38.10	   
38.10	   search
38.10	     run=4  nbConstraintChecks=227317466  nbAssignments=43975
38.10	       =>  wckTime=37.32  cpuTime=37.12  mem=6M571
38.10	   
38.10	   global
38.10	     nbConstraintChecks=227317466  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
38.10	     solvingWckTime=37.319  solvingCpuTime=37.12  expiredTime=no  totalExploration=no  nbFoundSolutions=0
38.10	     globalCpuTime=37.44
38.10	       =>  wckTime=37.788  cpuTime=37.4  mem=6M571
38.10	   
38.10	   solver IterativeSystematicSolver being built... 
38.30	       =>  wckTime=37.991  cpuTime=37.56  mem=29M198
38.33	   
38.33	   preprocessing
38.33	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
38.33	     detectedInconsistency=no
38.33	       =>  wckTime=0.022  cpuTime=0.02  mem=29M198
38.51	   
38.51	   search
38.51	     run=0  nbConstraintChecks=48631  nbValidityChecks=101319  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
38.51	     nbAssignments=42  nbFailedAssignments=6  nbBacktracks=11  nbVisitedNodes=60  nbRestartNogoods=0
38.51	       =>  wckTime=0.202  cpuTime=0.17  mem=30M173
38.71	   
38.71	   search
38.71	     run=1  nbConstraintChecks=109694  nbValidityChecks=261209  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
38.71	     nbAssignments=94  nbFailedAssignments=17  nbBacktracks=27  nbVisitedNodes=139  nbRestartNogoods=2
38.71	       =>  wckTime=0.407  cpuTime=0.36  mem=30M173
38.95	   
38.95	   search
38.95	     run=2  nbConstraintChecks=192343  nbValidityChecks=485618  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
38.95	     nbAssignments=157  nbFailedAssignments=34  nbBacktracks=50  nbVisitedNodes=242  nbRestartNogoods=4
38.95	       =>  wckTime=0.648  cpuTime=0.59  mem=30M173
39.26	   
39.26	   search
39.26	     run=3  nbConstraintChecks=313893  nbValidityChecks=799886  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
39.26	     nbAssignments=237  nbFailedAssignments=58  nbBacktracks=83  nbVisitedNodes=379  nbRestartNogoods=7
39.26	       =>  wckTime=0.957  cpuTime=0.9  mem=30M173
39.75	   
39.75	   search
39.75	     run=4  nbConstraintChecks=498594  nbValidityChecks=1307753  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
39.75	     nbAssignments=352  nbFailedAssignments=99  nbBacktracks=134  nbVisitedNodes=586  nbRestartNogoods=10
39.75	       =>  wckTime=1.442  cpuTime=1.38  mem=30M173
40.47	   
40.47	   search
40.47	     run=5  nbConstraintChecks=771119  nbValidityChecks=2101896  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
40.47	     nbAssignments=515  nbFailedAssignments=165  nbBacktracks=209  nbVisitedNodes=890  nbRestartNogoods=13
40.47	       =>  wckTime=2.163  cpuTime=2.09  mem=30M173
41.41	   
41.41	   search
41.41	     run=6  nbConstraintChecks=1146400  nbValidityChecks=3154245  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
41.41	     nbAssignments=727  nbFailedAssignments=242  nbBacktracks=322  nbVisitedNodes=1292  nbRestartNogoods=17
41.41	       =>  wckTime=3.104  cpuTime=3.02  mem=30M173
42.82	   
42.82	   search
42.82	     run=7  nbConstraintChecks=1699946  nbValidityChecks=4733297  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
42.82	     nbAssignments=1037  nbFailedAssignments=362  nbBacktracks=492  nbVisitedNodes=1892  nbRestartNogoods=22
42.82	       =>  wckTime=4.513  cpuTime=4.42  mem=30M173
45.22	   
45.23	   search
45.23	     run=8  nbConstraintChecks=2541176  nbValidityChecks=7370805  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
45.23	     nbAssignments=1533  nbFailedAssignments=584  nbBacktracks=748  nbVisitedNodes=2866  nbRestartNogoods=24
45.23	       =>  wckTime=6.921  cpuTime=6.8  mem=30M173
48.70	   
48.70	   search
48.70	     run=9  nbConstraintChecks=3763060  nbValidityChecks=11187564  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
48.70	     nbAssignments=2238  nbFailedAssignments=882  nbBacktracks=1132  nbVisitedNodes=4253  nbRestartNogoods=29
48.70	       =>  wckTime=10.395  cpuTime=10.24  mem=30M173
53.70	   
53.70	   search
53.70	     run=10  nbConstraintChecks=5524092  nbValidityChecks=16810338  nbPropagations=0  nbRevisions=0
53.70	     nbUselessRevisions=0  nbAssignments=3257  nbFailedAssignments=1305  nbBacktracks=1708  nbVisitedNodes=6271
53.70	     nbRestartNogoods=31
53.70	       =>  wckTime=15.396  cpuTime=15.22  mem=30M173
61.78	   
61.78	   search
61.78	     run=11  nbConstraintChecks=8274269  nbValidityChecks=25613030  nbPropagations=0  nbRevisions=0
61.78	     nbUselessRevisions=0  nbAssignments=4844  nbFailedAssignments=2009  nbBacktracks=2572  nbVisitedNodes=9426
61.78	     nbRestartNogoods=33
61.78	       =>  wckTime=23.472  cpuTime=23.25  mem=30M173
73.53	   
73.53	   search
73.53	     run=12  nbConstraintChecks=12181684  nbValidityChecks=38537247  nbPropagations=0  nbRevisions=0
73.53	     nbUselessRevisions=0  nbAssignments=7146  nbFailedAssignments=2997  nbBacktracks=3869  nbVisitedNodes=14013
73.53	     nbRestartNogoods=39
73.53	       =>  wckTime=35.227  cpuTime=34.95  mem=30M173
91.03	   
91.03	   search
91.03	     run=13  nbConstraintChecks=17871150  nbValidityChecks=57501440  nbPropagations=0  nbRevisions=0
91.03	     nbUselessRevisions=0  nbAssignments=10527  nbFailedAssignments=4410  nbBacktracks=5815  nbVisitedNodes=20753
91.03	     nbRestartNogoods=45
91.03	       =>  wckTime=52.729  cpuTime=52.37  mem=30M173
118.61	   
118.61	   search
118.61	     run=14  nbConstraintChecks=26903973  nbValidityChecks=88016655  nbPropagations=0  nbRevisions=0
118.61	     nbUselessRevisions=0  nbAssignments=15879  nbFailedAssignments=6824  nbBacktracks=8734  nbVisitedNodes=31438
118.61	     nbRestartNogoods=48
118.61	       =>  wckTime=80.309  cpuTime=79.81  mem=30M173
157.89	   
157.89	   search
157.89	     run=15  nbConstraintChecks=39796909  nbValidityChecks=132441894  nbPropagations=0  nbRevisions=0
157.89	     nbUselessRevisions=0  nbAssignments=23716  nbFailedAssignments=10265  nbBacktracks=13113  nbVisitedNodes=47095
157.89	     nbRestartNogoods=55
157.89	       =>  wckTime=119.582  cpuTime=118.9  mem=30M173
216.48	   
216.48	   search
216.48	     run=16  nbConstraintChecks=59058945  nbValidityChecks=200390211  nbPropagations=0  nbRevisions=0
216.48	     nbUselessRevisions=0  nbAssignments=35395  nbFailedAssignments=15357  nbBacktracks=19681  nbVisitedNodes=70434
216.48	     nbRestartNogoods=64
216.48	       =>  wckTime=178.177  cpuTime=177.22  mem=30M173
306.12	   
306.12	   search
306.12	     run=17  nbConstraintChecks=89147315  nbValidityChecks=304094254  nbPropagations=0  nbRevisions=0
306.12	     nbUselessRevisions=0  nbAssignments=52987  nbFailedAssignments=23074  nbBacktracks=29534  nbVisitedNodes=105596
306.12	     nbRestartNogoods=70
306.12	       =>  wckTime=267.817  cpuTime=266.44  mem=30M173
438.88	   
438.88	   search
438.88	     run=18  nbConstraintChecks=132384441  nbValidityChecks=458092259  nbPropagations=0  nbRevisions=0
438.88	     nbUselessRevisions=0  nbAssignments=79241  nbFailedAssignments=34529  nbBacktracks=44313  nbVisitedNodes=158084
438.88	     nbRestartNogoods=74
438.88	       =>  wckTime=400.577  cpuTime=398.49  mem=30M173
642.41	   
642.41	   search
642.41	     run=19  nbConstraintChecks=195619876  nbValidityChecks=690998777  nbPropagations=0  nbRevisions=0
642.41	     nbUselessRevisions=0  nbAssignments=118922  nbFailedAssignments=52024  nbBacktracks=66482  nbVisitedNodes=237429
642.41	     nbRestartNogoods=81
642.41	       =>  wckTime=604.11  cpuTime=601.52  mem=30M173
950.88	   
950.88	   search
950.88	     run=20  nbConstraintChecks=287044421  nbValidityChecks=1038378735  nbPropagations=0  nbRevisions=0
950.88	     nbUselessRevisions=0  nbAssignments=178256  nbFailedAssignments=78089  nbBacktracks=99734  nbVisitedNodes=356033
950.88	     nbRestartNogoods=87
950.88	       =>  wckTime=912.58  cpuTime=909.67  mem=30M173
1411.77	   
1411.77	   search
1411.77	     run=21  nbConstraintChecks=428546735  nbValidityChecks=1551276157  nbPropagations=0  nbRevisions=0
1411.77	     nbUselessRevisions=0  nbAssignments=269263  nbFailedAssignments=119198  nbBacktracks=149614  nbVisitedNodes=537902
1411.77	     nbRestartNogoods=96
1411.77	       =>  wckTime=1373.463  cpuTime=1370.18  mem=30M173
2056.45	   
2056.45	   search
2056.45	     run=22  nbConstraintChecks=658070099  nbValidityChecks=2292253296  nbPropagations=0  nbRevisions=0
2056.45	     nbUselessRevisions=0  nbAssignments=404444  nbFailedAssignments=179541  nbBacktracks=224432  nbVisitedNodes=807932
2056.45	     nbRestartNogoods=102
2056.45	       =>  wckTime=2018.149  cpuTime=2014.66  mem=30M173
2403.92	v 0 1 1 1 0 1 1 1 0 0 1 1 1 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 1 1 0 1 1 1 1 1 0 1 1 0

Verifier Data (download as text)

222 unsatisfied constraints, 2059 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/node17/watcher-278318-1169286864 -o ROOT/results/node17/solver-278318-1169286864 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278318-1169286864/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.00 2.00 1.84 4/87 18636
/proc/meminfo: memFree=1351576/2055920 swapFree=4192812/4192956
[pid=18635] ppid=18633 vsize=907676 CPUtime=0.02
/proc/18635/stat : 18635 (java) S 18633 18635 17988 0 -1 0 2171 0 1 0 2 0 0 0 19 0 4 0 277081184 929460224 1920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/18635/statm: 226919 1920 1089 14 0 214502 0
[pid=18635/tid=18637] ppid=18633 vsize=907676 CPUtime=0
/proc/18635/task/18637/stat : 18637 (java) S 18633 18635 17988 0 -1 64 6 0 0 0 0 0 0 0 19 0 4 0 277081187 929460224 1920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[pid=18635/tid=18638] ppid=18633 vsize=907676 CPUtime=0
/proc/18635/task/18638/stat : 18638 (java) S 18633 18635 17988 0 -1 64 10 0 0 0 0 0 0 0 19 0 4 0 277081188 929460224 1920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 0 0 0 -1 1 0 0
[pid=18635/tid=18639] ppid=18633 vsize=907676 CPUtime=0
/proc/18635/task/18639/stat : 18639 (java) R 18633 18635 17988 0 -1 64 0 0 0 0 0 0 0 0 20 0 4 0 277081188 929460224 1920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 3706840 0 4 0 7368 0 0 0 -1 1 0 0

[startup+0.102628 s]
/proc/loadavg: 2.00 2.00 1.84 4/87 18636
/proc/meminfo: memFree=1351576/2055920 swapFree=4192812/4192956
[pid=18635] ppid=18633 vsize=914988 CPUtime=0.08
/proc/18635/stat : 18635 (java) R 18633 18635 17988 0 -1 0 2980 0 1 0 7 1 0 0 17 0 8 0 277081184 936947712 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155717508 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18635/statm: 228747 2726 1423 14 0 215242 0
[pid=18635/tid=18637] ppid=18633 vsize=914988 CPUtime=0
/proc/18635/task/18637/stat : 18637 (java) S 18633 18635 17988 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 277081187 936947712 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18638] ppid=18633 vsize=914988 CPUtime=0
/proc/18635/task/18638/stat : 18638 (java) S 18633 18635 17988 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 277081188 936947712 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18639] ppid=18633 vsize=914988 CPUtime=0
/proc/18635/task/18639/stat : 18639 (java) S 18633 18635 17988 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 277081188 936947712 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.514667 s]
/proc/loadavg: 2.00 2.00 1.84 4/87 18636
/proc/meminfo: memFree=1351576/2055920 swapFree=4192812/4192956
[pid=18635] ppid=18633 vsize=915332 CPUtime=0.49
/proc/18635/stat : 18635 (java) R 18633 18635 17988 0 -1 0 6332 0 1 0 45 4 0 0 18 0 8 0 277081184 937299968 6071 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073582116 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18635/statm: 228833 6071 2139 14 0 215303 0
[pid=18635/tid=18637] ppid=18633 vsize=915332 CPUtime=0
/proc/18635/task/18637/stat : 18637 (java) S 18633 18635 17988 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 277081187 937299968 6071 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18638] ppid=18633 vsize=915332 CPUtime=0
/proc/18635/task/18638/stat : 18638 (java) S 18633 18635 17988 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 277081188 937299968 6071 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18639] ppid=18633 vsize=915332 CPUtime=0
/proc/18635/task/18639/stat : 18639 (java) S 18633 18635 17988 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 277081188 937299968 6071 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.34376 s]
/proc/loadavg: 2.00 2.00 1.84 3/94 18643
/proc/meminfo: memFree=1327840/2055920 swapFree=4192812/4192956
[pid=18635] ppid=18633 vsize=915448 CPUtime=1.31
/proc/18635/stat : 18635 (java) R 18633 18635 17988 0 -1 0 8596 0 1 0 122 9 0 0 25 0 8 0 277081184 937418752 8334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18635/statm: 228862 8334 2474 14 0 215332 0
[pid=18635/tid=18637] ppid=18633 vsize=915448 CPUtime=0.04
/proc/18635/task/18637/stat : 18637 (java) S 18633 18635 17988 0 -1 64 416 0 0 0 4 0 0 0 16 0 8 0 277081187 937418752 8334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18638] ppid=18633 vsize=915448 CPUtime=0
/proc/18635/task/18638/stat : 18638 (java) S 18633 18635 17988 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277081188 937418752 8334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18639] ppid=18633 vsize=915448 CPUtime=0
/proc/18635/task/18639/stat : 18639 (java) S 18633 18635 17988 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277081188 937418752 8334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18640] ppid=18633 vsize=915448 CPUtime=0
/proc/18635/task/18640/stat : 18640 (java) S 18633 18635 17988 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277081191 937418752 8334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18641] ppid=18633 vsize=915448 CPUtime=0.19
/proc/18635/task/18641/stat : 18641 (java) S 18633 18635 17988 0 -1 64 368 0 0 0 18 1 0 0 16 0 8 0 277081191 937418752 8334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18642] ppid=18633 vsize=915448 CPUtime=0
/proc/18635/task/18642/stat : 18642 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277081191 937418752 8334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18643] ppid=18633 vsize=915448 CPUtime=0
/proc/18635/task/18643/stat : 18643 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277081191 937418752 8334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915448

[startup+2.99392 s]
/proc/loadavg: 2.00 2.00 1.84 3/94 18643
/proc/meminfo: memFree=1327840/2055920 swapFree=4192812/4192956
[pid=18635] ppid=18633 vsize=915444 CPUtime=2.96
/proc/18635/stat : 18635 (java) R 18633 18635 17988 0 -1 0 8603 0 1 0 278 18 0 0 25 0 8 0 277081184 937414656 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817908 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18635/statm: 228861 8340 2476 14 0 215331 0
[pid=18635/tid=18637] ppid=18633 vsize=915444 CPUtime=0.04
/proc/18635/task/18637/stat : 18637 (java) S 18633 18635 17988 0 -1 64 416 0 0 0 4 0 0 0 16 0 8 0 277081187 937414656 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18638] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18638/stat : 18638 (java) S 18633 18635 17988 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277081188 937414656 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18639] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18639/stat : 18639 (java) S 18633 18635 17988 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277081188 937414656 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18640] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18640/stat : 18640 (java) S 18633 18635 17988 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277081191 937414656 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18641] ppid=18633 vsize=915444 CPUtime=0.2
/proc/18635/task/18641/stat : 18641 (java) S 18633 18635 17988 0 -1 64 374 0 0 0 19 1 0 0 16 0 8 0 277081191 937414656 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18642] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18642/stat : 18642 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277081191 937414656 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18643] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18643/stat : 18643 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277081191 937414656 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915444

[startup+6.27326 s]
/proc/loadavg: 2.00 2.00 1.84 3/94 18643
/proc/meminfo: memFree=1327848/2055920 swapFree=4192812/4192956
[pid=18635] ppid=18633 vsize=915444 CPUtime=6.21
/proc/18635/stat : 18635 (java) R 18633 18635 17988 0 -1 0 8603 0 1 0 587 34 0 0 25 0 8 0 277081184 937414656 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817908 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18635/statm: 228861 8340 2476 14 0 215331 0
[pid=18635/tid=18637] ppid=18633 vsize=915444 CPUtime=0.04
/proc/18635/task/18637/stat : 18637 (java) S 18633 18635 17988 0 -1 64 416 0 0 0 4 0 0 0 16 0 8 0 277081187 937414656 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18638] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18638/stat : 18638 (java) S 18633 18635 17988 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277081188 937414656 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18639] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18639/stat : 18639 (java) S 18633 18635 17988 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277081188 937414656 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18640] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18640/stat : 18640 (java) S 18633 18635 17988 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277081191 937414656 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18641] ppid=18633 vsize=915444 CPUtime=0.2
/proc/18635/task/18641/stat : 18641 (java) S 18633 18635 17988 0 -1 64 374 0 0 0 19 1 0 0 16 0 8 0 277081191 937414656 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18642] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18642/stat : 18642 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277081191 937414656 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18643] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18643/stat : 18643 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277081191 937414656 8340 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915444

[startup+12.7629 s]
/proc/loadavg: 2.00 2.00 1.84 3/94 18643
/proc/meminfo: memFree=1327784/2055920 swapFree=4192812/4192956
[pid=18635] ppid=18633 vsize=915444 CPUtime=12.68
/proc/18635/stat : 18635 (java) R 18633 18635 17988 0 -1 0 8607 0 1 0 1202 66 0 0 25 0 8 0 277081184 937414656 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817958 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18635/statm: 228861 8344 2476 14 0 215331 0
[pid=18635/tid=18637] ppid=18633 vsize=915444 CPUtime=0.04
/proc/18635/task/18637/stat : 18637 (java) S 18633 18635 17988 0 -1 64 416 0 0 0 4 0 0 0 16 0 8 0 277081187 937414656 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18638] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18638/stat : 18638 (java) S 18633 18635 17988 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277081188 937414656 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18639] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18639/stat : 18639 (java) S 18633 18635 17988 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277081188 937414656 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18640] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18640/stat : 18640 (java) S 18633 18635 17988 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277081191 937414656 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18641] ppid=18633 vsize=915444 CPUtime=0.2
/proc/18635/task/18641/stat : 18641 (java) S 18633 18635 17988 0 -1 64 377 0 0 0 19 1 0 0 17 0 8 0 277081191 937414656 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18642] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18642/stat : 18642 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277081191 937414656 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18643] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18643/stat : 18643 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277081191 937414656 8344 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.6083 s]
/proc/loadavg: 2.00 2.00 1.84 3/94 18643
/proc/meminfo: memFree=1327784/2055920 swapFree=4192812/4192956
[pid=18635] ppid=18633 vsize=915444 CPUtime=25.46
/proc/18635/stat : 18635 (java) R 18633 18635 17988 0 -1 0 8607 0 1 0 2412 134 0 0 25 0 8 0 277081184 937414656 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821187 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18635/statm: 228861 8344 2476 14 0 215331 0
[pid=18635/tid=18637] ppid=18633 vsize=915444 CPUtime=0.04
/proc/18635/task/18637/stat : 18637 (java) S 18633 18635 17988 0 -1 64 416 0 0 0 4 0 0 0 16 0 8 0 277081187 937414656 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18638] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18638/stat : 18638 (java) S 18633 18635 17988 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277081188 937414656 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18639] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18639/stat : 18639 (java) S 18633 18635 17988 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277081188 937414656 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18640] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18640/stat : 18640 (java) S 18633 18635 17988 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277081191 937414656 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18641] ppid=18633 vsize=915444 CPUtime=0.2
/proc/18635/task/18641/stat : 18641 (java) S 18633 18635 17988 0 -1 64 377 0 0 0 19 1 0 0 17 0 8 0 277081191 937414656 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18642] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18642/stat : 18642 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277081191 937414656 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18643] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18643/stat : 18643 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277081191 937414656 8344 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.238 s]
/proc/loadavg: 2.00 2.00 1.84 3/94 18643
/proc/meminfo: memFree=1312936/2055920 swapFree=4192812/4192956
[pid=18635] ppid=18633 vsize=915444 CPUtime=50.96
/proc/18635/stat : 18635 (java) R 18633 18635 17988 0 -1 0 12399 0 1 0 4897 199 0 0 25 0 8 0 277081184 937414656 12127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073734487 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18635/statm: 228861 12127 2530 14 0 215331 0
[pid=18635/tid=18637] ppid=18633 vsize=915444 CPUtime=0.04
/proc/18635/task/18637/stat : 18637 (java) S 18633 18635 17988 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 277081187 937414656 12127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18638] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18638/stat : 18638 (java) S 18633 18635 17988 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277081188 937414656 12127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18639] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18639/stat : 18639 (java) S 18633 18635 17988 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277081188 937414656 12127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18640] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18640/stat : 18640 (java) S 18633 18635 17988 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277081191 937414656 12127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18641] ppid=18633 vsize=915444 CPUtime=0.33
/proc/18635/task/18641/stat : 18641 (java) S 18633 18635 17988 0 -1 64 445 0 0 0 32 1 0 0 16 0 8 0 277081191 937414656 12127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18642] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18642/stat : 18642 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277081191 937414656 12127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18643] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18643/stat : 18643 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277081191 937414656 12127 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.501 s]
/proc/loadavg: 2.12 2.03 1.86 3/94 18643
/proc/meminfo: memFree=1312872/2055920 swapFree=4192812/4192956
[pid=18635] ppid=18633 vsize=915444 CPUtime=101.99
/proc/18635/stat : 18635 (java) R 18633 18635 17988 0 -1 0 12411 0 1 0 9999 200 0 0 25 0 8 0 277081184 937414656 12139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073973168 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18635/statm: 228861 12139 2530 14 0 215331 0
[pid=18635/tid=18637] ppid=18633 vsize=915444 CPUtime=0.04
/proc/18635/task/18637/stat : 18637 (java) S 18633 18635 17988 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 277081187 937414656 12139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18638] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18638/stat : 18638 (java) S 18633 18635 17988 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277081188 937414656 12139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0

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

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

[startup+2084.15 s]
/proc/loadavg: 1.00 1.06 1.37 2/88 19121
/proc/meminfo: memFree=1328800/2055920 swapFree=4192812/4192956
[pid=18635] ppid=18633 vsize=915444 CPUtime=2080.54
/proc/18635/stat : 18635 (java) R 18633 18635 17988 0 -1 0 12436 0 1 0 207831 223 0 0 25 0 8 0 277081184 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074014165 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18635/statm: 228861 12164 2530 14 0 215331 0
[pid=18635/tid=18637] ppid=18633 vsize=915444 CPUtime=0.04
/proc/18635/task/18637/stat : 18637 (java) S 18633 18635 17988 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 277081187 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18638] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18638/stat : 18638 (java) S 18633 18635 17988 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277081188 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18639] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18639/stat : 18639 (java) S 18633 18635 17988 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277081188 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18640] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18640/stat : 18640 (java) S 18633 18635 17988 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18641] ppid=18633 vsize=915444 CPUtime=0.34
/proc/18635/task/18641/stat : 18641 (java) S 18633 18635 17988 0 -1 64 449 0 0 0 33 1 0 0 16 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18635/tid=18642] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18642/stat : 18642 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18643] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18643/stat : 18643 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2080.54
Current children cumulated vsize (KiB) 915444

[startup+2144.19 s]
/proc/loadavg: 1.32 1.13 1.37 3/95 19208
/proc/meminfo: memFree=1325416/2055920 swapFree=4192812/4192956
[pid=18635] ppid=18633 vsize=915444 CPUtime=2140.55
/proc/18635/stat : 18635 (java) R 18633 18635 17988 0 -1 0 12436 0 1 0 213831 224 0 0 25 0 8 0 277081184 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835847 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18635/statm: 228861 12164 2530 14 0 215331 0
[pid=18635/tid=18637] ppid=18633 vsize=915444 CPUtime=0.04
/proc/18635/task/18637/stat : 18637 (java) S 18633 18635 17988 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 277081187 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18638] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18638/stat : 18638 (java) S 18633 18635 17988 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277081188 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18639] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18639/stat : 18639 (java) S 18633 18635 17988 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277081188 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18640] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18640/stat : 18640 (java) S 18633 18635 17988 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18641] ppid=18633 vsize=915444 CPUtime=0.34
/proc/18635/task/18641/stat : 18641 (java) S 18633 18635 17988 0 -1 64 449 0 0 0 33 1 0 0 16 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18635/tid=18642] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18642/stat : 18642 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18643] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18643/stat : 18643 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2140.55
Current children cumulated vsize (KiB) 915444

[startup+2204.24 s]
/proc/loadavg: 1.20 1.12 1.35 2/88 19305
/proc/meminfo: memFree=1327200/2055920 swapFree=4192812/4192956
[pid=18635] ppid=18633 vsize=915444 CPUtime=2200.54
/proc/18635/stat : 18635 (java) R 18633 18635 17988 0 -1 0 12436 0 1 0 219828 226 0 0 25 0 8 0 277081184 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073956943 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18635/statm: 228861 12164 2530 14 0 215331 0
[pid=18635/tid=18637] ppid=18633 vsize=915444 CPUtime=0.04
/proc/18635/task/18637/stat : 18637 (java) S 18633 18635 17988 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 277081187 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18638] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18638/stat : 18638 (java) S 18633 18635 17988 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277081188 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18639] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18639/stat : 18639 (java) S 18633 18635 17988 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277081188 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18640] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18640/stat : 18640 (java) S 18633 18635 17988 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18641] ppid=18633 vsize=915444 CPUtime=0.34
/proc/18635/task/18641/stat : 18641 (java) S 18633 18635 17988 0 -1 64 449 0 0 0 33 1 0 0 16 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18635/tid=18642] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18642/stat : 18642 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18643] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18643/stat : 18643 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2200.54
Current children cumulated vsize (KiB) 915444

[startup+2264.29 s]
/proc/loadavg: 1.41 1.18 1.36 4/100 19371
/proc/meminfo: memFree=1309952/2055920 swapFree=4192812/4192956
[pid=18635] ppid=18633 vsize=915444 CPUtime=2260.53
/proc/18635/stat : 18635 (java) R 18633 18635 17988 0 -1 0 12436 0 1 0 225826 227 0 0 25 0 8 0 277081184 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073956952 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18635/statm: 228861 12164 2530 14 0 215331 0
[pid=18635/tid=18637] ppid=18633 vsize=915444 CPUtime=0.04
/proc/18635/task/18637/stat : 18637 (java) S 18633 18635 17988 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 277081187 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18638] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18638/stat : 18638 (java) S 18633 18635 17988 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277081188 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18639] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18639/stat : 18639 (java) S 18633 18635 17988 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277081188 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18640] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18640/stat : 18640 (java) S 18633 18635 17988 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18641] ppid=18633 vsize=915444 CPUtime=0.34
/proc/18635/task/18641/stat : 18641 (java) S 18633 18635 17988 0 -1 64 449 0 0 0 33 1 0 0 16 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18635/tid=18642] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18642/stat : 18642 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18643] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18643/stat : 18643 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2260.53
Current children cumulated vsize (KiB) 915444

[startup+2324.33 s]
/proc/loadavg: 1.78 1.32 1.39 4/100 19371
/proc/meminfo: memFree=1302656/2055920 swapFree=4192812/4192956
[pid=18635] ppid=18633 vsize=915444 CPUtime=2320.52
/proc/18635/stat : 18635 (java) R 18633 18635 17988 0 -1 0 12436 0 1 0 231824 228 0 0 25 0 8 0 277081184 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073954491 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18635/statm: 228861 12164 2530 14 0 215331 0
[pid=18635/tid=18637] ppid=18633 vsize=915444 CPUtime=0.04
/proc/18635/task/18637/stat : 18637 (java) S 18633 18635 17988 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 277081187 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18638] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18638/stat : 18638 (java) S 18633 18635 17988 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277081188 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18639] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18639/stat : 18639 (java) S 18633 18635 17988 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277081188 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18640] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18640/stat : 18640 (java) S 18633 18635 17988 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18641] ppid=18633 vsize=915444 CPUtime=0.34
/proc/18635/task/18641/stat : 18641 (java) S 18633 18635 17988 0 -1 64 449 0 0 0 33 1 0 0 16 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18635/tid=18642] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18642/stat : 18642 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18643] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18643/stat : 18643 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2320.52
Current children cumulated vsize (KiB) 915444

[startup+2384.38 s]
/proc/loadavg: 1.92 1.44 1.43 3/100 19371
/proc/meminfo: memFree=1302592/2055920 swapFree=4192812/4192956
[pid=18635] ppid=18633 vsize=915444 CPUtime=2380.5
/proc/18635/stat : 18635 (java) R 18633 18635 17988 0 -1 0 12436 0 1 0 237822 228 0 0 25 0 8 0 277081184 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073956822 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18635/statm: 228861 12164 2530 14 0 215331 0
[pid=18635/tid=18637] ppid=18633 vsize=915444 CPUtime=0.04
/proc/18635/task/18637/stat : 18637 (java) S 18633 18635 17988 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 277081187 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18638] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18638/stat : 18638 (java) S 18633 18635 17988 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277081188 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18639] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18639/stat : 18639 (java) S 18633 18635 17988 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277081188 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18640] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18640/stat : 18640 (java) S 18633 18635 17988 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18641] ppid=18633 vsize=915444 CPUtime=0.34
/proc/18635/task/18641/stat : 18641 (java) S 18633 18635 17988 0 -1 64 449 0 0 0 33 1 0 0 16 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18635/tid=18642] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18642/stat : 18642 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18643] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18643/stat : 18643 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2380.5
Current children cumulated vsize (KiB) 915444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2403.92 s]
/proc/loadavg: 1.94 1.48 1.44 3/100 19371
/proc/meminfo: memFree=1302592/2055920 swapFree=4192812/4192956
[pid=18635] ppid=18633 vsize=915444 CPUtime=2400.03
/proc/18635/stat : 18635 (java) R 18633 18635 17988 0 -1 0 12436 0 1 0 239775 228 0 0 25 0 8 0 277081184 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073977872 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18635/statm: 228861 12164 2530 14 0 215331 0
[pid=18635/tid=18637] ppid=18633 vsize=915444 CPUtime=0.04
/proc/18635/task/18637/stat : 18637 (java) S 18633 18635 17988 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 277081187 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18638] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18638/stat : 18638 (java) S 18633 18635 17988 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277081188 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18639] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18639/stat : 18639 (java) S 18633 18635 17988 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277081188 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18640] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18640/stat : 18640 (java) S 18633 18635 17988 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18641] ppid=18633 vsize=915444 CPUtime=0.34
/proc/18635/task/18641/stat : 18641 (java) S 18633 18635 17988 0 -1 64 449 0 0 0 33 1 0 0 16 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18635/tid=18642] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18642/stat : 18642 (java) S 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18635/tid=18643] ppid=18633 vsize=915444 CPUtime=0
/proc/18635/task/18643/stat : 18643 (java) R 18633 18635 17988 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277081191 937414656 12164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 915444

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

Child status: 143
Real time (s): 2403.99
CPU time (s): 2400.1
CPU user time (s): 2397.81
CPU system time (s): 2.28865
CPU usage (%): 99.8383
Max. virtual memory (cumulated for all children) (KiB): 915448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.81
system time used= 2.28865
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12458
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= 50002
involuntary context switches= 30981

runsolver used 2.46362 s user time and 7.45487 s system time

The end

Launcher Data (download as text)

Begin job on node17 on Sat Jan 20 09:54:24 UTC 2007


IDJOB= 278318
IDBENCH= 8266
IDSOLVER= 69
FILE ID= node17/278318-1169286864

PBS_JOBID= 3609505

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-40-2100-3000/cnf-3-40-2600-873121_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278318-1169286864/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-278318-1169286864 -o ROOT/results/node17/solver-278318-1169286864 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278318-1169286864/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  1b8072ed34ab74d9c0e3089fed88ba6c

RANDOM SEED= 898482526

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.236
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.236
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:       1352056 kB
Buffers:         47892 kB
Cached:         505492 kB
SwapCached:          0 kB
Active:         276548 kB
Inactive:       351172 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1352056 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1920 kB
Writeback:           0 kB
Mapped:          94508 kB
Slab:            60904 kB
Committed_AS:  8550988 kB
PageTables:       2288 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 node17 on Sat Jan 20 10:34:30 UTC 2007