Trace number 276037

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 EPFCOPTIMUM 660.637 663.94

General information on the benchmark

Namerandom/rand-3-20-20/
rand-3-20-20-60-632-30_ext.xml
MD5SUM2bc7518c6d0868896b9c5483e22b9ac3
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints59
Best CPU time to get the best result obtained on this benchmark202.418
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables20
Number of constraints60
Maximum constraint arity3
Maximum domain size20
Number of constraints which are defined in extension60
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.38	   
0.38	Abscon 109 (November, 2006)
0.38	   
0.38	   configuration
0.38	     name=epfc.xml
0.41	   
0.41	   instance
0.41	     name=/tmp/evaluation/276037-1169230760/unknown.xml
0.44	   
0.44	   domains being loaded...
0.44	   
0.44	   variables being loaded...
0.47	     nbVariables=20  nbDomainTypes=1  minDomainSize=20  maxDomainSize=20
0.47	       =>  wckTime=0.091  cpuTime=0.08  mem=6M887
0.47	   
0.47	   relations being loaded...
0.74	   
0.74	   constraints being loaded...
0.90	     nbConstraints=60  nbRelationTypes=60  nbExtensionStructures=60  nbSharedExtensionStructures=0
0.90	     nbConflictsStructures=60  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=13  maxArity=3
0.90	       =>  wckTime=0.512  cpuTime=0.47  mem=44M346
0.98	   
0.98	   solver LocalSearchSolver being built... 
1.01	       =>  wckTime=0.63  cpuTime=0.51  mem=12M595
1.02	
1.02	s SATISFIABLE
1.02	o 32
1.02	c 28
1.02	o 37
1.02	c 23
1.02	o 42
1.03	c 18
1.03	o 45
1.03	c 15
1.03	o 46
1.03	c 14
1.03	o 47
1.03	c 13
1.04	o 49
1.04	c 11
1.04	o 50
1.04	c 10
1.04	o 51
1.04	c 9
1.04	o 52
1.04	c 8
1.06	o 53
1.06	c 7
1.06	o 54
1.06	c 6
1.29	o 55
1.29	c 5
1.34	o 56
1.34	c 4
3.70	o 57
3.70	c 3
6.94	o 58
6.94	c 2
9.52	   
9.52	   search
9.52	     run=0  nbConstraintChecks=10163427  nbAssignments=10000
9.53	       =>  wckTime=8.513  cpuTime=8.42  mem=12M595
18.40	   
18.40	   search
18.40	     run=1  nbConstraintChecks=20887723  nbAssignments=20000
18.40	       =>  wckTime=17.386  cpuTime=17.22  mem=12M595
27.18	   
27.18	   search
27.18	     run=2  nbConstraintChecks=31604491  nbAssignments=30000
27.18	       =>  wckTime=26.167  cpuTime=25.94  mem=12M595
35.98	   
35.98	   search
35.98	     run=3  nbConstraintChecks=42236791  nbAssignments=40000
35.98	       =>  wckTime=34.971  cpuTime=34.67  mem=12M595
37.18	   
37.18	   search
37.18	     run=4  nbConstraintChecks=43661076  nbAssignments=41287
37.19	       =>  wckTime=36.173  cpuTime=35.87  mem=12M595
37.19	   
37.19	   global
37.19	     nbConstraintChecks=43661076  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
37.19	     solvingWckTime=36.172  solvingCpuTime=35.87  expiredTime=no  totalExploration=no  nbFoundSolutions=0
37.19	     globalCpuTime=36.43
37.19	       =>  wckTime=36.804  cpuTime=36.38  mem=12M595
37.19	   
37.19	   solver IterativeSystematicSolver being built... 
37.32	       =>  wckTime=36.941  cpuTime=36.48  mem=23M547
37.38	   
37.38	   preprocessing
37.39	     nbConstraintChecks=13744  nbValidityChecks=36583  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
37.39	     nbRemovedValues=0  detectedInconsistency=no
37.39	       =>  wckTime=0.06  cpuTime=0.04  mem=23M547
37.46	   
37.46	   search
37.46	     run=0  nbConstraintChecks=29627  nbValidityChecks=157172  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
37.46	     nbAssignments=64  nbFailedAssignments=46  nbBacktracks=10  nbVisitedNodes=121  nbRestartNogoods=0
37.46	       =>  wckTime=0.136  cpuTime=0.1  mem=24M550
37.58	   
37.58	   search
37.58	     run=1  nbConstraintChecks=89832  nbValidityChecks=477882  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
37.58	     nbAssignments=192  nbFailedAssignments=152  nbBacktracks=25  nbVisitedNodes=370  nbRestartNogoods=16
37.58	       =>  wckTime=0.257  cpuTime=0.21  mem=24M550
37.80	   
37.80	   search
37.80	     run=2  nbConstraintChecks=255516  nbValidityChecks=1119627  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
37.80	     nbAssignments=381  nbFailedAssignments=312  nbBacktracks=47  nbVisitedNodes=738  nbRestartNogoods=24
37.80	       =>  wckTime=0.474  cpuTime=0.43  mem=24M550
38.10	   
38.10	   search
38.10	     run=3  nbConstraintChecks=436798  nbValidityChecks=2125104  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
38.10	     nbAssignments=715  nbFailedAssignments=607  nbBacktracks=81  nbVisitedNodes=1400  nbRestartNogoods=48
38.10	       =>  wckTime=0.777  cpuTime=0.73  mem=24M550
38.52	   
38.52	   search
38.52	     run=4  nbConstraintChecks=680684  nbValidityChecks=3416229  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
38.52	     nbAssignments=1208  nbFailedAssignments=1042  nbBacktracks=132  nbVisitedNodes=2379  nbRestartNogoods=59
38.52	       =>  wckTime=1.2  cpuTime=1.14  mem=24M550
39.18	   
39.18	   search
39.18	     run=5  nbConstraintChecks=1098429  nbValidityChecks=5460134  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
39.18	     nbAssignments=1841  nbFailedAssignments=1593  nbBacktracks=207  nbVisitedNodes=3636  nbRestartNogoods=79
39.18	       =>  wckTime=1.852  cpuTime=1.77  mem=24M550
39.89	   
39.89	   search
39.89	     run=6  nbConstraintChecks=1513191  nbValidityChecks=7828485  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
39.89	     nbAssignments=2801  nbFailedAssignments=2433  nbBacktracks=320  nbVisitedNodes=5547  nbRestartNogoods=110
39.89	       =>  wckTime=2.562  cpuTime=2.46  mem=24M550
40.99	   
40.99	   search
40.99	     run=7  nbConstraintChecks=2191782  nbValidityChecks=11551139  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
40.99	     nbAssignments=4013  nbFailedAssignments=3468  nbBacktracks=490  nbVisitedNodes=7962  nbRestartNogoods=128
40.99	       =>  wckTime=3.67  cpuTime=3.57  mem=24M550
42.52	   
42.52	   search
42.52	     run=8  nbConstraintChecks=3242203  nbValidityChecks=16278620  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
42.52	     nbAssignments=5606  nbFailedAssignments=4798  nbBacktracks=746  nbVisitedNodes=11131  nbRestartNogoods=153
42.52	       =>  wckTime=5.194  cpuTime=5.09  mem=24M550
44.32	   
44.32	   search
44.32	     run=9  nbConstraintChecks=4383975  nbValidityChecks=22054223  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
44.32	     nbAssignments=7519  nbFailedAssignments=6321  nbBacktracks=1130  nbVisitedNodes=14919  nbRestartNogoods=164
44.32	       =>  wckTime=6.999  cpuTime=6.87  mem=24M550
46.46	   
46.46	   search
46.47	     run=10  nbConstraintChecks=5782171  nbValidityChecks=28345001  nbPropagations=0  nbRevisions=0
46.47	     nbUselessRevisions=0  nbAssignments=9492  nbFailedAssignments=7713  nbBacktracks=1707  nbVisitedNodes=18745
46.47	     nbRestartNogoods=175
46.47	       =>  wckTime=9.14  cpuTime=8.99  mem=24M550
49.70	   
49.70	   search
49.70	     run=11  nbConstraintChecks=7995559  nbValidityChecks=37721035  nbPropagations=0  nbRevisions=0
49.70	     nbUselessRevisions=0  nbAssignments=12216  nbFailedAssignments=9567  nbBacktracks=2571  nbVisitedNodes=23946
49.70	     nbRestartNogoods=185
49.70	       =>  wckTime=12.378  cpuTime=12.21  mem=24M550
54.05	   
54.05	   search
54.05	     run=12  nbConstraintChecks=10983152  nbValidityChecks=49565998  nbPropagations=0  nbRevisions=0
54.05	     nbUselessRevisions=0  nbAssignments=15711  nbFailedAssignments=11761  nbBacktracks=3868  nbVisitedNodes=30481
54.05	     nbRestartNogoods=190
54.05	       =>  wckTime=16.729  cpuTime=16.52  mem=24M550
58.05	o 59
58.05	c 1
60.74	   
60.74	   search
60.74	     run=13  nbConstraintChecks=15535274  nbValidityChecks=67911160  nbPropagations=0  nbRevisions=0
60.74	     nbUselessRevisions=0  nbAssignments=21101  nbFailedAssignments=15198  nbBacktracks=5815  nbVisitedNodes=40433
60.74	     nbRestartNogoods=207
60.74	       =>  wckTime=23.418  cpuTime=23.16  mem=24M550
69.72	   
69.72	   search
69.72	     run=14  nbConstraintChecks=21693854  nbValidityChecks=92148867  nbPropagations=0  nbRevisions=0
69.72	     nbUselessRevisions=0  nbAssignments=28268  nbFailedAssignments=19440  nbBacktracks=8735  nbVisitedNodes=52913
69.72	     nbRestartNogoods=229
69.72	       =>  wckTime=32.392  cpuTime=32.06  mem=24M550
83.62	   
83.62	   search
83.63	     run=15  nbConstraintChecks=30989990  nbValidityChecks=128598880  nbPropagations=0  nbRevisions=0
83.63	     nbUselessRevisions=0  nbAssignments=39201  nbFailedAssignments=25992  nbBacktracks=13113  nbVisitedNodes=72175
83.63	     nbRestartNogoods=252
83.63	       =>  wckTime=46.301  cpuTime=45.86  mem=24M550
102.61	   
102.61	   search
102.61	     run=16  nbConstraintChecks=44061510  nbValidityChecks=179131252  nbPropagations=0  nbRevisions=0
102.61	     nbUselessRevisions=0  nbAssignments=54552  nbFailedAssignments=34771  nbBacktracks=19682  nbVisitedNodes=98784
102.61	     nbRestartNogoods=293
102.61	       =>  wckTime=65.29  cpuTime=64.7  mem=24M550
131.78	   
131.78	   search
131.78	     run=17  nbConstraintChecks=63826362  nbValidityChecks=257563167  nbPropagations=0  nbRevisions=0
131.78	     nbUselessRevisions=0  nbAssignments=78032  nbFailedAssignments=48396  nbBacktracks=29534  nbVisitedNodes=139548
131.78	     nbRestartNogoods=321
131.78	       =>  wckTime=94.454  cpuTime=93.61  mem=24M550
175.10	   
175.10	   search
175.10	     run=18  nbConstraintChecks=93697911  nbValidityChecks=371954620  nbPropagations=0  nbRevisions=0
175.10	     nbUselessRevisions=0  nbAssignments=112261  nbFailedAssignments=67844  nbBacktracks=44312  nbVisitedNodes=198637
175.10	     nbRestartNogoods=345
175.10	       =>  wckTime=137.78  cpuTime=136.59  mem=24M550
240.34	   
240.34	   search
240.34	     run=19  nbConstraintChecks=138151380  nbValidityChecks=547905593  nbPropagations=0  nbRevisions=0
240.34	     nbUselessRevisions=0  nbAssignments=164669  nbFailedAssignments=98082  nbBacktracks=66480  nbVisitedNodes=289530
240.34	     nbRestartNogoods=366
240.34	       =>  wckTime=203.014  cpuTime=201.3  mem=24M550
340.31	   
340.31	   search
340.31	     run=20  nbConstraintChecks=208509464  nbValidityChecks=812943399  nbPropagations=0  nbRevisions=0
340.31	     nbUselessRevisions=0  nbAssignments=243041  nbFailedAssignments=143199  nbBacktracks=99732  nbVisitedNodes=425657
340.31	     nbRestartNogoods=410
340.31	       =>  wckTime=302.984  cpuTime=301.03  mem=24M550
489.89	   
489.89	   search
489.89	     run=21  nbConstraintChecks=313119306  nbValidityChecks=1213324471  nbPropagations=0  nbRevisions=0
489.89	     nbUselessRevisions=0  nbAssignments=361167  nbFailedAssignments=211445  nbBacktracks=149611  nbVisitedNodes=630784
489.89	     nbRestartNogoods=474
489.89	       =>  wckTime=452.568  cpuTime=450.48  mem=24M550
663.89	   
663.89	   search
663.89	     run=22  nbConstraintChecks=432456727  nbValidityChecks=1677996362  nbPropagations=0  nbRevisions=0
663.89	     nbUselessRevisions=0  nbAssignments=498553  nbFailedAssignments=287637  nbBacktracks=210806  nbVisitedNodes=866337
663.89	     nbRestartNogoods=528
663.89	       =>  wckTime=626.565  cpuTime=623.59  mem=24M550
663.89	   
663.89	   global
663.89	     nbConstraintChecks=432470471  nbValidityChecks=1678032945  nbRestartNogoods=528  solvingWckTime=626.566
663.89	     solvingCpuTime=623.59  expiredTime=no  totalExploration=yes  nbFoundSolutions=1  globalCpuTime=660.12
663.89	       =>  wckTime=663.507  cpuTime=660.07  mem=24M550
663.89	
663.89	s OPTIMUM FOUND
663.89	v 0 15 4 4 6 5 13 15 7 1 12 12 0 0 12 4 0 6 16 13 
663.89	   
663.89	   totalWckTime=663.585  totalCpuTime=660.12

Verifier Data (download as text)

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

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

/proc/loadavg: 1.94 1.99 1.99 5/73 31772
/proc/meminfo: memFree=1125072/2055920 swapFree=4184548/4192956
[pid=31771] ppid=31769 vsize=18540 CPUtime=0
/proc/31771/stat : 31771 (runsolver) R 31769 31771 30870 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 271475410 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231882681639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/31771/statm: 4635 279 244 17 0 2626 0

[startup+0.106777 s]
/proc/loadavg: 1.94 1.99 1.99 5/73 31772
/proc/meminfo: memFree=1125072/2055920 swapFree=4184548/4192956
[pid=31771] ppid=31769 vsize=89776 CPUtime=0
/proc/31771/stat : 31771 (java) R 31769 31771 30870 0 -1 0 1264 0 1 0 0 0 0 0 17 0 1 0 271475410 91930624 1013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152862352 0 4 0 7368 0 0 0 17 1 0 0
/proc/31771/statm: 22444 1013 802 14 0 10027 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 89776

[startup+0.514825 s]
/proc/loadavg: 1.94 1.99 1.99 5/73 31772
/proc/meminfo: memFree=1125072/2055920 swapFree=4184548/4192956
[pid=31771] ppid=31769 vsize=916356 CPUtime=0.4
/proc/31771/stat : 31771 (java) R 31769 31771 30870 0 -1 0 6398 0 1 0 36 4 0 0 18 0 8 0 271475410 938348544 6137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445361 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31771/statm: 229089 6137 2142 14 0 215559 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 916356

[startup+1.33592 s]
/proc/loadavg: 1.94 1.99 1.99 3/80 31779
/proc/meminfo: memFree=1065368/2055920 swapFree=4184548/4192956
[pid=31771] ppid=31769 vsize=916464 CPUtime=1.21
/proc/31771/stat : 31771 (java) R 31769 31771 30870 0 -1 0 17562 0 1 0 111 10 0 0 24 0 8 0 271475410 938459136 17300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073611700 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31771/statm: 229116 17300 2478 14 0 215586 0
[pid=31771/tid=31773] ppid=31769 vsize=916464 CPUtime=0.06
/proc/31771/task/31773/stat : 31773 (java) S 31769 31771 30870 0 -1 64 1890 0 0 0 6 0 0 0 16 0 8 0 271475423 938459136 17300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31774] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31774/stat : 31774 (java) S 31769 31771 30870 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271475423 938459136 17300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31775] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31775/stat : 31775 (java) S 31769 31771 30870 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271475423 938459136 17300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31776] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31776/stat : 31776 (java) S 31769 31771 30870 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271475426 938459136 17300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31777] ppid=31769 vsize=916464 CPUtime=0.09
/proc/31771/task/31777/stat : 31777 (java) S 31769 31771 30870 0 -1 64 321 0 0 0 9 0 0 0 16 0 8 0 271475426 938459136 17300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31778] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31778/stat : 31778 (java) S 31769 31771 30870 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271475426 938459136 17300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31779] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31779/stat : 31779 (java) S 31769 31771 30870 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 271475426 938459136 17300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 916464

[startup+2.97312 s]
/proc/loadavg: 1.94 1.99 1.99 4/80 31779
/proc/meminfo: memFree=1065304/2055920 swapFree=4184548/4192956
[pid=31771] ppid=31769 vsize=916464 CPUtime=2.84
/proc/31771/stat : 31771 (java) R 31769 31771 30870 0 -1 0 17570 0 1 0 266 18 0 0 25 0 8 0 271475410 938459136 17307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073611679 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31771/statm: 229116 17307 2480 14 0 215586 0
[pid=31771/tid=31773] ppid=31769 vsize=916464 CPUtime=0.06
/proc/31771/task/31773/stat : 31773 (java) S 31769 31771 30870 0 -1 64 1890 0 0 0 6 0 0 0 17 0 8 0 271475423 938459136 17307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31774] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31774/stat : 31774 (java) S 31769 31771 30870 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271475423 938459136 17307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31775] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31775/stat : 31775 (java) S 31769 31771 30870 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271475423 938459136 17307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31776] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31776/stat : 31776 (java) S 31769 31771 30870 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271475426 938459136 17307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31777] ppid=31769 vsize=916464 CPUtime=0.1
/proc/31771/task/31777/stat : 31777 (java) S 31769 31771 30870 0 -1 64 328 0 0 0 10 0 0 0 16 0 8 0 271475426 938459136 17307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31778] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31778/stat : 31778 (java) S 31769 31771 30870 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271475426 938459136 17307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31779] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31779/stat : 31779 (java) S 31769 31771 30870 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 271475426 938459136 17307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 916464

[startup+6.1785 s]
/proc/loadavg: 1.94 1.99 1.99 3/80 31779
/proc/meminfo: memFree=1065240/2055920 swapFree=4184548/4192956
[pid=31771] ppid=31769 vsize=916464 CPUtime=6.02
/proc/31771/stat : 31771 (java) R 31769 31771 30870 0 -1 0 17570 0 1 0 568 34 0 0 25 0 8 0 271475410 938459136 17307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073611747 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31771/statm: 229116 17307 2480 14 0 215586 0
[pid=31771/tid=31773] ppid=31769 vsize=916464 CPUtime=0.06
/proc/31771/task/31773/stat : 31773 (java) S 31769 31771 30870 0 -1 64 1890 0 0 0 6 0 0 0 16 0 8 0 271475423 938459136 17307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31774] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31774/stat : 31774 (java) S 31769 31771 30870 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271475423 938459136 17307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31775] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31775/stat : 31775 (java) S 31769 31771 30870 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271475423 938459136 17307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31776] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31776/stat : 31776 (java) S 31769 31771 30870 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271475426 938459136 17307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31777] ppid=31769 vsize=916464 CPUtime=0.1
/proc/31771/task/31777/stat : 31777 (java) S 31769 31771 30870 0 -1 64 328 0 0 0 10 0 0 0 15 0 8 0 271475426 938459136 17307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31778] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31778/stat : 31778 (java) S 31769 31771 30870 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271475426 938459136 17307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31779] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31779/stat : 31779 (java) S 31769 31771 30870 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 271475426 938459136 17307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 916464

[startup+12.6483 s]
/proc/loadavg: 1.95 1.99 1.99 3/80 31779
/proc/meminfo: memFree=1065256/2055920 swapFree=4184548/4192956
[pid=31771] ppid=31769 vsize=916464 CPUtime=12.44
/proc/31771/stat : 31771 (java) R 31769 31771 30870 0 -1 0 17572 0 1 0 1178 66 0 0 25 0 8 0 271475410 938459136 17309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073616579 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31771/statm: 229116 17309 2480 14 0 215586 0
[pid=31771/tid=31773] ppid=31769 vsize=916464 CPUtime=0.06
/proc/31771/task/31773/stat : 31773 (java) S 31769 31771 30870 0 -1 64 1890 0 0 0 6 0 0 0 16 0 8 0 271475423 938459136 17309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31774] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31774/stat : 31774 (java) S 31769 31771 30870 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271475423 938459136 17309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31775] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31775/stat : 31775 (java) S 31769 31771 30870 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271475423 938459136 17309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31776] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31776/stat : 31776 (java) S 31769 31771 30870 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271475426 938459136 17309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31777] ppid=31769 vsize=916464 CPUtime=0.11
/proc/31771/task/31777/stat : 31777 (java) S 31769 31771 30870 0 -1 64 330 0 0 0 11 0 0 0 16 0 8 0 271475426 938459136 17309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31778] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31778/stat : 31778 (java) S 31769 31771 30870 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271475426 938459136 17309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31779] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31779/stat : 31779 (java) S 31769 31771 30870 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 271475426 938459136 17309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 916464

[startup+25.5048 s]
/proc/loadavg: 1.96 1.99 1.99 3/80 31779
/proc/meminfo: memFree=1065384/2055920 swapFree=4184548/4192956
[pid=31771] ppid=31769 vsize=916464 CPUtime=25.2
/proc/31771/stat : 31771 (java) R 31769 31771 30870 0 -1 0 17572 0 1 0 2396 124 0 0 25 0 8 0 271475410 938459136 17309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073611757 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31771/statm: 229116 17309 2480 14 0 215586 0
[pid=31771/tid=31773] ppid=31769 vsize=916464 CPUtime=0.06
/proc/31771/task/31773/stat : 31773 (java) S 31769 31771 30870 0 -1 64 1890 0 0 0 6 0 0 0 16 0 8 0 271475423 938459136 17309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31774] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31774/stat : 31774 (java) S 31769 31771 30870 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271475423 938459136 17309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31775] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31775/stat : 31775 (java) S 31769 31771 30870 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271475423 938459136 17309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31776] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31776/stat : 31776 (java) S 31769 31771 30870 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271475426 938459136 17309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31777] ppid=31769 vsize=916464 CPUtime=0.11
/proc/31771/task/31777/stat : 31777 (java) S 31769 31771 30870 0 -1 64 330 0 0 0 11 0 0 0 16 0 8 0 271475426 938459136 17309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31778] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31778/stat : 31778 (java) S 31769 31771 30870 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271475426 938459136 17309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31779] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31779/stat : 31779 (java) S 31769 31771 30870 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 271475426 938459136 17309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 916464

[startup+51.1198 s]
/proc/loadavg: 1.97 1.99 1.99 3/80 31779
/proc/meminfo: memFree=1064936/2055920 swapFree=4184548/4192956
[pid=31771] ppid=31769 vsize=916464 CPUtime=50.61
/proc/31771/stat : 31771 (java) R 31769 31771 30870 0 -1 0 17742 0 1 0 4880 181 0 0 25 0 8 0 271475410 938459136 17474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073784025 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31771/statm: 229116 17474 2535 14 0 215586 0
[pid=31771/tid=31773] ppid=31769 vsize=916464 CPUtime=0.06
/proc/31771/task/31773/stat : 31773 (java) S 31769 31771 30870 0 -1 64 1891 0 0 0 6 0 0 0 16 0 8 0 271475423 938459136 17474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31774] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31774/stat : 31774 (java) S 31769 31771 30870 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271475423 938459136 17474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31775] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31775/stat : 31775 (java) S 31769 31771 30870 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271475423 938459136 17474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31776] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31776/stat : 31776 (java) S 31769 31771 30870 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271475426 938459136 17474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31777] ppid=31769 vsize=916464 CPUtime=0.22
/proc/31771/task/31777/stat : 31777 (java) S 31769 31771 30870 0 -1 64 392 0 0 0 21 1 0 0 15 0 8 0 271475426 938459136 17474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31778] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31778/stat : 31778 (java) S 31769 31771 30870 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271475426 938459136 17474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31779] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31779/stat : 31779 (java) S 31769 31771 30870 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 271475426 938459136 17474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 916464

[startup+102.365 s]
/proc/loadavg: 2.07 2.01 2.00 3/80 31779
/proc/meminfo: memFree=1064936/2055920 swapFree=4184548/4192956
[pid=31771] ppid=31769 vsize=916464 CPUtime=101.46
/proc/31771/stat : 31771 (java) R 31769 31771 30870 0 -1 0 17744 0 1 0 9965 181 0 0 25 0 8 0 271475410 938459136 17475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810583 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31771/statm: 229116 17475 2535 14 0 215586 0
[pid=31771/tid=31773] ppid=31769 vsize=916464 CPUtime=0.06
/proc/31771/task/31773/stat : 31773 (java) S 31769 31771 30870 0 -1 64 1891 0 0 0 6 0 0 0 16 0 8 0 271475423 938459136 17475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31774] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31774/stat : 31774 (java) S 31769 31771 30870 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271475423 938459136 17475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31775] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31775/stat : 31775 (java) S 31769 31771 30870 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271475423 938459136 17475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31776] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31776/stat : 31776 (java) S 31769 31771 30870 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271475426 938459136 17475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31777] ppid=31769 vsize=916464 CPUtime=0.22
/proc/31771/task/31777/stat : 31777 (java) S 31769 31771 30870 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 271475426 938459136 17475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31778] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31778/stat : 31778 (java) S 31769 31771 30870 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271475426 938459136 17475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31779] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31779/stat : 31779 (java) R 31769 31771 30870 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 271475426 938459136 17475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 916464

[startup+162.44 s]
/proc/loadavg: 2.02 2.00 2.00 3/80 31781
/proc/meminfo: memFree=1064808/2055920 swapFree=4184548/4192956
[pid=31771] ppid=31769 vsize=916464 CPUtime=161.04
/proc/31771/stat : 31771 (java) R 31769 31771 30870 0 -1 0 17745 0 1 0 15923 181 0 0 25 0 8 0 271475410 938459136 17475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

/proc/31771/task/31776/stat : 31776 (java) S 31769 31771 30870 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271475426 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31777] ppid=31769 vsize=916464 CPUtime=0.22
/proc/31771/task/31777/stat : 31777 (java) S 31769 31771 30870 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 271475426 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31778] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31778/stat : 31778 (java) S 31769 31771 30870 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271475426 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31779] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31779/stat : 31779 (java) S 31769 31771 30870 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 271475426 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.64
Current children cumulated vsize (KiB) 916464

[startup+282.581 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 31829
/proc/meminfo: memFree=1063520/2055920 swapFree=4184548/4192956
[pid=31771] ppid=31769 vsize=916464 CPUtime=280.38
/proc/31771/stat : 31771 (java) R 31769 31771 30870 0 -1 0 17746 0 1 0 27856 182 0 0 25 0 8 0 271475410 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073616572 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31771/statm: 229116 17476 2535 14 0 215586 0
[pid=31771/tid=31773] ppid=31769 vsize=916464 CPUtime=0.06
/proc/31771/task/31773/stat : 31773 (java) S 31769 31771 30870 0 -1 64 1891 0 0 0 6 0 0 0 16 0 8 0 271475423 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31774] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31774/stat : 31774 (java) S 31769 31771 30870 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271475423 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31775] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31775/stat : 31775 (java) S 31769 31771 30870 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271475423 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31776] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31776/stat : 31776 (java) S 31769 31771 30870 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271475426 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31777] ppid=31769 vsize=916464 CPUtime=0.22
/proc/31771/task/31777/stat : 31777 (java) S 31769 31771 30870 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 271475426 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31778] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31778/stat : 31778 (java) S 31769 31771 30870 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271475426 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31779] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31779/stat : 31779 (java) S 31769 31771 30870 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 271475426 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.38
Current children cumulated vsize (KiB) 916464

[startup+342.627 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 31829
/proc/meminfo: memFree=1063648/2055920 swapFree=4184548/4192956
[pid=31771] ppid=31769 vsize=916464 CPUtime=340.36
/proc/31771/stat : 31771 (java) R 31769 31771 30870 0 -1 0 17746 0 1 0 33854 182 0 0 25 0 8 0 271475410 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073656523 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31771/statm: 229116 17476 2535 14 0 215586 0
[pid=31771/tid=31773] ppid=31769 vsize=916464 CPUtime=0.06
/proc/31771/task/31773/stat : 31773 (java) S 31769 31771 30870 0 -1 64 1891 0 0 0 6 0 0 0 16 0 8 0 271475423 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31774] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31774/stat : 31774 (java) S 31769 31771 30870 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271475423 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31775] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31775/stat : 31775 (java) S 31769 31771 30870 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271475423 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31776] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31776/stat : 31776 (java) S 31769 31771 30870 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271475426 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31777] ppid=31769 vsize=916464 CPUtime=0.22
/proc/31771/task/31777/stat : 31777 (java) S 31769 31771 30870 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 271475426 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31778] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31778/stat : 31778 (java) S 31769 31771 30870 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271475426 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31779] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31779/stat : 31779 (java) S 31769 31771 30870 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 271475426 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 340.36
Current children cumulated vsize (KiB) 916464

[startup+402.691 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 31829
/proc/meminfo: memFree=1063584/2055920 swapFree=4184548/4192956
[pid=31771] ppid=31769 vsize=916464 CPUtime=400.37
/proc/31771/stat : 31771 (java) R 31769 31771 30870 0 -1 0 17746 0 1 0 39855 182 0 0 25 0 8 0 271475410 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073781895 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31771/statm: 229116 17476 2535 14 0 215586 0
[pid=31771/tid=31773] ppid=31769 vsize=916464 CPUtime=0.06
/proc/31771/task/31773/stat : 31773 (java) S 31769 31771 30870 0 -1 64 1891 0 0 0 6 0 0 0 16 0 8 0 271475423 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31774] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31774/stat : 31774 (java) S 31769 31771 30870 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271475423 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31775] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31775/stat : 31775 (java) S 31769 31771 30870 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271475423 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31776] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31776/stat : 31776 (java) S 31769 31771 30870 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271475426 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31777] ppid=31769 vsize=916464 CPUtime=0.22
/proc/31771/task/31777/stat : 31777 (java) S 31769 31771 30870 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 271475426 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31778] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31778/stat : 31778 (java) S 31769 31771 30870 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271475426 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31779] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31779/stat : 31779 (java) S 31769 31771 30870 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 271475426 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 400.37
Current children cumulated vsize (KiB) 916464

[startup+462.75 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 31829
/proc/meminfo: memFree=1063584/2055920 swapFree=4184548/4192956
[pid=31771] ppid=31769 vsize=916464 CPUtime=460.39
/proc/31771/stat : 31771 (java) R 31769 31771 30870 0 -1 0 17746 0 1 0 45857 182 0 0 25 0 8 0 271475410 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802955 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31771/statm: 229116 17476 2535 14 0 215586 0
[pid=31771/tid=31773] ppid=31769 vsize=916464 CPUtime=0.06
/proc/31771/task/31773/stat : 31773 (java) S 31769 31771 30870 0 -1 64 1891 0 0 0 6 0 0 0 16 0 8 0 271475423 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31774] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31774/stat : 31774 (java) S 31769 31771 30870 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271475423 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31775] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31775/stat : 31775 (java) S 31769 31771 30870 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271475423 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31776] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31776/stat : 31776 (java) S 31769 31771 30870 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271475426 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31777] ppid=31769 vsize=916464 CPUtime=0.22
/proc/31771/task/31777/stat : 31777 (java) S 31769 31771 30870 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 271475426 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31778] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31778/stat : 31778 (java) S 31769 31771 30870 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271475426 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31779] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31779/stat : 31779 (java) S 31769 31771 30870 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 271475426 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 460.39
Current children cumulated vsize (KiB) 916464

[startup+522.822 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 31907
/proc/meminfo: memFree=1071312/2055920 swapFree=4184548/4192956
[pid=31771] ppid=31769 vsize=916464 CPUtime=520.2
/proc/31771/stat : 31771 (java) R 31769 31771 30870 0 -1 0 17746 0 1 0 51837 183 0 0 25 0 8 0 271475410 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073782473 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31771/statm: 229116 17476 2535 14 0 215586 0
[pid=31771/tid=31773] ppid=31769 vsize=916464 CPUtime=0.06
/proc/31771/task/31773/stat : 31773 (java) S 31769 31771 30870 0 -1 64 1891 0 0 0 6 0 0 0 16 0 8 0 271475423 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31774] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31774/stat : 31774 (java) S 31769 31771 30870 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271475423 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31775] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31775/stat : 31775 (java) S 31769 31771 30870 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271475423 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31776] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31776/stat : 31776 (java) S 31769 31771 30870 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271475426 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31777] ppid=31769 vsize=916464 CPUtime=0.22
/proc/31771/task/31777/stat : 31777 (java) S 31769 31771 30870 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 271475426 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31778] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31778/stat : 31778 (java) S 31769 31771 30870 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271475426 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31779] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31779/stat : 31779 (java) S 31769 31771 30870 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 271475426 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 520.2
Current children cumulated vsize (KiB) 916464

[startup+582.905 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 31907
/proc/meminfo: memFree=1071440/2055920 swapFree=4184548/4192956
[pid=31771] ppid=31769 vsize=916464 CPUtime=580.01
/proc/31771/stat : 31771 (java) R 31769 31771 30870 0 -1 0 17746 0 1 0 57817 184 0 0 25 0 8 0 271475410 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073778725 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31771/statm: 229116 17476 2535 14 0 215586 0
[pid=31771/tid=31773] ppid=31769 vsize=916464 CPUtime=0.06
/proc/31771/task/31773/stat : 31773 (java) S 31769 31771 30870 0 -1 64 1891 0 0 0 6 0 0 0 16 0 8 0 271475423 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31774] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31774/stat : 31774 (java) S 31769 31771 30870 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271475423 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31775] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31775/stat : 31775 (java) S 31769 31771 30870 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271475423 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31776] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31776/stat : 31776 (java) S 31769 31771 30870 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271475426 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31777] ppid=31769 vsize=916464 CPUtime=0.22
/proc/31771/task/31777/stat : 31777 (java) S 31769 31771 30870 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 271475426 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31778] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31778/stat : 31778 (java) S 31769 31771 30870 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271475426 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31779] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31779/stat : 31779 (java) S 31769 31771 30870 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 271475426 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 580.01
Current children cumulated vsize (KiB) 916464

[startup+642.986 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 31907
/proc/meminfo: memFree=1071440/2055920 swapFree=4184548/4192956
[pid=31771] ppid=31769 vsize=916464 CPUtime=639.8
/proc/31771/stat : 31771 (java) R 31769 31771 30870 0 -1 0 17746 0 1 0 63796 184 0 0 25 0 8 0 271475410 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073778685 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31771/statm: 229116 17476 2535 14 0 215586 0
[pid=31771/tid=31773] ppid=31769 vsize=916464 CPUtime=0.06
/proc/31771/task/31773/stat : 31773 (java) S 31769 31771 30870 0 -1 64 1891 0 0 0 6 0 0 0 16 0 8 0 271475423 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31774] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31774/stat : 31774 (java) S 31769 31771 30870 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271475423 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31775] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31775/stat : 31775 (java) S 31769 31771 30870 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271475423 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31776] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31776/stat : 31776 (java) S 31769 31771 30870 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271475426 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31777] ppid=31769 vsize=916464 CPUtime=0.22
/proc/31771/task/31777/stat : 31777 (java) S 31769 31771 30870 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 271475426 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31778] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31778/stat : 31778 (java) S 31769 31771 30870 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271475426 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31771/tid=31779] ppid=31769 vsize=916464 CPUtime=0
/proc/31771/task/31779/stat : 31779 (java) S 31769 31771 30870 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 271475426 938459136 17476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 639.8
Current children cumulated vsize (KiB) 916464

Child status: 0
Real time (s): 663.94
CPU time (s): 660.637
CPU user time (s): 658.785
CPU system time (s): 1.85172
CPU usage (%): 99.5025
Max. virtual memory (cumulated for all children) (KiB): 916468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 658.785
system time used= 1.85172
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17757
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= 14538
involuntary context switches= 17802

runsolver used 0.700893 s user time and 1.91071 s system time

The end

Launcher Data (download as text)

Begin job on node75 on Fri Jan 19 18:19:20 UTC 2007


IDJOB= 276037
IDBENCH= 5220
IDSOLVER= 68
FILE ID= node75/276037-1169230760

PBS_JOBID= 3589221

Free space on /tmp= 66557 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  2bc7518c6d0868896b9c5483e22b9ac3

RANDOM SEED= 617931163

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.218
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.218
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1125488 kB
Buffers:         48812 kB
Cached:         785748 kB
SwapCached:       2452 kB
Active:         408180 kB
Inactive:       449764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1125488 kB
SwapTotal:     4192956 kB
SwapFree:      4184548 kB
Dirty:            2944 kB
Writeback:           0 kB
Mapped:          31320 kB
Slab:            57988 kB
Committed_AS:  5295416 kB
PageTables:       1768 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 node75 on Fri Jan 19 18:30:24 UTC 2007