Trace number 275118

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 PFCMSAT (TO) 2400.15 2408.92

General information on the benchmark

NamegolombRuler/golombRulerArity4/
ruler-44-10-a4.xml
MD5SUM5a77c82d4a1b3da080370c15439dcb29
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints914
Best CPU time to get the best result obtained on this benchmark2400.15
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables10
Number of constraints915
Maximum constraint arity4
Maximum domain size45
Number of constraints which are defined in extension0
Number of constraints which are defined in intension915
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=pfc.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/275118-1169217181/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.38	     nbVariables=10  nbDomainTypes=1  minDomainSize=45  maxDomainSize=45
0.38	       =>  wckTime=0.092  cpuTime=0.09  mem=6M910
0.38	   
0.38	   predicates being loaded...
0.39	   
0.39	   constraints being loaded...
0.76	     nbConstraints=915  nbConvertedConstraints=45  nbConvertConstraintsChecks=184275  nbExtensionStructures=1
0.76	     nbSharedExtensionStructures=44  nbConflictsStructures=3  nbSharedConflictsStructures=282
0.76	     nbUnbuiltConflictsStructures=3  nbSharedBinaryRepresentations=1  nbEvaluationManagers=5
0.76	     nbSharedEvaluationManagers=865  maxDegree=333  maxArity=4
0.76	       =>  wckTime=0.467  cpuTime=0.34  mem=11M851
0.80	   
0.80	   solver LocalSearchSolver being built... 
0.84	       =>  wckTime=0.55  cpuTime=0.39  mem=5M940
0.85	
0.85	s SATISFIABLE
0.85	o 891
0.85	c 24
0.86	o 898
0.86	c 17
0.87	o 902
0.87	c 13
0.90	o 904
0.90	c 11
0.90	o 906
0.90	c 9
0.92	o 907
0.92	c 8
1.01	o 909
1.01	c 6
1.68	o 911
1.68	c 4
2.19	o 912
2.19	c 3
8.23	o 913
8.24	c 2
38.40	   
38.40	   search
38.40	     run=0  nbConstraintChecks=101053231  nbAssignments=4798
38.40	       =>  wckTime=37.556  cpuTime=37.36  mem=5M940
38.40	   
38.40	   global
38.40	     nbConstraintChecks=101053231  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
38.40	     solvingWckTime=37.554  solvingCpuTime=37.36  expiredTime=no  totalExploration=no  nbFoundSolutions=0
38.40	     globalCpuTime=37.8
38.40	       =>  wckTime=38.106  cpuTime=37.75  mem=5M940
38.40	   
38.40	   solver IterativeSystematicSolver being built... 
38.59	       =>  wckTime=38.3  cpuTime=37.91  mem=26M648
38.73	   
38.73	   preprocessing
38.73	     nbConstraintChecks=118150  nbValidityChecks=122769  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
38.73	     nbRemovedValues=20  detectedInconsistency=no
38.73	       =>  wckTime=0.132  cpuTime=0.1  mem=26M648
40.47	   
40.47	   search
40.47	     run=0  nbConstraintChecks=1665470  nbValidityChecks=5643064  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
40.47	     nbAssignments=34  nbFailedAssignments=23  nbBacktracks=10  nbVisitedNodes=68  nbRestartNogoods=0
40.47	       =>  wckTime=1.873  cpuTime=1.82  mem=27M640
41.59	   
41.59	   search
41.59	     run=1  nbConstraintChecks=2713742  nbValidityChecks=8521294  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
41.59	     nbAssignments=85  nbFailedAssignments=56  nbBacktracks=25  nbVisitedNodes=167  nbRestartNogoods=6
41.59	       =>  wckTime=2.995  cpuTime=2.92  mem=27M640
44.76	   
44.76	   search
44.76	     run=2  nbConstraintChecks=5728334  nbValidityChecks=18562069  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
44.76	     nbAssignments=173  nbFailedAssignments=120  nbBacktracks=47  nbVisitedNodes=340  nbRestartNogoods=35
44.76	       =>  wckTime=6.171  cpuTime=6.08  mem=27M640
46.10	   
46.10	   search
46.10	     run=3  nbConstraintChecks=6686646  nbValidityChecks=21877120  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
46.10	     nbAssignments=307  nbFailedAssignments=218  nbBacktracks=80  nbVisitedNodes=605  nbRestartNogoods=43
46.10	       =>  wckTime=7.508  cpuTime=7.41  mem=27M640
53.26	   
53.26	   search
53.26	     run=4  nbConstraintChecks=13602163  nbValidityChecks=43628226  nbPropagations=0  nbRevisions=0
53.26	     nbUselessRevisions=0  nbAssignments=537  nbFailedAssignments=395  nbBacktracks=130  nbVisitedNodes=1061
53.26	     nbRestartNogoods=58
53.26	       =>  wckTime=14.669  cpuTime=14.54  mem=27M640
56.67	   
56.67	   search
56.67	     run=5  nbConstraintChecks=15745702  nbValidityChecks=51796835  nbPropagations=0  nbRevisions=0
56.67	     nbUselessRevisions=0  nbAssignments=937  nbFailedAssignments=717  nbBacktracks=205  nbVisitedNodes=1853
56.67	     nbRestartNogoods=69
56.67	       =>  wckTime=18.081  cpuTime=17.93  mem=27M640
72.79	   
72.79	   search
72.79	     run=6  nbConstraintChecks=31732491  nbValidityChecks=98595828  nbPropagations=0  nbRevisions=0
72.79	     nbUselessRevisions=0  nbAssignments=1426  nbFailedAssignments=1090  nbBacktracks=318  nbVisitedNodes=2826
72.79	     nbRestartNogoods=91
72.79	       =>  wckTime=34.193  cpuTime=33.95  mem=27M640
78.82	   
78.82	   search
78.82	     run=7  nbConstraintChecks=35414734  nbValidityChecks=112215326  nbPropagations=0  nbRevisions=0
78.82	     nbUselessRevisions=0  nbAssignments=2251  nbFailedAssignments=1741  nbBacktracks=488  nbVisitedNodes=4470
78.82	     nbRestartNogoods=108
78.82	       =>  wckTime=40.226  cpuTime=39.94  mem=27M640
95.04	   
95.04	   search
95.04	     run=8  nbConstraintChecks=45859230  nbValidityChecks=150915735  nbPropagations=0  nbRevisions=0
95.04	     nbUselessRevisions=0  nbAssignments=4134  nbFailedAssignments=3364  nbBacktracks=744  nbVisitedNodes=8232
95.04	     nbRestartNogoods=124
95.04	       =>  wckTime=56.446  cpuTime=56.1  mem=27M640
117.16	   
117.16	   search
117.16	     run=9  nbConstraintChecks=59661757  nbValidityChecks=206965063  nbPropagations=0  nbRevisions=0
117.16	     nbUselessRevisions=0  nbAssignments=6956  nbFailedAssignments=5797  nbBacktracks=1128  nbVisitedNodes=13865
117.16	     nbRestartNogoods=149
117.16	       =>  wckTime=78.569  cpuTime=78.1  mem=27M640
147.30	   
147.30	   search
147.30	     run=10  nbConstraintChecks=77005575  nbValidityChecks=282163574  nbPropagations=0  nbRevisions=0
147.30	     nbUselessRevisions=0  nbAssignments=11549  nbFailedAssignments=9810  nbBacktracks=1704  nbVisitedNodes=23045
147.30	     nbRestartNogoods=198
147.30	       =>  wckTime=108.703  cpuTime=108.11  mem=27M640
187.08	   
187.08	   search
187.08	     run=11  nbConstraintChecks=101130619  nbValidityChecks=376352329  nbPropagations=0  nbRevisions=0
187.08	     nbUselessRevisions=0  nbAssignments=17301  nbFailedAssignments=14693  nbBacktracks=2568  nbVisitedNodes=34521
187.08	     nbRestartNogoods=244
187.08	       =>  wckTime=148.491  cpuTime=147.72  mem=27M640
236.93	   
236.93	   search
236.93	     run=12  nbConstraintChecks=131724289  nbValidityChecks=490668972  nbPropagations=0  nbRevisions=0
236.93	     nbUselessRevisions=0  nbAssignments=24116  nbFailedAssignments=20208  nbBacktracks=3866  nbVisitedNodes=48080
236.93	     nbRestartNogoods=268
236.93	       =>  wckTime=198.339  cpuTime=197.34  mem=27M640
334.55	   
334.55	   search
334.55	     run=13  nbConstraintChecks=203265787  nbValidityChecks=737253548  nbPropagations=0  nbRevisions=0
334.55	     nbUselessRevisions=0  nbAssignments=33353  nbFailedAssignments=27494  nbBacktracks=5813  nbVisitedNodes=66325
334.55	     nbRestartNogoods=286
334.55	       =>  wckTime=295.96  cpuTime=294.51  mem=27M640
448.89	   
448.89	   search
448.89	     run=14  nbConstraintChecks=286147684  nbValidityChecks=1022470797  nbPropagations=0  nbRevisions=0
448.89	     nbUselessRevisions=0  nbAssignments=43889  nbFailedAssignments=35107  nbBacktracks=8732  nbVisitedNodes=86846
448.89	     nbRestartNogoods=310
448.89	       =>  wckTime=410.299  cpuTime=408.31  mem=27M640
712.16	   
712.16	   search
712.16	     run=15  nbConstraintChecks=527062914  nbValidityChecks=1751570859  nbPropagations=0  nbRevisions=0
712.16	     nbUselessRevisions=0  nbAssignments=57319  nbFailedAssignments=44157  nbBacktracks=13110  nbVisitedNodes=112236
712.16	     nbRestartNogoods=331
712.16	       =>  wckTime=673.562  cpuTime=670.37  mem=27M640
1010.29	   
1010.29	   search
1010.29	     run=16  nbConstraintChecks=770533705  nbValidityChecks=2540373617  nbPropagations=0  nbRevisions=0
1010.29	     nbUselessRevisions=0  nbAssignments=78432  nbFailedAssignments=58699  nbBacktracks=19678  nbVisitedNodes=152371
1010.29	     nbRestartNogoods=345
1010.29	       =>  wckTime=971.697  cpuTime=967.15  mem=27M640
1348.19	   
1348.19	   search
1348.19	     run=17  nbConstraintChecks=1043790273  nbValidityChecks=3452588948  nbPropagations=0  nbRevisions=0
1348.19	     nbUselessRevisions=0  nbAssignments=102784  nbFailedAssignments=73194  nbBacktracks=29532  nbVisitedNodes=197583
1348.19	     nbRestartNogoods=367
1348.19	       =>  wckTime=1309.596  cpuTime=1303.5  mem=27M640
1779.26	   
1779.26	   search
1779.26	     run=18  nbConstraintChecks=1369735994  nbValidityChecks=4550885879  nbPropagations=0  nbRevisions=0
1779.26	     nbUselessRevisions=0  nbAssignments=141855  nbFailedAssignments=97482  nbBacktracks=44310  nbVisitedNodes=270223
1779.26	     nbRestartNogoods=383
1779.26	       =>  wckTime=1740.664  cpuTime=1732.62  mem=27M640
2408.86	v 0 2 6 13 26 29 34 43 44 44

Verifier Data (download as text)

2 unsatisfied constraints, 913 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/node7/watcher-275118-1169217181 -o ROOT/results/node7/solver-275118-1169217181 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275118-1169217181/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.99 1.97 1.88 4/87 11080
/proc/meminfo: memFree=1374616/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=292 CPUtime=0
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 229 0 0 0 0 0 0 0 18 0 1 0 270113552 299008 35 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10416932 0 0 4096 0 0 0 0 17 0 0 0
/proc/11079/statm: 73 37 29 14 0 5 0

[startup+0.108228 s]
/proc/loadavg: 1.99 1.97 1.88 4/87 11080
/proc/meminfo: memFree=1374616/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=914988 CPUtime=0.09
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 3076 0 1 0 7 2 0 0 24 0 8 0 270113552 936947712 2822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11079/statm: 228747 2823 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.516271 s]
/proc/loadavg: 1.99 1.97 1.88 4/87 11080
/proc/meminfo: memFree=1374616/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=915332 CPUtime=0.5
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 6660 0 1 0 45 5 0 0 25 0 8 0 270113552 937299968 6399 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073554573 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11079/statm: 228833 6400 2147 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332

[startup+1.34336 s]
/proc/loadavg: 1.99 1.97 1.88 3/94 11087
/proc/meminfo: memFree=1352736/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=915452 CPUtime=1.32
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 8164 0 1 0 122 10 0 0 25 0 8 0 270113552 937422848 7902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073750711 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11079/statm: 228863 7902 2494 14 0 215333 0
[pid=11079/tid=11081] ppid=11077 vsize=915452 CPUtime=0.03
/proc/11079/task/11081/stat : 11081 (java) S 11077 11079 10289 0 -1 64 261 0 0 0 3 0 0 0 16 0 8 0 270113555 937422848 7902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11082] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11082/stat : 11082 (java) S 11077 11079 10289 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270113556 937422848 7902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11083] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11083/stat : 11083 (java) S 11077 11079 10289 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270113556 937422848 7902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11084] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11084/stat : 11084 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270113559 937422848 7902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11085] ppid=11077 vsize=915452 CPUtime=0.17
/proc/11079/task/11085/stat : 11085 (java) S 11077 11079 10289 0 -1 64 370 0 0 0 16 1 0 0 16 0 8 0 270113559 937422848 7902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11086] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11086/stat : 11086 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270113559 937422848 7902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11087] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11087/stat : 11087 (java) S 11077 11079 10289 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270113559 937422848 7902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915452

[startup+2.98153 s]
/proc/loadavg: 1.99 1.97 1.88 3/94 11087
/proc/meminfo: memFree=1352672/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=915452 CPUtime=2.95
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 8168 0 1 0 284 11 0 0 25 0 8 0 270113552 937422848 7905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073742240 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11079/statm: 228863 7905 2496 14 0 215333 0
[pid=11079/tid=11081] ppid=11077 vsize=915452 CPUtime=0.03
/proc/11079/task/11081/stat : 11081 (java) S 11077 11079 10289 0 -1 64 261 0 0 0 3 0 0 0 16 0 8 0 270113555 937422848 7905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11082] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11082/stat : 11082 (java) S 11077 11079 10289 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270113556 937422848 7905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11083] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11083/stat : 11083 (java) S 11077 11079 10289 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270113556 937422848 7905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11084] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11084/stat : 11084 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270113559 937422848 7905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11085] ppid=11077 vsize=915452 CPUtime=0.18
/proc/11079/task/11085/stat : 11085 (java) S 11077 11079 10289 0 -1 64 373 0 0 0 17 1 0 0 16 0 8 0 270113559 937422848 7905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11086] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11086/stat : 11086 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270113559 937422848 7905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11087] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11087/stat : 11087 (java) S 11077 11079 10289 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270113559 937422848 7905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915452

[startup+6.26087 s]
/proc/loadavg: 1.99 1.97 1.88 3/94 11087
/proc/meminfo: memFree=1352608/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=915452 CPUtime=6.22
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 8169 0 1 0 609 13 0 0 25 0 8 0 270113552 937422848 7906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073747493 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11079/statm: 228863 7906 2496 14 0 215333 0
[pid=11079/tid=11081] ppid=11077 vsize=915452 CPUtime=0.03
/proc/11079/task/11081/stat : 11081 (java) S 11077 11079 10289 0 -1 64 261 0 0 0 3 0 0 0 16 0 8 0 270113555 937422848 7906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11082] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11082/stat : 11082 (java) S 11077 11079 10289 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270113556 937422848 7906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11083] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11083/stat : 11083 (java) S 11077 11079 10289 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270113556 937422848 7906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11084] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11084/stat : 11084 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270113559 937422848 7906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11085] ppid=11077 vsize=915452 CPUtime=0.18
/proc/11079/task/11085/stat : 11085 (java) S 11077 11079 10289 0 -1 64 374 0 0 0 17 1 0 0 16 0 8 0 270113559 937422848 7906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11086] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11086/stat : 11086 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270113559 937422848 7906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11087] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11087/stat : 11087 (java) S 11077 11079 10289 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270113559 937422848 7906 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) 915452

[startup+12.7495 s]
/proc/loadavg: 1.99 1.97 1.88 3/94 11087
/proc/meminfo: memFree=1352608/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=915452 CPUtime=12.69
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 8172 0 1 0 1252 17 0 0 25 0 8 0 270113552 937422848 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073740240 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11079/statm: 228863 7909 2496 14 0 215333 0
[pid=11079/tid=11081] ppid=11077 vsize=915452 CPUtime=0.03
/proc/11079/task/11081/stat : 11081 (java) S 11077 11079 10289 0 -1 64 261 0 0 0 3 0 0 0 16 0 8 0 270113555 937422848 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11082] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11082/stat : 11082 (java) S 11077 11079 10289 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270113556 937422848 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11083] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11083/stat : 11083 (java) S 11077 11079 10289 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270113556 937422848 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11084] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11084/stat : 11084 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270113559 937422848 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11085] ppid=11077 vsize=915452 CPUtime=0.18
/proc/11079/task/11085/stat : 11085 (java) S 11077 11079 10289 0 -1 64 377 0 0 0 17 1 0 0 15 0 8 0 270113559 937422848 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11086] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11086/stat : 11086 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270113559 937422848 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11087] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11087/stat : 11087 (java) S 11077 11079 10289 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270113559 937422848 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915452

[startup+25.6069 s]
/proc/loadavg: 1.99 1.97 1.88 3/94 11087
/proc/meminfo: memFree=1352608/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=915452 CPUtime=25.45
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 8172 0 1 0 2522 23 0 0 25 0 8 0 270113552 937422848 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827895 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11079/statm: 228863 7909 2496 14 0 215333 0
[pid=11079/tid=11081] ppid=11077 vsize=915452 CPUtime=0.03
/proc/11079/task/11081/stat : 11081 (java) S 11077 11079 10289 0 -1 64 261 0 0 0 3 0 0 0 16 0 8 0 270113555 937422848 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11082] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11082/stat : 11082 (java) S 11077 11079 10289 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270113556 937422848 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11083] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11083/stat : 11083 (java) S 11077 11079 10289 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270113556 937422848 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11084] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11084/stat : 11084 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270113559 937422848 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11085] ppid=11077 vsize=915452 CPUtime=0.18
/proc/11079/task/11085/stat : 11085 (java) S 11077 11079 10289 0 -1 64 377 0 0 0 17 1 0 0 15 0 8 0 270113559 937422848 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11086] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11086/stat : 11086 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270113559 937422848 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11087] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11087/stat : 11087 (java) S 11077 11079 10289 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270113559 937422848 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915452

[startup+51.2186 s]
/proc/loadavg: 1.99 1.97 1.88 3/94 11087
/proc/meminfo: memFree=1338592/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=915452 CPUtime=50.97
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 11755 0 1 0 5064 33 0 0 25 0 8 0 270113552 937422848 11487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073743971 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11079/statm: 228863 11487 2546 14 0 215333 0
[pid=11079/tid=11081] ppid=11077 vsize=915452 CPUtime=0.03
/proc/11079/task/11081/stat : 11081 (java) S 11077 11079 10289 0 -1 64 262 0 0 0 3 0 0 0 16 0 8 0 270113555 937422848 11487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11082] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11082/stat : 11082 (java) S 11077 11079 10289 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270113556 937422848 11487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11083] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11083/stat : 11083 (java) S 11077 11079 10289 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270113556 937422848 11487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11084] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11084/stat : 11084 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270113559 937422848 11487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11085] ppid=11077 vsize=915452 CPUtime=0.28
/proc/11079/task/11085/stat : 11085 (java) S 11077 11079 10289 0 -1 64 438 0 0 0 27 1 0 0 15 0 8 0 270113559 937422848 11487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11086] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11086/stat : 11086 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270113559 937422848 11487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11087] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11087/stat : 11087 (java) S 11077 11079 10289 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270113559 937422848 11487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915452

[startup+102.433 s]
/proc/loadavg: 2.06 1.99 1.89 3/94 11087
/proc/meminfo: memFree=1338528/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=915452 CPUtime=101.95
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 11782 0 1 0 10162 33 0 0 25 0 8 0 270113552 937422848 11511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073986984 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11079/statm: 228863 11511 2546 14 0 215333 0
[pid=11079/tid=11081] ppid=11077 vsize=915452 CPUtime=0.03
/proc/11079/task/11081/stat : 11081 (java) S 11077 11079 10289 0 -1 64 262 0 0 0 3 0 0 0 16 0 8 0 270113555 937422848 11511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11082] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11082/stat : 11082 (java) S 11077 11079 10289 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270113556 937422848 11511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11083] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11083/stat : 11083 (java) S 11077 11079 10289 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270113556 937422848 11511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11084] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11084/stat : 11084 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270113559 937422848 11511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11085] ppid=11077 vsize=915452 CPUtime=0.31
/proc/11079/task/11085/stat : 11085 (java) S 11077 11079 10289 0 -1 64 452 0 0 0 30 1 0 0 16 0 8 0 270113559 937422848 11511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11086] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11086/stat : 11086 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270113559 937422848 11511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11087] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11087/stat : 11087 (java) S 11077 11079 10289 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270113559 937422848 11511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.95
Current children cumulated vsize (KiB) 915452

[startup+162.499 s]
/proc/loadavg: 2.02 1.99 1.90 3/94 11087
/proc/meminfo: memFree=1338464/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=915452 CPUtime=161.73
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 11793 0 1 0 16139 34 0 0 25 0 8 0 270113552 937422848 11520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073969596 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

################
# More data... #
################

Current children cumulated CPU time (s) 2016.11
Current children cumulated vsize (KiB) 915452

[startup+2084.57 s]
/proc/loadavg: 2.02 2.01 1.96 3/101 11367
/proc/meminfo: memFree=799784/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=915452 CPUtime=2076.13
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 11816 0 1 0 207555 58 0 0 25 0 8 0 270113552 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074068632 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11079/statm: 228863 11541 2546 14 0 215333 0
[pid=11079/tid=11081] ppid=11077 vsize=915452 CPUtime=0.03
/proc/11079/task/11081/stat : 11081 (java) S 11077 11079 10289 0 -1 64 262 0 0 0 3 0 0 0 16 0 8 0 270113555 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11082] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11082/stat : 11082 (java) S 11077 11079 10289 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270113556 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11083] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11083/stat : 11083 (java) S 11077 11079 10289 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270113556 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11084] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11084/stat : 11084 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11085] ppid=11077 vsize=915452 CPUtime=0.32
/proc/11079/task/11085/stat : 11085 (java) S 11077 11079 10289 0 -1 64 455 0 0 0 30 2 0 0 16 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11086] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11086/stat : 11086 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11087] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11087/stat : 11087 (java) S 11077 11079 10289 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2076.13
Current children cumulated vsize (KiB) 915452

[startup+2144.64 s]
/proc/loadavg: 2.01 2.01 1.96 3/101 11367
/proc/meminfo: memFree=799784/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=915452 CPUtime=2136.11
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 11816 0 1 0 213553 58 0 0 25 0 8 0 270113552 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074067663 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11079/statm: 228863 11541 2546 14 0 215333 0
[pid=11079/tid=11081] ppid=11077 vsize=915452 CPUtime=0.03
/proc/11079/task/11081/stat : 11081 (java) S 11077 11079 10289 0 -1 64 262 0 0 0 3 0 0 0 16 0 8 0 270113555 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11082] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11082/stat : 11082 (java) S 11077 11079 10289 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270113556 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11083] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11083/stat : 11083 (java) S 11077 11079 10289 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270113556 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11084] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11084/stat : 11084 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11085] ppid=11077 vsize=915452 CPUtime=0.32
/proc/11079/task/11085/stat : 11085 (java) S 11077 11079 10289 0 -1 64 455 0 0 0 30 2 0 0 16 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11086] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11086/stat : 11086 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11087] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11087/stat : 11087 (java) S 11077 11079 10289 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2136.11
Current children cumulated vsize (KiB) 915452

[startup+2204.7 s]
/proc/loadavg: 2.00 2.00 1.96 3/101 11367
/proc/meminfo: memFree=799720/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=915452 CPUtime=2196.13
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 11816 0 1 0 219554 59 0 0 25 0 8 0 270113552 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074068448 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11079/statm: 228863 11541 2546 14 0 215333 0
[pid=11079/tid=11081] ppid=11077 vsize=915452 CPUtime=0.03
/proc/11079/task/11081/stat : 11081 (java) S 11077 11079 10289 0 -1 64 262 0 0 0 3 0 0 0 16 0 8 0 270113555 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11082] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11082/stat : 11082 (java) S 11077 11079 10289 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270113556 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11083] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11083/stat : 11083 (java) S 11077 11079 10289 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270113556 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11084] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11084/stat : 11084 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11085] ppid=11077 vsize=915452 CPUtime=0.32
/proc/11079/task/11085/stat : 11085 (java) S 11077 11079 10289 0 -1 64 455 0 0 0 30 2 0 0 16 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11086] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11086/stat : 11086 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11087] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11087/stat : 11087 (java) S 11077 11079 10289 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2196.13
Current children cumulated vsize (KiB) 915452

[startup+2264.76 s]
/proc/loadavg: 2.00 2.00 1.96 3/101 11367
/proc/meminfo: memFree=799528/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=915452 CPUtime=2256.15
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 11816 0 1 0 225556 59 0 0 25 0 8 0 270113552 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073910016 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11079/statm: 228863 11541 2546 14 0 215333 0
[pid=11079/tid=11081] ppid=11077 vsize=915452 CPUtime=0.03
/proc/11079/task/11081/stat : 11081 (java) S 11077 11079 10289 0 -1 64 262 0 0 0 3 0 0 0 16 0 8 0 270113555 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11082] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11082/stat : 11082 (java) S 11077 11079 10289 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270113556 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11083] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11083/stat : 11083 (java) S 11077 11079 10289 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270113556 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11084] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11084/stat : 11084 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11085] ppid=11077 vsize=915452 CPUtime=0.32
/proc/11079/task/11085/stat : 11085 (java) S 11077 11079 10289 0 -1 64 455 0 0 0 30 2 0 0 16 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11086] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11086/stat : 11086 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11087] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11087/stat : 11087 (java) S 11077 11079 10289 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2256.15
Current children cumulated vsize (KiB) 915452

[startup+2324.83 s]
/proc/loadavg: 2.06 2.02 1.96 3/101 11367
/proc/meminfo: memFree=799464/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=915452 CPUtime=2316.13
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 11816 0 1 0 231554 59 0 0 25 0 8 0 270113552 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073966532 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11079/statm: 228863 11541 2546 14 0 215333 0
[pid=11079/tid=11081] ppid=11077 vsize=915452 CPUtime=0.03
/proc/11079/task/11081/stat : 11081 (java) S 11077 11079 10289 0 -1 64 262 0 0 0 3 0 0 0 16 0 8 0 270113555 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11082] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11082/stat : 11082 (java) S 11077 11079 10289 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270113556 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11083] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11083/stat : 11083 (java) S 11077 11079 10289 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270113556 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11084] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11084/stat : 11084 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11085] ppid=11077 vsize=915452 CPUtime=0.32
/proc/11079/task/11085/stat : 11085 (java) S 11077 11079 10289 0 -1 64 455 0 0 0 30 2 0 0 16 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11086] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11086/stat : 11086 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11087] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11087/stat : 11087 (java) S 11077 11079 10289 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2316.13
Current children cumulated vsize (KiB) 915452

[startup+2384.89 s]
/proc/loadavg: 2.02 2.01 1.96 3/101 11367
/proc/meminfo: memFree=799336/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=915452 CPUtime=2376.14
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 11816 0 1 0 237555 59 0 0 25 0 8 0 270113552 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073747531 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11079/statm: 228863 11541 2546 14 0 215333 0
[pid=11079/tid=11081] ppid=11077 vsize=915452 CPUtime=0.03
/proc/11079/task/11081/stat : 11081 (java) S 11077 11079 10289 0 -1 64 262 0 0 0 3 0 0 0 16 0 8 0 270113555 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11082] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11082/stat : 11082 (java) S 11077 11079 10289 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270113556 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11083] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11083/stat : 11083 (java) S 11077 11079 10289 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270113556 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11084] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11084/stat : 11084 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11085] ppid=11077 vsize=915452 CPUtime=0.32
/proc/11079/task/11085/stat : 11085 (java) S 11077 11079 10289 0 -1 64 455 0 0 0 30 2 0 0 16 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11086] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11086/stat : 11086 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11087] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11087/stat : 11087 (java) S 11077 11079 10289 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2376.14
Current children cumulated vsize (KiB) 915452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2408.86 s]
/proc/loadavg: 2.01 2.01 1.96 3/101 11367
/proc/meminfo: memFree=799336/2055920 swapFree=4192812/4192956
[pid=11079] ppid=11077 vsize=915452 CPUtime=2400.08
/proc/11079/stat : 11079 (java) R 11077 11079 10289 0 -1 0 11816 0 1 0 239949 59 0 0 25 0 8 0 270113552 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073742240 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11079/statm: 228863 11541 2546 14 0 215333 0
[pid=11079/tid=11081] ppid=11077 vsize=915452 CPUtime=0.03
/proc/11079/task/11081/stat : 11081 (java) S 11077 11079 10289 0 -1 64 262 0 0 0 3 0 0 0 16 0 8 0 270113555 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11082] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11082/stat : 11082 (java) S 11077 11079 10289 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270113556 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11083] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11083/stat : 11083 (java) S 11077 11079 10289 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270113556 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11084] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11084/stat : 11084 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11085] ppid=11077 vsize=915452 CPUtime=0.32
/proc/11079/task/11085/stat : 11085 (java) S 11077 11079 10289 0 -1 64 455 0 0 0 30 2 0 0 16 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11086] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11086/stat : 11086 (java) S 11077 11079 10289 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11079/tid=11087] ppid=11077 vsize=915452 CPUtime=0
/proc/11079/task/11087/stat : 11087 (java) S 11077 11079 10289 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270113559 937422848 11541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 915452

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child status: 143
Real time (s): 2408.92
CPU time (s): 2400.15
CPU user time (s): 2399.55
CPU system time (s): 0.603908
CPU usage (%): 99.6359
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.55
system time used= 0.603908
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11842
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= 50104
involuntary context switches= 96779

runsolver used 3.23251 s user time and 7.52785 s system time

The end

Launcher Data (download as text)

Begin job on node7 on Fri Jan 19 14:33:01 UTC 2007


IDJOB= 275118
IDBENCH= 3531
IDSOLVER= 69
FILE ID= node7/275118-1169217181

PBS_JOBID= 3588925

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity4/ruler-44-10-a4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275118-1169217181/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-275118-1169217181 -o ROOT/results/node7/solver-275118-1169217181 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275118-1169217181/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  5a77c82d4a1b3da080370c15439dcb29

RANDOM SEED= 629095487

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.220
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.220
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:       1375096 kB
Buffers:         51144 kB
Cached:         486396 kB
SwapCached:          0 kB
Active:         179420 kB
Inactive:       420272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1375096 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1780 kB
Writeback:           0 kB
Mapped:          83172 kB
Slab:            65884 kB
Committed_AS:  7762136 kB
PageTables:       2380 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= 66558 MiB



End job on node7 on Fri Jan 19 15:13:10 UTC 2007