Trace number 209955

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 ESAC? (TO) 1800.04 1804.97

General information on the benchmark

NameschurrLemma/
lemma-100-9-mod.xml
MD5SUM0eccfd6635dce0f6180185bd782d874f
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark5.62914
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables100
Number of constraints2450
Maximum constraint arity3
Maximum domain size9
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2450
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.36	   
0.36	   instance
0.36	     name=/tmp/evaluation/209955-1168195227/unknown.xml
0.39	   
0.39	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.44	     nbVariables=100  nbDomainTypes=1  minDomainSize=9  maxDomainSize=9
0.44	       =>  wckTime=0.11  cpuTime=0.1  mem=6M951
0.44	   
0.44	   predicates being loaded...
0.44	   
0.44	   constraints being loaded...
1.01	     nbConstraints=2450  nbConflictsStructures=1  nbSharedConflictsStructures=2449  nbSharedBinaryRepresentations=0
1.01	     nbEvaluationManagers=1  nbSharedEvaluationManagers=2449  maxDegree=98  maxArity=3
1.01	       =>  wckTime=0.682  cpuTime=0.52  mem=27M447
1.07	   
1.07	   solver IterativeSystematicSolver being built... 
1.30	       =>  wckTime=0.973  cpuTime=0.71  mem=29M668
3.17	   
3.17	   preprocessing
3.17	     nbConstraintChecks=2485562  nbValidityChecks=1488141  nbPropagations=10045  nbRevisions=369716
3.17	     nbUselessRevisions=358312  nbSingletonTests=119  nbEffectiveSingletonTests=0  nbESACBranches=17  nbRemovedValues=0
3.17	     detectedInconsistency=no
3.17	       =>  wckTime=1.872  cpuTime=1.81  mem=29M668
3.49	   
3.49	   search
3.49	     run=0  nbConstraintChecks=359350  nbValidityChecks=283614  nbPropagations=11453  nbRevisions=454126
3.49	     nbUselessRevisions=439134  nbAssignments=30  nbFailedAssignments=16  nbBacktracks=10  nbVisitedNodes=55
3.49	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
3.49	       =>  wckTime=2.184  cpuTime=2.11  mem=29M668
3.95	   
3.95	   search
3.95	     run=1  nbConstraintChecks=989254  nbValidityChecks=687170  nbPropagations=24821  nbRevisions=1030657
3.95	     nbUselessRevisions=995486  nbAssignments=73  nbFailedAssignments=40  nbBacktracks=25  nbVisitedNodes=134
3.95	     nbRestartNogoods=2  mapSize=25  nbInferences=0  nbTooLargeKeys=0
3.95	       =>  wckTime=2.644  cpuTime=2.56  mem=29M668
4.64	   
4.64	   search
4.64	     run=2  nbConstraintChecks=1958868  nbValidityChecks=1284274  nbPropagations=40912  nbRevisions=1790183
4.64	     nbUselessRevisions=1727200  nbAssignments=136  nbFailedAssignments=76  nbBacktracks=47  nbVisitedNodes=251
4.64	     nbRestartNogoods=5  mapSize=47  nbInferences=0  nbTooLargeKeys=0
4.64	       =>  wckTime=3.335  cpuTime=3.24  mem=29M668
5.65	   
5.65	   search
5.65	     run=3  nbConstraintChecks=3404886  nbValidityChecks=2156280  nbPropagations=60837  nbRevisions=2815788
5.65	     nbUselessRevisions=2714066  nbAssignments=226  nbFailedAssignments=128  nbBacktracks=80  nbVisitedNodes=419
5.65	     nbRestartNogoods=11  mapSize=80  nbInferences=0  nbTooLargeKeys=0
5.65	       =>  wckTime=4.346  cpuTime=4.26  mem=29M668
7.12	   
7.12	   search
7.12	     run=4  nbConstraintChecks=5504405  nbValidityChecks=3432163  nbPropagations=86320  nbRevisions=4236510
7.12	     nbUselessRevisions=4079574  nbAssignments=361  nbFailedAssignments=208  nbBacktracks=132  nbVisitedNodes=674
7.12	     nbRestartNogoods=15  mapSize=132  nbInferences=0  nbTooLargeKeys=0
7.12	       =>  wckTime=5.816  cpuTime=5.71  mem=30M640
9.30	   
9.30	   search
9.30	     run=5  nbConstraintChecks=8638903  nbValidityChecks=5336260  nbPropagations=119874  nbRevisions=6240379
9.30	     nbUselessRevisions=6004602  nbAssignments=555  nbFailedAssignments=322  nbBacktracks=207  nbVisitedNodes=1039
9.30	     nbRestartNogoods=17  mapSize=207  nbInferences=0  nbTooLargeKeys=0
9.30	       =>  wckTime=7.999  cpuTime=7.87  mem=30M640
12.64	   
12.64	   search
12.64	     run=6  nbConstraintChecks=13400785  nbValidityChecks=8158519  nbPropagations=165360  nbRevisions=9116615
12.64	     nbUselessRevisions=8766045  nbAssignments=849  nbFailedAssignments=498  nbBacktracks=321  nbVisitedNodes=1597
12.64	     nbRestartNogoods=21  mapSize=321  nbInferences=0  nbTooLargeKeys=0
12.64	       =>  wckTime=11.334  cpuTime=11.17  mem=30M640
17.63	   
17.63	   search
17.63	     run=7  nbConstraintChecks=20555272  nbValidityChecks=12373545  nbPropagations=228635  nbRevisions=13298614
17.63	     nbUselessRevisions=12779704  nbAssignments=1286  nbFailedAssignments=760  nbBacktracks=491  nbVisitedNodes=2427
17.63	     nbRestartNogoods=27  mapSize=491  nbInferences=0  nbTooLargeKeys=0
17.63	       =>  wckTime=16.326  cpuTime=16.11  mem=30M640
25.02	   
25.02	   search
25.02	     run=8  nbConstraintChecks=31209192  nbValidityChecks=18661741  nbPropagations=318305  nbRevisions=19430039
25.02	     nbUselessRevisions=18662617  nbAssignments=1941  nbFailedAssignments=1154  nbBacktracks=747  nbVisitedNodes=3673
25.02	     nbRestartNogoods=33  mapSize=747  nbInferences=0  nbTooLargeKeys=0
25.02	       =>  wckTime=23.715  cpuTime=23.41  mem=30M640
33.71	   
33.71	   INFO : Stopping hyperNogood (mapSize=1049, nbTooLargekeys=0, mem=30M640)
36.04	   
36.04	   search
36.04	     run=9  nbConstraintChecks=47124662  nbValidityChecks=28068301  nbPropagations=447377  nbRevisions=28477961
36.04	     nbUselessRevisions=27343095  nbAssignments=2910  nbFailedAssignments=1734  nbBacktracks=1131  nbVisitedNodes=5516
36.04	     nbRestartNogoods=42
36.04	       =>  wckTime=34.738  cpuTime=34.33  mem=30M640
52.50	   
52.50	   search
52.50	     run=10  nbConstraintChecks=71017460  nbValidityChecks=42142041  nbPropagations=635215  nbRevisions=41888592
52.50	     nbUselessRevisions=40207128  nbAssignments=4373  nbFailedAssignments=2616  nbBacktracks=1707  nbVisitedNodes=8302
52.50	     nbRestartNogoods=53
52.50	       =>  wckTime=51.199  cpuTime=50.63  mem=30M640
77.10	   
77.10	   search
77.10	     run=11  nbConstraintChecks=106609660  nbValidityChecks=63191480  nbPropagations=910954  nbRevisions=61825352
77.10	     nbUselessRevisions=59328941  nbAssignments=6564  nbFailedAssignments=3938  nbBacktracks=2571  nbVisitedNodes=12476
77.10	     nbRestartNogoods=61
77.10	       =>  wckTime=75.801  cpuTime=75.01  mem=30M640
113.73	   
113.73	   search
113.73	     run=12  nbConstraintChecks=159655110  nbValidityChecks=94791989  nbPropagations=1318308  nbRevisions=91534917
113.73	     nbUselessRevisions=87826130  nbAssignments=9839  nbFailedAssignments=5911  nbBacktracks=3870  nbVisitedNodes=18702
113.73	     nbRestartNogoods=70
113.73	       =>  wckTime=112.43  cpuTime=111.28  mem=30M640
169.04	   
169.04	   search
169.04	     run=13  nbConstraintChecks=239799915  nbValidityChecks=142068851  nbPropagations=1923025  nbRevisions=135911058
169.04	     nbUselessRevisions=130386312  nbAssignments=14766  nbFailedAssignments=8887  nbBacktracks=5817
169.04	     nbVisitedNodes=28093  nbRestartNogoods=76
169.04	       =>  wckTime=167.734  cpuTime=166.08  mem=30M640
251.21	   
251.21	   search
251.21	     run=14  nbConstraintChecks=358830574  nbValidityChecks=212598213  nbPropagations=2822303  nbRevisions=202148174
251.21	     nbUselessRevisions=193949020  nbAssignments=21780  nbFailedAssignments=12977  nbBacktracks=8736
251.21	     nbVisitedNodes=41424  nbRestartNogoods=86
251.21	       =>  wckTime=249.911  cpuTime=247.5  mem=30M640
373.05	   
373.05	   search
373.05	     run=15  nbConstraintChecks=536786683  nbValidityChecks=318545639  nbPropagations=4163283  nbRevisions=301182273
373.05	     nbUselessRevisions=288978828  nbAssignments=32653  nbFailedAssignments=19467  nbBacktracks=13114
373.05	     nbVisitedNodes=62094  nbRestartNogoods=97
373.05	       =>  wckTime=371.744  cpuTime=368.19  mem=30M640
551.79	   
551.79	   search
551.79	     run=16  nbConstraintChecks=806290494  nbValidityChecks=477924003  nbPropagations=6169216  nbRevisions=449673085
551.79	     nbUselessRevisions=431432825  nbAssignments=49235  nbFailedAssignments=29476  nbBacktracks=19684
551.79	     nbVisitedNodes=93703  nbRestartNogoods=107
551.79	       =>  wckTime=550.49  cpuTime=545.84  mem=30M640
804.22	   
804.22	   search
804.22	     run=17  nbConstraintChecks=1209464978  nbValidityChecks=716592391  nbPropagations=9171583  nbRevisions=672162854
804.22	     nbUselessRevisions=644855432  nbAssignments=73941  nbFailedAssignments=44326  nbBacktracks=29536
804.22	     nbVisitedNodes=140772  nbRestartNogoods=123
804.22	       =>  wckTime=802.92  cpuTime=798.21  mem=30M640
1177.06	   
1177.06	   search
1177.06	     run=18  nbConstraintChecks=1802574349  nbValidityChecks=1072683979  nbPropagations=13656977  nbRevisions=1004593112
1177.06	     nbUselessRevisions=963972407  nbAssignments=108146  nbFailedAssignments=63748  nbBacktracks=44316
1177.06	     nbVisitedNodes=205548  nbRestartNogoods=131
1177.06	       =>  wckTime=1175.759  cpuTime=1170.94  mem=30M640
1738.44	   
1738.44	   search
1738.44	     run=19  nbConstraintChecks=2695669013  nbValidityChecks=1609796486  nbPropagations=20372921  nbRevisions=1502286539
1738.44	     nbUselessRevisions=1441968851  nbAssignments=160559  nbFailedAssignments=93988  nbBacktracks=66485
1738.44	     nbVisitedNodes=305040  nbRestartNogoods=140
1738.44	       =>  wckTime=1737.14  cpuTime=1732.16  mem=30M640

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/node4/watcher-209955-1168195227 -o ROOT/results/node4/solver-209955-1168195227 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/209955-1168195227/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: 2.01 2.01 2.00 5/94 26807
/proc/meminfo: memFree=939760/2055920 swapFree=4182144/4192956
[pid=26806] ppid=26804 vsize=18540 CPUtime=0
/proc/26806/stat : 26806 (runsolver) R 26804 26806 26438 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 167918246 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259913215271 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/26806/statm: 4635 279 244 17 0 2626 0

[startup+0.10781 s]
/proc/loadavg: 2.01 2.01 2.00 5/94 26807
/proc/meminfo: memFree=939760/2055920 swapFree=4182144/4192956
[pid=26806] ppid=26804 vsize=913068 CPUtime=0.08
/proc/26806/stat : 26806 (java) S 26804 26806 26438 0 -1 0 2862 0 1 0 6 2 0 0 18 0 8 0 167918246 934981632 2608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26806/statm: 228267 2608 1395 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068

[startup+0.515848 s]
/proc/loadavg: 2.01 2.01 2.00 5/94 26807
/proc/meminfo: memFree=939760/2055920 swapFree=4182144/4192956
[pid=26806] ppid=26804 vsize=915328 CPUtime=0.48
/proc/26806/stat : 26806 (java) R 26804 26806 26438 0 -1 0 6519 0 1 0 44 4 0 0 18 0 8 0 167918246 937295872 6258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26806/statm: 228832 6258 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33903 s]
/proc/loadavg: 2.01 2.01 2.00 4/101 26814
/proc/meminfo: memFree=901816/2055920 swapFree=4182144/4192956
[pid=26806] ppid=26804 vsize=915768 CPUtime=1.3
/proc/26806/stat : 26806 (java) R 26804 26806 26438 0 -1 0 12358 0 1 0 110 20 0 0 24 0 8 0 167918246 937746432 12096 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26806/statm: 228942 12096 2540 14 0 215412 0
[pid=26806/tid=26808] ppid=26804 vsize=915768 CPUtime=0.04
/proc/26806/task/26808/stat : 26808 (java) S 26804 26806 26438 0 -1 64 484 0 0 0 4 0 0 0 17 0 8 0 167918251 937746432 12096 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26809] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26809/stat : 26809 (java) S 26804 26806 26438 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167918251 937746432 12096 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26810] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26810/stat : 26810 (java) S 26804 26806 26438 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167918251 937746432 12096 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26811] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26811/stat : 26811 (java) S 26804 26806 26438 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167918255 937746432 12096 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26812] ppid=26804 vsize=915768 CPUtime=0.25
/proc/26806/task/26812/stat : 26812 (java) S 26804 26806 26438 0 -1 64 463 0 0 0 24 1 0 0 15 0 8 0 167918255 937746432 12096 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26813] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26813/stat : 26813 (java) S 26804 26806 26438 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167918255 937746432 12096 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26814] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26814/stat : 26814 (java) S 26804 26806 26438 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167918255 937746432 12096 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915768

[startup+2.99209 s]
/proc/loadavg: 2.01 2.01 2.00 3/101 26814
/proc/meminfo: memFree=901176/2055920 swapFree=4182144/4192956
[pid=26806] ppid=26804 vsize=915768 CPUtime=2.93
/proc/26806/stat : 26806 (java) R 26804 26806 26438 0 -1 0 12376 0 1 0 273 20 0 0 25 0 8 0 167918246 937746432 12113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073993903 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26806/statm: 228942 12113 2542 14 0 215412 0
[pid=26806/tid=26808] ppid=26804 vsize=915768 CPUtime=0.04
/proc/26806/task/26808/stat : 26808 (java) S 26804 26806 26438 0 -1 64 484 0 0 0 4 0 0 0 17 0 8 0 167918251 937746432 12113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26809] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26809/stat : 26809 (java) S 26804 26806 26438 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167918251 937746432 12113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26810] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26810/stat : 26810 (java) S 26804 26806 26438 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167918251 937746432 12113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26811] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26811/stat : 26811 (java) S 26804 26806 26438 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167918255 937746432 12113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26812] ppid=26804 vsize=915768 CPUtime=0.28
/proc/26806/task/26812/stat : 26812 (java) S 26804 26806 26438 0 -1 64 475 0 0 0 27 1 0 0 16 0 8 0 167918255 937746432 12113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26813] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26813/stat : 26813 (java) S 26804 26806 26438 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167918255 937746432 12113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26814] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26814/stat : 26814 (java) S 26804 26806 26438 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167918255 937746432 12113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915768

[startup+6.1934 s]
/proc/loadavg: 2.01 2.01 2.00 4/101 26814
/proc/meminfo: memFree=900600/2055920 swapFree=4182144/4192956
[pid=26806] ppid=26804 vsize=915768 CPUtime=6.1
/proc/26806/stat : 26806 (java) R 26804 26806 26438 0 -1 0 12494 0 1 0 590 20 0 0 25 0 8 0 167918246 937746432 12230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073994813 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26806/statm: 228942 12230 2543 14 0 215412 0
[pid=26806/tid=26808] ppid=26804 vsize=915768 CPUtime=0.04
/proc/26806/task/26808/stat : 26808 (java) S 26804 26806 26438 0 -1 64 484 0 0 0 4 0 0 0 16 0 8 0 167918251 937746432 12230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26809] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26809/stat : 26809 (java) S 26804 26806 26438 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167918251 937746432 12230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26810] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26810/stat : 26810 (java) S 26804 26806 26438 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167918251 937746432 12230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26811] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26811/stat : 26811 (java) S 26804 26806 26438 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167918255 937746432 12230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26812] ppid=26804 vsize=915768 CPUtime=0.31
/proc/26806/task/26812/stat : 26812 (java) S 26804 26806 26438 0 -1 64 483 0 0 0 29 2 0 0 15 0 8 0 167918255 937746432 12230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26813] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26813/stat : 26813 (java) S 26804 26806 26438 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167918255 937746432 12230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26814] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26814/stat : 26814 (java) S 26804 26806 26438 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167918255 937746432 12230 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915768

[startup+12.678 s]
/proc/loadavg: 2.01 2.01 2.00 3/101 26814
/proc/meminfo: memFree=900472/2055920 swapFree=4182144/4192956
[pid=26806] ppid=26804 vsize=915768 CPUtime=12.52
/proc/26806/stat : 26806 (java) R 26804 26806 26438 0 -1 0 12525 0 1 0 1232 20 0 0 25 0 8 0 167918246 937746432 12260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073994844 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26806/statm: 228942 12260 2543 14 0 215412 0
[pid=26806/tid=26808] ppid=26804 vsize=915768 CPUtime=0.04
/proc/26806/task/26808/stat : 26808 (java) S 26804 26806 26438 0 -1 64 484 0 0 0 4 0 0 0 16 0 8 0 167918251 937746432 12260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26809] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26809/stat : 26809 (java) S 26804 26806 26438 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167918251 937746432 12260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26810] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26810/stat : 26810 (java) S 26804 26806 26438 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167918251 937746432 12260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26811] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26811/stat : 26811 (java) S 26804 26806 26438 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167918255 937746432 12260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26812] ppid=26804 vsize=915768 CPUtime=0.31
/proc/26806/task/26812/stat : 26812 (java) S 26804 26806 26438 0 -1 64 486 0 0 0 29 2 0 0 15 0 8 0 167918255 937746432 12260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26813] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26813/stat : 26813 (java) S 26804 26806 26438 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167918255 937746432 12260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26814] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26814/stat : 26814 (java) S 26804 26806 26438 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167918255 937746432 12260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915768

[startup+25.5392 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 26814
/proc/meminfo: memFree=900280/2055920 swapFree=4182144/4192956
[pid=26806] ppid=26804 vsize=915768 CPUtime=25.27
/proc/26806/stat : 26806 (java) R 26804 26806 26438 0 -1 0 12588 0 1 0 2506 21 0 0 25 0 8 0 167918246 937746432 12317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074032631 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26806/statm: 228942 12317 2543 14 0 215412 0
[pid=26806/tid=26808] ppid=26804 vsize=915768 CPUtime=0.04
/proc/26806/task/26808/stat : 26808 (java) S 26804 26806 26438 0 -1 64 484 0 0 0 4 0 0 0 16 0 8 0 167918251 937746432 12317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26809] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26809/stat : 26809 (java) S 26804 26806 26438 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167918251 937746432 12317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26810] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26810/stat : 26810 (java) S 26804 26806 26438 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167918251 937746432 12317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26811] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26811/stat : 26811 (java) S 26804 26806 26438 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167918255 937746432 12317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26812] ppid=26804 vsize=915768 CPUtime=0.34
/proc/26806/task/26812/stat : 26812 (java) S 26804 26806 26438 0 -1 64 501 0 0 0 32 2 0 0 15 0 8 0 167918255 937746432 12317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26813] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26813/stat : 26813 (java) S 26804 26806 26438 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167918255 937746432 12317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26814] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26814/stat : 26814 (java) S 26804 26806 26438 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167918255 937746432 12317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915768

[startup+51.1717 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 26814
/proc/meminfo: memFree=900152/2055920 swapFree=4182144/4192956
[pid=26806] ppid=26804 vsize=915768 CPUtime=50.67
/proc/26806/stat : 26806 (java) R 26804 26806 26438 0 -1 0 12620 0 1 0 5046 21 0 0 25 0 8 0 167918246 937746432 12348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782474 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26806/statm: 228942 12348 2543 14 0 215412 0
[pid=26806/tid=26808] ppid=26804 vsize=915768 CPUtime=0.04
/proc/26806/task/26808/stat : 26808 (java) S 26804 26806 26438 0 -1 64 484 0 0 0 4 0 0 0 16 0 8 0 167918251 937746432 12348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26809] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26809/stat : 26809 (java) S 26804 26806 26438 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167918251 937746432 12348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26810] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26810/stat : 26810 (java) S 26804 26806 26438 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167918251 937746432 12348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26811] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26811/stat : 26811 (java) S 26804 26806 26438 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167918255 937746432 12348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26812] ppid=26804 vsize=915768 CPUtime=0.34
/proc/26806/task/26812/stat : 26812 (java) S 26804 26806 26438 0 -1 64 505 0 0 0 32 2 0 0 17 0 8 0 167918255 937746432 12348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26813] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26813/stat : 26813 (java) S 26804 26806 26438 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167918255 937746432 12348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26814] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26814/stat : 26814 (java) S 26804 26806 26438 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167918255 937746432 12348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 915768

[startup+102.435 s]
/proc/loadavg: 2.26 2.07 2.02 3/101 26814
/proc/meminfo: memFree=900088/2055920 swapFree=4182144/4192956
[pid=26806] ppid=26804 vsize=915768 CPUtime=101.46
/proc/26806/stat : 26806 (java) R 26804 26806 26438 0 -1 0 12627 0 1 0 10124 22 0 0 25 0 8 0 167918246 937746432 12355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073777958 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26806/statm: 228942 12355 2543 14 0 215412 0
[pid=26806/tid=26808] ppid=26804 vsize=915768 CPUtime=0.04
/proc/26806/task/26808/stat : 26808 (java) S 26804 26806 26438 0 -1 64 484 0 0 0 4 0 0 0 16 0 8 0 167918251 937746432 12355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26809] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26809/stat : 26809 (java) S 26804 26806 26438 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167918251 937746432 12355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26810] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26810/stat : 26810 (java) S 26804 26806 26438 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167918251 937746432 12355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26811] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26811/stat : 26811 (java) S 26804 26806 26438 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167918255 937746432 12355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26812] ppid=26804 vsize=915768 CPUtime=0.35
/proc/26806/task/26812/stat : 26812 (java) S 26804 26806 26438 0 -1 64 506 0 0 0 33 2 0 0 16 0 8 0 167918255 937746432 12355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26813] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26813/stat : 26813 (java) S 26804 26806 26438 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167918255 937746432 12355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26814] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26814/stat : 26814 (java) S 26804 26806 26438 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167918255 937746432 12355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915768

[startup+162.456 s]
/proc/loadavg: 2.09 2.05 2.01 3/101 26814
/proc/meminfo: memFree=900088/2055920 swapFree=4182144/4192956
[pid=26806] ppid=26804 vsize=915768 CPUtime=160.91
/proc/26806/stat : 26806 (java) R 26804 26806 26438 0 -1 0 12630 0 1 0 16069 22 0 0 25 0 8 0 167918246 937746432 12357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074003122 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1418.12
Current children cumulated vsize (KiB) 915768

[startup+1482.97 s]
/proc/loadavg: 1.00 1.03 1.32 2/85 27083
/proc/meminfo: memFree=1559672/2055920 swapFree=4182144/4192956
[pid=26806] ppid=26804 vsize=915768 CPUtime=1478.13
/proc/26806/stat : 26806 (java) R 26804 26806 26438 0 -1 0 12649 0 1 0 147768 45 0 0 25 0 8 0 167918246 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074006022 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26806/statm: 228942 12374 2543 14 0 215412 0
[pid=26806/tid=26808] ppid=26804 vsize=915768 CPUtime=0.04
/proc/26806/task/26808/stat : 26808 (java) S 26804 26806 26438 0 -1 64 484 0 0 0 4 0 0 0 16 0 8 0 167918251 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26809] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26809/stat : 26809 (java) S 26804 26806 26438 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167918251 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26810] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26810/stat : 26810 (java) S 26804 26806 26438 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167918251 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26811] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26811/stat : 26811 (java) S 26804 26806 26438 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167918255 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26812] ppid=26804 vsize=915768 CPUtime=0.35
/proc/26806/task/26812/stat : 26812 (java) S 26804 26806 26438 0 -1 64 507 0 0 0 33 2 0 0 16 0 8 0 167918255 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26813] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26813/stat : 26813 (java) S 26804 26806 26438 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167918255 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26814] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26814/stat : 26814 (java) S 26804 26806 26438 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167918255 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1478.13
Current children cumulated vsize (KiB) 915768

[startup+1542.99 s]
/proc/loadavg: 1.00 1.02 1.30 2/85 27083
/proc/meminfo: memFree=1559736/2055920 swapFree=4182144/4192956
[pid=26806] ppid=26804 vsize=915768 CPUtime=1538.13
/proc/26806/stat : 26806 (java) R 26804 26806 26438 0 -1 0 12649 0 1 0 153768 45 0 0 25 0 8 0 167918246 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073976204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26806/statm: 228942 12374 2543 14 0 215412 0
[pid=26806/tid=26808] ppid=26804 vsize=915768 CPUtime=0.04
/proc/26806/task/26808/stat : 26808 (java) S 26804 26806 26438 0 -1 64 484 0 0 0 4 0 0 0 16 0 8 0 167918251 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26809] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26809/stat : 26809 (java) S 26804 26806 26438 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167918251 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26810] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26810/stat : 26810 (java) S 26804 26806 26438 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167918251 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26811] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26811/stat : 26811 (java) S 26804 26806 26438 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167918255 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26812] ppid=26804 vsize=915768 CPUtime=0.35
/proc/26806/task/26812/stat : 26812 (java) S 26804 26806 26438 0 -1 64 507 0 0 0 33 2 0 0 16 0 8 0 167918255 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26813] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26813/stat : 26813 (java) S 26804 26806 26438 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167918255 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26814] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26814/stat : 26814 (java) S 26804 26806 26438 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167918255 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1538.13
Current children cumulated vsize (KiB) 915768

[startup+1603 s]
/proc/loadavg: 1.00 1.02 1.27 2/85 27083
/proc/meminfo: memFree=1559800/2055920 swapFree=4182144/4192956
[pid=26806] ppid=26804 vsize=915768 CPUtime=1598.12
/proc/26806/stat : 26806 (java) R 26804 26806 26438 0 -1 0 12649 0 1 0 159767 45 0 0 25 0 8 0 167918246 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073779120 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26806/statm: 228942 12374 2543 14 0 215412 0
[pid=26806/tid=26808] ppid=26804 vsize=915768 CPUtime=0.04
/proc/26806/task/26808/stat : 26808 (java) S 26804 26806 26438 0 -1 64 484 0 0 0 4 0 0 0 16 0 8 0 167918251 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26809] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26809/stat : 26809 (java) S 26804 26806 26438 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167918251 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26810] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26810/stat : 26810 (java) S 26804 26806 26438 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167918251 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26811] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26811/stat : 26811 (java) S 26804 26806 26438 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167918255 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26812] ppid=26804 vsize=915768 CPUtime=0.35
/proc/26806/task/26812/stat : 26812 (java) S 26804 26806 26438 0 -1 64 507 0 0 0 33 2 0 0 16 0 8 0 167918255 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26813] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26813/stat : 26813 (java) S 26804 26806 26438 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167918255 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26814] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26814/stat : 26814 (java) S 26804 26806 26438 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167918255 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1598.12
Current children cumulated vsize (KiB) 915768

[startup+1663.02 s]
/proc/loadavg: 1.00 1.01 1.26 2/85 27083
/proc/meminfo: memFree=1559864/2055920 swapFree=4182144/4192956
[pid=26806] ppid=26804 vsize=915768 CPUtime=1658.12
/proc/26806/stat : 26806 (java) R 26804 26806 26438 0 -1 0 12649 0 1 0 165767 45 0 0 25 0 8 0 167918246 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783846 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26806/statm: 228942 12374 2543 14 0 215412 0
[pid=26806/tid=26808] ppid=26804 vsize=915768 CPUtime=0.04
/proc/26806/task/26808/stat : 26808 (java) S 26804 26806 26438 0 -1 64 484 0 0 0 4 0 0 0 16 0 8 0 167918251 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26809] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26809/stat : 26809 (java) S 26804 26806 26438 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167918251 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26810] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26810/stat : 26810 (java) S 26804 26806 26438 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167918251 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26811] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26811/stat : 26811 (java) S 26804 26806 26438 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167918255 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26812] ppid=26804 vsize=915768 CPUtime=0.35
/proc/26806/task/26812/stat : 26812 (java) S 26804 26806 26438 0 -1 64 507 0 0 0 33 2 0 0 16 0 8 0 167918255 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26813] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26813/stat : 26813 (java) S 26804 26806 26438 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167918255 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26814] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26814/stat : 26814 (java) S 26804 26806 26438 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167918255 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1658.12
Current children cumulated vsize (KiB) 915768

[startup+1723.04 s]
/proc/loadavg: 1.00 1.00 1.24 2/85 27083
/proc/meminfo: memFree=1559864/2055920 swapFree=4182144/4192956
[pid=26806] ppid=26804 vsize=915768 CPUtime=1718.12
/proc/26806/stat : 26806 (java) R 26804 26806 26438 0 -1 0 12649 0 1 0 171767 45 0 0 25 0 8 0 167918246 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073779111 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26806/statm: 228942 12374 2543 14 0 215412 0
[pid=26806/tid=26808] ppid=26804 vsize=915768 CPUtime=0.04
/proc/26806/task/26808/stat : 26808 (java) S 26804 26806 26438 0 -1 64 484 0 0 0 4 0 0 0 16 0 8 0 167918251 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26809] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26809/stat : 26809 (java) S 26804 26806 26438 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167918251 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26810] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26810/stat : 26810 (java) S 26804 26806 26438 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167918251 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26811] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26811/stat : 26811 (java) S 26804 26806 26438 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167918255 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26812] ppid=26804 vsize=915768 CPUtime=0.35
/proc/26806/task/26812/stat : 26812 (java) S 26804 26806 26438 0 -1 64 507 0 0 0 33 2 0 0 16 0 8 0 167918255 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26813] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26813/stat : 26813 (java) S 26804 26806 26438 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167918255 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26814] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26814/stat : 26814 (java) S 26804 26806 26438 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167918255 937746432 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1718.12
Current children cumulated vsize (KiB) 915768

[startup+1783.05 s]
/proc/loadavg: 1.00 1.00 1.22 2/85 27083
/proc/meminfo: memFree=1559864/2055920 swapFree=4182144/4192956
[pid=26806] ppid=26804 vsize=915768 CPUtime=1778.12
/proc/26806/stat : 26806 (java) R 26804 26806 26438 0 -1 0 12651 0 1 0 177767 45 0 0 25 0 8 0 167918246 937746432 12376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074006012 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26806/statm: 228942 12376 2543 14 0 215412 0
[pid=26806/tid=26808] ppid=26804 vsize=915768 CPUtime=0.04
/proc/26806/task/26808/stat : 26808 (java) S 26804 26806 26438 0 -1 64 484 0 0 0 4 0 0 0 16 0 8 0 167918251 937746432 12376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26809] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26809/stat : 26809 (java) S 26804 26806 26438 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167918251 937746432 12376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26810] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26810/stat : 26810 (java) S 26804 26806 26438 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167918251 937746432 12376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26811] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26811/stat : 26811 (java) S 26804 26806 26438 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167918255 937746432 12376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26812] ppid=26804 vsize=915768 CPUtime=0.35
/proc/26806/task/26812/stat : 26812 (java) S 26804 26806 26438 0 -1 64 507 0 0 0 33 2 0 0 16 0 8 0 167918255 937746432 12376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26813] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26813/stat : 26813 (java) S 26804 26806 26438 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167918255 937746432 12376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26814] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26814/stat : 26814 (java) S 26804 26806 26438 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167918255 937746432 12376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1778.12
Current children cumulated vsize (KiB) 915768



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1804.94 s]
/proc/loadavg: 1.00 1.00 1.21 2/85 27083
/proc/meminfo: memFree=1559864/2055920 swapFree=4182144/4192956
[pid=26806] ppid=26804 vsize=915768 CPUtime=1800.01
/proc/26806/stat : 26806 (java) R 26804 26806 26438 0 -1 0 12651 0 1 0 179956 45 0 0 25 0 8 0 167918246 937746432 12376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073994731 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26806/statm: 228942 12376 2543 14 0 215412 0
[pid=26806/tid=26808] ppid=26804 vsize=915768 CPUtime=0.04
/proc/26806/task/26808/stat : 26808 (java) S 26804 26806 26438 0 -1 64 484 0 0 0 4 0 0 0 16 0 8 0 167918251 937746432 12376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26809] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26809/stat : 26809 (java) S 26804 26806 26438 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167918251 937746432 12376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26810] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26810/stat : 26810 (java) S 26804 26806 26438 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167918251 937746432 12376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26811] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26811/stat : 26811 (java) S 26804 26806 26438 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167918255 937746432 12376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26812] ppid=26804 vsize=915768 CPUtime=0.35
/proc/26806/task/26812/stat : 26812 (java) S 26804 26806 26438 0 -1 64 507 0 0 0 33 2 0 0 16 0 8 0 167918255 937746432 12376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26813] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26813/stat : 26813 (java) S 26804 26806 26438 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167918255 937746432 12376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26806/tid=26814] ppid=26804 vsize=915768 CPUtime=0
/proc/26806/task/26814/stat : 26814 (java) S 26804 26806 26438 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167918255 937746432 12376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915768

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

Child status: 143
Real time (s): 1804.97
CPU time (s): 1800.04
CPU user time (s): 1799.58
CPU system time (s): 0.465929
CPU usage (%): 99.727
Max. virtual memory (cumulated for all children) (KiB): 915768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.465929
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12670
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= 38000
involuntary context switches= 45597

runsolver used 2.18667 s user time and 4.76228 s system time

The end

Launcher Data (download as text)

Begin job on node4 on Sun Jan  7 18:40:27 UTC 2007


IDJOB= 209955
IDBENCH= 4583
FILE ID= node4/209955-1168195227

PBS_JOBID= 3479417

Free space on /tmp= 66304 MiB

BENCH NAME= HOME/pub/bench/CPAI06/schurrLemma/lemma-100-9-mod.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/209955-1168195227/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-209955-1168195227 -o ROOT/results/node4/solver-209955-1168195227 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/209955-1168195227/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  0eccfd6635dce0f6180185bd782d874f

RANDOM SEED= 118528404

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.223
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.223
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:        940240 kB
Buffers:         57660 kB
Cached:         311236 kB
SwapCached:       2520 kB
Active:         810452 kB
Inactive:       249888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        940240 kB
SwapTotal:     4192956 kB
SwapFree:      4182144 kB
Dirty:            1992 kB
Writeback:           0 kB
Mapped:         708812 kB
Slab:            38684 kB
Committed_AS:  5173364 kB
PageTables:       3740 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= 66308 MiB



End job on node4 on Sun Jan  7 19:10:32 UTC 2007