0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=mac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/233108-1168081329/unknown.xml
0.40
0.40 domains being loaded...
0.46
0.46 variables being loaded...
0.57 nbVariables=400 nbDomainTypes=400 minDomainSize=1108 maxDomainSize=1206
0.57 => wckTime=0.228 cpuTime=0.18 mem=19M633
0.57
0.57 predicates being loaded...
0.57
0.57 constraints being loaded...
4.52
4.52 INFO : Stopping converting binary constraints (cpu=4.02, mem = 36M258)
5.63 nbConstraints=7600 nbConvertedConstraints=11 nbConvertConstraintsChecks=14389875 nbExtensionStructures=11
5.63 nbSharedExtensionStructures=0 nbConflictsStructures=11 nbSharedConflictsStructures=0
5.63 nbSharedBinaryRepresentations=3972 nbEvaluationManagers=7589 nbSharedEvaluationManagers=0 maxDegree=38
5.63 maxArity=2
5.63 => wckTime=5.291 cpuTime=4.94 mem=53M748
5.78
5.78 solver IterativeSystematicSolver being built...
6.23 => wckTime=5.885 cpuTime=5.22 mem=117M33
35.12
35.12 preprocessing
35.12 nbConstraintChecks=78524577 nbValidityChecks=508652 nbPropagations=400 nbRevisions=15178
35.12 nbUselessRevisions=15178 nbRemovedValues=0 detectedInconsistency=no
35.12 => wckTime=28.869 cpuTime=28.55 mem=117M33
105.64
105.64 search
105.64 run=0 nbConstraintChecks=163660242 nbValidityChecks=136719931 nbPropagations=7265 nbRevisions=215577
105.64 nbUselessRevisions=199048 nbAssignments=452 nbFailedAssignments=263 nbBacktracks=11 nbVisitedNodes=726
105.64 nbRestartNogoods=0 mapSize=11 nbInferences=0 nbTooLargeKeys=42
105.64 => wckTime=99.395 cpuTime=98.42 mem=124M769
158.83
158.83 search
158.83 run=1 nbConstraintChecks=288120372 nbValidityChecks=279909938 nbPropagations=23154 nbRevisions=665578
158.83 nbUselessRevisions=616329 nbAssignments=971 nbFailedAssignments=570 nbBacktracks=26 nbVisitedNodes=1567
158.83 nbRestartNogoods=3 mapSize=26 nbInferences=0 nbTooLargeKeys=83
158.83 => wckTime=152.583 cpuTime=151.08 mem=131M291
215.92
215.92 search
215.92 run=2 nbConstraintChecks=423667392 nbValidityChecks=418365814 nbPropagations=48150 nbRevisions=1354250
215.92 nbUselessRevisions=1242160 nbAssignments=1794 nbFailedAssignments=1153 nbBacktracks=48 nbVisitedNodes=2992
215.92 nbRestartNogoods=55 mapSize=46 nbInferences=0 nbTooLargeKeys=123
215.92 => wckTime=209.672 cpuTime=207.64 mem=138M640
272.99
272.99 search
272.99 run=3 nbConstraintChecks=561090320 nbValidityChecks=560735595 nbPropagations=84131 nbRevisions=2317440
272.99 nbUselessRevisions=2109652 nbAssignments=2844 nbFailedAssignments=1891 nbBacktracks=83 nbVisitedNodes=4802
272.99 nbRestartNogoods=84 mapSize=70 nbInferences=0 nbTooLargeKeys=165
272.99 => wckTime=266.746 cpuTime=264.12 mem=120M851
325.23
325.23 search
325.23 run=4 nbConstraintChecks=682496197 nbValidityChecks=695007938 nbPropagations=131287 nbRevisions=3539433
325.23 nbUselessRevisions=3202830 nbAssignments=3994 nbFailedAssignments=2714 nbBacktracks=133 nbVisitedNodes=6826
325.23 nbRestartNogoods=151 mapSize=120 nbInferences=2 nbTooLargeKeys=197
325.23 => wckTime=318.976 cpuTime=315.89 mem=131M79
432.15
432.15 search
432.15 run=5 nbConstraintChecks=911035821 nbValidityChecks=1106374642 nbPropagations=212145 nbRevisions=5694745
432.15 nbUselessRevisions=5098049 nbAssignments=6489 nbFailedAssignments=4939 nbBacktracks=208 nbVisitedNodes=11620
432.15 nbRestartNogoods=176 mapSize=195 nbInferences=2 nbTooLargeKeys=223
432.15 => wckTime=425.898 cpuTime=421.81 mem=139M241
486.76
486.76 search
486.76 run=6 nbConstraintChecks=1029682912 nbValidityChecks=1294350136 nbPropagations=304226 nbRevisions=8143832
486.76 nbUselessRevisions=7228459 nbAssignments=7937 nbFailedAssignments=6159 nbBacktracks=321 nbVisitedNodes=14401
486.76 nbRestartNogoods=264 mapSize=308 nbInferences=2 nbTooLargeKeys=252
486.76 => wckTime=480.517 cpuTime=475.93 mem=147M702
597.45
597.45 search
597.45 run=7 nbConstraintChecks=1280355690 nbValidityChecks=1577552434 nbPropagations=449954 nbRevisions=11810347
597.45 nbUselessRevisions=10342218 nbAssignments=12258 nbFailedAssignments=10047 nbBacktracks=491 nbVisitedNodes=22760
597.45 nbRestartNogoods=275 mapSize=473 nbInferences=2 nbTooLargeKeys=282
597.45 => wckTime=591.2 cpuTime=585.62 mem=159M895
641.97
641.97 search
641.97 run=8 nbConstraintChecks=1383847228 nbValidityChecks=1695561923 nbPropagations=602440 nbRevisions=15656303
641.97 nbUselessRevisions=13628435 nbAssignments=12662 nbFailedAssignments=10051 nbBacktracks=491 nbVisitedNodes=23168
641.97 nbRestartNogoods=409 mapSize=473 nbInferences=2 nbTooLargeKeys=308
641.97 => wckTime=635.724 cpuTime=629.69 mem=141M324
641.97
641.97 global
641.97 nbConstraintChecks=1462371805 nbValidityChecks=1696070575 nbPropagations=602840 nbRevisions=15671481
641.97 nbUselessRevisions=13643613 nbRestartNogoods=409 solvingWckTime=635.726 solvingCpuTime=629.69 expiredTime=no
641.97 totalExploration=no nbFoundSolutions=1 globalCpuTime=634.98
641.97 => wckTime=641.633 cpuTime=634.93 mem=141M324
641.98
641.98 s SATISFIABLE
641.98 v 286 1146 452 203 686 866 1123 607 189 135 211 365 0 995 67 617 729 1040 543 802 270 210 412 1108 727 0 850 103 683 366 948 1123 772 1089 349 441 173 490 1034 588 875 193 135 607 366 907 1126 275 60 993 738 490 1084 1096 1153 795 0 649 557 205 907 421 948 1044 1098 835 491 138 205 1127 656 0 41 326 589 1152 743 266 637 87 953 326 880 412 786 694 28 573 1008 91 912 835 506 449 240 173 155 1089 1031 711 778 976 1008 608 361 0 655 868 42 918 303 1061 1093 1157 137 441 536 46 210 717 1097 926 491 218 1034 0 124 310 1125 802 700 617 46 873 785 67 409 60 976 527 953 143 103 268 354 843 562 693 1025 542 171 1061 415 452 778 0 873 990 46 613 328 0 647 240 514 786 1072 1003 563 1098 415 1108 958 90 804 147 352 875 203 932 383 1086 189 850 229 0 757 467 1167 798 96 223 885 588 314 1011 1104 667 919 536 885 275 1148 212 807 570 0 630 66 474 578 729 1017 147 980 1037 361 918 563 408 0 757 869 273 1001 138 303 686 54 469 1122 585 361 674 171 810 1022 762 950 532 83 39 865 1143 223 1089 562 837 641 328 711 124 266 193 383 0 982 926 465 110 787 936 445 51 527 467 953 857 0 602 229 463 1008 28 727 656 290 360 130 912 30 1031 410 53 762 693 602 0 452 185 270 173 365 635 1054 720 146 1001 930 797 57 294 146 958 469 663 189 0 743 1132 326 402 530 875 755 542 1055 372 276 644 488 294 204 573 53 639 912 421 866 785 1123 1092 143 708 0 1179 947 1072 321 980 778 425 402 875 1031 630 218 0 717 54 507 133 314 432 441 948 930 578 965 976 589 66 852 667 228 425 787 326 155 361 1027 800 1044 304 538 0 384 57 555 574 54 674 488 314 0 1108 137 354 992 613 519 764 969 837 51 212 402 90 644 857
641.98 d NODES 12662
641.98 d CHECKS 1462371805
641.98
641.98 totalWckTime=641.718 totalCpuTime=634.98
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-233108-1168081329 -o ROOT/results/node5/solver-233108-1168081329 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/233108-1168081329/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.10 0.38 1.12 4/99 8477
/proc/meminfo: memFree=1360328/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=168 CPUtime=0
/proc/8476/stat : 8476 (java) R 8474 8476 7712 0 -1 0 39 0 0 0 0 0 0 0 18 0 1 0 136748461 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7893796 0 0 4096 0 0 0 0 17 1 0 0
/proc/8476/statm: 42 23 18 14 0 2 0
[startup+0.107043 s]
/proc/loadavg: 0.10 0.38 1.12 4/99 8477
/proc/meminfo: memFree=1360328/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=913228 CPUtime=0.07
/proc/8476/stat : 8476 (java) D 8474 8476 7712 0 -1 0 2918 0 1 0 6 1 0 0 24 0 8 0 136748461 935145472 2664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8476/statm: 228307 2664 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913228
[startup+0.515092 s]
/proc/loadavg: 0.10 0.38 1.12 4/99 8477
/proc/meminfo: memFree=1360328/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=915328 CPUtime=0.46
/proc/8476/stat : 8476 (java) R 8474 8476 7712 0 -1 0 6997 0 1 0 41 5 0 0 23 0 8 0 136748461 937295872 6736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8476/statm: 228832 6736 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
[startup+1.33618 s]
/proc/loadavg: 0.10 0.38 1.12 3/106 8484
/proc/meminfo: memFree=1274576/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=915632 CPUtime=1.27
/proc/8476/stat : 8476 (java) R 8474 8476 7712 0 -1 0 19872 0 1 0 117 10 0 0 25 0 8 0 136748461 937607168 19610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8476/statm: 228908 19610 2178 14 0 215378 0
[pid=8476/tid=8478] ppid=8474 vsize=915632 CPUtime=0.05
/proc/8476/task/8478/stat : 8478 (java) S 8474 8476 7712 0 -1 64 3281 0 0 0 4 1 0 0 17 0 8 0 136748465 937607168 19610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8479] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8479/stat : 8479 (java) S 8474 8476 7712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 19610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8480] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8480/stat : 8480 (java) S 8474 8476 7712 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 19610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8481] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8481/stat : 8481 (java) S 8474 8476 7712 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136748469 937607168 19610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8482] ppid=8474 vsize=915632 CPUtime=0.14
/proc/8476/task/8482/stat : 8482 (java) S 8474 8476 7712 0 -1 64 401 0 0 0 14 0 0 0 16 0 8 0 136748469 937607168 19610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8483] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8483/stat : 8483 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 136748469 937607168 19610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8484] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8484/stat : 8484 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 136748469 937607168 19610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915632
[startup+2.97336 s]
/proc/loadavg: 0.10 0.38 1.12 3/106 8486
/proc/meminfo: memFree=1203920/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=915632 CPUtime=2.89
/proc/8476/stat : 8476 (java) R 8474 8476 7712 0 -1 0 19878 0 1 0 279 10 0 0 25 0 8 0 136748461 937607168 19614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794598 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8476/statm: 228908 19614 2178 14 0 215378 0
[pid=8476/tid=8478] ppid=8474 vsize=915632 CPUtime=0.05
/proc/8476/task/8478/stat : 8478 (java) S 8474 8476 7712 0 -1 64 3281 0 0 0 4 1 0 0 17 0 8 0 136748465 937607168 19614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8479] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8479/stat : 8479 (java) S 8474 8476 7712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 19614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8480] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8480/stat : 8480 (java) S 8474 8476 7712 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 19614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8481] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8481/stat : 8481 (java) S 8474 8476 7712 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136748469 937607168 19614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8482] ppid=8474 vsize=915632 CPUtime=0.15
/proc/8476/task/8482/stat : 8482 (java) S 8474 8476 7712 0 -1 64 404 0 0 0 15 0 0 0 16 0 8 0 136748469 937607168 19614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8483] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8483/stat : 8483 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 136748469 937607168 19614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8484] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8484/stat : 8484 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 136748469 937607168 19614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915632
[startup+6.26374 s]
/proc/loadavg: 0.26 0.40 1.13 4/106 8488
/proc/meminfo: memFree=1188624/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=915632 CPUtime=6.15
/proc/8476/stat : 8476 (java) R 8474 8476 7712 0 -1 0 41617 0 1 0 596 19 0 0 25 0 8 0 136748461 937607168 41348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074030213 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8476/statm: 228908 41348 2533 14 0 215378 0
[pid=8476/tid=8478] ppid=8474 vsize=915632 CPUtime=0.4
/proc/8476/task/8478/stat : 8478 (java) S 8474 8476 7712 0 -1 64 24539 0 0 0 31 9 0 0 16 0 8 0 136748465 937607168 41348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8479] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8479/stat : 8479 (java) S 8474 8476 7712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 41348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8480] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8480/stat : 8480 (java) S 8474 8476 7712 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 136748465 937607168 41348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8481] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8481/stat : 8481 (java) S 8474 8476 7712 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136748469 937607168 41348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8482] ppid=8474 vsize=915632 CPUtime=0.25
/proc/8476/task/8482/stat : 8482 (java) S 8474 8476 7712 0 -1 64 464 0 0 0 24 1 0 0 15 0 8 0 136748469 937607168 41348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8483] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8483/stat : 8483 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 136748469 937607168 41348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8484] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8484/stat : 8484 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 136748469 937607168 41348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915632
[startup+12.7425 s]
/proc/loadavg: 0.40 0.43 1.13 4/106 8492
/proc/meminfo: memFree=1118224/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=915632 CPUtime=12.56
/proc/8476/stat : 8476 (java) R 8474 8476 7712 0 -1 0 41632 0 1 0 1236 20 0 0 25 0 8 0 136748461 937607168 41358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074040217 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8476/statm: 228908 41358 2533 14 0 215378 0
[pid=8476/tid=8478] ppid=8474 vsize=915632 CPUtime=0.4
/proc/8476/task/8478/stat : 8478 (java) S 8474 8476 7712 0 -1 64 24539 0 0 0 31 9 0 0 17 0 8 0 136748465 937607168 41358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8479] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8479/stat : 8479 (java) S 8474 8476 7712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 41358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8480] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8480/stat : 8480 (java) S 8474 8476 7712 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 136748465 937607168 41358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8481] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8481/stat : 8481 (java) S 8474 8476 7712 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136748469 937607168 41358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8482] ppid=8474 vsize=915632 CPUtime=0.27
/proc/8476/task/8482/stat : 8482 (java) S 8474 8476 7712 0 -1 64 479 0 0 0 26 1 0 0 16 0 8 0 136748469 937607168 41358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8483] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8483/stat : 8483 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 136748469 937607168 41358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8484] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8484/stat : 8484 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 136748469 937607168 41358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915632
[startup+25.6039 s]
/proc/loadavg: 0.64 0.48 1.14 3/100 8512
/proc/meminfo: memFree=1119232/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=915632 CPUtime=25.29
/proc/8476/stat : 8476 (java) R 8474 8476 7712 0 -1 0 41635 0 1 0 2509 20 0 0 25 0 8 0 136748461 937607168 41359 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795019 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8476/statm: 228908 41359 2533 14 0 215378 0
[pid=8476/tid=8478] ppid=8474 vsize=915632 CPUtime=0.4
/proc/8476/task/8478/stat : 8478 (java) S 8474 8476 7712 0 -1 64 24539 0 0 0 31 9 0 0 16 0 8 0 136748465 937607168 41359 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8479] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8479/stat : 8479 (java) S 8474 8476 7712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 41359 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8480] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8480/stat : 8480 (java) S 8474 8476 7712 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 136748465 937607168 41359 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8481] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8481/stat : 8481 (java) S 8474 8476 7712 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136748469 937607168 41359 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8482] ppid=8474 vsize=915632 CPUtime=0.27
/proc/8476/task/8482/stat : 8482 (java) S 8474 8476 7712 0 -1 64 481 0 0 0 26 1 0 0 15 0 8 0 136748469 937607168 41359 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8483] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8483/stat : 8483 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 136748469 937607168 41359 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8484] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8484/stat : 8484 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 136748469 937607168 41359 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 915632
[startup+51.2048 s]
/proc/loadavg: 1.18 0.63 1.17 3/100 8512
/proc/meminfo: memFree=1119296/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=915632 CPUtime=50.67
/proc/8476/stat : 8476 (java) R 8474 8476 7712 0 -1 0 41652 0 1 0 5046 21 0 0 25 0 8 0 136748461 937607168 41369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8476/statm: 228908 41369 2534 14 0 215378 0
[pid=8476/tid=8478] ppid=8474 vsize=915632 CPUtime=0.4
/proc/8476/task/8478/stat : 8478 (java) S 8474 8476 7712 0 -1 64 24539 0 0 0 31 9 0 0 16 0 8 0 136748465 937607168 41369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8479] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8479/stat : 8479 (java) S 8474 8476 7712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 41369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8480] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8480/stat : 8480 (java) S 8474 8476 7712 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 136748465 937607168 41369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8481] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8481/stat : 8481 (java) S 8474 8476 7712 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136748469 937607168 41369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8482] ppid=8474 vsize=915632 CPUtime=0.28
/proc/8476/task/8482/stat : 8482 (java) S 8474 8476 7712 0 -1 64 491 0 0 0 27 1 0 0 16 0 8 0 136748469 937607168 41369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8483] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8483/stat : 8483 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 136748469 937607168 41369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8484] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8484/stat : 8484 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 136748469 937607168 41369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 915632
[startup+102.411 s]
/proc/loadavg: 1.64 0.84 1.21 3/100 8512
/proc/meminfo: memFree=1119360/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=915632 CPUtime=101.42
/proc/8476/stat : 8476 (java) R 8474 8476 7712 0 -1 0 41663 0 1 0 10120 22 0 0 25 0 8 0 136748461 937607168 41375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074035704 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8476/statm: 228908 41375 2535 14 0 215378 0
[pid=8476/tid=8478] ppid=8474 vsize=915632 CPUtime=0.4
/proc/8476/task/8478/stat : 8478 (java) S 8474 8476 7712 0 -1 64 24539 0 0 0 31 9 0 0 16 0 8 0 136748465 937607168 41375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8479] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8479/stat : 8479 (java) S 8474 8476 7712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 41375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8480] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8480/stat : 8480 (java) S 8474 8476 7712 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 136748465 937607168 41375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8481] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8481/stat : 8481 (java) S 8474 8476 7712 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136748469 937607168 41375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8482] ppid=8474 vsize=915632 CPUtime=0.3
/proc/8476/task/8482/stat : 8482 (java) S 8474 8476 7712 0 -1 64 499 0 0 0 29 1 0 0 16 0 8 0 136748469 937607168 41375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8483] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8483/stat : 8483 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 136748469 937607168 41375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8484] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8484/stat : 8484 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 136748469 937607168 41375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.42
Current children cumulated vsize (KiB) 915632
[startup+162.465 s]
/proc/loadavg: 1.87 1.04 1.25 3/100 8512
/proc/meminfo: memFree=1119296/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=915632 CPUtime=160.9
/proc/8476/stat : 8476 (java) R 8474 8476 7712 0 -1 0 41678 0 1 0 16067 23 0 0 25 0 8 0 136748461 937607168 41384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074038380 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/8476/task/8481/stat : 8481 (java) S 8474 8476 7712 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136748469 937607168 41384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8482] ppid=8474 vsize=915632 CPUtime=0.3
/proc/8476/task/8482/stat : 8482 (java) S 8474 8476 7712 0 -1 64 506 0 0 0 29 1 0 0 15 0 8 0 136748469 937607168 41384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8483] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8483/stat : 8483 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 136748469 937607168 41384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8484] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8484/stat : 8484 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 136748469 937607168 41384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 160.9
Current children cumulated vsize (KiB) 915632
[startup+222.519 s]
/proc/loadavg: 1.95 1.22 1.30 3/100 8512
/proc/meminfo: memFree=1119296/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=915632 CPUtime=220.4
/proc/8476/stat : 8476 (java) R 8474 8476 7712 0 -1 0 41691 0 1 0 22017 23 0 0 25 0 8 0 136748461 937607168 41393 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074032728 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8476/statm: 228908 41393 2538 14 0 215378 0
[pid=8476/tid=8478] ppid=8474 vsize=915632 CPUtime=0.4
/proc/8476/task/8478/stat : 8478 (java) S 8474 8476 7712 0 -1 64 24540 0 0 0 31 9 0 0 16 0 8 0 136748465 937607168 41393 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8479] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8479/stat : 8479 (java) S 8474 8476 7712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 41393 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8480] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8480/stat : 8480 (java) S 8474 8476 7712 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 136748465 937607168 41393 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8481] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8481/stat : 8481 (java) S 8474 8476 7712 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136748469 937607168 41393 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8482] ppid=8474 vsize=915632 CPUtime=0.33
/proc/8476/task/8482/stat : 8482 (java) S 8474 8476 7712 0 -1 64 518 0 0 0 31 2 0 0 16 0 8 0 136748469 937607168 41393 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8483] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8483/stat : 8483 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 136748469 937607168 41393 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8484] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8484/stat : 8484 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 136748469 937607168 41393 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.4
Current children cumulated vsize (KiB) 915632
[startup+282.581 s]
/proc/loadavg: 1.98 1.36 1.34 3/100 8512
/proc/meminfo: memFree=1097472/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=915632 CPUtime=279.93
/proc/8476/stat : 8476 (java) R 8474 8476 7712 0 -1 0 47153 0 1 0 27967 26 0 0 25 0 8 0 136748461 937607168 46851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791488 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8476/statm: 228908 46851 2538 14 0 215378 0
[pid=8476/tid=8478] ppid=8474 vsize=915632 CPUtime=0.45
/proc/8476/task/8478/stat : 8478 (java) S 8474 8476 7712 0 -1 64 29994 0 0 0 34 11 0 0 16 0 8 0 136748465 937607168 46851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8479] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8479/stat : 8479 (java) S 8474 8476 7712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 46851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8480] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8480/stat : 8480 (java) S 8474 8476 7712 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 46851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8481] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8481/stat : 8481 (java) S 8474 8476 7712 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136748469 937607168 46851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8482] ppid=8474 vsize=915632 CPUtime=0.34
/proc/8476/task/8482/stat : 8482 (java) S 8474 8476 7712 0 -1 64 524 0 0 0 32 2 0 0 16 0 8 0 136748469 937607168 46851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8483] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8483/stat : 8483 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 136748469 937607168 46851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8484] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8484/stat : 8484 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 136748469 937607168 46851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 279.93
Current children cumulated vsize (KiB) 915632
[startup+342.64 s]
/proc/loadavg: 2.09 1.50 1.39 3/100 8512
/proc/meminfo: memFree=1097408/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=915632 CPUtime=339.43
/proc/8476/stat : 8476 (java) R 8474 8476 7712 0 -1 0 47155 0 1 0 33916 27 0 0 25 0 8 0 136748461 937607168 46852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788668 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8476/statm: 228908 46852 2538 14 0 215378 0
[pid=8476/tid=8478] ppid=8474 vsize=915632 CPUtime=0.45
/proc/8476/task/8478/stat : 8478 (java) S 8474 8476 7712 0 -1 64 29994 0 0 0 34 11 0 0 16 0 8 0 136748465 937607168 46852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8479] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8479/stat : 8479 (java) S 8474 8476 7712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 46852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8480] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8480/stat : 8480 (java) S 8474 8476 7712 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 46852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8481] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8481/stat : 8481 (java) S 8474 8476 7712 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136748469 937607168 46852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8482] ppid=8474 vsize=915632 CPUtime=0.34
/proc/8476/task/8482/stat : 8482 (java) S 8474 8476 7712 0 -1 64 525 0 0 0 32 2 0 0 16 0 8 0 136748469 937607168 46852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8483] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8483/stat : 8483 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 136748469 937607168 46852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8484] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8484/stat : 8484 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 136748469 937607168 46852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 339.43
Current children cumulated vsize (KiB) 915632
[startup+402.708 s]
/proc/loadavg: 2.03 1.59 1.42 3/100 8512
/proc/meminfo: memFree=1073152/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=915632 CPUtime=398.95
/proc/8476/stat : 8476 (java) R 8474 8476 7712 0 -1 0 47155 0 1 0 39868 27 0 0 25 0 8 0 136748461 937607168 46852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074038312 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8476/statm: 228908 46852 2538 14 0 215378 0
[pid=8476/tid=8478] ppid=8474 vsize=915632 CPUtime=0.45
/proc/8476/task/8478/stat : 8478 (java) S 8474 8476 7712 0 -1 64 29994 0 0 0 34 11 0 0 16 0 8 0 136748465 937607168 46852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8479] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8479/stat : 8479 (java) S 8474 8476 7712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 46852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8480] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8480/stat : 8480 (java) S 8474 8476 7712 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 46852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8481] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8481/stat : 8481 (java) S 8474 8476 7712 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136748469 937607168 46852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8482] ppid=8474 vsize=915632 CPUtime=0.34
/proc/8476/task/8482/stat : 8482 (java) S 8474 8476 7712 0 -1 64 525 0 0 0 32 2 0 0 16 0 8 0 136748469 937607168 46852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8483] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8483/stat : 8483 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 136748469 937607168 46852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8484] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8484/stat : 8484 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 136748469 937607168 46852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 398.95
Current children cumulated vsize (KiB) 915632
[startup+462.78 s]
/proc/loadavg: 2.01 1.66 1.46 3/100 8512
/proc/meminfo: memFree=1073088/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=915632 CPUtime=458.48
/proc/8476/stat : 8476 (java) R 8474 8476 7712 0 -1 0 47156 0 1 0 45821 27 0 0 25 0 8 0 136748461 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074038361 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8476/statm: 228908 46853 2538 14 0 215378 0
[pid=8476/tid=8478] ppid=8474 vsize=915632 CPUtime=0.45
/proc/8476/task/8478/stat : 8478 (java) S 8474 8476 7712 0 -1 64 29994 0 0 0 34 11 0 0 16 0 8 0 136748465 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8479] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8479/stat : 8479 (java) S 8474 8476 7712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8480] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8480/stat : 8480 (java) S 8474 8476 7712 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8481] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8481/stat : 8481 (java) S 8474 8476 7712 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136748469 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8482] ppid=8474 vsize=915632 CPUtime=0.35
/proc/8476/task/8482/stat : 8482 (java) S 8474 8476 7712 0 -1 64 526 0 0 0 33 2 0 0 16 0 8 0 136748469 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8483] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8483/stat : 8483 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 136748469 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8484] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8484/stat : 8484 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 136748469 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 458.48
Current children cumulated vsize (KiB) 915632
[startup+522.841 s]
/proc/loadavg: 2.03 1.73 1.49 3/100 8512
/proc/meminfo: memFree=1073152/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=915632 CPUtime=517.96
/proc/8476/stat : 8476 (java) R 8474 8476 7712 0 -1 0 47156 0 1 0 51769 27 0 0 25 0 8 0 136748461 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074040242 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8476/statm: 228908 46853 2538 14 0 215378 0
[pid=8476/tid=8478] ppid=8474 vsize=915632 CPUtime=0.45
/proc/8476/task/8478/stat : 8478 (java) S 8474 8476 7712 0 -1 64 29994 0 0 0 34 11 0 0 16 0 8 0 136748465 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8479] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8479/stat : 8479 (java) S 8474 8476 7712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8480] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8480/stat : 8480 (java) S 8474 8476 7712 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8481] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8481/stat : 8481 (java) S 8474 8476 7712 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136748469 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8482] ppid=8474 vsize=915632 CPUtime=0.35
/proc/8476/task/8482/stat : 8482 (java) S 8474 8476 7712 0 -1 64 526 0 0 0 33 2 0 0 16 0 8 0 136748469 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8483] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8483/stat : 8483 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 136748469 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8484] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8484/stat : 8484 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 136748469 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 517.96
Current children cumulated vsize (KiB) 915632
[startup+582.901 s]
/proc/loadavg: 2.01 1.78 1.52 3/100 8512
/proc/meminfo: memFree=1073152/2055920 swapFree=4192812/4192956
[pid=8476] ppid=8474 vsize=915632 CPUtime=577.5
/proc/8476/stat : 8476 (java) R 8474 8476 7712 0 -1 0 47156 0 1 0 57722 28 0 0 25 0 8 0 136748461 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074051819 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8476/statm: 228908 46853 2538 14 0 215378 0
[pid=8476/tid=8478] ppid=8474 vsize=915632 CPUtime=0.45
/proc/8476/task/8478/stat : 8478 (java) S 8474 8476 7712 0 -1 64 29994 0 0 0 34 11 0 0 16 0 8 0 136748465 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8479] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8479/stat : 8479 (java) S 8474 8476 7712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8480] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8480/stat : 8480 (java) S 8474 8476 7712 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 136748465 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8481] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8481/stat : 8481 (java) S 8474 8476 7712 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 136748469 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8482] ppid=8474 vsize=915632 CPUtime=0.35
/proc/8476/task/8482/stat : 8482 (java) S 8474 8476 7712 0 -1 64 526 0 0 0 33 2 0 0 16 0 8 0 136748469 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8483] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8483/stat : 8483 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 136748469 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8476/tid=8484] ppid=8474 vsize=915632 CPUtime=0
/proc/8476/task/8484/stat : 8484 (java) S 8474 8476 7712 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 136748469 937607168 46853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 577.5
Current children cumulated vsize (KiB) 915632
Child status: 0
Real time (s): 642.068
CPU time (s): 636.088
CPU user time (s): 635.746
CPU system time (s): 0.341948
CPU usage (%): 99.0686
Max. virtual memory (cumulated for all children) (KiB): 915632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 635.746
system time used= 0.341948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52200
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= 14647
involuntary context switches= 34020
runsolver used 0.728889 s user time and 1.89371 s system time
The end
Begin job on node5 on Sat Jan 6 11:02:16 UTC 2007
IDJOB= 233108
IDBENCH= 6582
FILE ID= node5/233108-1168081329
PBS_JOBID= 3475879
Free space on /tmp= 66330 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-20/os-taillard-20-95-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/233108-1168081329/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-233108-1168081329 -o ROOT/results/node5/solver-233108-1168081329 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/233108-1168081329/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= cc8957f8a15d4415fcf3976e1a5630c5
RANDOM SEED= 639018033
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.240
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.240
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: 1425256 kB
Buffers: 49444 kB
Cached: 439068 kB
SwapCached: 0 kB
Active: 100396 kB
Inactive: 442596 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1425256 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5484 kB
Writeback: 0 kB
Mapped: 80368 kB
Slab: 72132 kB
Committed_AS: 4029140 kB
PageTables: 2424 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= 66330 MiB
End job on node5 on Sat Jan 6 11:13:02 UTC 2007