0.28
0.28 Abscon 109 (November, 2006)
0.28
0.28 configuration
0.28 name=mac.xml
0.31
0.31 instance
0.31 name=/tmp/evaluation/218084-1168079537/unknown.xml
0.34
0.34 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.38 => wckTime=0.095 cpuTime=0.08 mem=6M951
0.38
0.38 relations being loaded...
0.64
0.64 constraints being loaded...
0.79 nbConstraints=59 nbRelationTypes=59 nbExtensionStructures=59 nbSharedExtensionStructures=0
0.79 nbConflictsStructures=59 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
0.79 => wckTime=0.504 cpuTime=0.45 mem=43M486
0.86
0.86 solver IterativeSystematicSolver being built...
1.02 => wckTime=0.73 cpuTime=0.59 mem=21M491
1.02
1.02 preprocessing
1.02 nbConstraintChecks=0 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.02 detectedInconsistency=no
1.02 => wckTime=0.0020 cpuTime=0.0 mem=21M491
1.11
1.11 search
1.11 run=0 nbConstraintChecks=20990 nbValidityChecks=39734 nbPropagations=319 nbRevisions=3241
1.11 nbUselessRevisions=2513 nbAssignments=27 nbFailedAssignments=14 nbBacktracks=10 nbVisitedNodes=48
1.11 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.093 cpuTime=0.05 mem=21M491
1.16
1.16 search
1.16 run=1 nbConstraintChecks=52619 nbValidityChecks=103415 nbPropagations=1111 nbRevisions=11198
1.16 nbUselessRevisions=8598 nbAssignments=68 nbFailedAssignments=35 nbBacktracks=25 nbVisitedNodes=120
1.16 nbRestartNogoods=1 mapSize=23 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.145 cpuTime=0.1 mem=21M491
1.23
1.23 search
1.23 run=2 nbConstraintChecks=95862 nbValidityChecks=195299 nbPropagations=2593 nbRevisions=26333
1.23 nbUselessRevisions=20196 nbAssignments=124 nbFailedAssignments=65 nbBacktracks=47 nbVisitedNodes=223
1.23 nbRestartNogoods=6 mapSize=45 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.211 cpuTime=0.16 mem=21M491
1.31
1.31 search
1.31 run=3 nbConstraintChecks=148966 nbValidityChecks=303257 nbPropagations=5048 nbRevisions=51101
1.31 nbUselessRevisions=39133 nbAssignments=208 nbFailedAssignments=111 nbBacktracks=81 nbVisitedNodes=374
1.31 nbRestartNogoods=9 mapSize=77 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.291 cpuTime=0.23 mem=21M491
1.47
1.47 search
1.47 run=4 nbConstraintChecks=274624 nbValidityChecks=567462 nbPropagations=9317 nbRevisions=96991
1.47 nbUselessRevisions=74715 nbAssignments=380 nbFailedAssignments=227 nbBacktracks=131 nbVisitedNodes=702
1.47 nbRestartNogoods=11 mapSize=125 nbInferences=0 nbTooLargeKeys=0
1.47 => wckTime=0.453 cpuTime=0.39 mem=21M491
1.69
1.69 search
1.69 run=5 nbConstraintChecks=439806 nbValidityChecks=899867 nbPropagations=16299 nbRevisions=171128
1.69 nbUselessRevisions=131872 nbAssignments=584 nbFailedAssignments=351 nbBacktracks=207 nbVisitedNodes=1090
1.69 nbRestartNogoods=20 mapSize=199 nbInferences=0 nbTooLargeKeys=0
1.69 => wckTime=0.669 cpuTime=0.59 mem=21M491
1.91
1.91 search
1.91 run=6 nbConstraintChecks=612431 nbValidityChecks=1284722 nbPropagations=26571 nbRevisions=278764
1.91 nbUselessRevisions=214768 nbAssignments=895 nbFailedAssignments=541 nbBacktracks=320 nbVisitedNodes=1662
1.91 nbRestartNogoods=27 mapSize=294 nbInferences=0 nbTooLargeKeys=0
1.91 => wckTime=0.892 cpuTime=0.81 mem=21M491
2.51
2.51 search
2.51 run=7 nbConstraintChecks=1090762 nbValidityChecks=2286256 nbPropagations=42760 nbRevisions=459919
2.51 nbUselessRevisions=354548 nbAssignments=1494 nbFailedAssignments=964 nbBacktracks=490 nbVisitedNodes=2821
2.51 nbRestartNogoods=37 mapSize=459 nbInferences=0 nbTooLargeKeys=0
2.51 => wckTime=1.489 cpuTime=1.4 mem=21M491
3.17
3.17 search
3.17 run=8 nbConstraintChecks=1624262 nbValidityChecks=3414008 nbPropagations=68334 nbRevisions=740463
3.17 nbUselessRevisions=570501 nbAssignments=2285 nbFailedAssignments=1494 nbBacktracks=747 nbVisitedNodes=4328
3.17 nbRestartNogoods=48 mapSize=701 nbInferences=0 nbTooLargeKeys=0
3.17 => wckTime=2.148 cpuTime=2.04 mem=21M491
4.13
4.13 INFO : Stopping hyperNogood (mapSize=1045, nbTooLargekeys=0, mem=21M491)
4.20
4.20 search
4.20 run=9 nbConstraintChecks=2488974 nbValidityChecks=5288790 nbPropagations=108005 nbRevisions=1179505
4.20 nbUselessRevisions=909495 nbAssignments=3456 nbFailedAssignments=2276 nbBacktracks=1131 nbVisitedNodes=6592
4.20 nbRestartNogoods=55
4.20 => wckTime=3.182 cpuTime=3.06 mem=21M491
6.27
6.27 search
6.27 run=10 nbConstraintChecks=4249344 nbValidityChecks=8933737 nbPropagations=169669 nbRevisions=1890263
6.27 nbUselessRevisions=1459657 nbAssignments=5603 nbFailedAssignments=3841 nbBacktracks=1710 nbVisitedNodes=10783
6.27 nbRestartNogoods=64
6.27 => wckTime=5.254 cpuTime=5.12 mem=21M491
8.47
8.47 search
8.47 run=11 nbConstraintChecks=6119023 nbValidityChecks=12949209 nbPropagations=263931 nbRevisions=2932618
8.47 nbUselessRevisions=2258959 nbAssignments=8104 nbFailedAssignments=5473 nbBacktracks=2574 nbVisitedNodes=15578
8.47 nbRestartNogoods=70
8.47 => wckTime=7.453 cpuTime=7.31 mem=22M460
11.33
11.33 search
11.33 run=12 nbConstraintChecks=8532367 nbValidityChecks=18182637 nbPropagations=399788 nbRevisions=4401764
11.33 nbUselessRevisions=3381300 nbAssignments=11666 nbFailedAssignments=7735 nbBacktracks=3871 nbVisitedNodes=22276
11.33 nbRestartNogoods=87
11.33 => wckTime=10.308 cpuTime=10.15 mem=22M460
15.84
15.84 search
15.84 run=13 nbConstraintChecks=12420519 nbValidityChecks=26467889 nbPropagations=601637 nbRevisions=6585270
15.84 nbUselessRevisions=5056627 nbAssignments=17227 nbFailedAssignments=11345 nbBacktracks=5818 nbVisitedNodes=32852
15.84 nbRestartNogoods=94
15.84 => wckTime=14.825 cpuTime=14.65 mem=22M460
23.46
23.46 search
23.46 run=14 nbConstraintChecks=18932303 nbValidityChecks=39987391 nbPropagations=895268 nbRevisions=9861001
23.46 nbUselessRevisions=7588246 nbAssignments=25045 nbFailedAssignments=16237 nbBacktracks=8738 nbVisitedNodes=47658
23.46 nbRestartNogoods=103
23.46 => wckTime=22.443 cpuTime=22.22 mem=22M460
34.00
34.00 search
34.00 run=15 nbConstraintChecks=27963215 nbValidityChecks=59005790 nbPropagations=1337631 nbRevisions=14697597
34.00 nbUselessRevisions=11307117 nbAssignments=36743 nbFailedAssignments=23553 nbBacktracks=13116
34.00 nbVisitedNodes=69860 nbRestartNogoods=137
34.00 => wckTime=32.98 cpuTime=32.72 mem=22M460
49.28
49.28 search
49.28 run=16 nbConstraintChecks=41148858 nbValidityChecks=86714781 nbPropagations=1995152 nbRevisions=21849875
49.28 nbUselessRevisions=16807397 nbAssignments=54423 nbFailedAssignments=34661 nbBacktracks=19684
49.28 nbVisitedNodes=103396 nbRestartNogoods=160
49.28 => wckTime=48.261 cpuTime=47.93 mem=22M460
71.13
71.13 search
71.13 run=17 nbConstraintChecks=59759678 nbValidityChecks=125849718 nbPropagations=2953209 nbRevisions=32170010
71.13 nbUselessRevisions=24719670 nbAssignments=78085 nbFailedAssignments=48468 nbBacktracks=29537
71.13 nbVisitedNodes=147562 nbRestartNogoods=176
71.13 => wckTime=70.109 cpuTime=69.67 mem=22M460
103.98
103.98 search
103.98 run=18 nbConstraintChecks=87800997 nbValidityChecks=185124062 nbPropagations=4365543 nbRevisions=47238476
103.98 nbUselessRevisions=36233414 nbAssignments=113562 nbFailedAssignments=69164 nbBacktracks=44315
103.98 nbVisitedNodes=214026 nbRestartNogoods=200
103.98 => wckTime=102.966 cpuTime=102.39 mem=22M460
153.46
153.46 search
153.46 run=19 nbConstraintChecks=130215694 nbValidityChecks=275381558 nbPropagations=6489256 nbRevisions=69819126
153.46 nbUselessRevisions=53494077 nbAssignments=172186 nbFailedAssignments=105614 nbBacktracks=66483
153.46 nbVisitedNodes=324686 nbRestartNogoods=224
153.46 => wckTime=152.447 cpuTime=151.65 mem=22M460
227.35
227.35 search
227.35 run=20 nbConstraintChecks=193112091 nbValidityChecks=409843165 nbPropagations=9660385 nbRevisions=103505234
227.35 nbUselessRevisions=79265499 nbAssignments=256732 nbFailedAssignments=156904 nbBacktracks=99735
227.35 nbVisitedNodes=483722 nbRestartNogoods=243
227.35 => wckTime=226.331 cpuTime=225.19 mem=22M460
339.58
339.58 search
339.58 run=21 nbConstraintChecks=288738048 nbValidityChecks=611113761 nbPropagations=14360036 nbRevisions=153160012
339.58 nbUselessRevisions=117151574 nbAssignments=374847 nbFailedAssignments=225136 nbBacktracks=149615
339.58 nbVisitedNodes=704157 nbRestartNogoods=265
339.58 => wckTime=338.558 cpuTime=336.9 mem=22M460
509.39
509.39 search
509.39 run=22 nbConstraintChecks=433430741 nbValidityChecks=916345358 nbPropagations=21405213 nbRevisions=227543025
509.39 nbUselessRevisions=173882881 nbAssignments=559031 nbFailedAssignments=334498 nbBacktracks=224433
509.39 nbVisitedNodes=1049907 nbRestartNogoods=293
509.39 => wckTime=508.371 cpuTime=505.95 mem=22M460
589.11
589.11 search
589.11 run=23 nbConstraintChecks=501652673 nbValidityChecks=1060419732 nbPropagations=29555353 nbRevisions=313640473
589.11 nbUselessRevisions=239561227 nbAssignments=646474 nbFailedAssignments=386906 nbBacktracks=259469
589.11 nbVisitedNodes=1214146 nbRestartNogoods=321
589.11 => wckTime=588.093 cpuTime=585.32 mem=22M460
589.11
589.11 global
589.11 nbConstraintChecks=501652673 nbValidityChecks=1060419732 nbPropagations=29555373 nbRevisions=313640473
589.11 nbUselessRevisions=239561227 nbRestartNogoods=321 solvingWckTime=588.094 solvingCpuTime=585.32 expiredTime=no
589.11 totalExploration=yes nbFoundSolutions=0 globalCpuTime=585.95
589.11 => wckTime=588.827 cpuTime=585.91 mem=22M460
589.12
589.12 s UNSATISFIABLE
589.12 d NODES 646474
589.12 d CHECKS 501652673
589.12
589.12 totalWckTime=588.903 totalCpuTime=585.95
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node58/watcher-218084-1168079537 -o ROOT/results/node58/solver-218084-1168079537 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218084-1168079537/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.76 1.89 1.68 4/80 29074
/proc/meminfo: memFree=1450280/2055920 swapFree=4192812/4192956
[pid=29073] ppid=29071 vsize=1788 CPUtime=0
/proc/29073/stat : 29073 (java) R 29071 29073 28762 0 -1 0 360 0 0 0 0 0 0 0 18 0 1 0 156351709 1830912 154 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 5192163 0 0 4096 0 0 0 0 17 0 0 0
/proc/29073/statm: 447 158 123 14 0 92 0
[startup+0.107349 s]
/proc/loadavg: 1.76 1.89 1.68 4/80 29074
/proc/meminfo: memFree=1450280/2055920 swapFree=4192812/4192956
[pid=29073] ppid=29071 vsize=914988 CPUtime=0.09
/proc/29073/stat : 29073 (java) R 29071 29073 28762 0 -1 0 3126 0 1 0 8 1 0 0 22 0 8 0 156351709 936947712 2872 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29073/statm: 228747 2872 1472 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515382 s]
/proc/loadavg: 1.76 1.89 1.68 4/80 29074
/proc/meminfo: memFree=1450280/2055920 swapFree=4192812/4192956
[pid=29073] ppid=29071 vsize=915328 CPUtime=0.49
/proc/29073/stat : 29073 (java) R 29071 29073 28762 0 -1 0 8393 0 1 0 46 3 0 0 25 0 8 0 156351709 937295872 8132 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073562222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29073/statm: 228832 8133 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33645 s]
/proc/loadavg: 1.78 1.89 1.68 4/87 29081
/proc/meminfo: memFree=1391472/2055920 swapFree=4192812/4192956
[pid=29073] ppid=29071 vsize=915460 CPUtime=1.31
/proc/29073/stat : 29073 (java) R 29071 29073 28762 0 -1 0 17381 0 1 0 124 7 0 0 25 0 8 0 156351709 937431040 17118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613924 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29073/statm: 228865 17118 2517 14 0 215335 0
[pid=29073/tid=29075] ppid=29071 vsize=915460 CPUtime=0.05
/proc/29073/task/29075/stat : 29075 (java) S 29071 29073 28762 0 -1 64 1841 0 0 0 5 0 0 0 16 0 8 0 156351712 937431040 17118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29076] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29076/stat : 29076 (java) S 29071 29073 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156351713 937431040 17118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29077] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29077/stat : 29077 (java) S 29071 29073 28762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156351713 937431040 17118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29078] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29078/stat : 29078 (java) S 29071 29073 28762 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156351716 937431040 17118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29079] ppid=29071 vsize=915460 CPUtime=0.17
/proc/29073/task/29079/stat : 29079 (java) S 29071 29073 28762 0 -1 64 361 0 0 0 17 0 0 0 15 0 8 0 156351716 937431040 17118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29080] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29080/stat : 29080 (java) S 29071 29073 28762 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156351716 937431040 17118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29081] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29081/stat : 29081 (java) S 29071 29073 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156351716 937431040 17118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.98159 s]
/proc/loadavg: 1.78 1.89 1.68 3/87 29081
/proc/meminfo: memFree=1391408/2055920 swapFree=4192812/4192956
[pid=29073] ppid=29071 vsize=915460 CPUtime=2.95
/proc/29073/stat : 29073 (java) R 29071 29073 28762 0 -1 0 17397 0 1 0 288 7 0 0 25 0 8 0 156351709 937431040 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29073/statm: 228865 17133 2517 14 0 215335 0
[pid=29073/tid=29075] ppid=29071 vsize=915460 CPUtime=0.05
/proc/29073/task/29075/stat : 29075 (java) S 29071 29073 28762 0 -1 64 1841 0 0 0 5 0 0 0 17 0 8 0 156351712 937431040 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29076] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29076/stat : 29076 (java) S 29071 29073 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156351713 937431040 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29077] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29077/stat : 29077 (java) S 29071 29073 28762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156351713 937431040 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29078] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29078/stat : 29078 (java) S 29071 29073 28762 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156351716 937431040 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29079] ppid=29071 vsize=915460 CPUtime=0.2
/proc/29073/task/29079/stat : 29079 (java) S 29071 29073 28762 0 -1 64 377 0 0 0 20 0 0 0 16 0 8 0 156351716 937431040 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29080] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29080/stat : 29080 (java) S 29071 29073 28762 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156351716 937431040 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29081] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29081/stat : 29081 (java) S 29071 29073 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156351716 937431040 17133 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) 915460
[startup+6.28288 s]
/proc/loadavg: 1.80 1.89 1.68 3/87 29081
/proc/meminfo: memFree=1391280/2055920 swapFree=4192812/4192956
[pid=29073] ppid=29071 vsize=915460 CPUtime=6.24
/proc/29073/stat : 29073 (java) R 29071 29073 28762 0 -1 0 17406 0 1 0 616 8 0 0 25 0 8 0 156351709 937431040 17140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609069 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29073/statm: 228865 17140 2517 14 0 215335 0
[pid=29073/tid=29075] ppid=29071 vsize=915460 CPUtime=0.05
/proc/29073/task/29075/stat : 29075 (java) S 29071 29073 28762 0 -1 64 1841 0 0 0 5 0 0 0 16 0 8 0 156351712 937431040 17140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29076] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29076/stat : 29076 (java) S 29071 29073 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156351713 937431040 17140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29077] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29077/stat : 29077 (java) S 29071 29073 28762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156351713 937431040 17140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29078] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29078/stat : 29078 (java) S 29071 29073 28762 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156351716 937431040 17140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29079] ppid=29071 vsize=915460 CPUtime=0.21
/proc/29073/task/29079/stat : 29079 (java) S 29071 29073 28762 0 -1 64 385 0 0 0 21 0 0 0 16 0 8 0 156351716 937431040 17140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29080] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29080/stat : 29080 (java) S 29071 29073 28762 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156351716 937431040 17140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29081] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29081/stat : 29081 (java) S 29071 29073 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156351716 937431040 17140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915460
[startup+12.7564 s]
/proc/loadavg: 1.81 1.89 1.68 3/87 29081
/proc/meminfo: memFree=1391280/2055920 swapFree=4192812/4192956
[pid=29073] ppid=29071 vsize=915460 CPUtime=12.69
/proc/29073/stat : 29073 (java) R 29071 29073 28762 0 -1 0 17406 0 1 0 1261 8 0 0 25 0 8 0 156351709 937431040 17140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073608984 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29073/statm: 228865 17140 2517 14 0 215335 0
[pid=29073/tid=29075] ppid=29071 vsize=915460 CPUtime=0.05
/proc/29073/task/29075/stat : 29075 (java) S 29071 29073 28762 0 -1 64 1841 0 0 0 5 0 0 0 16 0 8 0 156351712 937431040 17140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29076] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29076/stat : 29076 (java) S 29071 29073 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156351713 937431040 17140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29077] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29077/stat : 29077 (java) S 29071 29073 28762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156351713 937431040 17140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29078] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29078/stat : 29078 (java) S 29071 29073 28762 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156351716 937431040 17140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29079] ppid=29071 vsize=915460 CPUtime=0.21
/proc/29073/task/29079/stat : 29079 (java) S 29071 29073 28762 0 -1 64 385 0 0 0 21 0 0 0 16 0 8 0 156351716 937431040 17140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29080] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29080/stat : 29080 (java) S 29071 29073 28762 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156351716 937431040 17140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29081] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29081/stat : 29081 (java) S 29071 29073 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156351716 937431040 17140 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) 915460
[startup+25.6025 s]
/proc/loadavg: 1.84 1.89 1.69 3/87 29081
/proc/meminfo: memFree=1391408/2055920 swapFree=4192812/4192956
[pid=29073] ppid=29071 vsize=915460 CPUtime=25.46
/proc/29073/stat : 29073 (java) R 29071 29073 28762 0 -1 0 17408 0 1 0 2538 8 0 0 25 0 8 0 156351709 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787061 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29073/statm: 228865 17141 2517 14 0 215335 0
[pid=29073/tid=29075] ppid=29071 vsize=915460 CPUtime=0.05
/proc/29073/task/29075/stat : 29075 (java) S 29071 29073 28762 0 -1 64 1841 0 0 0 5 0 0 0 16 0 8 0 156351712 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29076] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29076/stat : 29076 (java) S 29071 29073 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156351713 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29077] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29077/stat : 29077 (java) S 29071 29073 28762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156351713 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29078] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29078/stat : 29078 (java) S 29071 29073 28762 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29079] ppid=29071 vsize=915460 CPUtime=0.21
/proc/29073/task/29079/stat : 29079 (java) S 29071 29073 28762 0 -1 64 386 0 0 0 21 0 0 0 16 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29080] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29080/stat : 29080 (java) S 29071 29073 28762 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29081] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29081/stat : 29081 (java) S 29071 29073 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156351716 937431040 17141 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) 915460
[startup+51.2057 s]
/proc/loadavg: 1.90 1.90 1.70 3/87 29081
/proc/meminfo: memFree=1391472/2055920 swapFree=4192812/4192956
[pid=29073] ppid=29071 vsize=915460 CPUtime=50.96
/proc/29073/stat : 29073 (java) R 29071 29073 28762 0 -1 0 17408 0 1 0 5088 8 0 0 25 0 8 0 156351709 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29073/statm: 228865 17141 2517 14 0 215335 0
[pid=29073/tid=29075] ppid=29071 vsize=915460 CPUtime=0.05
/proc/29073/task/29075/stat : 29075 (java) S 29071 29073 28762 0 -1 64 1841 0 0 0 5 0 0 0 16 0 8 0 156351712 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29076] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29076/stat : 29076 (java) S 29071 29073 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156351713 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29077] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29077/stat : 29077 (java) S 29071 29073 28762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156351713 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29078] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29078/stat : 29078 (java) S 29071 29073 28762 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29079] ppid=29071 vsize=915460 CPUtime=0.21
/proc/29073/task/29079/stat : 29079 (java) S 29071 29073 28762 0 -1 64 386 0 0 0 21 0 0 0 16 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29080] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29080/stat : 29080 (java) S 29071 29073 28762 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29081] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29081/stat : 29081 (java) S 29071 29073 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915460
[startup+102.506 s]
/proc/loadavg: 1.96 1.91 1.71 3/87 29081
/proc/meminfo: memFree=1391472/2055920 swapFree=4192812/4192956
[pid=29073] ppid=29071 vsize=915460 CPUtime=102.03
/proc/29073/stat : 29073 (java) R 29071 29073 28762 0 -1 0 17408 0 1 0 10195 8 0 0 25 0 8 0 156351709 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786992 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29073/statm: 228865 17141 2517 14 0 215335 0
[pid=29073/tid=29075] ppid=29071 vsize=915460 CPUtime=0.05
/proc/29073/task/29075/stat : 29075 (java) S 29071 29073 28762 0 -1 64 1841 0 0 0 5 0 0 0 16 0 8 0 156351712 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29076] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29076/stat : 29076 (java) S 29071 29073 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156351713 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29077] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29077/stat : 29077 (java) S 29071 29073 28762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156351713 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29078] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29078/stat : 29078 (java) S 29071 29073 28762 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29079] ppid=29071 vsize=915460 CPUtime=0.21
/proc/29073/task/29079/stat : 29079 (java) S 29071 29073 28762 0 -1 64 386 0 0 0 21 0 0 0 16 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29080] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29080/stat : 29080 (java) S 29071 29073 28762 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29081] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29081/stat : 29081 (java) S 29071 29073 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.03
Current children cumulated vsize (KiB) 915460
[startup+162.545 s]
/proc/loadavg: 2.01 1.94 1.73 3/87 29081
/proc/meminfo: memFree=1391408/2055920 swapFree=4192812/4192956
[pid=29073] ppid=29071 vsize=915460 CPUtime=161.79
/proc/29073/stat : 29073 (java) R 29071 29073 28762 0 -1 0 17408 0 1 0 16171 8 0 0 25 0 8 0 156351709 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749641 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/29073/task/29078/stat : 29078 (java) S 29071 29073 28762 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29079] ppid=29071 vsize=915460 CPUtime=0.21
/proc/29073/task/29079/stat : 29079 (java) S 29071 29073 28762 0 -1 64 386 0 0 0 21 0 0 0 16 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29080] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29080/stat : 29080 (java) S 29071 29073 28762 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29081] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29081/stat : 29081 (java) S 29071 29073 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.79
Current children cumulated vsize (KiB) 915460
[startup+222.587 s]
/proc/loadavg: 2.06 1.96 1.75 3/87 29081
/proc/meminfo: memFree=1391408/2055920 swapFree=4192812/4192956
[pid=29073] ppid=29071 vsize=915460 CPUtime=221.57
/proc/29073/stat : 29073 (java) R 29071 29073 28762 0 -1 0 17408 0 1 0 22149 8 0 0 25 0 8 0 156351709 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727860 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29073/statm: 228865 17141 2517 14 0 215335 0
[pid=29073/tid=29075] ppid=29071 vsize=915460 CPUtime=0.05
/proc/29073/task/29075/stat : 29075 (java) S 29071 29073 28762 0 -1 64 1841 0 0 0 5 0 0 0 16 0 8 0 156351712 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29076] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29076/stat : 29076 (java) S 29071 29073 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156351713 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29077] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29077/stat : 29077 (java) S 29071 29073 28762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156351713 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29078] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29078/stat : 29078 (java) S 29071 29073 28762 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29079] ppid=29071 vsize=915460 CPUtime=0.21
/proc/29073/task/29079/stat : 29079 (java) S 29071 29073 28762 0 -1 64 386 0 0 0 21 0 0 0 16 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29080] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29080/stat : 29080 (java) S 29071 29073 28762 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29081] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29081/stat : 29081 (java) S 29071 29073 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.57
Current children cumulated vsize (KiB) 915460
[startup+282.623 s]
/proc/loadavg: 2.02 1.97 1.76 3/87 29081
/proc/meminfo: memFree=1391408/2055920 swapFree=4192812/4192956
[pid=29073] ppid=29071 vsize=915460 CPUtime=281.34
/proc/29073/stat : 29073 (java) R 29071 29073 28762 0 -1 0 17408 0 1 0 28125 9 0 0 25 0 8 0 156351709 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073732824 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29073/statm: 228865 17141 2517 14 0 215335 0
[pid=29073/tid=29075] ppid=29071 vsize=915460 CPUtime=0.05
/proc/29073/task/29075/stat : 29075 (java) S 29071 29073 28762 0 -1 64 1841 0 0 0 5 0 0 0 16 0 8 0 156351712 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29076] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29076/stat : 29076 (java) S 29071 29073 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156351713 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29077] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29077/stat : 29077 (java) S 29071 29073 28762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156351713 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29078] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29078/stat : 29078 (java) S 29071 29073 28762 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29079] ppid=29071 vsize=915460 CPUtime=0.21
/proc/29073/task/29079/stat : 29079 (java) S 29071 29073 28762 0 -1 64 386 0 0 0 21 0 0 0 16 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29080] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29080/stat : 29080 (java) S 29071 29073 28762 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29081] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29081/stat : 29081 (java) S 29071 29073 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 281.34
Current children cumulated vsize (KiB) 915460
[startup+342.665 s]
/proc/loadavg: 2.01 1.97 1.77 3/87 29081
/proc/meminfo: memFree=1391408/2055920 swapFree=4192812/4192956
[pid=29073] ppid=29071 vsize=915460 CPUtime=341.1
/proc/29073/stat : 29073 (java) R 29071 29073 28762 0 -1 0 17408 0 1 0 34101 9 0 0 25 0 8 0 156351709 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609129 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29073/statm: 228865 17141 2517 14 0 215335 0
[pid=29073/tid=29075] ppid=29071 vsize=915460 CPUtime=0.05
/proc/29073/task/29075/stat : 29075 (java) S 29071 29073 28762 0 -1 64 1841 0 0 0 5 0 0 0 16 0 8 0 156351712 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29076] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29076/stat : 29076 (java) S 29071 29073 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156351713 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29077] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29077/stat : 29077 (java) S 29071 29073 28762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156351713 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29078] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29078/stat : 29078 (java) S 29071 29073 28762 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29079] ppid=29071 vsize=915460 CPUtime=0.21
/proc/29073/task/29079/stat : 29079 (java) S 29071 29073 28762 0 -1 64 386 0 0 0 21 0 0 0 16 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29080] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29080/stat : 29080 (java) S 29071 29073 28762 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29081] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29081/stat : 29081 (java) S 29071 29073 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 341.1
Current children cumulated vsize (KiB) 915460
[startup+402.711 s]
/proc/loadavg: 2.04 1.99 1.79 3/87 29081
/proc/meminfo: memFree=1391408/2055920 swapFree=4192812/4192956
[pid=29073] ppid=29071 vsize=915460 CPUtime=400.88
/proc/29073/stat : 29073 (java) R 29071 29073 28762 0 -1 0 17408 0 1 0 40079 9 0 0 25 0 8 0 156351709 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29073/statm: 228865 17141 2517 14 0 215335 0
[pid=29073/tid=29075] ppid=29071 vsize=915460 CPUtime=0.05
/proc/29073/task/29075/stat : 29075 (java) S 29071 29073 28762 0 -1 64 1841 0 0 0 5 0 0 0 16 0 8 0 156351712 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29076] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29076/stat : 29076 (java) S 29071 29073 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156351713 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29077] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29077/stat : 29077 (java) S 29071 29073 28762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156351713 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29078] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29078/stat : 29078 (java) S 29071 29073 28762 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29079] ppid=29071 vsize=915460 CPUtime=0.21
/proc/29073/task/29079/stat : 29079 (java) S 29071 29073 28762 0 -1 64 386 0 0 0 21 0 0 0 16 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29080] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29080/stat : 29080 (java) S 29071 29073 28762 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29081] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29081/stat : 29081 (java) S 29071 29073 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 400.88
Current children cumulated vsize (KiB) 915460
[startup+462.752 s]
/proc/loadavg: 2.07 2.00 1.81 3/87 29081
/proc/meminfo: memFree=1391344/2055920 swapFree=4192812/4192956
[pid=29073] ppid=29071 vsize=915460 CPUtime=460.66
/proc/29073/stat : 29073 (java) R 29071 29073 28762 0 -1 0 17408 0 1 0 46056 10 0 0 25 0 8 0 156351709 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073733880 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29073/statm: 228865 17141 2517 14 0 215335 0
[pid=29073/tid=29075] ppid=29071 vsize=915460 CPUtime=0.05
/proc/29073/task/29075/stat : 29075 (java) S 29071 29073 28762 0 -1 64 1841 0 0 0 5 0 0 0 16 0 8 0 156351712 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29076] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29076/stat : 29076 (java) S 29071 29073 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156351713 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29077] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29077/stat : 29077 (java) S 29071 29073 28762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156351713 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29078] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29078/stat : 29078 (java) S 29071 29073 28762 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29079] ppid=29071 vsize=915460 CPUtime=0.21
/proc/29073/task/29079/stat : 29079 (java) S 29071 29073 28762 0 -1 64 386 0 0 0 21 0 0 0 16 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29080] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29080/stat : 29080 (java) S 29071 29073 28762 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29081] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29081/stat : 29081 (java) S 29071 29073 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 460.66
Current children cumulated vsize (KiB) 915460
[startup+522.801 s]
/proc/loadavg: 2.07 2.01 1.82 3/87 29081
/proc/meminfo: memFree=1344752/2055920 swapFree=4192812/4192956
[pid=29073] ppid=29071 vsize=915460 CPUtime=520.41
/proc/29073/stat : 29073 (java) R 29071 29073 28762 0 -1 0 17408 0 1 0 52031 10 0 0 25 0 8 0 156351709 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073746912 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29073/statm: 228865 17141 2517 14 0 215335 0
[pid=29073/tid=29075] ppid=29071 vsize=915460 CPUtime=0.05
/proc/29073/task/29075/stat : 29075 (java) S 29071 29073 28762 0 -1 64 1841 0 0 0 5 0 0 0 16 0 8 0 156351712 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29076] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29076/stat : 29076 (java) S 29071 29073 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156351713 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29077] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29077/stat : 29077 (java) S 29071 29073 28762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156351713 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29078] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29078/stat : 29078 (java) S 29071 29073 28762 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29079] ppid=29071 vsize=915460 CPUtime=0.21
/proc/29073/task/29079/stat : 29079 (java) S 29071 29073 28762 0 -1 64 386 0 0 0 21 0 0 0 16 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29080] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29080/stat : 29080 (java) S 29071 29073 28762 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29081] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29081/stat : 29081 (java) S 29071 29073 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 520.41
Current children cumulated vsize (KiB) 915460
[startup+582.838 s]
/proc/loadavg: 2.06 2.02 1.83 3/87 29081
/proc/meminfo: memFree=1344688/2055920 swapFree=4192812/4192956
[pid=29073] ppid=29071 vsize=915460 CPUtime=580.19
/proc/29073/stat : 29073 (java) R 29071 29073 28762 0 -1 0 17408 0 1 0 58009 10 0 0 25 0 8 0 156351709 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609075 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29073/statm: 228865 17141 2517 14 0 215335 0
[pid=29073/tid=29075] ppid=29071 vsize=915460 CPUtime=0.05
/proc/29073/task/29075/stat : 29075 (java) S 29071 29073 28762 0 -1 64 1841 0 0 0 5 0 0 0 16 0 8 0 156351712 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29076] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29076/stat : 29076 (java) S 29071 29073 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156351713 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29077] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29077/stat : 29077 (java) S 29071 29073 28762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156351713 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29078] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29078/stat : 29078 (java) S 29071 29073 28762 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29079] ppid=29071 vsize=915460 CPUtime=0.21
/proc/29073/task/29079/stat : 29079 (java) S 29071 29073 28762 0 -1 64 386 0 0 0 21 0 0 0 16 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29080] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29080/stat : 29080 (java) S 29071 29073 28762 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29073/tid=29081] ppid=29071 vsize=915460 CPUtime=0
/proc/29073/task/29081/stat : 29081 (java) S 29071 29073 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156351716 937431040 17141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 580.19
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 589.147
CPU time (s): 586.466
CPU user time (s): 586.345
CPU system time (s): 0.120981
CPU usage (%): 99.545
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 586.345
system time used= 0.120981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17415
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= 12977
involuntary context switches= 22518
runsolver used 0.684895 s user time and 1.80872 s system time
The end
Begin job on node58 on Sat Jan 6 10:32:17 UTC 2007
IDJOB= 218084
IDBENCH= 5198
FILE ID= node58/218084-1168079537
PBS_JOBID= 3476126
Free space on /tmp= 66531 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-33_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218084-1168079537/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-218084-1168079537 -o ROOT/results/node58/solver-218084-1168079537 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218084-1168079537/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= bc93713de166b1eb8718a7b2d6ead437
RANDOM SEED= 746285914
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.223
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.223
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: 1450696 kB
Buffers: 22308 kB
Cached: 287908 kB
SwapCached: 0 kB
Active: 289240 kB
Inactive: 249552 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1450696 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3040 kB
Writeback: 0 kB
Mapped: 248868 kB
Slab: 51476 kB
Committed_AS: 3028484 kB
PageTables: 2176 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= 66531 MiB
End job on node58 on Sat Jan 6 10:42:07 UTC 2007