Trace number 233607

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 ESACSAT 475.606 479.941

DiagnosticValue
CHECKS467515592
NODES15198

General information on the benchmark

Nametaillard/os-taillard-15/
os-taillard-15-100-1.xml
MD5SUMd022748892add36e7fd0a0a2d512e1b7
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.396939
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables225
Number of constraints3150
Maximum constraint arity2
Maximum domain size957
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.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/233607-1168327064/unknown.xml
0.38	   
0.38	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.49	     nbVariables=225  nbDomainTypes=225  minDomainSize=859  maxDomainSize=957
0.49	       =>  wckTime=0.166  cpuTime=0.13  mem=12M763
0.49	   
0.49	   predicates being loaded...
0.49	   
0.49	   constraints being loaded...
204.65	   
204.65	   INFO : Stopping converting binary constraints (cpu=200.17, mem = 242M125)
204.95	     nbConstraints=3150  nbConvertedConstraints=968  nbConvertConstraintsChecks=793360709  nbExtensionStructures=968
204.95	     nbSharedExtensionStructures=0  nbConflictsStructures=968  nbSharedConflictsStructures=0
204.95	     nbSharedBinaryRepresentations=573583  nbEvaluationManagers=2182  nbSharedEvaluationManagers=0  maxDegree=28
204.95	     maxArity=2
204.95	       =>  wckTime=204.625  cpuTime=200.39  mem=259M283
205.50	   
205.50	   solver IterativeSystematicSolver being built... 
205.74	       =>  wckTime=205.417  cpuTime=200.59  mem=268M815
246.79	   
246.79	   preprocessing
246.79	     nbConstraintChecks=99121619  nbValidityChecks=37957303  nbPropagations=4145  nbRevisions=67694
246.79	     nbUselessRevisions=63943  nbSingletonTests=227  nbEffectiveSingletonTests=0  nbESACBranches=2  nbRemovedValues=0
246.79	     detectedInconsistency=no
246.79	       =>  wckTime=41.041  cpuTime=40.61  mem=268M815
260.97	   
260.97	   search
260.97	     run=0  nbConstraintChecks=34397878  nbValidityChecks=25379052  nbPropagations=8439  nbRevisions=133265
260.97	     nbUselessRevisions=120275  nbAssignments=287  nbFailedAssignments=122  nbBacktracks=10  nbVisitedNodes=420
260.97	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
260.97	       =>  wckTime=55.223  cpuTime=54.66  mem=272M377
426.09	   
426.09	   search
426.09	     run=1  nbConstraintChecks=227934428  nbValidityChecks=1932766724  nbPropagations=231903  nbRevisions=3766240
426.09	     nbUselessRevisions=3505554  nbAssignments=12040  nbFailedAssignments=734  nbBacktracks=25  nbVisitedNodes=1811
426.09	     nbRestartNogoods=58  mapSize=25  nbInferences=0  nbTooLargeKeys=0
426.09	       =>  wckTime=220.341  cpuTime=218.21  mem=255M205
440.67	   
440.67	   search
440.67	     run=2  nbConstraintChecks=264810197  nbValidityChecks=1960463043  nbPropagations=463314  nbRevisions=7494561
440.67	     nbUselessRevisions=6970643  nbAssignments=12881  nbFailedAssignments=1388  nbBacktracks=48  nbVisitedNodes=3325
440.67	     nbRestartNogoods=59  mapSize=44  nbInferences=0  nbTooLargeKeys=0
440.67	       =>  wckTime=234.925  cpuTime=232.65  mem=257M830
456.84	   
456.84	   search
456.84	     run=3  nbConstraintChecks=314398423  nbValidityChecks=2017423962  nbPropagations=704904  nbRevisions=11373418
456.84	     nbUselessRevisions=10558799  nbAssignments=13626  nbFailedAssignments=2015  nbBacktracks=81  nbVisitedNodes=4730
456.84	     nbRestartNogoods=61  mapSize=77  nbInferences=0  nbTooLargeKeys=0
456.84	       =>  wckTime=251.095  cpuTime=248.66  mem=260M158
468.91	   
468.91	   search
468.91	     run=4  nbConstraintChecks=341203223  nbValidityChecks=2066766524  nbPropagations=954131  nbRevisions=15364141
468.91	     nbUselessRevisions=14244591  nbAssignments=14398  nbFailedAssignments=2652  nbBacktracks=131  nbVisitedNodes=6182
468.91	     nbRestartNogoods=64  mapSize=126  nbInferences=0  nbTooLargeKeys=0
468.91	       =>  wckTime=263.162  cpuTime=260.62  mem=262M94
479.87	   
479.87	   search
479.87	     run=5  nbConstraintChecks=368393973  nbValidityChecks=2094955092  nbPropagations=1209618  nbRevisions=19429016
479.87	     nbUselessRevisions=17994895  nbAssignments=15198  nbFailedAssignments=3208  nbBacktracks=150  nbVisitedNodes=7557
479.87	     nbRestartNogoods=72  mapSize=145  nbInferences=0  nbTooLargeKeys=0
479.87	       =>  wckTime=274.124  cpuTime=271.48  mem=265M373
479.87	   
479.87	   global
479.87	     nbConstraintChecks=467515592  nbValidityChecks=2132912395  nbPropagations=1213763  nbRevisions=19496710
479.88	     nbUselessRevisions=18058838  nbRestartNogoods=72  solvingWckTime=274.125  solvingCpuTime=271.48  expiredTime=no
479.88	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=472.13
479.88	       =>  wckTime=479.554  cpuTime=472.08  mem=265M373
479.88	   
479.88	s SATISFIABLE
479.88	v 179 21 574 0 232 725 299 96 854 644 916 767 482 415 71 547 801 855 296 940 0 725 145 51 200 665 232 454 407 642 810 0 718 285 265 607 583 179 457 490 861 394 668 83 144 0 491 707 154 762 822 235 89 572 256 332 407 801 910 615 256 110 738 1 341 506 281 14 194 430 596 673 297 549 924 320 705 196 508 561 0 274 192 846 124 658 404 810 738 893 701 492 918 332 179 621 259 0 689 169 670 415 856 549 71 182 82 441 399 658 482 563 922 840 0 274 300 925 33 749 753 0 507 190 642 49 670 777 406 328 432 159 285 596 860 577 800 82 164 258 0 880 668 900 413 615 697 323 621 492 503 51 879 330 689 176 473 624 0 415 96 551 774 235 847 101 607 186 159 718 0 441 330 624 354 492 572 829 644 253 462 866 332 142 772 615 21 89 708 194 561 395 818 0 292 63 176 929 139 777 507 894 77 0 371 259 49 413 673 596 0 822 871 101 332 154 457 415 577 51 665 240 503 630 712 
479.88	d NODES 15198
479.88	d CHECKS 467515592
479.88	   
479.88	   totalWckTime=479.64  totalCpuTime=472.13

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node24/watcher-233607-1168327064 -o ROOT/results/node24/solver-233607-1168327064 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233607-1168327064/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.12 2.25 2.29 4/86 25027
/proc/meminfo: memFree=1703544/2055920 swapFree=4192812/4192956
[pid=25026] ppid=25024 vsize=18540 CPUtime=0
/proc/25026/stat : 25026 (runsolver) R 25024 25026 24680 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 181101646 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 237788261671 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/25026/statm: 4635 279 244 17 0 2626 0

[startup+0.102616 s]
/proc/loadavg: 2.12 2.25 2.29 4/86 25027
/proc/meminfo: memFree=1703544/2055920 swapFree=4192812/4192956
[pid=25026] ppid=25024 vsize=914988 CPUtime=0.08
/proc/25026/stat : 25026 (java) R 25024 25026 24680 0 -1 0 2952 0 1 0 7 1 0 0 17 0 8 0 181101646 936947712 2698 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153804978 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25026/statm: 228747 2698 1413 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.510659 s]
/proc/loadavg: 2.12 2.25 2.29 4/86 25027
/proc/meminfo: memFree=1703544/2055920 swapFree=4192812/4192956
[pid=25026] ppid=25024 vsize=915328 CPUtime=0.47
/proc/25026/stat : 25026 (java) R 25024 25026 24680 0 -1 0 7536 0 1 0 44 3 0 0 19 0 8 0 181101646 937295872 7275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380191 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25026/statm: 228832 7275 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328

[startup+1.33174 s]
/proc/loadavg: 2.12 2.25 2.29 3/93 25034
/proc/meminfo: memFree=1662528/2055920 swapFree=4192812/4192956
[pid=25026] ppid=25024 vsize=915632 CPUtime=1.3
/proc/25026/stat : 25026 (java) R 25024 25026 24680 0 -1 0 12676 0 1 0 123 7 0 0 25 0 8 0 181101646 937607168 12414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785376 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25026/statm: 228908 12414 2167 14 0 215378 0
[pid=25026/tid=25028] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25028/stat : 25028 (java) S 25024 25026 24680 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 181101651 937607168 12414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25029] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25029/stat : 25029 (java) S 25024 25026 24680 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181101651 937607168 12414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25030] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25030/stat : 25030 (java) S 25024 25026 24680 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 181101651 937607168 12414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25031] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25031/stat : 25031 (java) S 25024 25026 24680 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181101654 937607168 12414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25032] ppid=25024 vsize=915632 CPUtime=0.15
/proc/25026/task/25032/stat : 25032 (java) S 25024 25026 24680 0 -1 64 411 0 0 0 15 0 0 0 16 0 8 0 181101654 937607168 12414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25033] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25033/stat : 25033 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181101654 937607168 12414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25034] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25034/stat : 25034 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181101654 937607168 12414 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.96892 s]
/proc/loadavg: 2.12 2.25 2.29 3/93 25034
/proc/meminfo: memFree=1660800/2055920 swapFree=4192812/4192956
[pid=25026] ppid=25024 vsize=915632 CPUtime=2.92
/proc/25026/stat : 25026 (java) R 25024 25026 24680 0 -1 0 13363 0 1 0 285 7 0 0 25 0 8 0 181101646 937607168 13100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782819 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25026/statm: 228908 13100 2167 14 0 215378 0
[pid=25026/tid=25028] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25028/stat : 25028 (java) S 25024 25026 24680 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 181101651 937607168 13100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25029] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25029/stat : 25029 (java) S 25024 25026 24680 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181101651 937607168 13100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25030] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25030/stat : 25030 (java) S 25024 25026 24680 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 181101651 937607168 13100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25031] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25031/stat : 25031 (java) S 25024 25026 24680 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181101654 937607168 13100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25032] ppid=25024 vsize=915632 CPUtime=0.15
/proc/25026/task/25032/stat : 25032 (java) S 25024 25026 24680 0 -1 64 411 0 0 0 15 0 0 0 16 0 8 0 181101654 937607168 13100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25033] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25033/stat : 25033 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181101654 937607168 13100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25034] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25034/stat : 25034 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181101654 937607168 13100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915632

[startup+6.26527 s]
/proc/loadavg: 2.11 2.25 2.29 3/93 25034
/proc/meminfo: memFree=1655360/2055920 swapFree=4192812/4192956
[pid=25026] ppid=25024 vsize=915632 CPUtime=6.18
/proc/25026/stat : 25026 (java) R 25024 25026 24680 0 -1 0 14599 0 1 0 610 8 0 0 25 0 8 0 181101646 937607168 14335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782672 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25026/statm: 228908 14335 2167 14 0 215378 0
[pid=25026/tid=25028] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25028/stat : 25028 (java) S 25024 25026 24680 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 14335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25029] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25029/stat : 25029 (java) S 25024 25026 24680 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181101651 937607168 14335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25030] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25030/stat : 25030 (java) S 25024 25026 24680 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 181101651 937607168 14335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25031] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25031/stat : 25031 (java) S 25024 25026 24680 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181101654 937607168 14335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25032] ppid=25024 vsize=915632 CPUtime=0.16
/proc/25026/task/25032/stat : 25032 (java) S 25024 25026 24680 0 -1 64 412 0 0 0 16 0 0 0 17 0 8 0 181101654 937607168 14335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25033] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25033/stat : 25033 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181101654 937607168 14335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25034] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25034/stat : 25034 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181101654 937607168 14335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915632

[startup+12.738 s]
/proc/loadavg: 2.10 2.24 2.29 3/93 25034
/proc/meminfo: memFree=1626880/2055920 swapFree=4192812/4192956
[pid=25026] ppid=25024 vsize=915632 CPUtime=12.6
/proc/25026/stat : 25026 (java) R 25024 25026 24680 0 -1 0 21479 0 1 0 1249 11 0 0 25 0 8 0 181101646 937607168 21214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798718 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25026/statm: 228908 21214 2178 14 0 215378 0
[pid=25026/tid=25028] ppid=25024 vsize=915632 CPUtime=0.12
/proc/25026/task/25028/stat : 25028 (java) S 25024 25026 24680 0 -1 64 4882 0 0 0 11 1 0 0 16 0 8 0 181101651 937607168 21214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25029] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25029/stat : 25029 (java) S 25024 25026 24680 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 21214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25030] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25030/stat : 25030 (java) S 25024 25026 24680 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 21214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25031] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25031/stat : 25031 (java) S 25024 25026 24680 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181101654 937607168 21214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25032] ppid=25024 vsize=915632 CPUtime=0.16
/proc/25026/task/25032/stat : 25032 (java) S 25024 25026 24680 0 -1 64 412 0 0 0 16 0 0 0 16 0 8 0 181101654 937607168 21214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25033] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25033/stat : 25033 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181101654 937607168 21214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25034] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25034/stat : 25034 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181101654 937607168 21214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915632

[startup+25.6104 s]
/proc/loadavg: 2.08 2.23 2.28 3/93 25034
/proc/meminfo: memFree=1626880/2055920 swapFree=4192812/4192956
[pid=25026] ppid=25024 vsize=915632 CPUtime=25.35
/proc/25026/stat : 25026 (java) R 25024 25026 24680 0 -1 0 21490 0 1 0 2524 11 0 0 25 0 8 0 181101646 937607168 21225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786251 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25026/statm: 228908 21225 2178 14 0 215378 0
[pid=25026/tid=25028] ppid=25024 vsize=915632 CPUtime=0.12
/proc/25026/task/25028/stat : 25028 (java) S 25024 25026 24680 0 -1 64 4882 0 0 0 11 1 0 0 16 0 8 0 181101651 937607168 21225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25029] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25029/stat : 25029 (java) S 25024 25026 24680 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 21225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25030] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25030/stat : 25030 (java) S 25024 25026 24680 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 21225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25031] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25031/stat : 25031 (java) S 25024 25026 24680 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181101654 937607168 21225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25032] ppid=25024 vsize=915632 CPUtime=0.17
/proc/25026/task/25032/stat : 25032 (java) S 25024 25026 24680 0 -1 64 423 0 0 0 17 0 0 0 16 0 8 0 181101654 937607168 21225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25033] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25033/stat : 25033 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181101654 937607168 21225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25034] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25034/stat : 25034 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181101654 937607168 21225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915632

[startup+51.2211 s]
/proc/loadavg: 2.05 2.21 2.27 4/93 25034
/proc/meminfo: memFree=1588288/2055920 swapFree=4192812/4192956
[pid=25026] ppid=25024 vsize=915632 CPUtime=50.74
/proc/25026/stat : 25026 (java) R 25024 25026 24680 0 -1 0 31111 0 1 0 5059 15 0 0 25 0 8 0 181101646 937607168 30844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783847 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25026/statm: 228908 30844 2179 14 0 215378 0
[pid=25026/tid=25028] ppid=25024 vsize=915632 CPUtime=0.43
/proc/25026/task/25028/stat : 25028 (java) S 25024 25026 24680 0 -1 64 14492 0 0 0 39 4 0 0 16 0 8 0 181101651 937607168 30844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25029] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25029/stat : 25029 (java) S 25024 25026 24680 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 30844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25030] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25030/stat : 25030 (java) S 25024 25026 24680 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 30844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25031] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25031/stat : 25031 (java) S 25024 25026 24680 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181101654 937607168 30844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25032] ppid=25024 vsize=915632 CPUtime=0.17
/proc/25026/task/25032/stat : 25032 (java) S 25024 25026 24680 0 -1 64 429 0 0 0 17 0 0 0 16 0 8 0 181101654 937607168 30844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25033] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25033/stat : 25033 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181101654 937607168 30844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25034] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25034/stat : 25034 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181101654 937607168 30844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915632

[startup+102.454 s]
/proc/loadavg: 2.02 2.17 2.26 4/93 25036
/proc/meminfo: memFree=1552312/2055920 swapFree=4192812/4192956
[pid=25026] ppid=25024 vsize=915632 CPUtime=101.54
/proc/25026/stat : 25026 (java) R 25024 25026 24680 0 -1 0 40041 0 1 0 10133 21 0 0 25 0 8 0 181101646 937607168 39773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795133 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25026/statm: 228908 39773 2179 14 0 215378 0
[pid=25026/tid=25028] ppid=25024 vsize=915632 CPUtime=0.79
/proc/25026/task/25028/stat : 25028 (java) S 25024 25026 24680 0 -1 64 23420 0 0 0 71 8 0 0 16 0 8 0 181101651 937607168 39773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25029] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25029/stat : 25029 (java) S 25024 25026 24680 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 39773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25030] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25030/stat : 25030 (java) S 25024 25026 24680 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 39773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25031] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25031/stat : 25031 (java) S 25024 25026 24680 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181101654 937607168 39773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25032] ppid=25024 vsize=915632 CPUtime=0.18
/proc/25026/task/25032/stat : 25032 (java) S 25024 25026 24680 0 -1 64 430 0 0 0 18 0 0 0 17 0 8 0 181101654 937607168 39773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25033] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25033/stat : 25033 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181101654 937607168 39773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25034] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25034/stat : 25034 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181101654 937607168 39773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 915632

[startup+162.521 s]
/proc/loadavg: 2.10 2.17 2.25 3/93 25036
/proc/meminfo: memFree=1484480/2055920 swapFree=4192812/4192956
[pid=25026] ppid=25024 vsize=915632 CPUtime=161.06
/proc/25026/stat : 25026 (java) R 25024 25026 24680 0 -1 0 57012 0 1 0 16076 30 0 0 25 0 8 0 181101646 937607168 56740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782637 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25026/statm: 228908 56740 2179 14 0 215378 0
[pid=25026/tid=25028] ppid=25024 vsize=915632 CPUtime=1.46
/proc/25026/task/25028/stat : 25028 (java) S 25024 25026 24680 0 -1 64 40382 0 0 0 132 14 0 0 16 0 8 0 181101651 937607168 56740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25029] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25029/stat : 25029 (java) S 25024 25026 24680 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 56740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25030] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25030/stat : 25030 (java) S 25024 25026 24680 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 56740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25031] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25031/stat : 25031 (java) S 25024 25026 24680 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181101654 937607168 56740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25032] ppid=25024 vsize=915632 CPUtime=0.2
/proc/25026/task/25032/stat : 25032 (java) S 25024 25026 24680 0 -1 64 435 0 0 0 19 1 0 0 17 0 8 0 181101654 937607168 56740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25033] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25033/stat : 25033 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181101654 937607168 56740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25034] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25034/stat : 25034 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181101654 937607168 56740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.06
Current children cumulated vsize (KiB) 915632

[startup+222.586 s]
/proc/loadavg: 2.04 2.14 2.23 3/93 25036
/proc/meminfo: memFree=1410816/2055920 swapFree=4192812/4192956
[pid=25026] ppid=25024 vsize=915632 CPUtime=220.58
/proc/25026/stat : 25026 (java) R 25024 25026 24680 0 -1 0 75760 0 1 0 22018 40 0 0 25 0 8 0 181101646 937607168 75477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785426 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25026/statm: 228908 75477 2545 14 0 215378 0
[pid=25026/tid=25028] ppid=25024 vsize=915632 CPUtime=2.78
/proc/25026/task/25028/stat : 25028 (java) S 25024 25026 24680 0 -1 64 58633 0 0 0 256 22 0 0 16 0 8 0 181101651 937607168 75477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25029] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25029/stat : 25029 (java) S 25024 25026 24680 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 75477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25030] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25030/stat : 25030 (java) S 25024 25026 24680 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 75477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25031] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25031/stat : 25031 (java) S 25024 25026 24680 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181101654 937607168 75477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25032] ppid=25024 vsize=915632 CPUtime=0.3
/proc/25026/task/25032/stat : 25032 (java) S 25024 25026 24680 0 -1 64 491 0 0 0 29 1 0 0 15 0 8 0 181101654 937607168 75477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25033] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25033/stat : 25033 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181101654 937607168 75477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25034] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25034/stat : 25034 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181101654 937607168 75477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.58
Current children cumulated vsize (KiB) 915632

[startup+282.679 s]
/proc/loadavg: 2.01 2.11 2.22 3/93 25036
/proc/meminfo: memFree=1410688/2055920 swapFree=4192812/4192956
[pid=25026] ppid=25024 vsize=915632 CPUtime=280.13
/proc/25026/stat : 25026 (java) R 25024 25026 24680 0 -1 0 75796 0 1 0 27971 42 0 0 25 0 8 0 181101646 937607168 75500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074038194 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25026/statm: 228908 75500 2548 14 0 215378 0
[pid=25026/tid=25028] ppid=25024 vsize=915632 CPUtime=2.78
/proc/25026/task/25028/stat : 25028 (java) S 25024 25026 24680 0 -1 64 58633 0 0 0 256 22 0 0 16 0 8 0 181101651 937607168 75500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25029] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25029/stat : 25029 (java) S 25024 25026 24680 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 75500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25030] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25030/stat : 25030 (java) S 25024 25026 24680 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 75500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25031] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25031/stat : 25031 (java) S 25024 25026 24680 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181101654 937607168 75500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25032] ppid=25024 vsize=915632 CPUtime=0.34
/proc/25026/task/25032/stat : 25032 (java) S 25024 25026 24680 0 -1 64 517 0 0 0 32 2 0 0 16 0 8 0 181101654 937607168 75500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25033] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25033/stat : 25033 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181101654 937607168 75500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25034] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25034/stat : 25034 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181101654 937607168 75500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.13
Current children cumulated vsize (KiB) 915632

[startup+342.687 s]
/proc/loadavg: 2.00 2.09 2.20 3/93 25036
/proc/meminfo: memFree=1410624/2055920 swapFree=4192812/4192956
[pid=25026] ppid=25024 vsize=915632 CPUtime=339.6
/proc/25026/stat : 25026 (java) R 25024 25026 24680 0 -1 0 75800 0 1 0 33917 43 0 0 25 0 8 0 181101646 937607168 75502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074035250 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25026/statm: 228908 75502 2548 14 0 215378 0
[pid=25026/tid=25028] ppid=25024 vsize=915632 CPUtime=2.78
/proc/25026/task/25028/stat : 25028 (java) S 25024 25026 24680 0 -1 64 58633 0 0 0 256 22 0 0 16 0 8 0 181101651 937607168 75502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25029] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25029/stat : 25029 (java) S 25024 25026 24680 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 75502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25030] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25030/stat : 25030 (java) S 25024 25026 24680 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 75502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25031] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25031/stat : 25031 (java) S 25024 25026 24680 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181101654 937607168 75502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25032] ppid=25024 vsize=915632 CPUtime=0.34
/proc/25026/task/25032/stat : 25032 (java) S 25024 25026 24680 0 -1 64 519 0 0 0 32 2 0 0 16 0 8 0 181101654 937607168 75502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25033] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25033/stat : 25033 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181101654 937607168 75502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25034] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25034/stat : 25034 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181101654 937607168 75502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.6
Current children cumulated vsize (KiB) 915632

[startup+402.691 s]
/proc/loadavg: 2.06 2.08 2.19 3/93 25036
/proc/meminfo: memFree=1410496/2055920 swapFree=4192812/4192956
[pid=25026] ppid=25024 vsize=915632 CPUtime=399.06
/proc/25026/stat : 25026 (java) R 25024 25026 24680 0 -1 0 75802 0 1 0 39862 44 0 0 25 0 8 0 181101646 937607168 75503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782710 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25026/statm: 228908 75503 2548 14 0 215378 0
[pid=25026/tid=25028] ppid=25024 vsize=915632 CPUtime=2.78
/proc/25026/task/25028/stat : 25028 (java) S 25024 25026 24680 0 -1 64 58633 0 0 0 256 22 0 0 16 0 8 0 181101651 937607168 75503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25029] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25029/stat : 25029 (java) S 25024 25026 24680 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 75503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25030] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25030/stat : 25030 (java) S 25024 25026 24680 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 75503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25031] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25031/stat : 25031 (java) S 25024 25026 24680 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181101654 937607168 75503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25032] ppid=25024 vsize=915632 CPUtime=0.34
/proc/25026/task/25032/stat : 25032 (java) S 25024 25026 24680 0 -1 64 520 0 0 0 32 2 0 0 16 0 8 0 181101654 937607168 75503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25033] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25033/stat : 25033 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181101654 937607168 75503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25034] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25034/stat : 25034 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181101654 937607168 75503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 399.06
Current children cumulated vsize (KiB) 915632

[startup+462.782 s]
/proc/loadavg: 2.05 2.08 2.18 3/93 25036
/proc/meminfo: memFree=1393024/2055920 swapFree=4192812/4192956
[pid=25026] ppid=25024 vsize=915632 CPUtime=458.6
/proc/25026/stat : 25026 (java) R 25024 25026 24680 0 -1 0 80160 0 1 0 45814 46 0 0 25 0 8 0 181101646 937607168 79856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074040870 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25026/statm: 228908 79856 2548 14 0 215378 0
[pid=25026/tid=25028] ppid=25024 vsize=915632 CPUtime=2.82
/proc/25026/task/25028/stat : 25028 (java) S 25024 25026 24680 0 -1 64 62976 0 0 0 259 23 0 0 16 0 8 0 181101651 937607168 79856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25029] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25029/stat : 25029 (java) S 25024 25026 24680 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 79856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25030] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25030/stat : 25030 (java) S 25024 25026 24680 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181101651 937607168 79856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25031] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25031/stat : 25031 (java) S 25024 25026 24680 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181101654 937607168 79856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25032] ppid=25024 vsize=915632 CPUtime=0.36
/proc/25026/task/25032/stat : 25032 (java) S 25024 25026 24680 0 -1 64 532 0 0 0 34 2 0 0 16 0 8 0 181101654 937607168 79856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25033] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25033/stat : 25033 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181101654 937607168 79856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25026/tid=25034] ppid=25024 vsize=915632 CPUtime=0
/proc/25026/task/25034/stat : 25034 (java) S 25024 25026 24680 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181101654 937607168 79856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.6
Current children cumulated vsize (KiB) 915632

Child status: 0
Real time (s): 479.941
CPU time (s): 475.606
CPU user time (s): 475.084
CPU system time (s): 0.52192
CPU usage (%): 99.0968
Max. virtual memory (cumulated for all children) (KiB): 915636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 475.084
system time used= 0.52192
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80170
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= 11367
involuntary context switches= 28286

runsolver used 0.632903 s user time and 1.50377 s system time

The end

Launcher Data (download as text)

Begin job on node24 on Tue Jan  9 07:17:44 UTC 2007


IDJOB= 233607
IDBENCH= 6620
FILE ID= node24/233607-1168327064

PBS_JOBID= 3503008

Free space on /tmp= 66473 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d022748892add36e7fd0a0a2d512e1b7

RANDOM SEED= 911372102

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:       1703960 kB
Buffers:          9556 kB
Cached:         226268 kB
SwapCached:          0 kB
Active:         146464 kB
Inactive:       156088 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1703960 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2144 kB
Writeback:           0 kB
Mapped:          89140 kB
Slab:            34156 kB
Committed_AS:  3895444 kB
PageTables:       2332 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= 66473 MiB



End job on node24 on Tue Jan  9 07:25:44 UTC 2007