Trace number 282728

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 459.053 463.369

General information on the benchmark

NameMaxCSP/celar/subs6/
scenw-6-sub1_ext.xml
MD5SUM9fd2c9f754995ee8b76fff9abf5039b7
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints278
Best CPU time to get the best result obtained on this benchmark43.1654
Satisfiable
(Un)Satisfiability was proved
Number of variables14
Number of constraints300
Maximum constraint arity2
Maximum domain size44
Number of constraints which are defined in extension300
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.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/282728-1169321994/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.42	     nbVariables=14  nbDomainTypes=1  minDomainSize=44  maxDomainSize=44
0.42	       =>  wckTime=0.104  cpuTime=0.09  mem=6M910
0.42	   
0.42	   relations being loaded...
0.51	   
0.51	   constraints being loaded...
0.62	     nbConstraints=300  nbRelationTypes=80  nbExtensionStructures=80  nbSharedExtensionStructures=220
0.62	     nbConflictsStructures=80  nbSharedConflictsStructures=220  nbSharedBinaryRepresentations=6197  maxDegree=52
0.62	     maxArity=2
0.62	       =>  wckTime=0.307  cpuTime=0.23  mem=12M769
0.66	   
0.66	   solver LocalSearchSolver being built... 
0.71	       =>  wckTime=0.394  cpuTime=0.27  mem=5M636
0.72	
0.72	s SATISFIABLE
0.72	o 191
0.72	c 109
0.72	o 195
0.72	c 105
0.72	o 201
0.72	c 99
0.73	o 203
0.73	c 97
0.73	o 210
0.73	c 90
0.73	o 211
0.73	c 89
0.73	o 223
0.73	c 77
0.73	o 228
0.73	c 72
0.74	o 239
0.74	c 61
0.74	o 248
0.74	c 52
0.74	o 254
0.74	c 46
0.74	o 260
0.74	c 40
0.74	o 264
0.74	c 36
0.74	o 268
0.74	c 32
0.75	o 272
0.75	c 28
0.75	o 273
0.75	c 27
0.79	o 274
0.79	c 26
0.79	o 277
0.79	c 23
1.23	o 278
1.23	c 22
17.01	   
17.01	   search
17.01	     run=0  nbConstraintChecks=140199445  nbAssignments=10000
17.01	       =>  wckTime=16.298  cpuTime=16.13  mem=5M636
31.51	   
31.51	   search
31.51	     run=1  nbConstraintChecks=265546409  nbAssignments=18817
31.51	       =>  wckTime=30.803  cpuTime=30.51  mem=5M636
31.51	   
31.51	   global
31.51	     nbConstraintChecks=265546409  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.51	     solvingWckTime=30.801  solvingCpuTime=30.51  expiredTime=no  totalExploration=no  nbFoundSolutions=0
31.51	     globalCpuTime=30.82
31.51	       =>  wckTime=31.198  cpuTime=30.78  mem=5M636
31.51	   
31.51	   solver IterativeSystematicSolver being built... 
31.64	       =>  wckTime=31.325  cpuTime=30.87  mem=16M511
31.65	   
31.65	   preprocessing
31.65	     nbConstraintChecks=2816  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
31.65	     detectedInconsistency=no
31.65	       =>  wckTime=0.011  cpuTime=0.01  mem=16M511
31.82	   
31.82	   search
31.82	     run=0  nbConstraintChecks=722764  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=47
31.82	     nbFailedAssignments=34  nbBacktracks=10  nbVisitedNodes=92  nbRestartNogoods=0
31.82	       =>  wckTime=0.18  cpuTime=0.15  mem=16M511
32.55	   
32.55	   search
32.55	     run=1  nbConstraintChecks=5339349  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=362
32.55	     nbFailedAssignments=331  nbBacktracks=25  nbVisitedNodes=719  nbRestartNogoods=2
32.55	       =>  wckTime=0.91  cpuTime=0.86  mem=16M511
32.83	   
32.83	   search
32.83	     run=2  nbConstraintChecks=7034317  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=471
32.83	     nbFailedAssignments=415  nbBacktracks=47  nbVisitedNodes=934  nbRestartNogoods=11
32.83	       =>  wckTime=1.187  cpuTime=1.13  mem=16M511
33.29	   
33.29	   search
33.29	     run=3  nbConstraintChecks=9862576  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=655
33.29	     nbFailedAssignments=563  nbBacktracks=80  nbVisitedNodes=1299  nbRestartNogoods=23
33.29	       =>  wckTime=1.652  cpuTime=1.59  mem=16M511
34.13	   
34.13	   search
34.13	     run=4  nbConstraintChecks=14790198  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=979
34.13	     nbFailedAssignments=834  nbBacktracks=130  nbVisitedNodes=1944  nbRestartNogoods=29
34.13	       =>  wckTime=2.491  cpuTime=2.42  mem=16M511
34.55	   
34.55	   search
34.55	     run=5  nbConstraintChecks=17156314  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1435
34.55	     nbFailedAssignments=1210  nbBacktracks=205  nbVisitedNodes=2851  nbRestartNogoods=31
34.55	       =>  wckTime=2.912  cpuTime=2.84  mem=16M511
35.89	   
35.89	   search
35.89	     run=6  nbConstraintChecks=25257066  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2048
35.89	     nbFailedAssignments=1707  nbBacktracks=318  nbVisitedNodes=4074  nbRestartNogoods=47
35.89	       =>  wckTime=4.25  cpuTime=4.15  mem=16M511
41.71	   
41.71	   search
41.71	     run=7  nbConstraintChecks=67333968  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5536
41.71	     nbFailedAssignments=5021  nbBacktracks=488  nbVisitedNodes=11046  nbRestartNogoods=65
41.71	       =>  wckTime=10.071  cpuTime=9.92  mem=16M511
46.11	   
46.11	   search
46.11	     run=8  nbConstraintChecks=93851595  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=7543
46.12	     nbFailedAssignments=6768  nbBacktracks=744  nbVisitedNodes=15056  nbRestartNogoods=83
46.12	       =>  wckTime=14.474  cpuTime=14.28  mem=16M511
50.22	   
50.22	   search
50.22	     run=9  nbConstraintChecks=119320117  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=9517
50.22	     nbFailedAssignments=8354  nbBacktracks=1128  nbVisitedNodes=19000  nbRestartNogoods=98
50.22	       =>  wckTime=18.575  cpuTime=18.33  mem=16M511
56.10	   
56.10	   search
56.10	     run=10  nbConstraintChecks=156305306  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=12537
56.10	     nbFailedAssignments=10794  nbBacktracks=1704  nbVisitedNodes=25036  nbRestartNogoods=110
56.10	       =>  wckTime=24.462  cpuTime=24.17  mem=16M511
75.55	   
75.55	   search
75.55	     run=11  nbConstraintChecks=294483769  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=23124
75.55	     nbFailedAssignments=20513  nbBacktracks=2568  nbVisitedNodes=46206  nbRestartNogoods=130
75.55	       =>  wckTime=43.906  cpuTime=43.43  mem=16M511
92.76	   
92.76	   search
92.76	     run=12  nbConstraintChecks=402137104  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=30979
92.76	     nbFailedAssignments=27067  nbBacktracks=3865  nbVisitedNodes=61912  nbRestartNogoods=168
92.76	       =>  wckTime=61.116  cpuTime=60.48  mem=16M511
118.27	   
118.27	   search
118.27	     run=13  nbConstraintChecks=562459578  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=42976
118.27	     nbFailedAssignments=37114  nbBacktracks=5811  nbVisitedNodes=85901  nbRestartNogoods=189
118.27	       =>  wckTime=86.633  cpuTime=85.76  mem=16M511
146.74	   
146.74	   search
146.74	     run=14  nbConstraintChecks=740351116  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=57685
146.74	     nbFailedAssignments=48901  nbBacktracks=8730  nbVisitedNodes=115316  nbRestartNogoods=207
146.74	       =>  wckTime=115.099  cpuTime=113.97  mem=16M511
207.29	   
207.29	   search
207.29	     run=15  nbConstraintChecks=1123681841  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=85435
207.29	     nbFailedAssignments=72269  nbBacktracks=13108  nbVisitedNodes=170811  nbRestartNogoods=222
207.29	       =>  wckTime=175.648  cpuTime=173.96  mem=16M511
331.20	   
331.20	   search
331.20	     run=16  nbConstraintChecks=1907956307  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=141458
331.20	     nbFailedAssignments=121722  nbBacktracks=19676  nbVisitedNodes=282848  nbRestartNogoods=254
331.20	       =>  wckTime=299.563  cpuTime=296.73  mem=16M511
463.31	   
463.31	   search
463.31	     run=17  nbConstraintChecks=2712316513  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=201588
463.31	     nbFailedAssignments=173177  nbBacktracks=28352  nbVisitedNodes=402966  nbRestartNogoods=266
463.31	       =>  wckTime=431.672  cpuTime=427.63  mem=16M511
463.31	   
463.31	   global
463.31	     nbConstraintChecks=2712319329  nbRestartNogoods=266  solvingWckTime=431.673  solvingCpuTime=427.63  expiredTime=no
463.31	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=458.54
463.31	       =>  wckTime=462.999  cpuTime=458.5  mem=16M511
463.32	
463.32	s OPTIMUM FOUND
463.32	v 0 0 5 42 43 23 5 17 18 43 42 42 35 0 
463.32	   
463.32	   totalWckTime=463.078  totalCpuTime=458.54

Verifier Data (download as text)

22 unsatisfied constraints, 278 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/node23/watcher-282728-1169321994 -o ROOT/results/node23/solver-282728-1169321994 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282728-1169321994/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.97 1.83 1.42 2/93 25288
/proc/meminfo: memFree=1264408/2055920 swapFree=4156072/4192956
[pid=25287] ppid=25285 vsize=18540 CPUtime=0
/proc/25287/stat : 25287 (runsolver) R 25285 25287 24974 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 280593812 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 238487661863 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/25287/statm: 4635 279 244 17 0 2626 0

[startup+0.102215 s]
/proc/loadavg: 1.97 1.83 1.42 2/93 25288
/proc/meminfo: memFree=1264408/2055920 swapFree=4156072/4192956
[pid=25287] ppid=25285 vsize=913228 CPUtime=0.09
/proc/25287/stat : 25287 (java) R 25285 25287 24974 0 -1 0 2920 0 1 0 7 2 0 0 17 0 8 0 280593812 935145472 2666 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25287/statm: 228307 2666 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 913228

[startup+0.51029 s]
/proc/loadavg: 1.97 1.83 1.42 2/93 25288
/proc/meminfo: memFree=1264408/2055920 swapFree=4156072/4192956
[pid=25287] ppid=25285 vsize=915332 CPUtime=0.48
/proc/25287/stat : 25287 (java) R 25285 25287 24974 0 -1 0 7090 0 1 0 44 4 0 0 18 0 8 0 280593812 937299968 6829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152820125 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25287/statm: 228833 6829 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.33344 s]
/proc/loadavg: 1.97 1.83 1.42 3/100 25295
/proc/meminfo: memFree=1242144/2055920 swapFree=4156072/4192956
[pid=25287] ppid=25285 vsize=915464 CPUtime=1.3
/proc/25287/stat : 25287 (java) R 25285 25287 24974 0 -1 0 8215 0 1 0 123 7 0 0 25 0 8 0 280593812 937435136 7953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727649 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25287/statm: 228866 7953 2476 14 0 215336 0
[pid=25287/tid=25289] ppid=25285 vsize=915464 CPUtime=0.02
/proc/25287/task/25289/stat : 25289 (java) S 25285 25287 24974 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 280593816 937435136 7953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25290] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25290/stat : 25290 (java) S 25285 25287 24974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280593817 937435136 7953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25291] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25291/stat : 25291 (java) S 25285 25287 24974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280593817 937435136 7953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25292] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25292/stat : 25292 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280593820 937435136 7953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25293] ppid=25285 vsize=915464 CPUtime=0.13
/proc/25287/task/25293/stat : 25293 (java) S 25285 25287 24974 0 -1 64 342 0 0 0 13 0 0 0 16 0 8 0 280593820 937435136 7953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25294] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25294/stat : 25294 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280593820 937435136 7953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25295] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25295/stat : 25295 (java) S 25285 25287 24974 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280593820 937435136 7953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464

[startup+2.97576 s]
/proc/loadavg: 1.97 1.83 1.42 3/100 25295
/proc/meminfo: memFree=1242144/2055920 swapFree=4156072/4192956
[pid=25287] ppid=25285 vsize=915464 CPUtime=2.93
/proc/25287/stat : 25287 (java) R 25285 25287 24974 0 -1 0 8216 0 1 0 283 10 0 0 25 0 8 0 280593812 937435136 7953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073729979 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25287/statm: 228866 7953 2476 14 0 215336 0
[pid=25287/tid=25289] ppid=25285 vsize=915464 CPUtime=0.02
/proc/25287/task/25289/stat : 25289 (java) S 25285 25287 24974 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 280593816 937435136 7953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25290] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25290/stat : 25290 (java) S 25285 25287 24974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280593817 937435136 7953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25291] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25291/stat : 25291 (java) S 25285 25287 24974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280593817 937435136 7953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25292] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25292/stat : 25292 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280593820 937435136 7953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25293] ppid=25285 vsize=915464 CPUtime=0.13
/proc/25287/task/25293/stat : 25293 (java) S 25285 25287 24974 0 -1 64 342 0 0 0 13 0 0 0 16 0 8 0 280593820 937435136 7953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25294] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25294/stat : 25294 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280593820 937435136 7953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25295] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25295/stat : 25295 (java) S 25285 25287 24974 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280593820 937435136 7953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915464

[startup+6.2674 s]
/proc/loadavg: 1.97 1.83 1.42 3/100 25295
/proc/meminfo: memFree=1242080/2055920 swapFree=4156072/4192956
[pid=25287] ppid=25285 vsize=915464 CPUtime=6.19
/proc/25287/stat : 25287 (java) R 25285 25287 24974 0 -1 0 8219 0 1 0 600 19 0 0 25 0 8 0 280593812 937435136 7956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073729917 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25287/statm: 228866 7956 2476 14 0 215336 0
[pid=25287/tid=25289] ppid=25285 vsize=915464 CPUtime=0.02
/proc/25287/task/25289/stat : 25289 (java) S 25285 25287 24974 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 280593816 937435136 7956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25290] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25290/stat : 25290 (java) S 25285 25287 24974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280593817 937435136 7956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25291] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25291/stat : 25291 (java) S 25285 25287 24974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280593817 937435136 7956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25292] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25292/stat : 25292 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280593820 937435136 7956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25293] ppid=25285 vsize=915464 CPUtime=0.13
/proc/25287/task/25293/stat : 25293 (java) S 25285 25287 24974 0 -1 64 345 0 0 0 13 0 0 0 16 0 8 0 280593820 937435136 7956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25294] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25294/stat : 25294 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280593820 937435136 7956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25295] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25295/stat : 25295 (java) S 25285 25287 24974 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280593820 937435136 7956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915464

[startup+12.7466 s]
/proc/loadavg: 1.98 1.84 1.43 3/100 25295
/proc/meminfo: memFree=1242144/2055920 swapFree=4156072/4192956
[pid=25287] ppid=25285 vsize=915464 CPUtime=12.61
/proc/25287/stat : 25287 (java) R 25285 25287 24974 0 -1 0 8219 0 1 0 1226 35 0 0 25 0 8 0 280593812 937435136 7956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727604 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25287/statm: 228866 7956 2476 14 0 215336 0
[pid=25287/tid=25289] ppid=25285 vsize=915464 CPUtime=0.02
/proc/25287/task/25289/stat : 25289 (java) S 25285 25287 24974 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 280593816 937435136 7956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25290] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25290/stat : 25290 (java) S 25285 25287 24974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280593817 937435136 7956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25291] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25291/stat : 25291 (java) S 25285 25287 24974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280593817 937435136 7956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25292] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25292/stat : 25292 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280593820 937435136 7956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25293] ppid=25285 vsize=915464 CPUtime=0.13
/proc/25287/task/25293/stat : 25293 (java) S 25285 25287 24974 0 -1 64 345 0 0 0 13 0 0 0 16 0 8 0 280593820 937435136 7956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25294] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25294/stat : 25294 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280593820 937435136 7956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25295] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25295/stat : 25295 (java) S 25285 25287 24974 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280593820 937435136 7956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915464

[startup+25.5911 s]
/proc/loadavg: 1.98 1.84 1.44 3/100 25295
/proc/meminfo: memFree=1242144/2055920 swapFree=4156072/4192956
[pid=25287] ppid=25285 vsize=915464 CPUtime=25.33
/proc/25287/stat : 25287 (java) R 25285 25287 24974 0 -1 0 8221 0 1 0 2468 65 0 0 25 0 8 0 280593812 937435136 7958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727735 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25287/statm: 228866 7958 2476 14 0 215336 0
[pid=25287/tid=25289] ppid=25285 vsize=915464 CPUtime=0.02
/proc/25287/task/25289/stat : 25289 (java) S 25285 25287 24974 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 280593816 937435136 7958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25290] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25290/stat : 25290 (java) S 25285 25287 24974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280593817 937435136 7958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25291] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25291/stat : 25291 (java) S 25285 25287 24974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280593817 937435136 7958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25292] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25292/stat : 25292 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280593820 937435136 7958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25293] ppid=25285 vsize=915464 CPUtime=0.14
/proc/25287/task/25293/stat : 25293 (java) S 25285 25287 24974 0 -1 64 347 0 0 0 14 0 0 0 16 0 8 0 280593820 937435136 7958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25294] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25294/stat : 25294 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280593820 937435136 7958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25295] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25295/stat : 25295 (java) S 25285 25287 24974 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280593820 937435136 7958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 915464

[startup+51.1991 s]
/proc/loadavg: 1.99 1.85 1.45 3/100 25295
/proc/meminfo: memFree=1239136/2055920 swapFree=4156072/4192956
[pid=25287] ppid=25285 vsize=915464 CPUtime=50.71
/proc/25287/stat : 25287 (java) R 25285 25287 24974 0 -1 0 9036 0 1 0 4988 83 0 0 25 0 8 0 280593812 937435136 8766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073847616 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25287/statm: 228866 8766 2528 14 0 215336 0
[pid=25287/tid=25289] ppid=25285 vsize=915464 CPUtime=0.02
/proc/25287/task/25289/stat : 25289 (java) S 25285 25287 24974 0 -1 64 190 0 0 0 2 0 0 0 16 0 8 0 280593816 937435136 8766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25290] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25290/stat : 25290 (java) S 25285 25287 24974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280593817 937435136 8766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25291] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25291/stat : 25291 (java) S 25285 25287 24974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280593817 937435136 8766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25292] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25292/stat : 25292 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280593820 937435136 8766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25293] ppid=25285 vsize=915464 CPUtime=0.24
/proc/25287/task/25293/stat : 25293 (java) S 25285 25287 24974 0 -1 64 398 0 0 0 23 1 0 0 15 0 8 0 280593820 937435136 8766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25294] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25294/stat : 25294 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280593820 937435136 8766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25295] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25295/stat : 25295 (java) S 25285 25287 24974 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280593820 937435136 8766 18446744073709551615 134512640 134570532 4294956480 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.404 s]
/proc/loadavg: 1.99 1.87 1.48 3/100 25295
/proc/meminfo: memFree=1239136/2055920 swapFree=4156072/4192956
[pid=25287] ppid=25285 vsize=915464 CPUtime=101.44
/proc/25287/stat : 25287 (java) R 25285 25287 24974 0 -1 0 9046 0 1 0 10061 83 0 0 25 0 8 0 280593812 937435136 8776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826965 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25287/statm: 228866 8776 2528 14 0 215336 0
[pid=25287/tid=25289] ppid=25285 vsize=915464 CPUtime=0.02
/proc/25287/task/25289/stat : 25289 (java) S 25285 25287 24974 0 -1 64 190 0 0 0 2 0 0 0 16 0 8 0 280593816 937435136 8776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25290] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25290/stat : 25290 (java) S 25285 25287 24974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280593817 937435136 8776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25291] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25291/stat : 25291 (java) S 25285 25287 24974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280593817 937435136 8776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25292] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25292/stat : 25292 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280593820 937435136 8776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25293] ppid=25285 vsize=915464 CPUtime=0.24
/proc/25287/task/25293/stat : 25293 (java) S 25285 25287 24974 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 280593820 937435136 8776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25294] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25294/stat : 25294 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280593820 937435136 8776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25295] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25295/stat : 25295 (java) S 25285 25287 24974 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280593820 937435136 8776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 915464

[startup+162.449 s]
/proc/loadavg: 1.99 1.89 1.51 3/100 25295
/proc/meminfo: memFree=1239200/2055920 swapFree=4156072/4192956
[pid=25287] ppid=25285 vsize=915464 CPUtime=160.93
/proc/25287/stat : 25287 (java) R 25285 25287 24974 0 -1 0 9053 0 1 0 16009 84 0 0 25 0 8 0 280593812 937435136 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25287/statm: 228866 8781 2528 14 0 215336 0
[pid=25287/tid=25289] ppid=25285 vsize=915464 CPUtime=0.02
/proc/25287/task/25289/stat : 25289 (java) S 25285 25287 24974 0 -1 64 190 0 0 0 2 0 0 0 16 0 8 0 280593816 937435136 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25290] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25290/stat : 25290 (java) S 25285 25287 24974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280593817 937435136 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25291] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25291/stat : 25291 (java) S 25285 25287 24974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280593817 937435136 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25292] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25292/stat : 25292 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280593820 937435136 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25293] ppid=25285 vsize=915464 CPUtime=0.24
/proc/25287/task/25293/stat : 25293 (java) S 25285 25287 24974 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 280593820 937435136 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25294] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25294/stat : 25294 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280593820 937435136 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25295] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25295/stat : 25295 (java) S 25285 25287 24974 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280593820 937435136 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.93
Current children cumulated vsize (KiB) 915464

[startup+222.503 s]
/proc/loadavg: 1.99 1.91 1.53 3/100 25295
/proc/meminfo: memFree=1239136/2055920 swapFree=4156072/4192956
[pid=25287] ppid=25285 vsize=915464 CPUtime=220.43
/proc/25287/stat : 25287 (java) R 25285 25287 24974 0 -1 0 9056 0 1 0 21959 84 0 0 25 0 8 0 280593812 937435136 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073733265 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25287/statm: 228866 8783 2528 14 0 215336 0
[pid=25287/tid=25289] ppid=25285 vsize=915464 CPUtime=0.02
/proc/25287/task/25289/stat : 25289 (java) S 25285 25287 24974 0 -1 64 190 0 0 0 2 0 0 0 16 0 8 0 280593816 937435136 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25290] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25290/stat : 25290 (java) S 25285 25287 24974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280593817 937435136 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25291] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25291/stat : 25291 (java) S 25285 25287 24974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280593817 937435136 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25292] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25292/stat : 25292 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280593820 937435136 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25293] ppid=25285 vsize=915464 CPUtime=0.24
/proc/25287/task/25293/stat : 25293 (java) S 25285 25287 24974 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 280593820 937435136 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25294] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25294/stat : 25294 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280593820 937435136 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25295] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25295/stat : 25295 (java) S 25285 25287 24974 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280593820 937435136 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.43
Current children cumulated vsize (KiB) 915464

[startup+282.558 s]
/proc/loadavg: 2.04 1.94 1.57 3/100 25295
/proc/meminfo: memFree=1239136/2055920 swapFree=4156072/4192956
[pid=25287] ppid=25285 vsize=915464 CPUtime=279.93
/proc/25287/stat : 25287 (java) R 25285 25287 24974 0 -1 0 9056 0 1 0 27909 84 0 0 25 0 8 0 280593812 937435136 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073891890 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25287/statm: 228866 8783 2528 14 0 215336 0
[pid=25287/tid=25289] ppid=25285 vsize=915464 CPUtime=0.02
/proc/25287/task/25289/stat : 25289 (java) S 25285 25287 24974 0 -1 64 190 0 0 0 2 0 0 0 16 0 8 0 280593816 937435136 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25290] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25290/stat : 25290 (java) S 25285 25287 24974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280593817 937435136 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25291] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25291/stat : 25291 (java) S 25285 25287 24974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280593817 937435136 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25292] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25292/stat : 25292 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280593820 937435136 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25293] ppid=25285 vsize=915464 CPUtime=0.24
/proc/25287/task/25293/stat : 25293 (java) S 25285 25287 24974 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 280593820 937435136 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25294] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25294/stat : 25294 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280593820 937435136 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25295] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25295/stat : 25295 (java) S 25285 25287 24974 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280593820 937435136 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.93
Current children cumulated vsize (KiB) 915464

[startup+342.609 s]
/proc/loadavg: 2.07 1.96 1.59 3/100 25295
/proc/meminfo: memFree=1239136/2055920 swapFree=4156072/4192956
[pid=25287] ppid=25285 vsize=915464 CPUtime=339.44
/proc/25287/stat : 25287 (java) R 25285 25287 24974 0 -1 0 9059 0 1 0 33859 85 0 0 25 0 8 0 280593812 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827328 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25287/statm: 228866 8786 2528 14 0 215336 0
[pid=25287/tid=25289] ppid=25285 vsize=915464 CPUtime=0.02
/proc/25287/task/25289/stat : 25289 (java) S 25285 25287 24974 0 -1 64 190 0 0 0 2 0 0 0 16 0 8 0 280593816 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25290] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25290/stat : 25290 (java) S 25285 25287 24974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280593817 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25291] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25291/stat : 25291 (java) S 25285 25287 24974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280593817 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25292] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25292/stat : 25292 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280593820 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25293] ppid=25285 vsize=915464 CPUtime=0.24
/proc/25287/task/25293/stat : 25293 (java) S 25285 25287 24974 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 280593820 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25294] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25294/stat : 25294 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280593820 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25295] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25295/stat : 25295 (java) S 25285 25287 24974 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280593820 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.44
Current children cumulated vsize (KiB) 915464

[startup+402.656 s]
/proc/loadavg: 2.02 1.97 1.62 4/100 25295
/proc/meminfo: memFree=1239136/2055920 swapFree=4156072/4192956
[pid=25287] ppid=25285 vsize=915464 CPUtime=398.93
/proc/25287/stat : 25287 (java) R 25285 25287 24974 0 -1 0 9059 0 1 0 39808 85 0 0 25 0 8 0 280593812 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849053 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25287/statm: 228866 8786 2528 14 0 215336 0
[pid=25287/tid=25289] ppid=25285 vsize=915464 CPUtime=0.02
/proc/25287/task/25289/stat : 25289 (java) S 25285 25287 24974 0 -1 64 190 0 0 0 2 0 0 0 16 0 8 0 280593816 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25290] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25290/stat : 25290 (java) S 25285 25287 24974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280593817 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25291] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25291/stat : 25291 (java) S 25285 25287 24974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280593817 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25292] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25292/stat : 25292 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280593820 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25293] ppid=25285 vsize=915464 CPUtime=0.24
/proc/25287/task/25293/stat : 25293 (java) S 25285 25287 24974 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 280593820 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25294] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25294/stat : 25294 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280593820 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25295] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25295/stat : 25295 (java) S 25285 25287 24974 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280593820 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 398.93
Current children cumulated vsize (KiB) 915464

[startup+462.705 s]
/proc/loadavg: 2.01 1.97 1.64 3/100 25295
/proc/meminfo: memFree=1239136/2055920 swapFree=4156072/4192956
[pid=25287] ppid=25285 vsize=915464 CPUtime=458.43
/proc/25287/stat : 25287 (java) R 25285 25287 24974 0 -1 0 9059 0 1 0 45757 86 0 0 25 0 8 0 280593812 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832598 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25287/statm: 228866 8786 2528 14 0 215336 0
[pid=25287/tid=25289] ppid=25285 vsize=915464 CPUtime=0.02
/proc/25287/task/25289/stat : 25289 (java) S 25285 25287 24974 0 -1 64 190 0 0 0 2 0 0 0 16 0 8 0 280593816 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25290] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25290/stat : 25290 (java) S 25285 25287 24974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280593817 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25291] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25291/stat : 25291 (java) S 25285 25287 24974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280593817 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25292] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25292/stat : 25292 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280593820 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25293] ppid=25285 vsize=915464 CPUtime=0.24
/proc/25287/task/25293/stat : 25293 (java) S 25285 25287 24974 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 280593820 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25294] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25294/stat : 25294 (java) S 25285 25287 24974 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280593820 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25287/tid=25295] ppid=25285 vsize=915464 CPUtime=0
/proc/25287/task/25295/stat : 25295 (java) S 25285 25287 24974 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280593820 937435136 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.43
Current children cumulated vsize (KiB) 915464

Child status: 0
Real time (s): 463.369
CPU time (s): 459.053
CPU user time (s): 458.184
CPU system time (s): 0.868867
CPU usage (%): 99.0687
Max. virtual memory (cumulated for all children) (KiB): 915468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 458.184
system time used= 0.868867
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9153
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= 10512
involuntary context switches= 36355

runsolver used 0.613906 s user time and 1.44878 s system time

The end

Launcher Data (download as text)

Begin job on node23 on Sat Jan 20 19:39:54 UTC 2007


IDJOB= 282728
IDBENCH= 12883
IDSOLVER= 69
FILE ID= node23/282728-1169321994

PBS_JOBID= 3610365

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/celar/subs6/scenw-6-sub1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282728-1169321994/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node23/watcher-282728-1169321994 -o ROOT/results/node23/solver-282728-1169321994 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282728-1169321994/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  9fd2c9f754995ee8b76fff9abf5039b7

RANDOM SEED= 781202291

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.265
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.265
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:       1264824 kB
Buffers:         41056 kB
Cached:         620512 kB
SwapCached:      12040 kB
Active:         193492 kB
Inactive:       531480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1264824 kB
SwapTotal:     4192956 kB
SwapFree:      4156072 kB
Dirty:            2032 kB
Writeback:           0 kB
Mapped:          86844 kB
Slab:            50620 kB
Committed_AS:  6133356 kB
PageTables:       2384 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 node23 on Sat Jan 20 19:47:38 UTC 2007