Trace number 276779

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 PFCOPTIMUM 436.743 440.834

General information on the benchmark

Nametightness/tightness0.65/
rand-2-40-40-135-650-14_ext.xml
MD5SUM3c571811344329da499115137c65f8ae
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints134
Best CPU time to get the best result obtained on this benchmark0
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints135
Maximum constraint arity2
Maximum domain size40
Number of constraints which are defined in extension135
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.35	   
0.35	Abscon 109 (November, 2006)
0.35	   
0.35	   configuration
0.35	     name=pfc.xml
0.38	   
0.38	   instance
0.38	     name=/tmp/evaluation/276779-1169246420/unknown.xml
0.42	   
0.42	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.46	     nbVariables=40  nbDomainTypes=1  minDomainSize=40  maxDomainSize=40
0.46	       =>  wckTime=0.105  cpuTime=0.1  mem=6M910
0.46	   
0.46	   relations being loaded...
0.58	   
0.58	   constraints being loaded...
0.66	     nbConstraints=135  nbRelationTypes=135  nbExtensionStructures=135  nbSharedExtensionStructures=0
0.66	     nbConflictsStructures=135  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=11  maxArity=2
0.67	       =>  wckTime=0.312  cpuTime=0.26  mem=15M703
0.71	   
0.71	   solver LocalSearchSolver being built... 
0.75	       =>  wckTime=0.402  cpuTime=0.3  mem=5M927
0.76	
0.76	s SATISFIABLE
0.76	o 60
0.76	c 75
0.76	o 64
0.76	c 71
0.77	o 67
0.77	c 68
0.77	o 71
0.77	c 64
0.77	o 74
0.77	c 61
0.77	o 77
0.77	c 58
0.77	o 80
0.77	c 55
0.77	o 84
0.77	c 51
0.77	o 88
0.77	c 47
0.77	o 89
0.77	c 46
0.77	o 90
0.77	c 45
0.77	o 93
0.77	c 42
0.78	o 96
0.78	c 39
0.78	o 99
0.78	c 36
0.78	o 100
0.78	c 35
0.78	o 101
0.78	c 34
0.78	o 102
0.78	c 33
0.78	o 105
0.78	c 30
0.78	o 106
0.78	c 29
0.78	o 107
0.78	c 28
0.78	o 109
0.78	c 26
0.78	o 110
0.78	c 25
0.79	o 111
0.79	c 24
0.79	o 113
0.79	c 22
0.79	o 114
0.79	c 21
0.79	o 115
0.79	c 20
0.80	o 116
0.80	c 19
0.80	o 117
0.80	c 18
0.80	o 119
0.80	c 16
0.81	o 120
0.81	c 15
0.81	o 121
0.81	c 14
0.81	o 122
0.81	c 13
0.81	o 123
0.81	c 12
0.81	o 124
0.81	c 11
0.81	o 125
0.81	c 10
0.81	o 126
0.81	c 9
0.81	o 127
0.81	c 8
0.81	o 128
0.81	c 7
0.97	o 129
0.97	c 6
0.97	o 130
0.97	c 5
0.98	o 131
0.98	c 4
4.45	   
4.45	   search
4.45	     run=0  nbConstraintChecks=26243750  nbAssignments=10000
4.45	       =>  wckTime=3.702  cpuTime=3.65  mem=5M927
8.20	   
8.20	   search
8.20	     run=1  nbConstraintChecks=52288596  nbAssignments=20000
8.20	       =>  wckTime=7.447  cpuTime=7.35  mem=5M927
10.32	o 132
10.32	c 3
11.83	   
11.83	   search
11.83	     run=2  nbConstraintChecks=77502928  nbAssignments=30000
11.83	       =>  wckTime=11.077  cpuTime=10.94  mem=5M927
15.65	   
15.65	   search
15.65	     run=3  nbConstraintChecks=104147784  nbAssignments=40000
15.65	       =>  wckTime=14.896  cpuTime=14.73  mem=5M927
19.59	   
19.59	   search
19.59	     run=4  nbConstraintChecks=132299126  nbAssignments=50000
19.59	       =>  wckTime=18.834  cpuTime=18.63  mem=5M927
23.34	   
23.34	   search
23.34	     run=5  nbConstraintChecks=158714283  nbAssignments=60000
23.34	       =>  wckTime=22.588  cpuTime=22.36  mem=5M927
26.73	o 133
26.73	c 2
27.00	   
27.00	   search
27.00	     run=6  nbConstraintChecks=184237004  nbAssignments=70000
27.00	       =>  wckTime=26.247  cpuTime=25.98  mem=5M927
30.73	   
30.73	   search
30.73	     run=7  nbConstraintChecks=209919633  nbAssignments=80000
30.73	       =>  wckTime=29.974  cpuTime=29.66  mem=5M927
34.45	   
34.45	   search
34.45	     run=8  nbConstraintChecks=235932748  nbAssignments=90000
34.45	       =>  wckTime=33.702  cpuTime=33.36  mem=5M927
38.53	   
38.53	   search
38.53	     run=9  nbConstraintChecks=264934233  nbAssignments=100000
38.53	       =>  wckTime=37.774  cpuTime=37.39  mem=5M927
42.11	   
42.11	   search
42.11	     run=10  nbConstraintChecks=289998544  nbAssignments=110000
42.11	       =>  wckTime=41.361  cpuTime=40.95  mem=5M927
46.04	   
46.04	   search
46.04	     run=11  nbConstraintChecks=317788724  nbAssignments=120000
46.04	       =>  wckTime=45.289  cpuTime=44.84  mem=5M927
49.78	   
49.78	   search
49.78	     run=12  nbConstraintChecks=343783959  nbAssignments=130000
49.78	       =>  wckTime=49.026  cpuTime=48.54  mem=5M927
53.91	   
53.91	   search
53.91	     run=13  nbConstraintChecks=373166879  nbAssignments=140000
53.91	       =>  wckTime=53.154  cpuTime=52.63  mem=5M927
57.02	   
57.02	   search
57.02	     run=14  nbConstraintChecks=395273701  nbAssignments=147993
57.02	       =>  wckTime=56.268  cpuTime=55.73  mem=5M927
57.02	   
57.02	   global
57.02	     nbConstraintChecks=395273701  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
57.02	     solvingWckTime=56.263  solvingCpuTime=55.73  expiredTime=no  totalExploration=no  nbFoundSolutions=0
57.02	     globalCpuTime=56.08
57.02	       =>  wckTime=56.67  cpuTime=56.03  mem=5M927
57.02	   
57.02	   solver IterativeSystematicSolver being built... 
57.15	       =>  wckTime=56.797  cpuTime=56.12  mem=16M899
57.16	   
57.16	   preprocessing
57.16	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
57.16	     detectedInconsistency=no
57.16	       =>  wckTime=0.0070  cpuTime=0.0  mem=16M899
57.31	   
57.31	   search
57.31	     run=0  nbConstraintChecks=429376  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=88
57.31	     nbFailedAssignments=65  nbBacktracks=10  nbVisitedNodes=164  nbRestartNogoods=0
57.31	       =>  wckTime=0.163  cpuTime=0.13  mem=16M899
57.50	   
57.50	   search
57.50	     run=1  nbConstraintChecks=1074131  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=206
57.50	     nbFailedAssignments=154  nbBacktracks=25  nbVisitedNodes=386  nbRestartNogoods=34
57.50	       =>  wckTime=0.348  cpuTime=0.3  mem=16M899
57.59	   
57.59	   search
57.59	     run=2  nbConstraintChecks=1384966  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=263
57.59	     nbFailedAssignments=185  nbBacktracks=47  nbVisitedNodes=494  nbRestartNogoods=105
57.59	       =>  wckTime=0.441  cpuTime=0.39  mem=16M899
58.14	   
58.14	   search
58.15	     run=3  nbConstraintChecks=3834054  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=770
58.15	     nbFailedAssignments=646  nbBacktracks=80  nbVisitedNodes=1495  nbRestartNogoods=129
58.15	       =>  wckTime=0.995  cpuTime=0.94  mem=16M899
58.53	   
58.53	   search
58.53	     run=4  nbConstraintChecks=5783149  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1219
58.53	     nbFailedAssignments=1031  nbBacktracks=130  nbVisitedNodes=2379  nbRestartNogoods=160
58.53	       =>  wckTime=1.383  cpuTime=1.32  mem=16M899
61.06	   
61.06	   search
61.06	     run=5  nbConstraintChecks=18515647  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3229
61.06	     nbFailedAssignments=2951  nbBacktracks=205  nbVisitedNodes=6384  nbRestartNogoods=235
61.06	       =>  wckTime=3.907  cpuTime=3.8  mem=16M899
62.66	   
62.66	   search
62.66	     run=6  nbConstraintChecks=26311232  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4700
62.66	     nbFailedAssignments=4298  nbBacktracks=319  nbVisitedNodes=9315  nbRestartNogoods=295
62.66	       =>  wckTime=5.509  cpuTime=5.38  mem=16M899
63.97	   
63.97	   search
63.97	     run=7  nbConstraintChecks=32305800  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6116
63.97	     nbFailedAssignments=5530  nbBacktracks=490  nbVisitedNodes=12134  nbRestartNogoods=330
63.97	       =>  wckTime=6.819  cpuTime=6.68  mem=16M899
65.89	   
65.89	   search
65.89	     run=8  nbConstraintChecks=41036423  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=7955
65.89	     nbFailedAssignments=7097  nbBacktracks=747  nbVisitedNodes=15797  nbRestartNogoods=350
65.89	       =>  wckTime=8.738  cpuTime=8.58  mem=16M899
69.49	   
69.49	   search
69.49	     run=9  nbConstraintChecks=55819031  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=11175
69.49	     nbFailedAssignments=9919  nbBacktracks=1131  nbVisitedNodes=22223  nbRestartNogoods=401
69.49	       =>  wckTime=12.343  cpuTime=12.15  mem=16M899
73.31	   
73.31	   search
73.31	     run=10  nbConstraintChecks=74813595  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=14213
73.31	     nbFailedAssignments=12372  nbBacktracks=1707  nbVisitedNodes=28290  nbRestartNogoods=488
73.31	       =>  wckTime=16.157  cpuTime=15.92  mem=16M899
77.91	   
77.91	   search
77.91	     run=11  nbConstraintChecks=95021399  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=18730
77.91	     nbFailedAssignments=16014  nbBacktracks=2571  nbVisitedNodes=37312  nbRestartNogoods=511
77.91	       =>  wckTime=20.764  cpuTime=20.49  mem=16M899
88.50	   
88.50	   search
88.50	     run=12  nbConstraintChecks=142031366  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=27356
88.50	     nbFailedAssignments=23333  nbBacktracks=3868  nbVisitedNodes=54541  nbRestartNogoods=567
88.50	       =>  wckTime=31.355  cpuTime=30.98  mem=16M899
102.87	   
102.87	   search
102.87	     run=13  nbConstraintChecks=195486722  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=34745
102.87	     nbFailedAssignments=28766  nbBacktracks=5814  nbVisitedNodes=69141  nbRestartNogoods=579
102.87	       =>  wckTime=45.721  cpuTime=45.22  mem=16M899
124.86	   
124.86	   search
124.86	     run=14  nbConstraintChecks=271521227  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=46575
124.86	     nbFailedAssignments=37671  nbBacktracks=8733  nbVisitedNodes=92286  nbRestartNogoods=607
124.86	       =>  wckTime=67.706  cpuTime=67.01  mem=16M899
152.22	   
152.22	   search
152.22	     run=15  nbConstraintChecks=364971531  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=62112
152.22	     nbFailedAssignments=48818  nbBacktracks=13111  nbVisitedNodes=122738  nbRestartNogoods=646
152.22	       =>  wckTime=95.068  cpuTime=94.12  mem=16M899
184.42	   
184.42	   search
184.42	     run=16  nbConstraintChecks=463817136  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=79031
184.42	     nbFailedAssignments=59163  nbBacktracks=19680  nbVisitedNodes=154773  nbRestartNogoods=677
184.42	       =>  wckTime=127.271  cpuTime=126.02  mem=16M899
230.80	   
230.80	   search
230.80	     run=17  nbConstraintChecks=613399261  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=103843
230.80	     nbFailedAssignments=74118  nbBacktracks=29532  nbVisitedNodes=201459  nbRestartNogoods=704
230.80	       =>  wckTime=173.65  cpuTime=171.97  mem=16M899
291.12	   
291.12	   search
291.12	     run=18  nbConstraintChecks=804637353  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=134863
291.12	     nbFailedAssignments=90351  nbBacktracks=44310  nbVisitedNodes=258341  nbRestartNogoods=716
291.12	       =>  wckTime=233.972  cpuTime=231.75  mem=16M899
363.11	o 134
363.12	c 1
376.48	   
376.48	   search
376.48	     run=19  nbConstraintChecks=1069209503  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=181512
376.48	     nbFailedAssignments=114826  nbBacktracks=66478  nbVisitedNodes=342189  nbRestartNogoods=763
376.48	       =>  wckTime=319.331  cpuTime=316.34  mem=16M899
440.81	   
440.81	   search
440.81	     run=20  nbConstraintChecks=1265441560  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=223865
440.81	     nbFailedAssignments=132554  nbBacktracks=91104  nbVisitedNodes=407856  nbRestartNogoods=782
440.81	       =>  wckTime=383.66  cpuTime=380.07  mem=16M899
440.81	   
440.81	   global
440.81	     nbConstraintChecks=1265441560  nbRestartNogoods=782  solvingWckTime=383.661  solvingCpuTime=380.07  expiredTime=no
440.81	     totalExploration=yes  nbFoundSolutions=1  globalCpuTime=436.25
440.81	       =>  wckTime=440.458  cpuTime=436.2  mem=16M899
440.81	
440.81	s OPTIMUM FOUND
440.81	v 12 9 0 16 19 1 22 3 27 37 3 28 6 37 0 11 24 4 38 8 9 15 34 0 15 38 27 38 13 12 6 31 1 19 18 20 23 15 25 27 
440.81	   
440.81	   totalWckTime=440.537  totalCpuTime=436.25

Verifier Data (download as text)

1 unsatisfied constraints, 134 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/node9/watcher-276779-1169246420 -o ROOT/results/node9/solver-276779-1169246420 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276779-1169246420/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.92 1.97 1.99 4/94 29001
/proc/meminfo: memFree=1271192/2055920 swapFree=4191880/4192956
[pid=29000] ppid=28998 vsize=9748 CPUtime=0
/proc/29000/stat : 29000 (java) D 28998 29000 28932 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 273037118 9981952 412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8663844 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/29000/statm: 2437 412 333 14 0 1140 0

[startup+0.103356 s]
/proc/loadavg: 1.92 1.97 1.99 4/94 29001
/proc/meminfo: memFree=1271192/2055920 swapFree=4191880/4192956
[pid=29000] ppid=28998 vsize=907808 CPUtime=0.05
/proc/29000/stat : 29000 (java) R 28998 29000 28932 0 -1 0 2426 0 1 0 4 1 0 0 16 0 4 0 273037118 929595392 2173 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072936456 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/29000/statm: 226952 2173 1200 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808

[startup+0.511397 s]
/proc/loadavg: 1.92 1.97 1.99 4/94 29001
/proc/meminfo: memFree=1271192/2055920 swapFree=4191880/4192956
[pid=29000] ppid=28998 vsize=915332 CPUtime=0.45
/proc/29000/stat : 29000 (java) R 28998 29000 28932 0 -1 0 6514 0 1 0 41 4 0 0 18 0 8 0 273037118 937299968 6253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819950 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29000/statm: 228833 6253 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915332

[startup+1.33249 s]
/proc/loadavg: 1.92 1.97 1.99 3/101 29008
/proc/meminfo: memFree=1245856/2055920 swapFree=4191880/4192956
[pid=29000] ppid=28998 vsize=915444 CPUtime=1.26
/proc/29000/stat : 29000 (java) R 28998 29000 28932 0 -1 0 8982 0 1 0 114 12 0 0 25 0 8 0 273037118 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679465 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29000/statm: 228861 8720 2476 14 0 215331 0
[pid=29000/tid=29002] ppid=28998 vsize=915444 CPUtime=0.02
/proc/29000/task/29002/stat : 29002 (java) S 28998 29000 28932 0 -1 64 256 0 0 0 2 0 0 0 16 0 8 0 273037126 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29003] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29003/stat : 29003 (java) S 28998 29000 28932 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273037126 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29004] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29004/stat : 29004 (java) S 28998 29000 28932 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273037126 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29005] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29005/stat : 29005 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273037130 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29006] ppid=28998 vsize=915444 CPUtime=0.11
/proc/29000/task/29006/stat : 29006 (java) S 28998 29000 28932 0 -1 64 335 0 0 0 11 0 0 0 16 0 8 0 273037130 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29007] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29007/stat : 29007 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273037130 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29008] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29008/stat : 29008 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273037130 937414656 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915444

[startup+2.96968 s]
/proc/loadavg: 1.92 1.97 1.99 3/101 29008
/proc/meminfo: memFree=1245856/2055920 swapFree=4191880/4192956
[pid=29000] ppid=28998 vsize=915448 CPUtime=2.89
/proc/29000/stat : 29000 (java) R 28998 29000 28932 0 -1 0 8983 0 1 0 258 31 0 0 25 0 8 0 273037118 937418752 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29000/statm: 228862 8720 2476 14 0 215332 0
[pid=29000/tid=29002] ppid=28998 vsize=915448 CPUtime=0.02
/proc/29000/task/29002/stat : 29002 (java) S 28998 29000 28932 0 -1 64 256 0 0 0 2 0 0 0 16 0 8 0 273037126 937418752 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29003] ppid=28998 vsize=915448 CPUtime=0
/proc/29000/task/29003/stat : 29003 (java) S 28998 29000 28932 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273037126 937418752 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29004] ppid=28998 vsize=915448 CPUtime=0
/proc/29000/task/29004/stat : 29004 (java) S 28998 29000 28932 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273037126 937418752 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29005] ppid=28998 vsize=915448 CPUtime=0
/proc/29000/task/29005/stat : 29005 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273037130 937418752 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29006] ppid=28998 vsize=915448 CPUtime=0.11
/proc/29000/task/29006/stat : 29006 (java) S 28998 29000 28932 0 -1 64 335 0 0 0 11 0 0 0 16 0 8 0 273037130 937418752 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29007] ppid=28998 vsize=915448 CPUtime=0
/proc/29000/task/29007/stat : 29007 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273037130 937418752 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29008] ppid=28998 vsize=915448 CPUtime=0
/proc/29000/task/29008/stat : 29008 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273037130 937418752 8720 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915448

[startup+6.17003 s]
/proc/loadavg: 1.93 1.97 1.99 4/101 29008
/proc/meminfo: memFree=1245856/2055920 swapFree=4191880/4192956
[pid=29000] ppid=28998 vsize=915444 CPUtime=6.05
/proc/29000/stat : 29000 (java) R 28998 29000 28932 0 -1 0 8985 0 1 0 541 64 0 0 25 0 8 0 273037118 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679587 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29000/statm: 228861 8722 2476 14 0 215331 0
[pid=29000/tid=29002] ppid=28998 vsize=915444 CPUtime=0.02
/proc/29000/task/29002/stat : 29002 (java) S 28998 29000 28932 0 -1 64 256 0 0 0 2 0 0 0 16 0 8 0 273037126 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29003] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29003/stat : 29003 (java) S 28998 29000 28932 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273037126 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29004] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29004/stat : 29004 (java) S 28998 29000 28932 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273037126 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29005] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29005/stat : 29005 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273037130 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29006] ppid=28998 vsize=915444 CPUtime=0.11
/proc/29000/task/29006/stat : 29006 (java) S 28998 29000 28932 0 -1 64 337 0 0 0 11 0 0 0 16 0 8 0 273037130 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29007] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29007/stat : 29007 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273037130 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29008] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29008/stat : 29008 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273037130 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 915444

[startup+12.6378 s]
/proc/loadavg: 1.93 1.97 1.99 4/101 29008
/proc/meminfo: memFree=1245856/2055920 swapFree=4191880/4192956
[pid=29000] ppid=28998 vsize=915444 CPUtime=12.46
/proc/29000/stat : 29000 (java) R 28998 29000 28932 0 -1 0 8985 0 1 0 1113 133 0 0 25 0 8 0 273037118 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679440 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29000/statm: 228861 8722 2476 14 0 215331 0
[pid=29000/tid=29002] ppid=28998 vsize=915444 CPUtime=0.02
/proc/29000/task/29002/stat : 29002 (java) S 28998 29000 28932 0 -1 64 256 0 0 0 2 0 0 0 16 0 8 0 273037126 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29003] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29003/stat : 29003 (java) S 28998 29000 28932 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273037126 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29004] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29004/stat : 29004 (java) S 28998 29000 28932 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273037126 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29005] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29005/stat : 29005 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273037130 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29006] ppid=28998 vsize=915444 CPUtime=0.11
/proc/29000/task/29006/stat : 29006 (java) S 28998 29000 28932 0 -1 64 337 0 0 0 11 0 0 0 16 0 8 0 273037130 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29007] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29007/stat : 29007 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273037130 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29008] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29008/stat : 29008 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273037130 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 915444

[startup+25.5042 s]
/proc/loadavg: 1.95 1.97 1.99 3/101 29008
/proc/meminfo: memFree=1245920/2055920 swapFree=4191880/4192956
[pid=29000] ppid=28998 vsize=915444 CPUtime=25.21
/proc/29000/stat : 29000 (java) R 28998 29000 28932 0 -1 0 8985 0 1 0 2251 270 0 0 25 0 8 0 273037118 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073685604 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29000/statm: 228861 8722 2476 14 0 215331 0
[pid=29000/tid=29002] ppid=28998 vsize=915444 CPUtime=0.02
/proc/29000/task/29002/stat : 29002 (java) S 28998 29000 28932 0 -1 64 256 0 0 0 2 0 0 0 16 0 8 0 273037126 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29003] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29003/stat : 29003 (java) S 28998 29000 28932 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273037126 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29004] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29004/stat : 29004 (java) S 28998 29000 28932 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273037126 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29005] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29005/stat : 29005 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273037130 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29006] ppid=28998 vsize=915444 CPUtime=0.11
/proc/29000/task/29006/stat : 29006 (java) S 28998 29000 28932 0 -1 64 337 0 0 0 11 0 0 0 16 0 8 0 273037130 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29007] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29007/stat : 29007 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273037130 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29008] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29008/stat : 29008 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273037130 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 915444

[startup+51.1111 s]
/proc/loadavg: 1.96 1.97 1.99 3/101 29008
/proc/meminfo: memFree=1245856/2055920 swapFree=4191880/4192956
[pid=29000] ppid=28998 vsize=915444 CPUtime=50.58
/proc/29000/stat : 29000 (java) R 28998 29000 28932 0 -1 0 8986 0 1 0 4523 535 0 0 25 0 8 0 273037118 937414656 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073684328 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29000/statm: 228861 8723 2476 14 0 215331 0
[pid=29000/tid=29002] ppid=28998 vsize=915444 CPUtime=0.02
/proc/29000/task/29002/stat : 29002 (java) S 28998 29000 28932 0 -1 64 256 0 0 0 2 0 0 0 16 0 8 0 273037126 937414656 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29003] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29003/stat : 29003 (java) S 28998 29000 28932 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273037126 937414656 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29004] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29004/stat : 29004 (java) S 28998 29000 28932 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273037126 937414656 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29005] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29005/stat : 29005 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273037130 937414656 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29006] ppid=28998 vsize=915444 CPUtime=0.11
/proc/29000/task/29006/stat : 29006 (java) S 28998 29000 28932 0 -1 64 338 0 0 0 11 0 0 0 16 0 8 0 273037130 937414656 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29007] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29007/stat : 29007 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273037130 937414656 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29008] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29008/stat : 29008 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273037130 937414656 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 915444

[startup+102.328 s]
/proc/loadavg: 1.98 1.97 1.99 3/101 29008
/proc/meminfo: memFree=1245472/2055920 swapFree=4191880/4192956
[pid=29000] ppid=28998 vsize=915444 CPUtime=101.33
/proc/29000/stat : 29000 (java) R 28998 29000 28932 0 -1 0 9161 0 1 0 9540 593 0 0 25 0 8 0 273037118 937414656 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073857470 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29000/statm: 228861 8892 2527 14 0 215331 0
[pid=29000/tid=29002] ppid=28998 vsize=915444 CPUtime=0.02
/proc/29000/task/29002/stat : 29002 (java) S 28998 29000 28932 0 -1 64 257 0 0 0 2 0 0 0 16 0 8 0 273037126 937414656 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29003] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29003/stat : 29003 (java) S 28998 29000 28932 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273037126 937414656 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29004] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29004/stat : 29004 (java) S 28998 29000 28932 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273037126 937414656 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29005] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29005/stat : 29005 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273037130 937414656 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29006] ppid=28998 vsize=915444 CPUtime=0.22
/proc/29000/task/29006/stat : 29006 (java) S 28998 29000 28932 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 273037130 937414656 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29007] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29007/stat : 29007 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273037130 937414656 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29008] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29008/stat : 29008 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273037130 937414656 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 915444

[startup+162.404 s]
/proc/loadavg: 1.99 1.97 1.99 3/101 29008
/proc/meminfo: memFree=1245472/2055920 swapFree=4191880/4192956
[pid=29000] ppid=28998 vsize=915444 CPUtime=160.86
/proc/29000/stat : 29000 (java) R 28998 29000 28932 0 -1 0 9169 0 1 0 15492 594 0 0 25 0 8 0 273037118 937414656 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073678481 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29000/statm: 228861 8900 2527 14 0 215331 0
[pid=29000/tid=29002] ppid=28998 vsize=915444 CPUtime=0.02
/proc/29000/task/29002/stat : 29002 (java) S 28998 29000 28932 0 -1 64 257 0 0 0 2 0 0 0 16 0 8 0 273037126 937414656 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29003] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29003/stat : 29003 (java) S 28998 29000 28932 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273037126 937414656 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29004] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29004/stat : 29004 (java) S 28998 29000 28932 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273037126 937414656 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29005] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29005/stat : 29005 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273037130 937414656 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29006] ppid=28998 vsize=915444 CPUtime=0.22
/proc/29000/task/29006/stat : 29006 (java) S 28998 29000 28932 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 273037130 937414656 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29007] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29007/stat : 29007 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273037130 937414656 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29008] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29008/stat : 29008 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273037130 937414656 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.86
Current children cumulated vsize (KiB) 915444

[startup+222.462 s]
/proc/loadavg: 2.05 1.99 1.99 3/101 29008
/proc/meminfo: memFree=1245408/2055920 swapFree=4191880/4192956
[pid=29000] ppid=28998 vsize=915444 CPUtime=220.37
/proc/29000/stat : 29000 (java) R 28998 29000 28932 0 -1 0 9173 0 1 0 21443 594 0 0 25 0 8 0 273037118 937414656 8903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073678649 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29000/statm: 228861 8903 2527 14 0 215331 0
[pid=29000/tid=29002] ppid=28998 vsize=915444 CPUtime=0.02
/proc/29000/task/29002/stat : 29002 (java) S 28998 29000 28932 0 -1 64 257 0 0 0 2 0 0 0 16 0 8 0 273037126 937414656 8903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29003] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29003/stat : 29003 (java) S 28998 29000 28932 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273037126 937414656 8903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29004] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29004/stat : 29004 (java) S 28998 29000 28932 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273037126 937414656 8903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29005] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29005/stat : 29005 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273037130 937414656 8903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29006] ppid=28998 vsize=915444 CPUtime=0.22
/proc/29000/task/29006/stat : 29006 (java) S 28998 29000 28932 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 273037130 937414656 8903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29007] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29007/stat : 29007 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273037130 937414656 8903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29008] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29008/stat : 29008 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273037130 937414656 8903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.37
Current children cumulated vsize (KiB) 915444

[startup+282.516 s]
/proc/loadavg: 2.02 1.99 1.99 3/101 29008
/proc/meminfo: memFree=1245472/2055920 swapFree=4191880/4192956
[pid=29000] ppid=28998 vsize=915444 CPUtime=279.87
/proc/29000/stat : 29000 (java) R 28998 29000 28932 0 -1 0 9177 0 1 0 27393 594 0 0 25 0 8 0 273037118 937414656 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804989 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29000/statm: 228861 8906 2527 14 0 215331 0
[pid=29000/tid=29002] ppid=28998 vsize=915444 CPUtime=0.02
/proc/29000/task/29002/stat : 29002 (java) S 28998 29000 28932 0 -1 64 257 0 0 0 2 0 0 0 16 0 8 0 273037126 937414656 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29003] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29003/stat : 29003 (java) S 28998 29000 28932 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273037126 937414656 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29004] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29004/stat : 29004 (java) S 28998 29000 28932 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273037126 937414656 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29005] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29005/stat : 29005 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273037130 937414656 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29006] ppid=28998 vsize=915444 CPUtime=0.22
/proc/29000/task/29006/stat : 29006 (java) S 28998 29000 28932 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 273037130 937414656 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29007] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29007/stat : 29007 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273037130 937414656 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29008] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29008/stat : 29008 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273037130 937414656 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.87
Current children cumulated vsize (KiB) 915444

[startup+342.577 s]
/proc/loadavg: 2.00 1.99 1.99 3/101 29008
/proc/meminfo: memFree=1245408/2055920 swapFree=4191880/4192956
[pid=29000] ppid=28998 vsize=915444 CPUtime=339.39
/proc/29000/stat : 29000 (java) R 28998 29000 28932 0 -1 0 9180 0 1 0 33344 595 0 0 25 0 8 0 273037118 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797992 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29000/statm: 228861 8908 2527 14 0 215331 0
[pid=29000/tid=29002] ppid=28998 vsize=915444 CPUtime=0.02
/proc/29000/task/29002/stat : 29002 (java) S 28998 29000 28932 0 -1 64 257 0 0 0 2 0 0 0 16 0 8 0 273037126 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29003] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29003/stat : 29003 (java) S 28998 29000 28932 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273037126 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29004] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29004/stat : 29004 (java) S 28998 29000 28932 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273037126 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29005] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29005/stat : 29005 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273037130 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29006] ppid=28998 vsize=915444 CPUtime=0.22
/proc/29000/task/29006/stat : 29006 (java) S 28998 29000 28932 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 273037130 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29007] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29007/stat : 29007 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273037130 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29008] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29008/stat : 29008 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273037130 937414656 8908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.39
Current children cumulated vsize (KiB) 915444

[startup+402.632 s]
/proc/loadavg: 2.00 1.99 1.99 3/101 29008
/proc/meminfo: memFree=1245408/2055920 swapFree=4191880/4192956
[pid=29000] ppid=28998 vsize=915444 CPUtime=398.89
/proc/29000/stat : 29000 (java) R 28998 29000 28932 0 -1 0 9183 0 1 0 39294 595 0 0 25 0 8 0 273037118 937414656 8911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798007 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29000/statm: 228861 8911 2527 14 0 215331 0
[pid=29000/tid=29002] ppid=28998 vsize=915444 CPUtime=0.02
/proc/29000/task/29002/stat : 29002 (java) S 28998 29000 28932 0 -1 64 257 0 0 0 2 0 0 0 16 0 8 0 273037126 937414656 8911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29003] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29003/stat : 29003 (java) S 28998 29000 28932 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273037126 937414656 8911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29004] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29004/stat : 29004 (java) S 28998 29000 28932 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273037126 937414656 8911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29005] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29005/stat : 29005 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273037130 937414656 8911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29006] ppid=28998 vsize=915444 CPUtime=0.22
/proc/29000/task/29006/stat : 29006 (java) S 28998 29000 28932 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 273037130 937414656 8911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29007] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29007/stat : 29007 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273037130 937414656 8911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29000/tid=29008] ppid=28998 vsize=915444 CPUtime=0
/proc/29000/task/29008/stat : 29008 (java) S 28998 29000 28932 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273037130 937414656 8911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 398.89
Current children cumulated vsize (KiB) 915444

Child status: 0
Real time (s): 440.834
CPU time (s): 436.743
CPU user time (s): 430.777
CPU system time (s): 5.96509
CPU usage (%): 99.072
Max. virtual memory (cumulated for all children) (KiB): 915448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 430.778
system time used= 5.96509
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9279
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= 10065
involuntary context switches= 24505

runsolver used 0.527919 s user time and 1.43378 s system time

The end

Launcher Data (download as text)

Begin job on node9 on Fri Jan 19 22:40:20 UTC 2007


IDJOB= 276779
IDBENCH= 6025
IDSOLVER= 69
FILE ID= node9/276779-1169246420

PBS_JOBID= 3589058

Free space on /tmp= 66562 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-14_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276779-1169246420/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-276779-1169246420 -o ROOT/results/node9/solver-276779-1169246420 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276779-1169246420/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  3c571811344329da499115137c65f8ae

RANDOM SEED= 652914902

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.231
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.231
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:       1271608 kB
Buffers:         58448 kB
Cached:         582796 kB
SwapCached:        268 kB
Active:         292108 kB
Inactive:       407856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1271608 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            2268 kB
Writeback:           0 kB
Mapped:          77984 kB
Slab:            68960 kB
Committed_AS:  8016956 kB
PageTables:       2396 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= 66562 MiB



End job on node9 on Fri Jan 19 22:47:41 UTC 2007