Trace number 233279

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 451.766 455.902

DiagnosticValue
CHECKS568760351
NODES400

General information on the benchmark

Nametaillard/os-taillard-20/
os-taillard-20-105-1.xml
MD5SUM9d005d728c1360dc7f3c9368b8c3efe0
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.763882
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1399
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7600
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.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/233279-1168325234/unknown.xml
0.38	   
0.38	   domains being loaded...
0.44	   
0.44	   variables being loaded...
0.57	     nbVariables=400  nbDomainTypes=400  minDomainSize=1301  maxDomainSize=1399
0.57	       =>  wckTime=0.249  cpuTime=0.19  mem=21M642
0.57	   
0.57	   predicates being loaded...
0.57	   
0.57	   constraints being loaded...
204.56	   
204.56	   INFO : Stopping converting binary constraints (cpu=200.34, mem = 268M733)
205.68	     nbConstraints=7600  nbConvertedConstraints=437  nbConvertConstraintsChecks=788335016  nbExtensionStructures=437
205.68	     nbSharedExtensionStructures=0  nbConflictsStructures=437  nbSharedConflictsStructures=0
205.68	     nbSharedBinaryRepresentations=179287  nbEvaluationManagers=7163  nbSharedEvaluationManagers=0  maxDegree=38
205.68	     maxArity=2
205.68	       =>  wckTime=205.364  cpuTime=201.14  mem=293M896
206.32	   
206.32	   solver IterativeSystematicSolver being built... 
206.80	       =>  wckTime=206.48  cpuTime=201.45  mem=366M101
392.96	   
392.96	   INFO : Stopping ESAC
392.96	   
392.96	   preprocessing
392.96	     nbConstraintChecks=438356836  nbValidityChecks=278609913  nbPropagations=12741  nbRevisions=334256
392.96	     nbUselessRevisions=322448  nbSingletonTests=652  nbEffectiveSingletonTests=0  nbESACBranches=2  nbRemovedValues=0
392.96	     detectedInconsistency=no
392.96	       =>  wckTime=186.137  cpuTime=184.38  mem=366M101
455.78	   
455.78	   search
455.78	     run=0  nbConstraintChecks=130403515  nbValidityChecks=141360754  nbPropagations=19319  nbRevisions=504344
455.78	     nbUselessRevisions=486324  nbAssignments=400  nbFailedAssignments=0  nbBacktracks=0  nbVisitedNodes=401
455.78	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=93
455.78	       =>  wckTime=248.957  cpuTime=246.62  mem=376M188
455.78	   
455.78	   global
455.78	     nbConstraintChecks=568760351  nbValidityChecks=419970667  nbPropagations=32060  nbRevisions=838600
455.78	     nbUselessRevisions=808772  nbRestartNogoods=0  solvingWckTime=248.96  solvingCpuTime=246.62  expiredTime=no
455.78	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=448.15
455.78	       =>  wckTime=455.466  cpuTime=448.1  mem=376M188
455.78	   
455.78	s SATISFIABLE
455.78	v 844 550 694 327 1238 1014 580 930 0 1064 264 239 1157 645 408 391 175 99 485 760 59 1248 934 657 1209 575 791 833 1128 336 1014 391 194 463 155 631 0 244 730 550 306 339 273 1042 470 1146 434 326 972 765 92 698 599 505 0 176 728 889 1003 1225 1079 1146 188 208 97 0 678 1225 341 958 194 251 427 593 791 510 877 221 816 917 1235 900 92 209 247 619 525 72 947 422 666 537 720 184 793 361 750 239 59 0 268 641 1065 99 896 845 712 839 405 1082 0 459 968 1238 833 1029 554 762 185 326 930 492 315 81 337 715 949 550 1213 1282 145 422 667 0 908 1097 805 463 281 209 918 256 929 949 463 526 831 860 355 580 675 174 89 0 251 247 229 402 762 1306 930 415 1301 807 721 552 668 0 337 918 612 902 488 765 72 845 875 168 256 934 485 960 289 567 0 305 1032 989 410 94 823 791 698 272 1177 1109 645 185 745 900 90 671 881 1282 189 405 972 369 221 1138 599 792 1042 244 1213 454 0 273 754 1078 1003 1248 831 671 503 1084 94 1303 355 1337 720 0 879 434 1179 960 1138 207 575 305 756 329 411 1064 745 643 712 994 1023 902 597 1374 813 55 85 525 190 434 36 0 670 1254 896 1130 272 0 965 579 164 1328 1043 343 1014 174 1032 415 801 754 503 94 740 89 552 934 341 1078 860 524 979 1014 188 823 1209 1135 675 427 0 266 177 194 1252 99 506 879 1040 426 590 594 237 1138 457 0 746 394 633 81 771 155 968 315 858 1265 1128 965 331 336 266 902 1002 524 413 1064 1177 0 1032 97 194 793 715 621 590 1115 189 669 427 771 1238 1178 526 369 1054 852 1319 934 268 36 335 0 82 340 826 253 1146 208 1079 99 0 935 1014 670 593 463 1290 550 434 153 343 1248 1120 746 1084 326 188 514 760 0 411 612 730 831 958 255 394 694 1235 97 883 1138 500 1278 
455.78	d NODES 400
455.78	d CHECKS 568760351
455.78	   
455.78	   totalWckTime=455.548  totalCpuTime=448.16

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/node10/watcher-233279-1168325234 -o ROOT/results/node10/solver-233279-1168325234 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233279-1168325234/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.97 1.97 1.91 4/87 6974
/proc/meminfo: memFree=1235720/2055920 swapFree=4178216/4192956
[pid=6973] ppid=6971 vsize=906644 CPUtime=0.02
/proc/6973/stat : 6973 (java) S 6971 6973 6906 0 -1 0 2069 0 1 0 2 0 0 0 18 0 2 0 180918619 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/6973/statm: 226661 1818 1036 14 0 214244 0
[pid=6973/tid=6975] ppid=6971 vsize=906644 CPUtime=0
/proc/6973/task/6975/stat : 6975 (java) R 6971 6973 6906 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 180918623 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.10569 s]
/proc/loadavg: 1.97 1.97 1.91 4/87 6974
/proc/meminfo: memFree=1235720/2055920 swapFree=4178216/4192956
[pid=6973] ppid=6971 vsize=914988 CPUtime=0.08
/proc/6973/stat : 6973 (java) R 6971 6973 6906 0 -1 0 3000 0 1 0 7 1 0 0 17 0 8 0 180918619 936947712 2746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 9371270 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6973/statm: 228747 2746 1428 14 0 215242 0
[pid=6973/tid=6975] ppid=6971 vsize=914988 CPUtime=0
/proc/6973/task/6975/stat : 6975 (java) S 6971 6973 6906 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 180918623 936947712 2746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.513747 s]
/proc/loadavg: 1.97 1.97 1.91 4/87 6974
/proc/meminfo: memFree=1235720/2055920 swapFree=4178216/4192956
[pid=6973] ppid=6971 vsize=915328 CPUtime=0.49
/proc/6973/stat : 6973 (java) R 6971 6973 6906 0 -1 0 7659 0 1 0 45 4 0 0 18 0 8 0 180918619 937295872 7398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072934388 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6973/statm: 228832 7398 2136 14 0 215302 0
[pid=6973/tid=6975] ppid=6971 vsize=915328 CPUtime=0
/proc/6973/task/6975/stat : 6975 (java) S 6971 6973 6906 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 180918623 937295872 7398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33685 s]
/proc/loadavg: 1.97 1.97 1.91 4/94 6981
/proc/meminfo: memFree=1163920/2055920 swapFree=4178216/4192956
[pid=6973] ppid=6971 vsize=915632 CPUtime=1.31
/proc/6973/stat : 6973 (java) R 6971 6973 6906 0 -1 0 20300 0 1 0 121 10 0 0 20 0 8 0 180918619 937607168 20038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788668 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6973/statm: 228908 20038 2178 14 0 215378 0
[pid=6973/tid=6975] ppid=6971 vsize=915632 CPUtime=0.04
/proc/6973/task/6975/stat : 6975 (java) S 6971 6973 6906 0 -1 64 3708 0 0 0 3 1 0 0 16 0 8 0 180918623 937607168 20038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6976] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6976/stat : 6976 (java) S 6971 6973 6906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180918624 937607168 20038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6977] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6977/stat : 6977 (java) S 6971 6973 6906 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180918624 937607168 20038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6978] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6978/stat : 6978 (java) S 6971 6973 6906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180918627 937607168 20038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6979] ppid=6971 vsize=915632 CPUtime=0.17
/proc/6973/task/6979/stat : 6979 (java) S 6971 6973 6906 0 -1 64 401 0 0 0 16 1 0 0 19 0 8 0 180918627 937607168 20038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6980] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6980/stat : 6980 (java) S 6971 6973 6906 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 180918627 937607168 20038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6981] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6981/stat : 6981 (java) S 6971 6973 6906 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180918627 937607168 20038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915632

[startup+2.99008 s]
/proc/loadavg: 1.97 1.97 1.91 3/94 6981
/proc/meminfo: memFree=1163856/2055920 swapFree=4178216/4192956
[pid=6973] ppid=6971 vsize=915632 CPUtime=2.94
/proc/6973/stat : 6973 (java) R 6971 6973 6906 0 -1 0 20307 0 1 0 284 10 0 0 25 0 8 0 180918619 937607168 20043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789963 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6973/statm: 228908 20043 2178 14 0 215378 0
[pid=6973/tid=6975] ppid=6971 vsize=915632 CPUtime=0.04
/proc/6973/task/6975/stat : 6975 (java) S 6971 6973 6906 0 -1 64 3708 0 0 0 3 1 0 0 17 0 8 0 180918623 937607168 20043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6976] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6976/stat : 6976 (java) S 6971 6973 6906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180918624 937607168 20043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6977] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6977/stat : 6977 (java) S 6971 6973 6906 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180918624 937607168 20043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6978] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6978/stat : 6978 (java) S 6971 6973 6906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180918627 937607168 20043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6979] ppid=6971 vsize=915632 CPUtime=0.17
/proc/6973/task/6979/stat : 6979 (java) S 6971 6973 6906 0 -1 64 404 0 0 0 16 1 0 0 16 0 8 0 180918627 937607168 20043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6980] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6980/stat : 6980 (java) S 6971 6973 6906 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 180918627 937607168 20043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6981] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6981/stat : 6981 (java) S 6971 6973 6906 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180918627 937607168 20043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915632

[startup+6.28153 s]
/proc/loadavg: 1.97 1.97 1.91 3/94 6981
/proc/meminfo: memFree=1163856/2055920 swapFree=4178216/4192956
[pid=6973] ppid=6971 vsize=915632 CPUtime=6.2
/proc/6973/stat : 6973 (java) R 6971 6973 6906 0 -1 0 20307 0 1 0 610 10 0 0 25 0 8 0 180918619 937607168 20043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788694 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6973/statm: 228908 20043 2178 14 0 215378 0
[pid=6973/tid=6975] ppid=6971 vsize=915632 CPUtime=0.04
/proc/6973/task/6975/stat : 6975 (java) S 6971 6973 6906 0 -1 64 3708 0 0 0 3 1 0 0 16 0 8 0 180918623 937607168 20043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6976] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6976/stat : 6976 (java) S 6971 6973 6906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180918624 937607168 20043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6977] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6977/stat : 6977 (java) S 6971 6973 6906 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180918624 937607168 20043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6978] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6978/stat : 6978 (java) S 6971 6973 6906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180918627 937607168 20043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6979] ppid=6971 vsize=915632 CPUtime=0.17
/proc/6973/task/6979/stat : 6979 (java) S 6971 6973 6906 0 -1 64 404 0 0 0 16 1 0 0 16 0 8 0 180918627 937607168 20043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6980] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6980/stat : 6980 (java) S 6971 6973 6906 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 180918627 937607168 20043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6981] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6981/stat : 6981 (java) S 6971 6973 6906 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180918627 937607168 20043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915632

[startup+12.7704 s]
/proc/loadavg: 1.97 1.97 1.91 3/94 6981
/proc/meminfo: memFree=1163984/2055920 swapFree=4178216/4192956
[pid=6973] ppid=6971 vsize=915632 CPUtime=12.64
/proc/6973/stat : 6973 (java) R 6971 6973 6906 0 -1 0 20307 0 1 0 1254 10 0 0 25 0 8 0 180918619 937607168 20043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072896998 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6973/statm: 228908 20043 2178 14 0 215378 0
[pid=6973/tid=6975] ppid=6971 vsize=915632 CPUtime=0.04
/proc/6973/task/6975/stat : 6975 (java) S 6971 6973 6906 0 -1 64 3708 0 0 0 3 1 0 0 16 0 8 0 180918623 937607168 20043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6976] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6976/stat : 6976 (java) S 6971 6973 6906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180918624 937607168 20043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6977] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6977/stat : 6977 (java) S 6971 6973 6906 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180918624 937607168 20043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6978] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6978/stat : 6978 (java) S 6971 6973 6906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180918627 937607168 20043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6979] ppid=6971 vsize=915632 CPUtime=0.17
/proc/6973/task/6979/stat : 6979 (java) S 6971 6973 6906 0 -1 64 404 0 0 0 16 1 0 0 16 0 8 0 180918627 937607168 20043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6980] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6980/stat : 6980 (java) S 6971 6973 6906 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 180918627 937607168 20043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6981] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6981/stat : 6981 (java) S 6971 6973 6906 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180918627 937607168 20043 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.6122 s]
/proc/loadavg: 1.98 1.97 1.91 3/94 6981
/proc/meminfo: memFree=1131600/2055920 swapFree=4178216/4192956
[pid=6973] ppid=6971 vsize=915632 CPUtime=25.36
/proc/6973/stat : 6973 (java) R 6971 6973 6906 0 -1 0 28408 0 1 0 2521 15 0 0 25 0 8 0 180918619 937607168 28143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789916 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6973/statm: 228908 28143 2178 14 0 215378 0
[pid=6973/tid=6975] ppid=6971 vsize=915632 CPUtime=0.26
/proc/6973/task/6975/stat : 6975 (java) S 6971 6973 6906 0 -1 64 11807 0 0 0 21 5 0 0 16 0 8 0 180918623 937607168 28143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6976] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6976/stat : 6976 (java) S 6971 6973 6906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180918624 937607168 28143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6977] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6977/stat : 6977 (java) S 6971 6973 6906 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180918624 937607168 28143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6978] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6978/stat : 6978 (java) S 6971 6973 6906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180918627 937607168 28143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6979] ppid=6971 vsize=915632 CPUtime=0.17
/proc/6973/task/6979/stat : 6979 (java) S 6971 6973 6906 0 -1 64 405 0 0 0 16 1 0 0 16 0 8 0 180918627 937607168 28143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6980] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6980/stat : 6980 (java) S 6971 6973 6906 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 180918627 937607168 28143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6981] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6981/stat : 6981 (java) S 6971 6973 6906 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180918627 937607168 28143 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.2266 s]
/proc/loadavg: 1.98 1.97 1.91 3/94 6981
/proc/meminfo: memFree=1131728/2055920 swapFree=4178216/4192956
[pid=6973] ppid=6971 vsize=915632 CPUtime=50.74
/proc/6973/stat : 6973 (java) R 6971 6973 6906 0 -1 0 28410 0 1 0 5059 15 0 0 25 0 8 0 180918619 937607168 28145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788843 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6973/statm: 228908 28145 2178 14 0 215378 0
[pid=6973/tid=6975] ppid=6971 vsize=915632 CPUtime=0.26
/proc/6973/task/6975/stat : 6975 (java) S 6971 6973 6906 0 -1 64 11807 0 0 0 21 5 0 0 16 0 8 0 180918623 937607168 28145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6976] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6976/stat : 6976 (java) S 6971 6973 6906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180918624 937607168 28145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6977] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6977/stat : 6977 (java) S 6971 6973 6906 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180918624 937607168 28145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6978] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6978/stat : 6978 (java) S 6971 6973 6906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180918627 937607168 28145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6979] ppid=6971 vsize=915632 CPUtime=0.17
/proc/6973/task/6979/stat : 6979 (java) S 6971 6973 6906 0 -1 64 407 0 0 0 16 1 0 0 17 0 8 0 180918627 937607168 28145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6980] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6980/stat : 6980 (java) S 6971 6973 6906 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 180918627 937607168 28145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6981] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6981/stat : 6981 (java) S 6971 6973 6906 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180918627 937607168 28145 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.45 s]
/proc/loadavg: 1.99 1.97 1.91 3/94 6981
/proc/meminfo: memFree=1051408/2055920 swapFree=4178216/4192956
[pid=6973] ppid=6971 vsize=915632 CPUtime=101.51
/proc/6973/stat : 6973 (java) R 6971 6973 6906 0 -1 0 48461 0 1 0 10125 26 0 0 25 0 8 0 180918619 937607168 48193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801049 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6973/statm: 228908 48193 2179 14 0 215378 0
[pid=6973/tid=6975] ppid=6971 vsize=915632 CPUtime=0.95
/proc/6973/task/6975/stat : 6975 (java) S 6971 6973 6906 0 -1 64 31839 0 0 0 81 14 0 0 16 0 8 0 180918623 937607168 48193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6976] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6976/stat : 6976 (java) S 6971 6973 6906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180918624 937607168 48193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6977] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6977/stat : 6977 (java) S 6971 6973 6906 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180918624 937607168 48193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6978] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6978/stat : 6978 (java) S 6971 6973 6906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180918627 937607168 48193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6979] ppid=6971 vsize=915632 CPUtime=0.19
/proc/6973/task/6979/stat : 6979 (java) S 6971 6973 6906 0 -1 64 422 0 0 0 18 1 0 0 17 0 8 0 180918627 937607168 48193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6980] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6980/stat : 6980 (java) S 6971 6973 6906 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 180918627 937607168 48193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6981] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6981/stat : 6981 (java) S 6971 6973 6906 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180918627 937607168 48193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 915632

[startup+162.514 s]
/proc/loadavg: 1.99 1.97 1.91 3/95 6982
/proc/meminfo: memFree=968328/2055920 swapFree=4178216/4192956
[pid=6973] ppid=6971 vsize=915632 CPUtime=161.07
/proc/6973/stat : 6973 (java) R 6971 6973 6906 0 -1 0 69183 0 1 0 16070 37 0 0 25 0 8 0 180918619 937607168 68913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6973/statm: 228908 68913 2179 14 0 215378 0
[pid=6973/tid=6975] ppid=6971 vsize=915632 CPUtime=1.63
/proc/6973/task/6975/stat : 6975 (java) S 6971 6973 6906 0 -1 64 52559 0 0 0 140 23 0 0 16 0 8 0 180918623 937607168 68913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6976] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6976/stat : 6976 (java) S 6971 6973 6906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180918624 937607168 68913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6977] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6977/stat : 6977 (java) S 6971 6973 6906 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180918624 937607168 68913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6978] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6978/stat : 6978 (java) S 6971 6973 6906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180918627 937607168 68913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6979] ppid=6971 vsize=915632 CPUtime=0.19
/proc/6973/task/6979/stat : 6979 (java) S 6971 6973 6906 0 -1 64 422 0 0 0 18 1 0 0 17 0 8 0 180918627 937607168 68913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6980] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6980/stat : 6980 (java) S 6971 6973 6906 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 180918627 937607168 68913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6981] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6981/stat : 6981 (java) S 6971 6973 6906 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180918627 937607168 68913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.07
Current children cumulated vsize (KiB) 915632

[startup+222.586 s]
/proc/loadavg: 1.99 1.97 1.91 3/95 6982
/proc/meminfo: memFree=846216/2055920 swapFree=4178216/4192956
[pid=6973] ppid=6971 vsize=915632 CPUtime=220.62
/proc/6973/stat : 6973 (java) R 6971 6973 6906 0 -1 0 100030 0 1 0 22011 51 0 0 25 0 8 0 180918619 937607168 99748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788656 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6973/statm: 228908 99748 2545 14 0 215378 0
[pid=6973/tid=6975] ppid=6971 vsize=915632 CPUtime=2.99
/proc/6973/task/6975/stat : 6975 (java) S 6971 6973 6906 0 -1 64 82905 0 0 0 264 35 0 0 16 0 8 0 180918623 937607168 99748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6976] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6976/stat : 6976 (java) S 6971 6973 6906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180918624 937607168 99748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6977] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6977/stat : 6977 (java) S 6971 6973 6906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180918624 937607168 99748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6978] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6978/stat : 6978 (java) S 6971 6973 6906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180918627 937607168 99748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6979] ppid=6971 vsize=915632 CPUtime=0.3
/proc/6973/task/6979/stat : 6979 (java) S 6971 6973 6906 0 -1 64 479 0 0 0 28 2 0 0 16 0 8 0 180918627 937607168 99748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6980] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6980/stat : 6980 (java) S 6971 6973 6906 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 180918627 937607168 99748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6981] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6981/stat : 6981 (java) S 6971 6973 6906 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180918627 937607168 99748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.62
Current children cumulated vsize (KiB) 915632

[startup+282.646 s]
/proc/loadavg: 1.99 1.97 1.91 3/95 6982
/proc/meminfo: memFree=846216/2055920 swapFree=4178216/4192956
[pid=6973] ppid=6971 vsize=915632 CPUtime=280.13
/proc/6973/stat : 6973 (java) R 6971 6973 6906 0 -1 0 100043 0 1 0 27962 51 0 0 25 0 8 0 180918619 937607168 99753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074035435 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6973/statm: 228908 99753 2545 14 0 215378 0
[pid=6973/tid=6975] ppid=6971 vsize=915632 CPUtime=2.99
/proc/6973/task/6975/stat : 6975 (java) S 6971 6973 6906 0 -1 64 82905 0 0 0 264 35 0 0 16 0 8 0 180918623 937607168 99753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6976] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6976/stat : 6976 (java) S 6971 6973 6906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180918624 937607168 99753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6977] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6977/stat : 6977 (java) S 6971 6973 6906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180918624 937607168 99753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6978] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6978/stat : 6978 (java) S 6971 6973 6906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180918627 937607168 99753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6979] ppid=6971 vsize=915632 CPUtime=0.31
/proc/6973/task/6979/stat : 6979 (java) S 6971 6973 6906 0 -1 64 489 0 0 0 29 2 0 0 15 0 8 0 180918627 937607168 99753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6980] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6980/stat : 6980 (java) S 6971 6973 6906 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 180918627 937607168 99753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6981] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6981/stat : 6981 (java) S 6971 6973 6906 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180918627 937607168 99753 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.737 s]
/proc/loadavg: 1.99 1.97 1.91 3/95 6982
/proc/meminfo: memFree=846160/2055920 swapFree=4178216/4192956
[pid=6973] ppid=6971 vsize=915632 CPUtime=339.67
/proc/6973/stat : 6973 (java) R 6971 6973 6906 0 -1 0 100051 0 1 0 33915 52 0 0 25 0 8 0 180918619 937607168 99759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792181 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6973/statm: 228908 99759 2547 14 0 215378 0
[pid=6973/tid=6975] ppid=6971 vsize=915632 CPUtime=2.99
/proc/6973/task/6975/stat : 6975 (java) S 6971 6973 6906 0 -1 64 82905 0 0 0 264 35 0 0 16 0 8 0 180918623 937607168 99759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6976] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6976/stat : 6976 (java) S 6971 6973 6906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180918624 937607168 99759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6977] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6977/stat : 6977 (java) S 6971 6973 6906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180918624 937607168 99759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6978] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6978/stat : 6978 (java) S 6971 6973 6906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180918627 937607168 99759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6979] ppid=6971 vsize=915632 CPUtime=0.32
/proc/6973/task/6979/stat : 6979 (java) S 6971 6973 6906 0 -1 64 493 0 0 0 30 2 0 0 17 0 8 0 180918627 937607168 99759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6980] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6980/stat : 6980 (java) S 6971 6973 6906 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 180918627 937607168 99759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6981] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6981/stat : 6981 (java) S 6971 6973 6906 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180918627 937607168 99759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.67
Current children cumulated vsize (KiB) 915632

[startup+402.812 s]
/proc/loadavg: 1.99 1.97 1.91 3/95 6982
/proc/meminfo: memFree=846096/2055920 swapFree=4178216/4192956
[pid=6973] ppid=6971 vsize=915632 CPUtime=399.2
/proc/6973/stat : 6973 (java) R 6971 6973 6906 0 -1 0 100061 0 1 0 39867 53 0 0 25 0 8 0 180918619 937607168 99766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788653 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6973/statm: 228908 99766 2547 14 0 215378 0
[pid=6973/tid=6975] ppid=6971 vsize=915632 CPUtime=2.99
/proc/6973/task/6975/stat : 6975 (java) S 6971 6973 6906 0 -1 64 82905 0 0 0 264 35 0 0 16 0 8 0 180918623 937607168 99766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6976] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6976/stat : 6976 (java) S 6971 6973 6906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180918624 937607168 99766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6977] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6977/stat : 6977 (java) S 6971 6973 6906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180918624 937607168 99766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6978] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6978/stat : 6978 (java) S 6971 6973 6906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180918627 937607168 99766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6979] ppid=6971 vsize=915632 CPUtime=0.33
/proc/6973/task/6979/stat : 6979 (java) S 6971 6973 6906 0 -1 64 500 0 0 0 31 2 0 0 16 0 8 0 180918627 937607168 99766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6980] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6980/stat : 6980 (java) S 6971 6973 6906 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 180918627 937607168 99766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6973/tid=6981] ppid=6971 vsize=915632 CPUtime=0
/proc/6973/task/6981/stat : 6981 (java) S 6971 6973 6906 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180918627 937607168 99766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 399.2
Current children cumulated vsize (KiB) 915632

Child status: 0
Real time (s): 455.902
CPU time (s): 451.766
CPU user time (s): 451.16
CPU system time (s): 0.605907
CPU usage (%): 99.0929
Max. virtual memory (cumulated for all children) (KiB): 915632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 451.16
system time used= 0.605907
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100071
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= 10529
involuntary context switches= 18006

runsolver used 0.605907 s user time and 1.41778 s system time

The end

Launcher Data (download as text)

Begin job on node10 on Tue Jan  9 06:47:15 UTC 2007


IDJOB= 233279
IDBENCH= 6591
FILE ID= node10/233279-1168325234

PBS_JOBID= 3502984

Free space on /tmp= 66558 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  9d005d728c1360dc7f3c9368b8c3efe0

RANDOM SEED= 812438468

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1236136 kB
Buffers:         87340 kB
Cached:         611860 kB
SwapCached:       2628 kB
Active:         429972 kB
Inactive:       327176 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1236136 kB
SwapTotal:     4192956 kB
SwapFree:      4178216 kB
Dirty:            2864 kB
Writeback:           0 kB
Mapped:          68200 kB
Slab:            47344 kB
Committed_AS:  5100024 kB
PageTables:       2236 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= 66558 MiB



End job on node10 on Tue Jan  9 06:54:51 UTC 2007