Trace number 235575

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 1814.67

General information on the benchmark

Nametaillard/
os-taillard-10/os-taillard-10-95-0.xml
MD5SUMb72a3bf0b00e09f12949ace974f0d3db
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark247.97
SatisfiableNO
(Un)Satisfiability was proved
Number of variables100
Number of constraints900
Maximum constraint arity2
Maximum domain size611
Number of constraints which are defined in extension0
Number of constraints which are defined in intension900
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.41	   
0.41	   instance
0.41	     name=/tmp/evaluation/235575-1168083064/unknown.xml
0.44	   
0.44	   domains being loaded...
0.46	   
0.46	   variables being loaded...
0.51	     nbVariables=100  nbDomainTypes=100  minDomainSize=516  maxDomainSize=611
0.51	       =>  wckTime=0.134  cpuTime=0.11  mem=8M841
0.51	   
0.51	   predicates being loaded...
0.52	   
0.52	   constraints being loaded...
4.54	   
4.55	   INFO : Stopping converting binary constraints (cpu=4.07, mem = 21M816)
4.74	     nbConstraints=900  nbConvertedConstraints=44  nbConvertConstraintsChecks=14299306  nbExtensionStructures=44
4.74	     nbSharedExtensionStructures=0  nbConflictsStructures=44  nbSharedConflictsStructures=0
4.74	     nbSharedBinaryRepresentations=13723  nbEvaluationManagers=856  nbSharedEvaluationManagers=0  maxDegree=18
4.74	     maxArity=2
4.74	       =>  wckTime=4.364  cpuTime=4.17  mem=28M643
4.81	   
4.81	   solver IterativeSystematicSolver being built... 
5.00	       =>  wckTime=4.626  cpuTime=4.33  mem=28M153
8.61	   
8.61	   preprocessing
8.61	     nbConstraintChecks=9287389  nbValidityChecks=62150  nbPropagations=100  nbRevisions=1712  nbUselessRevisions=1712
8.61	     nbRemovedValues=0  detectedInconsistency=no
8.61	       =>  wckTime=3.6  cpuTime=3.55  mem=28M153
13.68	   
13.68	   search
13.68	     run=0  nbConstraintChecks=11719079  nbValidityChecks=3933824  nbPropagations=1121  nbRevisions=15216
13.68	     nbUselessRevisions=12476  nbAssignments=111  nbFailedAssignments=62  nbBacktracks=10  nbVisitedNodes=183
13.68	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
13.68	       =>  wckTime=8.67  cpuTime=8.55  mem=29M128
19.86	   
19.86	   search
19.86	     run=1  nbConstraintChecks=26885122  nbValidityChecks=9574900  nbPropagations=3554  nbRevisions=49797
19.86	     nbUselessRevisions=40260  nbAssignments=244  nbFailedAssignments=146  nbBacktracks=25  nbVisitedNodes=415
19.86	     nbRestartNogoods=35  mapSize=25  nbInferences=0  nbTooLargeKeys=0
19.86	       =>  wckTime=14.856  cpuTime=14.67  mem=29M128
28.40	   
28.41	   search
28.41	     run=2  nbConstraintChecks=46507795  nbValidityChecks=24111218  nbPropagations=10845  nbRevisions=149446
28.41	     nbUselessRevisions=120576  nbAssignments=639  nbFailedAssignments=485  nbBacktracks=47  nbVisitedNodes=1168
28.41	     nbRestartNogoods=85  mapSize=45  nbInferences=0  nbTooLargeKeys=0
28.41	       =>  wckTime=23.397  cpuTime=23.13  mem=29M128
33.62	   
33.62	   search
33.62	     run=3  nbConstraintChecks=59776444  nbValidityChecks=49555712  nbPropagations=23090  nbRevisions=314564
33.62	     nbUselessRevisions=254410  nbAssignments=1098  nbFailedAssignments=901  nbBacktracks=80  nbVisitedNodes=2076
33.62	     nbRestartNogoods=97  mapSize=78  nbInferences=0  nbTooLargeKeys=0
33.62	       =>  wckTime=28.614  cpuTime=28.3  mem=30M97
49.74	   
49.74	   search
49.74	     run=4  nbConstraintChecks=94480803  nbValidityChecks=91346636  nbPropagations=47977  nbRevisions=639622
49.74	     nbUselessRevisions=508957  nbAssignments=2644  nbFailedAssignments=2373  nbBacktracks=130  nbVisitedNodes=5143
49.74	     nbRestartNogoods=130  mapSize=127  nbInferences=0  nbTooLargeKeys=0
49.74	       =>  wckTime=44.732  cpuTime=44.24  mem=30M97
65.68	   
65.68	   search
65.68	     run=5  nbConstraintChecks=121366827  nbValidityChecks=192658724  nbPropagations=90189  nbRevisions=1206958
65.68	     nbUselessRevisions=973650  nbAssignments=4307  nbFailedAssignments=3948  nbBacktracks=205  nbVisitedNodes=8456
65.68	     nbRestartNogoods=308  mapSize=202  nbInferences=0  nbTooLargeKeys=0
65.68	       =>  wckTime=60.671  cpuTime=60.03  mem=30M97
81.07	   
81.07	   search
81.07	     run=6  nbConstraintChecks=144203062  nbValidityChecks=312081703  nbPropagations=152218  nbRevisions=2051388
81.07	     nbUselessRevisions=1678668  nbAssignments=6221  nbFailedAssignments=5738  nbBacktracks=318  nbVisitedNodes=12273
81.07	     nbRestartNogoods=335  mapSize=315  nbInferences=0  nbTooLargeKeys=0
81.07	       =>  wckTime=76.064  cpuTime=75.28  mem=31M66
109.40	   
109.40	   search
109.40	     run=7  nbConstraintChecks=186384257  nbValidityChecks=532179776  nbPropagations=246478  nbRevisions=3356579
109.40	     nbUselessRevisions=2783862  nbAssignments=9157  nbFailedAssignments=8498  nbBacktracks=488  nbVisitedNodes=18139
109.40	     nbRestartNogoods=381  mapSize=485  nbInferences=0  nbTooLargeKeys=0
109.40	       =>  wckTime=104.394  cpuTime=103.35  mem=32M35
182.87	   
182.87	   search
182.87	     run=8  nbConstraintChecks=293107313  nbValidityChecks=1113677235  nbPropagations=423637  nbRevisions=5847360
182.87	     nbUselessRevisions=4919504  nbAssignments=16952  nbFailedAssignments=16031  nbBacktracks=744  nbVisitedNodes=33723
182.87	     nbRestartNogoods=461  mapSize=741  nbInferences=0  nbTooLargeKeys=0
182.87	       =>  wckTime=177.859  cpuTime=176.15  mem=33M973
226.36	   
226.36	   INFO : Stopping hyperNogood (mapSize=1046, nbTooLargekeys=0, mem=35M911)
237.62	   
237.62	   search
237.62	     run=9  nbConstraintChecks=375827545  nbValidityChecks=1541002329  nbPropagations=662937  nbRevisions=9232690
237.62	     nbUselessRevisions=7832382  nbAssignments=22249  nbFailedAssignments=20939  nbBacktracks=1128  nbVisitedNodes=44312
237.62	     nbRestartNogoods=513
237.62	       =>  wckTime=232.614  cpuTime=230.41  mem=35M911
324.83	   
324.83	   search
324.83	     run=10  nbConstraintChecks=505568287  nbValidityChecks=2237657851  nbPropagations=1003047  nbRevisions=14055133
324.83	     nbUselessRevisions=11994106  nbAssignments=30792  nbFailedAssignments=28901  nbBacktracks=1704
324.83	     nbVisitedNodes=61393  nbRestartNogoods=536
324.83	       =>  wckTime=319.826  cpuTime=316.82  mem=35M911
447.31	   
447.31	   search
447.31	     run=11  nbConstraintChecks=678821794  nbValidityChecks=3237398964  nbPropagations=1491676  nbRevisions=20990269
447.31	     nbUselessRevisions=17975473  nbAssignments=44537  nbFailedAssignments=41776  nbBacktracks=2568
447.31	     nbVisitedNodes=88856  nbRestartNogoods=569
447.31	       =>  wckTime=442.301  cpuTime=438.18  mem=35M911
785.76	   
785.76	   search
785.76	     run=12  nbConstraintChecks=1150028345  nbValidityChecks=6031834981  nbPropagations=2400943  nbRevisions=33641477
785.76	     nbUselessRevisions=28875039  nbAssignments=85862  nbFailedAssignments=81798  nbBacktracks=3865
785.76	     nbVisitedNodes=171494  nbRestartNogoods=596
785.76	       =>  wckTime=780.754  cpuTime=773.56  mem=35M911
1038.50	   
1038.50	   search
1038.50	     run=13  nbConstraintChecks=1492035220  nbValidityChecks=8264666212  nbPropagations=3634607  nbRevisions=50984265
1038.50	     nbUselessRevisions=43833947  nbAssignments=115592  nbFailedAssignments=109576  nbBacktracks=5811
1038.50	     nbVisitedNodes=230897  nbRestartNogoods=724
1038.50	       =>  wckTime=1033.493  cpuTime=1024.02  mem=35M911
1385.67	   
1385.67	   search
1385.67	     run=14  nbConstraintChecks=1946637505  nbValidityChecks=11452251656  nbPropagations=5332395  nbRevisions=74993626
1385.67	     nbUselessRevisions=64547228  nbAssignments=158806  nbFailedAssignments=149865  nbBacktracks=8730
1385.67	     nbVisitedNodes=317246  nbRestartNogoods=753
1385.67	       =>  wckTime=1380.663  cpuTime=1368.17  mem=35M911

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/node34/watcher-235575-1168083064 -o ROOT/results/node34/solver-235575-1168083064 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/235575-1168083064/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.02 2.02 1.87 4/80 11710
/proc/meminfo: memFree=1435736/2055920 swapFree=4192812/4192956
[pid=11709] ppid=11707 vsize=1784 CPUtime=0
/proc/11709/stat : 11709 (java) D 11707 11709 11272 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 156700323 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/11709/statm: 446 158 123 14 0 91 0

[startup+0.102737 s]
/proc/loadavg: 2.02 2.02 1.87 4/80 11710
/proc/meminfo: memFree=1435736/2055920 swapFree=4192812/4192956
[pid=11709] ppid=11707 vsize=907676 CPUtime=0.03
/proc/11709/stat : 11709 (java) R 11707 11709 11272 0 -1 0 2212 0 1 0 2 1 0 0 16 0 4 0 156700323 929460224 1959 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4160643169 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/11709/statm: 226919 1959 1114 14 0 214502 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 907676

[startup+0.514772 s]
/proc/loadavg: 2.02 2.02 1.87 4/80 11710
/proc/meminfo: memFree=1435736/2055920 swapFree=4192812/4192956
[pid=11709] ppid=11707 vsize=915328 CPUtime=0.44
/proc/11709/stat : 11709 (java) R 11707 11709 11272 0 -1 0 6497 0 1 0 39 5 0 0 18 0 8 0 156700323 937295872 6236 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11709/statm: 228832 6236 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915328

[startup+1.33883 s]
/proc/loadavg: 2.10 2.04 1.88 3/87 11717
/proc/meminfo: memFree=1412192/2055920 swapFree=4192812/4192956
[pid=11709] ppid=11707 vsize=915448 CPUtime=1.25
/proc/11709/stat : 11709 (java) R 11707 11709 11272 0 -1 0 8351 0 1 0 118 7 0 0 25 0 8 0 156700323 937418752 8089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073751040 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11709/statm: 228862 8089 2167 14 0 215332 0
[pid=11709/tid=11711] ppid=11707 vsize=915448 CPUtime=0
/proc/11709/task/11711/stat : 11711 (java) S 11707 11709 11272 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 156700332 937418752 8089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11712] ppid=11707 vsize=915448 CPUtime=0
/proc/11709/task/11712/stat : 11712 (java) S 11707 11709 11272 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 156700333 937418752 8089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11713] ppid=11707 vsize=915448 CPUtime=0
/proc/11709/task/11713/stat : 11713 (java) S 11707 11709 11272 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 156700333 937418752 8089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11714] ppid=11707 vsize=915448 CPUtime=0
/proc/11709/task/11714/stat : 11714 (java) S 11707 11709 11272 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156700336 937418752 8089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11715] ppid=11707 vsize=915448 CPUtime=0.15
/proc/11709/task/11715/stat : 11715 (java) S 11707 11709 11272 0 -1 64 357 0 0 0 14 1 0 0 16 0 8 0 156700336 937418752 8089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11716] ppid=11707 vsize=915448 CPUtime=0
/proc/11709/task/11716/stat : 11716 (java) S 11707 11709 11272 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156700336 937418752 8089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11717] ppid=11707 vsize=915448 CPUtime=0
/proc/11709/task/11717/stat : 11717 (java) S 11707 11709 11272 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156700336 937418752 8089 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) 915448

[startup+2.97596 s]
/proc/loadavg: 2.10 2.04 1.88 3/87 11717
/proc/meminfo: memFree=1409824/2055920 swapFree=4192812/4192956
[pid=11709] ppid=11707 vsize=915448 CPUtime=2.88
/proc/11709/stat : 11709 (java) R 11707 11709 11272 0 -1 0 9139 0 1 0 281 7 0 0 25 0 8 0 156700323 937418752 8876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073767561 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11709/statm: 228862 8876 2167 14 0 215332 0
[pid=11709/tid=11711] ppid=11707 vsize=915448 CPUtime=0
/proc/11709/task/11711/stat : 11711 (java) S 11707 11709 11272 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 156700332 937418752 8876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11712] ppid=11707 vsize=915448 CPUtime=0
/proc/11709/task/11712/stat : 11712 (java) S 11707 11709 11272 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 156700333 937418752 8876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11713] ppid=11707 vsize=915448 CPUtime=0
/proc/11709/task/11713/stat : 11713 (java) S 11707 11709 11272 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 156700333 937418752 8876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11714] ppid=11707 vsize=915448 CPUtime=0
/proc/11709/task/11714/stat : 11714 (java) S 11707 11709 11272 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156700336 937418752 8876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11715] ppid=11707 vsize=915448 CPUtime=0.15
/proc/11709/task/11715/stat : 11715 (java) S 11707 11709 11272 0 -1 64 357 0 0 0 14 1 0 0 16 0 8 0 156700336 937418752 8876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11716] ppid=11707 vsize=915448 CPUtime=0
/proc/11709/task/11716/stat : 11716 (java) S 11707 11709 11272 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156700336 937418752 8876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11717] ppid=11707 vsize=915448 CPUtime=0
/proc/11709/task/11717/stat : 11717 (java) S 11707 11709 11272 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156700336 937418752 8876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 915448

[startup+6.25523 s]
/proc/loadavg: 2.09 2.03 1.88 3/87 11717
/proc/meminfo: memFree=1392416/2055920 swapFree=4192812/4192956
[pid=11709] ppid=11707 vsize=915584 CPUtime=6.13
/proc/11709/stat : 11709 (java) R 11707 11709 11272 0 -1 0 13537 0 1 0 603 10 0 0 25 0 8 0 156700323 937558016 13273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073980030 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11709/statm: 228896 13273 2529 14 0 215366 0
[pid=11709/tid=11711] ppid=11707 vsize=915584 CPUtime=0.05
/proc/11709/task/11711/stat : 11711 (java) S 11707 11709 11272 0 -1 64 1640 0 0 0 5 0 0 0 16 0 8 0 156700332 937558016 13273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11712] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11712/stat : 11712 (java) S 11707 11709 11272 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156700333 937558016 13273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11713] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11713/stat : 11713 (java) S 11707 11709 11272 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156700333 937558016 13273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11714] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11714/stat : 11714 (java) S 11707 11709 11272 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156700336 937558016 13273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11715] ppid=11707 vsize=915584 CPUtime=0.24
/proc/11709/task/11715/stat : 11715 (java) S 11707 11709 11272 0 -1 64 413 0 0 0 23 1 0 0 16 0 8 0 156700336 937558016 13273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11716] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11716/stat : 11716 (java) S 11707 11709 11272 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156700336 937558016 13273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11717] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11717/stat : 11717 (java) S 11707 11709 11272 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156700336 937558016 13273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915584

[startup+12.7408 s]
/proc/loadavg: 2.08 2.03 1.88 3/87 11717
/proc/meminfo: memFree=1392288/2055920 swapFree=4192812/4192956
[pid=11709] ppid=11707 vsize=915584 CPUtime=12.55
/proc/11709/stat : 11709 (java) R 11707 11709 11272 0 -1 0 13561 0 1 0 1245 10 0 0 25 0 8 0 156700323 937558016 13290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073751141 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11709/statm: 228896 13290 2530 14 0 215366 0
[pid=11709/tid=11711] ppid=11707 vsize=915584 CPUtime=0.05
/proc/11709/task/11711/stat : 11711 (java) S 11707 11709 11272 0 -1 64 1640 0 0 0 5 0 0 0 17 0 8 0 156700332 937558016 13290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11712] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11712/stat : 11712 (java) S 11707 11709 11272 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156700333 937558016 13290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11713] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11713/stat : 11713 (java) S 11707 11709 11272 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156700333 937558016 13290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11714] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11714/stat : 11714 (java) S 11707 11709 11272 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156700336 937558016 13290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11715] ppid=11707 vsize=915584 CPUtime=0.27
/proc/11709/task/11715/stat : 11715 (java) S 11707 11709 11272 0 -1 64 431 0 0 0 26 1 0 0 16 0 8 0 156700336 937558016 13290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11716] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11716/stat : 11716 (java) S 11707 11709 11272 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156700336 937558016 13290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11717] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11717/stat : 11717 (java) S 11707 11709 11272 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156700336 937558016 13290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 915584

[startup+25.5998 s]
/proc/loadavg: 2.07 2.03 1.88 3/87 11717
/proc/meminfo: memFree=1392288/2055920 swapFree=4192812/4192956
[pid=11709] ppid=11707 vsize=915584 CPUtime=25.29
/proc/11709/stat : 11709 (java) R 11707 11709 11272 0 -1 0 13577 0 1 0 2519 10 0 0 25 0 8 0 156700323 937558016 13302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073751068 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11709/statm: 228896 13302 2534 14 0 215366 0
[pid=11709/tid=11711] ppid=11707 vsize=915584 CPUtime=0.05
/proc/11709/task/11711/stat : 11711 (java) S 11707 11709 11272 0 -1 64 1641 0 0 0 5 0 0 0 17 0 8 0 156700332 937558016 13302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11712] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11712/stat : 11712 (java) S 11707 11709 11272 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156700333 937558016 13302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11713] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11713/stat : 11713 (java) S 11707 11709 11272 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156700333 937558016 13302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11714] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11714/stat : 11714 (java) S 11707 11709 11272 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156700336 937558016 13302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11715] ppid=11707 vsize=915584 CPUtime=0.28
/proc/11709/task/11715/stat : 11715 (java) S 11707 11709 11272 0 -1 64 437 0 0 0 27 1 0 0 16 0 8 0 156700336 937558016 13302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11716] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11716/stat : 11716 (java) S 11707 11709 11272 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156700336 937558016 13302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11717] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11717/stat : 11717 (java) S 11707 11709 11272 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156700336 937558016 13302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 915584

[startup+51.2109 s]
/proc/loadavg: 2.04 2.03 1.88 3/87 11717
/proc/meminfo: memFree=1392288/2055920 swapFree=4192812/4192956
[pid=11709] ppid=11707 vsize=915584 CPUtime=50.67
/proc/11709/stat : 11709 (java) R 11707 11709 11272 0 -1 0 13599 0 1 0 5056 11 0 0 25 0 8 0 156700323 937558016 13317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073753868 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11709/statm: 228896 13317 2534 14 0 215366 0
[pid=11709/tid=11711] ppid=11707 vsize=915584 CPUtime=0.05
/proc/11709/task/11711/stat : 11711 (java) S 11707 11709 11272 0 -1 64 1641 0 0 0 5 0 0 0 16 0 8 0 156700332 937558016 13317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11712] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11712/stat : 11712 (java) S 11707 11709 11272 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156700333 937558016 13317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11713] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11713/stat : 11713 (java) S 11707 11709 11272 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156700333 937558016 13317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11714] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11714/stat : 11714 (java) S 11707 11709 11272 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156700336 937558016 13317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11715] ppid=11707 vsize=915584 CPUtime=0.32
/proc/11709/task/11715/stat : 11715 (java) S 11707 11709 11272 0 -1 64 455 0 0 0 30 2 0 0 16 0 8 0 156700336 937558016 13317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11716] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11716/stat : 11716 (java) S 11707 11709 11272 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156700336 937558016 13317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11717] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11717/stat : 11717 (java) S 11707 11709 11272 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156700336 937558016 13317 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) 915584

[startup+102.426 s]
/proc/loadavg: 2.02 2.02 1.89 3/87 11717
/proc/meminfo: memFree=1392288/2055920 swapFree=4192812/4192956
[pid=11709] ppid=11707 vsize=915584 CPUtime=101.42
/proc/11709/stat : 11709 (java) R 11707 11709 11272 0 -1 0 13600 0 1 0 10131 11 0 0 25 0 8 0 156700323 937558016 13317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073999025 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11709/statm: 228896 13317 2534 14 0 215366 0
[pid=11709/tid=11711] ppid=11707 vsize=915584 CPUtime=0.05
/proc/11709/task/11711/stat : 11711 (java) S 11707 11709 11272 0 -1 64 1641 0 0 0 5 0 0 0 16 0 8 0 156700332 937558016 13317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11712] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11712/stat : 11712 (java) S 11707 11709 11272 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156700333 937558016 13317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11713] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11713/stat : 11713 (java) S 11707 11709 11272 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156700333 937558016 13317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11714] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11714/stat : 11714 (java) S 11707 11709 11272 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156700336 937558016 13317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11715] ppid=11707 vsize=915584 CPUtime=0.33
/proc/11709/task/11715/stat : 11715 (java) S 11707 11709 11272 0 -1 64 455 0 0 0 31 2 0 0 16 0 8 0 156700336 937558016 13317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11716] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11716/stat : 11716 (java) S 11707 11709 11272 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156700336 937558016 13317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11717] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11717/stat : 11717 (java) S 11707 11709 11272 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156700336 937558016 13317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.42
Current children cumulated vsize (KiB) 915584

[startup+162.491 s]
/proc/loadavg: 2.00 2.02 1.89 3/87 11717
/proc/meminfo: memFree=1392224/2055920 swapFree=4192812/4192956
[pid=11709] ppid=11707 vsize=915584 CPUtime=160.94
/proc/11709/stat : 11709 (java) R 11707 11709 11272 0 -1 0 13602 0 1 0 16083 11 0 0 25 0 8 0 156700323 937558016 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073990435 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1411.38
Current children cumulated vsize (KiB) 915584

[startup+1484.15 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 11775
/proc/meminfo: memFree=1378720/2055920 swapFree=4192812/4192956
[pid=11709] ppid=11707 vsize=915584 CPUtime=1471.19
/proc/11709/stat : 11709 (java) R 11707 11709 11272 0 -1 0 13857 0 1 0 147103 16 0 0 25 0 8 0 156700323 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073979913 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11709/statm: 228896 13573 2534 14 0 215366 0
[pid=11709/tid=11711] ppid=11707 vsize=915584 CPUtime=0.05
/proc/11709/task/11711/stat : 11711 (java) S 11707 11709 11272 0 -1 64 1641 0 0 0 5 0 0 0 16 0 8 0 156700332 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11712] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11712/stat : 11712 (java) S 11707 11709 11272 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156700333 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11713] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11713/stat : 11713 (java) S 11707 11709 11272 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156700333 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11714] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11714/stat : 11714 (java) S 11707 11709 11272 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156700336 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11715] ppid=11707 vsize=915584 CPUtime=0.34
/proc/11709/task/11715/stat : 11715 (java) S 11707 11709 11272 0 -1 64 459 0 0 0 32 2 0 0 16 0 8 0 156700336 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11716] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11716/stat : 11716 (java) S 11707 11709 11272 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156700336 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11717] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11717/stat : 11717 (java) S 11707 11709 11272 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156700336 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1471.19
Current children cumulated vsize (KiB) 915584

[startup+1544.23 s]
/proc/loadavg: 2.06 2.02 1.95 3/87 11775
/proc/meminfo: memFree=1378720/2055920 swapFree=4192812/4192956
[pid=11709] ppid=11707 vsize=915584 CPUtime=1530.99
/proc/11709/stat : 11709 (java) R 11707 11709 11272 0 -1 0 13857 0 1 0 153083 16 0 0 25 0 8 0 156700323 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073986970 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11709/statm: 228896 13573 2534 14 0 215366 0
[pid=11709/tid=11711] ppid=11707 vsize=915584 CPUtime=0.05
/proc/11709/task/11711/stat : 11711 (java) S 11707 11709 11272 0 -1 64 1641 0 0 0 5 0 0 0 16 0 8 0 156700332 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11712] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11712/stat : 11712 (java) S 11707 11709 11272 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156700333 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11713] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11713/stat : 11713 (java) S 11707 11709 11272 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156700333 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11714] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11714/stat : 11714 (java) S 11707 11709 11272 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156700336 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11715] ppid=11707 vsize=915584 CPUtime=0.34
/proc/11709/task/11715/stat : 11715 (java) S 11707 11709 11272 0 -1 64 459 0 0 0 32 2 0 0 16 0 8 0 156700336 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11716] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11716/stat : 11716 (java) S 11707 11709 11272 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156700336 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11717] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11717/stat : 11717 (java) S 11707 11709 11272 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156700336 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1530.99
Current children cumulated vsize (KiB) 915584

[startup+1604.31 s]
/proc/loadavg: 2.02 2.01 1.95 3/87 11775
/proc/meminfo: memFree=1378720/2055920 swapFree=4192812/4192956
[pid=11709] ppid=11707 vsize=915584 CPUtime=1590.79
/proc/11709/stat : 11709 (java) R 11707 11709 11272 0 -1 0 13857 0 1 0 159063 16 0 0 25 0 8 0 156700323 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750848 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11709/statm: 228896 13573 2534 14 0 215366 0
[pid=11709/tid=11711] ppid=11707 vsize=915584 CPUtime=0.05
/proc/11709/task/11711/stat : 11711 (java) S 11707 11709 11272 0 -1 64 1641 0 0 0 5 0 0 0 16 0 8 0 156700332 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11712] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11712/stat : 11712 (java) S 11707 11709 11272 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156700333 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11713] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11713/stat : 11713 (java) S 11707 11709 11272 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156700333 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11714] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11714/stat : 11714 (java) S 11707 11709 11272 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156700336 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11715] ppid=11707 vsize=915584 CPUtime=0.34
/proc/11709/task/11715/stat : 11715 (java) S 11707 11709 11272 0 -1 64 459 0 0 0 32 2 0 0 16 0 8 0 156700336 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11716] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11716/stat : 11716 (java) S 11707 11709 11272 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156700336 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11717] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11717/stat : 11717 (java) S 11707 11709 11272 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156700336 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1590.79
Current children cumulated vsize (KiB) 915584

[startup+1664.39 s]
/proc/loadavg: 2.01 2.00 1.95 3/87 11775
/proc/meminfo: memFree=1378720/2055920 swapFree=4192812/4192956
[pid=11709] ppid=11707 vsize=915584 CPUtime=1650.59
/proc/11709/stat : 11709 (java) R 11707 11709 11272 0 -1 0 13857 0 1 0 165043 16 0 0 25 0 8 0 156700323 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074068363 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11709/statm: 228896 13573 2534 14 0 215366 0
[pid=11709/tid=11711] ppid=11707 vsize=915584 CPUtime=0.05
/proc/11709/task/11711/stat : 11711 (java) S 11707 11709 11272 0 -1 64 1641 0 0 0 5 0 0 0 16 0 8 0 156700332 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11712] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11712/stat : 11712 (java) S 11707 11709 11272 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156700333 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11713] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11713/stat : 11713 (java) S 11707 11709 11272 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156700333 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11714] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11714/stat : 11714 (java) S 11707 11709 11272 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156700336 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11715] ppid=11707 vsize=915584 CPUtime=0.34
/proc/11709/task/11715/stat : 11715 (java) S 11707 11709 11272 0 -1 64 459 0 0 0 32 2 0 0 16 0 8 0 156700336 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11716] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11716/stat : 11716 (java) S 11707 11709 11272 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156700336 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11717] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11717/stat : 11717 (java) S 11707 11709 11272 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156700336 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1650.59
Current children cumulated vsize (KiB) 915584

[startup+1724.47 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 11775
/proc/meminfo: memFree=1378656/2055920 swapFree=4192812/4192956
[pid=11709] ppid=11707 vsize=915584 CPUtime=1710.39
/proc/11709/stat : 11709 (java) R 11707 11709 11272 0 -1 0 13857 0 1 0 171023 16 0 0 25 0 8 0 156700323 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073981011 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11709/statm: 228896 13573 2534 14 0 215366 0
[pid=11709/tid=11711] ppid=11707 vsize=915584 CPUtime=0.05
/proc/11709/task/11711/stat : 11711 (java) S 11707 11709 11272 0 -1 64 1641 0 0 0 5 0 0 0 16 0 8 0 156700332 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11712] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11712/stat : 11712 (java) S 11707 11709 11272 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156700333 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11713] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11713/stat : 11713 (java) S 11707 11709 11272 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156700333 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11714] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11714/stat : 11714 (java) S 11707 11709 11272 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156700336 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11715] ppid=11707 vsize=915584 CPUtime=0.34
/proc/11709/task/11715/stat : 11715 (java) S 11707 11709 11272 0 -1 64 459 0 0 0 32 2 0 0 16 0 8 0 156700336 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11716] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11716/stat : 11716 (java) S 11707 11709 11272 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156700336 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11717] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11717/stat : 11717 (java) S 11707 11709 11272 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156700336 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1710.39
Current children cumulated vsize (KiB) 915584

[startup+1784.55 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 11775
/proc/meminfo: memFree=1378656/2055920 swapFree=4192812/4192956
[pid=11709] ppid=11707 vsize=915584 CPUtime=1770.19
/proc/11709/stat : 11709 (java) R 11707 11709 11272 0 -1 0 13857 0 1 0 177002 17 0 0 25 0 8 0 156700323 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073990345 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11709/statm: 228896 13573 2534 14 0 215366 0
[pid=11709/tid=11711] ppid=11707 vsize=915584 CPUtime=0.05
/proc/11709/task/11711/stat : 11711 (java) S 11707 11709 11272 0 -1 64 1641 0 0 0 5 0 0 0 16 0 8 0 156700332 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11712] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11712/stat : 11712 (java) S 11707 11709 11272 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156700333 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11713] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11713/stat : 11713 (java) S 11707 11709 11272 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156700333 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11714] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11714/stat : 11714 (java) S 11707 11709 11272 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156700336 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11715] ppid=11707 vsize=915584 CPUtime=0.34
/proc/11709/task/11715/stat : 11715 (java) S 11707 11709 11272 0 -1 64 459 0 0 0 32 2 0 0 16 0 8 0 156700336 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11716] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11716/stat : 11716 (java) S 11707 11709 11272 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156700336 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11717] ppid=11707 vsize=915584 CPUtime=0.01
/proc/11709/task/11717/stat : 11717 (java) S 11707 11709 11272 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 156700336 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1770.19
Current children cumulated vsize (KiB) 915584



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1814.61 s]
/proc/loadavg: 2.00 2.00 1.95 3/93 11859
/proc/meminfo: memFree=1377216/2055920 swapFree=4192812/4192956
[pid=11709] ppid=11707 vsize=915584 CPUtime=1800.04
/proc/11709/stat : 11709 (java) R 11707 11709 11272 0 -1 0 13857 0 1 0 179987 17 0 0 25 0 8 0 156700323 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074032567 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11709/statm: 228896 13573 2534 14 0 215366 0
[pid=11709/tid=11711] ppid=11707 vsize=915584 CPUtime=0.05
/proc/11709/task/11711/stat : 11711 (java) S 11707 11709 11272 0 -1 64 1641 0 0 0 5 0 0 0 16 0 8 0 156700332 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11712] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11712/stat : 11712 (java) S 11707 11709 11272 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156700333 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11713] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11713/stat : 11713 (java) S 11707 11709 11272 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156700333 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11714] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11714/stat : 11714 (java) S 11707 11709 11272 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156700336 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11715] ppid=11707 vsize=915584 CPUtime=0.34
/proc/11709/task/11715/stat : 11715 (java) S 11707 11709 11272 0 -1 64 459 0 0 0 32 2 0 0 16 0 8 0 156700336 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11716] ppid=11707 vsize=915584 CPUtime=0
/proc/11709/task/11716/stat : 11716 (java) S 11707 11709 11272 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156700336 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11709/tid=11717] ppid=11707 vsize=915584 CPUtime=0.01
/proc/11709/task/11717/stat : 11717 (java) S 11707 11709 11272 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 156700336 937558016 13573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 915584

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

Child status: 143
Real time (s): 1814.67
CPU time (s): 1800.11
CPU user time (s): 1799.92
CPU system time (s): 0.183972
CPU usage (%): 99.1975
Max. virtual memory (cumulated for all children) (KiB): 915584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.183972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13874
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= 38161
involuntary context switches= 63892

runsolver used 2.17767 s user time and 5.86011 s system time

The end

Launcher Data (download as text)

Begin job on node34 on Sat Jan  6 11:31:06 UTC 2007


IDJOB= 235575
IDBENCH= 6778
FILE ID= node34/235575-1168083064

PBS_JOBID= 3476213

Free space on /tmp= 66533 MiB

BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-10/os-taillard-10-95-0.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/235575-1168083064/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node34/watcher-235575-1168083064 -o ROOT/results/node34/solver-235575-1168083064 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/235575-1168083064/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  b72a3bf0b00e09f12949ace974f0d3db

RANDOM SEED= 864684873

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.227
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.227
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:       1436216 kB
Buffers:         33844 kB
Cached:         444468 kB
SwapCached:          0 kB
Active:         127892 kB
Inactive:       415636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1436216 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1764 kB
Writeback:           0 kB
Mapped:          85392 kB
Slab:            61444 kB
Committed_AS:  3268756 kB
PageTables:       1904 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= 66533 MiB



End job on node34 on Sat Jan  6 12:01:21 UTC 2007