Trace number 249273

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
Abscon 109 AC? (TO) 1800.11 1800.89

General information on the benchmark

Nameprimes/primes-15/
primes-15-40-3-5.xml
MD5SUMff9c98ea299f549a20a511c20c8cc93d
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints40
Maximum constraint arity8
Maximum domain size46
Number of constraints which are defined in extension0
Number of constraints which are defined in intension40
Global constraints used (with number of constraints)

Solver Data (download as text)

0.37	   
0.37	Abscon 109 (November, 2006)
0.37	   
0.37	   configuration
0.37	     name=mac.xml
0.40	   
0.40	   instance
0.40	     name=/tmp/evaluation/249273-1168086109/unknown.xml
0.43	   
0.43	   domains being loaded...
0.44	   
0.44	   variables being loaded...
0.48	     nbVariables=100  nbDomainTypes=1  minDomainSize=46  maxDomainSize=46
0.48	       =>  wckTime=0.111  cpuTime=0.09  mem=6M951
0.48	   
0.48	   predicates being loaded...
0.52	   
0.52	   constraints being loaded...
0.75	     nbConstraints=40  nbSingletonDomainVariables=9  nbDisconnectedVariables=9  nbConflictsStructures=3
0.75	     nbSharedConflictsStructures=0  nbUnbuiltConflictsStructures=37  nbSharedBinaryRepresentations=0
0.75	     nbEvaluationManagers=40  nbSharedEvaluationManagers=0  maxDegree=6  maxArity=8
0.75	       =>  wckTime=0.379  cpuTime=0.32  mem=9M877
0.79	   
0.79	   solver IterativeSystematicSolver being built... 
0.96	       =>  wckTime=0.585  cpuTime=0.46  mem=15M447
1.06	   
1.06	   preprocessing
1.06	     nbConstraintChecks=211018  nbValidityChecks=230  nbPropagations=103  nbRevisions=11  nbUselessRevisions=1
1.06	     nbRemovedValues=57  detectedInconsistency=no
1.06	       =>  wckTime=0.096  cpuTime=0.09  mem=15M447
22.90	   
22.90	   search
22.90	     run=0  nbConstraintChecks=27295749  nbValidityChecks=3908  nbPropagations=755  nbRevisions=489
22.90	     nbUselessRevisions=30  nbAssignments=291  nbFailedAssignments=276  nbBacktracks=10  nbVisitedNodes=568
22.90	     nbRestartNogoods=0  mapSize=7  nbInferences=0  nbTooLargeKeys=0
22.90	       =>  wckTime=21.935  cpuTime=21.83  mem=15M447
56.36	   
56.36	   search
56.36	     run=1  nbConstraintChecks=73359605  nbValidityChecks=26234  nbPropagations=2907  nbRevisions=2578
56.36	     nbUselessRevisions=201  nbAssignments=769  nbFailedAssignments=736  nbBacktracks=26  nbVisitedNodes=1506
56.36	     nbRestartNogoods=5  mapSize=23  nbInferences=0  nbTooLargeKeys=0
56.36	       =>  wckTime=55.403  cpuTime=55.25  mem=15M447
107.76	   
107.76	   search
107.76	     run=2  nbConstraintChecks=147348495  nbValidityChecks=80444  nbPropagations=7680  nbRevisions=8203
107.76	     nbUselessRevisions=696  nbAssignments=1526  nbFailedAssignments=1471  nbBacktracks=48  nbVisitedNodes=2998
107.76	     nbRestartNogoods=10  mapSize=45  nbInferences=0  nbTooLargeKeys=0
107.76	       =>  wckTime=106.797  cpuTime=106.61  mem=15M447
130.39	   
130.39	   search
130.39	     run=3  nbConstraintChecks=176442412  nbValidityChecks=93387  nbPropagations=13394  nbRevisions=14660
130.39	     nbUselessRevisions=1280  nbAssignments=1860  nbFailedAssignments=1735  nbBacktracks=81  nbVisitedNodes=3596
130.39	     nbRestartNogoods=10  mapSize=73  nbInferences=0  nbTooLargeKeys=0
130.39	       =>  wckTime=129.429  cpuTime=129.23  mem=15M447
134.83	   
134.83	   search
134.83	     run=4  nbConstraintChecks=182930177  nbValidityChecks=102195  nbPropagations=19805  nbRevisions=21841
134.83	     nbUselessRevisions=1999  nbAssignments=1975  nbFailedAssignments=1773  nbBacktracks=132  nbVisitedNodes=3749
134.83	     nbRestartNogoods=40  mapSize=115  nbInferences=0  nbTooLargeKeys=0
134.83	       =>  wckTime=133.868  cpuTime=133.66  mem=15M447
235.38	   
235.38	   search
235.38	     run=5  nbConstraintChecks=288145864  nbValidityChecks=137482  nbPropagations=28806  nbRevisions=30618
235.38	     nbUselessRevisions=2835  nbAssignments=3094  nbFailedAssignments=2803  nbBacktracks=207  nbVisitedNodes=5898
235.38	     nbRestartNogoods=51  mapSize=172  nbInferences=0  nbTooLargeKeys=0
235.38	       =>  wckTime=234.414  cpuTime=234.17  mem=15M447
253.15	   
253.15	   search
253.15	     run=6  nbConstraintChecks=314145682  nbValidityChecks=153216  nbPropagations=39638  nbRevisions=41065
253.15	     nbUselessRevisions=3878  nbAssignments=3461  nbFailedAssignments=3042  nbBacktracks=320  nbVisitedNodes=6504
253.15	     nbRestartNogoods=108  mapSize=274  nbInferences=0  nbTooLargeKeys=0
253.15	       =>  wckTime=252.187  cpuTime=251.93  mem=15M447
269.38	   
269.42	   search
269.42	     run=7  nbConstraintChecks=339834209  nbValidityChecks=175628  nbPropagations=53313  nbRevisions=54193
269.42	     nbUselessRevisions=5185  nbAssignments=3922  nbFailedAssignments=3316  nbBacktracks=492  nbVisitedNodes=7239
269.42	     nbRestartNogoods=177  mapSize=408  nbInferences=0  nbTooLargeKeys=0
269.42	       =>  wckTime=268.421  cpuTime=268.16  mem=15M447
287.04	   
287.04	   search
287.04	     run=8  nbConstraintChecks=370989100  nbValidityChecks=207821  nbPropagations=71512  nbRevisions=71460
287.04	     nbUselessRevisions=6738  nbAssignments=4563  nbFailedAssignments=3690  nbBacktracks=748  nbVisitedNodes=8254
287.04	     nbRestartNogoods=185  mapSize=598  nbInferences=0  nbTooLargeKeys=0
287.04	       =>  wckTime=286.081  cpuTime=285.81  mem=15M447
317.34	   
317.34	   search
317.34	     run=9  nbConstraintChecks=406594913  nbValidityChecks=293720  nbPropagations=95063  nbRevisions=95270
317.34	     nbUselessRevisions=9501  nbAssignments=5584  nbFailedAssignments=4296  nbBacktracks=1133  nbVisitedNodes=9881
317.34	     nbRestartNogoods=192  mapSize=918  nbInferences=0  nbTooLargeKeys=0
317.34	       =>  wckTime=316.381  cpuTime=316.1  mem=16M422
321.51	   
321.51	   INFO : Stopping hyperNogood (mapSize=1010, nbTooLargekeys=0, mem=16M422)
335.39	   
335.39	   search
335.39	     run=10  nbConstraintChecks=433629745  nbValidityChecks=380537  nbPropagations=124588  nbRevisions=126144
335.39	     nbUselessRevisions=13814  nbAssignments=6627  nbFailedAssignments=4732  nbBacktracks=1719  nbVisitedNodes=11360
335.39	     nbRestartNogoods=210
335.40	       =>  wckTime=334.434  cpuTime=334.14  mem=16M422
361.03	   
361.03	   search
361.03	     run=11  nbConstraintChecks=469510726  nbValidityChecks=593007  nbPropagations=165752  nbRevisions=172446
361.03	     nbUselessRevisions=21341  nbAssignments=8707  nbFailedAssignments=5921  nbBacktracks=2590  nbVisitedNodes=14629
361.03	     nbRestartNogoods=230
361.03	       =>  wckTime=360.071  cpuTime=359.77  mem=16M422
607.89	   
607.89	   search
607.89	     run=12  nbConstraintChecks=848244355  nbValidityChecks=1291782  nbPropagations=237445  nbRevisions=257766
607.89	     nbUselessRevisions=33507  nbAssignments=13539  nbFailedAssignments=9426  nbBacktracks=3889  nbVisitedNodes=22966
607.89	     nbRestartNogoods=233
607.89	       =>  wckTime=606.928  cpuTime=606.54  mem=16M422

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer: 

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node62/watcher-249273-1168086109 -o ROOT/results/node62/solver-249273-1168086109 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/249273-1168086109/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 0.14 0.38 0.99 7/73 7091
/proc/meminfo: memFree=1111512/2055920 swapFree=4192812/4192956
[pid=7090] ppid=7084 vsize=18540 CPUtime=0
/proc/7090/stat : 7090 (runsolver) R 7084 7090 6757 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 157009525 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 236437695783 0 0 4096 24578 0 0 0 17 1 0 0
/proc/7090/statm: 4635 279 244 17 0 2626 0

[startup+0.10747 s]
/proc/loadavg: 0.14 0.38 0.99 7/73 7091
/proc/meminfo: memFree=1111512/2055920 swapFree=4192812/4192956
[pid=7090] ppid=7084 vsize=907676 CPUtime=0.03
/proc/7090/stat : 7090 (java) R 7084 7090 6757 0 -1 0 2185 0 1 0 3 0 0 0 19 0 4 0 157009525 929460224 1933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 9115481 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/7090/statm: 226919 1933 1098 14 0 214502 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 907676

[startup+0.51555 s]
/proc/loadavg: 0.14 0.38 0.99 7/73 7091
/proc/meminfo: memFree=1111512/2055920 swapFree=4192812/4192956
[pid=7090] ppid=7084 vsize=915328 CPUtime=0.43
/proc/7090/stat : 7090 (java) R 7084 7090 6757 0 -1 0 6283 0 1 0 39 4 0 0 18 0 8 0 157009525 937295872 6022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153901713 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7090/statm: 228832 6022 2140 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328

[startup+1.33871 s]
/proc/loadavg: 0.29 0.41 1.00 5/87 7105
/proc/meminfo: memFree=1063272/2055920 swapFree=4192812/4192956
[pid=7090] ppid=7084 vsize=915464 CPUtime=1.25
/proc/7090/stat : 7090 (java) R 7084 7090 6757 0 -1 0 8729 0 1 0 119 6 0 0 25 0 8 0 157009525 937435136 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073624864 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7090/statm: 228866 8467 2529 14 0 215336 0
[pid=7090/tid=7093] ppid=7084 vsize=915464 CPUtime=0.02
/proc/7090/task/7093/stat : 7093 (java) S 7084 7090 6757 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 157009535 937435136 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7096] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7096/stat : 7096 (java) S 7084 7090 6757 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157009535 937435136 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7097] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7097/stat : 7097 (java) S 7084 7090 6757 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157009535 937435136 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7102] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7102/stat : 7102 (java) S 7084 7090 6757 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 157009539 937435136 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7103] ppid=7084 vsize=915464 CPUtime=0.15
/proc/7090/task/7103/stat : 7103 (java) S 7084 7090 6757 0 -1 64 348 0 0 0 14 1 0 0 15 0 8 0 157009539 937435136 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7104] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7104/stat : 7104 (java) S 7084 7090 6757 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157009539 937435136 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7105] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7105/stat : 7105 (java) S 7084 7090 6757 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157009539 937435136 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915464

[startup+2.98903 s]
/proc/loadavg: 0.29 0.41 1.00 3/87 7105
/proc/meminfo: memFree=1062696/2055920 swapFree=4192812/4192956
[pid=7090] ppid=7084 vsize=915464 CPUtime=2.9
/proc/7090/stat : 7090 (java) R 7084 7090 6757 0 -1 0 8736 0 1 0 283 7 0 0 25 0 8 0 157009525 937435136 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073617333 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7090/statm: 228866 8472 2529 14 0 215336 0
[pid=7090/tid=7093] ppid=7084 vsize=915464 CPUtime=0.02
/proc/7090/task/7093/stat : 7093 (java) S 7084 7090 6757 0 -1 64 169 0 0 0 2 0 0 0 17 0 8 0 157009535 937435136 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7096] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7096/stat : 7096 (java) S 7084 7090 6757 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157009535 937435136 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7097] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7097/stat : 7097 (java) S 7084 7090 6757 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157009535 937435136 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7102] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7102/stat : 7102 (java) S 7084 7090 6757 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 157009539 937435136 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7103] ppid=7084 vsize=915464 CPUtime=0.16
/proc/7090/task/7103/stat : 7103 (java) S 7084 7090 6757 0 -1 64 355 0 0 0 15 1 0 0 15 0 8 0 157009539 937435136 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7104] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7104/stat : 7104 (java) S 7084 7090 6757 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157009539 937435136 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7105] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7105/stat : 7105 (java) S 7084 7090 6757 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157009539 937435136 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915464

[startup+6.27168 s]
/proc/loadavg: 0.43 0.44 1.00 3/87 7105
/proc/meminfo: memFree=1062504/2055920 swapFree=4192812/4192956
[pid=7090] ppid=7084 vsize=915464 CPUtime=6.17
/proc/7090/stat : 7090 (java) R 7084 7090 6757 0 -1 0 8742 0 1 0 610 7 0 0 25 0 8 0 157009525 937435136 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073618599 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7090/statm: 228866 8476 2530 14 0 215336 0
[pid=7090/tid=7093] ppid=7084 vsize=915464 CPUtime=0.02
/proc/7090/task/7093/stat : 7093 (java) S 7084 7090 6757 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 157009535 937435136 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7096] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7096/stat : 7096 (java) S 7084 7090 6757 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157009535 937435136 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7097] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7097/stat : 7097 (java) S 7084 7090 6757 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157009535 937435136 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7102] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7102/stat : 7102 (java) S 7084 7090 6757 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 157009539 937435136 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7103] ppid=7084 vsize=915464 CPUtime=0.16
/proc/7090/task/7103/stat : 7103 (java) S 7084 7090 6757 0 -1 64 358 0 0 0 15 1 0 0 15 0 8 0 157009539 937435136 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7104] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7104/stat : 7104 (java) S 7084 7090 6757 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157009539 937435136 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7105] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7105/stat : 7105 (java) S 7084 7090 6757 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157009539 937435136 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915464

[startup+12.758 s]
/proc/loadavg: 0.55 0.46 1.01 2/75 7105
/proc/meminfo: memFree=1087944/2055920 swapFree=4192812/4192956
[pid=7090] ppid=7084 vsize=915464 CPUtime=12.62
/proc/7090/stat : 7090 (java) R 7084 7090 6757 0 -1 0 8745 0 1 0 1255 7 0 0 25 0 8 0 157009525 937435136 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073618667 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7090/statm: 228866 8477 2530 14 0 215336 0
[pid=7090/tid=7093] ppid=7084 vsize=915464 CPUtime=0.02
/proc/7090/task/7093/stat : 7093 (java) S 7084 7090 6757 0 -1 64 169 0 0 0 2 0 0 0 17 0 8 0 157009535 937435136 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7096] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7096/stat : 7096 (java) S 7084 7090 6757 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157009535 937435136 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7097] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7097/stat : 7097 (java) S 7084 7090 6757 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157009535 937435136 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7102] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7102/stat : 7102 (java) S 7084 7090 6757 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 157009539 937435136 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7103] ppid=7084 vsize=915464 CPUtime=0.16
/proc/7090/task/7103/stat : 7103 (java) S 7084 7090 6757 0 -1 64 361 0 0 0 15 1 0 0 16 0 8 0 157009539 937435136 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7104] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7104/stat : 7104 (java) S 7084 7090 6757 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157009539 937435136 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7105] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7105/stat : 7105 (java) S 7084 7090 6757 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157009539 937435136 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915464

[startup+25.6013 s]
/proc/loadavg: 0.62 0.48 1.01 2/75 7116
/proc/meminfo: memFree=1089552/2055920 swapFree=4192812/4192956
[pid=7090] ppid=7084 vsize=915464 CPUtime=25.45
/proc/7090/stat : 7090 (java) R 7084 7090 6757 0 -1 0 8767 0 1 0 2538 7 0 0 25 0 8 0 157009525 937435136 8492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073625528 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7090/statm: 228866 8492 2533 14 0 215336 0
[pid=7090/tid=7093] ppid=7084 vsize=915464 CPUtime=0.02
/proc/7090/task/7093/stat : 7093 (java) S 7084 7090 6757 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 157009535 937435136 8492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7096] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7096/stat : 7096 (java) S 7084 7090 6757 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157009535 937435136 8492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7097] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7097/stat : 7097 (java) S 7084 7090 6757 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157009535 937435136 8492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7102] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7102/stat : 7102 (java) S 7084 7090 6757 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 157009539 937435136 8492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7103] ppid=7084 vsize=915464 CPUtime=0.18
/proc/7090/task/7103/stat : 7103 (java) S 7084 7090 6757 0 -1 64 370 0 0 0 17 1 0 0 16 0 8 0 157009539 937435136 8492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7104] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7104/stat : 7104 (java) S 7084 7090 6757 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157009539 937435136 8492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7105] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7105/stat : 7105 (java) S 7084 7090 6757 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157009539 937435136 8492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915464

[startup+51.2924 s]
/proc/loadavg: 1.05 0.59 1.03 3/87 7161
/proc/meminfo: memFree=1063160/2055920 swapFree=4192812/4192956
[pid=7090] ppid=7084 vsize=915464 CPUtime=51.11
/proc/7090/stat : 7090 (java) R 7084 7090 6757 0 -1 0 8782 0 1 0 5104 7 0 0 25 0 8 0 157009525 937435136 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073625694 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7090/statm: 228866 8498 2533 14 0 215336 0
[pid=7090/tid=7093] ppid=7084 vsize=915464 CPUtime=0.02
/proc/7090/task/7093/stat : 7093 (java) S 7084 7090 6757 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 157009535 937435136 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7096] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7096/stat : 7096 (java) S 7084 7090 6757 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157009535 937435136 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7097] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7097/stat : 7097 (java) S 7084 7090 6757 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157009535 937435136 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7102] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7102/stat : 7102 (java) S 7084 7090 6757 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 157009539 937435136 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7103] ppid=7084 vsize=915464 CPUtime=0.19
/proc/7090/task/7103/stat : 7103 (java) S 7084 7090 6757 0 -1 64 380 0 0 0 18 1 0 0 16 0 8 0 157009539 937435136 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7104] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7104/stat : 7104 (java) S 7084 7090 6757 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157009539 937435136 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7105] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7105/stat : 7105 (java) S 7084 7090 6757 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157009539 937435136 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 915464

[startup+102.564 s]
/proc/loadavg: 1.59 0.81 1.07 3/87 7161
/proc/meminfo: memFree=1063224/2055920 swapFree=4192812/4192956
[pid=7090] ppid=7084 vsize=915464 CPUtime=102.36
/proc/7090/stat : 7090 (java) R 7084 7090 6757 0 -1 0 8797 0 1 0 10229 7 0 0 25 0 8 0 157009525 937435136 8507 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628289 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7090/statm: 228866 8507 2533 14 0 215336 0
[pid=7090/tid=7093] ppid=7084 vsize=915464 CPUtime=0.02
/proc/7090/task/7093/stat : 7093 (java) S 7084 7090 6757 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 157009535 937435136 8507 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7096] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7096/stat : 7096 (java) S 7084 7090 6757 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157009535 937435136 8507 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7097] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7097/stat : 7097 (java) S 7084 7090 6757 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157009535 937435136 8507 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7102] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7102/stat : 7102 (java) S 7084 7090 6757 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 157009539 937435136 8507 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7103] ppid=7084 vsize=915464 CPUtime=0.2
/proc/7090/task/7103/stat : 7103 (java) S 7084 7090 6757 0 -1 64 391 0 0 0 19 1 0 0 16 0 8 0 157009539 937435136 8507 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7104] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7104/stat : 7104 (java) S 7084 7090 6757 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157009539 937435136 8507 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7105] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7105/stat : 7105 (java) S 7084 7090 6757 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157009539 937435136 8507 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.36
Current children cumulated vsize (KiB) 915464

[startup+162.579 s]
/proc/loadavg: 1.85 1.02 1.13 3/87 7161
/proc/meminfo: memFree=1063224/2055920 swapFree=4192812/4192956
[pid=7090] ppid=7084 vsize=915464 CPUtime=162.36
/proc/7090/stat : 7090 (java) R 7084 7090 6757 0 -1 0 8840 0 1 0 16229 7 0 0 25 0 8 0 157009525 937435136 8544 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073618592 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1422.16
Current children cumulated vsize (KiB) 915464

[startup+1482.84 s]
/proc/loadavg: 2.14 2.04 1.79 3/87 7161
/proc/meminfo: memFree=1062456/2055920 swapFree=4192812/4192956
[pid=7090] ppid=7084 vsize=915464 CPUtime=1482.16
/proc/7090/stat : 7090 (java) R 7084 7090 6757 0 -1 0 8998 0 1 0 148207 9 0 0 25 0 8 0 157009525 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073622938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7090/statm: 228866 8699 2533 14 0 215336 0
[pid=7090/tid=7093] ppid=7084 vsize=915464 CPUtime=0.02
/proc/7090/task/7093/stat : 7093 (java) S 7084 7090 6757 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 157009535 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7096] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7096/stat : 7096 (java) S 7084 7090 6757 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157009535 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7097] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7097/stat : 7097 (java) S 7084 7090 6757 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157009535 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7102] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7102/stat : 7102 (java) S 7084 7090 6757 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 157009539 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7103] ppid=7084 vsize=915464 CPUtime=0.23
/proc/7090/task/7103/stat : 7103 (java) S 7084 7090 6757 0 -1 64 412 0 0 0 22 1 0 0 16 0 8 0 157009539 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7104] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7104/stat : 7104 (java) S 7084 7090 6757 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157009539 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7105] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7105/stat : 7105 (java) S 7084 7090 6757 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157009539 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1482.16
Current children cumulated vsize (KiB) 915464

[startup+1542.85 s]
/proc/loadavg: 2.05 2.03 1.80 3/87 7161
/proc/meminfo: memFree=1062456/2055920 swapFree=4192812/4192956
[pid=7090] ppid=7084 vsize=915464 CPUtime=1542.15
/proc/7090/stat : 7090 (java) R 7084 7090 6757 0 -1 0 8998 0 1 0 154206 9 0 0 25 0 8 0 157009525 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7090/statm: 228866 8699 2533 14 0 215336 0
[pid=7090/tid=7093] ppid=7084 vsize=915464 CPUtime=0.02
/proc/7090/task/7093/stat : 7093 (java) S 7084 7090 6757 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 157009535 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7096] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7096/stat : 7096 (java) S 7084 7090 6757 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157009535 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7097] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7097/stat : 7097 (java) S 7084 7090 6757 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157009535 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7102] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7102/stat : 7102 (java) S 7084 7090 6757 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 157009539 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7103] ppid=7084 vsize=915464 CPUtime=0.23
/proc/7090/task/7103/stat : 7103 (java) S 7084 7090 6757 0 -1 64 412 0 0 0 22 1 0 0 16 0 8 0 157009539 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7104] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7104/stat : 7104 (java) S 7084 7090 6757 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157009539 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7105] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7105/stat : 7105 (java) S 7084 7090 6757 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157009539 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1542.15
Current children cumulated vsize (KiB) 915464

[startup+1602.85 s]
/proc/loadavg: 2.02 2.02 1.81 3/87 7161
/proc/meminfo: memFree=1062456/2055920 swapFree=4192812/4192956
[pid=7090] ppid=7084 vsize=915464 CPUtime=1602.13
/proc/7090/stat : 7090 (java) R 7084 7090 6757 0 -1 0 8998 0 1 0 160204 9 0 0 25 0 8 0 157009525 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7090/statm: 228866 8699 2533 14 0 215336 0
[pid=7090/tid=7093] ppid=7084 vsize=915464 CPUtime=0.02
/proc/7090/task/7093/stat : 7093 (java) S 7084 7090 6757 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 157009535 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7096] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7096/stat : 7096 (java) S 7084 7090 6757 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157009535 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7097] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7097/stat : 7097 (java) S 7084 7090 6757 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157009535 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7102] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7102/stat : 7102 (java) S 7084 7090 6757 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 157009539 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7103] ppid=7084 vsize=915464 CPUtime=0.23
/proc/7090/task/7103/stat : 7103 (java) S 7084 7090 6757 0 -1 64 412 0 0 0 22 1 0 0 16 0 8 0 157009539 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7104] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7104/stat : 7104 (java) S 7084 7090 6757 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157009539 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7105] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7105/stat : 7105 (java) S 7084 7090 6757 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157009539 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1602.13
Current children cumulated vsize (KiB) 915464

[startup+1662.95 s]
/proc/loadavg: 2.00 2.02 1.82 4/87 7161
/proc/meminfo: memFree=1062456/2055920 swapFree=4192812/4192956
[pid=7090] ppid=7084 vsize=915464 CPUtime=1662.2
/proc/7090/stat : 7090 (java) R 7084 7090 6757 0 -1 0 8998 0 1 0 166211 9 0 0 25 0 8 0 157009525 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073623718 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7090/statm: 228866 8699 2533 14 0 215336 0
[pid=7090/tid=7093] ppid=7084 vsize=915464 CPUtime=0.02
/proc/7090/task/7093/stat : 7093 (java) S 7084 7090 6757 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 157009535 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7096] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7096/stat : 7096 (java) S 7084 7090 6757 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157009535 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7097] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7097/stat : 7097 (java) S 7084 7090 6757 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157009535 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7102] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7102/stat : 7102 (java) S 7084 7090 6757 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 157009539 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7103] ppid=7084 vsize=915464 CPUtime=0.23
/proc/7090/task/7103/stat : 7103 (java) S 7084 7090 6757 0 -1 64 412 0 0 0 22 1 0 0 16 0 8 0 157009539 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7104] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7104/stat : 7104 (java) S 7084 7090 6757 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157009539 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7105] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7105/stat : 7105 (java) S 7084 7090 6757 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157009539 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1662.2
Current children cumulated vsize (KiB) 915464

[startup+1722.96 s]
/proc/loadavg: 2.06 2.03 1.83 3/87 7161
/proc/meminfo: memFree=1062456/2055920 swapFree=4192812/4192956
[pid=7090] ppid=7084 vsize=915464 CPUtime=1722.19
/proc/7090/stat : 7090 (java) R 7084 7090 6757 0 -1 0 8998 0 1 0 172210 9 0 0 25 0 8 0 157009525 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073617339 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7090/statm: 228866 8699 2533 14 0 215336 0
[pid=7090/tid=7093] ppid=7084 vsize=915464 CPUtime=0.02
/proc/7090/task/7093/stat : 7093 (java) S 7084 7090 6757 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 157009535 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7096] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7096/stat : 7096 (java) S 7084 7090 6757 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157009535 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7097] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7097/stat : 7097 (java) S 7084 7090 6757 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157009535 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7102] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7102/stat : 7102 (java) S 7084 7090 6757 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 157009539 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7103] ppid=7084 vsize=915464 CPUtime=0.23
/proc/7090/task/7103/stat : 7103 (java) S 7084 7090 6757 0 -1 64 412 0 0 0 22 1 0 0 16 0 8 0 157009539 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7104] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7104/stat : 7104 (java) S 7084 7090 6757 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157009539 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7105] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7105/stat : 7105 (java) S 7084 7090 6757 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157009539 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1722.19
Current children cumulated vsize (KiB) 915464

[startup+1782.97 s]
/proc/loadavg: 2.02 2.02 1.84 3/87 7161
/proc/meminfo: memFree=1062456/2055920 swapFree=4192812/4192956
[pid=7090] ppid=7084 vsize=915464 CPUtime=1782.18
/proc/7090/stat : 7090 (java) R 7084 7090 6757 0 -1 0 8998 0 1 0 178209 9 0 0 25 0 8 0 157009525 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073619178 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7090/statm: 228866 8699 2533 14 0 215336 0
[pid=7090/tid=7093] ppid=7084 vsize=915464 CPUtime=0.02
/proc/7090/task/7093/stat : 7093 (java) S 7084 7090 6757 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 157009535 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7096] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7096/stat : 7096 (java) S 7084 7090 6757 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157009535 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7097] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7097/stat : 7097 (java) S 7084 7090 6757 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157009535 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7102] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7102/stat : 7102 (java) S 7084 7090 6757 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 157009539 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7103] ppid=7084 vsize=915464 CPUtime=0.23
/proc/7090/task/7103/stat : 7103 (java) S 7084 7090 6757 0 -1 64 412 0 0 0 22 1 0 0 16 0 8 0 157009539 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7104] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7104/stat : 7104 (java) S 7084 7090 6757 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157009539 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7105] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7105/stat : 7105 (java) S 7084 7090 6757 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157009539 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1782.18
Current children cumulated vsize (KiB) 915464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.84 s]
/proc/loadavg: 2.01 2.02 1.84 3/87 7161
/proc/meminfo: memFree=1062392/2055920 swapFree=4192812/4192956
[pid=7090] ppid=7084 vsize=915464 CPUtime=1800.05
/proc/7090/stat : 7090 (java) R 7084 7090 6757 0 -1 0 8998 0 1 0 179996 9 0 0 25 0 8 0 157009525 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073622112 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7090/statm: 228866 8699 2533 14 0 215336 0
[pid=7090/tid=7093] ppid=7084 vsize=915464 CPUtime=0.02
/proc/7090/task/7093/stat : 7093 (java) S 7084 7090 6757 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 157009535 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7096] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7096/stat : 7096 (java) S 7084 7090 6757 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157009535 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7097] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7097/stat : 7097 (java) S 7084 7090 6757 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157009535 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7102] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7102/stat : 7102 (java) S 7084 7090 6757 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 157009539 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7103] ppid=7084 vsize=915464 CPUtime=0.23
/proc/7090/task/7103/stat : 7103 (java) S 7084 7090 6757 0 -1 64 412 0 0 0 22 1 0 0 16 0 8 0 157009539 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7104] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7104/stat : 7104 (java) S 7084 7090 6757 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 157009539 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7090/tid=7105] ppid=7084 vsize=915464 CPUtime=0
/proc/7090/task/7105/stat : 7105 (java) S 7084 7090 6757 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157009539 937435136 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915464

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

Child status: 143
Real time (s): 1800.89
CPU time (s): 1800.11
CPU user time (s): 1800
CPU system time (s): 0.103984
CPU usage (%): 99.9566
Max. virtual memory (cumulated for all children) (KiB): 915464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.103984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9017
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= 37624
involuntary context switches= 38853

runsolver used 1.76073 s user time and 4.64229 s system time

The end

Launcher Data (download as text)

Begin job on node62 on Sat Jan  6 12:21:53 UTC 2007


IDJOB= 249273
IDBENCH= 11771
FILE ID= node62/249273-1168086109

PBS_JOBID= 3476585

Free space on /tmp= 66549 MiB

BENCH NAME= HOME/pub/bench/CPAI06/primes/primes-15/primes-15-40-3-5.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/249273-1168086109/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node62/watcher-249273-1168086109 -o ROOT/results/node62/solver-249273-1168086109 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/249273-1168086109/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  ff9c98ea299f549a20a511c20c8cc93d

RANDOM SEED= 938921094

TIME LIMIT= 1800 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.259
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.259
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:       1112672 kB
Buffers:         60760 kB
Cached:         784072 kB
SwapCached:          0 kB
Active:         136516 kB
Inactive:       728508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1112672 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3404 kB
Writeback:           0 kB
Mapped:          30360 kB
Slab:            63876 kB
Committed_AS:  2971580 kB
PageTables:       1684 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= 66549 MiB



End job on node62 on Sat Jan  6 12:51:59 UTC 2007