Trace number 233069

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 ACSAT 481.424 485.475

DiagnosticValue
CHECKS1133395604
NODES7092

General information on the benchmark

Nametaillard/os-taillard-20/
os-taillard-20-100-1.xml
MD5SUM5a4c32da7b2151a1595ab2d1cc4dfcd9
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 benchmark1.08383
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1332
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.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=mac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/233069-1168081324/unknown.xml
0.35	   
0.35	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.51	     nbVariables=400  nbDomainTypes=400  minDomainSize=1234  maxDomainSize=1332
0.52	       =>  wckTime=0.221  cpuTime=0.15  mem=20M611
0.52	   
0.52	   predicates being loaded...
0.52	   
0.52	   constraints being loaded...
4.61	   
4.61	   INFO : Stopping converting binary constraints (cpu=4.19, mem = 38M355)
5.71	     nbConstraints=7600  nbConvertedConstraints=9  nbConvertConstraintsChecks=14557830  nbExtensionStructures=9
5.71	     nbSharedExtensionStructures=0  nbConflictsStructures=9  nbSharedConflictsStructures=0
5.71	     nbSharedBinaryRepresentations=1288  nbEvaluationManagers=7591  nbSharedEvaluationManagers=0  maxDegree=38
5.71	     maxArity=2
5.71	       =>  wckTime=5.418  cpuTime=5.08  mem=56M394
5.86	   
5.86	   solver IterativeSystematicSolver being built... 
6.30	       =>  wckTime=6.002  cpuTime=5.36  mem=128M914
38.48	   
38.48	   preprocessing
38.48	     nbConstraintChecks=85807427  nbValidityChecks=527223  nbPropagations=400  nbRevisions=15182
38.48	     nbUselessRevisions=15182  nbRemovedValues=0  detectedInconsistency=no
38.48	       =>  wckTime=32.164  cpuTime=31.92  mem=128M914
121.48	   
121.48	   search
121.48	     run=0  nbConstraintChecks=196464951  nbValidityChecks=146393566  nbPropagations=7674  nbRevisions=216454
121.48	     nbUselessRevisions=205097  nbAssignments=429  nbFailedAssignments=220  nbBacktracks=10  nbVisitedNodes=660
121.48	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=77
121.48	       =>  wckTime=115.156  cpuTime=114.19  mem=136M907
184.51	   
184.51	   search
184.51	     run=1  nbConstraintChecks=352867375  nbValidityChecks=283200100  nbPropagations=22080  nbRevisions=619409
184.51	     nbUselessRevisions=587665  nbAssignments=790  nbFailedAssignments=279  nbBacktracks=26  nbVisitedNodes=1092
184.51	     nbRestartNogoods=10  mapSize=25  nbInferences=0  nbTooLargeKeys=155
184.51	       =>  wckTime=178.196  cpuTime=176.7  mem=143M988
240.90	   
240.90	   search
240.90	     run=2  nbConstraintChecks=486711012  nbValidityChecks=438707336  nbPropagations=47025  nbRevisions=1277389
240.90	     nbUselessRevisions=1205849  nbAssignments=1498  nbFailedAssignments=700  nbBacktracks=48  nbVisitedNodes=2243
240.90	     nbRestartNogoods=37  mapSize=47  nbInferences=0  nbTooLargeKeys=228
240.90	       =>  wckTime=234.578  cpuTime=232.55  mem=131M491
298.67	   
298.67	   search
298.67	     run=3  nbConstraintChecks=622374417  nbValidityChecks=601816472  nbPropagations=82561  nbRevisions=2194785
298.67	     nbUselessRevisions=2063358  nbAssignments=2163  nbFailedAssignments=1103  nbBacktracks=81  nbVisitedNodes=3344
298.67	     nbRestartNogoods=50  mapSize=80  nbInferences=0  nbTooLargeKeys=296
298.67	       =>  wckTime=292.353  cpuTime=289.81  mem=138M920
363.72	   
363.72	   search
363.72	     run=4  nbConstraintChecks=768439360  nbValidityChecks=804890216  nbPropagations=140905  nbRevisions=3583382
363.73	     nbUselessRevisions=3332660  nbAssignments=4175  nbFailedAssignments=2786  nbBacktracks=131  nbVisitedNodes=7088
363.73	     nbRestartNogoods=53  mapSize=129  nbInferences=0  nbTooLargeKeys=366
363.73	       =>  wckTime=357.405  cpuTime=354.31  mem=147M52
436.60	   
436.60	   search
436.61	     run=5  nbConstraintChecks=933946403  nbValidityChecks=1009941247  nbPropagations=225666  nbRevisions=5484195
436.61	     nbUselessRevisions=5037970  nbAssignments=6689  nbFailedAssignments=4937  nbBacktracks=206  nbVisitedNodes=11825
436.61	     nbRestartNogoods=66  mapSize=204  nbInferences=0  nbTooLargeKeys=434
436.61	       =>  wckTime=430.286  cpuTime=426.57  mem=156M706
485.40	   
485.40	   search
485.40	     run=6  nbConstraintChecks=1047588177  nbValidityChecks=1144498792  nbPropagations=317050  nbRevisions=7561782
485.40	     nbUselessRevisions=6913594  nbAssignments=7092  nbFailedAssignments=4940  nbBacktracks=206  nbVisitedNodes=12231
485.40	     nbRestartNogoods=130  mapSize=204  nbInferences=0  nbTooLargeKeys=503
485.40	       =>  wckTime=479.078  cpuTime=474.94  mem=165M477
485.40	   
485.40	   global
485.40	     nbConstraintChecks=1133395604  nbValidityChecks=1145026015  nbPropagations=317450  nbRevisions=7576964
485.40	     nbUselessRevisions=6928776  nbRestartNogoods=130  solvingWckTime=479.079  solvingCpuTime=474.94  expiredTime=no
485.40	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=480.37
485.40	       =>  wckTime=485.106  cpuTime=480.32  mem=165M477
485.40	   
485.40	s SATISFIABLE
485.40	v 1034 42 1163 970 1224 412 69 582 313 1081 666 720 1147 491 179 149 227 445 881 815 80 204 1129 1254 41 835 796 1021 633 583 390 898 848 1189 0 775 279 491 714 29 286 189 844 724 396 0 970 768 40 300 106 58 457 1190 878 536 29 633 783 1054 577 975 1235 280 64 318 644 1106 491 197 848 760 408 0 906 1146 720 155 291 179 158 18 675 125 242 78 1063 1162 64 853 286 553 343 536 375 59 937 996 504 763 1057 143 1130 311 819 891 1284 304 942 1115 0 487 996 214 135 99 653 582 740 397 1083 961 388 897 494 210 120 49 1291 0 1019 807 437 679 844 579 1132 868 1205 309 1029 214 0 382 43 975 1170 787 740 397 653 920 835 115 106 38 20 492 313 553 888 236 533 1235 1106 815 309 1034 0 1223 941 120 457 78 719 898 389 631 155 416 261 96 514 1039 1242 942 1111 760 163 0 577 554 408 87 706 1090 1189 789 343 654 408 242 165 1039 507 1254 1147 720 1303 68 0 916 1111 143 600 726 1165 320 203 540 492 1129 115 66 595 667 221 457 863 41 783 303 1184 163 388 740 0 1070 974 935 1130 452 533 760 1008 855 1097 136 244 0 972 1199 168 920 58 1025 338 669 300 322 595 452 1063 1163 807 878 1179 972 40 304 18 679 0 202 29 507 66 760 1228 382 185 853 268 140 68 822 1125 396 1025 1170 403 359 23 0 724 412 941 577 509 652 1113 108 937 238 140 26 839 1052 736 573 0 652 69 1173 472 218 197 390 891 320 1057 0 916 494 381 855 778 158 1194 531 965 714 628 397 665 284 87 221 1242 1100 318 538 239 476 733 932 1125 397 1291 210 1230 970 1070 114 55 0 646 1194 863 819 1057 160 1179 112 125 989 666 311 390 478 554 760 1276 946 1114 834 0 614 888 244 114 974 239 478 168 381 306 697 841 1043 322 43 649 613 0 558 1114 877 806 1224 
485.40	d NODES 7092
485.40	d CHECKS 1133395604
485.40	   
485.40	   totalWckTime=485.182  totalCpuTime=480.38

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/node61/watcher-233069-1168081324 -o ROOT/results/node61/solver-233069-1168081324 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/233069-1168081324/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: 0.61 0.90 0.98 3/74 7422
/proc/meminfo: memFree=1333352/2055920 swapFree=4192812/4192956
[pid=7421] ppid=7419 vsize=1784 CPUtime=0
/proc/7421/stat : 7421 (java) R 7419 7421 7065 0 -1 0 189 0 0 0 0 0 0 0 18 0 1 0 156531449 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7421/statm: 447 159 123 14 0 92 0

[startup+0.104363 s]
/proc/loadavg: 0.61 0.90 0.98 3/74 7422
/proc/meminfo: memFree=1333352/2055920 swapFree=4192812/4192956
[pid=7421] ppid=7419 vsize=915848 CPUtime=0.08
/proc/7421/stat : 7421 (java) R 7419 7421 7065 0 -1 0 3019 0 1 0 6 2 0 0 17 0 8 0 156531449 937828352 2765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155274352 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7421/statm: 228962 2765 1437 14 0 215457 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 915848

[startup+0.516436 s]
/proc/loadavg: 0.61 0.90 0.98 3/74 7422
/proc/meminfo: memFree=1333352/2055920 swapFree=4192812/4192956
[pid=7421] ppid=7419 vsize=916076 CPUtime=0.49
/proc/7421/stat : 7421 (java) R 7419 7421 7065 0 -1 0 9326 0 1 0 43 6 0 0 16 0 8 0 156531449 938061824 9065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155769995 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7421/statm: 229019 9065 2136 14 0 215489 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 916076

[startup+1.33757 s]
/proc/loadavg: 0.61 0.90 0.98 2/81 7431
/proc/meminfo: memFree=1262128/2055920 swapFree=4192812/4192956
[pid=7421] ppid=7419 vsize=916324 CPUtime=1.31
/proc/7421/stat : 7421 (java) R 7419 7421 7065 0 -1 0 20163 0 1 0 120 11 0 0 19 0 8 0 156531449 938315776 19901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788638 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7421/statm: 229081 19901 2178 14 0 215551 0
[pid=7421/tid=7423] ppid=7419 vsize=916324 CPUtime=0.04
/proc/7421/task/7423/stat : 7423 (java) S 7419 7421 7065 0 -1 64 3559 0 0 0 3 1 0 0 17 0 8 0 156531453 938315776 19901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7421/tid=7424] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7424/stat : 7424 (java) S 7419 7421 7065 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156531453 938315776 19901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7421/tid=7425] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7425/stat : 7425 (java) S 7419 7421 7065 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156531453 938315776 19901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7421/tid=7426] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7426/stat : 7426 (java) S 7419 7421 7065 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156531456 938315776 19901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7427] ppid=7419 vsize=916324 CPUtime=0.15
/proc/7421/task/7427/stat : 7427 (java) S 7419 7421 7065 0 -1 64 409 0 0 0 15 0 0 0 16 0 8 0 156531456 938315776 19901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7421/tid=7428] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7428/stat : 7428 (java) S 7419 7421 7065 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156531456 938315776 19901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7429] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7429/stat : 7429 (java) S 7419 7421 7065 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156531457 938315776 19901 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) 916324

[startup+2.97486 s]
/proc/loadavg: 0.64 0.90 0.98 2/81 7431
/proc/meminfo: memFree=1262128/2055920 swapFree=4192812/4192956
[pid=7421] ppid=7419 vsize=916324 CPUtime=2.95
/proc/7421/stat : 7421 (java) R 7419 7421 7065 0 -1 0 20168 0 1 0 284 11 0 0 25 0 8 0 156531449 938315776 19905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792056 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7421/statm: 229081 19905 2178 14 0 215551 0
[pid=7421/tid=7423] ppid=7419 vsize=916324 CPUtime=0.04
/proc/7421/task/7423/stat : 7423 (java) S 7419 7421 7065 0 -1 64 3559 0 0 0 3 1 0 0 17 0 8 0 156531453 938315776 19905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7421/tid=7424] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7424/stat : 7424 (java) S 7419 7421 7065 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156531453 938315776 19905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7421/tid=7425] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7425/stat : 7425 (java) S 7419 7421 7065 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156531453 938315776 19905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7421/tid=7426] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7426/stat : 7426 (java) S 7419 7421 7065 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156531456 938315776 19905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7427] ppid=7419 vsize=916324 CPUtime=0.15
/proc/7421/task/7427/stat : 7427 (java) S 7419 7421 7065 0 -1 64 413 0 0 0 15 0 0 0 15 0 8 0 156531456 938315776 19905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7421/tid=7428] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7428/stat : 7428 (java) S 7419 7421 7065 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156531456 938315776 19905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7429] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7429/stat : 7429 (java) S 7419 7421 7065 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156531457 938315776 19905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 916324

[startup+6.27145 s]
/proc/loadavg: 0.64 0.90 0.98 2/81 7434
/proc/meminfo: memFree=1246576/2055920 swapFree=4192812/4192956
[pid=7421] ppid=7419 vsize=916324 CPUtime=6.22
/proc/7421/stat : 7421 (java) R 7419 7421 7065 0 -1 0 42400 0 1 0 600 22 0 0 16 0 8 0 156531449 938315776 42131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155770128 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7421/statm: 229081 42131 2526 14 0 215551 0
[pid=7421/tid=7423] ppid=7419 vsize=916324 CPUtime=0.4
/proc/7421/task/7423/stat : 7423 (java) S 7419 7421 7065 0 -1 64 25332 0 0 0 30 10 0 0 17 0 8 0 156531453 938315776 42131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7421/tid=7424] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7424/stat : 7424 (java) S 7419 7421 7065 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156531453 938315776 42131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7421/tid=7425] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7425/stat : 7425 (java) S 7419 7421 7065 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156531453 938315776 42131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7421/tid=7426] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7426/stat : 7426 (java) S 7419 7421 7065 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156531456 938315776 42131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7427] ppid=7419 vsize=916324 CPUtime=0.24
/proc/7421/task/7427/stat : 7427 (java) S 7419 7421 7065 0 -1 64 467 0 0 0 23 1 0 0 16 0 8 0 156531456 938315776 42131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7421/tid=7428] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7428/stat : 7428 (java) S 7419 7421 7065 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156531456 938315776 42131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7429] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7429/stat : 7429 (java) S 7419 7421 7065 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156531457 938315776 42131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 916324

[startup+12.7446 s]
/proc/loadavg: 0.69 0.91 0.98 2/81 7442
/proc/meminfo: memFree=1174256/2055920 swapFree=4192812/4192956
[pid=7421] ppid=7419 vsize=916324 CPUtime=12.69
/proc/7421/stat : 7421 (java) R 7419 7421 7065 0 -1 0 42438 0 1 0 1246 23 0 0 17 0 8 0 156531449 938315776 42163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788773 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7421/statm: 229081 42163 2533 14 0 215551 0
[pid=7421/tid=7423] ppid=7419 vsize=916324 CPUtime=0.4
/proc/7421/task/7423/stat : 7423 (java) S 7419 7421 7065 0 -1 64 25332 0 0 0 30 10 0 0 16 0 8 0 156531453 938315776 42163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7421/tid=7424] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7424/stat : 7424 (java) S 7419 7421 7065 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156531453 938315776 42163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7421/tid=7425] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7425/stat : 7425 (java) S 7419 7421 7065 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156531453 938315776 42163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7421/tid=7426] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7426/stat : 7426 (java) S 7419 7421 7065 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156531456 938315776 42163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7427] ppid=7419 vsize=916324 CPUtime=0.26
/proc/7421/task/7427/stat : 7427 (java) S 7419 7421 7065 0 -1 64 487 0 0 0 25 1 0 0 16 0 8 0 156531456 938315776 42163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7421/tid=7428] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7428/stat : 7428 (java) S 7419 7421 7065 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156531456 938315776 42163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7429] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7429/stat : 7429 (java) S 7419 7421 7065 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156531457 938315776 42163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 916324

[startup+25.5978 s]
/proc/loadavg: 0.82 0.93 0.98 3/87 7508
/proc/meminfo: memFree=1076408/2055920 swapFree=4192812/4192956
[pid=7421] ppid=7419 vsize=916324 CPUtime=25.46
/proc/7421/stat : 7421 (java) R 7419 7421 7065 0 -1 0 42440 0 1 0 2523 23 0 0 25 0 8 0 156531449 938315776 42164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074032708 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7421/statm: 229081 42164 2533 14 0 215551 0
[pid=7421/tid=7423] ppid=7419 vsize=916324 CPUtime=0.4
/proc/7421/task/7423/stat : 7423 (java) S 7419 7421 7065 0 -1 64 25332 0 0 0 30 10 0 0 16 0 8 0 156531453 938315776 42164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7421/tid=7424] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7424/stat : 7424 (java) S 7419 7421 7065 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156531453 938315776 42164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7421/tid=7425] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7425/stat : 7425 (java) S 7419 7421 7065 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156531453 938315776 42164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7421/tid=7426] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7426/stat : 7426 (java) S 7419 7421 7065 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156531456 938315776 42164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7427] ppid=7419 vsize=916324 CPUtime=0.26
/proc/7421/task/7427/stat : 7427 (java) S 7419 7421 7065 0 -1 64 488 0 0 0 25 1 0 0 15 0 8 0 156531456 938315776 42164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7421/tid=7428] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7428/stat : 7428 (java) S 7419 7421 7065 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156531456 938315776 42164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7429] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7429/stat : 7429 (java) S 7419 7421 7065 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156531457 938315776 42164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 916324

[startup+51.2963 s]
/proc/loadavg: 1.22 1.01 1.01 3/87 7508
/proc/meminfo: memFree=1014408/2055920 swapFree=4192812/4192956
[pid=7421] ppid=7419 vsize=916324 CPUtime=50.93
/proc/7421/stat : 7421 (java) R 7419 7421 7065 0 -1 0 42452 0 1 0 5070 23 0 0 25 0 8 0 156531449 938315776 42172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074040656 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7421/statm: 229081 42172 2534 14 0 215551 0
[pid=7421/tid=7423] ppid=7419 vsize=916324 CPUtime=0.4
/proc/7421/task/7423/stat : 7423 (java) S 7419 7421 7065 0 -1 64 25332 0 0 0 30 10 0 0 17 0 8 0 156531453 938315776 42172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7424] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7424/stat : 7424 (java) S 7419 7421 7065 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156531453 938315776 42172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7421/tid=7425] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7425/stat : 7425 (java) S 7419 7421 7065 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156531453 938315776 42172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7421/tid=7426] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7426/stat : 7426 (java) S 7419 7421 7065 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156531456 938315776 42172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7427] ppid=7419 vsize=916324 CPUtime=0.27
/proc/7421/task/7427/stat : 7427 (java) S 7419 7421 7065 0 -1 64 494 0 0 0 26 1 0 0 17 0 8 0 156531456 938315776 42172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7428] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7428/stat : 7428 (java) S 7419 7421 7065 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156531456 938315776 42172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7429] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7429/stat : 7429 (java) S 7419 7421 7065 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156531457 938315776 42172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 916324

[startup+102.507 s]
/proc/loadavg: 1.69 1.18 1.06 3/87 7508
/proc/meminfo: memFree=1014280/2055920 swapFree=4192812/4192956
[pid=7421] ppid=7419 vsize=916324 CPUtime=101.72
/proc/7421/stat : 7421 (java) R 7419 7421 7065 0 -1 0 42461 0 1 0 10149 23 0 0 25 0 8 0 156531449 938315776 42177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788722 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7421/statm: 229081 42177 2534 14 0 215551 0
[pid=7421/tid=7423] ppid=7419 vsize=916324 CPUtime=0.4
/proc/7421/task/7423/stat : 7423 (java) S 7419 7421 7065 0 -1 64 25332 0 0 0 30 10 0 0 16 0 8 0 156531453 938315776 42177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7424] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7424/stat : 7424 (java) S 7419 7421 7065 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156531453 938315776 42177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7421/tid=7425] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7425/stat : 7425 (java) S 7419 7421 7065 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156531453 938315776 42177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7421/tid=7426] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7426/stat : 7426 (java) S 7419 7421 7065 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156531456 938315776 42177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7427] ppid=7419 vsize=916324 CPUtime=0.28
/proc/7421/task/7427/stat : 7427 (java) S 7419 7421 7065 0 -1 64 502 0 0 0 27 1 0 0 15 0 8 0 156531456 938315776 42177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7428] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7428/stat : 7428 (java) S 7419 7421 7065 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156531456 938315776 42177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7429] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7429/stat : 7429 (java) S 7419 7421 7065 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156531457 938315776 42177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 916324

[startup+162.558 s]
/proc/loadavg: 1.88 1.32 1.12 3/87 7508
/proc/meminfo: memFree=1014280/2055920 swapFree=4192812/4192956
[pid=7421] ppid=7419 vsize=916324 CPUtime=161.27
/proc/7421/stat : 7421 (java) R 7419 7421 7065 0 -1 0 42476 0 1 0 16104 23 0 0 25 0 8 0 156531449 938315776 42187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788722 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7421/statm: 229081 42187 2538 14 0 215551 0
[pid=7421/tid=7423] ppid=7419 vsize=916324 CPUtime=0.4
/proc/7421/task/7423/stat : 7423 (java) S 7419 7421 7065 0 -1 64 25333 0 0 0 30 10 0 0 16 0 8 0 156531453 938315776 42187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7424] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7424/stat : 7424 (java) S 7419 7421 7065 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156531453 938315776 42187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7421/tid=7425] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7425/stat : 7425 (java) S 7419 7421 7065 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156531453 938315776 42187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7421/tid=7426] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7426/stat : 7426 (java) S 7419 7421 7065 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156531456 938315776 42187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7427] ppid=7419 vsize=916324 CPUtime=0.29
/proc/7421/task/7427/stat : 7427 (java) S 7419 7421 7065 0 -1 64 507 0 0 0 28 1 0 0 16 0 8 0 156531456 938315776 42187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7428] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7428/stat : 7428 (java) S 7419 7421 7065 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156531456 938315776 42187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7429] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7429/stat : 7429 (java) S 7419 7421 7065 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156531457 938315776 42187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.27
Current children cumulated vsize (KiB) 916324

[startup+222.607 s]
/proc/loadavg: 1.95 1.44 1.17 3/87 7508
/proc/meminfo: memFree=1014216/2055920 swapFree=4192812/4192956
[pid=7421] ppid=7419 vsize=916324 CPUtime=220.81
/proc/7421/stat : 7421 (java) R 7419 7421 7065 0 -1 0 42482 0 1 0 22057 24 0 0 25 0 8 0 156531449 938315776 42189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788691 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7421/statm: 229081 42189 2538 14 0 215551 0
[pid=7421/tid=7423] ppid=7419 vsize=916324 CPUtime=0.4
/proc/7421/task/7423/stat : 7423 (java) S 7419 7421 7065 0 -1 64 25333 0 0 0 30 10 0 0 16 0 8 0 156531453 938315776 42189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7424] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7424/stat : 7424 (java) S 7419 7421 7065 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156531453 938315776 42189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7421/tid=7425] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7425/stat : 7425 (java) S 7419 7421 7065 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156531453 938315776 42189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7421/tid=7426] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7426/stat : 7426 (java) S 7419 7421 7065 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156531456 938315776 42189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7427] ppid=7419 vsize=916324 CPUtime=0.29
/proc/7421/task/7427/stat : 7427 (java) S 7419 7421 7065 0 -1 64 511 0 0 0 28 1 0 0 16 0 8 0 156531456 938315776 42189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7428] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7428/stat : 7428 (java) S 7419 7421 7065 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156531456 938315776 42189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7429] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7429/stat : 7429 (java) S 7419 7421 7065 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156531457 938315776 42189 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.81
Current children cumulated vsize (KiB) 916324

[startup+282.661 s]
/proc/loadavg: 1.98 1.54 1.22 3/87 7508
/proc/meminfo: memFree=985608/2055920 swapFree=4192812/4192956
[pid=7421] ppid=7419 vsize=916324 CPUtime=280.36
/proc/7421/stat : 7421 (java) R 7419 7421 7065 0 -1 0 49643 0 1 0 28009 27 0 0 25 0 8 0 156531449 938315776 49346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788773 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7421/statm: 229081 49346 2538 14 0 215551 0
[pid=7421/tid=7423] ppid=7419 vsize=916324 CPUtime=0.47
/proc/7421/task/7423/stat : 7423 (java) S 7419 7421 7065 0 -1 64 32485 0 0 0 33 14 0 0 16 0 8 0 156531453 938315776 49346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7424] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7424/stat : 7424 (java) S 7419 7421 7065 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156531453 938315776 49346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7425] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7425/stat : 7425 (java) S 7419 7421 7065 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156531453 938315776 49346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7426] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7426/stat : 7426 (java) S 7419 7421 7065 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156531456 938315776 49346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7427] ppid=7419 vsize=916324 CPUtime=0.3
/proc/7421/task/7427/stat : 7427 (java) S 7419 7421 7065 0 -1 64 518 0 0 0 29 1 0 0 16 0 8 0 156531456 938315776 49346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7428] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7428/stat : 7428 (java) S 7419 7421 7065 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156531456 938315776 49346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7429] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7429/stat : 7429 (java) S 7419 7421 7065 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156531457 938315776 49346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 280.36
Current children cumulated vsize (KiB) 916324

[startup+342.719 s]
/proc/loadavg: 1.99 1.62 1.27 3/87 7508
/proc/meminfo: memFree=985608/2055920 swapFree=4192812/4192956
[pid=7421] ppid=7419 vsize=916324 CPUtime=339.92
/proc/7421/stat : 7421 (java) R 7419 7421 7065 0 -1 0 49649 0 1 0 33965 27 0 0 25 0 8 0 156531449 938315776 49350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788700 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7421/statm: 229081 49350 2538 14 0 215551 0
[pid=7421/tid=7423] ppid=7419 vsize=916324 CPUtime=0.47
/proc/7421/task/7423/stat : 7423 (java) S 7419 7421 7065 0 -1 64 32485 0 0 0 33 14 0 0 16 0 8 0 156531453 938315776 49350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7424] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7424/stat : 7424 (java) S 7419 7421 7065 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156531453 938315776 49350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7425] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7425/stat : 7425 (java) S 7419 7421 7065 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156531453 938315776 49350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7426] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7426/stat : 7426 (java) S 7419 7421 7065 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156531456 938315776 49350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7427] ppid=7419 vsize=916324 CPUtime=0.31
/proc/7421/task/7427/stat : 7427 (java) S 7419 7421 7065 0 -1 64 524 0 0 0 30 1 0 0 16 0 8 0 156531456 938315776 49350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7428] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7428/stat : 7428 (java) S 7419 7421 7065 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156531456 938315776 49350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7429] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7429/stat : 7429 (java) S 7419 7421 7065 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156531457 938315776 49350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 339.92
Current children cumulated vsize (KiB) 916324

[startup+402.782 s]
/proc/loadavg: 1.99 1.69 1.31 3/87 7508
/proc/meminfo: memFree=985608/2055920 swapFree=4192812/4192956
[pid=7421] ppid=7419 vsize=916324 CPUtime=399.46
/proc/7421/stat : 7421 (java) R 7419 7421 7065 0 -1 0 49657 0 1 0 39919 27 0 0 25 0 8 0 156531449 938315776 49354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074032819 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7421/statm: 229081 49354 2538 14 0 215551 0
[pid=7421/tid=7423] ppid=7419 vsize=916324 CPUtime=0.47
/proc/7421/task/7423/stat : 7423 (java) S 7419 7421 7065 0 -1 64 32485 0 0 0 33 14 0 0 16 0 8 0 156531453 938315776 49354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7424] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7424/stat : 7424 (java) S 7419 7421 7065 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156531453 938315776 49354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7425] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7425/stat : 7425 (java) S 7419 7421 7065 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156531453 938315776 49354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7426] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7426/stat : 7426 (java) S 7419 7421 7065 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156531456 938315776 49354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7427] ppid=7419 vsize=916324 CPUtime=0.32
/proc/7421/task/7427/stat : 7427 (java) S 7419 7421 7065 0 -1 64 529 0 0 0 31 1 0 0 16 0 8 0 156531456 938315776 49354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7428] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7428/stat : 7428 (java) S 7419 7421 7065 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156531456 938315776 49354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7429] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7429/stat : 7429 (java) S 7419 7421 7065 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156531457 938315776 49354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 399.46
Current children cumulated vsize (KiB) 916324

[startup+462.848 s]
/proc/loadavg: 1.99 1.74 1.35 3/87 7508
/proc/meminfo: memFree=985608/2055920 swapFree=4192812/4192956
[pid=7421] ppid=7419 vsize=916324 CPUtime=459.03
/proc/7421/stat : 7421 (java) R 7419 7421 7065 0 -1 0 49658 0 1 0 45875 28 0 0 25 0 8 0 156531449 938315776 49355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074025254 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7421/statm: 229081 49355 2538 14 0 215551 0
[pid=7421/tid=7423] ppid=7419 vsize=916324 CPUtime=0.47
/proc/7421/task/7423/stat : 7423 (java) S 7419 7421 7065 0 -1 64 32485 0 0 0 33 14 0 0 16 0 8 0 156531453 938315776 49355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7424] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7424/stat : 7424 (java) S 7419 7421 7065 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156531453 938315776 49355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7425] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7425/stat : 7425 (java) S 7419 7421 7065 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156531453 938315776 49355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7426] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7426/stat : 7426 (java) S 7419 7421 7065 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156531456 938315776 49355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7427] ppid=7419 vsize=916324 CPUtime=0.32
/proc/7421/task/7427/stat : 7427 (java) S 7419 7421 7065 0 -1 64 530 0 0 0 31 1 0 0 16 0 8 0 156531456 938315776 49355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7428] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7428/stat : 7428 (java) S 7419 7421 7065 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156531456 938315776 49355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7421/tid=7429] ppid=7419 vsize=916324 CPUtime=0
/proc/7421/task/7429/stat : 7429 (java) S 7419 7421 7065 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156531457 938315776 49355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 459.03
Current children cumulated vsize (KiB) 916324

Child status: 0
Real time (s): 485.475
CPU time (s): 481.424
CPU user time (s): 481.111
CPU system time (s): 0.312952
CPU usage (%): 99.1656
Max. virtual memory (cumulated for all children) (KiB): 916324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 481.111
system time used= 0.312952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49665
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= 11152
involuntary context switches= 20445

runsolver used 0.474927 s user time and 1.2818 s system time

The end

Launcher Data (download as text)

Begin job on node61 on Sat Jan  6 11:02:09 UTC 2007


IDJOB= 233069
IDBENCH= 6580
FILE ID= node61/233069-1168081324

PBS_JOBID= 3476190

Free space on /tmp= 66509 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  5a4c32da7b2151a1595ab2d1cc4dfcd9

RANDOM SEED= 32512807

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.259
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.259
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:       1334408 kB
Buffers:         48620 kB
Cached:         567732 kB
SwapCached:          0 kB
Active:         102968 kB
Inactive:       534340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1334408 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2808 kB
Writeback:           0 kB
Mapped:          31532 kB
Slab:            69672 kB
Committed_AS:  3014560 kB
PageTables:       1812 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= 66507 MiB



End job on node61 on Sat Jan  6 11:10:22 UTC 2007