0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=epfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/276445-1169237676/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.42 => wckTime=0.103 cpuTime=0.09 mem=6M887
0.42
0.42 relations being loaded...
0.61
0.61 constraints being loaded...
0.70 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.70 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=10 maxArity=2
0.70 => wckTime=0.38 cpuTime=0.32 mem=21M722
0.75
0.75 solver LocalSearchSolver being built...
0.79 => wckTime=0.472 cpuTime=0.37 mem=6M328
0.80
0.80 s SATISFIABLE
0.80 o 20
0.80 c 83
0.80 o 24
0.81 c 79
0.81 o 28
0.81 c 75
0.81 o 32
0.81 c 71
0.81 o 36
0.81 c 67
0.81 o 40
0.81 c 63
0.81 o 43
0.81 c 60
0.81 o 46
0.81 c 57
0.81 o 49
0.81 c 54
0.81 o 53
0.81 c 50
0.81 o 56
0.81 c 47
0.81 o 57
0.82 c 46
0.82 o 60
0.82 c 43
0.82 o 62
0.82 c 41
0.82 o 64
0.82 c 39
0.82 o 67
0.82 c 36
0.82 o 70
0.82 c 33
0.82 o 72
0.82 c 31
0.82 o 74
0.82 c 29
0.82 o 75
0.82 c 28
0.82 o 76
0.82 c 27
0.82 o 77
0.82 c 26
0.82 o 78
0.82 c 25
0.83 o 79
0.83 c 24
0.83 o 80
0.83 c 23
0.83 o 81
0.83 c 22
0.83 o 82
0.83 c 21
0.84 o 83
0.84 c 20
0.84 o 84
0.84 c 19
0.84 o 85
0.84 c 18
0.84 o 86
0.84 c 17
0.84 o 87
0.84 c 16
0.84 o 88
0.84 c 15
0.84 o 89
0.84 c 14
0.85 o 90
0.85 c 13
0.87 o 91
0.87 c 12
0.88 o 92
0.88 c 11
0.90 o 93
0.90 c 10
0.92 o 94
0.92 c 9
0.92 o 95
0.92 c 8
0.92 o 96
0.92 c 7
0.92 o 97
0.92 c 6
1.20 o 98
1.20 c 5
1.22 o 99
1.22 c 4
1.26 o 100
1.26 c 3
6.16
6.16 search
6.16 run=0 nbConstraintChecks=40622605 nbAssignments=10000
6.16 => wckTime=5.367 cpuTime=5.31 mem=6M328
11.11
11.11 search
11.11 run=1 nbConstraintChecks=79460512 nbAssignments=20000
11.11 => wckTime=10.316 cpuTime=10.25 mem=6M328
16.29
16.29 search
16.29 run=2 nbConstraintChecks=121145417 nbAssignments=30000
16.29 => wckTime=15.504 cpuTime=15.43 mem=6M328
21.66
21.66 search
21.66 run=3 nbConstraintChecks=163614477 nbAssignments=40000
21.66 => wckTime=20.867 cpuTime=20.8 mem=6M328
26.62
26.62 search
26.62 run=4 nbConstraintChecks=202636307 nbAssignments=50000
26.62 => wckTime=25.829 cpuTime=25.76 mem=6M328
31.30
31.30 search
31.30 run=5 nbConstraintChecks=239769330 nbAssignments=58505
31.30 => wckTime=30.514 cpuTime=30.44 mem=6M328
31.31
31.31 global
31.31 nbConstraintChecks=239769330 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.31 solvingWckTime=30.51 solvingCpuTime=30.44 expiredTime=no totalExploration=no nbFoundSolutions=0
31.31 globalCpuTime=30.87
31.31 => wckTime=30.987 cpuTime=30.81 mem=6M328
31.31
31.31 solver IterativeSystematicSolver being built...
31.43 => wckTime=31.114 cpuTime=30.91 mem=17M269
31.52
31.52 preprocessing
31.52 nbConstraintChecks=165712 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.52 detectedInconsistency=no
31.52 => wckTime=0.09 cpuTime=0.07 mem=17M269
32.37
32.37 search
32.37 run=0 nbConstraintChecks=4510328 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=419
32.37 nbFailedAssignments=404 nbBacktracks=10 nbVisitedNodes=834 nbRestartNogoods=0
32.37 => wckTime=0.938 cpuTime=0.91 mem=17M269
33.24
33.24 search
33.24 run=1 nbConstraintChecks=9365884 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=884
33.24 nbFailedAssignments=842 nbBacktracks=25 nbVisitedNodes=1752 nbRestartNogoods=20
33.24 => wckTime=1.807 cpuTime=1.77 mem=17M269
33.78
33.78 search
33.78 run=2 nbConstraintChecks=12618538 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1155
33.78 nbFailedAssignments=1085 nbBacktracks=47 nbVisitedNodes=2288 nbRestartNogoods=99
33.78 => wckTime=2.344 cpuTime=2.3 mem=17M269
35.71
35.71 search
35.71 run=3 nbConstraintChecks=23504940 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2089
35.71 nbFailedAssignments=1980 nbBacktracks=80 nbVisitedNodes=4150 nbRestartNogoods=181
35.71 => wckTime=4.281 cpuTime=4.22 mem=17M269
38.28
38.28 search
38.28 run=4 nbConstraintChecks=37548433 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3271
38.28 nbFailedAssignments=3106 nbBacktracks=130 nbVisitedNodes=6508 nbRestartNogoods=224
38.28 => wckTime=6.843 cpuTime=6.78 mem=17M269
42.01
42.01 search
42.01 run=5 nbConstraintChecks=59270047 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5282
42.01 nbFailedAssignments=5034 nbBacktracks=205 nbVisitedNodes=10522 nbRestartNogoods=289
42.01 => wckTime=10.573 cpuTime=10.51 mem=17M269
47.16
47.16 search
47.16 run=6 nbConstraintChecks=85066415 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7274
47.16 nbFailedAssignments=6907 nbBacktracks=318 nbVisitedNodes=14500 nbRestartNogoods=360
47.16 => wckTime=15.723 cpuTime=15.66 mem=17M269
59.34
59.34 search
59.34 run=7 nbConstraintChecks=151478065 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12616
59.34 nbFailedAssignments=12072 nbBacktracks=488 nbVisitedNodes=25177 nbRestartNogoods=433
59.34 => wckTime=27.902 cpuTime=27.83 mem=17M269
68.42
68.42 search
68.42 run=8 nbConstraintChecks=203055742 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16999
68.42 nbFailedAssignments=16188 nbBacktracks=744 nbVisitedNodes=33931 nbRestartNogoods=543
68.42 => wckTime=36.987 cpuTime=36.91 mem=17M269
81.03
81.03 search
81.03 run=9 nbConstraintChecks=270789891 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23662
81.03 nbFailedAssignments=22453 nbBacktracks=1128 nbVisitedNodes=47239 nbRestartNogoods=654
81.03 => wckTime=49.594 cpuTime=49.51 mem=17M269
98.02
98.02 search
98.02 run=10 nbConstraintChecks=359752951 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31798
98.02 nbFailedAssignments=30002 nbBacktracks=1704 nbVisitedNodes=63500 nbRestartNogoods=742
98.02 => wckTime=66.588 cpuTime=66.49 mem=17M269
117.45
117.45 search
117.45 run=11 nbConstraintChecks=460141053 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=42382
117.45 nbFailedAssignments=39716 nbBacktracks=2569 nbVisitedNodes=84659 nbRestartNogoods=818
117.45 => wckTime=86.021 cpuTime=85.92 mem=17M269
137.41
137.41 search
137.41 run=12 nbConstraintChecks=560586972 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=54711
137.41 nbFailedAssignments=50733 nbBacktracks=3866 nbVisitedNodes=109302 nbRestartNogoods=820
137.41 => wckTime=105.972 cpuTime=105.86 mem=17M269
180.04
180.04 search
180.04 run=13 nbConstraintChecks=770914788 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=74532
180.04 nbFailedAssignments=68602 nbBacktracks=5812 nbVisitedNodes=148921 nbRestartNogoods=937
180.04 => wckTime=148.603 cpuTime=148.48 mem=17M269
228.81
228.81 search
228.81 run=14 nbConstraintChecks=980877958 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=93084
228.81 nbFailedAssignments=84229 nbBacktracks=8731 nbVisitedNodes=185652 nbRestartNogoods=977
228.81 => wckTime=197.373 cpuTime=197.23 mem=17M269
287.88
287.88 search
287.88 run=15 nbConstraintChecks=1232459762 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=116297
287.88 nbFailedAssignments=103057 nbBacktracks=13109 nbVisitedNodes=231458 nbRestartNogoods=1016
287.88 => wckTime=256.45 cpuTime=256.28 mem=17M269
361.44
361.44 search
361.44 run=16 nbConstraintChecks=1540776784 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=145105
361.44 nbFailedAssignments=125292 nbBacktracks=19677 nbVisitedNodes=288234 nbRestartNogoods=1044
361.44 => wckTime=330.011 cpuTime=329.82 mem=17M269
476.19
476.19 search
476.19 run=17 nbConstraintChecks=2038903825 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=191193
476.19 nbFailedAssignments=161517 nbBacktracks=29529 nbVisitedNodes=378874 nbRestartNogoods=1079
476.19 => wckTime=444.76 cpuTime=444.52 mem=17M269
476.96 o 101
476.96 c 2
481.68 o 102
481.68 c 1
574.73
574.73 search
574.73 run=18 nbConstraintChecks=2374127748 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=225342
574.73 nbFailedAssignments=180884 nbBacktracks=44307 nbVisitedNodes=436855 nbRestartNogoods=1107
574.73 => wckTime=543.294 cpuTime=543.03 mem=17M269
716.25
716.25 search
716.25 run=19 nbConstraintChecks=2856764730 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=275879
716.25 nbFailedAssignments=209249 nbBacktracks=66475 nbVisitedNodes=521832 nbRestartNogoods=1161
716.25 => wckTime=684.817 cpuTime=684.5 mem=17M269
928.18
928.18 search
928.18 run=20 nbConstraintChecks=3580210704 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=350610
928.18 nbFailedAssignments=250722 nbBacktracks=99728 nbVisitedNodes=646707 nbRestartNogoods=1192
928.18 => wckTime=896.751 cpuTime=896.36 mem=17M269
1239.44
1239.44 search
1239.44 run=21 nbConstraintChecks=4654670570 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=459814
1239.44 nbFailedAssignments=310047 nbBacktracks=149606 nbVisitedNodes=827796 nbRestartNogoods=1250
1239.44 => wckTime=1208.003 cpuTime=1206.84 mem=17M269
1314.88
1314.88 search
1314.88 run=22 nbConstraintChecks=4919354677 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=484829
1314.88 nbFailedAssignments=323264 nbBacktracks=161405 nbVisitedNodes=868911 nbRestartNogoods=1276
1314.88 => wckTime=1283.445 cpuTime=1281.92 mem=17M269
1314.88
1314.88 global
1314.88 nbConstraintChecks=4919520389 nbRestartNogoods=1276 solvingWckTime=1283.446 solvingCpuTime=1281.92
1314.88 expiredTime=no totalExploration=yes nbFoundSolutions=2 globalCpuTime=1312.89
1314.88 => wckTime=1314.56 cpuTime=1312.83 mem=17M269
1314.88
1314.88 s OPTIMUM FOUND
1314.88 v 50 31 25 30 33 5 18 0 20 33 58 24 15 27 19 54 2 18 72 5 13 28 56 37 4 6 3 23 63 9 29 74 5 62 11 8 2 46 70 51
1314.88
1314.88 totalWckTime=1314.642 totalCpuTime=1312.89
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-276445-1169237676 -o ROOT/results/node21/solver-276445-1169237676 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276445-1169237676/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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.92 1.99 1.99 4/87 8386
/proc/meminfo: memFree=859584/2055920 swapFree=4156356/4192956
[pid=8385] ppid=8383 vsize=18540 CPUtime=0
/proc/8385/stat : 8385 (runsolver) R 8383 8385 7525 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 272162149 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 221236489511 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/8385/statm: 4635 279 244 17 0 2626 0
[startup+0.103882 s]
/proc/loadavg: 1.92 1.99 1.99 4/87 8386
/proc/meminfo: memFree=859584/2055920 swapFree=4156356/4192956
[pid=8385] ppid=8383 vsize=913228 CPUtime=0.08
/proc/8385/stat : 8385 (java) R 8383 8385 7525 0 -1 0 2918 0 1 0 7 1 0 0 17 0 8 0 272162149 935145472 2664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8385/statm: 228307 2664 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.51196 s]
/proc/loadavg: 1.92 1.99 1.99 4/87 8386
/proc/meminfo: memFree=859584/2055920 swapFree=4156356/4192956
[pid=8385] ppid=8383 vsize=915332 CPUtime=0.48
/proc/8385/stat : 8385 (java) R 8383 8385 7525 0 -1 0 7215 0 1 0 44 4 0 0 18 0 8 0 272162149 937299968 6954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073590500 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8385/statm: 228833 6954 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33516 s]
/proc/loadavg: 1.92 1.99 1.99 3/94 8393
/proc/meminfo: memFree=828424/2055920 swapFree=4156356/4192956
[pid=8385] ppid=8383 vsize=915444 CPUtime=1.3
/proc/8385/stat : 8385 (java) R 8383 8385 7525 0 -1 0 10434 0 1 0 119 11 0 0 25 0 8 0 272162149 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8385/statm: 228861 10172 2479 14 0 215331 0
[pid=8385/tid=8387] ppid=8383 vsize=915444 CPUtime=0.03
/proc/8385/task/8387/stat : 8387 (java) S 8383 8385 7525 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272162153 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8388] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8388/stat : 8388 (java) S 8383 8385 7525 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272162154 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8389] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8389/stat : 8389 (java) S 8383 8385 7525 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272162154 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8390] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8390/stat : 8390 (java) S 8383 8385 7525 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272162157 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8391] ppid=8383 vsize=915444 CPUtime=0.11
/proc/8385/task/8391/stat : 8391 (java) S 8383 8385 7525 0 -1 64 331 0 0 0 11 0 0 0 16 0 8 0 272162157 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8392] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8392/stat : 8392 (java) S 8383 8385 7525 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272162157 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8393] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8393/stat : 8393 (java) S 8383 8385 7525 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272162157 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915444
[startup+2.98642 s]
/proc/loadavg: 1.93 1.99 1.99 3/94 8393
/proc/meminfo: memFree=828360/2055920 swapFree=4156356/4192956
[pid=8385] ppid=8383 vsize=915444 CPUtime=2.94
/proc/8385/stat : 8385 (java) R 8383 8385 7525 0 -1 0 10438 0 1 0 272 22 0 0 25 0 8 0 272162149 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073679792 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8385/statm: 228861 10175 2479 14 0 215331 0
[pid=8385/tid=8387] ppid=8383 vsize=915444 CPUtime=0.03
/proc/8385/task/8387/stat : 8387 (java) S 8383 8385 7525 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272162153 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8388] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8388/stat : 8388 (java) S 8383 8385 7525 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272162154 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8389] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8389/stat : 8389 (java) S 8383 8385 7525 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272162154 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8390] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8390/stat : 8390 (java) S 8383 8385 7525 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272162157 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8391] ppid=8383 vsize=915444 CPUtime=0.12
/proc/8385/task/8391/stat : 8391 (java) S 8383 8385 7525 0 -1 64 334 0 0 0 12 0 0 0 16 0 8 0 272162157 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8392] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8392/stat : 8392 (java) S 8383 8385 7525 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272162157 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8393] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8393/stat : 8393 (java) S 8383 8385 7525 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272162157 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915444
[startup+6.26904 s]
/proc/loadavg: 1.93 1.99 1.99 3/94 8393
/proc/meminfo: memFree=828368/2055920 swapFree=4156356/4192956
[pid=8385] ppid=8383 vsize=915444 CPUtime=6.21
/proc/8385/stat : 8385 (java) R 8383 8385 7525 0 -1 0 10440 0 1 0 574 47 0 0 25 0 8 0 272162149 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073679411 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8385/statm: 228861 10177 2479 14 0 215331 0
[pid=8385/tid=8387] ppid=8383 vsize=915444 CPUtime=0.03
/proc/8385/task/8387/stat : 8387 (java) S 8383 8385 7525 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272162153 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8388] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8388/stat : 8388 (java) S 8383 8385 7525 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272162154 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8389] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8389/stat : 8389 (java) S 8383 8385 7525 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272162154 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8390] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8390/stat : 8390 (java) S 8383 8385 7525 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272162157 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8391] ppid=8383 vsize=915444 CPUtime=0.12
/proc/8385/task/8391/stat : 8391 (java) S 8383 8385 7525 0 -1 64 336 0 0 0 12 0 0 0 16 0 8 0 272162157 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8392] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8392/stat : 8392 (java) S 8383 8385 7525 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272162157 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8393] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8393/stat : 8393 (java) S 8383 8385 7525 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272162157 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915444
[startup+12.7621 s]
/proc/loadavg: 1.94 1.99 1.99 3/94 8393
/proc/meminfo: memFree=828368/2055920 swapFree=4156356/4192956
[pid=8385] ppid=8383 vsize=915444 CPUtime=12.7
/proc/8385/stat : 8385 (java) R 8383 8385 7525 0 -1 0 10440 0 1 0 1170 100 0 0 25 0 8 0 272162149 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8385/statm: 228861 10177 2479 14 0 215331 0
[pid=8385/tid=8387] ppid=8383 vsize=915444 CPUtime=0.03
/proc/8385/task/8387/stat : 8387 (java) S 8383 8385 7525 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272162153 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8388] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8388/stat : 8388 (java) S 8383 8385 7525 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272162154 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8389] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8389/stat : 8389 (java) S 8383 8385 7525 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272162154 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8390] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8390/stat : 8390 (java) S 8383 8385 7525 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272162157 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8391] ppid=8383 vsize=915444 CPUtime=0.12
/proc/8385/task/8391/stat : 8391 (java) S 8383 8385 7525 0 -1 64 336 0 0 0 12 0 0 0 16 0 8 0 272162157 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8392] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8392/stat : 8392 (java) S 8383 8385 7525 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272162157 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8393] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8393/stat : 8393 (java) S 8383 8385 7525 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272162157 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915444
[startup+25.6235 s]
/proc/loadavg: 1.95 1.99 1.99 3/94 8393
/proc/meminfo: memFree=828432/2055920 swapFree=4156356/4192956
[pid=8385] ppid=8383 vsize=915444 CPUtime=25.55
/proc/8385/stat : 8385 (java) R 8383 8385 7525 0 -1 0 10440 0 1 0 2357 198 0 0 25 0 8 0 272162149 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8385/statm: 228861 10177 2479 14 0 215331 0
[pid=8385/tid=8387] ppid=8383 vsize=915444 CPUtime=0.03
/proc/8385/task/8387/stat : 8387 (java) S 8383 8385 7525 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272162153 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8388] ppid=8383 vsize=915448 CPUtime=0
/proc/8385/task/8388/stat : 8388 (java) S 8383 8385 7525 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272162154 937418752 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8389] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8389/stat : 8389 (java) S 8383 8385 7525 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272162154 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8390] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8390/stat : 8390 (java) S 8383 8385 7525 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272162157 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8391] ppid=8383 vsize=915444 CPUtime=0.12
/proc/8385/task/8391/stat : 8391 (java) S 8383 8385 7525 0 -1 64 336 0 0 0 12 0 0 0 16 0 8 0 272162157 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8392] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8392/stat : 8392 (java) S 8383 8385 7525 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272162157 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8393] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8393/stat : 8393 (java) S 8383 8385 7525 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272162157 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915444
[startup+51.2444 s]
/proc/loadavg: 1.97 1.99 1.99 3/94 8393
/proc/meminfo: memFree=828112/2055920 swapFree=4156356/4192956
[pid=8385] ppid=8383 vsize=915444 CPUtime=51.17
/proc/8385/stat : 8385 (java) R 8383 8385 7525 0 -1 0 10602 0 1 0 4876 241 0 0 25 0 8 0 272162149 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784607 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8385/statm: 228861 10331 2532 14 0 215331 0
[pid=8385/tid=8387] ppid=8383 vsize=915444 CPUtime=0.03
/proc/8385/task/8387/stat : 8387 (java) S 8383 8385 7525 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272162153 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8388] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8388/stat : 8388 (java) S 8383 8385 7525 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272162154 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8389] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8389/stat : 8389 (java) S 8383 8385 7525 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272162154 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8390] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8390/stat : 8390 (java) S 8383 8385 7525 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272162157 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8391] ppid=8383 vsize=915444 CPUtime=0.22
/proc/8385/task/8391/stat : 8391 (java) S 8383 8385 7525 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 272162157 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8392] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8392/stat : 8392 (java) S 8383 8385 7525 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272162157 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8393] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8393/stat : 8393 (java) S 8383 8385 7525 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272162157 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 915444
[startup+102.474 s]
/proc/loadavg: 1.98 1.99 1.99 3/94 8393
/proc/meminfo: memFree=828176/2055920 swapFree=4156356/4192956
[pid=8385] ppid=8383 vsize=915444 CPUtime=102.38
/proc/8385/stat : 8385 (java) R 8383 8385 7525 0 -1 0 10606 0 1 0 9997 241 0 0 25 0 8 0 272162149 937414656 10333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788304 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8385/statm: 228861 10333 2532 14 0 215331 0
[pid=8385/tid=8387] ppid=8383 vsize=915444 CPUtime=0.03
/proc/8385/task/8387/stat : 8387 (java) S 8383 8385 7525 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272162153 937414656 10333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8388] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8388/stat : 8388 (java) S 8383 8385 7525 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272162154 937414656 10333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8389] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8389/stat : 8389 (java) S 8383 8385 7525 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272162154 937414656 10333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8390] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8390/stat : 8390 (java) S 8383 8385 7525 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272162157 937414656 10333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8391] ppid=8383 vsize=915444 CPUtime=0.23
/proc/8385/task/8391/stat : 8391 (java) S 8383 8385 7525 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 272162157 937414656 10333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8392] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8392/stat : 8392 (java) S 8383 8385 7525 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272162157 937414656 10333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8393] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8393/stat : 8393 (java) S 8383 8385 7525 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272162157 937414656 10333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 915444
[startup+162.565 s]
/proc/loadavg: 1.99 1.99 1.99 3/94 8393
/proc/meminfo: memFree=828176/2055920 swapFree=4156356/4192956
[pid=8385] ppid=8383 vsize=915444 CPUtime=162.45
/proc/8385/stat : 8385 (java) R 8383 8385 7525 0 -1 0 10606 0 1 0 16003 242 0 0 25 0 8 0 272162149 937414656 10333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918523 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/8385/task/8390/stat : 8390 (java) S 8383 8385 7525 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272162157 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8391] ppid=8383 vsize=915444 CPUtime=0.23
/proc/8385/task/8391/stat : 8391 (java) S 8383 8385 7525 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 272162157 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8392] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8392/stat : 8392 (java) S 8383 8385 7525 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272162157 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8393] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8393/stat : 8393 (java) S 8383 8385 7525 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272162157 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 883.23
Current children cumulated vsize (KiB) 915444
[startup+943.695 s]
/proc/loadavg: 2.02 2.01 2.00 3/94 8395
/proc/meminfo: memFree=828112/2055920 swapFree=4156356/4192956
[pid=8385] ppid=8383 vsize=915444 CPUtime=943.31
/proc/8385/stat : 8385 (java) R 8383 8385 7525 0 -1 0 10609 0 1 0 94084 247 0 0 25 0 8 0 272162149 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073673335 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8385/statm: 228861 10334 2532 14 0 215331 0
[pid=8385/tid=8387] ppid=8383 vsize=915444 CPUtime=0.03
/proc/8385/task/8387/stat : 8387 (java) S 8383 8385 7525 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272162153 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8388] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8388/stat : 8388 (java) S 8383 8385 7525 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272162154 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8389] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8389/stat : 8389 (java) S 8383 8385 7525 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272162154 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8390] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8390/stat : 8390 (java) S 8383 8385 7525 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272162157 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8391] ppid=8383 vsize=915444 CPUtime=0.23
/proc/8385/task/8391/stat : 8391 (java) S 8383 8385 7525 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 272162157 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8392] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8392/stat : 8392 (java) S 8383 8385 7525 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272162157 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8393] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8393/stat : 8393 (java) S 8383 8385 7525 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272162157 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 943.31
Current children cumulated vsize (KiB) 915444
[startup+1003.78 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 8395
/proc/meminfo: memFree=828112/2055920 swapFree=4156356/4192956
[pid=8385] ppid=8383 vsize=915444 CPUtime=1003.37
/proc/8385/stat : 8385 (java) R 8383 8385 7525 0 -1 0 10609 0 1 0 100090 247 0 0 25 0 8 0 272162149 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8385/statm: 228861 10334 2532 14 0 215331 0
[pid=8385/tid=8387] ppid=8383 vsize=915444 CPUtime=0.03
/proc/8385/task/8387/stat : 8387 (java) S 8383 8385 7525 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272162153 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8388] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8388/stat : 8388 (java) S 8383 8385 7525 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272162154 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8389] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8389/stat : 8389 (java) S 8383 8385 7525 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272162154 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8390] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8390/stat : 8390 (java) S 8383 8385 7525 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272162157 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8391] ppid=8383 vsize=915444 CPUtime=0.23
/proc/8385/task/8391/stat : 8391 (java) S 8383 8385 7525 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 272162157 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8392] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8392/stat : 8392 (java) S 8383 8385 7525 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272162157 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8393] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8393/stat : 8393 (java) S 8383 8385 7525 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272162157 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1003.37
Current children cumulated vsize (KiB) 915444
[startup+1063.86 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 8395
/proc/meminfo: memFree=828112/2055920 swapFree=4156356/4192956
[pid=8385] ppid=8383 vsize=915444 CPUtime=1063.43
/proc/8385/stat : 8385 (java) R 8383 8385 7525 0 -1 0 10609 0 1 0 106096 247 0 0 25 0 8 0 272162149 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073673361 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8385/statm: 228861 10334 2532 14 0 215331 0
[pid=8385/tid=8387] ppid=8383 vsize=915444 CPUtime=0.03
/proc/8385/task/8387/stat : 8387 (java) S 8383 8385 7525 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272162153 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8388] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8388/stat : 8388 (java) S 8383 8385 7525 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272162154 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8389] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8389/stat : 8389 (java) S 8383 8385 7525 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272162154 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8390] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8390/stat : 8390 (java) S 8383 8385 7525 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272162157 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8391] ppid=8383 vsize=915444 CPUtime=0.23
/proc/8385/task/8391/stat : 8391 (java) S 8383 8385 7525 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 272162157 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8392] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8392/stat : 8392 (java) S 8383 8385 7525 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272162157 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8393] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8393/stat : 8393 (java) S 8383 8385 7525 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272162157 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1063.43
Current children cumulated vsize (KiB) 915444
[startup+1123.93 s]
/proc/loadavg: 2.05 2.01 2.00 3/93 8444
/proc/meminfo: memFree=1354912/2055920 swapFree=4156356/4192956
[pid=8385] ppid=8383 vsize=915444 CPUtime=1123.35
/proc/8385/stat : 8385 (java) R 8383 8385 7525 0 -1 0 10609 0 1 0 112085 250 0 0 25 0 8 0 272162149 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791385 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8385/statm: 228861 10334 2532 14 0 215331 0
[pid=8385/tid=8387] ppid=8383 vsize=915444 CPUtime=0.03
/proc/8385/task/8387/stat : 8387 (java) S 8383 8385 7525 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272162153 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8388] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8388/stat : 8388 (java) S 8383 8385 7525 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272162154 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8389] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8389/stat : 8389 (java) S 8383 8385 7525 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272162154 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8390] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8390/stat : 8390 (java) S 8383 8385 7525 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272162157 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8391] ppid=8383 vsize=915444 CPUtime=0.23
/proc/8385/task/8391/stat : 8391 (java) S 8383 8385 7525 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 272162157 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8392] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8392/stat : 8392 (java) S 8383 8385 7525 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272162157 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8393] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8393/stat : 8393 (java) S 8383 8385 7525 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272162157 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1123.35
Current children cumulated vsize (KiB) 915444
[startup+1183.96 s]
/proc/loadavg: 2.14 2.04 2.01 3/93 8444
/proc/meminfo: memFree=1355040/2055920 swapFree=4156356/4192956
[pid=8385] ppid=8383 vsize=915444 CPUtime=1183.08
/proc/8385/stat : 8385 (java) R 8383 8385 7525 0 -1 0 10609 0 1 0 118058 250 0 0 25 0 8 0 272162149 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791319 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8385/statm: 228861 10334 2532 14 0 215331 0
[pid=8385/tid=8387] ppid=8383 vsize=915444 CPUtime=0.03
/proc/8385/task/8387/stat : 8387 (java) S 8383 8385 7525 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272162153 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8388] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8388/stat : 8388 (java) S 8383 8385 7525 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272162154 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8389] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8389/stat : 8389 (java) S 8383 8385 7525 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272162154 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8390] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8390/stat : 8390 (java) S 8383 8385 7525 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272162157 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8391] ppid=8383 vsize=915444 CPUtime=0.23
/proc/8385/task/8391/stat : 8391 (java) S 8383 8385 7525 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 272162157 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8392] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8392/stat : 8392 (java) S 8383 8385 7525 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272162157 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8393] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8393/stat : 8393 (java) S 8383 8385 7525 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272162157 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1183.08
Current children cumulated vsize (KiB) 915444
[startup+1244 s]
/proc/loadavg: 2.05 2.03 2.00 3/93 8444
/proc/meminfo: memFree=1355104/2055920 swapFree=4156356/4192956
[pid=8385] ppid=8383 vsize=915444 CPUtime=1242.83
/proc/8385/stat : 8385 (java) R 8383 8385 7525 0 -1 0 10609 0 1 0 124032 251 0 0 25 0 8 0 272162149 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809828 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8385/statm: 228861 10334 2532 14 0 215331 0
[pid=8385/tid=8387] ppid=8383 vsize=915444 CPUtime=0.03
/proc/8385/task/8387/stat : 8387 (java) S 8383 8385 7525 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272162153 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8388] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8388/stat : 8388 (java) S 8383 8385 7525 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272162154 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8389] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8389/stat : 8389 (java) S 8383 8385 7525 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272162154 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8390] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8390/stat : 8390 (java) S 8383 8385 7525 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272162157 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8391] ppid=8383 vsize=915444 CPUtime=0.23
/proc/8385/task/8391/stat : 8391 (java) S 8383 8385 7525 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 272162157 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8392] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8392/stat : 8392 (java) S 8383 8385 7525 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272162157 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8393] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8393/stat : 8393 (java) S 8383 8385 7525 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272162157 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1242.83
Current children cumulated vsize (KiB) 915444
[startup+1304.02 s]
/proc/loadavg: 2.02 2.02 2.00 3/93 8444
/proc/meminfo: memFree=1355040/2055920 swapFree=4156356/4192956
[pid=8385] ppid=8383 vsize=915444 CPUtime=1302.58
/proc/8385/stat : 8385 (java) R 8383 8385 7525 0 -1 0 10609 0 1 0 130007 251 0 0 25 0 8 0 272162149 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810461 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8385/statm: 228861 10334 2532 14 0 215331 0
[pid=8385/tid=8387] ppid=8383 vsize=915444 CPUtime=0.03
/proc/8385/task/8387/stat : 8387 (java) S 8383 8385 7525 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272162153 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8388] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8388/stat : 8388 (java) S 8383 8385 7525 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 272162154 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8389] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8389/stat : 8389 (java) S 8383 8385 7525 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272162154 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8390] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8390/stat : 8390 (java) S 8383 8385 7525 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272162157 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8391] ppid=8383 vsize=915444 CPUtime=0.23
/proc/8385/task/8391/stat : 8391 (java) S 8383 8385 7525 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 272162157 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8392] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8392/stat : 8392 (java) S 8383 8385 7525 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272162157 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8385/tid=8393] ppid=8383 vsize=915444 CPUtime=0
/proc/8385/task/8393/stat : 8393 (java) S 8383 8385 7525 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272162157 937414656 10334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1302.58
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 1314.9
CPU time (s): 1313.39
CPU user time (s): 1310.87
CPU system time (s): 2.52262
CPU usage (%): 99.8853
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1310.87
system time used= 2.52262
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10622
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= 27739
involuntary context switches= 30243
runsolver used 1.39079 s user time and 4.29135 s system time
The end
Begin job on node21 on Fri Jan 19 20:14:36 UTC 2007
IDJOB= 276445
IDBENCH= 5776
IDSOLVER= 68
FILE ID= node21/276445-1169237676
PBS_JOBID= 3589302
Free space on /tmp= 66559 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-36_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276445-1169237676/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-276445-1169237676 -o ROOT/results/node21/solver-276445-1169237676 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276445-1169237676/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b8d3e388f27fbe8943ab3df8aff0b71c
RANDOM SEED= 720402202
TIME LIMIT= 2400 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.261
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.261
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: 860000 kB
Buffers: 46400 kB
Cached: 505144 kB
SwapCached: 2928 kB
Active: 704188 kB
Inactive: 414664 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 860000 kB
SwapTotal: 4192956 kB
SwapFree: 4156356 kB
Dirty: 2528 kB
Writeback: 0 kB
Mapped: 577452 kB
Slab: 60920 kB
Committed_AS: 5506892 kB
PageTables: 3216 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= 66559 MiB
End job on node21 on Fri Jan 19 20:36:31 UTC 2007