Trace number 235387

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.1 1803.61

General information on the benchmark

Nametaillard/
os-taillard-10/os-taillard-10-95-9.xml
MD5SUMd96a1b082adaf530e3e98925ae43a69c
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 benchmark269.004
SatisfiableNO
(Un)Satisfiability was proved
Number of variables100
Number of constraints900
Maximum constraint arity2
Maximum domain size574
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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/235387-1168082825/unknown.xml
0.37	   
0.37	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.45	     nbVariables=100  nbDomainTypes=100  minDomainSize=477  maxDomainSize=574
0.45	       =>  wckTime=0.133  cpuTime=0.11  mem=8M838
0.45	   
0.45	   predicates being loaded...
0.45	   
0.45	   constraints being loaded...
4.47	   
4.47	   INFO : Stopping converting binary constraints (cpu=4.08, mem = 22M493)
4.66	     nbConstraints=900  nbConvertedConstraints=50  nbConvertConstraintsChecks=14298045  nbExtensionStructures=50
4.66	     nbSharedExtensionStructures=0  nbConflictsStructures=50  nbSharedConflictsStructures=0
4.66	     nbSharedBinaryRepresentations=7329  nbEvaluationManagers=850  nbSharedEvaluationManagers=0  maxDegree=18
4.66	     maxArity=2
4.66	       =>  wckTime=4.345  cpuTime=4.18  mem=28M353
4.73	   
4.73	   solver IterativeSystematicSolver being built... 
4.92	       =>  wckTime=4.606  cpuTime=4.33  mem=28M343
7.94	   
7.94	   preprocessing
7.94	     nbConstraintChecks=7800894  nbValidityChecks=57879  nbPropagations=100  nbRevisions=1700  nbUselessRevisions=1700
7.94	     nbRemovedValues=0  detectedInconsistency=no
7.94	       =>  wckTime=3.018  cpuTime=2.98  mem=28M343
11.05	   
11.05	   search
11.05	     run=0  nbConstraintChecks=5817307  nbValidityChecks=10842873  nbPropagations=1804  nbRevisions=27025
11.05	     nbUselessRevisions=23665  nbAssignments=167  nbFailedAssignments=151  nbBacktracks=10  nbVisitedNodes=329
11.05	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
11.05	       =>  wckTime=6.126  cpuTime=6.05  mem=29M317
13.93	   
13.93	   search
13.93	     run=1  nbConstraintChecks=11649312  nbValidityChecks=22340876  nbPropagations=5496  nbRevisions=79984
13.93	     nbUselessRevisions=69976  nbAssignments=335  nbFailedAssignments=296  nbBacktracks=25  nbVisitedNodes=657
13.93	     nbRestartNogoods=10  mapSize=25  nbInferences=0  nbTooLargeKeys=0
13.93	       =>  wckTime=9.009  cpuTime=8.92  mem=29M317
30.89	   
30.90	   search
30.90	     run=2  nbConstraintChecks=53507819  nbValidityChecks=33430067  nbPropagations=11548  nbRevisions=166911
30.90	     nbUselessRevisions=134354  nbAssignments=956  nbFailedAssignments=877  nbBacktracks=47  nbVisitedNodes=1881
30.90	     nbRestartNogoods=19  mapSize=47  nbInferences=0  nbTooLargeKeys=0
30.90	       =>  wckTime=25.971  cpuTime=25.8  mem=29M317
46.70	   
46.70	   search
46.70	     run=3  nbConstraintChecks=84001705  nbValidityChecks=113510483  nbPropagations=29737  nbRevisions=447980
46.70	     nbUselessRevisions=360472  nbAssignments=2090  nbFailedAssignments=1969  nbBacktracks=80  nbVisitedNodes=4140
46.70	     nbRestartNogoods=41  mapSize=80  nbInferences=0  nbTooLargeKeys=0
46.70	       =>  wckTime=41.777  cpuTime=41.5  mem=29M317
57.12	   
57.12	   search
57.12	     run=4  nbConstraintChecks=104064514  nbValidityChecks=172456398  nbPropagations=56741  nbRevisions=869379
57.12	     nbUselessRevisions=702740  nbAssignments=2995  nbFailedAssignments=2819  nbBacktracks=130  nbVisitedNodes=5945
57.12	     nbRestartNogoods=74  mapSize=130  nbInferences=0  nbTooLargeKeys=0
57.12	       =>  wckTime=52.195  cpuTime=51.87  mem=29M317
99.53	   
99.53	   search
99.53	     run=5  nbConstraintChecks=187564544  nbValidityChecks=375270849  nbPropagations=111036  nbRevisions=1736267
99.53	     nbUselessRevisions=1416338  nbAssignments=5540  nbFailedAssignments=5284  nbBacktracks=205  nbVisitedNodes=11030
99.53	     nbRestartNogoods=124  mapSize=205  nbInferences=0  nbTooLargeKeys=0
99.53	       =>  wckTime=94.607  cpuTime=94.08  mem=30M291
166.25	   
166.25	   search
166.25	     run=6  nbConstraintChecks=314558508  nbValidityChecks=705219580  nbPropagations=210410  nbRevisions=3324731
166.25	     nbUselessRevisions=2733305  nbAssignments=9356  nbFailedAssignments=8982  nbBacktracks=318  nbVisitedNodes=18657
166.25	     nbRestartNogoods=145  mapSize=318  nbInferences=0  nbTooLargeKeys=0
166.25	       =>  wckTime=161.33  cpuTime=160.49  mem=30M291
214.36	   
214.36	   search
214.36	     run=7  nbConstraintChecks=406997205  nbValidityChecks=968982153  nbPropagations=347925  nbRevisions=5517433
214.36	     nbUselessRevisions=4545304  nbAssignments=13247  nbFailedAssignments=12698  nbBacktracks=488  nbVisitedNodes=26434
214.36	     nbRestartNogoods=182  mapSize=488  nbInferences=0  nbTooLargeKeys=0
214.36	       =>  wckTime=209.431  cpuTime=208.36  mem=31M265
541.45	   
541.45	   search
541.45	     run=8  nbConstraintChecks=1121626870  nbValidityChecks=2062536027  nbPropagations=629215  nbRevisions=10060173
541.45	     nbUselessRevisions=8307100  nbAssignments=26696  nbFailedAssignments=25886  nbBacktracks=744  nbVisitedNodes=53327
541.45	     nbRestartNogoods=209  mapSize=744  nbInferences=0  nbTooLargeKeys=0
541.45	       =>  wckTime=536.524  cpuTime=534.28  mem=33M213
635.52	   
635.52	   INFO : Stopping hyperNogood (mapSize=1049, nbTooLargekeys=0, mem=34M187)
662.06	   
662.06	   search
662.07	     run=9  nbConstraintChecks=1357310585  nbValidityChecks=2845592738  nbPropagations=1020689  nbRevisions=16350444
662.07	     nbUselessRevisions=13526649  nbAssignments=36374  nbFailedAssignments=35175  nbBacktracks=1128
662.07	     nbVisitedNodes=72676  nbRestartNogoods=427
662.07	       =>  wckTime=657.14  cpuTime=654.76  mem=34M187
773.04	   
773.04	   search
773.04	     run=10  nbConstraintChecks=1568072701  nbValidityChecks=3635691296  nbPropagations=1523918  nbRevisions=24439730
773.04	     nbUselessRevisions=20235212  nbAssignments=46981  nbFailedAssignments=45201  nbBacktracks=1704
773.04	     nbVisitedNodes=93879  nbRestartNogoods=533
773.04	       =>  wckTime=768.113  cpuTime=765.61  mem=34M187
1040.11	   
1040.11	   search
1040.11	     run=11  nbConstraintChecks=2124685900  nbValidityChecks=5170053208  nbPropagations=2243872  nbRevisions=36001415
1040.11	     nbUselessRevisions=29818351  nbAssignments=67132  nbFailedAssignments=64483  nbBacktracks=2568
1040.11	     nbVisitedNodes=134175  nbRestartNogoods=563
1040.11	       =>  wckTime=1035.185  cpuTime=1032.42  mem=34M187
1455.97	   
1455.97	   search
1455.97	     run=12  nbConstraintChecks=2973791092  nbValidityChecks=7516414696  nbPropagations=3284560  nbRevisions=52739938
1455.97	     nbUselessRevisions=43667349  nbAssignments=97273  nbFailedAssignments=93322  nbBacktracks=3865
1455.97	     nbVisitedNodes=194446  nbRestartNogoods=699
1455.97	       =>  wckTime=1451.041  cpuTime=1447.86  mem=34M187

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/node30/watcher-235387-1168082825 -o ROOT/results/node30/solver-235387-1168082825 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/235387-1168082825/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.01 1.83 4/93 4070
/proc/meminfo: memFree=1093144/2055920 swapFree=4191880/4192956
[pid=4069] ppid=4067 vsize=11820 CPUtime=0
/proc/4069/stat : 4069 (java) D 4067 4069 3630 0 -1 0 760 0 1 0 0 0 0 0 17 0 1 0 156676470 12103680 510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 7017252 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/4069/statm: 2955 510 421 14 0 1602 0

[startup+0.103315 s]
/proc/loadavg: 2.02 2.01 1.83 4/93 4070
/proc/meminfo: memFree=1093144/2055920 swapFree=4191880/4192956
[pid=4069] ppid=4067 vsize=914988 CPUtime=0.08
/proc/4069/stat : 4069 (java) R 4067 4069 3630 0 -1 0 2992 0 1 0 6 2 0 0 17 0 8 0 156676470 936947712 2738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153582636 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4069/statm: 228747 2738 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.51134 s]
/proc/loadavg: 2.02 2.01 1.83 4/93 4070
/proc/meminfo: memFree=1093144/2055920 swapFree=4191880/4192956
[pid=4069] ppid=4067 vsize=915328 CPUtime=0.48
/proc/4069/stat : 4069 (java) R 4067 4069 3630 0 -1 0 6761 0 1 0 42 6 0 0 18 0 8 0 156676470 937295872 6500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942016 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4069/statm: 228832 6500 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33239 s]
/proc/loadavg: 2.02 2.01 1.83 3/100 4077
/proc/meminfo: memFree=1069344/2055920 swapFree=4191880/4192956
[pid=4069] ppid=4067 vsize=915448 CPUtime=1.31
/proc/4069/stat : 4069 (java) R 4067 4069 3630 0 -1 0 8381 0 1 0 123 8 0 0 25 0 8 0 156676470 937418752 8119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073751141 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4069/statm: 228862 8119 2167 14 0 215332 0
[pid=4069/tid=4071] ppid=4067 vsize=915448 CPUtime=0
/proc/4069/task/4071/stat : 4071 (java) S 4067 4069 3630 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 156676474 937418752 8119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4072] ppid=4067 vsize=915448 CPUtime=0
/proc/4069/task/4072/stat : 4072 (java) S 4067 4069 3630 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 156676474 937418752 8119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4073] ppid=4067 vsize=915448 CPUtime=0
/proc/4069/task/4073/stat : 4073 (java) S 4067 4069 3630 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 156676474 937418752 8119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4074] ppid=4067 vsize=915448 CPUtime=0
/proc/4069/task/4074/stat : 4074 (java) S 4067 4069 3630 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156676478 937418752 8119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4075] ppid=4067 vsize=915448 CPUtime=0.14
/proc/4069/task/4075/stat : 4075 (java) S 4067 4069 3630 0 -1 64 357 0 0 0 13 1 0 0 16 0 8 0 156676478 937418752 8119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4076] ppid=4067 vsize=915448 CPUtime=0
/proc/4069/task/4076/stat : 4076 (java) S 4067 4069 3630 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156676478 937418752 8119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4077] ppid=4067 vsize=915448 CPUtime=0
/proc/4069/task/4077/stat : 4077 (java) S 4067 4069 3630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156676478 937418752 8119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915448

[startup+2.97049 s]
/proc/loadavg: 2.02 2.01 1.83 3/100 4077
/proc/meminfo: memFree=1067104/2055920 swapFree=4191880/4192956
[pid=4069] ppid=4067 vsize=915448 CPUtime=2.94
/proc/4069/stat : 4069 (java) R 4067 4069 3630 0 -1 0 9270 0 1 0 286 8 0 0 25 0 8 0 156676470 937418752 9007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073753888 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4069/statm: 228862 9007 2167 14 0 215332 0
[pid=4069/tid=4071] ppid=4067 vsize=915448 CPUtime=0
/proc/4069/task/4071/stat : 4071 (java) S 4067 4069 3630 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 156676474 937418752 9007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4072] ppid=4067 vsize=915448 CPUtime=0
/proc/4069/task/4072/stat : 4072 (java) S 4067 4069 3630 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 156676474 937418752 9007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4073] ppid=4067 vsize=915448 CPUtime=0
/proc/4069/task/4073/stat : 4073 (java) S 4067 4069 3630 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 156676474 937418752 9007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4074] ppid=4067 vsize=915448 CPUtime=0
/proc/4069/task/4074/stat : 4074 (java) S 4067 4069 3630 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156676478 937418752 9007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4075] ppid=4067 vsize=915448 CPUtime=0.14
/proc/4069/task/4075/stat : 4075 (java) S 4067 4069 3630 0 -1 64 357 0 0 0 13 1 0 0 16 0 8 0 156676478 937418752 9007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4076] ppid=4067 vsize=915448 CPUtime=0
/proc/4069/task/4076/stat : 4076 (java) S 4067 4069 3630 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156676478 937418752 9007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4077] ppid=4067 vsize=915448 CPUtime=0
/proc/4069/task/4077/stat : 4077 (java) S 4067 4069 3630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156676478 937418752 9007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915448

[startup+6.1787 s]
/proc/loadavg: 2.02 2.01 1.83 4/100 4077
/proc/meminfo: memFree=1048672/2055920 swapFree=4191880/4192956
[pid=4069] ppid=4067 vsize=915584 CPUtime=6.13
/proc/4069/stat : 4069 (java) R 4067 4069 3630 0 -1 0 13783 0 1 0 602 11 0 0 25 0 8 0 156676470 937558016 13519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073979934 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4069/statm: 228896 13519 2529 14 0 215366 0
[pid=4069/tid=4071] ppid=4067 vsize=915584 CPUtime=0.05
/proc/4069/task/4071/stat : 4071 (java) S 4067 4069 3630 0 -1 64 1793 0 0 0 5 0 0 0 17 0 8 0 156676474 937558016 13519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4072] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4072/stat : 4072 (java) S 4067 4069 3630 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156676474 937558016 13519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4073] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4073/stat : 4073 (java) S 4067 4069 3630 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156676474 937558016 13519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4074] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4074/stat : 4074 (java) S 4067 4069 3630 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156676478 937558016 13519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4075] ppid=4067 vsize=915584 CPUtime=0.23
/proc/4069/task/4075/stat : 4075 (java) S 4067 4069 3630 0 -1 64 413 0 0 0 22 1 0 0 15 0 8 0 156676478 937558016 13519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4076] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4076/stat : 4076 (java) S 4067 4069 3630 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156676478 937558016 13519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4077] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4077/stat : 4077 (java) S 4067 4069 3630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156676478 937558016 13519 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.6501 s]
/proc/loadavg: 2.01 2.01 1.83 3/100 4077
/proc/meminfo: memFree=1048544/2055920 swapFree=4191880/4192956
[pid=4069] ppid=4067 vsize=915584 CPUtime=12.57
/proc/4069/stat : 4069 (java) R 4067 4069 3630 0 -1 0 13820 0 1 0 1246 11 0 0 25 0 8 0 156676470 937558016 13548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073980836 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4069/statm: 228896 13548 2534 14 0 215366 0
[pid=4069/tid=4071] ppid=4067 vsize=915584 CPUtime=0.05
/proc/4069/task/4071/stat : 4071 (java) S 4067 4069 3630 0 -1 64 1794 0 0 0 5 0 0 0 17 0 8 0 156676474 937558016 13548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4072] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4072/stat : 4072 (java) S 4067 4069 3630 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156676474 937558016 13548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4073] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4073/stat : 4073 (java) S 4067 4069 3630 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156676474 937558016 13548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4074] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4074/stat : 4074 (java) S 4067 4069 3630 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156676478 937558016 13548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4075] ppid=4067 vsize=915584 CPUtime=0.28
/proc/4069/task/4075/stat : 4075 (java) S 4067 4069 3630 0 -1 64 438 0 0 0 26 2 0 0 16 0 8 0 156676478 937558016 13548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4076] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4076/stat : 4076 (java) S 4067 4069 3630 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156676478 937558016 13548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4077] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4077/stat : 4077 (java) S 4067 4069 3630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156676478 937558016 13548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915584

[startup+25.509 s]
/proc/loadavg: 2.01 2.01 1.83 3/100 4077
/proc/meminfo: memFree=1048608/2055920 swapFree=4191880/4192956
[pid=4069] ppid=4067 vsize=915584 CPUtime=25.37
/proc/4069/stat : 4069 (java) R 4067 4069 3630 0 -1 0 13821 0 1 0 2526 11 0 0 25 0 8 0 156676470 937558016 13549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073751021 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4069/statm: 228896 13549 2534 14 0 215366 0
[pid=4069/tid=4071] ppid=4067 vsize=915584 CPUtime=0.05
/proc/4069/task/4071/stat : 4071 (java) S 4067 4069 3630 0 -1 64 1794 0 0 0 5 0 0 0 16 0 8 0 156676474 937558016 13549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4072] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4072/stat : 4072 (java) S 4067 4069 3630 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156676474 937558016 13549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4073] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4073/stat : 4073 (java) S 4067 4069 3630 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156676474 937558016 13549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4074] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4074/stat : 4074 (java) S 4067 4069 3630 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156676478 937558016 13549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4075] ppid=4067 vsize=915584 CPUtime=0.29
/proc/4069/task/4075/stat : 4075 (java) S 4067 4069 3630 0 -1 64 439 0 0 0 27 2 0 0 16 0 8 0 156676478 937558016 13549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4076] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4076/stat : 4076 (java) S 4067 4069 3630 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156676478 937558016 13549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4077] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4077/stat : 4077 (java) S 4067 4069 3630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156676478 937558016 13549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915584

[startup+51.1256 s]
/proc/loadavg: 2.01 2.01 1.84 3/100 4077
/proc/meminfo: memFree=1048608/2055920 swapFree=4191880/4192956
[pid=4069] ppid=4067 vsize=915584 CPUtime=50.87
/proc/4069/stat : 4069 (java) R 4067 4069 3630 0 -1 0 13839 0 1 0 5075 12 0 0 25 0 8 0 156676470 937558016 13561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073751056 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4069/statm: 228896 13561 2534 14 0 215366 0
[pid=4069/tid=4071] ppid=4067 vsize=915584 CPUtime=0.05
/proc/4069/task/4071/stat : 4071 (java) S 4067 4069 3630 0 -1 64 1794 0 0 0 5 0 0 0 16 0 8 0 156676474 937558016 13561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4072] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4072/stat : 4072 (java) S 4067 4069 3630 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156676474 937558016 13561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4073] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4073/stat : 4073 (java) S 4067 4069 3630 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156676474 937558016 13561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4074] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4074/stat : 4074 (java) S 4067 4069 3630 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156676478 937558016 13561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4075] ppid=4067 vsize=915584 CPUtime=0.32
/proc/4069/task/4075/stat : 4075 (java) S 4067 4069 3630 0 -1 64 453 0 0 0 30 2 0 0 16 0 8 0 156676478 937558016 13561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4076] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4076/stat : 4076 (java) S 4067 4069 3630 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156676478 937558016 13561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4077] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4077/stat : 4077 (java) S 4067 4069 3630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156676478 937558016 13561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 915584

[startup+102.357 s]
/proc/loadavg: 2.05 2.02 1.85 3/100 4077
/proc/meminfo: memFree=1048608/2055920 swapFree=4191880/4192956
[pid=4069] ppid=4067 vsize=915584 CPUtime=101.86
/proc/4069/stat : 4069 (java) R 4067 4069 3630 0 -1 0 13840 0 1 0 10174 12 0 0 25 0 8 0 156676470 937558016 13561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073751132 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4069/statm: 228896 13561 2534 14 0 215366 0
[pid=4069/tid=4071] ppid=4067 vsize=915584 CPUtime=0.05
/proc/4069/task/4071/stat : 4071 (java) S 4067 4069 3630 0 -1 64 1794 0 0 0 5 0 0 0 16 0 8 0 156676474 937558016 13561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4072] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4072/stat : 4072 (java) S 4067 4069 3630 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156676474 937558016 13561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4073] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4073/stat : 4073 (java) S 4067 4069 3630 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156676474 937558016 13561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4074] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4074/stat : 4074 (java) S 4067 4069 3630 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156676478 937558016 13561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4075] ppid=4067 vsize=915584 CPUtime=0.32
/proc/4069/task/4075/stat : 4075 (java) S 4067 4069 3630 0 -1 64 453 0 0 0 30 2 0 0 16 0 8 0 156676478 937558016 13561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4076] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4076/stat : 4076 (java) S 4067 4069 3630 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156676478 937558016 13561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4077] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4077/stat : 4077 (java) S 4067 4069 3630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156676478 937558016 13561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 915584

[startup+162.425 s]
/proc/loadavg: 2.02 2.01 1.85 3/100 4077
/proc/meminfo: memFree=1048608/2055920 swapFree=4191880/4192956
[pid=4069] ppid=4067 vsize=915584 CPUtime=161.64
/proc/4069/stat : 4069 (java) R 4067 4069 3630 0 -1 0 13840 0 1 0 16152 12 0 0 25 0 8 0 156676470 937558016 13561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073973771 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1483.75 s]
/proc/loadavg: 2.00 1.99 1.91 3/100 4135
/proc/meminfo: memFree=528296/2055920 swapFree=4191880/4192956
[pid=4069] ppid=4067 vsize=915584 CPUtime=1480.59
/proc/4069/stat : 4069 (java) R 4067 4069 3630 0 -1 0 13845 0 1 0 148040 19 0 0 25 0 8 0 156676470 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073973735 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4069/statm: 228896 13566 2534 14 0 215366 0
[pid=4069/tid=4071] ppid=4067 vsize=915584 CPUtime=0.05
/proc/4069/task/4071/stat : 4071 (java) S 4067 4069 3630 0 -1 64 1794 0 0 0 5 0 0 0 16 0 8 0 156676474 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4072] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4072/stat : 4072 (java) S 4067 4069 3630 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156676474 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4073] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4073/stat : 4073 (java) S 4067 4069 3630 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156676474 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4074] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4074/stat : 4074 (java) S 4067 4069 3630 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156676478 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4075] ppid=4067 vsize=915584 CPUtime=0.33
/proc/4069/task/4075/stat : 4075 (java) S 4067 4069 3630 0 -1 64 458 0 0 0 31 2 0 0 16 0 8 0 156676478 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4069/tid=4076] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4076/stat : 4076 (java) S 4067 4069 3630 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156676478 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4077] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4077/stat : 4077 (java) S 4067 4069 3630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156676478 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1480.59
Current children cumulated vsize (KiB) 915584

[startup+1543.8 s]
/proc/loadavg: 2.13 2.02 1.92 3/100 4135
/proc/meminfo: memFree=528232/2055920 swapFree=4191880/4192956
[pid=4069] ppid=4067 vsize=915584 CPUtime=1540.59
/proc/4069/stat : 4069 (java) R 4067 4069 3630 0 -1 0 13845 0 1 0 154039 20 0 0 25 0 8 0 156676470 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073979959 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4069/statm: 228896 13566 2534 14 0 215366 0
[pid=4069/tid=4071] ppid=4067 vsize=915584 CPUtime=0.05
/proc/4069/task/4071/stat : 4071 (java) S 4067 4069 3630 0 -1 64 1794 0 0 0 5 0 0 0 16 0 8 0 156676474 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4072] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4072/stat : 4072 (java) S 4067 4069 3630 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156676474 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4073] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4073/stat : 4073 (java) S 4067 4069 3630 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156676474 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4074] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4074/stat : 4074 (java) S 4067 4069 3630 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156676478 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4075] ppid=4067 vsize=915584 CPUtime=0.33
/proc/4069/task/4075/stat : 4075 (java) S 4067 4069 3630 0 -1 64 458 0 0 0 31 2 0 0 16 0 8 0 156676478 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4069/tid=4076] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4076/stat : 4076 (java) S 4067 4069 3630 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156676478 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4077] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4077/stat : 4077 (java) S 4067 4069 3630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156676478 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1540.59
Current children cumulated vsize (KiB) 915584

[startup+1603.84 s]
/proc/loadavg: 2.05 2.02 1.92 3/100 4135
/proc/meminfo: memFree=528296/2055920 swapFree=4191880/4192956
[pid=4069] ppid=4067 vsize=915584 CPUtime=1600.56
/proc/4069/stat : 4069 (java) R 4067 4069 3630 0 -1 0 13845 0 1 0 160036 20 0 0 25 0 8 0 156676470 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073751059 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4069/statm: 228896 13566 2534 14 0 215366 0
[pid=4069/tid=4071] ppid=4067 vsize=915584 CPUtime=0.05
/proc/4069/task/4071/stat : 4071 (java) S 4067 4069 3630 0 -1 64 1794 0 0 0 5 0 0 0 16 0 8 0 156676474 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4072] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4072/stat : 4072 (java) S 4067 4069 3630 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156676474 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4073] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4073/stat : 4073 (java) S 4067 4069 3630 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156676474 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4074] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4074/stat : 4074 (java) S 4067 4069 3630 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156676478 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4075] ppid=4067 vsize=915584 CPUtime=0.33
/proc/4069/task/4075/stat : 4075 (java) S 4067 4069 3630 0 -1 64 458 0 0 0 31 2 0 0 16 0 8 0 156676478 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4069/tid=4076] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4076/stat : 4076 (java) S 4067 4069 3630 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156676478 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4077] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4077/stat : 4077 (java) S 4067 4069 3630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156676478 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1600.56
Current children cumulated vsize (KiB) 915584

[startup+1663.89 s]
/proc/loadavg: 2.02 2.01 1.92 3/100 4135
/proc/meminfo: memFree=528296/2055920 swapFree=4191880/4192956
[pid=4069] ppid=4067 vsize=915584 CPUtime=1660.56
/proc/4069/stat : 4069 (java) R 4067 4069 3630 0 -1 0 13845 0 1 0 166036 20 0 0 25 0 8 0 156676470 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758440 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4069/statm: 228896 13566 2534 14 0 215366 0
[pid=4069/tid=4071] ppid=4067 vsize=915584 CPUtime=0.05
/proc/4069/task/4071/stat : 4071 (java) S 4067 4069 3630 0 -1 64 1794 0 0 0 5 0 0 0 16 0 8 0 156676474 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4072] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4072/stat : 4072 (java) S 4067 4069 3630 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156676474 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4073] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4073/stat : 4073 (java) S 4067 4069 3630 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156676474 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4074] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4074/stat : 4074 (java) S 4067 4069 3630 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156676478 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4075] ppid=4067 vsize=915584 CPUtime=0.33
/proc/4069/task/4075/stat : 4075 (java) S 4067 4069 3630 0 -1 64 458 0 0 0 31 2 0 0 16 0 8 0 156676478 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4069/tid=4076] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4076/stat : 4076 (java) S 4067 4069 3630 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156676478 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4077] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4077/stat : 4077 (java) S 4067 4069 3630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156676478 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1660.56
Current children cumulated vsize (KiB) 915584

[startup+1723.93 s]
/proc/loadavg: 2.07 2.04 1.93 3/100 4135
/proc/meminfo: memFree=528232/2055920 swapFree=4191880/4192956
[pid=4069] ppid=4067 vsize=915584 CPUtime=1720.55
/proc/4069/stat : 4069 (java) R 4067 4069 3630 0 -1 0 13845 0 1 0 172035 20 0 0 25 0 8 0 156676470 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073987328 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4069/statm: 228896 13566 2534 14 0 215366 0
[pid=4069/tid=4071] ppid=4067 vsize=915584 CPUtime=0.05
/proc/4069/task/4071/stat : 4071 (java) S 4067 4069 3630 0 -1 64 1794 0 0 0 5 0 0 0 16 0 8 0 156676474 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4072] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4072/stat : 4072 (java) S 4067 4069 3630 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156676474 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4073] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4073/stat : 4073 (java) S 4067 4069 3630 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156676474 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4074] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4074/stat : 4074 (java) S 4067 4069 3630 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156676478 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4075] ppid=4067 vsize=915584 CPUtime=0.33
/proc/4069/task/4075/stat : 4075 (java) S 4067 4069 3630 0 -1 64 458 0 0 0 31 2 0 0 16 0 8 0 156676478 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4069/tid=4076] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4076/stat : 4076 (java) S 4067 4069 3630 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156676478 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4077] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4077/stat : 4077 (java) S 4067 4069 3630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156676478 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1720.55
Current children cumulated vsize (KiB) 915584

[startup+1783.98 s]
/proc/loadavg: 2.02 2.03 1.93 3/100 4135
/proc/meminfo: memFree=528296/2055920 swapFree=4191880/4192956
[pid=4069] ppid=4067 vsize=915584 CPUtime=1780.52
/proc/4069/stat : 4069 (java) R 4067 4069 3630 0 -1 0 13845 0 1 0 178032 20 0 0 25 0 8 0 156676470 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073973777 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4069/statm: 228896 13566 2534 14 0 215366 0
[pid=4069/tid=4071] ppid=4067 vsize=915584 CPUtime=0.05
/proc/4069/task/4071/stat : 4071 (java) S 4067 4069 3630 0 -1 64 1794 0 0 0 5 0 0 0 16 0 8 0 156676474 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4072] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4072/stat : 4072 (java) S 4067 4069 3630 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156676474 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4073] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4073/stat : 4073 (java) S 4067 4069 3630 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156676474 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4074] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4074/stat : 4074 (java) S 4067 4069 3630 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156676478 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4075] ppid=4067 vsize=915584 CPUtime=0.33
/proc/4069/task/4075/stat : 4075 (java) S 4067 4069 3630 0 -1 64 458 0 0 0 31 2 0 0 16 0 8 0 156676478 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4069/tid=4076] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4076/stat : 4076 (java) S 4067 4069 3630 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156676478 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4077] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4077/stat : 4077 (java) S 4067 4069 3630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156676478 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1780.52
Current children cumulated vsize (KiB) 915584



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.53 s]
/proc/loadavg: 2.02 2.02 1.93 4/100 4135
/proc/meminfo: memFree=528296/2055920 swapFree=4191880/4192956
[pid=4069] ppid=4067 vsize=915584 CPUtime=1800.06
/proc/4069/stat : 4069 (java) R 4067 4069 3630 0 -1 0 13845 0 1 0 179986 20 0 0 25 0 8 0 156676470 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073979966 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4069/statm: 228896 13566 2534 14 0 215366 0
[pid=4069/tid=4071] ppid=4067 vsize=915584 CPUtime=0.05
/proc/4069/task/4071/stat : 4071 (java) S 4067 4069 3630 0 -1 64 1794 0 0 0 5 0 0 0 16 0 8 0 156676474 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4072] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4072/stat : 4072 (java) S 4067 4069 3630 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156676474 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4073] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4073/stat : 4073 (java) S 4067 4069 3630 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156676474 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4074] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4074/stat : 4074 (java) S 4067 4069 3630 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156676478 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4075] ppid=4067 vsize=915584 CPUtime=0.33
/proc/4069/task/4075/stat : 4075 (java) S 4067 4069 3630 0 -1 64 458 0 0 0 31 2 0 0 16 0 8 0 156676478 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4069/tid=4076] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4076/stat : 4076 (java) S 4067 4069 3630 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156676478 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4069/tid=4077] ppid=4067 vsize=915584 CPUtime=0
/proc/4069/task/4077/stat : 4077 (java) S 4067 4069 3630 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156676478 937558016 13566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915584

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

Child status: 143
Real time (s): 1803.61
CPU time (s): 1800.1
CPU user time (s): 1799.89
CPU system time (s): 0.213967
CPU usage (%): 99.8056
Max. virtual memory (cumulated for all children) (KiB): 915584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.213967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13859
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= 37905
involuntary context switches= 37367

runsolver used 2.32765 s user time and 5.60415 s system time

The end

Launcher Data (download as text)

Begin job on node30 on Sat Jan  6 11:27:05 UTC 2007


IDJOB= 235387
IDBENCH= 6765
FILE ID= node30/235387-1168082825

PBS_JOBID= 3476115

Free space on /tmp= 66481 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d96a1b082adaf530e3e98925ae43a69c

RANDOM SEED= 501644710

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.234
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.234
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:       1093560 kB
Buffers:         50692 kB
Cached:         671472 kB
SwapCached:        268 kB
Active:         281556 kB
Inactive:       593520 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1093560 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            1860 kB
Writeback:           0 kB
Mapped:         180656 kB
Slab:            71896 kB
Committed_AS:  3891464 kB
PageTables:       2468 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= 66480 MiB



End job on node30 on Sat Jan  6 11:57:10 UTC 2007