Trace number 279290

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 231.471 233.652

General information on the benchmark

NameMaxCSP/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-30/
kbtree-9-5-3-5-30-21_ext.xml
MD5SUM9177731d48293f9ae831c314e2b1bc28
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints245
Best CPU time to get the best result obtained on this benchmark3.9384
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints255
Maximum constraint arity2
Maximum domain size5
Number of constraints which are defined in extension255
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=pfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/279290-1169291982/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.41	     nbVariables=40  nbDomainTypes=1  minDomainSize=5  maxDomainSize=5
0.41	       =>  wckTime=0.102  cpuTime=0.09  mem=6M910
0.41	   
0.41	   relations being loaded...
0.47	   
0.47	   constraints being loaded...
0.57	     nbConstraints=255  nbRelationTypes=255  nbExtensionStructures=255  nbSharedExtensionStructures=0
0.57	     nbConflictsStructures=255  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2519  maxDegree=34
0.57	     maxArity=2
0.57	       =>  wckTime=0.261  cpuTime=0.18  mem=8M860
0.61	   
0.61	   solver LocalSearchSolver being built... 
0.66	       =>  wckTime=0.347  cpuTime=0.21  mem=5M600
0.66	
0.66	s SATISFIABLE
0.66	o 183
0.66	c 72
0.66	o 190
0.66	c 65
0.66	o 193
0.66	c 62
0.67	o 196
0.67	c 59
0.67	o 199
0.67	c 56
0.67	o 203
0.67	c 52
0.67	o 207
0.67	c 48
0.67	o 210
0.67	c 45
0.67	o 214
0.67	c 41
0.67	o 216
0.67	c 39
0.67	o 220
0.67	c 35
0.67	o 221
0.67	c 34
0.67	o 222
0.67	c 33
0.67	o 223
0.67	c 32
0.68	o 225
0.68	c 30
0.68	o 226
0.68	c 29
0.68	o 228
0.68	c 27
0.68	o 229
0.68	c 26
0.68	o 230
0.68	c 25
0.68	o 231
0.68	c 24
0.69	o 233
0.69	c 22
0.69	o 234
0.69	c 21
0.69	o 237
0.69	c 18
0.69	o 238
0.69	c 17
0.69	o 239
0.69	c 16
0.69	o 241
0.69	c 14
0.70	o 242
0.70	c 13
0.71	o 243
0.71	c 12
0.86	o 244
0.86	c 11
0.86	o 245
0.86	c 10
2.25	   
2.25	   search
2.25	     run=0  nbConstraintChecks=7549558  nbAssignments=10000
2.25	       =>  wckTime=1.589  cpuTime=1.56  mem=5M600
3.80	   
3.80	   search
3.80	     run=1  nbConstraintChecks=15455286  nbAssignments=20000
3.80	       =>  wckTime=3.143  cpuTime=3.1  mem=5M600
5.29	   
5.29	   search
5.29	     run=2  nbConstraintChecks=22947093  nbAssignments=30000
5.29	       =>  wckTime=4.636  cpuTime=4.58  mem=5M600
6.85	   
6.85	   search
6.85	     run=3  nbConstraintChecks=30872031  nbAssignments=40000
6.85	       =>  wckTime=6.196  cpuTime=6.11  mem=5M600
8.34	   
8.34	   search
8.34	     run=4  nbConstraintChecks=38281255  nbAssignments=50000
8.34	       =>  wckTime=7.684  cpuTime=7.59  mem=5M600
9.86	   
9.86	   search
9.86	     run=5  nbConstraintChecks=45929579  nbAssignments=60000
9.86	       =>  wckTime=9.206  cpuTime=9.1  mem=5M600
11.35	   
11.35	   search
11.35	     run=6  nbConstraintChecks=53272375  nbAssignments=70000
11.35	       =>  wckTime=10.692  cpuTime=10.57  mem=5M600
12.90	   
12.90	   search
12.90	     run=7  nbConstraintChecks=61093155  nbAssignments=80000
12.90	       =>  wckTime=12.241  cpuTime=12.11  mem=5M600
14.40	   
14.40	   search
14.40	     run=8  nbConstraintChecks=68480098  nbAssignments=90000
14.40	       =>  wckTime=13.743  cpuTime=13.6  mem=5M600
15.97	   
15.97	   search
15.97	     run=9  nbConstraintChecks=76428797  nbAssignments=100000
15.97	       =>  wckTime=15.312  cpuTime=15.15  mem=5M600
17.47	   
17.47	   search
17.47	     run=10  nbConstraintChecks=83857171  nbAssignments=110000
17.47	       =>  wckTime=16.816  cpuTime=16.64  mem=5M600
19.02	   
19.02	   search
19.02	     run=11  nbConstraintChecks=91667524  nbAssignments=120000
19.02	       =>  wckTime=18.366  cpuTime=18.17  mem=5M600
20.54	   
20.54	   search
20.54	     run=12  nbConstraintChecks=99149585  nbAssignments=130000
20.54	       =>  wckTime=19.88  cpuTime=19.68  mem=5M600
22.08	   
22.08	   search
22.08	     run=13  nbConstraintChecks=106933490  nbAssignments=140000
22.08	       =>  wckTime=21.421  cpuTime=21.21  mem=5M600
23.58	   
23.58	   search
23.58	     run=14  nbConstraintChecks=114463495  nbAssignments=150000
23.58	       =>  wckTime=22.926  cpuTime=22.7  mem=5M600
25.11	   
25.11	   search
25.11	     run=15  nbConstraintChecks=122183114  nbAssignments=160000
25.11	       =>  wckTime=24.454  cpuTime=24.21  mem=5M600
26.60	   
26.60	   search
26.60	     run=16  nbConstraintChecks=129647860  nbAssignments=170000
26.60	       =>  wckTime=25.947  cpuTime=25.69  mem=5M600
28.14	   
28.14	   search
28.14	     run=17  nbConstraintChecks=137461507  nbAssignments=180000
28.14	       =>  wckTime=27.485  cpuTime=27.21  mem=5M600
29.63	   
29.63	   search
29.63	     run=18  nbConstraintChecks=144842271  nbAssignments=190000
29.63	       =>  wckTime=28.975  cpuTime=28.69  mem=5M600
31.15	   
31.15	   search
31.15	     run=19  nbConstraintChecks=152541188  nbAssignments=199872
31.15	       =>  wckTime=30.49  cpuTime=30.2  mem=5M600
31.15	   
31.15	   global
31.15	     nbConstraintChecks=152541188  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.15	     solvingWckTime=30.49  solvingCpuTime=30.19  expiredTime=no  totalExploration=no  nbFoundSolutions=0
31.15	     globalCpuTime=30.46
31.15	       =>  wckTime=30.839  cpuTime=30.41  mem=5M600
31.15	   
31.15	   solver IterativeSystematicSolver being built... 
31.28	       =>  wckTime=30.971  cpuTime=30.51  mem=16M631
31.29	   
31.29	   preprocessing
31.29	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
31.29	     detectedInconsistency=no
31.29	       =>  wckTime=0.0050  cpuTime=0.01  mem=16M631
31.38	   
31.38	   search
31.38	     run=0  nbConstraintChecks=79968  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=67
31.38	     nbFailedAssignments=44  nbBacktracks=10  nbVisitedNodes=122  nbRestartNogoods=0
31.38	       =>  wckTime=0.099  cpuTime=0.07  mem=16M631
31.43	   
31.43	   search
31.43	     run=1  nbConstraintChecks=149824  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=124
31.43	     nbFailedAssignments=69  nbBacktracks=26  nbVisitedNodes=220  nbRestartNogoods=9
31.43	       =>  wckTime=0.145  cpuTime=0.1  mem=16M631
31.47	   
31.47	   search
31.47	     run=2  nbConstraintChecks=248362  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=200
31.47	     nbFailedAssignments=108  nbBacktracks=49  nbVisitedNodes=358  nbRestartNogoods=13
31.47	       =>  wckTime=0.192  cpuTime=0.15  mem=16M631
31.53	   
31.53	   search
31.53	     run=3  nbConstraintChecks=368661  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=294
31.53	     nbFailedAssignments=156  nbBacktracks=82  nbVisitedNodes=533  nbRestartNogoods=19
31.53	       =>  wckTime=0.245  cpuTime=0.2  mem=16M631
31.61	   
31.61	   search
31.61	     run=4  nbConstraintChecks=561879  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=437
31.61	     nbFailedAssignments=233  nbBacktracks=135  nbVisitedNodes=806  nbRestartNogoods=27
31.61	       =>  wckTime=0.329  cpuTime=0.28  mem=16M631
31.72	   
31.72	   search
31.72	     run=5  nbConstraintChecks=814603  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=631
31.72	     nbFailedAssignments=338  nbBacktracks=210  nbVisitedNodes=1180  nbRestartNogoods=34
31.72	       =>  wckTime=0.436  cpuTime=0.38  mem=16M631
31.87	   
31.87	   search
31.87	     run=6  nbConstraintChecks=1178075  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=902
31.87	     nbFailedAssignments=482  nbBacktracks=323  nbVisitedNodes=1708  nbRestartNogoods=37
31.87	       =>  wckTime=0.583  cpuTime=0.53  mem=16M631
32.19	   
32.19	   search
32.19	     run=7  nbConstraintChecks=1962618  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1428
32.19	     nbFailedAssignments=825  nbBacktracks=493  nbVisitedNodes=2747  nbRestartNogoods=46
32.19	       =>  wckTime=0.907  cpuTime=0.84  mem=16M631
32.64	   
32.64	   search
32.64	     run=8  nbConstraintChecks=2987102  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2108
32.64	     nbFailedAssignments=1236  nbBacktracks=750  nbVisitedNodes=4095  nbRestartNogoods=54
32.64	       =>  wckTime=1.36  cpuTime=1.27  mem=16M631
33.26	   
33.26	   search
33.26	     run=9  nbConstraintChecks=4513382  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3140
33.26	     nbFailedAssignments=1868  nbBacktracks=1134  nbVisitedNodes=6143  nbRestartNogoods=66
33.26	       =>  wckTime=1.981  cpuTime=1.89  mem=16M631
34.21	   
34.21	   search
34.21	     run=10  nbConstraintChecks=6756247  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4637
34.21	     nbFailedAssignments=2775  nbBacktracks=1710  nbVisitedNodes=9123  nbRestartNogoods=76
34.21	       =>  wckTime=2.929  cpuTime=2.82  mem=16M631
35.86	   
35.86	   search
35.86	     run=11  nbConstraintChecks=10540385  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=7363
35.86	     nbFailedAssignments=4625  nbBacktracks=2574  nbVisitedNodes=14563  nbRestartNogoods=87
35.86	       =>  wckTime=4.581  cpuTime=4.46  mem=16M631
37.96	   
37.96	   search
37.96	     run=12  nbConstraintChecks=15496490  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=10733
37.96	     nbFailedAssignments=6685  nbBacktracks=3871  nbVisitedNodes=21290  nbRestartNogoods=99
37.96	       =>  wckTime=6.678  cpuTime=6.54  mem=16M631
41.46	   
41.46	   search
41.46	     run=13  nbConstraintChecks=23977213  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=16424
41.46	     nbFailedAssignments=10416  nbBacktracks=5818  nbVisitedNodes=32659  nbRestartNogoods=110
41.46	       =>  wckTime=10.178  cpuTime=10.01  mem=16M631
46.93	   
46.93	   search
46.93	     run=14  nbConstraintChecks=37978697  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=25426
46.93	     nbFailedAssignments=16485  nbBacktracks=8737  nbVisitedNodes=50649  nbRestartNogoods=118
46.93	       =>  wckTime=15.649  cpuTime=15.42  mem=16M631
53.83	   
53.83	   search
53.83	     run=15  nbConstraintChecks=54329274  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=36717
53.83	     nbFailedAssignments=23390  nbBacktracks=13115  nbVisitedNodes=73223  nbRestartNogoods=129
53.83	       =>  wckTime=22.55  cpuTime=22.26  mem=16M631
63.48	   
63.48	   search
63.48	     run=16  nbConstraintChecks=78323932  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=51713
63.48	     nbFailedAssignments=31808  nbBacktracks=19683  nbVisitedNodes=103205  nbRestartNogoods=138
63.48	       =>  wckTime=32.2  cpuTime=31.82  mem=16M631
79.86	   
79.86	   search
79.86	     run=17  nbConstraintChecks=116594120  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=77136
79.86	     nbFailedAssignments=47371  nbBacktracks=29535  nbVisitedNodes=154006  nbRestartNogoods=146
79.86	       =>  wckTime=48.573  cpuTime=48.04  mem=16M631
105.25	   
105.25	   search
105.25	     run=18  nbConstraintChecks=174987706  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=115414
105.25	     nbFailedAssignments=70861  nbBacktracks=44314  nbVisitedNodes=230359  nbRestartNogoods=153
105.25	       =>  wckTime=73.964  cpuTime=73.19  mem=16M631
140.40	   
140.40	   search
140.40	     run=19  nbConstraintChecks=250251035  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=168288
140.40	     nbFailedAssignments=101558  nbBacktracks=66482  nbVisitedNodes=334466  nbRestartNogoods=162
140.40	       =>  wckTime=109.122  cpuTime=108.03  mem=16M631
186.10	   
186.10	   search
186.10	     run=20  nbConstraintChecks=345660891  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=240261
186.10	     nbFailedAssignments=140268  nbBacktracks=99735  nbVisitedNodes=473537  nbRestartNogoods=170
186.10	       =>  wckTime=154.821  cpuTime=153.32  mem=16M631
233.61	   
233.61	   search
233.61	     run=21  nbConstraintChecks=447645765  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=320332
233.61	     nbFailedAssignments=178560  nbBacktracks=141515  nbVisitedNodes=625325  nbRestartNogoods=182
233.61	       =>  wckTime=202.327  cpuTime=200.39  mem=16M631
233.61	   
233.61	   global
233.61	     nbConstraintChecks=447645765  nbRestartNogoods=182  solvingWckTime=202.328  solvingCpuTime=200.39  expiredTime=no
233.61	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=230.95
233.61	       =>  wckTime=233.301  cpuTime=230.9  mem=16M631
233.62	
233.62	s OPTIMUM FOUND
233.62	v 1 0 0 4 2 3 2 2 2 3 3 0 2 1 1 2 1 3 0 4 4 3 3 1 3 1 3 2 4 2 3 0 1 2 4 2 2 3 1 4 
233.62	   
233.62	   totalWckTime=233.382  totalCpuTime=230.95

Verifier Data (download as text)

10 unsatisfied constraints, 245 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/node1/watcher-279290-1169291982 -o ROOT/results/node1/solver-279290-1169291982 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279290-1169291982/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.87 1.99 1.99 4/93 14618
/proc/meminfo: memFree=1277280/2055920 swapFree=4165612/4192956
[pid=14617] ppid=14615 vsize=18540 CPUtime=0
/proc/14617/stat : 14617 (runsolver) R 14615 14617 14501 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 277593920 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 259353275687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/14617/statm: 4635 279 244 17 0 2626 0

[startup+0.10999 s]
/proc/loadavg: 1.87 1.99 1.99 4/93 14618
/proc/meminfo: memFree=1277280/2055920 swapFree=4165612/4192956
[pid=14617] ppid=14615 vsize=914988 CPUtime=0.09
/proc/14617/stat : 14617 (java) R 14615 14617 14501 0 -1 0 3047 0 1 0 8 1 0 0 17 0 8 0 277593920 936947712 2793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154037577 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14617/statm: 228747 2793 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.518039 s]
/proc/loadavg: 1.87 1.99 1.99 4/93 14618
/proc/meminfo: memFree=1277280/2055920 swapFree=4165612/4192956
[pid=14617] ppid=14615 vsize=915332 CPUtime=0.5
/proc/14617/stat : 14617 (java) R 14615 14617 14501 0 -1 0 6390 0 1 0 46 4 0 0 19 0 8 0 277593920 937299968 6129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942019 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14617/statm: 228833 6129 2144 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332

[startup+1.34113 s]
/proc/loadavg: 1.88 1.99 1.99 3/100 14625
/proc/meminfo: memFree=1258920/2055920 swapFree=4165612/4192956
[pid=14617] ppid=14615 vsize=915464 CPUtime=1.31
/proc/14617/stat : 14617 (java) R 14615 14617 14501 0 -1 0 7262 0 1 0 108 23 0 0 25 0 8 0 277593920 937435136 7000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14617/statm: 228866 7000 2476 14 0 215336 0
[pid=14617/tid=14619] ppid=14615 vsize=915464 CPUtime=0.02
/proc/14617/task/14619/stat : 14619 (java) S 14615 14617 14501 0 -1 64 179 0 0 0 2 0 0 0 16 0 8 0 277593924 937435136 7000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14620] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14620/stat : 14620 (java) S 14615 14617 14501 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277593924 937435136 7000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14621] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14621/stat : 14621 (java) S 14615 14617 14501 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277593924 937435136 7000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14622] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14622/stat : 14622 (java) S 14615 14617 14501 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277593928 937435136 7000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14623] ppid=14615 vsize=915464 CPUtime=0.15
/proc/14617/task/14623/stat : 14623 (java) S 14615 14617 14501 0 -1 64 346 0 0 0 15 0 0 0 16 0 8 0 277593928 937435136 7000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14624] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14624/stat : 14624 (java) S 14615 14617 14501 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277593928 937435136 7000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14625] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14625/stat : 14625 (java) S 14615 14617 14501 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277593928 937435136 7000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915464

[startup+2.99332 s]
/proc/loadavg: 1.88 1.99 1.99 3/100 14625
/proc/meminfo: memFree=1258920/2055920 swapFree=4165612/4192956
[pid=14617] ppid=14615 vsize=915464 CPUtime=2.95
/proc/14617/stat : 14617 (java) R 14615 14617 14501 0 -1 0 7265 0 1 0 231 64 0 0 25 0 8 0 277593920 937435136 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073728768 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14617/statm: 228866 7002 2476 14 0 215336 0
[pid=14617/tid=14619] ppid=14615 vsize=915464 CPUtime=0.02
/proc/14617/task/14619/stat : 14619 (java) S 14615 14617 14501 0 -1 64 179 0 0 0 2 0 0 0 16 0 8 0 277593924 937435136 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14620] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14620/stat : 14620 (java) S 14615 14617 14501 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277593924 937435136 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14621] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14621/stat : 14621 (java) S 14615 14617 14501 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277593924 937435136 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14622] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14622/stat : 14622 (java) S 14615 14617 14501 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277593928 937435136 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14623] ppid=14615 vsize=915464 CPUtime=0.15
/proc/14617/task/14623/stat : 14623 (java) S 14615 14617 14501 0 -1 64 348 0 0 0 15 0 0 0 16 0 8 0 277593928 937435136 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14624] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14624/stat : 14624 (java) S 14615 14617 14501 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277593928 937435136 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14625] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14625/stat : 14625 (java) S 14615 14617 14501 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277593928 937435136 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915464

[startup+6.27271 s]
/proc/loadavg: 1.89 1.99 1.99 3/100 14625
/proc/meminfo: memFree=1258856/2055920 swapFree=4165612/4192956
[pid=14617] ppid=14615 vsize=915464 CPUtime=6.2
/proc/14617/stat : 14617 (java) R 14615 14617 14501 0 -1 0 7265 0 1 0 472 148 0 0 25 0 8 0 277593920 937435136 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14617/statm: 228866 7002 2476 14 0 215336 0
[pid=14617/tid=14619] ppid=14615 vsize=915464 CPUtime=0.02
/proc/14617/task/14619/stat : 14619 (java) S 14615 14617 14501 0 -1 64 179 0 0 0 2 0 0 0 16 0 8 0 277593924 937435136 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14620] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14620/stat : 14620 (java) S 14615 14617 14501 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277593924 937435136 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14621] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14621/stat : 14621 (java) S 14615 14617 14501 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277593924 937435136 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14622] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14622/stat : 14622 (java) S 14615 14617 14501 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277593928 937435136 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14623] ppid=14615 vsize=915464 CPUtime=0.15
/proc/14617/task/14623/stat : 14623 (java) S 14615 14617 14501 0 -1 64 348 0 0 0 15 0 0 0 16 0 8 0 277593928 937435136 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14624] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14624/stat : 14624 (java) S 14615 14617 14501 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277593928 937435136 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14625] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14625/stat : 14625 (java) S 14615 14617 14501 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277593928 937435136 7002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915464

[startup+12.7595 s]
/proc/loadavg: 1.90 1.99 1.99 3/100 14625
/proc/meminfo: memFree=1258864/2055920 swapFree=4165612/4192956
[pid=14617] ppid=14615 vsize=915464 CPUtime=12.62
/proc/14617/stat : 14617 (java) R 14615 14617 14501 0 -1 0 7266 0 1 0 948 314 0 0 25 0 8 0 277593920 937435136 7003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073730634 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14617/statm: 228866 7003 2476 14 0 215336 0
[pid=14617/tid=14619] ppid=14615 vsize=915464 CPUtime=0.02
/proc/14617/task/14619/stat : 14619 (java) S 14615 14617 14501 0 -1 64 179 0 0 0 2 0 0 0 16 0 8 0 277593924 937435136 7003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14620] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14620/stat : 14620 (java) S 14615 14617 14501 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277593924 937435136 7003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14621] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14621/stat : 14621 (java) S 14615 14617 14501 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277593924 937435136 7003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14622] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14622/stat : 14622 (java) S 14615 14617 14501 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277593928 937435136 7003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14623] ppid=14615 vsize=915464 CPUtime=0.15
/proc/14617/task/14623/stat : 14623 (java) S 14615 14617 14501 0 -1 64 349 0 0 0 15 0 0 0 16 0 8 0 277593928 937435136 7003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14624] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14624/stat : 14624 (java) S 14615 14617 14501 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277593928 937435136 7003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14625] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14625/stat : 14625 (java) S 14615 14617 14501 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277593928 937435136 7003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915464

[startup+25.599 s]
/proc/loadavg: 1.91 1.99 1.99 3/100 14625
/proc/meminfo: memFree=1258928/2055920 swapFree=4165612/4192956
[pid=14617] ppid=14615 vsize=915464 CPUtime=25.34
/proc/14617/stat : 14617 (java) R 14615 14617 14501 0 -1 0 7266 0 1 0 1887 647 0 0 25 0 8 0 277593920 937435136 7003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073744449 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14617/statm: 228866 7003 2476 14 0 215336 0
[pid=14617/tid=14619] ppid=14615 vsize=915464 CPUtime=0.02
/proc/14617/task/14619/stat : 14619 (java) S 14615 14617 14501 0 -1 64 179 0 0 0 2 0 0 0 16 0 8 0 277593924 937435136 7003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14620] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14620/stat : 14620 (java) S 14615 14617 14501 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277593924 937435136 7003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14621] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14621/stat : 14621 (java) S 14615 14617 14501 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277593924 937435136 7003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14622] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14622/stat : 14622 (java) S 14615 14617 14501 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277593928 937435136 7003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14623] ppid=14615 vsize=915464 CPUtime=0.15
/proc/14617/task/14623/stat : 14623 (java) S 14615 14617 14501 0 -1 64 349 0 0 0 15 0 0 0 16 0 8 0 277593928 937435136 7003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14624] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14624/stat : 14624 (java) S 14615 14617 14501 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277593928 937435136 7003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14625] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14625/stat : 14625 (java) S 14615 14617 14501 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277593928 937435136 7003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915464

[startup+51.206 s]
/proc/loadavg: 1.95 1.99 1.99 3/100 14625
/proc/meminfo: memFree=1251952/2055920 swapFree=4165612/4192956
[pid=14617] ppid=14615 vsize=915464 CPUtime=50.71
/proc/14617/stat : 14617 (java) R 14615 14617 14501 0 -1 0 9082 0 1 0 4276 795 0 0 25 0 8 0 277593920 937435136 8815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073914256 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14617/statm: 228866 8815 2527 14 0 215336 0
[pid=14617/tid=14619] ppid=14615 vsize=915464 CPUtime=0.02
/proc/14617/task/14619/stat : 14619 (java) S 14615 14617 14501 0 -1 64 180 0 0 0 2 0 0 0 16 0 8 0 277593924 937435136 8815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14620] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14620/stat : 14620 (java) S 14615 14617 14501 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277593924 937435136 8815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14621] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14621/stat : 14621 (java) S 14615 14617 14501 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277593924 937435136 8815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14622] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14622/stat : 14622 (java) S 14615 14617 14501 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277593928 937435136 8815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14623] ppid=14615 vsize=915464 CPUtime=0.26
/proc/14617/task/14623/stat : 14623 (java) S 14615 14617 14501 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 277593928 937435136 8815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14624] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14624/stat : 14624 (java) S 14615 14617 14501 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277593928 937435136 8815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14625] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14625/stat : 14625 (java) S 14615 14617 14501 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277593928 937435136 8815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915464

[startup+102.508 s]
/proc/loadavg: 1.98 1.99 1.99 3/100 14625
/proc/meminfo: memFree=1251888/2055920 swapFree=4165612/4192956
[pid=14617] ppid=14615 vsize=915464 CPUtime=101.55
/proc/14617/stat : 14617 (java) R 14615 14617 14501 0 -1 0 9090 0 1 0 9359 796 0 0 25 0 8 0 277593920 937435136 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073865112 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14617/statm: 228866 8822 2527 14 0 215336 0
[pid=14617/tid=14619] ppid=14615 vsize=915464 CPUtime=0.02
/proc/14617/task/14619/stat : 14619 (java) S 14615 14617 14501 0 -1 64 180 0 0 0 2 0 0 0 16 0 8 0 277593924 937435136 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14620] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14620/stat : 14620 (java) S 14615 14617 14501 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277593924 937435136 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14621] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14621/stat : 14621 (java) S 14615 14617 14501 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277593924 937435136 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14622] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14622/stat : 14622 (java) S 14615 14617 14501 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277593928 937435136 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14623] ppid=14615 vsize=915464 CPUtime=0.26
/proc/14617/task/14623/stat : 14623 (java) S 14615 14617 14501 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 277593928 937435136 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14624] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14624/stat : 14624 (java) S 14615 14617 14501 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277593928 937435136 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14625] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14625/stat : 14625 (java) S 14615 14617 14501 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277593928 937435136 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 915464

[startup+162.556 s]
/proc/loadavg: 1.99 1.99 1.99 3/100 14627
/proc/meminfo: memFree=1251632/2055920 swapFree=4165612/4192956
[pid=14617] ppid=14615 vsize=915464 CPUtime=161.04
/proc/14617/stat : 14617 (java) R 14615 14617 14501 0 -1 0 9096 0 1 0 15308 796 0 0 25 0 8 0 277593920 937435136 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073838807 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14617/statm: 228866 8827 2527 14 0 215336 0
[pid=14617/tid=14619] ppid=14615 vsize=915464 CPUtime=0.02
/proc/14617/task/14619/stat : 14619 (java) S 14615 14617 14501 0 -1 64 180 0 0 0 2 0 0 0 16 0 8 0 277593924 937435136 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14620] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14620/stat : 14620 (java) S 14615 14617 14501 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277593924 937435136 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14621] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14621/stat : 14621 (java) S 14615 14617 14501 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277593924 937435136 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14622] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14622/stat : 14622 (java) S 14615 14617 14501 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277593928 937435136 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14623] ppid=14615 vsize=915464 CPUtime=0.26
/proc/14617/task/14623/stat : 14623 (java) S 14615 14617 14501 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 277593928 937435136 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14624] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14624/stat : 14624 (java) S 14615 14617 14501 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277593928 937435136 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14625] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14625/stat : 14625 (java) S 14615 14617 14501 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277593928 937435136 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.04
Current children cumulated vsize (KiB) 915464

[startup+222.602 s]
/proc/loadavg: 2.04 2.00 2.00 3/100 14627
/proc/meminfo: memFree=1251696/2055920 swapFree=4165612/4192956
[pid=14617] ppid=14615 vsize=915464 CPUtime=220.53
/proc/14617/stat : 14617 (java) R 14615 14617 14501 0 -1 0 9098 0 1 0 21257 796 0 0 25 0 8 0 277593920 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073903066 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14617/statm: 228866 8829 2527 14 0 215336 0
[pid=14617/tid=14619] ppid=14615 vsize=915464 CPUtime=0.02
/proc/14617/task/14619/stat : 14619 (java) S 14615 14617 14501 0 -1 64 180 0 0 0 2 0 0 0 16 0 8 0 277593924 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14620] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14620/stat : 14620 (java) S 14615 14617 14501 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277593924 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14621] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14621/stat : 14621 (java) S 14615 14617 14501 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277593924 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14622] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14622/stat : 14622 (java) S 14615 14617 14501 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277593928 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14623] ppid=14615 vsize=915464 CPUtime=0.26
/proc/14617/task/14623/stat : 14623 (java) S 14615 14617 14501 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 277593928 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14624] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14624/stat : 14624 (java) S 14615 14617 14501 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277593928 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14617/tid=14625] ppid=14615 vsize=915464 CPUtime=0
/proc/14617/task/14625/stat : 14625 (java) S 14615 14617 14501 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277593928 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.53
Current children cumulated vsize (KiB) 915464

Child status: 0
Real time (s): 233.652
CPU time (s): 231.471
CPU user time (s): 223.495
CPU system time (s): 7.97579
CPU usage (%): 99.0664
Max. virtual memory (cumulated for all children) (KiB): 915468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 223.495
system time used= 7.97579
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9197
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= 5872
involuntary context switches= 15311

runsolver used 0.288956 s user time and 0.762884 s system time

The end

Launcher Data (download as text)

Begin job on node1 on Sat Jan 20 11:19:42 UTC 2007


IDJOB= 279290
IDBENCH= 9783
IDSOLVER= 69
FILE ID= node1/279290-1169291982

PBS_JOBID= 3609607

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-30/kbtree-9-5-3-5-30-21_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279290-1169291982/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-279290-1169291982 -o ROOT/results/node1/solver-279290-1169291982 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279290-1169291982/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  9177731d48293f9ae831c314e2b1bc28

RANDOM SEED= 707876434

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.234
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.234
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:       1277696 kB
Buffers:         52932 kB
Cached:         583188 kB
SwapCached:       4372 kB
Active:         311800 kB
Inactive:       389812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1277696 kB
SwapTotal:     4192956 kB
SwapFree:      4165612 kB
Dirty:            1716 kB
Writeback:           0 kB
Mapped:          85076 kB
Slab:            61220 kB
Committed_AS:  8996984 kB
PageTables:       2444 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 node1 on Sat Jan 20 11:23:35 UTC 2007