Trace number 277130

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 260.751 260.912

General information on the benchmark

Nametightness/tightness0.35/
rand-2-40-16-250-350-29_ext.xml
MD5SUM62dea78fee4aa672a1b59404c260ab7e
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints249
Best CPU time to get the best result obtained on this benchmark27.5988
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints250
Maximum constraint arity2
Maximum domain size16
Number of constraints which are defined in extension250
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.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=pfc.xml
0.39	   
0.39	   instance
0.39	     name=/tmp/evaluation/277130-1169257515/unknown.xml
0.42	   
0.42	   domains being loaded...
0.43	   
0.43	   variables being loaded...
0.46	     nbVariables=40  nbDomainTypes=1  minDomainSize=16  maxDomainSize=16
0.46	       =>  wckTime=0.16  cpuTime=0.09  mem=6M910
0.46	   
0.46	   relations being loaded...
0.54	   
0.54	   constraints being loaded...
0.65	     nbConstraints=250  nbRelationTypes=250  nbExtensionStructures=250  nbSharedExtensionStructures=0
0.65	     nbConflictsStructures=250  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=1439  maxDegree=18
0.65	     maxArity=2
0.65	       =>  wckTime=0.345  cpuTime=0.21  mem=11M785
0.69	   
0.69	   solver LocalSearchSolver being built... 
0.74	       =>  wckTime=0.435  cpuTime=0.25  mem=5M870
0.74	
0.74	s SATISFIABLE
0.74	o 174
0.74	c 76
0.74	o 179
0.74	c 71
0.75	o 183
0.75	c 67
0.75	o 186
0.75	c 64
0.75	o 190
0.75	c 60
0.75	o 194
0.75	c 56
0.75	o 197
0.75	c 53
0.75	o 200
0.75	c 50
0.75	o 202
0.75	c 48
0.75	o 204
0.75	c 46
0.75	o 207
0.75	c 43
0.75	o 209
0.75	c 41
0.76	o 211
0.76	c 39
0.76	o 212
0.76	c 38
0.76	o 215
0.76	c 35
0.76	o 217
0.76	c 33
0.76	o 220
0.76	c 30
0.76	o 221
0.76	c 29
0.76	o 222
0.76	c 28
0.76	o 223
0.76	c 27
0.76	o 225
0.76	c 25
0.76	o 227
0.76	c 23
0.76	o 228
0.76	c 22
0.76	o 230
0.76	c 20
0.77	o 231
0.77	c 19
0.77	o 233
0.77	c 17
0.77	o 234
0.77	c 16
0.77	o 237
0.77	c 13
0.78	o 238
0.78	c 12
0.78	o 239
0.78	c 11
0.78	o 241
0.78	c 9
0.79	o 242
0.79	c 8
0.81	o 243
0.81	c 7
0.82	o 244
0.82	c 6
0.82	o 245
0.82	c 5
0.82	o 246
0.82	c 4
0.82	o 247
0.82	c 3
1.26	o 248
1.26	c 2
3.17	   
3.17	   search
3.17	     run=0  nbConstraintChecks=15533229  nbAssignments=10000
3.17	       =>  wckTime=2.433  cpuTime=2.41  mem=5M870
5.56	   
5.56	   search
5.56	     run=1  nbConstraintChecks=31366735  nbAssignments=20000
5.56	       =>  wckTime=4.823  cpuTime=4.79  mem=5M870
7.90	   
7.90	   search
7.90	     run=2  nbConstraintChecks=46857174  nbAssignments=30000
7.90	       =>  wckTime=7.165  cpuTime=7.14  mem=5M870
10.19	   
10.19	   search
10.19	     run=3  nbConstraintChecks=61706351  nbAssignments=40000
10.19	       =>  wckTime=9.451  cpuTime=9.42  mem=5M870
10.34	o 249
10.34	c 1
10.34	   
10.34	   search
10.34	     run=4  nbConstraintChecks=62602982  nbAssignments=40789
10.34	       =>  wckTime=9.601  cpuTime=9.57  mem=5M870
10.34	   
10.34	   global
10.34	     nbConstraintChecks=62602982  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
10.34	     solvingWckTime=9.599  solvingCpuTime=9.57  expiredTime=no  totalExploration=no  nbFoundSolutions=0
10.34	     globalCpuTime=9.87
10.34	       =>  wckTime=10.037  cpuTime=9.82  mem=5M870
10.34	   
10.34	   solver IterativeSystematicSolver being built... 
10.47	       =>  wckTime=10.166  cpuTime=9.93  mem=16M778
10.48	   
10.48	   preprocessing
10.48	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
10.48	     detectedInconsistency=no
10.48	       =>  wckTime=0.0060  cpuTime=0.0  mem=16M778
10.57	   
10.57	   search
10.57	     run=0  nbConstraintChecks=167182  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=45
10.57	     nbFailedAssignments=30  nbBacktracks=10  nbVisitedNodes=85  nbRestartNogoods=0
10.57	       =>  wckTime=0.097  cpuTime=0.06  mem=16M778
10.63	   
10.63	   search
10.63	     run=1  nbConstraintChecks=337862  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=94
10.63	     nbFailedAssignments=59  nbBacktracks=25  nbVisitedNodes=177  nbRestartNogoods=10
10.63	       =>  wckTime=0.158  cpuTime=0.11  mem=16M778
10.68	   
10.68	   search
10.68	     run=2  nbConstraintChecks=560350  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=162
10.68	     nbFailedAssignments=99  nbBacktracks=47  nbVisitedNodes=306  nbRestartNogoods=20
10.68	       =>  wckTime=0.216  cpuTime=0.17  mem=16M778
10.77	   
10.77	   search
10.77	     run=3  nbConstraintChecks=862810  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=265
10.77	     nbFailedAssignments=162  nbBacktracks=80  nbVisitedNodes=505  nbRestartNogoods=27
10.77	       =>  wckTime=0.302  cpuTime=0.25  mem=16M778
10.90	   
10.90	   search
10.90	     run=4  nbConstraintChecks=1390427  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=403
10.90	     nbFailedAssignments=245  nbBacktracks=130  nbVisitedNodes=774  nbRestartNogoods=50
10.90	       =>  wckTime=0.436  cpuTime=0.38  mem=16M778
11.13	   
11.13	   search
11.13	     run=5  nbConstraintChecks=2212704  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=604
11.13	     nbFailedAssignments=367  nbBacktracks=206  nbVisitedNodes=1156  nbRestartNogoods=71
11.13	       =>  wckTime=0.666  cpuTime=0.61  mem=16M778
11.44	   
11.44	   search
11.44	     run=6  nbConstraintChecks=3359378  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=898
11.44	     nbFailedAssignments=542  nbBacktracks=319  nbVisitedNodes=1708  nbRestartNogoods=82
11.44	       =>  wckTime=0.974  cpuTime=0.93  mem=16M778
11.93	   
11.93	   search
11.93	     run=7  nbConstraintChecks=5219084  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1337
11.93	     nbFailedAssignments=806  nbBacktracks=491  nbVisitedNodes=2546  nbRestartNogoods=90
11.93	       =>  wckTime=1.464  cpuTime=1.41  mem=16M778
12.59	   
12.59	   search
12.59	     run=8  nbConstraintChecks=7686990  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1933
12.59	     nbFailedAssignments=1142  nbBacktracks=747  nbVisitedNodes=3647  nbRestartNogoods=95
12.59	       =>  wckTime=2.119  cpuTime=2.06  mem=16M778
13.51	   
13.51	   search
13.51	     run=9  nbConstraintChecks=11346807  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2833
13.51	     nbFailedAssignments=1654  nbBacktracks=1131  nbVisitedNodes=5299  nbRestartNogoods=101
13.51	       =>  wckTime=3.041  cpuTime=2.97  mem=16M778
14.80	   
14.80	   search
14.80	     run=10  nbConstraintChecks=16225274  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4057
14.80	     nbFailedAssignments=2297  nbBacktracks=1707  nbVisitedNodes=7411  nbRestartNogoods=112
14.80	       =>  wckTime=4.335  cpuTime=4.26  mem=16M778
16.44	   
16.44	   search
16.44	     run=11  nbConstraintChecks=22634201  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5787
16.44	     nbFailedAssignments=3156  nbBacktracks=2571  nbVisitedNodes=10372  nbRestartNogoods=123
16.44	       =>  wckTime=5.971  cpuTime=5.89  mem=16M778
18.71	   
18.71	   search
18.71	     run=12  nbConstraintChecks=31476651  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=8176
18.71	     nbFailedAssignments=4241  nbBacktracks=3868  nbVisitedNodes=14245  nbRestartNogoods=137
18.71	       =>  wckTime=8.247  cpuTime=8.17  mem=16M778
21.79	   
21.79	   search
21.79	     run=13  nbConstraintChecks=43538823  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=11602
21.79	     nbFailedAssignments=5713  nbBacktracks=5814  nbVisitedNodes=19640  nbRestartNogoods=149
21.79	       =>  wckTime=11.327  cpuTime=11.24  mem=16M778
26.02	   
26.02	   search
26.02	     run=14  nbConstraintChecks=60203752  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=16507
26.02	     nbFailedAssignments=7692  nbBacktracks=8735  nbVisitedNodes=27145  nbRestartNogoods=159
26.02	       =>  wckTime=15.557  cpuTime=15.47  mem=16M778
32.32	   
32.32	   search
32.32	     run=15  nbConstraintChecks=85388906  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=23816
32.32	     nbFailedAssignments=10616  nbBacktracks=13113  nbVisitedNodes=38217  nbRestartNogoods=167
32.32	       =>  wckTime=21.849  cpuTime=21.76  mem=16M778
41.34	   
41.34	   search
41.34	     run=16  nbConstraintChecks=120872175  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=34625
41.34	     nbFailedAssignments=14849  nbBacktracks=19682  nbVisitedNodes=54481  nbRestartNogoods=183
41.34	       =>  wckTime=30.875  cpuTime=30.78  mem=16M778
55.08	   
55.08	   search
55.08	     run=17  nbConstraintChecks=176476627  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=50897
55.08	     nbFailedAssignments=21263  nbBacktracks=29537  nbVisitedNodes=78991  nbRestartNogoods=202
55.08	       =>  wckTime=44.614  cpuTime=44.51  mem=16M778
74.97	   
74.98	   search
74.98	     run=18  nbConstraintChecks=256429587  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=75068
74.98	     nbFailedAssignments=30650  nbBacktracks=44316  nbVisitedNodes=115179  nbRestartNogoods=210
74.98	       =>  wckTime=64.507  cpuTime=64.4  mem=16M778
104.39	   
104.39	   search
104.39	     run=19  nbConstraintChecks=376099343  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=111166
104.39	     nbFailedAssignments=44571  nbBacktracks=66484  nbVisitedNodes=169131  nbRestartNogoods=221
104.39	       =>  wckTime=93.924  cpuTime=93.82  mem=16M778
148.74	   
148.74	   search
148.74	     run=20  nbConstraintChecks=556497082  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=165541
148.74	     nbFailedAssignments=65690  nbBacktracks=99736  nbVisitedNodes=250274  nbRestartNogoods=236
148.74	       =>  wckTime=138.272  cpuTime=138.15  mem=16M778
213.36	   
213.36	   search
213.36	     run=21  nbConstraintChecks=816663882  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=246001
213.36	     nbFailedAssignments=96264  nbBacktracks=149614  nbVisitedNodes=369559  nbRestartNogoods=242
213.36	       =>  wckTime=202.894  cpuTime=202.76  mem=16M778
260.89	   
260.89	   search
260.89	     run=22  nbConstraintChecks=1008777260  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=306241
260.89	     nbFailedAssignments=118901  nbBacktracks=187218  nbVisitedNodes=458792  nbRestartNogoods=258
260.89	       =>  wckTime=250.421  cpuTime=250.27  mem=16M778
260.89	   
260.89	   global
260.89	     nbConstraintChecks=1008777260  nbRestartNogoods=258  solvingWckTime=250.422  solvingCpuTime=250.27  expiredTime=no
260.89	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=260.25
260.89	       =>  wckTime=260.588  cpuTime=260.2  mem=16M778
260.89	
260.89	s OPTIMUM FOUND
260.89	v 2 12 15 8 14 14 5 9 10 0 4 8 0 2 5 8 12 3 4 9 10 11 12 4 0 8 15 4 13 15 8 7 8 8 3 15 13 5 0 15 
260.89	   
260.89	   totalWckTime=260.665  totalCpuTime=260.25

Verifier Data (download as text)

1 unsatisfied constraints, 249 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/node5/watcher-277130-1169257515 -o ROOT/results/node5/solver-277130-1169257515 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277130-1169257515/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: 0.92 0.98 0.99 6/86 17299
/proc/meminfo: memFree=1184632/2055920 swapFree=4192812/4192956
[pid=17298] ppid=17293 vsize=1500 CPUtime=0
/proc/17298/stat : 17298 (java) R 17293 17298 17187 0 -1 0 87 0 0 0 0 0 0 0 18 0 1 0 254365947 1536000 69 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7864928 0 0 4096 0 0 0 0 17 0 0 0
/proc/17298/statm: 375 69 54 14 0 8 0

[startup+0.10676 s]
/proc/loadavg: 0.92 0.98 0.99 6/86 17299
/proc/meminfo: memFree=1184632/2055920 swapFree=4192812/4192956
[pid=17298] ppid=17293 vsize=914988 CPUtime=0.09
/proc/17298/stat : 17298 (java) R 17293 17298 17187 0 -1 0 2995 0 1 0 7 2 0 0 18 0 8 0 254365947 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925080 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17298/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.516809 s]
/proc/loadavg: 0.92 0.98 0.99 6/86 17299
/proc/meminfo: memFree=1184632/2055920 swapFree=4192812/4192956
[pid=17298] ppid=17293 vsize=915332 CPUtime=0.43
/proc/17298/stat : 17298 (java) R 17293 17298 17187 0 -1 0 6330 0 1 0 39 4 0 0 18 0 8 0 254365947 937299968 6069 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17298/statm: 228833 6069 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915332

[startup+1.34166 s]
/proc/loadavg: 1.09 1.02 1.01 4/100 17313
/proc/meminfo: memFree=1142856/2055920 swapFree=4192812/4192956
[pid=17298] ppid=17293 vsize=915464 CPUtime=1.25
/proc/17298/stat : 17298 (java) R 17293 17298 17187 0 -1 0 7894 0 1 0 109 16 0 0 25 0 8 0 254365947 937435136 7632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17298/statm: 228866 7632 2476 14 0 215336 0
[pid=17298/tid=17301] ppid=17293 vsize=915464 CPUtime=0.03
/proc/17298/task/17301/stat : 17301 (java) S 17293 17298 17187 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 254365951 937435136 7632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17304] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17304/stat : 17304 (java) S 17293 17298 17187 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 254365951 937435136 7632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17305] ppid=17293 vsize=915468 CPUtime=0
/proc/17298/task/17305/stat : 17305 (java) S 17293 17298 17187 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 254365951 937439232 7632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17310] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17310/stat : 17310 (java) S 17293 17298 17187 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 254365955 937435136 7632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17311] ppid=17293 vsize=915464 CPUtime=0.14
/proc/17298/task/17311/stat : 17311 (java) S 17293 17298 17187 0 -1 64 348 0 0 0 14 0 0 0 16 0 8 0 254365955 937435136 7632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17312] ppid=17293 vsize=915468 CPUtime=0
/proc/17298/task/17312/stat : 17312 (java) S 17293 17298 17187 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 254365955 937439232 7632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17313] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17313/stat : 17313 (java) S 17293 17298 17187 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 254365955 937435136 7632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915464

[startup+2.98185 s]
/proc/loadavg: 1.09 1.02 1.01 4/100 17313
/proc/meminfo: memFree=1142792/2055920 swapFree=4192812/4192956
[pid=17298] ppid=17293 vsize=915464 CPUtime=2.9
/proc/17298/stat : 17298 (java) R 17293 17298 17187 0 -1 0 7895 0 1 0 247 43 0 0 25 0 8 0 254365947 937435136 7632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17298/statm: 228866 7632 2476 14 0 215336 0
[pid=17298/tid=17301] ppid=17293 vsize=915464 CPUtime=0.03
/proc/17298/task/17301/stat : 17301 (java) S 17293 17298 17187 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 254365951 937435136 7632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17304] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17304/stat : 17304 (java) S 17293 17298 17187 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 254365951 937435136 7632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17305] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17305/stat : 17305 (java) S 17293 17298 17187 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 254365951 937435136 7632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17310] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17310/stat : 17310 (java) S 17293 17298 17187 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 254365955 937435136 7632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17311] ppid=17293 vsize=915468 CPUtime=0.14
/proc/17298/task/17311/stat : 17311 (java) S 17293 17298 17187 0 -1 64 348 0 0 0 14 0 0 0 16 0 8 0 254365955 937439232 7632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17312] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17312/stat : 17312 (java) S 17293 17298 17187 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 254365955 937435136 7632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17313] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17313/stat : 17313 (java) S 17293 17298 17187 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 254365955 937435136 7632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915464

[startup+6.26622 s]
/proc/loadavg: 1.24 1.05 1.02 3/100 17313
/proc/meminfo: memFree=1142664/2055920 swapFree=4192812/4192956
[pid=17298] ppid=17293 vsize=915464 CPUtime=6.18
/proc/17298/stat : 17298 (java) R 17293 17298 17187 0 -1 0 7898 0 1 0 522 96 0 0 25 0 8 0 254365947 937435136 7635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17298/statm: 228866 7635 2476 14 0 215336 0
[pid=17298/tid=17301] ppid=17293 vsize=915464 CPUtime=0.03
/proc/17298/task/17301/stat : 17301 (java) S 17293 17298 17187 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 254365951 937435136 7635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17304] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17304/stat : 17304 (java) S 17293 17298 17187 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 254365951 937435136 7635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17305] ppid=17293 vsize=915468 CPUtime=0
/proc/17298/task/17305/stat : 17305 (java) S 17293 17298 17187 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 254365951 937439232 7635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17310] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17310/stat : 17310 (java) S 17293 17298 17187 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 254365955 937435136 7635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17311] ppid=17293 vsize=915464 CPUtime=0.14
/proc/17298/task/17311/stat : 17311 (java) S 17293 17298 17187 0 -1 64 350 0 0 0 14 0 0 0 16 0 8 0 254365955 937435136 7635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17312] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17312/stat : 17312 (java) S 17293 17298 17187 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 254365955 937435136 7635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17313] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17313/stat : 17313 (java) S 17293 17298 17187 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 254365955 937435136 7635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915464

[startup+12.748 s]
/proc/loadavg: 1.30 1.06 1.02 3/100 17313
/proc/meminfo: memFree=1133448/2055920 swapFree=4192812/4192956
[pid=17298] ppid=17293 vsize=915464 CPUtime=12.66
/proc/17298/stat : 17298 (java) R 17293 17298 17187 0 -1 0 9118 0 1 0 1100 166 0 0 25 0 8 0 254365947 937435136 8852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073900339 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17298/statm: 228866 8852 2527 14 0 215336 0
[pid=17298/tid=17301] ppid=17293 vsize=915464 CPUtime=0.03
/proc/17298/task/17301/stat : 17301 (java) S 17293 17298 17187 0 -1 64 246 0 0 0 3 0 0 0 17 0 8 0 254365951 937435136 8852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17304] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17304/stat : 17304 (java) S 17293 17298 17187 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 254365951 937435136 8852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17305] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17305/stat : 17305 (java) S 17293 17298 17187 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 254365951 937435136 8852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17310] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17310/stat : 17310 (java) S 17293 17298 17187 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 254365955 937435136 8852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17311] ppid=17293 vsize=915464 CPUtime=0.24
/proc/17298/task/17311/stat : 17311 (java) S 17293 17298 17187 0 -1 64 400 0 0 0 23 1 0 0 15 0 8 0 254365955 937435136 8852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17312] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17312/stat : 17312 (java) S 17293 17298 17187 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 254365955 937435136 8852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17313] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17313/stat : 17313 (java) S 17293 17298 17187 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 254365955 937435136 8852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915464

[startup+25.6074 s]
/proc/loadavg: 1.41 1.10 1.03 3/100 17313
/proc/meminfo: memFree=1133384/2055920 swapFree=4192812/4192956
[pid=17298] ppid=17293 vsize=915464 CPUtime=25.51
/proc/17298/stat : 17298 (java) R 17293 17298 17187 0 -1 0 9135 0 1 0 2384 167 0 0 25 0 8 0 254365947 937435136 8866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073844438 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17298/statm: 228866 8866 2527 14 0 215336 0
[pid=17298/tid=17301] ppid=17293 vsize=915464 CPUtime=0.03
/proc/17298/task/17301/stat : 17301 (java) S 17293 17298 17187 0 -1 64 246 0 0 0 3 0 0 0 16 0 8 0 254365951 937435136 8866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17304] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17304/stat : 17304 (java) S 17293 17298 17187 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 254365951 937435136 8866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17305] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17305/stat : 17305 (java) S 17293 17298 17187 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 254365951 937435136 8866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17310] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17310/stat : 17310 (java) S 17293 17298 17187 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 254365955 937435136 8866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17311] ppid=17293 vsize=915464 CPUtime=0.25
/proc/17298/task/17311/stat : 17311 (java) S 17293 17298 17187 0 -1 64 405 0 0 0 24 1 0 0 15 0 8 0 254365955 937435136 8866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17312] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17312/stat : 17312 (java) S 17293 17298 17187 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 254365955 937435136 8866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17313] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17313/stat : 17313 (java) S 17293 17298 17187 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 254365955 937435136 8866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 915464

[startup+51.3053 s]
/proc/loadavg: 1.64 1.18 1.06 3/100 17313
/proc/meminfo: memFree=1133320/2055920 swapFree=4192812/4192956
[pid=17298] ppid=17293 vsize=915464 CPUtime=51.2
/proc/17298/stat : 17298 (java) R 17293 17298 17187 0 -1 0 9144 0 1 0 4953 167 0 0 25 0 8 0 254365947 937435136 8874 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073864916 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17298/statm: 228866 8874 2527 14 0 215336 0
[pid=17298/tid=17301] ppid=17293 vsize=915464 CPUtime=0.03
/proc/17298/task/17301/stat : 17301 (java) S 17293 17298 17187 0 -1 64 246 0 0 0 3 0 0 0 16 0 8 0 254365951 937435136 8874 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17304] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17304/stat : 17304 (java) S 17293 17298 17187 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 254365951 937435136 8874 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17305] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17305/stat : 17305 (java) S 17293 17298 17187 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 254365951 937435136 8874 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17310] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17310/stat : 17310 (java) S 17293 17298 17187 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 254365955 937435136 8874 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17311] ppid=17293 vsize=915464 CPUtime=0.25
/proc/17298/task/17311/stat : 17311 (java) S 17293 17298 17187 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 254365955 937435136 8874 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17312] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17312/stat : 17312 (java) S 17293 17298 17187 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 254365955 937435136 8874 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17313] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17313/stat : 17313 (java) S 17293 17298 17187 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 254365955 937435136 8874 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 915464

[startup+102.601 s]
/proc/loadavg: 1.84 1.30 1.11 3/100 17313
/proc/meminfo: memFree=1133384/2055920 swapFree=4192812/4192956
[pid=17298] ppid=17293 vsize=915464 CPUtime=102.48
/proc/17298/stat : 17298 (java) R 17293 17298 17187 0 -1 0 9150 0 1 0 10081 167 0 0 25 0 8 0 254365947 937435136 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073879423 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17298/statm: 228866 8879 2527 14 0 215336 0
[pid=17298/tid=17301] ppid=17293 vsize=915464 CPUtime=0.03
/proc/17298/task/17301/stat : 17301 (java) S 17293 17298 17187 0 -1 64 246 0 0 0 3 0 0 0 16 0 8 0 254365951 937435136 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17304] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17304/stat : 17304 (java) S 17293 17298 17187 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 254365951 937435136 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17305] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17305/stat : 17305 (java) S 17293 17298 17187 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 254365951 937435136 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17310] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17310/stat : 17310 (java) S 17293 17298 17187 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 254365955 937435136 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17311] ppid=17293 vsize=915464 CPUtime=0.25
/proc/17298/task/17311/stat : 17311 (java) S 17293 17298 17187 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 254365955 937435136 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17312] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17312/stat : 17312 (java) S 17293 17298 17187 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 254365955 937435136 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17313] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17313/stat : 17313 (java) S 17293 17298 17187 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 254365955 937435136 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.48
Current children cumulated vsize (KiB) 915464

[startup+162.624 s]
/proc/loadavg: 1.94 1.43 1.16 3/100 17313
/proc/meminfo: memFree=1133320/2055920 swapFree=4192812/4192956
[pid=17298] ppid=17293 vsize=915464 CPUtime=162.49
/proc/17298/stat : 17298 (java) R 17293 17298 17187 0 -1 0 9155 0 1 0 16082 167 0 0 25 0 8 0 254365947 937435136 8884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17298/statm: 228866 8884 2527 14 0 215336 0
[pid=17298/tid=17301] ppid=17293 vsize=915464 CPUtime=0.03
/proc/17298/task/17301/stat : 17301 (java) S 17293 17298 17187 0 -1 64 246 0 0 0 3 0 0 0 16 0 8 0 254365951 937435136 8884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17304] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17304/stat : 17304 (java) S 17293 17298 17187 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 254365951 937435136 8884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17305] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17305/stat : 17305 (java) S 17293 17298 17187 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 254365951 937435136 8884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17310] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17310/stat : 17310 (java) S 17293 17298 17187 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 254365955 937435136 8884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17311] ppid=17293 vsize=915464 CPUtime=0.25
/proc/17298/task/17311/stat : 17311 (java) S 17293 17298 17187 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 254365955 937435136 8884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17312] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17312/stat : 17312 (java) S 17293 17298 17187 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 254365955 937435136 8884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17313] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17313/stat : 17313 (java) S 17293 17298 17187 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 254365955 937435136 8884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.49
Current children cumulated vsize (KiB) 915464

[startup+222.648 s]
/proc/loadavg: 1.98 1.53 1.21 3/100 17313
/proc/meminfo: memFree=1133320/2055920 swapFree=4192812/4192956
[pid=17298] ppid=17293 vsize=915464 CPUtime=222.49
/proc/17298/stat : 17298 (java) R 17293 17298 17187 0 -1 0 9157 0 1 0 22082 167 0 0 25 0 8 0 254365947 937435136 8886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073865151 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17298/statm: 228866 8886 2527 14 0 215336 0
[pid=17298/tid=17301] ppid=17293 vsize=915464 CPUtime=0.03
/proc/17298/task/17301/stat : 17301 (java) S 17293 17298 17187 0 -1 64 246 0 0 0 3 0 0 0 16 0 8 0 254365951 937435136 8886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17304] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17304/stat : 17304 (java) S 17293 17298 17187 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 254365951 937435136 8886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17305] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17305/stat : 17305 (java) S 17293 17298 17187 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 254365951 937435136 8886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17310] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17310/stat : 17310 (java) S 17293 17298 17187 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 254365955 937435136 8886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17311] ppid=17293 vsize=915464 CPUtime=0.25
/proc/17298/task/17311/stat : 17311 (java) S 17293 17298 17187 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 254365955 937435136 8886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17312] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17312/stat : 17312 (java) S 17293 17298 17187 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 254365955 937435136 8886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17298/tid=17313] ppid=17293 vsize=915464 CPUtime=0
/proc/17298/task/17313/stat : 17313 (java) S 17293 17298 17187 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 254365955 937435136 8886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.49
Current children cumulated vsize (KiB) 915464

Child status: 0
Real time (s): 260.912
CPU time (s): 260.751
CPU user time (s): 259.064
CPU system time (s): 1.68774
CPU usage (%): 99.9384
Max. virtual memory (cumulated for all children) (KiB): 915468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 259.064
system time used= 1.68774
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9254
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= 6513
involuntary context switches= 12182

runsolver used 0.25996 s user time and 0.740887 s system time

The end

Launcher Data (download as text)

Begin job on node5 on Sat Jan 20 01:45:15 UTC 2007


IDJOB= 277130
IDBENCH= 6283
IDSOLVER= 69
FILE ID= node5/277130-1169257515

PBS_JOBID= 3607267

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-29_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277130-1169257515/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node5/watcher-277130-1169257515 -o ROOT/results/node5/solver-277130-1169257515 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277130-1169257515/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  62dea78fee4aa672a1b59404c260ab7e

RANDOM SEED= 703111044

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.240
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.240
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:       1185600 kB
Buffers:         61828 kB
Cached:         683724 kB
SwapCached:          0 kB
Active:         239644 kB
Inactive:       553344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1185600 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3884 kB
Writeback:           0 kB
Mapped:          66368 kB
Slab:            62424 kB
Committed_AS:  6984932 kB
PageTables:       2008 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66561 MiB



End job on node5 on Sat Jan 20 01:49:36 UTC 2007