Trace number 233653

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.12 1806.71

General information on the benchmark

Nametaillard/
os-taillard-15/os-taillard-15-95-0.xml
MD5SUM9022ba7be6fd37cd1686d43ac72ffbad
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints3150
Maximum constraint arity2
Maximum domain size908
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3150
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=esac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/233653-1168327163/unknown.xml
0.37	   
0.37	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.48	     nbVariables=225  nbDomainTypes=225  minDomainSize=810  maxDomainSize=908
0.48	       =>  wckTime=0.165  cpuTime=0.14  mem=12M761
0.48	   
0.48	   predicates being loaded...
0.48	   
0.48	   constraints being loaded...
204.77	   
204.77	   INFO : Stopping converting binary constraints (cpu=200.04, mem = 257M130)
205.05	     nbConstraints=3150  nbConvertedConstraints=1069  nbConvertConstraintsChecks=789365503  nbExtensionStructures=1069
205.05	     nbSharedExtensionStructures=0  nbConflictsStructures=1069  nbSharedConflictsStructures=0
205.05	     nbSharedBinaryRepresentations=541488  nbEvaluationManagers=2081  nbSharedEvaluationManagers=0  maxDegree=28
205.05	     maxArity=2
205.05	       =>  wckTime=204.738  cpuTime=200.25  mem=273M435
205.67	   
205.67	   solver IterativeSystematicSolver being built... 
205.91	       =>  wckTime=205.602  cpuTime=200.46  mem=273M783
256.00	   
256.00	   INFO : Stopping ESAC
256.00	   
256.00	   preprocessing
256.00	     nbConstraintChecks=124447476  nbValidityChecks=52086282  nbPropagations=5258  nbRevisions=85675
256.00	     nbUselessRevisions=80654  nbSingletonTests=243  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0
256.00	     detectedInconsistency=no
256.00	       =>  wckTime=50.077  cpuTime=49.58  mem=273M783
264.57	   
264.57	   search
264.57	     run=0  nbConstraintChecks=11669293  nbValidityChecks=62342962  nbPropagations=9636  nbRevisions=165772
264.57	     nbUselessRevisions=152270  nbAssignments=232  nbFailedAssignments=213  nbBacktracks=10  nbVisitedNodes=456
264.57	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
264.57	       =>  wckTime=58.641  cpuTime=58.07  mem=275M737
276.39	   
276.39	   search
276.39	     run=1  nbConstraintChecks=37517659  nbValidityChecks=135339074  nbPropagations=27122  nbRevisions=462474
276.39	     nbUselessRevisions=421126  nbAssignments=675  nbFailedAssignments=590  nbBacktracks=25  nbVisitedNodes=1291
276.39	     nbRestartNogoods=4  mapSize=25  nbInferences=0  nbTooLargeKeys=0
276.39	       =>  wckTime=70.469  cpuTime=69.88  mem=276M702
290.20	   
290.20	   search
290.20	     run=2  nbConstraintChecks=73246436  nbValidityChecks=179440340  nbPropagations=51374  nbRevisions=866136
290.20	     nbUselessRevisions=780384  nbAssignments=1346  nbFailedAssignments=1151  nbBacktracks=47  nbVisitedNodes=2545
290.20	     nbRestartNogoods=19  mapSize=47  nbInferences=0  nbTooLargeKeys=0
290.20	       =>  wckTime=84.272  cpuTime=83.65  mem=278M631
454.28	   
454.29	   search
454.29	     run=3  nbConstraintChecks=346842946  nbValidityChecks=2197741504  nbPropagations=295515  nbRevisions=4760130
454.29	     nbUselessRevisions=4383389  nbAssignments=12098  nbFailedAssignments=1909  nbBacktracks=80  nbVisitedNodes=4159
454.29	     nbRestartNogoods=105  mapSize=80  nbInferences=0  nbTooLargeKeys=0
454.29	       =>  wckTime=248.361  cpuTime=247.56  mem=279M379
514.01	   
514.01	   search
514.01	     run=4  nbConstraintChecks=532437434  nbValidityChecks=2581205820  nbPropagations=572523  nbRevisions=9272585
514.01	     nbUselessRevisions=8511058  nbAssignments=14338  nbFailedAssignments=4079  nbBacktracks=130  nbVisitedNodes=8619
514.01	     nbRestartNogoods=138  mapSize=130  nbInferences=0  nbTooLargeKeys=0
514.01	       =>  wckTime=308.083  cpuTime=307.17  mem=260M39
534.36	   
534.36	   search
534.36	     run=5  nbConstraintChecks=691546855  nbValidityChecks=2718505536  nbPropagations=867731  nbRevisions=14048352
534.36	     nbUselessRevisions=12851016  nbAssignments=15481  nbFailedAssignments=5127  nbBacktracks=205  nbVisitedNodes=10885
534.36	     nbRestartNogoods=149  mapSize=205  nbInferences=0  nbTooLargeKeys=0
534.36	       =>  wckTime=328.438  cpuTime=327.51  mem=261M199
578.04	   
578.04	   search
578.04	     run=6  nbConstraintChecks=803382997  nbValidityChecks=3054491520  nbPropagations=1183980  nbRevisions=19306559
578.04	     nbUselessRevisions=17615007  nbAssignments=16657  nbFailedAssignments=6173  nbBacktracks=318  nbVisitedNodes=13220
578.04	     nbRestartNogoods=158  mapSize=318  nbInferences=0  nbTooLargeKeys=0
578.04	       =>  wckTime=372.115  cpuTime=371.14  mem=264M93
663.58	   
663.58	   search
663.58	     run=7  nbConstraintChecks=1105299941  nbValidityChecks=3804629429  nbPropagations=1559077  nbRevisions=25665879
663.58	     nbUselessRevisions=23343385  nbAssignments=19665  nbFailedAssignments=8351  nbBacktracks=488  nbVisitedNodes=17925
663.58	     nbRestartNogoods=203  mapSize=488  nbInferences=0  nbTooLargeKeys=0
663.58	       =>  wckTime=457.653  cpuTime=456.61  mem=268M11
1069.29	   
1069.29	   search
1069.29	     run=8  nbConstraintChecks=1922665329  nbValidityChecks=6556483981  nbPropagations=2083817  nbRevisions=35718440
1069.29	     nbUselessRevisions=32293544  nbAssignments=29825  nbFailedAssignments=18246  nbBacktracks=744  nbVisitedNodes=38234
1069.29	     nbRestartNogoods=220  mapSize=743  nbInferences=0  nbTooLargeKeys=0
1069.29	       =>  wckTime=863.364  cpuTime=861.77  mem=272M834
1366.20	   
1366.20	   INFO : Stopping hyperNogood (mapSize=1045, nbTooLargekeys=0, mem=277M658)
1463.29	   
1463.29	   search
1463.29	     run=9  nbConstraintChecks=3798405002  nbValidityChecks=9302750626  nbPropagations=2858981  nbRevisions=50282706
1463.29	     nbUselessRevisions=44981019  nbAssignments=47015  nbFailedAssignments=34643  nbBacktracks=1128
1463.29	     nbVisitedNodes=71800  nbRestartNogoods=396
1463.29	       =>  wckTime=1257.366  cpuTime=1253.98  mem=277M658
1805.62	   
1805.62	   search
1805.62	     run=10  nbConstraintChecks=5313961130  nbValidityChecks=11640933249  nbPropagations=3834041  nbRevisions=68554128
1805.62	     nbUselessRevisions=60742733  nbAssignments=60577  nbFailedAssignments=47620  nbBacktracks=1704
1805.62	     nbVisitedNodes=98895  nbRestartNogoods=416
1805.62	       =>  wckTime=1599.699  cpuTime=1594.78  mem=277M658

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/node39/watcher-233653-1168327163 -o ROOT/results/node39/solver-233653-1168327163 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233653-1168327163/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.94 1.98 1.91 4/80 364
/proc/meminfo: memFree=702048/2055920 swapFree=4187312/4192956
[pid=363] ppid=361 vsize=1784 CPUtime=0
/proc/363/stat : 363 (java) R 361 363 31313 0 -1 0 169 0 0 0 0 0 0 0 20 0 1 0 181115905 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/363/statm: 446 140 106 14 0 91 0

[startup+0.106471 s]
/proc/loadavg: 1.94 1.98 1.91 4/80 364
/proc/meminfo: memFree=702048/2055920 swapFree=4187312/4192956
[pid=363] ppid=361 vsize=914988 CPUtime=0.09
/proc/363/stat : 363 (java) R 361 363 31313 0 -1 0 3019 0 1 0 8 1 0 0 20 0 8 0 181115905 936947712 2765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154010163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/363/statm: 228747 2765 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.51451 s]
/proc/loadavg: 1.94 1.98 1.91 4/80 364
/proc/meminfo: memFree=702048/2055920 swapFree=4187312/4192956
[pid=363] ppid=361 vsize=915328 CPUtime=0.5
/proc/363/stat : 363 (java) R 361 363 31313 0 -1 0 7560 0 1 0 45 5 0 0 18 0 8 0 181115905 937295872 7299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942248 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/363/statm: 228832 7299 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33658 s]
/proc/loadavg: 1.94 1.98 1.91 3/87 371
/proc/meminfo: memFree=661352/2055920 swapFree=4187312/4192956
[pid=363] ppid=361 vsize=915632 CPUtime=1.3
/proc/363/stat : 363 (java) R 361 363 31313 0 -1 0 12601 0 1 0 123 7 0 0 25 0 8 0 181115905 937607168 12339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786876 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/363/statm: 228908 12339 2167 14 0 215378 0
[pid=363/tid=365] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/365/stat : 365 (java) S 361 363 31313 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 181115909 937607168 12339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=366] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/366/stat : 366 (java) S 361 363 31313 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181115909 937607168 12339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=367] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/367/stat : 367 (java) S 361 363 31313 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181115909 937607168 12339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=368] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/368/stat : 368 (java) S 361 363 31313 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181115912 937607168 12339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=369] ppid=361 vsize=915632 CPUtime=0.14
/proc/363/task/369/stat : 369 (java) S 361 363 31313 0 -1 64 411 0 0 0 14 0 0 0 15 0 8 0 181115912 937607168 12339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=370] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/370/stat : 370 (java) S 361 363 31313 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181115912 937607168 12339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=371] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/371/stat : 371 (java) S 361 363 31313 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181115912 937607168 12339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915632

[startup+2.98873 s]
/proc/loadavg: 1.94 1.98 1.91 3/87 371
/proc/meminfo: memFree=659368/2055920 swapFree=4187312/4192956
[pid=363] ppid=361 vsize=915632 CPUtime=2.95
/proc/363/stat : 363 (java) R 361 363 31313 0 -1 0 13335 0 1 0 287 8 0 0 25 0 8 0 181115905 937607168 13072 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783856 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/363/statm: 228908 13072 2167 14 0 215378 0
[pid=363/tid=365] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/365/stat : 365 (java) S 361 363 31313 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 181115909 937607168 13072 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=366] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/366/stat : 366 (java) S 361 363 31313 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181115909 937607168 13072 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=367] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/367/stat : 367 (java) S 361 363 31313 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181115909 937607168 13072 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=368] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/368/stat : 368 (java) S 361 363 31313 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181115912 937607168 13072 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=369] ppid=361 vsize=915632 CPUtime=0.14
/proc/363/task/369/stat : 369 (java) S 361 363 31313 0 -1 64 412 0 0 0 14 0 0 0 16 0 8 0 181115912 937607168 13072 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=370] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/370/stat : 370 (java) S 361 363 31313 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181115912 937607168 13072 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=371] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/371/stat : 371 (java) S 361 363 31313 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181115912 937607168 13072 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915632

[startup+6.28003 s]
/proc/loadavg: 1.95 1.98 1.91 3/87 371
/proc/meminfo: memFree=653608/2055920 swapFree=4187312/4192956
[pid=363] ppid=361 vsize=915632 CPUtime=6.21
/proc/363/stat : 363 (java) R 361 363 31313 0 -1 0 14665 0 1 0 612 9 0 0 25 0 8 0 181115905 937607168 14401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783872 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/363/statm: 228908 14401 2167 14 0 215378 0
[pid=363/tid=365] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/365/stat : 365 (java) S 361 363 31313 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 181115909 937607168 14401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=366] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/366/stat : 366 (java) S 361 363 31313 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181115909 937607168 14401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=367] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/367/stat : 367 (java) S 361 363 31313 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181115909 937607168 14401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=368] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/368/stat : 368 (java) S 361 363 31313 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181115912 937607168 14401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=369] ppid=361 vsize=915632 CPUtime=0.14
/proc/363/task/369/stat : 369 (java) S 361 363 31313 0 -1 64 413 0 0 0 14 0 0 0 16 0 8 0 181115912 937607168 14401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=370] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/370/stat : 370 (java) S 361 363 31313 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181115912 937607168 14401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=371] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/371/stat : 371 (java) S 361 363 31313 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181115912 937607168 14401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915632

[startup+12.7676 s]
/proc/loadavg: 1.95 1.98 1.91 3/87 371
/proc/meminfo: memFree=623336/2055920 swapFree=4187312/4192956
[pid=363] ppid=361 vsize=915632 CPUtime=12.64
/proc/363/stat : 363 (java) R 361 363 31313 0 -1 0 22009 0 1 0 1252 12 0 0 25 0 8 0 181115905 937607168 21744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786203 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/363/statm: 228908 21744 2178 14 0 215378 0
[pid=363/tid=365] ppid=361 vsize=915632 CPUtime=0.15
/proc/363/task/365/stat : 365 (java) S 361 363 31313 0 -1 64 5409 0 0 0 14 1 0 0 16 0 8 0 181115909 937607168 21744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=366] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/366/stat : 366 (java) S 361 363 31313 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181115909 937607168 21744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=367] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/367/stat : 367 (java) S 361 363 31313 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181115909 937607168 21744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=368] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/368/stat : 368 (java) S 361 363 31313 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181115912 937607168 21744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=369] ppid=361 vsize=915632 CPUtime=0.14
/proc/363/task/369/stat : 369 (java) S 361 363 31313 0 -1 64 414 0 0 0 14 0 0 0 16 0 8 0 181115912 937607168 21744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=370] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/370/stat : 370 (java) S 361 363 31313 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181115912 937607168 21744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=371] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/371/stat : 371 (java) S 361 363 31313 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181115912 937607168 21744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915632

[startup+25.6038 s]
/proc/loadavg: 1.96 1.98 1.91 3/87 371
/proc/meminfo: memFree=623400/2055920 swapFree=4187312/4192956
[pid=363] ppid=361 vsize=915632 CPUtime=25.36
/proc/363/stat : 363 (java) R 361 363 31313 0 -1 0 22021 0 1 0 2524 12 0 0 25 0 8 0 181115905 937607168 21756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786032 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/363/statm: 228908 21756 2178 14 0 215378 0
[pid=363/tid=365] ppid=361 vsize=915632 CPUtime=0.15
/proc/363/task/365/stat : 365 (java) S 361 363 31313 0 -1 64 5409 0 0 0 14 1 0 0 16 0 8 0 181115909 937607168 21756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=366] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/366/stat : 366 (java) S 361 363 31313 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181115909 937607168 21756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=367] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/367/stat : 367 (java) S 361 363 31313 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181115909 937607168 21756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=368] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/368/stat : 368 (java) S 361 363 31313 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181115912 937607168 21756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=369] ppid=361 vsize=915632 CPUtime=0.15
/proc/363/task/369/stat : 369 (java) S 361 363 31313 0 -1 64 426 0 0 0 15 0 0 0 16 0 8 0 181115912 937607168 21756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=370] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/370/stat : 370 (java) S 361 363 31313 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181115912 937607168 21756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=371] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/371/stat : 371 (java) S 361 363 31313 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181115912 937607168 21756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915632

[startup+51.2111 s]
/proc/loadavg: 1.97 1.98 1.91 3/87 371
/proc/meminfo: memFree=578600/2055920 swapFree=4187312/4192956
[pid=363] ppid=361 vsize=915632 CPUtime=50.73
/proc/363/stat : 363 (java) R 361 363 31313 0 -1 0 33217 0 1 0 5056 17 0 0 25 0 8 0 181115905 937607168 32950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786247 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/363/statm: 228908 32950 2179 14 0 215378 0
[pid=363/tid=365] ppid=361 vsize=915632 CPUtime=0.55
/proc/363/task/365/stat : 365 (java) S 361 363 31313 0 -1 64 16598 0 0 0 49 6 0 0 16 0 8 0 181115909 937607168 32950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=366] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/366/stat : 366 (java) S 361 363 31313 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181115909 937607168 32950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=367] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/367/stat : 367 (java) S 361 363 31313 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181115909 937607168 32950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=368] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/368/stat : 368 (java) S 361 363 31313 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181115912 937607168 32950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=369] ppid=361 vsize=915632 CPUtime=0.16
/proc/363/task/369/stat : 369 (java) S 361 363 31313 0 -1 64 430 0 0 0 16 0 0 0 15 0 8 0 181115912 937607168 32950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=370] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/370/stat : 370 (java) S 361 363 31313 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181115912 937607168 32950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=371] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/371/stat : 371 (java) S 361 363 31313 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181115912 937607168 32950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915632

[startup+102.422 s]
/proc/loadavg: 2.04 2.00 1.91 3/87 371
/proc/meminfo: memFree=501096/2055920 swapFree=4187312/4192956
[pid=363] ppid=361 vsize=915632 CPUtime=101.49
/proc/363/stat : 363 (java) R 361 363 31313 0 -1 0 52558 0 1 0 10122 27 0 0 25 0 8 0 181115905 937607168 52288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783848 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/363/statm: 228908 52288 2179 14 0 215378 0
[pid=363/tid=365] ppid=361 vsize=915632 CPUtime=1.35
/proc/363/task/365/stat : 365 (java) S 361 363 31313 0 -1 64 35931 0 0 0 121 14 0 0 16 0 8 0 181115909 937607168 52288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=366] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/366/stat : 366 (java) S 361 363 31313 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181115909 937607168 52288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=367] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/367/stat : 367 (java) S 361 363 31313 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181115909 937607168 52288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=368] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/368/stat : 368 (java) S 361 363 31313 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181115912 937607168 52288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=369] ppid=361 vsize=915632 CPUtime=0.17
/proc/363/task/369/stat : 369 (java) S 361 363 31313 0 -1 64 435 0 0 0 17 0 0 0 15 0 8 0 181115912 937607168 52288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=370] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/370/stat : 370 (java) S 361 363 31313 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181115912 937607168 52288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=371] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/371/stat : 371 (java) S 361 363 31313 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181115912 937607168 52288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 915632

[startup+162.478 s]
/proc/loadavg: 2.05 2.01 1.92 3/87 371
/proc/meminfo: memFree=429224/2055920 swapFree=4187312/4192956
[pid=363] ppid=361 vsize=915632 CPUtime=161.02
/proc/363/stat : 363 (java) R 361 363 31313 0 -1 0 70499 0 1 0 16066 36 0 0 25 0 8 0 181115905 937607168 70226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785515 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1418.25
Current children cumulated vsize (KiB) 915632

[startup+1483.16 s]
/proc/loadavg: 2.01 2.00 1.95 3/81 1088
/proc/meminfo: memFree=646424/2055920 swapFree=4187312/4192956
[pid=363] ppid=361 vsize=915632 CPUtime=1478.02
/proc/363/stat : 363 (java) R 361 363 31313 0 -1 0 81592 0 1 0 147741 61 0 0 25 0 8 0 181115905 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074046999 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/363/statm: 228908 81282 2548 14 0 215378 0
[pid=363/tid=365] ppid=361 vsize=915632 CPUtime=3.13
/proc/363/task/365/stat : 365 (java) S 361 363 31313 0 -1 64 64400 0 0 0 288 25 0 0 16 0 8 0 181115909 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=363/tid=366] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/366/stat : 366 (java) S 361 363 31313 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181115909 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=363/tid=367] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/367/stat : 367 (java) S 361 363 31313 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181115909 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=363/tid=368] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/368/stat : 368 (java) S 361 363 31313 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181115912 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=369] ppid=361 vsize=915632 CPUtime=0.35
/proc/363/task/369/stat : 369 (java) S 361 363 31313 0 -1 64 533 0 0 0 33 2 0 0 16 0 8 0 181115912 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=363/tid=370] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/370/stat : 370 (java) S 361 363 31313 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181115912 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=371] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/371/stat : 371 (java) S 361 363 31313 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181115912 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1478.02
Current children cumulated vsize (KiB) 915632

[startup+1543.18 s]
/proc/loadavg: 2.00 2.00 1.95 3/81 1088
/proc/meminfo: memFree=646424/2055920 swapFree=4187312/4192956
[pid=363] ppid=361 vsize=915632 CPUtime=1537.76
/proc/363/stat : 363 (java) R 361 363 31313 0 -1 0 81592 0 1 0 153715 61 0 0 25 0 8 0 181115905 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783934 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/363/statm: 228908 81282 2548 14 0 215378 0
[pid=363/tid=365] ppid=361 vsize=915632 CPUtime=3.13
/proc/363/task/365/stat : 365 (java) S 361 363 31313 0 -1 64 64400 0 0 0 288 25 0 0 16 0 8 0 181115909 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=363/tid=366] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/366/stat : 366 (java) S 361 363 31313 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181115909 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=363/tid=367] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/367/stat : 367 (java) S 361 363 31313 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181115909 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=363/tid=368] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/368/stat : 368 (java) S 361 363 31313 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181115912 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=369] ppid=361 vsize=915632 CPUtime=0.35
/proc/363/task/369/stat : 369 (java) S 361 363 31313 0 -1 64 533 0 0 0 33 2 0 0 17 0 8 0 181115912 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=363/tid=370] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/370/stat : 370 (java) S 361 363 31313 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181115912 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=371] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/371/stat : 371 (java) S 361 363 31313 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181115912 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1537.76
Current children cumulated vsize (KiB) 915632

[startup+1603.2 s]
/proc/loadavg: 2.00 2.00 1.95 3/81 1088
/proc/meminfo: memFree=646424/2055920 swapFree=4187312/4192956
[pid=363] ppid=361 vsize=915632 CPUtime=1597.5
/proc/363/stat : 363 (java) R 361 363 31313 0 -1 0 81592 0 1 0 159689 61 0 0 25 0 8 0 181115905 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074062577 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/363/statm: 228908 81282 2548 14 0 215378 0
[pid=363/tid=365] ppid=361 vsize=915632 CPUtime=3.13
/proc/363/task/365/stat : 365 (java) S 361 363 31313 0 -1 64 64400 0 0 0 288 25 0 0 16 0 8 0 181115909 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=363/tid=366] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/366/stat : 366 (java) S 361 363 31313 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181115909 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=363/tid=367] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/367/stat : 367 (java) S 361 363 31313 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181115909 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=363/tid=368] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/368/stat : 368 (java) S 361 363 31313 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181115912 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=369] ppid=361 vsize=915632 CPUtime=0.35
/proc/363/task/369/stat : 369 (java) S 361 363 31313 0 -1 64 533 0 0 0 33 2 0 0 17 0 8 0 181115912 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=363/tid=370] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/370/stat : 370 (java) S 361 363 31313 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181115912 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=371] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/371/stat : 371 (java) S 361 363 31313 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181115912 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1597.5
Current children cumulated vsize (KiB) 915632

[startup+1663.22 s]
/proc/loadavg: 2.11 2.04 1.96 3/81 1088
/proc/meminfo: memFree=646424/2055920 swapFree=4187312/4192956
[pid=363] ppid=361 vsize=915632 CPUtime=1657.26
/proc/363/stat : 363 (java) R 361 363 31313 0 -1 0 81592 0 1 0 165665 61 0 0 25 0 8 0 181115905 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074042951 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/363/statm: 228908 81282 2548 14 0 215378 0
[pid=363/tid=365] ppid=361 vsize=915632 CPUtime=3.13
/proc/363/task/365/stat : 365 (java) S 361 363 31313 0 -1 64 64400 0 0 0 288 25 0 0 16 0 8 0 181115909 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=363/tid=366] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/366/stat : 366 (java) S 361 363 31313 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181115909 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=363/tid=367] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/367/stat : 367 (java) S 361 363 31313 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181115909 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=363/tid=368] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/368/stat : 368 (java) S 361 363 31313 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181115912 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=369] ppid=361 vsize=915632 CPUtime=0.35
/proc/363/task/369/stat : 369 (java) S 361 363 31313 0 -1 64 533 0 0 0 33 2 0 0 17 0 8 0 181115912 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=363/tid=370] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/370/stat : 370 (java) S 361 363 31313 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181115912 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=371] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/371/stat : 371 (java) S 361 363 31313 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181115912 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1657.26
Current children cumulated vsize (KiB) 915632

[startup+1723.24 s]
/proc/loadavg: 2.04 2.03 1.96 3/81 1088
/proc/meminfo: memFree=646360/2055920 swapFree=4187312/4192956
[pid=363] ppid=361 vsize=915632 CPUtime=1717.02
/proc/363/stat : 363 (java) R 361 363 31313 0 -1 0 81592 0 1 0 171641 61 0 0 25 0 8 0 181115905 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785535 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/363/statm: 228908 81282 2548 14 0 215378 0
[pid=363/tid=365] ppid=361 vsize=915632 CPUtime=3.13
/proc/363/task/365/stat : 365 (java) S 361 363 31313 0 -1 64 64400 0 0 0 288 25 0 0 16 0 8 0 181115909 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=363/tid=366] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/366/stat : 366 (java) S 361 363 31313 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181115909 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=363/tid=367] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/367/stat : 367 (java) S 361 363 31313 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181115909 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=363/tid=368] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/368/stat : 368 (java) S 361 363 31313 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181115912 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=369] ppid=361 vsize=915632 CPUtime=0.35
/proc/363/task/369/stat : 369 (java) S 361 363 31313 0 -1 64 533 0 0 0 33 2 0 0 17 0 8 0 181115912 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=363/tid=370] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/370/stat : 370 (java) S 361 363 31313 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181115912 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=371] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/371/stat : 371 (java) S 361 363 31313 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181115912 937607168 81282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1717.02
Current children cumulated vsize (KiB) 915632

[startup+1783.26 s]
/proc/loadavg: 2.01 2.02 1.96 3/81 1088
/proc/meminfo: memFree=646296/2055920 swapFree=4187312/4192956
[pid=363] ppid=361 vsize=915632 CPUtime=1776.75
/proc/363/stat : 363 (java) R 361 363 31313 0 -1 0 81594 0 1 0 177614 61 0 0 25 0 8 0 181115905 937607168 81284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074021616 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/363/statm: 228908 81284 2548 14 0 215378 0
[pid=363/tid=365] ppid=361 vsize=915632 CPUtime=3.13
/proc/363/task/365/stat : 365 (java) S 361 363 31313 0 -1 64 64400 0 0 0 288 25 0 0 16 0 8 0 181115909 937607168 81284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=363/tid=366] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/366/stat : 366 (java) S 361 363 31313 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181115909 937607168 81284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=363/tid=367] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/367/stat : 367 (java) S 361 363 31313 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181115909 937607168 81284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=363/tid=368] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/368/stat : 368 (java) S 361 363 31313 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181115912 937607168 81284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=369] ppid=361 vsize=915632 CPUtime=0.36
/proc/363/task/369/stat : 369 (java) S 361 363 31313 0 -1 64 535 0 0 0 34 2 0 0 16 0 8 0 181115912 937607168 81284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=363/tid=370] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/370/stat : 370 (java) S 361 363 31313 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181115912 937607168 81284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=371] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/371/stat : 371 (java) S 361 363 31313 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181115912 937607168 81284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1776.75
Current children cumulated vsize (KiB) 915632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1806.62 s]
/proc/loadavg: 2.08 2.04 1.97 3/81 1088
/proc/meminfo: memFree=646360/2055920 swapFree=4187312/4192956
[pid=363] ppid=361 vsize=915632 CPUtime=1800.02
/proc/363/stat : 363 (java) R 361 363 31313 0 -1 0 81595 0 1 0 179941 61 0 0 25 0 8 0 181115905 937607168 81285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782678 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/363/statm: 228908 81285 2548 14 0 215378 0
[pid=363/tid=365] ppid=361 vsize=915632 CPUtime=3.13
/proc/363/task/365/stat : 365 (java) S 361 363 31313 0 -1 64 64400 0 0 0 288 25 0 0 16 0 8 0 181115909 937607168 81285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=363/tid=366] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/366/stat : 366 (java) S 361 363 31313 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181115909 937607168 81285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=363/tid=367] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/367/stat : 367 (java) S 361 363 31313 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181115909 937607168 81285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=363/tid=368] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/368/stat : 368 (java) S 361 363 31313 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181115912 937607168 81285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=369] ppid=361 vsize=915632 CPUtime=0.36
/proc/363/task/369/stat : 369 (java) S 361 363 31313 0 -1 64 536 0 0 0 34 2 0 0 16 0 8 0 181115912 937607168 81285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=363/tid=370] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/370/stat : 370 (java) S 361 363 31313 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181115912 937607168 81285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=363/tid=371] ppid=361 vsize=915632 CPUtime=0
/proc/363/task/371/stat : 371 (java) S 361 363 31313 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181115912 937607168 81285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 915632

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

Child status: 143
Real time (s): 1806.71
CPU time (s): 1800.12
CPU user time (s): 1799.45
CPU system time (s): 0.663899
CPU usage (%): 99.6349
Max. virtual memory (cumulated for all children) (KiB): 915636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 0.663899
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81612
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= 38227
involuntary context switches= 27946

runsolver used 2.43263 s user time and 5.43217 s system time

The end

Launcher Data (download as text)

Begin job on node39 on Tue Jan  9 07:19:23 UTC 2007


IDJOB= 233653
IDBENCH= 6622
FILE ID= node39/233653-1168327163

PBS_JOBID= 3502961

Free space on /tmp= 66559 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  9022ba7be6fd37cd1686d43ac72ffbad

RANDOM SEED= 562571672

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.236
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.236
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:        702464 kB
Buffers:          7696 kB
Cached:         959820 kB
SwapCached:        940 kB
Active:         713096 kB
Inactive:       587412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        702464 kB
SwapTotal:     4192956 kB
SwapFree:      4187312 kB
Dirty:            2148 kB
Writeback:           0 kB
Mapped:         350684 kB
Slab:            37576 kB
Committed_AS:  4573220 kB
PageTables:       2440 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= 66545 MiB



End job on node39 on Tue Jan  9 07:49:30 UTC 2007