Trace number 277147

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 EPFCOPTIMUM 442.404 444.824

General information on the benchmark

Nametightness/tightness0.35/
rand-2-40-16-250-350-15_ext.xml
MD5SUM4435b4c97eb385afb53b1b633cff6f92
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 benchmark16.4415
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.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=epfc.xml
0.32	   
0.32	   instance
0.33	     name=/tmp/evaluation/277147-1169258019/unknown.xml
0.35	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.39	     nbVariables=40  nbDomainTypes=1  minDomainSize=16  maxDomainSize=16
0.39	       =>  wckTime=0.095  cpuTime=0.08  mem=6M887
0.39	   
0.39	   relations being loaded...
0.47	   
0.47	   constraints being loaded...
0.57	     nbConstraints=250  nbRelationTypes=250  nbExtensionStructures=250  nbSharedExtensionStructures=0
0.57	     nbConflictsStructures=250  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=1324  maxDegree=18
0.57	     maxArity=2
0.57	       =>  wckTime=0.27  cpuTime=0.2  mem=11M763
0.61	   
0.61	   solver LocalSearchSolver being built... 
0.65	       =>  wckTime=0.355  cpuTime=0.24  mem=5M873
0.66	
0.66	s SATISFIABLE
0.66	o 178
0.66	c 72
0.66	o 183
0.66	c 67
0.66	o 188
0.66	c 62
0.66	o 193
0.66	c 57
0.66	o 197
0.66	c 53
0.66	o 202
0.66	c 48
0.66	o 206
0.66	c 44
0.66	o 210
0.66	c 40
0.66	o 213
0.66	c 37
0.67	o 216
0.67	c 34
0.67	o 217
0.67	c 33
0.67	o 219
0.67	c 31
0.67	o 222
0.67	c 28
0.67	o 224
0.67	c 26
0.67	o 225
0.67	c 25
0.67	o 226
0.67	c 24
0.67	o 228
0.67	c 22
0.67	o 229
0.67	c 21
0.67	o 231
0.67	c 19
0.67	o 233
0.67	c 17
0.68	o 234
0.68	c 16
0.68	o 235
0.68	c 15
0.69	o 236
0.69	c 14
0.69	o 238
0.69	c 12
0.69	o 239
0.69	c 11
0.71	o 240
0.71	c 10
0.71	o 241
0.71	c 9
0.71	o 242
0.71	c 8
0.71	o 243
0.71	c 7
0.71	o 244
0.71	c 6
0.71	o 245
0.71	c 5
0.71	o 246
0.71	c 4
0.71	o 247
0.71	c 3
0.85	o 248
0.85	c 2
2.92	   
2.92	   search
2.92	     run=0  nbConstraintChecks=15678468  nbAssignments=10000
2.92	       =>  wckTime=2.267  cpuTime=2.24  mem=5M873
5.22	   
5.22	   search
5.22	     run=1  nbConstraintChecks=32097439  nbAssignments=20000
5.22	       =>  wckTime=4.573  cpuTime=4.52  mem=5M873
6.44	o 249
6.44	c 1
6.44	   
6.44	   search
6.44	     run=2  nbConstraintChecks=40644329  nbAssignments=25640
6.44	       =>  wckTime=5.795  cpuTime=5.74  mem=5M873
6.45	   
6.45	   global
6.45	     nbConstraintChecks=40644329  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
6.45	     solvingWckTime=5.793  solvingCpuTime=5.75  expiredTime=no  totalExploration=no  nbFoundSolutions=0
6.45	     globalCpuTime=6.03
6.45	       =>  wckTime=6.15  cpuTime=5.99  mem=5M873
6.45	   
6.45	   solver IterativeSystematicSolver being built... 
6.57	       =>  wckTime=6.273  cpuTime=6.08  mem=16M846
6.65	   
6.65	   preprocessing
6.65	     nbConstraintChecks=109513  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
6.65	     detectedInconsistency=no
6.65	       =>  wckTime=0.079  cpuTime=0.05  mem=16M846
6.71	   
6.71	   search
6.71	     run=0  nbConstraintChecks=175736  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=37
6.71	     nbFailedAssignments=23  nbBacktracks=10  nbVisitedNodes=71  nbRestartNogoods=0
6.71	       =>  wckTime=0.134  cpuTime=0.11  mem=16M846
6.77	   
6.77	   search
6.77	     run=1  nbConstraintChecks=409169  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=89
6.77	     nbFailedAssignments=56  nbBacktracks=25  nbVisitedNodes=170  nbRestartNogoods=8
6.77	       =>  wckTime=0.2  cpuTime=0.16  mem=16M846
6.86	   
6.86	   search
6.86	     run=2  nbConstraintChecks=737017  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=180
6.86	     nbFailedAssignments=119  nbBacktracks=47  nbVisitedNodes=345  nbRestartNogoods=14
6.86	       =>  wckTime=0.286  cpuTime=0.24  mem=16M846
6.95	   
6.95	   search
6.95	     run=3  nbConstraintChecks=1132517  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=271
6.95	     nbFailedAssignments=171  nbBacktracks=80  nbVisitedNodes=521  nbRestartNogoods=19
6.95	       =>  wckTime=0.378  cpuTime=0.33  mem=16M846
7.10	   
7.10	   search
7.10	     run=4  nbConstraintChecks=1750277  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=410
7.10	     nbFailedAssignments=255  nbBacktracks=130  nbVisitedNodes=789  nbRestartNogoods=41
7.10	       =>  wckTime=0.527  cpuTime=0.48  mem=16M846
7.30	   
7.30	   search
7.30	     run=5  nbConstraintChecks=2727969  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=639
7.30	     nbFailedAssignments=404  nbBacktracks=205  nbVisitedNodes=1238  nbRestartNogoods=53
7.31	       =>  wckTime=0.734  cpuTime=0.68  mem=16M846
7.61	   
7.61	   search
7.61	     run=6  nbConstraintChecks=4122830  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=965
7.61	     nbFailedAssignments=611  nbBacktracks=318  nbVisitedNodes=1879  nbRestartNogoods=66
7.61	       =>  wckTime=1.041  cpuTime=0.99  mem=16M846
8.06	   
8.06	   search
8.06	     run=7  nbConstraintChecks=6112178  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1455
8.06	     nbFailedAssignments=923  nbBacktracks=488  nbVisitedNodes=2841  nbRestartNogoods=90
8.06	       =>  wckTime=1.494  cpuTime=1.42  mem=16M846
8.79	   
8.79	   search
8.79	     run=8  nbConstraintChecks=9282251  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2165
8.79	     nbFailedAssignments=1373  nbBacktracks=744  nbVisitedNodes=4228  nbRestartNogoods=103
8.79	       =>  wckTime=2.218  cpuTime=2.14  mem=16M846
9.72	   
9.72	   search
9.72	     run=9  nbConstraintChecks=13482982  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3187
9.72	     nbFailedAssignments=2005  nbBacktracks=1128  nbVisitedNodes=6244  nbRestartNogoods=130
9.72	       =>  wckTime=3.152  cpuTime=3.06  mem=16M846
11.26	   
11.26	   search
11.26	     run=10  nbConstraintChecks=20261366  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4711
11.26	     nbFailedAssignments=2947  nbBacktracks=1704  nbVisitedNodes=9185  nbRestartNogoods=151
11.26	       =>  wckTime=4.685  cpuTime=4.59  mem=16M846
13.73	   
13.73	   search
13.73	     run=11  nbConstraintChecks=30938100  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6990
13.73	     nbFailedAssignments=4358  nbBacktracks=2568  nbVisitedNodes=13526  nbRestartNogoods=159
13.73	       =>  wckTime=7.16  cpuTime=7.04  mem=16M846
17.08	   
17.08	   search
17.08	     run=12  nbConstraintChecks=44877881  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=10228
17.08	     nbFailedAssignments=6294  nbBacktracks=3865  nbVisitedNodes=19618  nbRestartNogoods=188
17.08	       =>  wckTime=10.507  cpuTime=10.37  mem=16M846
21.60	   
21.60	   search
21.60	     run=13  nbConstraintChecks=64583844  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=14882
21.60	     nbFailedAssignments=8998  nbBacktracks=5811  nbVisitedNodes=28063  nbRestartNogoods=202
21.60	       =>  wckTime=15.034  cpuTime=14.88  mem=16M846
28.14	   
28.14	   search
28.14	     run=14  nbConstraintChecks=91350461  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=21125
28.14	     nbFailedAssignments=12316  nbBacktracks=8732  nbVisitedNodes=38906  nbRestartNogoods=219
28.14	       =>  wckTime=21.57  cpuTime=21.39  mem=16M846
37.12	   
37.12	   search
37.12	     run=15  nbConstraintChecks=128212360  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=30011
37.12	     nbFailedAssignments=16821  nbBacktracks=13110  nbVisitedNodes=53843  nbRestartNogoods=236
37.12	       =>  wckTime=30.549  cpuTime=30.31  mem=16M846
49.65	   
49.65	   search
49.65	     run=16  nbConstraintChecks=180112500  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=42811
49.65	     nbFailedAssignments=23048  nbBacktracks=19679  nbVisitedNodes=74804  nbRestartNogoods=255
49.65	       =>  wckTime=43.079  cpuTime=42.78  mem=16M846
67.13	   
67.13	   search
67.13	     run=17  nbConstraintChecks=251314968  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=60657
67.13	     nbFailedAssignments=31035  nbBacktracks=29531  nbVisitedNodes=103013  nbRestartNogoods=302
67.13	       =>  wckTime=60.557  cpuTime=60.19  mem=16M846
92.25	   
92.25	   search
92.25	     run=18  nbConstraintChecks=354127762  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=87120
92.25	     nbFailedAssignments=42714  nbBacktracks=44310  nbVisitedNodes=144688  nbRestartNogoods=331
92.25	       =>  wckTime=85.679  cpuTime=85.17  mem=16M846
133.08	   
133.08	   search
133.08	     run=19  nbConstraintChecks=521161885  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=128529
133.08	     nbFailedAssignments=61952  nbBacktracks=66478  nbVisitedNodes=211070  nbRestartNogoods=342
133.08	       =>  wckTime=126.512  cpuTime=125.78  mem=16M846
190.02	   
190.02	   search
190.02	     run=20  nbConstraintChecks=751638516  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=187431
190.02	     nbFailedAssignments=87597  nbBacktracks=99731  nbVisitedNodes=302981  nbRestartNogoods=399
190.02	       =>  wckTime=183.446  cpuTime=182.41  mem=16M846
277.48	   
277.48	   search
277.48	     run=21  nbConstraintChecks=1107964311  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=277610
277.48	     nbFailedAssignments=127894  nbBacktracks=149609  nbVisitedNodes=445019  nbRestartNogoods=418
277.48	       =>  wckTime=270.907  cpuTime=269.4  mem=16M846
409.55	   
409.55	   search
409.55	     run=22  nbConstraintChecks=1638898555  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=411249
409.55	     nbFailedAssignments=186710  nbBacktracks=224428  nbVisitedNodes=654368  nbRestartNogoods=455
409.55	       =>  wckTime=402.975  cpuTime=400.75  mem=16M846
444.77	   
444.77	   search
444.77	     run=23  nbConstraintChecks=1777684214  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=446571
444.77	     nbFailedAssignments=201816  nbBacktracks=244645  nbVisitedNodes=708979  nbRestartNogoods=466
444.77	       =>  wckTime=438.203  cpuTime=435.78  mem=16M846
444.77	   
444.77	   global
444.77	     nbConstraintChecks=1777793727  nbRestartNogoods=466  solvingWckTime=438.204  solvingCpuTime=435.78  expiredTime=no
444.77	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=441.9
444.77	       =>  wckTime=444.478  cpuTime=441.86  mem=16M846
444.78	
444.78	s OPTIMUM FOUND
444.78	v 14 8 4 12 15 14 11 11 12 4 3 6 5 9 3 0 9 1 6 7 15 7 12 11 4 9 6 14 11 6 5 9 9 7 12 13 5 0 3 5 
444.78	   
444.78	   totalWckTime=444.556  totalCpuTime=441.9

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/node15/watcher-277147-1169258019 -o ROOT/results/node15/solver-277147-1169258019 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277147-1169258019/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 1.04 4/86 12341
/proc/meminfo: memFree=1438176/2055920 swapFree=4173628/4192956
[pid=12340] ppid=12335 vsize=168 CPUtime=0
/proc/12340/stat : 12340 (java) R 12335 12340 12202 0 -1 0 39 0 0 0 0 0 0 0 20 0 1 0 274196791 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7512868 0 0 4096 0 0 0 0 17 1 0 0
/proc/12340/statm: 42 23 18 14 0 2 0

[startup+0.108166 s]
/proc/loadavg: 0.92 0.98 1.04 4/86 12341
/proc/meminfo: memFree=1438176/2055920 swapFree=4173628/4192956
[pid=12340] ppid=12335 vsize=914988 CPUtime=0.08
/proc/12340/stat : 12340 (java) R 12335 12340 12202 0 -1 0 3050 0 1 0 7 1 0 0 25 0 8 0 274196791 936947712 2796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154020604 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12340/statm: 228747 2796 1447 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.516241 s]
/proc/loadavg: 0.92 0.98 1.04 4/86 12341
/proc/meminfo: memFree=1438176/2055920 swapFree=4173628/4192956
[pid=12340] ppid=12335 vsize=915332 CPUtime=0.5
/proc/12340/stat : 12340 (java) R 12335 12340 12202 0 -1 0 6924 0 1 0 46 4 0 0 25 0 8 0 274196791 937299968 6663 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12340/statm: 228833 6663 2150 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332

[startup+1.33737 s]
/proc/loadavg: 0.92 0.98 1.04 3/100 12355
/proc/meminfo: memFree=1396392/2055920 swapFree=4173628/4192956
[pid=12340] ppid=12335 vsize=915464 CPUtime=1.3
/proc/12340/stat : 12340 (java) R 12335 12340 12202 0 -1 0 7906 0 1 0 111 19 0 0 25 0 8 0 274196791 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073732283 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12340/statm: 228866 7644 2479 14 0 215336 0
[pid=12340/tid=12343] ppid=12335 vsize=915464 CPUtime=0.02
/proc/12340/task/12343/stat : 12343 (java) S 12335 12340 12202 0 -1 64 247 0 0 0 2 0 0 0 16 0 8 0 274196795 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12346] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12346/stat : 12346 (java) S 12335 12340 12202 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274196796 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12347] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12347/stat : 12347 (java) S 12335 12340 12202 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274196796 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12352] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12352/stat : 12352 (java) S 12335 12340 12202 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12353] ppid=12335 vsize=915464 CPUtime=0.13
/proc/12340/task/12353/stat : 12353 (java) S 12335 12340 12202 0 -1 64 346 0 0 0 13 0 0 0 16 0 8 0 274196799 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12354] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12354/stat : 12354 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12355] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12355/stat : 12355 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274196799 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464

[startup+2.97866 s]
/proc/loadavg: 1.01 1.00 1.04 3/100 12355
/proc/meminfo: memFree=1396392/2055920 swapFree=4173628/4192956
[pid=12340] ppid=12335 vsize=915464 CPUtime=2.94
/proc/12340/stat : 12340 (java) R 12335 12340 12202 0 -1 0 7909 0 1 0 249 45 0 0 25 0 8 0 274196791 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073731751 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12340/statm: 228866 7646 2479 14 0 215336 0
[pid=12340/tid=12343] ppid=12335 vsize=915464 CPUtime=0.02
/proc/12340/task/12343/stat : 12343 (java) S 12335 12340 12202 0 -1 64 247 0 0 0 2 0 0 0 16 0 8 0 274196795 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12346] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12346/stat : 12346 (java) S 12335 12340 12202 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274196796 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12347] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12347/stat : 12347 (java) S 12335 12340 12202 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274196796 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12352] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12352/stat : 12352 (java) S 12335 12340 12202 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12353] ppid=12335 vsize=915464 CPUtime=0.14
/proc/12340/task/12353/stat : 12353 (java) S 12335 12340 12202 0 -1 64 348 0 0 0 14 0 0 0 16 0 8 0 274196799 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12354] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12354/stat : 12354 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12355] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12355/stat : 12355 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274196799 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464

[startup+6.27022 s]
/proc/loadavg: 1.01 1.00 1.04 6/100 12355
/proc/meminfo: memFree=1396200/2055920 swapFree=4173628/4192956
[pid=12340] ppid=12335 vsize=915464 CPUtime=6.22
/proc/12340/stat : 12340 (java) R 12335 12340 12202 0 -1 0 7909 0 1 0 523 99 0 0 25 0 8 0 274196791 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073730051 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12340/statm: 228866 7646 2479 14 0 215336 0
[pid=12340/tid=12343] ppid=12335 vsize=915464 CPUtime=0.02
/proc/12340/task/12343/stat : 12343 (java) S 12335 12340 12202 0 -1 64 247 0 0 0 2 0 0 0 16 0 8 0 274196795 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12346] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12346/stat : 12346 (java) S 12335 12340 12202 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274196796 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12347] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12347/stat : 12347 (java) S 12335 12340 12202 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274196796 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12352] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12352/stat : 12352 (java) S 12335 12340 12202 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12353] ppid=12335 vsize=915464 CPUtime=0.14
/proc/12340/task/12353/stat : 12353 (java) S 12335 12340 12202 0 -1 64 348 0 0 0 14 0 0 0 16 0 8 0 274196799 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12354] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12354/stat : 12354 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12355] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12355/stat : 12355 (java) R 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274196799 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915464

[startup+12.7473 s]
/proc/loadavg: 1.16 1.03 1.05 3/100 12355
/proc/meminfo: memFree=1387048/2055920 swapFree=4173628/4192956
[pid=12340] ppid=12335 vsize=915464 CPUtime=12.66
/proc/12340/stat : 12340 (java) R 12335 12340 12202 0 -1 0 9131 0 1 0 1163 103 0 0 25 0 8 0 274196791 937435136 8863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842011 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12340/statm: 228866 8863 2532 14 0 215336 0
[pid=12340/tid=12343] ppid=12335 vsize=915464 CPUtime=0.02
/proc/12340/task/12343/stat : 12343 (java) S 12335 12340 12202 0 -1 64 248 0 0 0 2 0 0 0 17 0 8 0 274196795 937435136 8863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12346] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12346/stat : 12346 (java) S 12335 12340 12202 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274196796 937435136 8863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12347] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12347/stat : 12347 (java) S 12335 12340 12202 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274196796 937435136 8863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12352] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12352/stat : 12352 (java) S 12335 12340 12202 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12353] ppid=12335 vsize=915464 CPUtime=0.24
/proc/12340/task/12353/stat : 12353 (java) S 12335 12340 12202 0 -1 64 403 0 0 0 23 1 0 0 16 0 8 0 274196799 937435136 8863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12354] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12354/stat : 12354 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12355] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12355/stat : 12355 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274196799 937435136 8863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915464

[startup+25.6015 s]
/proc/loadavg: 1.29 1.06 1.06 3/100 12355
/proc/meminfo: memFree=1386984/2055920 swapFree=4173628/4192956
[pid=12340] ppid=12335 vsize=915464 CPUtime=25.44
/proc/12340/stat : 12340 (java) R 12335 12340 12202 0 -1 0 9141 0 1 0 2441 103 0 0 25 0 8 0 274196791 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073840416 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12340/statm: 228866 8871 2532 14 0 215336 0
[pid=12340/tid=12343] ppid=12335 vsize=915464 CPUtime=0.02
/proc/12340/task/12343/stat : 12343 (java) S 12335 12340 12202 0 -1 64 248 0 0 0 2 0 0 0 16 0 8 0 274196795 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12346] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12346/stat : 12346 (java) S 12335 12340 12202 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274196796 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12347] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12347/stat : 12347 (java) S 12335 12340 12202 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274196796 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12352] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12352/stat : 12352 (java) S 12335 12340 12202 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12353] ppid=12335 vsize=915464 CPUtime=0.24
/proc/12340/task/12353/stat : 12353 (java) S 12335 12340 12202 0 -1 64 403 0 0 0 23 1 0 0 16 0 8 0 274196799 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12354] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12354/stat : 12354 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12355] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12355/stat : 12355 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274196799 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915464

[startup+51.302 s]
/proc/loadavg: 1.53 1.14 1.09 3/100 12355
/proc/meminfo: memFree=1386984/2055920 swapFree=4173628/4192956
[pid=12340] ppid=12335 vsize=915464 CPUtime=51.02
/proc/12340/stat : 12340 (java) R 12335 12340 12202 0 -1 0 9150 0 1 0 4998 104 0 0 25 0 8 0 274196791 937435136 8879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846613 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12340/statm: 228866 8879 2532 14 0 215336 0
[pid=12340/tid=12343] ppid=12335 vsize=915464 CPUtime=0.02
/proc/12340/task/12343/stat : 12343 (java) S 12335 12340 12202 0 -1 64 248 0 0 0 2 0 0 0 16 0 8 0 274196795 937435136 8879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12346] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12346/stat : 12346 (java) S 12335 12340 12202 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274196796 937435136 8879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12347] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12347/stat : 12347 (java) S 12335 12340 12202 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274196796 937435136 8879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12352] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12352/stat : 12352 (java) S 12335 12340 12202 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12353] ppid=12335 vsize=915464 CPUtime=0.24
/proc/12340/task/12353/stat : 12353 (java) S 12335 12340 12202 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 274196799 937435136 8879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12354] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12354/stat : 12354 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12355] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12355/stat : 12355 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274196799 937435136 8879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 915464

[startup+102.595 s]
/proc/loadavg: 1.81 1.28 1.14 3/100 12355
/proc/meminfo: memFree=1386984/2055920 swapFree=4173628/4192956
[pid=12340] ppid=12335 vsize=915464 CPUtime=102.06
/proc/12340/stat : 12340 (java) R 12335 12340 12202 0 -1 0 9156 0 1 0 10102 104 0 0 25 0 8 0 274196791 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073841222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12340/statm: 228866 8885 2532 14 0 215336 0
[pid=12340/tid=12343] ppid=12335 vsize=915464 CPUtime=0.02
/proc/12340/task/12343/stat : 12343 (java) S 12335 12340 12202 0 -1 64 248 0 0 0 2 0 0 0 16 0 8 0 274196795 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12346] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12346/stat : 12346 (java) S 12335 12340 12202 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274196796 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12347] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12347/stat : 12347 (java) S 12335 12340 12202 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274196796 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12352] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12352/stat : 12352 (java) S 12335 12340 12202 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12353] ppid=12335 vsize=915464 CPUtime=0.24
/proc/12340/task/12353/stat : 12353 (java) S 12335 12340 12202 0 -1 64 405 0 0 0 23 1 0 0 16 0 8 0 274196799 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12354] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12354/stat : 12354 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12355] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12355/stat : 12355 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274196799 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.06
Current children cumulated vsize (KiB) 915464

[startup+162.632 s]
/proc/loadavg: 2.01 1.43 1.19 3/101 12517
/proc/meminfo: memFree=1404568/2055920 swapFree=4173628/4192956
[pid=12340] ppid=12335 vsize=915464 CPUtime=161.77
/proc/12340/stat : 12340 (java) R 12335 12340 12202 0 -1 0 9159 0 1 0 16072 105 0 0 25 0 8 0 274196791 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073840491 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12340/statm: 228866 8887 2532 14 0 215336 0
[pid=12340/tid=12343] ppid=12335 vsize=915464 CPUtime=0.03
/proc/12340/task/12343/stat : 12343 (java) S 12335 12340 12202 0 -1 64 248 0 0 0 3 0 0 0 16 0 8 0 274196795 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12346] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12346/stat : 12346 (java) S 12335 12340 12202 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274196796 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12347] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12347/stat : 12347 (java) S 12335 12340 12202 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274196796 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12352] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12352/stat : 12352 (java) S 12335 12340 12202 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12353] ppid=12335 vsize=915464 CPUtime=0.24
/proc/12340/task/12353/stat : 12353 (java) S 12335 12340 12202 0 -1 64 405 0 0 0 23 1 0 0 16 0 8 0 274196799 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12354] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12354/stat : 12354 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12355] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12355/stat : 12355 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274196799 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.77
Current children cumulated vsize (KiB) 915464

[startup+222.66 s]
/proc/loadavg: 2.00 1.52 1.24 3/101 12517
/proc/meminfo: memFree=1404568/2055920 swapFree=4173628/4192956
[pid=12340] ppid=12335 vsize=915464 CPUtime=221.48
/proc/12340/stat : 12340 (java) R 12335 12340 12202 0 -1 0 9162 0 1 0 22042 106 0 0 25 0 8 0 274196791 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073840471 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12340/statm: 228866 8890 2532 14 0 215336 0
[pid=12340/tid=12343] ppid=12335 vsize=915464 CPUtime=0.03
/proc/12340/task/12343/stat : 12343 (java) S 12335 12340 12202 0 -1 64 248 0 0 0 3 0 0 0 16 0 8 0 274196795 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12346] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12346/stat : 12346 (java) S 12335 12340 12202 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274196796 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12347] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12347/stat : 12347 (java) S 12335 12340 12202 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274196796 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12352] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12352/stat : 12352 (java) S 12335 12340 12202 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12353] ppid=12335 vsize=915464 CPUtime=0.24
/proc/12340/task/12353/stat : 12353 (java) S 12335 12340 12202 0 -1 64 405 0 0 0 23 1 0 0 16 0 8 0 274196799 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12354] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12354/stat : 12354 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12355] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12355/stat : 12355 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274196799 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.48
Current children cumulated vsize (KiB) 915464

[startup+282.689 s]
/proc/loadavg: 2.00 1.61 1.29 3/101 12517
/proc/meminfo: memFree=1404632/2055920 swapFree=4173628/4192956
[pid=12340] ppid=12335 vsize=915464 CPUtime=281.19
/proc/12340/stat : 12340 (java) R 12335 12340 12202 0 -1 0 9164 0 1 0 28013 106 0 0 25 0 8 0 274196791 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073841127 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12340/statm: 228866 8892 2532 14 0 215336 0
[pid=12340/tid=12343] ppid=12335 vsize=915464 CPUtime=0.03
/proc/12340/task/12343/stat : 12343 (java) S 12335 12340 12202 0 -1 64 248 0 0 0 3 0 0 0 16 0 8 0 274196795 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12346] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12346/stat : 12346 (java) S 12335 12340 12202 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274196796 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12347] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12347/stat : 12347 (java) S 12335 12340 12202 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274196796 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12352] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12352/stat : 12352 (java) S 12335 12340 12202 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12353] ppid=12335 vsize=915464 CPUtime=0.24
/proc/12340/task/12353/stat : 12353 (java) S 12335 12340 12202 0 -1 64 405 0 0 0 23 1 0 0 16 0 8 0 274196799 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12354] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12354/stat : 12354 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12355] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12355/stat : 12355 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274196799 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 281.19
Current children cumulated vsize (KiB) 915464

[startup+342.724 s]
/proc/loadavg: 2.05 1.69 1.33 3/101 12517
/proc/meminfo: memFree=1404568/2055920 swapFree=4173628/4192956
[pid=12340] ppid=12335 vsize=915464 CPUtime=340.9
/proc/12340/stat : 12340 (java) R 12335 12340 12202 0 -1 0 9164 0 1 0 33984 106 0 0 25 0 8 0 274196791 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073736038 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12340/statm: 228866 8892 2532 14 0 215336 0
[pid=12340/tid=12343] ppid=12335 vsize=915464 CPUtime=0.03
/proc/12340/task/12343/stat : 12343 (java) S 12335 12340 12202 0 -1 64 248 0 0 0 3 0 0 0 16 0 8 0 274196795 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12346] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12346/stat : 12346 (java) S 12335 12340 12202 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274196796 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12347] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12347/stat : 12347 (java) S 12335 12340 12202 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274196796 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12352] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12352/stat : 12352 (java) S 12335 12340 12202 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12353] ppid=12335 vsize=915464 CPUtime=0.24
/proc/12340/task/12353/stat : 12353 (java) S 12335 12340 12202 0 -1 64 405 0 0 0 23 1 0 0 16 0 8 0 274196799 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12354] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12354/stat : 12354 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12355] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12355/stat : 12355 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274196799 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 340.9
Current children cumulated vsize (KiB) 915464

[startup+402.764 s]
/proc/loadavg: 2.05 1.76 1.38 3/101 12517
/proc/meminfo: memFree=1404568/2055920 swapFree=4173628/4192956
[pid=12340] ppid=12335 vsize=915464 CPUtime=400.6
/proc/12340/stat : 12340 (java) R 12335 12340 12202 0 -1 0 9164 0 1 0 39954 106 0 0 25 0 8 0 274196791 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073735850 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12340/statm: 228866 8892 2532 14 0 215336 0
[pid=12340/tid=12343] ppid=12335 vsize=915464 CPUtime=0.03
/proc/12340/task/12343/stat : 12343 (java) S 12335 12340 12202 0 -1 64 248 0 0 0 3 0 0 0 16 0 8 0 274196795 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12346] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12346/stat : 12346 (java) S 12335 12340 12202 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274196796 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12347] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12347/stat : 12347 (java) S 12335 12340 12202 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274196796 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12352] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12352/stat : 12352 (java) S 12335 12340 12202 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12353] ppid=12335 vsize=915464 CPUtime=0.24
/proc/12340/task/12353/stat : 12353 (java) S 12335 12340 12202 0 -1 64 405 0 0 0 23 1 0 0 16 0 8 0 274196799 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12354] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12354/stat : 12354 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 274196799 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12340/tid=12355] ppid=12335 vsize=915464 CPUtime=0
/proc/12340/task/12355/stat : 12355 (java) S 12335 12340 12202 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274196799 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 400.6
Current children cumulated vsize (KiB) 915464

Child status: 0
Real time (s): 444.824
CPU time (s): 442.404
CPU user time (s): 441.323
CPU system time (s): 1.08083
CPU usage (%): 99.4559
Max. virtual memory (cumulated for all children) (KiB): 915980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 441.323
system time used= 1.08083
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9264
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= 10214
involuntary context switches= 17810

runsolver used 0.560914 s user time and 1.3268 s system time

The end

Launcher Data (download as text)

Begin job on node15 on Sat Jan 20 01:53:39 UTC 2007


IDJOB= 277147
IDBENCH= 6292
IDSOLVER= 68
FILE ID= node15/277147-1169258019

PBS_JOBID= 3607276

Free space on /tmp= 66561 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  4435b4c97eb385afb53b1b633cff6f92

RANDOM SEED= 831522496

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.276
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.276
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:       1439392 kB
Buffers:         52328 kB
Cached:         455476 kB
SwapCached:       5936 kB
Active:         189112 kB
Inactive:       353520 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1439392 kB
SwapTotal:     4192956 kB
SwapFree:      4173628 kB
Dirty:            3868 kB
Writeback:           0 kB
Mapped:          44500 kB
Slab:            58932 kB
Committed_AS:  8359768 kB
PageTables:       2264 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= 66563 MiB



End job on node15 on Sat Jan 20 02:01:04 UTC 2007