Trace number 237292

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.13 1809.02

General information on the benchmark

Nameos-gp/
gp10-04-1077.xml
MD5SUM9e1073cf0543b531d5d4e0d0fba8e4b2
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.297953
SatisfiableYES
(Un)Satisfiability was proved
Number of variables101
Number of constraints1000
Maximum constraint arity2
Maximum domain size1078
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1000
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.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/237292-1168347321/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.44	     nbVariables=101  nbDomainTypes=2  minDomainSize=1  maxDomainSize=1078
0.44	       =>  wckTime=0.119  cpuTime=0.1  mem=9M894
0.44	   
0.44	   predicates being loaded...
0.45	   
0.45	   constraints being loaded...
134.68	     nbConstraints=1000  nbSingletonDomainVariables=1  nbConvertedConstraints=1000  nbConvertConstraintsChecks=490454426
134.68	     nbExtensionStructures=473  nbSharedExtensionStructures=527  nbConflictsStructures=473
134.68	     nbSharedConflictsStructures=527  nbSharedBinaryRepresentations=751449  maxDegree=100  maxArity=2
134.68	       =>  wckTime=134.356  cpuTime=132.72  mem=79M492
134.86	   
134.86	   solver IterativeSystematicSolver being built... 
135.03	       =>  wckTime=134.708  cpuTime=132.86  mem=72M536
138.74	   
138.74	   preprocessing
138.74	     nbConstraintChecks=94649348  nbPropagations=11613  nbRevisions=57350  nbUselessRevisions=34059
138.74	     nbSingletonTests=378  nbEffectiveSingletonTests=13  nbESACBranches=63  nbRemovedValues=18066
138.74	     detectedInconsistency=no
138.74	       =>  wckTime=3.704  cpuTime=3.65  mem=72M536
146.87	   
146.87	   search
146.87	     run=0  nbConstraintChecks=157643875  nbPropagations=31352  nbRevisions=250730  nbUselessRevisions=148288
146.87	     nbAssignments=560  nbFailedAssignments=536  nbBacktracks=10  nbVisitedNodes=1105  nbRestartNogoods=0  mapSize=9
146.87	     nbInferences=0  nbTooLargeKeys=0
146.87	       =>  wckTime=11.835  cpuTime=11.69  mem=73M525
165.91	   
165.91	   search
165.91	     run=1  nbConstraintChecks=542610100  nbPropagations=127531  nbRevisions=1072154  nbUselessRevisions=660155
165.91	     nbAssignments=1451  nbFailedAssignments=1134  nbBacktracks=25  nbVisitedNodes=2341  nbRestartNogoods=67  mapSize=24
165.91	     nbInferences=0  nbTooLargeKeys=0
165.91	       =>  wckTime=30.871  cpuTime=30.56  mem=73M525
210.13	   
210.13	   search
210.13	     run=2  nbConstraintChecks=1249440602  nbPropagations=399133  nbRevisions=2794976  nbUselessRevisions=1735753
210.13	     nbAssignments=6568  nbFailedAssignments=1800  nbBacktracks=47  nbVisitedNodes=3720  nbRestartNogoods=362
210.13	     mapSize=46  nbInferences=0  nbTooLargeKeys=0
210.13	       =>  wckTime=75.095  cpuTime=74.39  mem=74M481
216.94	   
216.94	   search
216.94	     run=3  nbConstraintChecks=1384032971  nbPropagations=694516  nbRevisions=4691952  nbUselessRevisions=2914949
216.94	     nbAssignments=7678  nbFailedAssignments=2417  nbBacktracks=80  nbVisitedNodes=5022  nbRestartNogoods=495
216.94	     mapSize=70  nbInferences=0  nbTooLargeKeys=0
216.94	       =>  wckTime=81.902  cpuTime=81.13  mem=74M481
237.91	   
237.91	   search
237.91	     run=4  nbConstraintChecks=1824635264  nbPropagations=1049042  nbRevisions=7066731  nbUselessRevisions=4359670
237.91	     nbAssignments=11120  nbFailedAssignments=5072  nbBacktracks=130  nbVisitedNodes=10436  nbRestartNogoods=601
237.91	     mapSize=120  nbInferences=0  nbTooLargeKeys=0
237.91	       =>  wckTime=102.866  cpuTime=101.92  mem=75M437
263.43	   
263.43	   search
263.43	     run=5  nbConstraintChecks=2301423669  nbPropagations=1521244  nbRevisions=10477133  nbUselessRevisions=6511155
263.43	     nbAssignments=13560  nbFailedAssignments=6459  nbBacktracks=205  nbVisitedNodes=13367  nbRestartNogoods=791
263.43	     mapSize=193  nbInferences=0  nbTooLargeKeys=0
263.43	       =>  wckTime=128.388  cpuTime=127.23  mem=76M393
283.60	   
283.60	   search
283.60	     run=6  nbConstraintChecks=2656782319  nbPropagations=2085948  nbRevisions=15006803  nbUselessRevisions=9438115
283.60	     nbAssignments=16528  nbFailedAssignments=9195  nbBacktracks=318  nbVisitedNodes=19045  nbRestartNogoods=804
283.60	     mapSize=296  nbInferences=0  nbTooLargeKeys=0
283.60	       =>  wckTime=148.564  cpuTime=147.23  mem=78M305
311.55	   
311.55	   search
311.55	     run=7  nbConstraintChecks=3154646782  nbPropagations=2785326  nbRevisions=21237748  nbUselessRevisions=13558751
311.55	     nbAssignments=20698  nbFailedAssignments=13183  nbBacktracks=490  nbVisitedNodes=27317  nbRestartNogoods=808
311.55	     mapSize=465  nbInferences=0  nbTooLargeKeys=0
311.55	       =>  wckTime=176.512  cpuTime=174.94  mem=80M217
482.46	   
482.46	   search
482.46	     run=8  nbConstraintChecks=7132467288  nbPropagations=3890627  nbRevisions=31495182  nbUselessRevisions=19767698
482.46	     nbAssignments=36979  nbFailedAssignments=29203  nbBacktracks=746  nbVisitedNodes=59865  nbRestartNogoods=812
482.46	     mapSize=720  nbInferences=0  nbTooLargeKeys=0
482.46	       =>  wckTime=347.419  cpuTime=344.11  mem=84M42
562.13	   
562.13	   INFO : Stopping hyperNogood (mapSize=1015, nbTooLargekeys=0, mem=87M866)
593.95	   
593.95	   search
593.95	     run=9  nbConstraintChecks=9642837765  nbPropagations=5255437  nbRevisions=44619504  nbUselessRevisions=27529635
593.95	     nbAssignments=53085  nbFailedAssignments=44266  nbBacktracks=1130  nbVisitedNodes=90717  nbRestartNogoods=1102
593.95	       =>  wckTime=458.911  cpuTime=454.65  mem=87M866
644.44	   
644.44	   search
644.44	     run=10  nbConstraintChecks=10662389156  nbPropagations=6784220  nbRevisions=59135290  nbUselessRevisions=36140210
644.44	     nbAssignments=59573  nbFailedAssignments=50123  nbBacktracks=1707  nbVisitedNodes=103474  nbRestartNogoods=1134
644.44	       =>  wckTime=509.4  cpuTime=504.68  mem=87M866
684.82	   
684.82	   search
684.82	     run=11  nbConstraintChecks=11518315224  nbPropagations=8456184  nbRevisions=75266142  nbUselessRevisions=45859316
684.82	     nbAssignments=63326  nbFailedAssignments=52882  nbBacktracks=2571  nbVisitedNodes=110615  nbRestartNogoods=1169
684.82	       =>  wckTime=549.781  cpuTime=544.71  mem=87M866
744.07	   
744.07	   search
744.07	     run=12  nbConstraintChecks=12747693593  nbPropagations=10342159  nbRevisions=93739615  nbUselessRevisions=57181434
744.07	     nbAssignments=67778  nbFailedAssignments=55909  nbBacktracks=3869  nbVisitedNodes=119080  nbRestartNogoods=1197
744.07	       =>  wckTime=609.036  cpuTime=603.44  mem=87M866
816.02	   
816.02	   search
816.02	     run=13  nbConstraintChecks=14242304421  nbPropagations=12500223  nbRevisions=115262023  nbUselessRevisions=70619779
816.02	     nbAssignments=73694  nbFailedAssignments=59765  nbBacktracks=5815  nbVisitedNodes=130468  nbRestartNogoods=1221
816.02	       =>  wckTime=680.982  cpuTime=674.73  mem=87M866

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/node52/watcher-237292-1168347321 -o ROOT/results/node52/solver-237292-1168347321 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237292-1168347321/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: 1.91 1.93 1.90 4/74 11789
/proc/meminfo: memFree=1883272/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=18540 CPUtime=0
/proc/11788/stat : 11788 (runsolver) R 11786 11788 11581 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 183130706 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 273653755175 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/11788/statm: 4635 279 244 17 0 2626 0

[startup+0.102946 s]
/proc/loadavg: 1.91 1.93 1.90 4/74 11789
/proc/meminfo: memFree=1883272/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=912760 CPUtime=0.08
/proc/11788/stat : 11788 (java) S 11786 11788 11581 0 -1 0 2793 0 1 0 7 1 0 0 18 0 8 0 183130706 934666240 2539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11788/statm: 228190 2539 1390 14 0 215091 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 912760

[startup+0.510973 s]
/proc/loadavg: 1.91 1.93 1.90 4/74 11789
/proc/meminfo: memFree=1883272/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=915328 CPUtime=0.48
/proc/11788/stat : 11788 (java) R 11786 11788 11581 0 -1 0 7021 0 1 0 44 4 0 0 18 0 8 0 183130706 937295872 6760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11788/statm: 228832 6760 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33203 s]
/proc/loadavg: 1.91 1.93 1.90 3/81 11796
/proc/meminfo: memFree=1856208/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=915448 CPUtime=1.29
/proc/11788/stat : 11788 (java) R 11786 11788 11581 0 -1 0 9187 0 1 0 123 6 0 0 25 0 8 0 183130706 937418752 8925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758544 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11788/statm: 228862 8925 2167 14 0 215332 0
[pid=11788/tid=11790] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11790/stat : 11790 (java) S 11786 11788 11581 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 183130711 937418752 8925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11791] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11791/stat : 11791 (java) S 11786 11788 11581 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 183130712 937418752 8925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11792] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11792/stat : 11792 (java) S 11786 11788 11581 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 183130712 937418752 8925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11793] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11793/stat : 11793 (java) S 11786 11788 11581 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183130715 937418752 8925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11794] ppid=11786 vsize=915448 CPUtime=0.14
/proc/11788/task/11794/stat : 11794 (java) S 11786 11788 11581 0 -1 64 357 0 0 0 14 0 0 0 16 0 8 0 183130715 937418752 8925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11795] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11795/stat : 11795 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183130715 937418752 8925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11796] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11796/stat : 11796 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183130715 937418752 8925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915448

[startup+2.97613 s]
/proc/loadavg: 1.91 1.93 1.90 3/81 11796
/proc/meminfo: memFree=1854608/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=915448 CPUtime=2.93
/proc/11788/stat : 11788 (java) R 11786 11788 11581 0 -1 0 9694 0 1 0 287 6 0 0 25 0 8 0 183130706 937418752 9432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761323 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11788/statm: 228862 9432 2167 14 0 215332 0
[pid=11788/tid=11790] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11790/stat : 11790 (java) S 11786 11788 11581 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 183130711 937418752 9432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11791] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11791/stat : 11791 (java) S 11786 11788 11581 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 183130712 937418752 9432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11792] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11792/stat : 11792 (java) S 11786 11788 11581 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 183130712 937418752 9432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11793] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11793/stat : 11793 (java) S 11786 11788 11581 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183130715 937418752 9432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11794] ppid=11786 vsize=915448 CPUtime=0.14
/proc/11788/task/11794/stat : 11794 (java) S 11786 11788 11581 0 -1 64 358 0 0 0 14 0 0 0 16 0 8 0 183130715 937418752 9432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11795] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11795/stat : 11795 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183130715 937418752 9432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11796] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11796/stat : 11796 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183130715 937418752 9432 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) 915448

[startup+6.17935 s]
/proc/loadavg: 1.92 1.93 1.90 3/81 11796
/proc/meminfo: memFree=1850832/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=915448 CPUtime=6.1
/proc/11788/stat : 11788 (java) R 11786 11788 11581 0 -1 0 10508 0 1 0 604 6 0 0 25 0 8 0 183130706 937418752 10246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752871 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11788/statm: 228862 10246 2167 14 0 215332 0
[pid=11788/tid=11790] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11790/stat : 11790 (java) S 11786 11788 11581 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 183130711 937418752 10246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11791] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11791/stat : 11791 (java) S 11786 11788 11581 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 183130712 937418752 10246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11792] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11792/stat : 11792 (java) S 11786 11788 11581 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 183130712 937418752 10246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11793] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11793/stat : 11793 (java) S 11786 11788 11581 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183130715 937418752 10246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11794] ppid=11786 vsize=915448 CPUtime=0.14
/proc/11788/task/11794/stat : 11794 (java) S 11786 11788 11581 0 -1 64 359 0 0 0 14 0 0 0 17 0 8 0 183130715 937418752 10246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11795] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11795/stat : 11795 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183130715 937418752 10246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11796] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11796/stat : 11796 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183130715 937418752 10246 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) 915448

[startup+12.6518 s]
/proc/loadavg: 1.92 1.93 1.90 3/81 11796
/proc/meminfo: memFree=1842704/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=915448 CPUtime=12.53
/proc/11788/stat : 11788 (java) R 11786 11788 11581 0 -1 0 12561 0 1 0 1245 8 0 0 25 0 8 0 183130706 937418752 12299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758425 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11788/statm: 228862 12299 2167 14 0 215332 0
[pid=11788/tid=11790] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11790/stat : 11790 (java) S 11786 11788 11581 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 183130711 937418752 12299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11791] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11791/stat : 11791 (java) S 11786 11788 11581 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 183130712 937418752 12299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11792] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11792/stat : 11792 (java) S 11786 11788 11581 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 183130712 937418752 12299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11793] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11793/stat : 11793 (java) S 11786 11788 11581 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183130715 937418752 12299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11794] ppid=11786 vsize=915448 CPUtime=0.15
/proc/11788/task/11794/stat : 11794 (java) S 11786 11788 11581 0 -1 64 360 0 0 0 15 0 0 0 17 0 8 0 183130715 937418752 12299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11795] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11795/stat : 11795 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183130715 937418752 12299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11796] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11796/stat : 11796 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183130715 937418752 12299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 915448

[startup+25.4997 s]
/proc/loadavg: 1.94 1.93 1.90 3/81 11796
/proc/meminfo: memFree=1827664/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=915448 CPUtime=25.28
/proc/11788/stat : 11788 (java) R 11786 11788 11581 0 -1 0 16423 0 1 0 2519 9 0 0 25 0 8 0 183130706 937418752 16161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11788/statm: 228862 16161 2167 14 0 215332 0
[pid=11788/tid=11790] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11790/stat : 11790 (java) S 11786 11788 11581 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 183130711 937418752 16161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11791] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11791/stat : 11791 (java) S 11786 11788 11581 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 183130712 937418752 16161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11792] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11792/stat : 11792 (java) S 11786 11788 11581 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 183130712 937418752 16161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11793] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11793/stat : 11793 (java) S 11786 11788 11581 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183130715 937418752 16161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11794] ppid=11786 vsize=915448 CPUtime=0.15
/proc/11788/task/11794/stat : 11794 (java) S 11786 11788 11581 0 -1 64 362 0 0 0 15 0 0 0 17 0 8 0 183130715 937418752 16161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11795] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11795/stat : 11795 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183130715 937418752 16161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11796] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11796/stat : 11796 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183130715 937418752 16161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915448

[startup+51.1054 s]
/proc/loadavg: 2.03 1.95 1.91 4/81 11796
/proc/meminfo: memFree=1810256/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=915448 CPUtime=50.67
/proc/11788/stat : 11788 (java) R 11786 11788 11581 0 -1 0 20597 0 1 0 5055 12 0 0 25 0 8 0 183130706 937418752 20333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758537 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11788/statm: 228862 20333 2179 14 0 215332 0
[pid=11788/tid=11790] ppid=11786 vsize=915448 CPUtime=0.09
/proc/11788/task/11790/stat : 11790 (java) S 11786 11788 11581 0 -1 64 4041 0 0 0 8 1 0 0 16 0 8 0 183130711 937418752 20333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11791] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11791/stat : 11791 (java) S 11786 11788 11581 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 20333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11792] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11792/stat : 11792 (java) S 11786 11788 11581 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 20333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11793] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11793/stat : 11793 (java) S 11786 11788 11581 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183130715 937418752 20333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11794] ppid=11786 vsize=915448 CPUtime=0.17
/proc/11788/task/11794/stat : 11794 (java) S 11786 11788 11581 0 -1 64 371 0 0 0 17 0 0 0 16 0 8 0 183130715 937418752 20333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11795] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11795/stat : 11795 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183130715 937418752 20333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11796] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11796/stat : 11796 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183130715 937418752 20333 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) 915448

[startup+102.315 s]
/proc/loadavg: 2.01 1.96 1.91 3/81 11796
/proc/meminfo: memFree=1788880/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=915448 CPUtime=101.47
/proc/11788/stat : 11788 (java) R 11786 11788 11581 0 -1 0 25938 0 1 0 10131 16 0 0 25 0 8 0 183130706 937418752 25671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752930 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11788/statm: 228862 25671 2179 14 0 215332 0
[pid=11788/tid=11790] ppid=11786 vsize=915448 CPUtime=0.25
/proc/11788/task/11790/stat : 11790 (java) S 11786 11788 11581 0 -1 64 9374 0 0 0 22 3 0 0 16 0 8 0 183130711 937418752 25671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11791] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11791/stat : 11791 (java) S 11786 11788 11581 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 25671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11792] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11792/stat : 11792 (java) S 11786 11788 11581 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 25671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11793] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11793/stat : 11793 (java) S 11786 11788 11581 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183130715 937418752 25671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11794] ppid=11786 vsize=915448 CPUtime=0.18
/proc/11788/task/11794/stat : 11794 (java) S 11786 11788 11581 0 -1 64 376 0 0 0 18 0 0 0 17 0 8 0 183130715 937418752 25671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11795] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11795/stat : 11795 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183130715 937418752 25671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11796] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11796/stat : 11796 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183130715 937418752 25671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 915448

[startup+162.387 s]
/proc/loadavg: 2.00 1.96 1.91 3/81 11796
/proc/meminfo: memFree=1762192/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=915448 CPUtime=161.06
/proc/11788/stat : 11788 (java) R 11786 11788 11581 0 -1 0 32960 0 1 0 16084 22 0 0 25 0 8 0 183130706 937418752 32682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073955898 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1414.83
Current children cumulated vsize (KiB) 915448

[startup+1483.41 s]
/proc/loadavg: 2.01 2.01 1.93 3/81 12615
/proc/meminfo: memFree=1726792/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=915448 CPUtime=1474.82
/proc/11788/stat : 11788 (java) R 11786 11788 11581 0 -1 0 32990 0 1 0 147450 32 0 0 25 0 8 0 183130706 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073955825 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11788/statm: 228862 32701 2546 14 0 215332 0
[pid=11788/tid=11790] ppid=11786 vsize=915448 CPUtime=0.57
/proc/11788/task/11790/stat : 11790 (java) S 11786 11788 11581 0 -1 64 15893 0 0 0 51 6 0 0 16 0 8 0 183130711 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11791] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11791/stat : 11791 (java) S 11786 11788 11581 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11792] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11792/stat : 11792 (java) S 11786 11788 11581 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11793] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11793/stat : 11793 (java) S 11786 11788 11581 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11794] ppid=11786 vsize=915448 CPUtime=0.33
/proc/11788/task/11794/stat : 11794 (java) S 11786 11788 11581 0 -1 64 453 0 0 0 32 1 0 0 16 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11795] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11795/stat : 11795 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11796] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11796/stat : 11796 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1474.82
Current children cumulated vsize (KiB) 915448

[startup+1543.47 s]
/proc/loadavg: 2.00 2.00 1.93 3/81 12615
/proc/meminfo: memFree=1726792/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=915448 CPUtime=1534.81
/proc/11788/stat : 11788 (java) R 11786 11788 11581 0 -1 0 32990 0 1 0 153449 32 0 0 25 0 8 0 183130706 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073955895 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11788/statm: 228862 32701 2546 14 0 215332 0
[pid=11788/tid=11790] ppid=11786 vsize=915448 CPUtime=0.57
/proc/11788/task/11790/stat : 11790 (java) S 11786 11788 11581 0 -1 64 15893 0 0 0 51 6 0 0 16 0 8 0 183130711 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11791] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11791/stat : 11791 (java) S 11786 11788 11581 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11792] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11792/stat : 11792 (java) S 11786 11788 11581 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11793] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11793/stat : 11793 (java) S 11786 11788 11581 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11794] ppid=11786 vsize=915448 CPUtime=0.33
/proc/11788/task/11794/stat : 11794 (java) S 11786 11788 11581 0 -1 64 453 0 0 0 32 1 0 0 16 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11795] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11795/stat : 11795 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11796] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11796/stat : 11796 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1534.81
Current children cumulated vsize (KiB) 915448

[startup+1603.52 s]
/proc/loadavg: 2.00 2.00 1.93 3/81 12615
/proc/meminfo: memFree=1726792/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=915448 CPUtime=1594.82
/proc/11788/stat : 11788 (java) R 11786 11788 11581 0 -1 0 32990 0 1 0 159450 32 0 0 25 0 8 0 183130706 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073955920 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11788/statm: 228862 32701 2546 14 0 215332 0
[pid=11788/tid=11790] ppid=11786 vsize=915448 CPUtime=0.57
/proc/11788/task/11790/stat : 11790 (java) S 11786 11788 11581 0 -1 64 15893 0 0 0 51 6 0 0 16 0 8 0 183130711 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11791] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11791/stat : 11791 (java) S 11786 11788 11581 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11792] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11792/stat : 11792 (java) S 11786 11788 11581 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11793] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11793/stat : 11793 (java) S 11786 11788 11581 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11794] ppid=11786 vsize=915448 CPUtime=0.33
/proc/11788/task/11794/stat : 11794 (java) S 11786 11788 11581 0 -1 64 453 0 0 0 32 1 0 0 16 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11795] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11795/stat : 11795 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11796] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11796/stat : 11796 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1594.82
Current children cumulated vsize (KiB) 915448

[startup+1663.58 s]
/proc/loadavg: 2.00 2.00 1.93 4/81 12615
/proc/meminfo: memFree=1726792/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=915448 CPUtime=1654.81
/proc/11788/stat : 11788 (java) R 11786 11788 11581 0 -1 0 32990 0 1 0 165449 32 0 0 25 0 8 0 183130706 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073985169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11788/statm: 228862 32701 2546 14 0 215332 0
[pid=11788/tid=11790] ppid=11786 vsize=915448 CPUtime=0.57
/proc/11788/task/11790/stat : 11790 (java) S 11786 11788 11581 0 -1 64 15893 0 0 0 51 6 0 0 16 0 8 0 183130711 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11791] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11791/stat : 11791 (java) S 11786 11788 11581 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11792] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11792/stat : 11792 (java) S 11786 11788 11581 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11793] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11793/stat : 11793 (java) S 11786 11788 11581 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11794] ppid=11786 vsize=915448 CPUtime=0.33
/proc/11788/task/11794/stat : 11794 (java) S 11786 11788 11581 0 -1 64 453 0 0 0 32 1 0 0 16 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11795] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11795/stat : 11795 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11796] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11796/stat : 11796 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.81
Current children cumulated vsize (KiB) 915448

[startup+1723.63 s]
/proc/loadavg: 2.00 2.00 1.93 3/81 12615
/proc/meminfo: memFree=1726728/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=915448 CPUtime=1714.82
/proc/11788/stat : 11788 (java) R 11786 11788 11581 0 -1 0 32990 0 1 0 171450 32 0 0 25 0 8 0 183130706 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073963143 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11788/statm: 228862 32701 2546 14 0 215332 0
[pid=11788/tid=11790] ppid=11786 vsize=915448 CPUtime=0.57
/proc/11788/task/11790/stat : 11790 (java) S 11786 11788 11581 0 -1 64 15893 0 0 0 51 6 0 0 16 0 8 0 183130711 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11791] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11791/stat : 11791 (java) S 11786 11788 11581 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11792] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11792/stat : 11792 (java) S 11786 11788 11581 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11793] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11793/stat : 11793 (java) S 11786 11788 11581 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11794] ppid=11786 vsize=915448 CPUtime=0.33
/proc/11788/task/11794/stat : 11794 (java) S 11786 11788 11581 0 -1 64 453 0 0 0 32 1 0 0 16 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11795] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11795/stat : 11795 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11796] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11796/stat : 11796 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.82
Current children cumulated vsize (KiB) 915448

[startup+1783.68 s]
/proc/loadavg: 2.00 2.00 1.93 3/81 12615
/proc/meminfo: memFree=1726728/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=915448 CPUtime=1774.82
/proc/11788/stat : 11788 (java) R 11786 11788 11581 0 -1 0 32990 0 1 0 177449 33 0 0 25 0 8 0 183130706 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073955783 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11788/statm: 228862 32701 2546 14 0 215332 0
[pid=11788/tid=11790] ppid=11786 vsize=915448 CPUtime=0.57
/proc/11788/task/11790/stat : 11790 (java) S 11786 11788 11581 0 -1 64 15893 0 0 0 51 6 0 0 16 0 8 0 183130711 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11791] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11791/stat : 11791 (java) S 11786 11788 11581 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11792] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11792/stat : 11792 (java) S 11786 11788 11581 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11793] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11793/stat : 11793 (java) S 11786 11788 11581 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11794] ppid=11786 vsize=915448 CPUtime=0.33
/proc/11788/task/11794/stat : 11794 (java) S 11786 11788 11581 0 -1 64 453 0 0 0 32 1 0 0 16 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11795] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11795/stat : 11795 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11796] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11796/stat : 11796 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1774.82
Current children cumulated vsize (KiB) 915448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.98 s]
/proc/loadavg: 2.00 2.00 1.93 4/81 12615
/proc/meminfo: memFree=1726728/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=915448 CPUtime=1800.09
/proc/11788/stat : 11788 (java) R 11786 11788 11581 0 -1 0 32990 0 1 0 179976 33 0 0 25 0 8 0 183130706 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073955835 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11788/statm: 228862 32701 2546 14 0 215332 0
[pid=11788/tid=11790] ppid=11786 vsize=915448 CPUtime=0.57
/proc/11788/task/11790/stat : 11790 (java) S 11786 11788 11581 0 -1 64 15893 0 0 0 51 6 0 0 16 0 8 0 183130711 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11791] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11791/stat : 11791 (java) S 11786 11788 11581 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11792] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11792/stat : 11792 (java) S 11786 11788 11581 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11793] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11793/stat : 11793 (java) S 11786 11788 11581 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11794] ppid=11786 vsize=915448 CPUtime=0.33
/proc/11788/task/11794/stat : 11794 (java) S 11786 11788 11581 0 -1 64 453 0 0 0 32 1 0 0 16 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11795] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11795/stat : 11795 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11796] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11796/stat : 11796 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915448

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

Child status: 143
Real time (s): 1809.02
CPU time (s): 1800.13
CPU user time (s): 1799.78
CPU system time (s): 0.353946
CPU usage (%): 99.5087
Max. virtual memory (cumulated for all children) (KiB): 915448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.353946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33006
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= 38046
involuntary context switches= 40822

runsolver used 2.04069 s user time and 5.9151 s system time

The end

Launcher Data (download as text)

Begin job on node52 on Tue Jan  9 12:55:22 UTC 2007


IDJOB= 237292
IDBENCH= 6912
FILE ID= node52/237292-1168347321

PBS_JOBID= 3503600

Free space on /tmp= 66555 MiB

BENCH NAME= HOME/pub/bench/CPAI06/os-gp/gp10-04-1077.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237292-1168347321/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node52/watcher-237292-1168347321 -o ROOT/results/node52/solver-237292-1168347321 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237292-1168347321/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  9e1073cf0543b531d5d4e0d0fba8e4b2

RANDOM SEED= 706933576

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.232
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.232
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:       1883752 kB
Buffers:         18596 kB
Cached:          63820 kB
SwapCached:          0 kB
Active:          80200 kB
Inactive:        33284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1883752 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1764 kB
Writeback:           0 kB
Mapped:          42532 kB
Slab:            44064 kB
Committed_AS:  4458308 kB
PageTables:       1860 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= 66552 MiB



End job on node52 on Tue Jan  9 13:25:31 UTC 2007