0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=epfc.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/276904-1169249341/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.43 => wckTime=0.101 cpuTime=0.1 mem=6M887
0.43
0.43 relations being loaded...
0.53
0.53 constraints being loaded...
0.71 nbConstraints=753 nbRelationTypes=752 nbExtensionStructures=752 nbSharedExtensionStructures=1
0.71 nbConflictsStructures=752 nbSharedConflictsStructures=1 nbSharedBinaryRepresentations=11895 maxDegree=39
0.71 maxArity=2
0.71 => wckTime=0.376 cpuTime=0.26 mem=11M779
0.75
0.75 solver LocalSearchSolver being built...
0.80 => wckTime=0.467 cpuTime=0.3 mem=6M109
0.80
0.80 s SATISFIABLE
0.80 o 692
0.80 c 61
0.80 o 700
0.80 c 53
0.80 o 704
0.80 c 49
0.80 o 709
0.80 c 44
0.81 o 713
0.81 c 40
0.81 o 717
0.81 c 36
0.81 o 719
0.81 c 34
0.81 o 720
0.81 c 33
0.81 o 721
0.81 c 32
0.81 o 722
0.81 c 31
0.81 o 724
0.81 c 29
0.81 o 728
0.81 c 25
0.81 o 730
0.81 c 23
0.82 o 731
0.82 c 22
0.82 o 732
0.82 c 21
0.82 o 734
0.82 c 19
0.83 o 735
0.83 c 18
0.83 o 736
0.83 c 17
0.83 o 738
0.83 c 15
0.84 o 739
0.84 c 14
0.84 o 740
0.84 c 13
0.85 o 741
0.85 c 12
0.85 o 742
0.85 c 11
0.88 o 743
0.88 c 10
0.88 o 744
0.88 c 9
0.88 o 745
0.88 c 8
0.88 o 746
0.88 c 7
0.89 o 748
0.89 c 5
1.01 o 749
1.01 c 4
1.02 o 750
1.02 c 3
1.02 o 751
1.02 c 2
4.00
4.00 search
4.00 run=0 nbConstraintChecks=20962989 nbAssignments=10000
4.00 => wckTime=3.21 cpuTime=3.16 mem=6M109
7.37
7.37 search
7.37 run=1 nbConstraintChecks=44362439 nbAssignments=20000
7.37 => wckTime=6.579 cpuTime=6.5 mem=6M109
10.43
10.43 search
10.43 run=2 nbConstraintChecks=65026347 nbAssignments=30000
10.43 => wckTime=9.64 cpuTime=9.53 mem=6M109
13.79
13.79 search
13.79 run=3 nbConstraintChecks=88219194 nbAssignments=40000
13.79 => wckTime=12.999 cpuTime=12.86 mem=6M109
16.83
16.83 search
16.83 run=4 nbConstraintChecks=108545138 nbAssignments=50000
16.83 => wckTime=16.035 cpuTime=15.87 mem=6M109
20.09
20.09 search
20.09 run=5 nbConstraintChecks=130895662 nbAssignments=60000
20.09 => wckTime=19.292 cpuTime=19.1 mem=6M109
23.12
23.12 search
23.12 run=6 nbConstraintChecks=151397711 nbAssignments=70000
23.12 => wckTime=22.325 cpuTime=22.12 mem=6M109
26.40
26.40 search
26.40 run=7 nbConstraintChecks=174146804 nbAssignments=80000
26.40 => wckTime=25.61 cpuTime=25.36 mem=6M109
29.44
29.44 search
29.44 run=8 nbConstraintChecks=194650008 nbAssignments=90000
29.44 => wckTime=28.645 cpuTime=28.38 mem=6M109
31.29
31.29 search
31.29 run=9 nbConstraintChecks=207322068 nbAssignments=95684
31.29 => wckTime=30.494 cpuTime=30.22 mem=6M109
31.29
31.29 global
31.29 nbConstraintChecks=207322068 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.29 solvingWckTime=30.493 solvingCpuTime=30.22 expiredTime=no totalExploration=no nbFoundSolutions=0
31.29 globalCpuTime=30.56
31.29 => wckTime=30.962 cpuTime=30.52 mem=6M109
31.29
31.29 solver IterativeSystematicSolver being built...
31.42 => wckTime=31.094 cpuTime=30.62 mem=17M82
31.52
31.52 preprocessing
31.52 nbConstraintChecks=62114 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.52 detectedInconsistency=no
31.52 => wckTime=0.098 cpuTime=0.07 mem=17M82
31.60
31.60 search
31.60 run=0 nbConstraintChecks=149142 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=43
31.60 nbFailedAssignments=22 nbBacktracks=10 nbVisitedNodes=76 nbRestartNogoods=0
31.60 => wckTime=0.178 cpuTime=0.14 mem=17M82
31.72
31.72 search
31.72 run=1 nbConstraintChecks=366658 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=103
31.72 nbFailedAssignments=56 nbBacktracks=25 nbVisitedNodes=185 nbRestartNogoods=6
31.72 => wckTime=0.293 cpuTime=0.24 mem=17M82
31.84
31.84 search
31.84 run=2 nbConstraintChecks=682686 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=186
31.84 nbFailedAssignments=105 nbBacktracks=48 nbVisitedNodes=340 nbRestartNogoods=12
31.84 => wckTime=0.421 cpuTime=0.37 mem=17M82
32.07
32.07 search
32.07 run=3 nbConstraintChecks=1259447 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=335
32.07 nbFailedAssignments=206 nbBacktracks=81 nbVisitedNodes=622 nbRestartNogoods=22
32.07 => wckTime=0.644 cpuTime=0.59 mem=17M82
32.26
32.26 search
32.26 run=4 nbConstraintChecks=1813760 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=482
32.27 nbFailedAssignments=296 nbBacktracks=131 nbVisitedNodes=907 nbRestartNogoods=40
32.27 => wckTime=0.842 cpuTime=0.78 mem=17M82
32.67
32.67 search
32.67 run=5 nbConstraintChecks=2849590 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=737
32.67 nbFailedAssignments=461 nbBacktracks=208 nbVisitedNodes=1404 nbRestartNogoods=54
32.67 => wckTime=1.244 cpuTime=1.18 mem=17M82
33.32
33.32 search
33.32 run=6 nbConstraintChecks=4445519 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1115
33.32 nbFailedAssignments=713 nbBacktracks=321 nbVisitedNodes=2147 nbRestartNogoods=63
33.32 => wckTime=1.898 cpuTime=1.82 mem=17M82
34.32
34.32 search
34.32 run=7 nbConstraintChecks=6880179 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1733
34.32 nbFailedAssignments=1153 nbBacktracks=491 nbVisitedNodes=3375 nbRestartNogoods=78
34.32 => wckTime=2.899 cpuTime=2.8 mem=17M82
35.62
35.62 search
35.62 run=8 nbConstraintChecks=10265636 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2570
35.62 nbFailedAssignments=1722 nbBacktracks=748 nbVisitedNodes=5038 nbRestartNogoods=84
35.62 => wckTime=4.199 cpuTime=4.08 mem=17M82
37.55
37.55 search
37.55 run=9 nbConstraintChecks=15390965 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3786
37.55 nbFailedAssignments=2546 nbBacktracks=1132 nbVisitedNodes=7461 nbRestartNogoods=94
37.55 => wckTime=6.131 cpuTime=5.99 mem=17M82
40.21
40.21 search
40.21 run=10 nbConstraintChecks=22593817 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5581
40.21 nbFailedAssignments=3751 nbBacktracks=1709 nbVisitedNodes=11036 nbRestartNogoods=106
40.21 => wckTime=8.786 cpuTime=8.63 mem=17M82
44.17
44.17 search
44.17 run=11 nbConstraintChecks=33249486 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8100
44.17 nbFailedAssignments=5397 nbBacktracks=2573 nbVisitedNodes=16049 nbRestartNogoods=128
44.17 => wckTime=12.743 cpuTime=12.55 mem=17M82
50.30
50.30 search
50.30 run=12 nbConstraintChecks=50112927 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12120
50.30 nbFailedAssignments=8107 nbBacktracks=3870 nbVisitedNodes=24067 nbRestartNogoods=140
50.30 => wckTime=18.876 cpuTime=18.63 mem=17M82
58.58
58.58 search
58.58 run=13 nbConstraintChecks=72714427 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17474
58.58 nbFailedAssignments=11506 nbBacktracks=5816 nbVisitedNodes=34712 nbRestartNogoods=158
58.58 => wckTime=27.154 cpuTime=26.83 mem=17M82
69.36
69.36 search
69.36 run=14 nbConstraintChecks=99751064 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=24219
69.36 nbFailedAssignments=15320 nbBacktracks=8735 nbVisitedNodes=47732 nbRestartNogoods=170
69.36 => wckTime=37.942 cpuTime=37.53 mem=17M82
85.24
85.24 search
85.24 run=15 nbConstraintChecks=139511053 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33755
85.24 nbFailedAssignments=20470 nbBacktracks=13114 nbVisitedNodes=66028 nbRestartNogoods=184
85.24 => wckTime=53.814 cpuTime=53.25 mem=17M82
107.37
107.37 search
107.37 run=16 nbConstraintChecks=199765875 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=47838
107.37 nbFailedAssignments=27970 nbBacktracks=19683 nbVisitedNodes=93301 nbRestartNogoods=194
107.37 => wckTime=75.946 cpuTime=75.18 mem=17M82
139.95
139.95 search
139.95 run=17 nbConstraintChecks=282941709 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=67918
139.95 nbFailedAssignments=38189 nbBacktracks=29535 nbVisitedNodes=131473 nbRestartNogoods=207
139.95 => wckTime=108.529 cpuTime=107.47 mem=17M82
188.40
188.40 search
188.40 run=18 nbConstraintChecks=415795473 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=98917
188.40 nbFailedAssignments=54400 nbBacktracks=44313 nbVisitedNodes=191695 nbRestartNogoods=226
188.40 => wckTime=156.976 cpuTime=155.65 mem=17M82
257.18
257.18 search
257.18 run=19 nbConstraintChecks=604468609 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=144562
257.18 nbFailedAssignments=77865 nbBacktracks=66481 nbVisitedNodes=280018 nbRestartNogoods=243
257.18 => wckTime=225.76 cpuTime=224.35 mem=17M82
353.92
353.92 search
353.92 run=20 nbConstraintChecks=873714136 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=209711
353.92 nbFailedAssignments=109753 nbBacktracks=99733 nbVisitedNodes=403987 nbRestartNogoods=261
353.92 => wckTime=322.493 cpuTime=320.98 mem=17M82
499.35
499.35 search
499.35 run=21 nbConstraintChecks=1277719028 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=308062
499.35 nbFailedAssignments=158212 nbBacktracks=149611 nbVisitedNodes=591897 nbRestartNogoods=279
499.35 => wckTime=467.926 cpuTime=466.26 mem=17M82
720.26
720.26 search
720.26 run=22 nbConstraintChecks=1876077726 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=453247
720.26 nbFailedAssignments=228565 nbBacktracks=224429 nbVisitedNodes=867605 nbRestartNogoods=297
720.26 => wckTime=688.842 cpuTime=686.93 mem=17M82
1060.22
1060.22 search
1060.22 run=23 nbConstraintChecks=2820177251 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=679592
1060.22 nbFailedAssignments=342676 nbBacktracks=336657 nbVisitedNodes=1303712 nbRestartNogoods=314
1060.22 => wckTime=1028.796 cpuTime=1026.52 mem=17M82
1566.82
1566.82 search
1566.82 run=24 nbConstraintChecks=4227494382 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1015626
1566.82 nbFailedAssignments=510360 nbBacktracks=504998 nbVisitedNodes=1949398 nbRestartNogoods=335
1566.82 => wckTime=1535.397 cpuTime=1532.54 mem=17M82
2299.40
2299.40 search
2299.40 run=25 nbConstraintChecks=6207277650 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1507353
2299.40 nbFailedAssignments=749567 nbBacktracks=757509 nbVisitedNodes=2880818 nbRestartNogoods=354
2299.40 => wckTime=2267.982 cpuTime=2264.25 mem=17M82
2404.07 v 2 6 3 2 1 0 2 5 0 3 6 7 6 3 7 4 2 1 3 6 5 5 1 1 7 5 4 4 4 4 1 3 2 4 4 6 4 0 6 0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-276904-1169249341 -o ROOT/results/node15/solver-276904-1169249341 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276904-1169249341/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: 2.00 2.02 2.00 4/86 11019
/proc/meminfo: memFree=1437272/2055920 swapFree=4173628/4192956
[pid=11018] ppid=11016 vsize=18540 CPUtime=0
/proc/11018/stat : 11018 (runsolver) R 11016 11018 10031 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 273328918 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 240472616231 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/11018/statm: 4635 279 244 17 0 2626 0
[startup+0.103136 s]
/proc/loadavg: 2.00 2.02 2.00 4/86 11019
/proc/meminfo: memFree=1437272/2055920 swapFree=4173628/4192956
[pid=11018] ppid=11016 vsize=911488 CPUtime=0.07
/proc/11018/stat : 11018 (java) R 11016 11018 10031 0 -1 0 2635 0 1 0 6 1 0 0 20 0 8 0 273328918 933363712 2382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153838752 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11018/statm: 227872 2382 1284 14 0 215051 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 911488
[startup+0.515206 s]
/proc/loadavg: 2.00 2.02 2.00 4/86 11019
/proc/meminfo: memFree=1437272/2055920 swapFree=4173628/4192956
[pid=11018] ppid=11016 vsize=915332 CPUtime=0.47
/proc/11018/stat : 11018 (java) R 11016 11018 10031 0 -1 0 6264 0 1 0 44 3 0 0 18 0 8 0 273328918 937299968 6003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11018/statm: 228833 6003 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915332
[startup+1.34134 s]
/proc/loadavg: 2.08 2.04 2.01 3/93 11026
/proc/meminfo: memFree=1415456/2055920 swapFree=4173628/4192956
[pid=11018] ppid=11016 vsize=915448 CPUtime=1.29
/proc/11018/stat : 11018 (java) R 11016 11018 10031 0 -1 0 8117 0 1 0 117 12 0 0 24 0 8 0 273328918 937418752 7855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842036 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11018/statm: 228862 7855 2479 14 0 215332 0
[pid=11018/tid=11020] ppid=11016 vsize=915448 CPUtime=0.03
/proc/11018/task/11020/stat : 11020 (java) S 11016 11018 10031 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273328922 937418752 7855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11021] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11021/stat : 11021 (java) S 11016 11018 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273328922 937418752 7855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11022] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11022/stat : 11022 (java) S 11016 11018 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273328922 937418752 7855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11023] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11023/stat : 11023 (java) S 11016 11018 10031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273328927 937418752 7855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11024] ppid=11016 vsize=915448 CPUtime=0.19
/proc/11018/task/11024/stat : 11024 (java) S 11016 11018 10031 0 -1 64 375 0 0 0 19 0 0 0 16 0 8 0 273328927 937418752 7855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11025] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11025/stat : 11025 (java) S 11016 11018 10031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273328927 937418752 7855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11026] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11026/stat : 11026 (java) S 11016 11018 10031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273328927 937418752 7855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915448
[startup+2.97862 s]
/proc/loadavg: 2.08 2.04 2.01 3/93 11026
/proc/meminfo: memFree=1415392/2055920 swapFree=4173628/4192956
[pid=11018] ppid=11016 vsize=915448 CPUtime=2.92
/proc/11018/stat : 11018 (java) R 11016 11018 10031 0 -1 0 8118 0 1 0 260 32 0 0 25 0 8 0 273328918 937418752 7855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073843872 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11018/statm: 228862 7855 2479 14 0 215332 0
[pid=11018/tid=11020] ppid=11016 vsize=915448 CPUtime=0.03
/proc/11018/task/11020/stat : 11020 (java) S 11016 11018 10031 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273328922 937418752 7855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11021] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11021/stat : 11021 (java) S 11016 11018 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273328922 937418752 7855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11022] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11022/stat : 11022 (java) S 11016 11018 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273328922 937418752 7855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11023] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11023/stat : 11023 (java) S 11016 11018 10031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273328927 937418752 7855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11024] ppid=11016 vsize=915448 CPUtime=0.19
/proc/11018/task/11024/stat : 11024 (java) S 11016 11018 10031 0 -1 64 375 0 0 0 19 0 0 0 16 0 8 0 273328927 937418752 7855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11025] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11025/stat : 11025 (java) S 11016 11018 10031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273328927 937418752 7855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11026] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11026/stat : 11026 (java) S 11016 11018 10031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273328927 937418752 7855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915448
[startup+6.27619 s]
/proc/loadavg: 2.08 2.04 2.01 3/93 11026
/proc/meminfo: memFree=1415392/2055920 swapFree=4173628/4192956
[pid=11018] ppid=11016 vsize=915448 CPUtime=6.19
/proc/11018/stat : 11018 (java) R 11016 11018 10031 0 -1 0 8120 0 1 0 549 70 0 0 25 0 8 0 273328918 937418752 7857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842190 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11018/statm: 228862 7857 2479 14 0 215332 0
[pid=11018/tid=11020] ppid=11016 vsize=915448 CPUtime=0.03
/proc/11018/task/11020/stat : 11020 (java) S 11016 11018 10031 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273328922 937418752 7857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11021] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11021/stat : 11021 (java) S 11016 11018 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273328922 937418752 7857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11022] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11022/stat : 11022 (java) S 11016 11018 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273328922 937418752 7857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11023] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11023/stat : 11023 (java) S 11016 11018 10031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273328927 937418752 7857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11024] ppid=11016 vsize=915448 CPUtime=0.19
/proc/11018/task/11024/stat : 11024 (java) S 11016 11018 10031 0 -1 64 377 0 0 0 19 0 0 0 16 0 8 0 273328927 937418752 7857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11025] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11025/stat : 11025 (java) S 11016 11018 10031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273328927 937418752 7857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11026] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11026/stat : 11026 (java) S 11016 11018 10031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273328927 937418752 7857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915448
[startup+12.7523 s]
/proc/loadavg: 2.07 2.03 2.00 3/93 11026
/proc/meminfo: memFree=1415392/2055920 swapFree=4173628/4192956
[pid=11018] ppid=11016 vsize=915448 CPUtime=12.61
/proc/11018/stat : 11018 (java) R 11016 11018 10031 0 -1 0 8120 0 1 0 1110 151 0 0 25 0 8 0 273328918 937418752 7857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842057 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11018/statm: 228862 7857 2479 14 0 215332 0
[pid=11018/tid=11020] ppid=11016 vsize=915448 CPUtime=0.03
/proc/11018/task/11020/stat : 11020 (java) S 11016 11018 10031 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273328922 937418752 7857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11021] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11021/stat : 11021 (java) S 11016 11018 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273328922 937418752 7857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11022] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11022/stat : 11022 (java) S 11016 11018 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273328922 937418752 7857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11023] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11023/stat : 11023 (java) S 11016 11018 10031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273328927 937418752 7857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11024] ppid=11016 vsize=915448 CPUtime=0.19
/proc/11018/task/11024/stat : 11024 (java) S 11016 11018 10031 0 -1 64 377 0 0 0 19 0 0 0 16 0 8 0 273328927 937418752 7857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11025] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11025/stat : 11025 (java) S 11016 11018 10031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273328927 937418752 7857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11026] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11026/stat : 11026 (java) S 11016 11018 10031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273328927 937418752 7857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915448
[startup+25.6065 s]
/proc/loadavg: 2.06 2.03 2.00 3/93 11026
/proc/meminfo: memFree=1415456/2055920 swapFree=4173628/4192956
[pid=11018] ppid=11016 vsize=915448 CPUtime=25.35
/proc/11018/stat : 11018 (java) R 11016 11018 10031 0 -1 0 8120 0 1 0 2222 313 0 0 25 0 8 0 273328918 937418752 7857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842081 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11018/statm: 228862 7857 2479 14 0 215332 0
[pid=11018/tid=11020] ppid=11016 vsize=915448 CPUtime=0.03
/proc/11018/task/11020/stat : 11020 (java) S 11016 11018 10031 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273328922 937418752 7857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11021] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11021/stat : 11021 (java) S 11016 11018 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273328922 937418752 7857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11022] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11022/stat : 11022 (java) S 11016 11018 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273328922 937418752 7857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11023] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11023/stat : 11023 (java) S 11016 11018 10031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273328927 937418752 7857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11024] ppid=11016 vsize=915448 CPUtime=0.19
/proc/11018/task/11024/stat : 11024 (java) S 11016 11018 10031 0 -1 64 377 0 0 0 19 0 0 0 16 0 8 0 273328927 937418752 7857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11025] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11025/stat : 11025 (java) S 11016 11018 10031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273328927 937418752 7857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11026] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11026/stat : 11026 (java) S 11016 11018 10031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273328927 937418752 7857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915448
[startup+51.2229 s]
/proc/loadavg: 2.03 2.03 2.00 3/93 11026
/proc/meminfo: memFree=1411168/2055920 swapFree=4173628/4192956
[pid=11018] ppid=11016 vsize=915448 CPUtime=50.74
/proc/11018/stat : 11018 (java) R 11016 11018 10031 0 -1 0 9261 0 1 0 4687 387 0 0 25 0 8 0 273328918 937418752 8991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073975619 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11018/statm: 228862 8991 2532 14 0 215332 0
[pid=11018/tid=11020] ppid=11016 vsize=915448 CPUtime=0.03
/proc/11018/task/11020/stat : 11020 (java) S 11016 11018 10031 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273328922 937418752 8991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11021] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11021/stat : 11021 (java) S 11016 11018 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273328922 937418752 8991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11022] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11022/stat : 11022 (java) S 11016 11018 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273328922 937418752 8991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11023] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11023/stat : 11023 (java) S 11016 11018 10031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273328927 937418752 8991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11024] ppid=11016 vsize=915448 CPUtime=0.3
/proc/11018/task/11024/stat : 11024 (java) S 11016 11018 10031 0 -1 64 435 0 0 0 29 1 0 0 16 0 8 0 273328927 937418752 8991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11025] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11025/stat : 11025 (java) S 11016 11018 10031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273328927 937418752 8991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11026] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11026/stat : 11026 (java) S 11016 11018 10031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273328927 937418752 8991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915448
[startup+102.439 s]
/proc/loadavg: 2.01 2.02 2.00 3/93 11026
/proc/meminfo: memFree=1411104/2055920 swapFree=4173628/4192956
[pid=11018] ppid=11016 vsize=915448 CPUtime=101.5
/proc/11018/stat : 11018 (java) R 11016 11018 10031 0 -1 0 9268 0 1 0 9763 387 0 0 25 0 8 0 273328918 937418752 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074011901 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11018/statm: 228862 8998 2532 14 0 215332 0
[pid=11018/tid=11020] ppid=11016 vsize=915448 CPUtime=0.03
/proc/11018/task/11020/stat : 11020 (java) S 11016 11018 10031 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273328922 937418752 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11021] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11021/stat : 11021 (java) S 11016 11018 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273328922 937418752 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11022] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11022/stat : 11022 (java) S 11016 11018 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273328922 937418752 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11023] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11023/stat : 11023 (java) S 11016 11018 10031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273328927 937418752 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11024] ppid=11016 vsize=915448 CPUtime=0.3
/proc/11018/task/11024/stat : 11024 (java) S 11016 11018 10031 0 -1 64 435 0 0 0 29 1 0 0 16 0 8 0 273328927 937418752 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11025] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11025/stat : 11025 (java) S 11016 11018 10031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273328927 937418752 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11026] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11026/stat : 11026 (java) S 11016 11018 10031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273328927 937418752 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 915448
[startup+162.495 s]
/proc/loadavg: 2.00 2.02 2.00 3/93 11026
/proc/meminfo: memFree=1411104/2055920 swapFree=4173628/4192956
[pid=11018] ppid=11016 vsize=915448 CPUtime=161.02
/proc/11018/stat : 11018 (java) R 11016 11018 10031 0 -1 0 9273 0 1 0 15714 388 0 0 25 0 8 0 273328918 937418752 9003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948289 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2020.61
Current children cumulated vsize (KiB) 915448
[startup+2084.33 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 11388
/proc/meminfo: memFree=1404832/2055920 swapFree=4173628/4192956
[pid=11018] ppid=11016 vsize=915448 CPUtime=2080.63
/proc/11018/stat : 11018 (java) R 11016 11018 10031 0 -1 0 9293 0 1 0 207661 402 0 0 25 0 8 0 273328918 937418752 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073983664 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11018/statm: 228862 9020 2532 14 0 215332 0
[pid=11018/tid=11020] ppid=11016 vsize=915448 CPUtime=0.03
/proc/11018/task/11020/stat : 11020 (java) S 11016 11018 10031 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273328922 937418752 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11018/tid=11021] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11021/stat : 11021 (java) S 11016 11018 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273328922 937418752 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11022] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11022/stat : 11022 (java) S 11016 11018 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273328922 937418752 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11023] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11023/stat : 11023 (java) S 11016 11018 10031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273328927 937418752 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11024] ppid=11016 vsize=915448 CPUtime=0.3
/proc/11018/task/11024/stat : 11024 (java) S 11016 11018 10031 0 -1 64 435 0 0 0 29 1 0 0 16 0 8 0 273328927 937418752 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11018/tid=11025] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11025/stat : 11025 (java) S 11016 11018 10031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273328927 937418752 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11026] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11026/stat : 11026 (java) S 11016 11018 10031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273328927 937418752 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2080.63
Current children cumulated vsize (KiB) 915448
[startup+2144.34 s]
/proc/loadavg: 2.07 2.02 2.00 3/101 11388
/proc/meminfo: memFree=1404896/2055920 swapFree=4173628/4192956
[pid=11018] ppid=11016 vsize=915448 CPUtime=2140.56
/proc/11018/stat : 11018 (java) R 11016 11018 10031 0 -1 0 9293 0 1 0 213654 402 0 0 25 0 8 0 273328918 937418752 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948267 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11018/statm: 228862 9020 2532 14 0 215332 0
[pid=11018/tid=11020] ppid=11016 vsize=915448 CPUtime=0.03
/proc/11018/task/11020/stat : 11020 (java) S 11016 11018 10031 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273328922 937418752 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11018/tid=11021] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11021/stat : 11021 (java) S 11016 11018 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273328922 937418752 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11022] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11022/stat : 11022 (java) S 11016 11018 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273328922 937418752 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11023] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11023/stat : 11023 (java) S 11016 11018 10031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273328927 937418752 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11024] ppid=11016 vsize=915448 CPUtime=0.3
/proc/11018/task/11024/stat : 11024 (java) S 11016 11018 10031 0 -1 64 435 0 0 0 29 1 0 0 16 0 8 0 273328927 937418752 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11018/tid=11025] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11025/stat : 11025 (java) S 11016 11018 10031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273328927 937418752 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11026] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11026/stat : 11026 (java) S 11016 11018 10031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273328927 937418752 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2140.56
Current children cumulated vsize (KiB) 915448
[startup+2204.42 s]
/proc/loadavg: 2.06 2.03 2.00 3/101 11388
/proc/meminfo: memFree=1404960/2055920 swapFree=4173628/4192956
[pid=11018] ppid=11016 vsize=915448 CPUtime=2200.58
/proc/11018/stat : 11018 (java) R 11016 11018 10031 0 -1 0 9293 0 1 0 219656 402 0 0 25 0 8 0 273328918 937418752 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074011936 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11018/statm: 228862 9020 2532 14 0 215332 0
[pid=11018/tid=11020] ppid=11016 vsize=915448 CPUtime=0.03
/proc/11018/task/11020/stat : 11020 (java) S 11016 11018 10031 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273328922 937418752 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11018/tid=11021] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11021/stat : 11021 (java) S 11016 11018 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273328922 937418752 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11022] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11022/stat : 11022 (java) S 11016 11018 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273328922 937418752 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11023] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11023/stat : 11023 (java) S 11016 11018 10031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273328927 937418752 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11024] ppid=11016 vsize=915448 CPUtime=0.3
/proc/11018/task/11024/stat : 11024 (java) S 11016 11018 10031 0 -1 64 435 0 0 0 29 1 0 0 16 0 8 0 273328927 937418752 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11018/tid=11025] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11025/stat : 11025 (java) S 11016 11018 10031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273328927 937418752 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11026] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11026/stat : 11026 (java) S 11016 11018 10031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273328927 937418752 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2200.58
Current children cumulated vsize (KiB) 915448
[startup+2264.5 s]
/proc/loadavg: 2.08 2.04 2.00 3/101 11388
/proc/meminfo: memFree=1404960/2055920 swapFree=4173628/4192956
[pid=11018] ppid=11016 vsize=915448 CPUtime=2260.6
/proc/11018/stat : 11018 (java) R 11016 11018 10031 0 -1 0 9293 0 1 0 225657 403 0 0 25 0 8 0 273328918 937418752 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844391 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11018/statm: 228862 9020 2532 14 0 215332 0
[pid=11018/tid=11020] ppid=11016 vsize=915448 CPUtime=0.03
/proc/11018/task/11020/stat : 11020 (java) S 11016 11018 10031 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273328922 937418752 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11018/tid=11021] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11021/stat : 11021 (java) S 11016 11018 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273328922 937418752 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11022] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11022/stat : 11022 (java) S 11016 11018 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273328922 937418752 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11023] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11023/stat : 11023 (java) S 11016 11018 10031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273328927 937418752 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11024] ppid=11016 vsize=915448 CPUtime=0.3
/proc/11018/task/11024/stat : 11024 (java) S 11016 11018 10031 0 -1 64 435 0 0 0 29 1 0 0 16 0 8 0 273328927 937418752 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11018/tid=11025] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11025/stat : 11025 (java) S 11016 11018 10031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273328927 937418752 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11026] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11026/stat : 11026 (java) S 11016 11018 10031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273328927 937418752 9020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2260.6
Current children cumulated vsize (KiB) 915448
[startup+2324.52 s]
/proc/loadavg: 2.03 2.03 2.00 3/101 11388
/proc/meminfo: memFree=1404960/2055920 swapFree=4173628/4192956
[pid=11018] ppid=11016 vsize=915448 CPUtime=2320.54
/proc/11018/stat : 11018 (java) R 11016 11018 10031 0 -1 0 9295 0 1 0 231651 403 0 0 25 0 8 0 273328918 937418752 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073851102 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11018/statm: 228862 9022 2532 14 0 215332 0
[pid=11018/tid=11020] ppid=11016 vsize=915448 CPUtime=0.03
/proc/11018/task/11020/stat : 11020 (java) S 11016 11018 10031 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273328922 937418752 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11018/tid=11021] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11021/stat : 11021 (java) S 11016 11018 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273328922 937418752 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11022] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11022/stat : 11022 (java) S 11016 11018 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273328922 937418752 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11023] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11023/stat : 11023 (java) S 11016 11018 10031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273328927 937418752 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11024] ppid=11016 vsize=915448 CPUtime=0.3
/proc/11018/task/11024/stat : 11024 (java) S 11016 11018 10031 0 -1 64 435 0 0 0 29 1 0 0 16 0 8 0 273328927 937418752 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11018/tid=11025] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11025/stat : 11025 (java) S 11016 11018 10031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273328927 937418752 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11026] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11026/stat : 11026 (java) S 11016 11018 10031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273328927 937418752 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2320.54
Current children cumulated vsize (KiB) 915448
[startup+2384.61 s]
/proc/loadavg: 2.05 2.04 2.00 3/101 11388
/proc/meminfo: memFree=1405024/2055920 swapFree=4173628/4192956
[pid=11018] ppid=11016 vsize=915448 CPUtime=2380.57
/proc/11018/stat : 11018 (java) R 11016 11018 10031 0 -1 0 9295 0 1 0 237654 403 0 0 25 0 8 0 273328918 937418752 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073969127 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11018/statm: 228862 9022 2532 14 0 215332 0
[pid=11018/tid=11020] ppid=11016 vsize=915448 CPUtime=0.03
/proc/11018/task/11020/stat : 11020 (java) S 11016 11018 10031 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273328922 937418752 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11018/tid=11021] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11021/stat : 11021 (java) S 11016 11018 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273328922 937418752 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11022] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11022/stat : 11022 (java) S 11016 11018 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273328922 937418752 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11023] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11023/stat : 11023 (java) S 11016 11018 10031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273328927 937418752 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11024] ppid=11016 vsize=915448 CPUtime=0.3
/proc/11018/task/11024/stat : 11024 (java) S 11016 11018 10031 0 -1 64 435 0 0 0 29 1 0 0 16 0 8 0 273328927 937418752 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11018/tid=11025] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11025/stat : 11025 (java) S 11016 11018 10031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273328927 937418752 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11026] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11026/stat : 11026 (java) S 11016 11018 10031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273328927 937418752 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2380.57
Current children cumulated vsize (KiB) 915448
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2404.06 s]
/proc/loadavg: 2.04 2.03 2.00 3/101 11388
/proc/meminfo: memFree=1404960/2055920 swapFree=4173628/4192956
[pid=11018] ppid=11016 vsize=915448 CPUtime=2400.01
/proc/11018/stat : 11018 (java) R 11016 11018 10031 0 -1 0 9295 0 1 0 239598 403 0 0 25 0 8 0 273328918 937418752 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073966029 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11018/statm: 228862 9022 2532 14 0 215332 0
[pid=11018/tid=11020] ppid=11016 vsize=915448 CPUtime=0.03
/proc/11018/task/11020/stat : 11020 (java) S 11016 11018 10031 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273328922 937418752 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11018/tid=11021] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11021/stat : 11021 (java) S 11016 11018 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273328922 937418752 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11022] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11022/stat : 11022 (java) S 11016 11018 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273328922 937418752 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11023] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11023/stat : 11023 (java) S 11016 11018 10031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273328927 937418752 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11024] ppid=11016 vsize=915448 CPUtime=0.3
/proc/11018/task/11024/stat : 11024 (java) S 11016 11018 10031 0 -1 64 435 0 0 0 29 1 0 0 16 0 8 0 273328927 937418752 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11018/tid=11025] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11025/stat : 11025 (java) S 11016 11018 10031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273328927 937418752 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11018/tid=11026] ppid=11016 vsize=915448 CPUtime=0
/proc/11018/task/11026/stat : 11026 (java) S 11016 11018 10031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273328927 937418752 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 915448
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2404.11
CPU time (s): 2400.06
CPU user time (s): 2396.03
CPU system time (s): 4.03639
CPU usage (%): 99.8316
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.03
system time used= 4.03639
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9317
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= 49951
involuntary context switches= 53240
runsolver used 3.06853 s user time and 7.59984 s system time
The end
Begin job on node15 on Fri Jan 19 23:29:01 UTC 2007
IDJOB= 276904
IDBENCH= 6105
IDSOLVER= 68
FILE ID= node15/276904-1169249341
PBS_JOBID= 3589051
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-43_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276904-1169249341/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-276904-1169249341 -o ROOT/results/node15/solver-276904-1169249341 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276904-1169249341/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6361e72e1fbbf6d640504cad81960bbe
RANDOM SEED= 140341555
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.276
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.276
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: 1437752 kB
Buffers: 51972 kB
Cached: 454812 kB
SwapCached: 5936 kB
Active: 190924 kB
Inactive: 353240 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1437752 kB
SwapTotal: 4192956 kB
SwapFree: 4173628 kB
Dirty: 1868 kB
Writeback: 0 kB
Mapped: 48308 kB
Slab: 58820 kB
Committed_AS: 8301680 kB
PageTables: 2344 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= 66563 MiB
End job on node15 on Sat Jan 20 00:09:05 UTC 2007